Аристотель как основатель силлогистики

Законы и формы логического мышления. Учение о душе.

Силлогистика исторически первая, сформулированная Аристотелем логическая система дедукции.

Силлогистика, теория логического вывода, исследующая умозаключения, состоящие из т. н. категорических высказываний (суждений): общеутвердительных ("всякое S есть Р"), общеотрицательных ("ни одно S не есть Р"), частноутвердительных ("некоторое S есть Р") и частноотрицательных ("некоторое S не есть Р").

Непреходящее значение данной теории состоит в том, что она послужила образцом для создания других аксиоматических теорий. В частности, аксиоматическая система геометрии Евклида была создана последним в духе тех принципов построения и исследования дедуктивных систем знания, которые сформулировал Аристотель применительно к силлогистике.

В силлогистике исследуются различного рода логические отношения между следующими категорическими атрибутивными высказываниями: “быть присуще всем”, “не быть присуще ни одному”, “быть присуще некоторым”, “не быть присуще некоторым”. В высказываниях отмеченного типа всегда утверждается или отрицается наличие у предметов некоторого атрибута (от лат.”attributum”—“свойство”). Поэтому данные высказывания называются атрибутивными высказываниями. Далее, термин “категорический”является производным от греческого слова “categoria”, что можно перевести на русский язык как “сказывания”, поэтому термин “категорический”можно было бы перевести как “без сомнений, окончательно, безапелляционно сказанный”.

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