Results 71 to 80 of about 3,744 (159)

Normality Operators and Classical Collapse [PDF]

, 2018
In this paper, we extend the expressive power of the logics K3, LP and FDE with anormality operator, which is able to express whether a for-mula is assigned a classical truth value or not.
Carrara, Massimiliano, Ciuni, Roberto
core  

Co-constructive Logics for Proofs and Refutations

Studia Humana, 2015
This paper considers logics which are formally dual to intuitionistic logic in order to investigate a co-constructive logic for proofs and refutations. This is philosophically motivated by a set of problems regarding the nature of constructive truth, and
Trafford James
doaj   +1 more source

Preferential and Preferential-discriminative Consequence relations

, 2005
The present paper investigates consequence relations that are both non-monotonic and paraconsistent. More precisely, we put the focus on preferential consequence relations, i.e.
Ben-Naim, Jonathan
core   +8 more sources

Was Aristotle a non-classical logician?

Studia Universitatis Babeș-Bolyai. Philosophia
This paper discusses the possible classification of Aristotle’s syllogistic as a non-classical logical system, positing Aristotle himself as a non-classical logician.
Luis F. BARTOLO ALEGRE
doaj   +1 more source

Essentialism and Absolute Necessity [PDF]

, 1997
Bob Hale has argued that logical necessity is absolute necessity. Furthermore, he presents a challenge to the essentialist who tries to evade the consequences of his argument. Here I examine the direct argument he presents for his thesis. I argue that it
Shalkowski, S.
core  

A Geometric Interpretation of the Neutrosophic Set - A Generalization of the Intuitionistic Fuzzy Set

, 2011
In this paper we generalize the intuitionistic fuzzy set (IFS), paraconsistent set, and intuitionistic set to the neutrosophic set (NS). Several examples are presented.
Smarandache, Florentin
core   +1 more source

Paraconsistent Modal Logics

Electronic Notes in Theoretical Computer Science, 2011
AbstractWe introduce a modal expansion of paraconsistent Nelson logic that is also as a generalization of the Belnapian modal logic recently introduced by Odintsov and Wansing. We prove algebraic completeness theorems for both logics, defining and axiomatizing the corresponding algebraic semantics.
openaire   +1 more source

Negation, Structure, Transformation: Alain Badiou and the New Metaphysics

Open Philosophy, 2018
In this article, I discuss Alain Badiou’s 2008 address titled “The Three Negations.” Though the text was originally presented in a symposium concerning the relationship of law to Badiou’s theory of the event, I discuss the way this brief address offers ...
Vartabedian Becky
doaj   +1 more source

Two Indian dialectical logics: saptabhangi and catuskoti [PDF]

, 2010
A rational interpretation is proposed for two ancient Indian logics: the Jaina saptabhaṅgī, and the Mādhyamika catuṣkoṭi. It is argued that the irrationality currently imputed to these logics relies upon some philosophical preconceptions inherited from ...
Schang, Fabien
core   +1 more source

On Morgado and Sette’s Implicative Hyperlattices as Models of da Costa Logic C_ω

Logics
José Morgado introduced in 1962 a novel notion of hyperlattices, which he called reticuloides. In his master’s thesis submitted in 1971 (under the supervision of Newton da Costa), Antonio M. Sette introduced a new class of implicative hyperlattices (here
Marcelo Esteban Coniglio, Ana Claudia Golzio, Kaique Matias de Andrade Roberto   +2 more
doaj   +1 more source