Логиката на Аристотел
Аристотел е роден в Стагира (на границата с Македония) през 384 г. пр.н.е. Основни трудове: Метафизика; За душата;Органон;Категории; Първи анализи; Втори анализи; Топека; Физика; Никомахова етика; политика; Поетика.
Каквото и да е твърдял Аристотел, логиката ясно присъства в неговите произведения. Мисълта, когато е в движение, показва изминатия път чрез дефинирането на елементите, структурата на доказателствата. За Аристотел логиката не е отделна наука, а инструмент на всяка наука. Аристотел разглежда логиката като наука за формите на мислене; различават разликата между материя и форма (логиката само на формата).
В логическите изследвания Аристотел се интересува от три проблема: въпросът за метода на познанието или диалектиката; въпросът за двата основни метода за изясняване на надеждни знания, тези методи са дефиниция и доказателство; въпросът за местоположението на пакетите от знания е индукция. Важна част от логиката на Аристотел е неговото учение за понятието и изречението.
Задачата на логиката е да изучава и посочва методите, чрез които известна даденост може да бъде сведена до елементи, които могат да станат източник на нейното обяснение. Форми на мислене: концепция, преценка, заключение. Съжденията възникват в резултат на комбинирането на термини във верига.
Аристотел класифицира твърденията в 4 групи: утвърдително вярно, отрицателно вярно, утвърдително невярно, отрицателно невярно. Връзката между тях се определя от три закона на формалната логика: законът за тъждеството - логическите изводи са надеждни само при условие, че всички понятия (термини) в рамките на разсъждението имат едно и също значение;законът за забраната на противоречието - две противоположни твърдения за един и същи предмет не могат да бъдат верни едновременно; закон на изключената среда - на две противоположноститвърдения за една и съща тема, едното непременно е вярно.
Грешки:1) Сократ е смъртен и кой е видял смъртта му? Всички хора са смъртни - убийте всички хора, за да го докажете 2) Предикатът на сказуемото може да бъде предикатът на първоначалния субект. 3) Силогизмът е само един от видовете дедуктивно доказателство (математиката е дедуктивна, но не е изградена върху силогизми).
Концепциятае това общо нещо, което е присъщо на всички обекти от даден тип или род. Общото за обекти от един и същи тип (род) е формата, докато материята на обекта действа като принцип на индивидуализация.Съждениетое форма на мислене, в която се потвърждава или отрича нещо относно обекти и явления, техните свойства, връзки и отношения. Едно елементарно твърдение може да бъде представено като формула: S не е P. Предложението изразява или вярно, или невярно. Тези разделения са важни за разбирането на следващата форма на мислене – умозаключението.Изводъте такова логическо действие, в резултат на което едно или няколко - по определен начин свързани - съждения (наречени предпоставки) произвеждат ново съждение (заключение), което съдържа ново знание. Елементарният извод идва от една предпоставка (такъв извод се нарича пряк).
Основно правило за логически избор: Ако даден термин не е разпределен в предпоставката, той не може да бъде разпределен в изхода.Правила за термините: 1) В силогизма има три термина - нито повече, нито по-малко. 2) Термините, които не са разпространени в помещенията, не могат да бъдат разпространени в изхода. 3) Средният срок трябва да бъде разпределен в поне едно от помещенията.Правила за предпоставките: 1) не може да се получи заключение от две частни предпоставки. 2) Ако една от предпоставките е частна преценка, тогава заключението (ако изобщо е възможно) може да бъде само частно. 3) От дветене може да се получи заключение от отрицателни предпоставки. 4) Ако една от предпоставките е отрицателна пропозиция, тогава заключението трябва да е отрицателно.