W rozdziale dotyczącym KRZ sprawdzaliśmy poprawność rozumowań metodą syntaktyczną (czyli sprawdzaliśmy, czy ze zbioru przesłanek da się wyprowadzić wniosek). Robiliśmy to w systemie założeniowym, który zawiera zestaw reguł wnioskowania uznanych za pewne i przyjęte bez dowodu. Na przykład takim systemem jest system dedukcji naturalnej, który zawiera dwa typy reguł - reguły wprowadzania oraz opuszczania dla poszczególnych spójników.
Sylogistyka - to kolejny system dedukcyjny, który pozwala wyprowadzić wniosek z przesłanek w sposób pewny. Rozważmy wnioskowanie, które jest poprawne (chwytamy to intuicyjnie):
Każdy człowiek jest śmiertelny.
Sokrates jest człowiekiem.
----------------------------------------
Sokrates jest śmiertelny.
Intuicyjnie z przesłanek 1 i 2 wynika wniosek (bądź da się wyprowadzić wniosek). Jak i poprzednio: główna idea wynikania jest taka, że nie jest możliwa sytuacja, w której przesłanki są prawdziwe, a wniosek fałszywy. Rozważmy kolejne wnioskowanie:
Każdy sternik jest marynarzem.
-------------------------------------------
Niektórzy marynarze są sternikami.
Intuicyjnie z takiej przesłanki wynika wniosek (czyli nie jest możliwa sytuacja, w której przesłanki są prawdziwe, a wniosek fałszywy). Co więcej, by stwierdzić, że wynikanie takie zachodzi, wystarczy kompetencja językowa - rozumienie znaczenia słowa "każdy", "niektórzy" oraz zakresów nazw "człowiek", "śmiertelny", "sternik", "marynarz". Wnioskowaniami takiego typu (bazującymi na zakresach nazw) zajmuje się sylogistyka. Jej druga nazwa to Klasyczny Rachunek Nazw. Jak można zrozumieć już z samej tej nazwy, podstawową jednostką "rachowania" w tym systemie są nie zdania, a nazwy. W tej części kursu nauczymy się metody rachowania na nazwach - czyli nauczymy się wyodrębniać z wypowiedzi języka potocznego jednostki, które z punktu widzenia tego rachunku logicznego są nazwami, oraz nauczymy się reguł, które pozwalają wyprowadzić zdania (wnioski) z zestawu innych zdań (przesłanki).
Materiały do tej części zostały opracowane w oparciu o kurs Sylogistyka (kurs z ćwiczeniami) autorstwa K. Wieczorka