Logika

Kazimierz Trzęsicki

Wydawnictwo: Uniwersytet w Białymstoku 

ISBN: [zasłonięte]978-8331-340-7
Format: 16,5x23,5cm
Liczba stron: 673
Oprawa: Miękka
Wydanie: 2012 r.

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.
Przyświecają nam cele praktyczne, stąd dużą wagę przywiązuje się do przykładów. Znajdujemy ich wiele, rozwiązując własne problemy, w kontaktach z innymi, w środkach społecznego przekazu. Dla bardziej wyrazistego ukazania problemu lepiej nadają się przykłady sztuczne, zwykle cechuje je jednak swoista naiwność: trudno uwierzyć, że ktoś popełnia aż tak proste błędy.