Towards Mathematical Philosophy: Papers from the Studia Logica Conference Trends in Logic IV

By Heinrich Wansing and Jacek Malinowski

Book Overview

From Logic to Mathematical Philosophy.- Commutativity of Quantifiers in Varying-Domain Kripke Models.- The Method of Tree-Hypersequents for Modal Propositional Logic.- All Splitting Logics in the Lattice NExt(KTB).- A Temporal Logic of Normative Systems.- Reasoning with Justifications.- Monotone Relations, Fixed Points and Recursive Definitions.- Processing Information from a Set of Sources.- The Classical Model Existence Theorem in Subclassical Predicate Logics I.- Weak Implicational Logics Related to the Lambek Calculus-Gentzen versus Hilbert Formalisms.- Faithful and Invariant Conditional Probability in ?ukasiewicz Logic.- A Fuzzy Logic Approach to Non-Scalar Hedges.- The Procedures for Belief Revision.- Shifting Priorities: Simple Representations for Twenty-Seven Iterated Theory Change Operators.- The Coherence of Theories-Dependencies and Weights.- On Meta-Knowledge and Truth.

• Format: Hardcover
• Language: English
• ISBN: 1402090838
• ISBN13: 9781402090837
• Release Date: November 2008
• Publisher: Springer
• Length: 344 Pages
• Weight: 1.50 lbs.
• Dimensions: 0.8" x 6.1" x 9.2"