Oryginalny tytuł:
Logical Consequences: Theory and Applications: An Introduction. 2nd Edition
Zawartość książki:
Teoria konsekwencji logicznej ma kluczowe znaczenie dla współczesnej logiki i jej zastosowań. Jest ona jednak w większości rozproszona w obfitości często trudno dostępnych prac i rzadko traktowana z myślą o zastosowaniach.
Niniejsza książka zbiera najbardziej fundamentalne aspekty tej teorii i oferuje czytelnikowi podstawy jej zastosowań w informatyce, sztucznej inteligencji i kognitywistyce, by wymienić tylko najważniejsze dziedziny, w których pojęcie to znajduje wiele zastosowań. Omawiane są zarówno konsekwencje dedukcyjne, jak i niededukcyjne. Punktem wyjścia jest klasyczna konsekwencja dedukcyjna: logika klasyczna jest systemem odniesienia, a nieklasyczne systemy dedukcyjne są postrzegane jako jej rozszerzenia, odchylenia lub odmiany.
Dyskusja nieklasycznych konsekwencji dedukcyjnych koncentruje się na wielowartościowych, intuicjonistycznych, modalnych, parakonsystentnych i substrukturalnych konsekwencjach logicznych. Temat konsekwencji niededukcyjnych jest rozwijany z punktu widzenia logiki abdukcyjnej, indukcyjnej i probabilistycznej.
Podsumowując, omówiono tutaj główne współczesne (klasy) systemów logicznych. Podejście jest zasadniczo matematyczne, a tło matematyczne, oparte głównie na relacjach porządku, jest traktowane dokładnie i w sposób przystępny dla niematematyków.
