Érvelés és formális logika

Eredeti címe:

Reasoning and Formal Logic

Könyv tartalma:

Ez a könyvsorozat a hallgatók és a tudósok számára egyaránt érthető stílusban mutatja be a logika alapjait.

Minden egyes esszé szövege egy történetet, a gondolatok fejlődésének fő vonalát mutatja be, míg a jegyzetek és a függelékek nagyobb tudományos kontextusba helyezik a kutatásokat. Az alapvető téma a formális logika elemzése abból a szempontból, hogy milyen metafizikai feltevésekre van szükségünk, amikor az általunk használt formális rendszereket fejlesztjük.

Az esszék együttesen a formális logikának mint a jó érvelés művészetének részének perspektíváját adják. Az esszék a következők: Lehetőségek és érvényes következtetések, A szemantika általános kerete a propozicionális logikák számára, Miért van annyi logika? Igazság és érvelés, A fordításokról, Gondolatok az időbeli és modális logikáról, A klasszikus predikátumlogika időtlensége, Események a predikátumlogika metafizikájában, Kategoricitás minimális metafizikával, Gondolatok Godel tételeiről, A hibáról Frege azon bizonyításában, hogy a nevek jelölnek, és Utószó: Logic as the Art of Reasoning Well.”.