Ihre Suche ergab 102 Treffer.
Procedural Semantics for Hyperintensional Logic
Foundations and Applications of Transparent Intensional Logic
Produktform: Buch / Einband - fest (Hardcover)
This book shows how TIL lends itself to a broad range of applications. It comprises logical analysis of natural language, artificial-intelligence methods of knowledge representation, multi-agent systems in computer science, philosophy of mathematics, and more.
213,99 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Vague Objects and Vague Identity
New Essays on Ontic Vagueness
Produktform: Buch / Einband - flex.(Paperback)
106,99 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Unifying the Philosophy of Truth
Produktform: Buch / Einband - fest (Hardcover)
106,99 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Between Logic and Reality
Modeling Inference, Action and Understanding
Produktform: Buch / Einband - flex.(Paperback)
Is reality logical and is logic real? This book offers analyses of the logic-reality relationship from different approaches and perspectives. The papers collected in this volume address cutting-edge topics in contemporary discussions amongst specialists.
106,99 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Induction, Algorithmic Learning Theory, and Philosophy
Produktform: Buch / Einband - fest (Hardcover)
160,49 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Judgement and the Epistemic Foundation of Logic
Produktform: Buch / Einband - flex.(Paperback)
Opening with the insights of Swedish philosopher Per Martin-Löf, the father of constructive type theory, this exploration of the relationship between logic and knowledge re-affirms the key role that the notion of judgement must play in such a review.
106,99 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
The Argument of Mathematics
Produktform: Buch / Einband - fest (Hardcover)
This book presents a comprehensive investigation into the relationship between argumentation theory and the philosophy of mathematical practice. It offers large array of examples ranging from the history of mathematics to formal proof verification.
106,99 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
The Realism-Antirealism Debate in the Age of Alternative Logics
Produktform: Buch / Einband - fest (Hardcover)
160,49 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Formalizing Medieval Logical Theories
Suppositio, Consequentiae and Obligationes
Produktform: Buch / Einband - flex.(Paperback)
160,49 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Epistemology versus Ontology
Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf
Produktform: Buch / Einband - fest (Hardcover)
This book brings together philosophers, mathematicians and logicians to explore important problems in the philosophy and foundations of mathematics. Contrasts classical logic and set theory with predicativistic constructivism based on Martin-Löf type theory.
213,99 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage