Niniejsza książka jest przeznaczona dla wszystkich, którzy słyszeli o logice
niemonotonicznej i chcieliby posiąść obszerniejszą wiedzę na jej temat. W
szczególności chcieliby więc poznać odpowiedzi na następujące pytania: jakie są jej
wiodące idee, w jaki sposób różni się ona od logiki klasycznej, jaki jest jej
związek z problemem prawdopodobieństwa? Stawiając sprawę bardziej ogólnie: jak logika
niemonotoniczna działa i jak można ją stosować? Oto pytania, na które spróbujemy
odpowiedzieć tak jasno, jak to możliwe, nie przeciążając tekstu szczegółami
technicznymi, ale również nie pozostając wyłącznie na poziomie nieformalnym,
pozbawionym detali.
Praca ta została napisana dla studentów, nauczycieli prowadzących zajęcia, ale
również dla samouków. Czytelnik-samouk spotka się jednak ze szczególnie trudnym
zadaniem, gdyż zabraknie mu możliwości konsultacji. Kierując się sympatią,
spróbujemy mu jednak możliwie pomóc poprzez wyczerpujące wyjaśnianie wszystkich
istotnych kwestii, omawianie pewnych kwestii dla lepszego ich zrozumienia na kilka
sposobów, podsumowywanie każdego rozdziału, i wreszcie proponując ćwiczenia oraz
rozwiązania niektórych z nich. Zabiegi te będą oczywiście użyteczne dla wszystkich
czytelników, jednak zwłaszcza dla tych, którzy uczą się samodzielnie
Professor David Clement Makinson is currently Visiting Professor in
the Department of Philosophy, Logic and Scientific Method, London School of Economics
(LSE). He has been a Senior Research Fellow in the Department of Computer Science, King's
College London, Chairman of the Department in the American University of Beirut, Lebanon,
and Programme Specialist with Unesco.
His field of research is Logic and its relations with other disciplines, particularly
philosophy and computer science. His most recent research has been on:
* Uncertain reasoning: qualitative and quantitative and their interconnections
* Parallel interpolation and its implications
* Relevance criteria for belief change operations
* Input/output logics, logics of directives and norms
* The concept of logical friendliness
Spis treści:
Uwagi tłumacza
Przedmowa do wydania polskiego
Przedmowa do wydania angielskiego
Rozdział 1. Podstawy logiki niemonotonicznej/ l
Wszyscy wnioskujemy niemonotonicznie /l
Konsekwencja klasyczna i jej własności /3
Nieporozumienia oraz złe przyzwyczajenia /11
Trzy sposoby zwiększania liczby konkluzji /19
Powtórzenie materiału i dalsze poszukiwania /20
Rozdział 2. Zastosowanie dodatkowych założeń ukrytych w tle /23
Od konsekwencji klasycznej do założeń osiowych /23
Od założeń osiowych do założeń domyślnych /30
Uszczegółowienia, warianty i uogólnienia /41
Powtórzenie materiału i dalsze poszukiwania /59
Rozdział 3. Ograniczenie zbioru wartościowań/ 61
Od konsekwencji klasycznej do wartościowań osiowych /61
Od wartościowań osiowych do wartościowań domyślnych/ 69
Konkretyzacje i uogólnienia /75
Powtórzenie materiału i dalsze poszukiwania / 85
Rozdział 4. Zastosowanie dodatkowych reguł /87
Od konsekwencji klasycznej do reguł osiowych / 87
Od reguł osiowych do reguł domyślnych /95
Uogólnienia i warianty /101
Powtórzenie materiału i dalsze poszukiwania /111
Rozdział 5. Związki pomiędzy inferencją niemonotoniczną i probabilistyczną
/114
Prawdopodobieństwo: podstawowe pojęcia i aksjomaty /115
Probabilistyczne charakterystyki konsekwencji klasycznej /125
Nadklasyczne probabilistyczne relacje konsekwencji /130
Próby zbliżenia inferencji probabilistycznej i jakościowej /134
Powtórzenie materiału i dalsze poszukiwania /141
Rozdział 6. Krótkie porównanie /143
Związki z logiką zmiany przekonań /143
Związki z logiką aktualizacji przekonań oraz logikami kontrfaktycznych i dyrektywalnych
okresów warunkowych /150
Wybrane twierdzenia o reprezentacji dla relacji konsekwencji /157
Powtórzenie materiału i dalsze poszukiwania /166
Dodatki /169
A. Dowód twierdzenia 4.12 /169
B. Objaśnienie symboli specjalnych /172
Odpowiedzi do wybranych ćwiczeń/ 175
Bibliografia /198
Skorowidz /207
212 stron, oprawa miękka