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

SPISTREŚCI

WSTĘP

1.RODOWÓDLOGIKIIJEJWSPÓŁCZESNAPROBLEMATYKA

1.1.Logikagrecka

1.2.Arystoteles

1.3.Stoicy

1.4.Średniowieczeirenesans

1.5.Współczesnegrupyproblemowelogiki

2.ELEMENTYLOGICZNEJTEORIIJĘZYKA

2.1.Rodzajejęzyków

2.2.Języknaturalny

2.3.Funkcjewypowiedzijęzykowych

2.4.Kategoriesyntaktyczne

2.5.Kryteriumspójnościsyntaktycznej

2.6.Nazwyiichcharakterystyka

2.7.Zakresowewłasnościnazw

2.8.Ćwiczenia

3.LOGIKATRADYCYJNA(SYLOGISTYKAARYSTOTELESA)

3.1.Klasycznezdaniakategoryczne

3.2.Wnioskowaniabezpośrednie

3.3.Wnioskowaniapośrednie(sylogizmy)

3.4.Więcejoteoriisylogizmu

3.5.Ćwiczenia

4.PODSTAWYKLASYCZNEGORACHUNKUZDAŃ

4.1.Pojęciezdaniawsensielogicznym

4.2.Spójnikizdanioweizdaniazłożone

4.3.Językrachunkuzdań–formuły

4.4.Tabelkiprawdziwościowe

4.5.Równoważnośćzdańiformuł

4.6.Pełnośćfunkcyjna

4.7.Ćwiczenia

5.TAUTOLOGICZNOŚĆ,WYNIKANIEISPRZECZNOŚĆSEMANTYCZNA

5.1.Tautologie

5.2.Wynikanielogiczne

5.3.Sprzecznośćsemantyczna

5.4.Badanieprzesłanekirozumowańwjęzykunaturalnym

5.5.Usuwaniesprzecznościiuzupełnianiewynikania

5.6.Ćwiczenia

6.ZASADYDEDUKCJINATURALNEJKLASYCZNEGORACHUNKUZDAŃ

6.1.Reguływnioskowania

6.2.Regułykonstrukcjidowodu

6.3.PierwotneregułysystemuSłupeckiego−Borkowskiego

6.4.Zaawansowanadedukcjazdaniowa

6.5.Trafnośćformalizmudedukcyjnego

6.6.Ćwiczenia

7*.PEŁNOŚĆSYSTEMUZAŁOŻENIOWEGO

7.1.Postacienormalneformuł

7.2.Uzyskiwaniepostacinormalnychmetodądedukcyjną

7.3.Szkicdowodupełności

7.4.Dedukcyjnacharakteryzacjawynikanialogicznegoisprzeczności

7.5.Ćwiczenia

8.RACHUNEKKWANTYFIKATORÓW

8.1.Językrachunkukwantyfikatorów

8.2.Logicznarekonstrukcjawypowiedzi

8.3.Charakterystykarelacji

8.4.Systemdedukcjinaturalnej

8.5.Reguływtórne

8.6.Wynikaniededukcyjneisprzeczność

8.7.Ćwiczenia

9.METODYSEMANTYCZNERACHUNKUKWANTYFIKATORÓW

9.1.Tautologiczność

9.2.Niesprzecznośćiwynikaniesemantyczne

9.3.DiagramyBetha

9.4.Uwagiopełności.Postacieprefiksoweiskolemizacja

9.5.Ćwiczenia

10*.MODYFIKACJEIROZSZERZENIARACHUNKULOGICZNEGO

10.1.Kwantyfikatoryoograniczonymzakresie

10.2.Wielozakresowyrachunekpredykatów

10.3.Rachunekpredykatówzrównością

10.4.Deskrypcjeioperatorabstrakcji

Brak wyników

Logika ogólna

Treść książki

Znajdź bibliotekę blisko siebie, i uzyskaj dostęp do ebooka w systemie IBUK Libra