Results 71 to 80 of about 806,990 (259)

Modal logic S4 as a paraconsistent logic with a topological semantics [PDF]

, 2017
In this paper the propositional logic LTop is introduced, as an extension of classical propositional logic by adding a paraconsistent negation. This logic has a very natural interpretation in terms of topological models.
E. Coniglio, Marcelo, Prieto-Sanabria, Leonardo   +1 more
core  

Paraconsistency in hybrid logic [PDF]

Journal of Logic and Computation, 2016
As in standard knowledge bases, hybrid knowledge bases (i.e. sets of information specified by hybrid formulas) may contain inconsistencies arising from different sources, namely from the many mechanisms used to collect relevant information. Being a fact, rather than a queer anomaly, inconsistency also needs to be addressed in the context of hybrid ...
Diana Costa, Manuel A. Martins
openaire   +3 more sources

The sting of negativity: Irad Kimhi and Michael Della Rocca on the Parmenidean challenge

European Journal of Philosophy, Volume 32, Issue 2, Page 577-595, June 2024.
Abstract Irad Kimhi considers the conundrum, first addressed by Parmenides, of how negative facts can be the case and be thought, to be the puzzle that philosophy has been working to solve since Plato and Aristotle and wants to do his part by criticizing Frege's dissociation of sense and force and developing a more Aristotelian account of judgment ...
Anton Friedrich Koch
wiley   +1 more source

Mathematical pluralism

Noûs, Volume 58, Issue 2, Page 306-332, June 2024.
Abstract Mathematical pluralism can take one of three forms: (1) every consistent mathematical theory consists of truths about its own domain of individuals and relations; (2) every mathematical theory, consistent or inconsistent, consists of truths about its own (possibly uninteresting) domain of individuals and relations; and (3) the principal ...
Edward N. Zalta
wiley   +1 more source

Negation and Dichotomy [PDF]

, 2009
The present contribution might be regarded as a kind of defense of the common sense in logic. It is demonstrated that if the classical negation is interpreted as the minimal negation with n = 2 truth values, then deviant logics can be conceived as ...
Schang, Fabien
core   +1 more source

Sobre a lógica deôntica não-clássica

Crítica, 2018
Our starting point, in this basically expository paper, is the study of a classical system of deontic propositional logic, classical in the sense that it constitutes an extension of the classical propositional calculus.
Leila Z. Puga, Newton C.A. da Costa
doaj   +1 more source

Inconsistency and the dilemma of intuitionistic research in generative syntax [PDF]

, 2012
The paper is a contribution to the current debate on linguistic data and evidence. It raises two questions: (a) What kinds of inconsistency do emerge in generative syntax?
Kertész, András
core  

A basic system of paraconsistent Nelsonian logic of conditionals [PDF]

, 2023
Grigory K. Olkhovikov
openalex   +1 more source

Inferential Interpretations of Many-Valued Logics

Logics
Non-Tarskian interpretations of many-valued logics have been widely explored in the logic literature. The development of non-tarskian conceptions of logical consequence set the theoretical foundations for rediscovering well-known (Tarskian) many-valued ...
Sanderson Molick
doaj   +1 more source

On a Partial Decision Method for Dynamic Proofs [PDF]

, 2002
This paper concerns a goal directed proof procedure for the propositional fragment of the adaptive logic ACLuN1. At the propositional level, it forms an algorithm for final derivability.
Batens, Diderik
core   +3 more sources