The book explores the logical foundations of tractable reasoning, building on Marvin Minsky's influential work on frames. It addresses the largely unexamined intersection of frames and logic, proposing a new logic called frame logic to tackle the challenges of dynamic, inferential reasoning, a significant issue in cognitive science and AI. The author introduces a belief revision scheme that enhances tractability within frame logic, emphasizing the importance of modularity and presenting a logical variant of the massive modularity hypothesis in cognitive science.
This volume features contributions from leading scholars across various schools within the research area of paraconsistency. The authors critically examine how contemporary paraconsistent logics can enhance our understanding of human reasoning in science and mathematics. They explore whether these logics can serve as the foundation for inconsistent yet valuable scientific and mathematical theories. The diversity of paraconsistent logics raises interrelated questions, including the desiderata a paraconsistent logic should fulfill, the potential for a universal approach to paraconsistent reasoning with axiomatic theories, and the structural similarities between reasoning about sets and truth. Additionally, the authors discuss the status of paraconsistent logic as a normative or descriptive discipline and identify which inconsistent but non-trivial axiomatic theories are best understood through various paraconsistent approaches. This work aims to provide a representative overview of the current philosophical debate on paraconsistency, generate innovative ideas for its future, and strengthen the philosophical foundation of paraconsistent logic by considering developments across different schools.
Als Wissenschaftslogik bezeichnet Carnap jene Disziplin, welche die Nachfolge der traditionellen Philosophie im 20. Jahrhundert antreten sollte. Den zentralen Bezugspunkt von Carnaps wissenschaftslogischen Arbeiten bildet die von Frege und Russell entwickelte mathematische Logik. Dies gilt auch für die Zweistufenkonzeption, mit der Carnap ein allgemeines Schema zur Analyse der Bedeutung von Begriffen nichtmathematischer Theorien entwirft. Dabei wird die Abhängigkeit der begrifflichen Bedeutung von den Aussagen der jeweiligen Theorie explizit anerkannt, was eine Überwindung der Dogmen des Empirismus innerhalb des Logischen Empirismus einschließt. Allerdings geht Carnap in seinen Arbeiten zur Semantik formaler Sprachen auf die spezifischen Eigenschaften von theoretischen Termen nicht ein, so daß die Überwindung der Dogmen des Empirismus unvollständig bleibt. Darauf gründet sich die wesentliche Aufgabe der vorliegenden Untersuchung, die darin besteht, die Deutung von theoretischen Termen durch Postulate im Rahmen der mathematischen Logik exakt zu beschreiben. In ihrer Gesamtheit kann die vorliegende Abhandlung als ein Versuch gelesen werden, die von Wolfgang Stegmüller begonnene AuseinanderSetzung mit Carnap fortzuSetzen.
