Kazimierz Trzęsicki – Logika
W niniejszej książce unika się na tyle, na ile to możliwe, wchodzenia w problematykę i terminologię, która ma znaczenie dla ...
W niniejszej książce unika się na tyle, na ile to możliwe, wchodzenia w problematykę i terminologię, która ma znaczenie dla ...
Książka jest podręcznikiem przeznaczonym przede wszystkim dla studiujących matematykę. Ponieważ jednak nie wymaga od Czytelnika znajomości innego niż logika działu ...
The tales in the Grey Fairy Book are derived from many countries - Lithuania, various parts of Africa, Germany, France,...
W Sorbonie i gdzie indziej(wrażenia paryskie)
Na początku roku organy skarbowe intensyfikują działania względem podatników, zwłaszcza o charakterze kontrolnym. Podobnie fiskus postępuje po zmianie przepisów, co...
Szaweł z Tarsu i Paweł Apostoł. Inne imiona, choć człowiek ten sam. Cechowało go też to samo niezachwiane oddanie się...
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.