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.
Szczegóły książki:
- Data wydania
- 2012 (data przybliżona)
- ISBN
- 9788374313407
- Liczba stron
- 673
- Słowa kluczowe
- Logika, Kazimierz Trzęsicki, logika formalna, logiki formalnej
- Język
- Polski
Aby pobierać pliki zarejestruj się!
Rejestracja jest darmowa i bardzo szybka! Kliknij tutaj aby założyć konto.
Trwa to tylko 15 sekund!.