Класична логика: Разлика помеѓу преработките

* Во [[Аристотел]]овиот ''[[Органон]]'' се запознаваме со неговата теорија на [[силогизам|силогизми]], што е логика со ограничен облик на расудувања: тврдењата се една осд четирите форми, ''Сите P се Q'', ''Некои P се Q'', ''Ниедно P не е Q'' и ''Некои P не се Q''. Овие расудувања ги наоѓаме во два пара на два двојни оператора, каде секој оператор е негација на другиот, соодноси кои Аристотел ги резимира како [[логички квадрат]] на спротивности. Аристотел експлицитно го формулирал законот на исклучената средина и законот на неконтрадикција во прилог на овој систем, иако овие закони неможат да се изразат како расудувања во силогистички рамки.

 

 

*Логиката од прв ред во ''[[Поимно писмо]]'' од [[Готлоб Фреге]].