Простой категорический силлогизм есть вид умозаключения (более общо - форма мысли), в котором из двух исходных истинных простых категорических суждений (называемых посылками), связанных между собой определенным образом (по среднему термину), выводится новое по содержанию суждение (называемое выводом, следствием, заключением). В целом, данное умозаключение состоит из трех простых категорических суждений, два из которых - посылки, третье - вывод. Однако, выделяя в качестве элементов умозаключения лишь суждения (посылки и вывод), закономерную связь между ними уловить трудно. Эту связь значительно легче обнаружить, выделяя в категорическом умозаключении и входящие в посылки термины (понятия). Так как субъектно-предикатная запись суждений одинакова для всех видов суждений, то, чтобы отличить субъект или предикат вывода от субъектов и предикатов посылок, следует уточнить нашу символику.
В простом категорическом силлогизме символом "S", как и обычно, обозначается субъект вывода и соответствующее ему понятие в посылке. Это - меньший термин. Символом "Р" обозначается предикат вывода и соответствующее понятие в
|