Wprowadzenie do logiki modalnej

Opinie czytelników

Książka jest dobrze ocenianym wprowadzeniem do logiki modalnej, chwalonym za jasność, filozoficzne spostrzeżenia i uporządkowane podejście. Wielu recenzentów zauważyło jednak istotną wadę: brak rozwiązań ćwiczeń, co utrudniało samoocenę. Książka jest przystępna, ale czasami zagracona, z okazjonalnymi błędami w ćwiczeniach. Chociaż wymaga ona wcześniejszej znajomości logiki zdań, jest uważana za wartościową dla osób zainteresowanych filozoficznymi aspektami tematu.

⬤ Przejrzysta i uporządkowana prezentacja.
⬤ Wciągające dyskusje filozoficzne związane z logiką modalną.
⬤ Dobra dla osób z pewnym doświadczeniem w logice symbolicznej.
⬤ Wszechstronny przegląd koncepcji logiki modalnej.
⬤ Wiele przykładów dowodów w całym tekście.

⬤ Brak odpowiedzi do ćwiczeń, co utrudnia samoocenę.
⬤ Pewne problemy z przejrzystością i sporadyczne błędy w dowodach/ćwiczeniach.
⬤ Uważany za nieco zagmatwany z nadmiarem reguł w systemach dedukcyjnych.
⬤ Może nie być odpowiednia dla zupełnie początkujących bez wcześniejszej znajomości logiki zdań.

(na podstawie 13 opinii czytelników)

Oryginalny tytuł:

Introductory Modal Logic

Zawartość książki:

Logika modalna, rozwinięta jako rozszerzenie klasycznej logiki zdań i teorii kwantyfikacji pierwszego rzędu, integruje pojęcia możliwości i konieczności oraz koniecznej implikacji. Argumenty, których zrozumienie zależy od fundamentalnej znajomości logiki modalnej, zawsze były ważne w filozofii religii, metafizyce i epistemologii.

Co więcej, logika modalna stała się coraz ważniejsza wraz z wykorzystaniem koncepcji „możliwych światów” w tych obszarach. Introductory Modal Logic zaspokaja potrzebę podstawowego tekstu na temat logiki modalnej, dostępnego dla studentów elementarnej logiki symbolicznej.

Kenneth Konyndyk przedstawia naturalną dedukcję traktującą o propozycjonalnej logice modalnej i kwantyfikowanej logice modalnej, informacje historyczne o jej rozwoju oraz dyskusje na temat zagadnień filozoficznych poruszanych przez logikę modalną. Charakteryzując się jasnymi i konkretnymi wyjaśnieniami, odpowiednimi przykładami oraz zróżnicowanymi i wymagającymi ćwiczeniami, Introductory Modal Logic sprawia, że zarówno logika modalna, jak i metafizyka możliwych światów są łatwo dostępne dla studentów na poziomie wprowadzającym.