Wprowadzenie do logiki formalnej

Podręcznik ten asygnowany jest dla osób, które zamierzają przyswoić sobie podstawowe wiadomości z dziedziny logiki formalnej, a nadto dowiedzieć się, jaki wkład wnosi ta dyscyplina do współczesnej wiedzy o języku.

Wykład zagadnień i metod logiki nie różni się tu stanowczo od ujęć używanych w innych elementarnych podręcznikach. Sposób natomiast, w jaki przedstawiono związki między logiką formalną i językoznawstwem teoretycznym i rozwiązania niektórych problemów logicznych, z jakimi musi się uporać opis języka naturalnego, wyrażają stanowisko autorki w tych dyskusyjnych kwestiach.

Różni się ono w pewnych punktach nie tylko od poglądów większości językoznawców, ale także od rozwiązań preferowanych poprzez wielu logików. Różnice te oznajmia ona w adekwatnych miejscach tekstu, nie referuje jednak szczegółowo odmiennych stanowisk w poruszanych sprawach.

Książka omawia: logiczne własności zdań, rachunek zdań, rachunek kwantyfikatorów, granice logiki - język a komunikacja, rachunek zbiorów i relacji. Świeże, powiększone wydanie opisuje aktualną w ostatnich dziesięcioleciach problematykę granic logiki i jej rolę w komunikowaniu się: języki naturalne i sztuczne, pytania, rozkazy, oceny, nieekstensjonalność, wieloznaczność, okazjonalność, implikatury konwersacyjne, interpretacja a znaczenie językowe, antynomia kłamcy, problem poprawności wnioskowania.

Mimo, iż semantyka rachunku kwantyfikatorów została wyrażona w terminach struktury, nie zaś w terminach modeli, stosunkowo często używa się tu podstawowych pojęć teorii zbiorów i relacji. Czytelnik nie znający tych pojęć teoriomnogościowych odszuka ich wyjaśnienie w załączonym na końcu Dodatku.

Książka polecana studentom nauk humanistycznych i społecznych na zajęcia z logiki.