Uzasadnianie pośrednie

W rozdziale tym zajmiemy się logiką, a konkretnie wnioskowaniem, czyli uzasadnieniem pośrednim, po które sięgamy wówczas, gdy nie możemy powołać się wprost na doświadczenie zmysłowe ani przeprowadzić eksperymentu. Wychodząc od Hume'owskiego podziału na fakty i idee, pokażemy, w jaki sposób z przyjętych wcześniej twierdzeń można wyprowadzać nowe wnioski, i przeanalizujemy dwa podstawowe schematy dedukcyjne: modus ponendo ponens (potwierdzenie przez potwierdzenie następnika) oraz modus tollendo tollens (zaprzeczenie przez zaprzeczenie poprzednika), które jako tautologie rachunku zdań gwarantują prawdziwość wniosku niezależnie od treści podstawionych stwierdzeń.