Простые атрибутивные суждения

Простое атрибутивное суждения – это форма мысли, в которой предмету или классу предметов приписывается или отрицается какое-то свойство.

Истина – это соответствие мысли реальности. Истинным или ложным может быть что-то сложным.

Атрибут – ( по латыни – свойство )

Риторический вопрос содержит содержание и утверждение, способны выражать суждение.

Структура атрибутивного суждения:

Субъект суждения – это то о чем говорится в суждение ( обозначение S )
Предикат – это то, что говорится о субъекте суждения ( обозначение P )
Логическая связка ( обозначение S-P )

Суждения всегда являются ответом на какой-либо вопрос.

Виды ПАС:

По количеству – делятся на 1) общие могут указывать слова как «все», «каждый», «любой», «всякий», «ни один» 2) частные указывают слова «некоторые», «существует», «бывает» 3) единичные указывает, что слова выражены именем собственным.
По качеству – делятся на 1) утвердительные – это те, в которых предикат предписывается к субъекты 2) отрицательные – соответственно наоборот.

Объединенная классификация по количеству и качеству:

Суждение может быть общеутвердительным ( Все S являются P ) Субъект и предикат связан общеутвердительной связкой (S а P) affirmo–утверждаю

Частноутвердительные суждения – некоторые S являются P (S i P)
Общеотрицательные – ни один S не является P – ( S e P ) nego - отрицаю
Частноотрицательные – некоторые S не являются P ( S o P )

Распределенность терминов предметов некоторого класса ( ПАС )

Термин суждения является распределен, если он взят в полном объеме

+ ( значит, что распределен )

- ( не распределен )

Смотреть тетрадь

Первый столбик S, второй P

A	+	- (+)
E	+	+
I	-	- (+)
O	-	+

Отношения между ПАС по истинности

Совместимы ли суждения по истинности или по ложности?

22.10.2011

Умозаключения из простых атрибутивных суждений.

В логике под умозаключением понимается такая форма мысли, где из одного или более суждений выводится другое суждение.

Каждое умозаключение состоит из трех элементов:

Посылки - их называют исходными суждениями.
Заключение или следствие
Логический вывод – это связь посылок с заключением

По характеру посылок делятся на непосредственные – это умозаключения из единственной посылки, а опосредованные – умозаключение более чем из одной посылки.

По характеру логического вывода все умозаключения делятся на дедуктивные, индуктивные и абдуктивные.

Дедукция – это переход из посылок к следствию той же или меньшей общности.
Индукция – это переход от частного к общему.
Абдуктивные умозаключения – это переход от частного к частному через общее.

Они ещё делятся на:

Демонстративные – это умозаключения, где следствия вытекает из посылок со случаем необходимости.
Вероятные – следствие вытекает из умозаключения с определенной степенью правда подобия.

По структуре посылок и заключений умозаключения бывают:

Умозаключения из ПАС.
Умозаключения из сложных высказываний.
Умозаключения логики предикатов.

По характеру посылок из ПАС бывают непосредственные – двух типов:

Умозаключения по логическому квадрату
Через изменение структуры умозаключений ПАС: 2.1) Превращение – это непосредственное умозаключение, при котором количество суждения остается неизменным – качество меняется на противоположность, а предикат исходного суждения заменяется противоречащим ему термином. (SaP |- SeP^’ ) (SiP |- SoP^’ ) ( SeP |- SaP^’ ) (SoP |- SiP^’ ) 2.2) Обращение – это непосредственное умозаключение, при котором субъект и предикат меняются местами – качество суждения остается неизменным, если неизменным остается количество, то обращение называется чистым, если количество изменяется, то обращением с ограничением. (SaP |- PiS) ( SiP |- PiS ) ( SeP – PeS ) ( SoP |- невозможно ) 2.3) Противопоставление предиката – это последовательное применение превращения и обращения. ( SaP |- P^’eS ) ( SiP |- невозможно ) ( SeP |- P^’iS ) ( SoP |- P^’iS )

29.10.2011

Опосредованные – это умозаключения более, чем из одной посылки.

Простой категорический Силлогизм ( ПКС ) – это дедуктивное умозаключение, в которых из двух простых ПАС выводится третье ПАС. Все люди смертны, Сократ – человек - Сократ смертен. Субъект заключения – S ( Меньший Термин, в данном случае Сократ, так же является Меньшей посылкой ), Предикат – P ( Больший термин, смертен, является Большей посылкой ), Люди – Средний термин – М – человек. ПКС – это умозаключение, о связи крайних терминов, на основании их отношения к среднему термину. Меньший и больший термин – это элементы силлогизма. Структура: Фигура силлогизма первая: MaP, SaM – SaP – модус – способ рассуждения. 256 возможных модусов.