[图书][B] The fragmentation of being

K McDaniel - 2017 - books.google.com
The Fragmentation of Being offers answers to some of the most fundamental questions in
ontology. There are many kinds of beings but are there also many kinds of being? The world …

[图书][B] Relativism

M Baghramian, A Coliva - 2019 - taylorfrancis.com
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 …

Reasoning about possibilities: Modal logics, possible worlds, and mental models

PN Johnson-Laird, M Ragni - Psychonomic Bulletin & Review, 2024 - Springer
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 …

A taxonomy of C-systems

WA Carnielli, J Marcos - Paraconsistency, 2002 - taylorfrancis.com
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 …

[图书][B] Existence as a real property

F Berto, F Berto - 2013 - Springer
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 …

A logic of argumentation for reasoning under uncertainty

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 …

[图书][B] An introduction to the philosophy of mathematics

M Colyvan - 2012 - books.google.com
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 …

[图书][B] Hume's problem solved: The optimality of meta-induction

G Schurz - 2019 - books.google.com
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 …

A framework for multi-valued reasoning over inconsistent viewpoints

S Easterbrook, M Chechik - Proceedings of the 23rd …, 2001 - ieeexplore.ieee.org
In requirements elicitation, different stakeholders often hold different views of how a
proposed system should behave, resulting in inconsistencies between their descriptions …

ST, LP and tolerant metainferences

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 …