Sylogizm
Sylogizm jest dedukcją. Jest to rodzaj argumentu logicznego, w którym jedna teza (wniosek) jest wywnioskowana z dwóch lub więcej innych (przesłanek). Idea ta jest wynalazkiem Arystotelesa.
W Analitykach uprzednich Arystoteles definiuje sylogizm jako "dyskurs, w którym, gdy pewne rzeczy są przypuszczalne, coś innego niż przypuszczalne wynika z konieczności z tego, że te rzeczy są takie". (24b18–20)
Każda propozycja musi zawierać jakąś formę czasownika "być". Sylogizm kategoryczny jest jak mała maszyna zbudowana z trzech części: przesłanki głównej, przesłanki mniejszej i konkluzji. Każda z tych części jest propozycją, a na podstawie dwóch pierwszych ustala się "wartość prawdy" trzeciej części.
Przykłady
Główne założenie: wszyscy ludzie są śmiertelni.
Mała przesłanka: Wszyscy Grecy to mężczyźni.
Wniosek: Wszyscy Grecy są śmiertelni.
Każde z trzech odrębnych określeń reprezentuje pewną kategorię. W powyższym przykładzie, "ludzie", "śmiertelni" i "Grecy". "Śmiertelny" jest terminem głównym; "Grecy" - terminem podrzędnym. Przesłanki mają również jeden termin wspólny ze sobą, który jest znany jako termin środkowy; w tym przykładzie, "człowiek". Obie przesłanki są uniwersalne, podobnie jak wniosek.
Główne założenie: wszyscy śmiertelnicy umierają.
Małe założenie: Niektórzy mężczyźni są śmiertelnikami.
Wniosek: Niektórzy ludzie umierają.
Tutaj, głównym terminem jest "umrzeć", mniejszym terminem jest "ludzie", a środkowym terminem jest "śmiertelnicy". Przesłanka główna jest uniwersalna; przesłanka drugorzędna i wniosek są partykularne. Arystoteles badał różne sylogizmy i zidentyfikował sylogizmy ważne jako sylogizmy, których wniosek jest prawdziwy, jeśli obie przesłanki są prawdziwe. Powyższe przykłady są ważnymi sylogizmami.
Soryt jest formą argumentu, w którym seria niekompletnych sylogizmów jest tak ułożona, że predykat każdej przesłanki tworzy podmiot następnej, aż podmiot pierwszej jest połączony z predykatem ostatniej w konkluzji. Na przykład, jeśli ktoś twierdzi, że dana liczba ziaren piasku nie tworzy sterty i że dodatkowe ziarno też nie, to wniosek, że żadna dodatkowa ilość piasku nie stworzy sterty, jest konstrukcją argumentu sorytatywnego.
Logika dzisiaj
Sylogizm został zastąpiony przez logikę pierwszego rzędu po pracach Gottloba Fregego, opublikowanych w 1879 roku. Logika ta nadaje się do matematyki, komputerów, lingwistyki i innych dziedzin, ponieważ używa liczb (zmiennych kwantyfikowanych) zamiast zdań.
Pytania i odpowiedzi
P: Co to jest sylogizm?
O: Sylogizm to rodzaj argumentu logicznego, w którym wniosek jest wyprowadzany z dwóch lub więcej przesłanek.
P: Kto wymyślił ideę sylogizmu?
A: Arystoteles wymyślił ideę sylogizmu.
P: Jak Arystoteles definiuje sylogizm?
O: W Analitykach uprzednich Arystoteles definiuje sylogizm jako "dyskurs, w którym, po założeniu pewnych rzeczy, coś innego niż założone rzeczy wynika z konieczności, ponieważ te rzeczy są takie".
P: Ile przesłanek jest wymaganych w sylogizmie?
O: W sylogizmie wymagane są dwie lub więcej przesłanek.
P: Co musi zawierać każda teza w sylogizmie?
O: Każda teza musi zawierać jakąś formę czasownika "być".
P: Co to jest sylogizm kategoryczny?
O: Sylogizm kategoryczny jest jak mała maszyna zbudowana z trzech części: przesłanki głównej, przesłanki pomocniczej i wniosku.
P: W jaki sposób określa się "wartość prawdziwościową" trzeciej części sylogizmu kategorycznego?
O: "Wartość prawdy" trzeciej części sylogizmu kategorycznego jest ustalana na podstawie dwóch pierwszych przesłanek.
