Eredeti címe:
Logical Consequences: Theory and Applications: An Introduction. 2nd Edition
Könyv tartalma:
A logikai következmény elmélete központi szerepet játszik a modern logikában és annak alkalmazásaiban. Azonban többnyire szétszóródik a sokszor nehezen hozzáférhető dolgozatok sokaságában, és ritkán kezelik az alkalmazások szem előtt tartásával.
Ez a könyv összegyűjti ennek az elméletnek a legalapvetőbb aspektusait, és az olvasónak felkínálja a számítástechnikában, a mesterséges intelligenciában és a kognitív tudományokban való alkalmazásának alapjait, hogy csak a legfontosabb területeket említsük, ahol ez a fogalom számos alkalmazást talál. Mind a deduktív, mind a nem deduktív következményt tárgyalja. A kiindulópont a klasszikus deduktív következmény: a klasszikus logika a referenciarendszer, a nem-klasszikus deduktív rendszereket pedig ennek kiterjesztéseként, eltéréseként vagy variációjaként tekintjük.
A nem-klasszikus deduktív következmény tárgyalása a sokértékű, intuitív, modális, parakonszisztens és szubstrukturalista logikai következményekre összpontosít. A nem-deduktív következmény témáját az abduktív, az induktív és a valószínűségi logikák szemszögéből dolgozzuk fel.
Összességében a főbb kortárs logikai rendszerek (osztályait) tárgyaljuk itt. A megközelítés alapvetően matematikai jellegű, és a matematikai hátteret, amely főként a rendi relációkra épül, alaposan és a nem matematikusok számára is érthető módon tárgyalja.
