Első rendű modális logika

Eredeti címe:

First-Order Modal Logic

Könyv tartalma:

Fitting és Mendelsohn az elsőrendű modális logika alapos kezelését mutatja be, némi mondattani háttérrel együtt.

Mindvégig hármas megközelítést alkalmaznak. Szemantikailag lehetséges világmodelleket használnak; a formális bizonyítási gépezetet táblázatos formában mutatják be; és teljes filozófiai vitát folytatnak arról, hogy a technikai fejlemények hogyan hatnak a jól ismert filozófiai problémákra.

A könyv foglalkozik magával a kvantifikációval, beleértve az aktualista és a pozitivista kvantifikátorok közötti különbséget; az egyenlőséggel, ami Frege reggeli csillag/este csillag rejtélyének kezeléséhez vezet; a létezés fogalmával és a vele kapcsolatos logikai problémákkal; a nem merev állandókkal és a függvényszimbólumokkal; a predikátum-absztrakció, amely egy predikátumot absztrahál egy formulából, és ezzel valójában egy hatókör-funkciót biztosít az állandók és függvényszimbólumok számára, ami a több filozófiai probléma középpontjában álló kétértelmű olvasatok tisztázásához vezet; a nem-lét és a nem-megjelölés közötti különbségtétel; és a határozott leírások, mind a frege-i, mind a ruszelli paradigmából kölcsönözve.