Rozumové myslenie a formálna logika

Pôvodný názov:

Reasoning and Formal Logic

Obsah knihy:

Táto séria kníh predstavuje základy logiky štýlom prístupným študentom aj vedcom.

Text každej eseje predstavuje príbeh, hlavnú líniu vývoja myšlienok, zatiaľ čo poznámky a dodatky zaraďujú výskum do širšieho vedeckého kontextu. Základnou témou je tu analýza formálnej logiky z hľadiska toho, aké metafyzické predpoklady potrebujeme pri vývoji formálnych systémov, ktoré používame.

Eseje spolu poskytujú pohľad na formálnu logiku ako súčasť umenia dobre uvažovať. Ide o eseje Možnosti a platné závery, Všeobecný rámec sémantiky pre výrokovú logiku, Prečo existuje toľko logík? Pravda a dôvodenie, O prekladoch, Úvahy o časovej a modálnej logike, Bezčasovosť klasickej predikátovej logiky, Udalosti v metafyzike predikátovej logiky, Kategorialita s minimálnou metafyzikou, Úvahy o Godelových vetách, O chybe vo Fregeho dôkaze, že mená označujú, a Postskriptum: Logika ako umenie dobre uvažovať.“.