аристотелевская логика

Ответ от Sacrament[активный]
Силлогизм - открытие Аристотеля является главной и наиболее оригинальной частью логики. В теории силлогизмов Аристотель дал определение силлогизму и различил его виды, определил работающие и не работающие виды силлогизмов, установил три фигуры силлогизма. Однако, необходимо выяснить условия и исследовать методы не только вероятного, но и достоверного знания, чему и посвящены теория определения и теория достоверного знания. Всякое доказательство опирается на определенные положения, как на исходные начала. Аристотель выделяет три вида недоказуемых начал.
Главная и наиболее оригинальная часть логики Аристотеля - его теория силлогизма. В трактате “Первая аналитика”, где излагается аристотелевская теория силлогизма, сказано, что “силлогизма есть речь, в которой, если нечто предложено, то с необходимостью вытекает нечто отличное от положенного в силу того, что положенное есть”. Силлогизм состоит из трех суждений, два из них посылки, а третье - заключение.
Исследуя строение силлогизмов, он все термины в них представляет буквами, т. е. вводит в логику переменные. Аристотель, говоря словами Я. Лукасевича, “представил свою теорию в буквенной форме для того, чтобы показать, что получаемое заключение получается не как следствие содержания посылок, а как следствие их формы и сочетания; буквы являются знаками общности и показывают, что такое заключение будет следовать всегда, какой бы термин мы не избрали. ”
Из этого взгляда на переменные вытекает весь характер логики Аристотеля. Логика - это не есть конкретное учение о конкретных вещах или терминах. Логика - это наука о законах силлогизмов, выраженных в переменных.
Силлогизм Аристотеля вовсе не является выводом типа: “Всякое В есть А; всякое С есть В ; следовательно, всякое С есть А. ” Только в дальнейшем он был истолкован как вывод, а у самого Аристотеля силлогизм - импликация (логическая операция, образующая сложное высказывание посредством логической связки) типа:
Если А присуще всякому В
и В присуще всякому С,
то А присуще всякому С.
Важное значение имеет то, что силлогизм-импликация Аристотеля отличается от вывода традиционной логики. Как импликация силлогизм Аристотеля есть предложение и потому должно быть либо истинным, либо ложным. А традиционный силлогизм как вывод может быть правильным или неправильным, но не может быть истинным или ложным, так как он не предложение, а ряд предложений, не спаянных в форму единства.
Форма силлогизм характеризуется числом переменных, их расположением и логическими константами. Две из них “и” и “если” не представляют специфических характеристик аристотелевской логики и входят как часть в более широкую и более основную логическую систему. Кроме них имеется еще четыре постоянных, характерных для логической системы Аристотеля. Это отношения между общими терминами: 1. “быть присущим всякому”, 2. ”не быть присущим ни одному”, 3. ” быть присущим некоторому”, 4. ”не быть присущим никому”.
Аристотелевская логика предполагает свое применение только к общим терминам, например, “животное” или “млекопитающее”. Но и эти термины характеризуют не саму его логическую ситему, а лишь сферу ее применения.
Источник: ... ОРДЕНА ТРУДОВОГО КРАСНОГО ЗНАМЕНИ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ им. А. М. ГОРЬКОГО Кафедра философии