Sylogizm
Z Wikipedii
Sylogizm jest to schemat wnioskowania logicznego, w którym występują dwie przesłanki i konkluzja - jeżeli obydwie przesłanki są prawdziwe, to prawdziwa jest również konkluzja.
[edytuj] Sylogizm Arystotelesa
Sylogizm wywodzi się z prac Arystotelesa, który jako pierwszy podał jego przykład, znany właśnie jako sylogizm Arystotelesa. Jego sformułowanie uważane jest za początek klasycznej logiki. Najczęściej przywoływany jest w postaci: Jeżeli każdy M jest P oraz każdy P jest S, to każdy M jest S. Należy zwrócić uwagę na fakt, iż przytoczone powyżej zdanie jest prawdziwe niezależnie od tego, czy za każdy M jest P lub każdy P jest S podstawimy prawdę czy fałsz. Np. jeżeli powiemy: Jeżeli każdy człowiek jest drzewem i każde drzewo jest rośliną, to każdy człowiek jest rośliną, całość będzie zdaniem prawdziwym, pomimo że np. przesłanka każdy człowiek jest drzewem jest oczywiście fałszywa.
