WPROWADZENIE DO LOGIKI FORMALNEJ

BARBARA STANOSZ

OPIS:

Podręcznik ten przeznaczony 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 istotnie od ujęć stosowanych w innych elementarnych podręcznikach. Sposób natomiast, w jaki przedstawiono związki między logiką formalną i językoznawstwem teoretycznym, a także 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, lecz także od rozwiązań preferowanych przez wielu logików. Różnice te sygnalizuje ona w odpowiednich 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.

Nowe, rozszerzone wydanieopisuje 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.