Приглашаем посетить сайт
СИЛЛОГИСТИКА
СИЛЛОГИСТИКА (от греч. syllogisticos - рассчитываю, считаю) - логическая теория дедуктивных рассуждений, в которой исследуются логические связи между категорическими атрибутивными высказываниями. С. была построена Аристотелем.
К числу указанных высказываний относят высказывания следующих логических форм: «Всякий S есть Р» - общеутвердительное высказывание, «Всякий (ни один) S не есть Р» - общеотрицательное, «Некоторый S есть Р» - частноутвердительное, «Некоторый S не есть Р» - частноотрицательное, «а есть Р» - единич-ноутвердительное и «а не есть Р» - единичноотрицательное. В каждом таком высказывании имеется два термина: субъект - термин, обозначающий те предметы, о которых нечто утверждается или отрицается, и предикат - термин, обозначающий то, что утверждается или отрицается об этих предметах.
В С. устанавливаются логические законы и оправдывается принятие правил выведения одних высказываний из других - умозаключений. Так, в традиционной (школьной) С. законами будут следующие выражения: «Всякий S есть S» - закон тождества, «Неверно, что всякий S есть Р и всякий S не есть Р».
Что касается умозаключений, то они распадаются на умозаключения по логическому квадрату, непосредственные и опосредованные умозаключения. В умозаключения выделяют посылки, т.е. те высказывания, из которых нечто выводится, и заключения - то, что выводится. С помощью логического квадрата фиксируются такие отношения между категорическими атрибутивными высказываниями, как отношение подчинения, контрарности, субконтрарности и противоречия. К числу непосредственных умозаключений относятся операции обращения (conversio), превращения (obversio) и различные виды противопоставления (contrapocisio).
В С. одним из важнейших видов опосредованных умозаключений является простой категорический силлогизм, с помощью которого осуществляют выводы из двух посылок. Более сложными формами опосредованных умозаключений являются сориты, которые в общем случае представляют собой выводы некоторого утверждения из произвольного множества посылок.
При практическом осуществлении некоторого аргументационного процесса обычно не пользуются развернутой формой силлогизма, а используют т.н. э н -тимемы - сокращенные формы рассуждения (с пропуском некоторых посылок или заключения).