Wikipedysta:Henryk Tannhäuser/don't you worry, don't you cry, take a lolo and fly
Z Wikipedii, wolnej encyclopedia
Sylogizm (z stgr. συλλογισμός, konkluzja, wniosek) – termin "sylogizm" oznaczać może (1) schemat wnioskowania sylogistycznego, (2) specyficzny typ wnioskowania lub (3) twierdzenie logiczne stanowiące zasadę wnioskowania sylogistycznego. Oparty o sylogizmy system logiczny, stanowiący najstarszy zbudowany metodą aksjomatyczną system dedukcyjny nazywa się sylogistyką. Sylogizmy jako schematy wnioskowania (a także jako twierdzenia) nazywa się trybami sylogistycznymi.
Sylogistykę zbudował niemal w całości Arystoteles. Logika późniejsza, przede wsystkim stoicka i średniowieczna, tylko nieznacnie ją uzupełniła.
W sylogistyce zdań asertorycznych występują cztery stałe i trzy zmienne. Za zmienne, oznaczane literami S, M i P, podstawiać można zasadniczo tylko terminy zarazem ogólne i niepuste – wykluczone są więc terminy jednostkowe i puste, a także negatywne. Stałe stanowią funktory dwuargumentowe od zmiennych, oznaczane literami a, e, i, o. Oznaczają one odpowiednio "każdy ... jest ...", "żaden ... nie jest ...", "pewien ... jest ...", "pewien ... nie jest ...". Za pomocą stałych i zmiennych buduje się więc schematy zdań ogólnotwierdzących, ogólnoprzeczących, sszczegółowotwierdzących i szczegółowoprzeczących.