Relativism, an ancient philosophical doctrine, is once again a topic of heated debate. In this book, Maria Baghramian and Annalisa Coliva present the recent arguments for and against …
Everyone reasons about possibilities. This article explains how they could do so using mental models. The theory makes four major claims: 1. Correct inferences are necessary …
In the dawn of the XXI century, debates on the statute of contradiction in logic, philosophy and mathematics are still likely to raise the most diverse and animated sentiments. And this …
What does existence consist in, if it is not what the Parmenidean takes it to be? Here comes a non-Parmenidean approach. To begin with,“exists” is a predicate of individuals just like the …
P Krause, S Ambler… - Computational …, 1995 - Wiley Online Library
We present the syntax and proof theory of a logic of argumentation, LA. We also outline the development of a category theoretic semantics for LA. LA is the core of a proof theoretic …
This introduction to the philosophy of mathematics focuses on contemporary debates in an important and central area of philosophy. The reader is taken on a fascinating and …
A new approach to Hume's problem of induction that justifies the optimality of induction at the level of meta-induction. Hume's problem of justifying induction has been among …
In requirements elicitation, different stakeholders often hold different views of how a proposed system should behave, resulting in inconsistencies between their descriptions …
B Dicher, F Paoli - Graham Priest on dialetheism and paraconsistency, 2019 - Springer
The strict-tolerant (ST) approach to paradox promises to erect theories of naïve truth and tolerant vagueness on the firm bedrock of classical logic. We assess the extent to which this …