Простой категорический силлогизм. Его состав, фигуры и общие правила. Классификация простых категорических высказываний 1. Деление суждений по качеству. Утвердительным называется суждение, выражающее принадлежность предмету некоторого признака. Суждение, выражающее отсутствие у предмета некоторого признака, называется отрицательным. 2. Деление суждений по количеству. Частным называется суждение, в котором что-либо утверждается или отрицается о части предметов некоторого класса. Частные | суждения выражаются в предложениях, имеющих в своем составе.3 слова: «некоторые», «многие», «немногие», «большинство», «меньшинство», «часть». В неопределенном частном суждении слово «некоторые» употребляется в значении «Некоторые, а может быть, и все», «по крайней мере, некоторые» В определенном частном суждении слово «некоторые» употребляется в значении «только некоторые». Общим называется суждение, в котором что-либо утверждается или отрицается обо всех предметах некоторого класса Единичным называется суждение, в котором что-либо утверждается или отрицается об одном предмете. Общеутвердительное суждение — это суждение, общее по количеству и утвердительное по качеству. Схема общеутвердительного суждения «Все S суть Р» Общеотрицательное суждение — суждение, общее по количеству и отрицательное по качеству. Например: «Ни один S не есть Р» Частноутвердительное суждение — суждение, частное по количеству и утвердительное по качеству. «Некоторые S суть Р». Частноотрцательное суждение — суждение, частное по количеству и отрицательное по качеству. «Некоторые S не суть Р». Отношения между высказываниями по истинности. Логический квадрат. Два высказывания называются совместимыми по истинности ( по ложности) тогда и только тогда когда существует такая интерпретация их нелогических параметров при которой они одновременно принимают значение истина (лож) Два высказывания называются несовместимыми по истинности ( по ложности) тогда и только тогда когда не существует такой интерпретации их логических параметров при которой они одновременно принимают значение истина (лож) Два высказывания которые не совместимы по истинности и не совместимы по ложности находятся в отношении противоречия( контрадикторности) Два высказывания которые не совместимы по истинности, но совместимы по ложности называются противоположными (контрарными) Отношения между простыми суждениями обычно рассматриваются с помощью логического квадрата. Его вершины символизируют простые категорические суждения — А, Е, I, О; стороны и диагонали — отношения между суждениями.  Умозаключения по логическому квадрату. Так называются умозаключения в которых вывод делается на основании определения отношения высказываний по истинности. Его вершины символизируют простые категорические суждения — А, Е, I, О; стороны и диагонали — отношения между суждениями 1 SaP->SiP 2 SeP->SoP 3 SiP->SeP 4 SoP->SaP SaP->SeP SeP-> SaP SiP-> SaP SoP->SeP SaP->SoP SeP-> SiP SiP->SeP SoP->SiP SaP->SoP SeP->SiP SiP->SoP SoP->SiP Простой категорический силлогизм. Его состав, фигуры и общие правила. Так называются умозаключения в которых из 2-х простых категорических высказываний на основании их субъектно-предикатной связи приводится заключение которое так же является простым категорическим высказыванием. Субъект заключения называется меньшим термином, а посылка его содержащая меньшей посылкой. Предикат заключения является большим термином, а посылка его содержащая большей посылкой. Термин отсутствующий в заключении и служащий для связи меньшего и большего терминов в посылках называется средним и обозначается М. Разновидности простого категорического силлогизма отличается положением среднего термина. Существует 4 фигуры и называются они по порядковому номеру. Разновидности фигур отличается качеством и количеством посылок и заключений называется модусами. Существует 256 модусов, простые категорические силлогизмы из которых правильных – 24, модус является правильно тогда, когда не нарушено ни одно из следующих правил: 1) Хотя бы 1 из посылок должна быть утвердительной. 2) Если обе посылки утвердительны, то и заключение должно быть утвердительным. 3) Если одна из посылок отрицательна, то и заключение должно быть отрицательным. 4) Средний термин должен быть распределен хотя бы в 1 посылке. 5) Термин в нераспределенной посылке не может быть распределен в заключении |