ebook Wprowadzenie do logiki formalnej. Podręcznik dla humanistów Barbara Stanosz

Wydawca: Wydawnictwo Naukowe PWN

Rok wydania: 2010

Wybierz wciągający ebook, który otworzy przed Tobą świat logiki formalnej. "Wprowadzenie do logiki formalnej. Podręcznik dla humanistów" autorstwa Barbary Stanosz z Wydawnictwa Naukowego PWN to nie tylko podróż przez meandry myślenia logicznego, ale także fascynująca lekcja językoznawstwa teoretycznego.

Publikacja z 2010 roku, dostępna w wydaniu elektronicznym, została napisana w języku polskim. Odkryj w niej kluczowe tematy takie jak logiczne własności zdań, rachunek zdań, rachunek kwantyfikatorów oraz granice logiki i jej związek z językiem naturalnym.

Autorka w subtelny sposób przedstawia swoje stanowisko w dyskusjach logicznych, które często różnią się od poglądów większości językoznawców i logików. Dzięki tej książce zdobędziesz solidne podstawy z zakresu logiki formalnej oraz dowiesz się, jak ta dyscyplina wpływa na nasze codzienne komunikowanie się.

Nowe wydanie zawiera rozszerzone informacje o aktualnych problemach granic logiki i jej roli w komunikacji, takich jak języki naturalne i sztuczne, pytania, rozkazy, oceny, nieekstensjonalność, wieloznaczność czy implikatury konwersacyjne.

Mimo że semantyka rachunku kwantyfikatorów została przedstawiona w terminach struktury, a nie modeli, książka korzysta z podstawowych pojęć teorii zbiorów i relacji. Dla osób nieznających tych pojęć teoriomnogościowych przygotowano dodatkowy materiał do nauki.

"Wprowadzenie do logiki formalnej" jest polecane studentom nauk humanistycznych i społecznych, którzy uczestniczą w zajęciach z logiki. Dodatek "Ćwiczenia z logiki" zawiera wybór zadań, które pozwolą czytelnikowi utrwalić zdobytą wiedzę i rozwinąć umiejętności praktyczne.

Nie czekaj, pobierz ebooka teraz i zanurz się w świat logiki formalnej!

Spis treści ebooka Wprowadzenie do logiki formalnej. Podręcznik dla humanistów

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