katalog
wydawnictwa
- Wydawnictwo Naukowe PWN
- Oficyna Wydawnicza IMPULS
- Wolters Kluwer Polska
- Wydawnictwo Uniwersytetu Jagiellońskiego
- Wydawnictwo Lekarskie PZWL
- Wydawnictwo WAM
- Wydawnictwa Naukowo-Techniczne
- Wydawnictwa Uniwersytetu Warszawskiego
- Wydawnictwo Naukowe Scholar
- Wydawnictwo Uniwersytetu Kardynała Stefana Wyszyńskiego
- Wydawnictwa Komunikacji i Łączności
- Academica Wydawnictwo SWPS
- Wydawnictwo Akademii Ekonomicznej im. Karola Adamieckiego w Katowicach
- Wydawnictwo Naukowe Akademii Pomorskiej w Słupsku
- Wydawnictwo Uniwersytetu Łódzkiego
- Wydawnictwo Naukowe Uniwersytetu Pedagogicznego w Krakowie
- Wydawnictwo Uniwersytetu Przyrodniczego w Poznaniu
- Scion Publishing Ltd.
- Wydawnictwo Uniwersytetu Kazimierza Wielkiego w Bydgoszczy
- Wydawnictwo Naukowe Uniwersytetu im. Adama Mickiewicza w Poznaniu
- Oficyna Wydawnicza Politechniki Wrocławskiej
- Biblioteka Analiz
Logika ogólna
Grzegorz Malinowski
2010, Wydawnictwo Naukowe PWNLiczba stron: 200
ISBN: 978-83-01-16224-5
XML: format ONIX
Nowoczesny, całościowy i funkcjonalnie zbudowany podręcznik do logiki. Łączy teoretyczne i opisowe podejście do problematyki logicznej z ujęciem praktycznym i ćwiczeniami. Wielką zaletą książki jest wyjątkowa przejrzystość i klarowność. Zagadnienia zostały opracowane przystępnym i zwięzłym stylem oraz opatrzone wymownymi przykładami. Autor omawia rachunki zdań, kwantyfikatorów i relacji, problemy wnioskowania i definiowania, podstawy teorii języka. Na początku oraz na końcu książki dodano rys historyczny, który pozwala czytelnikowi prześledzić źródła, rozwój i perspektywy refleksji logicznej.
Podręcznik przeznaczony dla studentów nauk humanistycznych i społecznych oraz studentów prawa i ekonomii.
| WSTĘP | 9 |
| 1. RODOWÓD LOGIKI I JEJ WSPÓŁCZESNA PROBLEMATYKA | 11 |
| 1.1. Logika grecka | 11 |
| 1.2. Arystoteles | 12 |
| 1.3. Stoicy | 13 |
| 1.4. Średniowiecze i renesans | 14 |
| 1.5. Współczesne grupy problemowe logiki | 15 |
| 2. ELEMENTY LOGICZNEJ TEORII JĘZYKA | 18 |
| 2.1. Rodzaje języków | 18 |
| 2.2. Język naturalny | 19 |
| 2.3. Funkcje wypowiedzi językowych | 21 |
| 2.4. Kategorie syntaktyczne | 23 |
| 2.5. Kryterium spójności syntaktycznej | 26 |
| 2.6. Nazwy i ich charakterystyka | 28 |
| 2.7. Zakresowe własności nazw | 32 |
| 2.8. Ćwiczenia | 35 |
| 3. LOGIKA TRADYCYJNA (SYLOGISTYKA ARYSTOTELESA) | 36 |
| 3.1. Klasyczne zdania kategoryczne | 36 |
| 3.2. Wnioskowania bezpośrednie | 38 |
| 3.3. Wnioskowania pośrednie (sylogizmy) | 40 |
| 3.4. Więcej o teorii sylogizmu | 44 |
| 3.5. Ćwiczenia | 45 |
| 4. PODSTAWY KLASYCZNEGO RACHUNKU ZDAŃ | 47 |
| 4.1. Pojęcie zdania w sensie logicznym | 47 |
| 4.2. Spójniki zdaniowe i zdania złożone | 49 |
| 4.3. Język rachunku zdań – formuły | 52 |
| 4.4. Tabelki prawdziwościowe | 53 |
| 4.5. Równoważność zdań i formuł | 54 |
| 4.6. Pełność funkcyjna | 56 |
| 4.7. Ćwiczenia | 58 |
| 5. TAUTOLOGICZNOŚĆ, WYNIKANIE LOGICZNE I SPRZECZNOŚĆ SEMANTYCZNA | 60 |
| 5.1. Tautologie | 60 |
| 5.2. Wynikanie logiczne | 62 |
| 5.3. Sprzeczność semantyczna | 64 |
| 5.4. Badanie przesłanek i rozumowań w języku naturalnym | 65 |
| 5.5. Usuwanie sprzeczności i uzupełnianie wynikania | 67 |
| 5.6. Ćwiczenia | 69 |
| 6. ZASADY DEDUKCJI NATURALNEJ KLASYCZNEGO RACHUNKU ZDAŃ | 71 |
| 6.1. Reguły wnioskowania | 71 |
| 6.2. Reguły konstrukcji dowodu | 73 |
| 6.3. Pierwotne reguły systemu Słupeckiego-Borkowskiego | 75 |
| 6.4. Zaawansowana dedukcja zdaniowa | 77 |
| 6.5. Trafność formalizmu dedukcyjnego | 81 |
| 6.6. Ćwiczenia | 82 |
| 7*. PEŁNOŚĆ SYSTEMU ZAŁOŻENIOWEGO | 84 |
| 7.1. Postacie normalne formuł | 84 |
| 7.2. Uzyskiwanie postaci normalnych metodą dedukcyjną | 86 |
| 7.3. Szkic dowodu pełności | 89 |
| 7.4. Dedukcyjna charakteryzacja wynikania logicznego i sprzeczności | 90 |
| 7.5. Ćwiczenia | 94 |
| 8. RACHUNEK KWANTYFIKATORÓW | 95 |
| 8.1. Język rachunku kwantyfikatorów | 95 |
| 8.2. Logiczna rekonstrukcja wypowiedzi | 98 |
| 8.3. Charakterystyka relacji | 99 |
| 8.4. System dedukcji naturalnej | 102 |
| 8.5. Reguły wtórne | 104 |
| 8.6. Wynikanie dedukcyjne i sprzeczność | 105 |
| 8.7. Ćwiczenia | 107 |
| 9. METODY SEMANTYCZNE RACHUNKU KWANTYFIKATORÓW | 108 |
| 9.1. Tautologiczność | 108 |
| 9.2. Niesprzeczność i wynikanie semantyczne | 110 |
| 9.3. Diagramy Betha | 113 |
| 9.4. Uwagi o pełności. Postacie prefiksowe i skolemizacja | 115 |
| 9.5. Ćwiczenia | 118 |
| 10 *. MODYFIKACJE I ROZSZERZENIA RACHUNKU LOGICZNEGO | 119 |
| 10.1. Kwantyfikatory o ograniczonym zakresie | 119 |
| 10.2. Wielozakresowy rachunek predykatów | 121 |
| 10.3. Rachunek predykatów z równością | 123 |
| 10.4. Deskrypcje i operator abstrakcji | 125 |
| 10.5. Ćwiczenia | 128 |
| 11. DEFINICJE I PROBLEMY DEFINIOWANIA | 129 |
| 11.1. Budowa i rodzaje definicji normalnych | 129 |
| 11.2. Typy definicji | 132 |
| 11.3. Sposoby budowania definicji analitycznych | 133 |
| 11.4. Błędy definicji | 135 |
| 11.5. Definicje nierównościowe | 138 |
| 11.6. Ćwiczenia | 141 |
| 12. PROCEDURY WPROWADZANIA ŁADU POJĘCIOWEGO | 142 |
| 12.1. Podział logiczny i klasyfikacja | 142 |
| 12.2. Podział typologiczny | 145 |
| 12.3. Podział rzeczowy | 146 |
| 12.4. Porządkowanie | 148 |
| 12.5. Eksplikacja i konceptualizacja | 151 |
| 12.6. Ćwiczenia | 153 |
| 13. LOGIKA INDUKCJI | 155 |
| 13.1. Indukcja enumeracyjna | 155 |
| 13.2. Indukcja eliminacyjna | 157 |
| 13.3. Wnioskowania przez analogię | 160 |
| 13.4. Zasada i status indukcji matematycznej | 162 |
| 13.5. Wnioskowanie redukcyjne | 162 |
| 13.6. Ćwiczenia | 164 |
| 14*. TEORIA MNOGOŚCI | 166 |
| 14.1. Intuicyjna teoria zbiorów | 166 |
| 14.2. Prawa algebry zbiorów | 168 |
| 14.3. Paradoksy i aksjomatyzacja | 170 |
| 14.4. Relacje dwuargumentowe | 173 |
| 14.5. Zasada abstrakcji | 174 |
| 14.6. Liczby kardynalne i nieskończoność | 177 |
| 14.7. Ćwiczenia | 178 |
| 15*. ZARYS DZIEJÓW LOGIKI NOWOCZESNEJ | 180 |
| 15.1. Program Leibniza | 180 |
| 15.2. Początki logiki nowoczesnej | 180 |
| 15.3. Logicyzm | 181 |
| 15.4. Logika współczesna (od 1920 r.) | 183 |
| 15.5. Logika, lingwistyka a filozofia języka naturalnego | 185 |
| WYKAZ SYMBOLI | 188 |
| LITERATURA | 192 |
| INDEKS | 193 |
