Results 91 to 100 of about 5,275 (212)
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
Dualising Intuitionistic Negation
Principia: An International Journal of Epistemology, 2009 One of Da Costa’s motives when he constructed the paraconsistent logic C! was to dualise the negation of intuitionistic logic. In this paper I explore a different way of going about this task.
Graham Priest
doaj
Principia: An International Journal of EpistemologyThe aim of this note is to examine the claim of B´eziau that S5 is paraconsistent. In particular, I wish to clarify what exactly is implicitly assumed behind his claim, and how we might be able to assess the claim “S5 is paraconsistent”.
Hitoshi Omori
doaj +1 more source
Models & Proofs: LFIs Without a Canonical Interpretations
Principia: An International Journal of Epistemology, 2018 In different papers, Carnielli, W. & Rodrigues, A. (2012), Carnielli, W. Coniglio, M. & Rodrigues, A. (2017) and Rodrigues & Carnielli, (2016) present two logics motivated by the idea of capturing contradictions as conflicting evidence.
Eduardo Alejandro Barrio
doaj +1 more source
Combined Paraconsistent Logics and their (Co)Exponentials
RUDN Journal of Philosophy, 2011 Combined logics of sentences and events consist of two parts: the external logic depending on epistemological assumptions and the internal logic depending on ontological ones. They were introduced by V.A. Smirnov following some G. Frege's and N. Vasiliev'
Vladimir L Vasyukov
doaj
A Logical Modeling of Severe Ignorance. [PDF]
J Philos Logic, 2023 Bonzio S +3 more
europepmc +1 more source
Nelson's paraconsistent logics
Logic and Logical Philosophy, 2004 Summary: David Nelson's constructive logics with strong negation may be viewed as alternative paraconsistent logic. These logics have been developed before da Costa's works. We address some philosophical aspects of Nelson's logics and give technical results concerning Kripke models and tableau calculi.
openaire +3 more sources
El Significado de la Negación Paraconsistente
Principia: An International Journal of Epistemology, 2009 This work agrees and supports the I. Hacking’s thesis regarding the meaningof the logical constants accordingly with Gentzen’s Introduction and Elimination Rules of Sequent Calculus, corresponding with the abstract conception of the notion of logical ...
Cecilia Duran, Gladys Palau
doaj
Presentation of the Special Issue of Principia on the Interpretation of Paraconsistent Logics
Principia: An International Journal of EpistemologyWe present this special issue of Principia on the interpretation of paraconsistent logics. After a brief discussion on the very idea of interpreting paraconsistent logics according to different perspectives, we introduce the source of the papers in this
Jonas R. Becker Arenhart +1 more
doaj +1 more source
Applying Paraconsistent Annotated Logic Eτ for Optimizing Broiler Housing Conditions
AgriEngineeringBroilers are particularly sensitive to heat stress, which can impair growth, and lower conversion efficiency and survival rates. Under a climate change scenario, maintaining optimal thermal conditions within broiler houses becomes more complex and energy-
Angel Antonio Gonzalez Martinez +3 more
doaj +1 more source