WPROWADZENIE DO LOGIKI FORMALNEJ PODRĘCZNIK DLA HUMANISTÓW wyd.8

ISBN: 978-83-01-14429-6

159 stron
format: B5
oprawa: miękka
Rok wydania: 2012

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 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 znajdzie ich wyjaśnienie w dołączonym na końcu Dodatku.
Książka polecana studentom nauk humanistycznych i społecznych na zajęcia z logiki.

SPIS TREŚCI

Słowo wstępne
Rozdział 1. Logiczne własności zdań
1.1 Wartość logiczna zdania. Zdanie analityczne. Związki analityczne między zdaniami
1.2 Prawda logiczna. Wynikanie logiczne. Logiczna forma zdania
1.3 Logika formalna a językoznawstwo. Logiczna kompetencja językowa
Rozdział 2. Rachunek zdań
2.1 Spójniki prawdziwościowe. Prawdziwościowe schematy zdań
2.2 Tautologie rachunku zdań. Metoda zerojedynkowa
2.3 Aksjomatyczna postać rachunku zdań. Najprostsze prawa logiki zdań
Rozdział 3. Rachunek kwantyfikatorów
3.1 Symbolika rachunku kwantyfikatorów. Kwantyfikatorowe schematy zdań
3.2 Tautologie rachunku kwantyfikatorów
3.3 Aksjomatyczna postać rachunku kwantyfikatorów. Najprostsze prawa logiki kwantyfikatorów
Rozdział 4. Granice logiki. Język a komunikacja
4.1 Języki naturalne i sztuczne
4.2 Pytania, rozkazy, oceny
4.3. Nieekstensjonalność
4.4. Wieloznaczność
4.5. Okazjonalność
4.6. Implikatury konwersacyjne
4.7. Interpretacja a znaczenie językowe
4.8. Antynomia kłamcy
4.9. Problem poprawności wnioskowania
Dodatek. Rachunek zbiorów i relacji
1. Rachunek zbiorów
1.1 Teoriomnogościowe pojęcie zbioru. Ważniejsze rodzaje zbiorów
1.2 Stosunki między zbiorami. Działania na zbiorach
1.3 Prawa rachunku zbiorów
1.4 Algebra Boole‘a zbiorów
1.5 Podział zbioru
2. Rachunek relacji
2.1 Podstawowe pojęcia teorii relacji. Ważniejsze rodzaje relacji
2.2 Działania na relacjach i układach relacja-zbiór
3. Teoria mnogości a aparat pojęciowy nauki
Indeks pojęć