Results 101 to 110 of about 2,727 (208)

A model-theoretic analysis of Fidel-structures for mbC [PDF]

, 2019
In this paper the class of Fidel-structures for the paraconsistent logic mbC is studied from the point of view of Model Theory and Category Theory. The basic point is that Fidel-structures for mbC (or mbC-structures) can be seen as first-order structures
E. Coniglio, Marcelo
core  

Relation-changing models meet paraconsistency

J. Log. Algebraic Methods Program., 2023
Diana Costa, Daniel Figueiredo, M. Martins   +2 more
semanticscholar   +1 more source

Newton da Costa on True Contradictions: from aporias to reality

Principia: An International Journal of Epistemology
Dialetheism is the thesis that some contradictions are true. In this paper, we explore claims to such a thesis to be found in some early philosophical writings of Newton da Costa, most notably in his book Ensaio Sobre os Fundamentos da Lógica (hereafter
Ederson Safra Melo, Jonas R. Becker Arenhart   +1 more
doaj   +1 more source

On falsifying empirical contradictions [PDF]

The possibility of testing contradictory statements about the factual world has been suggested but barely discussed in the relevant literature. Here I argue that if we assume that there are contradictory observation sentences, it would be logically ...
Bartolo Alegre, Luis Felipe
core  

An inferentialist approach to paraconsistency [PDF]

, 2014
This paper develops and motivates a paraconsistent approach to semantic paradox from within a modest inferentialist framework. I begin from the bilateralist theory developed by Greg Restall, which uses constraints on assertions and denials to motivate a ...
Trafford, James
core   +1 more source

The Fictional Guide to Impossible Truths

Principia: An International Journal of Epistemology
In this paper, our main goal is to present a new account for contradictions and impossible truths. It is loosely based on both Austin’s account of truth and the Logic of Impossible Truths (LIT), a formal semantics designed to address incomplete ...
Guilherme Araújo Cardoso, Francisco Augusto Nogueira Lages   +1 more
doaj   +1 more source

Belief Revision in Science: Informational Economy and Paraconsistency [PDF]

, 2017
In the present paper, our objective is to examine the application of belief revision models to scientific rationality. We begin by considering the standard model AGM, and along the way a number of problems surface that make it seem inadequate for this ...
Coimbra, Daniel
core  

Some Remarks about Going Towards Inconsistencies

Principia: An International Journal of Epistemology
Inconsistencies! What do they mean? Can we support them? With this paper, we hope to contribute to the claim that we can tolerate inconsistencies in certain situations even without considering any logic that may enable us to do that, say some ...
Décio Krause
doaj   +1 more source

Paraconsistency, Pluralistic Models and Reasoning in Climate Science

Humana.Mente: Journal of Philosophical Studies, 2018
Scientific inquiry is typically focused on particular questions about particular objects and properties.  This leads to a multiplicity of models which, even when they draw on a single, consistent body of concepts and principles, often employ different ...
Bryson Brown
doaj  

Poly-infix operators and operator families [PDF]

, 2015
Poly-infix operators and operator families are introduced as an alternative for working modulo associativity and the corresponding bracket deletion convention.
Bergstra, Jan A., Ponse, Alban
core   +1 more source