Логика. Панькова Н.М. - 36 стр.

UptoLike

Составители:

Рубрика:

Они имеют форму «Некоторые S есть P» или «Некоторые S не есть P».

Например:

Некоторые русские философы являются учеными мирового значения,

Многие из логиков получили философское образование.

Общие суждения - это такие суждения, в которых выражается

принадлежность или непринадлежность признака всему классу

рассматриваемых предметов.

Они имеют форму “Все S есть P” или “Все S не есть P”.

Например: Все люди пользуются равными правами

Никто из неандертальцев не знал периодической

системы элементов”.

Обобщенной характеристикой суждений по качеству и количеству

является выделение следующих четырех видов суждений:

А. общеутвердительные высказывания,

начинающиеся с «все» (всякий)

Е. Общеотрицательные

высказывания, начинающиеся с «ни один» (никакой)

I. частноутвердительные

высказывания, начинающиеся с «некоторые»

O. частноотрицательные

высказывания, начинающиеся с «некоторые - не суть»

Краткая система записи, используемая для обозначения четырех видов

высказываний, представляет собой буквы алфавита - гласные из латинских

слов affirmo - утверждаю, соответственно А, I - для утвердительных и nego

- отрицаю, соответственно Е и О - для отрицающих.

Для запоминания некоторых логических отношений между

суждениями вида A,E,I, и O используется схема, которая называется

логическим квадратом. Она построена таким образом, что, зная истинность

одного из суждений, можно сделать вывод об истинности трех остальных.

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