Wprowadzenie do logiki formalnej

Ten podręcznik jest skierowany do osób pragnących opanować podstawowe zasady logiki formalnej oraz zrozumieć, jak ta dziedzina przyczynia się do rozwoju współczesnej wiedzy o języku. Chociaż prezentowane tematy i metody logiki są zbliżone do tych z innych podstawowych podręczników, książka wyróżnia się podejściem do związku między logiką formalną a teoretycznym językoznawstwem. Autorka prezentuje swoje własne stanowisko w kwestiach dyskusyjnych, które niekiedy odbiega od poglądów większości językoznawców i wielu logików, co zaznaczone jest w odpowiednich miejscach tekstu, bez jednak szczegółowego omawiania alternatywnych nurtów.W treści książki znajdziemy omówienie takich tematów jak logiczne własności zdań, rachunek zdań i kwantyfikatorów, granice logiki, język a komunikacja, a także rachunek zbiorów i relacji. Nowe, rozszerzone wydanie uwzględnia współczesne zagadnienia związane z rolą logiki w procesie komunikacji, w tym różnice między językami naturalnymi a sztucznymi, kwestię pytań, rozkazów, ocen, nieekstensjonalność, wieloznaczność, okazjonalność, implikatury konwersacyjne oraz problemy poprawności wnioskowania i antynomii kłamcy.Choć semantyka rachunku kwantyfikatorów przedstawiona jest w kategoriach strukturalnych, w książce często używane są pojęcia z teorii zbiorów i relacji. Osoby nieznające tych zagadnień mogą skorzystać z Dodatku na końcu podręcznika, gdzie znajdują się ich objaśnienia. Ten podręcznik jest szczególnie polecany studentom kierunków humanistycznych i społecznych, uczestniczącym w zajęciach z logiki.