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

ЛОГИКА АРИСТОТЕЛЯ (АРИСТОТЕЛЕВСКАЯ, ФОРМАЛЬНАЯ, ТРАДИЦИОННАЯ, ДВУЗНАЧНАЯ)- это наука о формах и законах  правильного мышления. Появилась  приблизительно в V в. до н. э. в Древней  Греции и до сих пор сохраняет  свое практическое значение, как и  геометрия Евклида.

МОДУС ПРОСТОГО СИЛЛОГИЗМА- набор  простых суждений, входящих в силлогизм. Модус простого силлогизма составляет три суждения. Например, в силлогизме:

Все небестные тела движутся.

Все планеты — это небесные тела.

Все планеты движутся.

Первая посылка является простым  суждением вида А (общеутвердительным), вторая посылка — это тоже простое  суждение вида А, и вывод в данном случае представляет собой простое суждение вида А. Поэтому рассмотренный силлогизм имеет модус ААА. Силлогизм:

Все журналы периодические издания.

Все книги не являются периодическими изданиями.

Все книги не являются журналами.

имеет модус АЕЕ. Силлогизм:

Все углероды простые тела.

Все углероды электропроводны.

Некоторые электропроводники —  простые тела.

имеет модус ААI. Всего модусов  во всех четырех фигурах, то есть возможных  комбинаций простых суждений в силлогизме, — 256. В каждой фигуре 64 модуса. Однако из всех этих 256 модусов только 19 дают достоверные выводы, остальные приводят к вероятностным выводам. Если принять  во внимание, что одним из главных  признаков дедукции (а значит, и  силлогизма) является достоверность  ее выводов, то становится понятным, почему эти 19 модусов называются правильными, а остальные — неправильными.

ОПРЕДЕЛЕНИЕ ПОНЯТИЯ - это логическая операция раскрытия его содержания. Определение связано с указанием на существенные признаки понятия. Они никогда не лежат на поверхности, поэтому дать полное определение – задача довольно сложная, хотя и не невозможная. В любом случае эта операция крайне необходима. Фактически с нее начинается наша попытка изучить какое-то явление на рациональном уровне. И заканчивается тоже определением, но уже более глубоким и точным.

ПОЛИСИЛЛОГИЗМ- умозаключение (рассуждение), представляющее собой конечную последовательность («цепочку») Силлогизмов, которая удовлетворяет некоторым определённым условиям. Важнейшее из этих условий состоит в том, что заключения предшествующих силлогизмов последовательности (т. н. просиллогизмов) служат посылками последующих силлогизмов (эписиллогизмов). П., каждому эписиллогизму которого предшествует лишь один просиллогизм, называют линейным, а «разветвленный» П., эписиллогизмам которого предшествуют по два просиллогизма, называется каскадным

 ПОНЯТИЕ- форма мышления, отражающая предметы в их существенных признаках. Именно существенные признаки дают представление о природе предмета, раскрытие сущности – задача познания. Помимо существенных, у любого предмета (явления) есть множество других признаков, в том числе и чисто внешних, случайных, не выражающих и даже затемняющих сущность.

ПОСЫЛКА - в логике - суждения, из которых в умозаключении следует новое суждение (заключение). В зависимости от вида умозаключения П. могут быть самые различные суждения и их сочетания. Для того чтобы вывод умозаключения был истинным, необходимо, чтобы истинными были П. и чтобы они были логически правильно соединены в умозаключении

ПРЕДИКАТ (лат. praedicatum — заявленное, упомянутое, сказанное) — любое математическое высказывание, в котором есть по меньшей мере одна переменная. Предикат является основным объектом изучения логики первого порядка.

СИЛЛОГИЗМ- одна из форм дедуктивного умозаключения в формальной логике, когда из двух данных суждений (посылок) вытекает третье (заключение), например, все люди (М) - существа, обладающие разумом (Р), Иван (S) - человек (M), следовательно, Иван (S) - обладает разумом (P). Суждения, содержащие термин, который не входит в заключение (средний термин, в  нашем примере обозначенный М), являются посылками силлогизма. Посылка, содержащая в себе предикат заключения (больший термин, Р), называется большей посылкой и посылка, которая содержит субъект заключения (меньший термин, S), называется меньшей посылкой.

СОРИТ – (греч. , , от — куча), вид сложносокращённого силлогизма, представляющий собой цепь силлогизмов, в которой опущены определённые посылки. Существуют два вида С.: (1) когда опускаются меньшие посылки силлогизмов и умозаключение идёт от подчиненного понятия к подчиняющему (аристотелевский С.); (2) когда опускаются большие посылки и умозаключение идёт от подчиняющего понятия к подчинённому (гоклениевский С.)

СОФИЗМ- (от греч. σόφισμα, «мастерство, умение, хитрая выдумка, уловка, мудрость») — ложное умозаключение, которое, тем не менее, при поверхностном рассмотрении кажется правильным. Софизм основан на преднамеренном, сознательном нарушении правил логики. Это отличает его от паралогизма и апории, которые могут содержать непреднамеренную ошибку либо вообще не иметь логических ошибок, но приводить к явно неверному выводу.

СУБКОНТРАРНОСТЬ- (частичное совпадение) - логическое отношение между двумя  простыми сравнимыми суждениями, в  которых объемы субъектов частные, а связки противоположны друг другу.

СУБЪЕКТ- подлежащее суждения, предмет, о котором что-либо утверждается или отрицается.

Субъект (философия) — носитель действия, тот, кто (или то, что) познаёт, мыслит или действует, в отличие от объекта (как того, на что направлены мысль  или действие субъекта).

Субъект (психология)  — активное самосознающее начало душевной жизни, которое противопоставляет себя внешнему миру и своим собственным  состояниям, рассматривая их как объект.

Субъект (грамматика) — подлежащее, семантическая категория со значением  производителя действия или носителя состояния.

Субъект права  — лицо, физическое или юридическое, которому принадлежат  те или иные права и обязанности.

Субъект преступления — лицо, совершившее  преступление и способное нести  за него ответственность.

Субъект (медицина) — человек как  носитель каких-нибудь свойств (например болезненный субъект).

Субъект (разговорное, нетерминологическое  значение) — человек вообще (часто  с отрицательной характеристикой, например подозрительный, странный субъект).

СУЖДЕНИЕ- форма мышления, в которой  что-либо утверждается или отрицается о предмете, его свойствах или  отношениях между предметами. Виды суждений и отношения между ними изучаются в философской логике.

УМОЗАКЛЮЧЕНИЕ (лат. conclusio) — процесс рассуждения, в ходе которого осуществляется переход от некоторых исходных суждений (предпосылок) к новым суждениям — заключениям.

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

ФИГУРА ПРОСТОГО СИЛЛОГИЗМА- рассуждение, состоящее из трёх простых атрибутивных высказываний: двух посылок и одного заключения. Посылки силлогизма разделяются  на бо́льшую (которая содержит предикат заключения) и меньшую (которая содержит субъект заключения). По положению  среднего термина силлогизмы делятся  на фигуры, а последние по логической форме посылок и заключения —  на модусы.

ЭКВИВАЛЕНЦИЯ- это логическая операция, ставящая в соответствие каждым двум простым высказываниям составное  высказывание, являющееся истинным тогда  и только тогда, когда оба исходных высказывания одновременно истинны  или одновременно ложны.

ЭНТИМЕМА- (от греч. in thymos Ч в уме) аЧ 1) рассуждение, доказательство, в  котором некоторые посылки либо заключение не формулируются в явной  форме, но подразумеваются; 2) силлогизм, в котором не выражена в явной  форме к.-л. его часть: большая  или меньшая посылка либо заключение.

ЭПИХЕЙРЕМА- (от греч. epiheirema — умозаключение)  — сокращенный силлогизм, в котором  обе посылки представляют собой  энтимемы. Примером Э. может быть следующее  рассуждение. Ложь заслуживает презрения, т. к. она безнравственна. Лесть есть ложь, т. к. она есть умышленное извращение истины. Лесть заслуживает презрения.