Logika ogólna

Grzegorz Malinowski

Uzyskaj dostęp

Zakup książkę

ISBN/ISSN:

978-83-01-20660-4

DOI:

Wydawnictwo:

Wydawnictwo Naukowe PWN

Rok wydania:

2010

Liczba stron:

XML:ISBN/ISSN:

ONIX MARC21

Bibliografia:

Malinowski, Grzegorz. Logika ogólna. Red. . Warszawa: Wydawnictwo Naukowe PWN, 2010, 99 s. ISBN 978-83-01-20660-4

Bibliografia refWorks:

RT Book, Whole

SR Electronic(1)

A1 Malinowski, G.

T1 Logika ogólna

PB Wydawnictwo Naukowe PWN

PP Warszawa

YR 2010

SN 978-83-01-20660-4

Bibliografia BibTex:

@Book{ 1883, author = "Malinowski, Grzegorz", editor = "", title = "Logika ogólna", publisher = "Wydawnictwo Naukowe PWN", year = "2010", address = "Warszawa", isbn = "978-83-01-20660-4" }

Bibliografia endNote:

TY - BOOK

AU - Malinowski, Grzegorz

ED -

TI - Logika ogólna

PB - Wydawnictwo Naukowe PWN

CY - Warszawa

PY - 2010

SN - 978-83-01-20660-4

ER -

Netografia (standard APA):

Malinowski, Grzegorz. Logika ogólna [baza danych online] Warszawa: Wydawnictwo Naukowe PWN, 2010 [dostęp: 02 05 2024]. Dostęp w Ibuk Libra: https://libra.ibuk.pl/reader/logika-ogolna-grzegorz-malinowski-1883.

logika, relacje, rachunek zdań, kwantyfikatory, wnioskowanie, definiowanie

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ść. Zagadnieni...

Więcej

ISBN/ISSN:

978-83-01-20660-4

DOI:

Wydawnictwo:

Wydawnictwo Naukowe PWN

Rok wydania:

2010

Liczba stron:

XML:ISBN/ISSN:

ONIX MARC21

STRONA TYTUŁOWA2
STRONA REDAKCYJNA3
SPIS TREŚCI4
WSTĘP6
1. RODOWÓD LOGIKI I JEJ WSPÓŁCZESNA PROBLEMATYKA7
1.1. Logika grecka7
1.2. Arystoteles7
1.3. Stoicy8
1.4. Średniowiecze i renesans8
1.5. Współczesne grupy problemowe logiki8
2. ELEMENTY LOGICZNEJ TEORII JĘZYKA10
2.1. Rodzaje języków10
2.2. Język naturalny10
2.3. Funkcje wypowiedzi językowych11
2.4. Kategorie syntaktyczne11
2.5. Kryterium spójności syntaktycznej13
2.6. Nazwy i ich charakterystyka14
2.7. Zakresowe własności nazw16
2.8. Ćwiczenia17
3. LOGIKA TRADYCYJNA (SYLOGISTYKA ARYSTOTELESA)19
3.1. Klasyczne zdania kategoryczne19
3.2. Wnioskowania bezpośrednie19
3.3. Wnioskowania pośrednie (sylogizmy)21
3.4. Więcej o teorii sylogizmu23
3.5. Ćwiczenia23
4. PODSTAWY KLASYCZNEGO RACHUNKU ZDAŃ25
4.1. Pojęcie zdania w sensie logicznym25
4.2. Spójniki zdaniowe i zdania złożone25
4.3. Język rachunku zdań – formuły27
4.4. Tabelki prawdziwościowe27
4.5. Równoważność zdań i formuł28
4.6. Pełność funkcyjna29
4.7. Ćwiczenia30
5. TAUTOLOGICZNOŚĆ, WYNIKANIE I SPRZECZNOŚĆ SEMANTYCZNA31
5.1. Tautologie31
5.2. Wynikanie logiczne32
5.3. Sprzeczność semantyczna32
5.4. Badanie przesłanek i rozumowań w języku naturalnym33
5.5. Usuwanie sprzeczności i uzupełnianie wynikania34
5.6. Ćwiczenia35
6. ZASADY DEDUKCJI NATURALNEJ KLASYCZNEGO RACHUNKU ZDAŃ36
6.1. Reguły wnioskowania36
6.2. Reguły konstrukcji dowodu36
6.3. Pierwotne reguły systemu Słupeckiego−Borkowskiego37
6.4. Zaawansowana dedukcja zdaniowa38
6.5. Trafność formalizmu dedukcyjnego41
6.6. Ćwiczenia41
7*. PEŁNOŚĆ SYSTEMU ZAŁOŻENIOWEGO43
7.1. Postacie normalne formuł43
7.2. Uzyskiwanie postaci normalnych metodą dedukcyjną44
7.3. Szkic dowodu pełności45
7.4. Dedukcyjna charakteryzacja wynikania logicznego i sprzeczności46
7.5. Ćwiczenia48
8. RACHUNEK KWANTYFIKATORÓW49
8.1. Język rachunku kwantyfikatorów49
8.2. Logiczna rekonstrukcja wypowiedzi50
8.3. Charakterystyka relacji51
8.4. System dedukcji naturalnej52
8.5. Reguły wtórne53
8.6. Wynikanie dedukcyjne i sprzeczność54
8.7. Ćwiczenia54
9. METODY SEMANTYCZNE RACHUNKU KWANTYFIKATORÓW56
9.1. Tautologiczność56
9.2. Niesprzeczność i wynikanie semantyczne57
9.3. Diagramy Betha58
9.4. Uwagi o pełności. Postacie prefiksowe i skolemizacja61
9.5. Ćwiczenia62
10*. MODYFIKACJE I ROZSZERZENIA RACHUNKU LOGICZNEGO63
10.1. Kwantyfikatory o ograniczonym zakresie63
10.2. Wielozakresowy rachunek predykatów64
10.3. Rachunek predykatów z równością65
10.4. Deskrypcje i operator abstrakcji66
10.5. Ćwiczenia67
11. DEFINICJE I PROBLEMY DEFINIOWANIA68
11.1. Budowa i rodzaje definicji normalnych68
11.2. Typy definicji69
11.3. Sposoby budowania definicji analitycznych69
11.4. Błędy definicji70
11.5. Definicje nierównościowe71
11.6. Ćwiczenia73
12. PROCEDURY WPROWADZANIA ŁADU POJĘCIOWEGO74
12.1. Podział logiczny i klasyfikacja74
12.2. Podział typologiczny75
12.3. Podział rzeczowy75
12.4. Porządkowanie76
12.5. Eksplikacja i konceptualizacja77
12.6. Ćwiczenia78
13. LOGIKA INDUKCJI79
13.1. Indukcja enumeracyjna79
13.2. Indukcja eliminacyjna80
13.3. Wnioskowania przez analogię81
13.4. Zasada i status indukcji matematycznej82
13.5. Wnioskowanie redukcyjne82
13.6. Ćwiczenia83
14*. TEORIA MNOGOŚCI84
14.1. Intuicyjna teoria zbiorów84
14.2. Prawa algebry zbiorów85
14.3. Paradoksy i aksjomatyzacja85
14.4. Relacje dwuargumentowe87
14.5. Zasada abstrakcji87
14.6. Liczby kardynalne i nieskończoność88
14.7. Ćwiczenia89
15*. ZARYS DZIEJÓW LOGIKI NOWOCZESNEJ91
15.1. Program Leibniza91
15.2. Początki logiki nowoczesnej91
15.3. Logicyzm91
15.4. Logika współczesna (od 1920 r.)91
15.5. Logika, lingwistyka a filozofia języka naturalnego92
WYKAZ SYMBOLI94
LITERATURA96
O AUTORZE97
PRZYPISY98