10 Вопрос

Простые суждения, его виды и структура

Суждение - понятие + понятие

Суждение - это высказывание, утверждающее или отрицающее что-нибудь о чём-нибудь (Аристотель)

Суждение - это связь понятий, это язык мыслей, понятие - это алфавит.

Суждение может быть истинным или ложным

Суждение состоит из субъекта (S), предиката (P) и связки (СТРУКТУРА)

S - субъект. Предмет мысли. Подлежащее.

P - предикат. Понятие, указывающее на свойство предмета.

Логическая связка - логические отношения между S и P

S есть/не есть P

Виды суждения:

Форма суждения зависит от способа его построения.

Суждения делятся на качественные и количественные.

Качественные - Категорические (S есть P), суждения отношений (равенство, подобие, одновременность, последовательность), модальные суждения (достоверность высказывания с точки зрения его необходимости, возможности, доказуемости).

Качественные признак зависит от связки.

Количественная характеристика зависит от квантора (все, не все, некоторые). Делятся на единичные, частные, общие.

11 Вопрос

Отношения между простыми суждениями по истинности. «Логический квадрат».

Совместимость суждения может быть: полной, частичной(пересечение), подчинённой (включение).

В логике есть 4 вида логический отношений между сравнимыми категорическими суждениями:

- подчинение

- противоречие (контрадикторности)

- противоположности (контрарности)

- подпротивоположности (субконтрарности)

Логический квадрат:

A и E одновременно не могут быть истинными. I и O одновременно не могут быть ложными.

--- возможно и не подходит к этому вопросу ---

Обращение : S и P меняются местами (количество может меняться)

Общеутвердительные в частноутвердительные (А-I, A-A, E-E, I-I)

Суждение O не обращается с необходимостью.

Превращение - логическая операция, меняется качество суждения (утвердительная связка меняется на отрицательную и наоборот).

A-E, E-A, I-O,O-I

Противопоставление - одновременно и обращение, и превращение суждений. (S есть P/S не-есть не P)

Противопоставление субъекту:

Общеутвердительные - в частоотрицательные.

A/O (A->I -> O). Все S есть P/некоторые P не-есть не-S

Общеотрицательные в общеутвердительные.

E/A - Все S не-есть P , Все P есть не-S

Частоутвердительные в частноотрицательные

I/O Некоторые S есть P, Некоторые P не-есть не-S

Частоотрицательные не противопоставляются

Противопоставление предикату

Общеутвердительное - общеотрицательное

A/E - Все S есть P/Все не-P не-есть S

Общеотрицательное - частноутвердительное

E/I - Все S не есть З/Некоторые не-P есть S

Частноотрицательные - частноутвердительные

O/I - Некоторые S не-есть P, Некоторые не-P есть S

Частноутвердительные не противопоставляются

12 Вопрос

Сложные суждения и их классификация. Таблицы истинности.

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

Логические союзы - конъюнкция, дизъюнкция, импликация, отрицание, эквивалентность.

Вид сложного суждения зависит от союза:

- Соединительные (конъюнкция)

- Разъединительные (дизъюнкция)

- Условное (импликация)

- Эквивалентные

Таблица истинности - это таблица, показывающая истинность сложного высказывания при всех возможных значениях входящих переменных.