Содержание книги
перейти к управлению читателемперейти к навигацииперейти к деталям бронированияперейти к остановкам
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
