Аристотель разделил все силлогизмы на «совершенные» и «несовершенные». «Совершенные» силлогизмы — это, по сути, аксиомы силлогистики: не требующие доказательства и недоказуемые самоочевидные утверждения. «Несовершенные» силлогизмы лишены очевидности и доказываются. Если не существует термина среднего по отношению к А и В, то предложение «А присуще В» будет «непосредственным». Недоказуемые непосредственные положения, или «начала», составляют фонд основных истин. Аристотель указывает способы, сведения всех модусов второй и третьей фигур силлогизма к модусам первой. В системе логики Аристотеля сведение есть не что иное, как доказательство модусов второй и третьей фигур в качестве теорем при помощи модусов первой фигуры. Для логической теории Аристотеля сведение — необходимая составная часть этой теории. Аристотель развил систематическое исследование силлогистических форм. В нем он, во-первых, доказывает истинность некоторых из них и, во-вторых, доказывает ложность остальных. Подробности этого исследования принадлежат не истории философии, а логике, где они и рассматриваются. |
347 |
|
|