Deze herziene editie van het veelgeprezen boek "First-Order Modal Logic" (eerste uitgave 1998) biedt nieuwe en aangepaste hoofdstukken die de laatste wetenschappelijke ontwikkelingen weerspiegelen. Het boek is geschreven in het Engels en richt zich op een gevorderd taalniveau, geschikt voor zelfstudie, onderwijs en onderzoek binnen de logica en filosofie.
Inhoud en aanpak
Fitting en Mendelsohn behandelen uitvoerig de eerste-orde modale logica, met een introductie in de propositionele basis. Hun methodiek kent drie pijlers:
- Semantiek op basis van mogelijke-werelden modellen
- Formele bewijzen via tableau-methoden
- Filosofische analyses van technische ontwikkelingen en hun impact op bekende problemen
Belangrijke thema’s
- Kwantisatie: onderscheid tussen actualistische en possibilistische kwantoren
- Gelijkheid en de behandeling van het 'ochtendster/avondster' raadsel van Frege
- Bestaan en de logische uitdagingen daaromheen
- Niet-rigide constanten en functiesymbolen
- Predicaatabstractie: verduidelijkt ambiguïteiten in het gebruik van constanten en functiesymbolen
- Verschil tussen niet-bestaan en niet-aangeduid zijn
- Definiete beschrijvingen vanuit zowel Fregeaanse als Russelliaanse invalshoeken
Geschikt voor
Het boek is bedoeld voor lezers met een gevorderde achtergrond in logica, geschikt voor academisch onderwijs en zelfstudie in filosofie, wiskundige logica en aanverwante disciplines.
Recensie eerste druk
De eerste editie werd door de Bulletin of Symbolic Logic gewaardeerd als een uitstekende en zeer bruikbare tekst met passende oefeningen, die een hoge standaard stelt voor vergelijkbare werken. Het boek is uitermate aanbevolen.
Intertaal is uw betrouwbare leverancier en garandeert snelle levering van dit waardevolle leermiddel.