Tag: logiki formalnej

W niniejszej książce unika się na tyle, na ile to możliwe, wchodzenia w problematykę i terminologię, która ma znaczenie dla samej logiki jako teorii. Jeżeli jednak mówimy o zastosowaniu teorii logiki, to musimy zapoznać się z tym, co mamy stosować. Wykład logiki formalnej rozpoczynamy – jak to czyni się współcześnie – od rachunku zdań. Wykład rachunku predykatów, na którym kończy się przedstawianie logiki formalnej, poprzedzony jest omówieniem sylogistyki. Od strony teoretycznej wyniki sylogistyki stanowią fragment rachunku predykatów. Od strony dydaktycznej ułatwia ona zrozumienie tego rachunku. Jej wykład jest pouczający, jest ona bowiem dydaktycznie dobrze opracowana, a język sylogistyki, będąc bliższym językowi naturalnemu niż język logiki współczesnej, nie stwarza specjalnych problemów w jej zastosowaniach do pewnych rozumowań (sylogistycznych) przeprowadzanych w języku naturalnym. W wykładzie rachunku zdań i rachunku predykatów ograniczamy się do podstawowych pojęć i metod oceny wnioskowań jako dedukcyjnych.