Filter
Matematisk logik
Filter
This book brings together philosophers, mathematicians and logicians to penetrate important problems in the philosophy and foundations of mathematics. In philosophy, one has been …
This research is the result of a fruitful connection and provides a sign- cant link between two topics of a logical and philosophical enquiry. It tries to provide a solution to the …
In the last two decades modal logic has undergone an explosive growth, to thepointthatacompletebibliographyofthisbranchoflogic,supposingthat someone were capable to compile it, …
Written by experts in the field, this volume presents a comprehensive investigation into the relationship between argumentation theory and the philosophy of mathematical practice. …
Philosophy of mathematics today has transformed into a very complex network of diverse ideas, viewpoints, and theories. Sometimes the emphasis is on the "classical" foundational …
This volume tackles Gödel's two-stage project of first using Husserl's transcendental phenomenology to reconstruct and develop Leibniz' monadology, and then founding classical …
This book creates a conceptual schema that acts as a correlation between Epistemology and Epistemic Logic. It connects both fields and offers a proper theoretical foundation for …
In the last century developments in mathematics, philosophy, physics, computer science, economics and linguistics have proven important for the development of logic. There has been …
Intuitionistic type theory can be described, somewhat boldly, as a partial fulfillment of the dream of a universal language for science. This book expounds several aspects of …
Ranging from Alan Turing’s seminal 1936 paper to the latest work on Kolmogorov complexity and linear logic, this comprehensive new work clarifies the relationship between …