Results 41 to 50 of about 132 (129)
Meeting Hintikka's Challenge to Paraconsistentism
Principia: An International Journal of Epistemology, 2009 Jaakko Hintikka, in a series of talks in Brazil in 2008, defended that IF (“independence- friendly”) logic and paraconsistent logic are, in a sense, very similar.
Walter Carnielli
doaj
Paraconsistent logic programming
Theoretical Computer Science, 1987 See the review in Zbl 0631.68009.
Blair, Howard A., Subrahmanian, V.S.
openaire +1 more source
Kripkean conceivability and epistemic modalities
Analytic Philosophy, Volume 65, Issue 4, Page 585-602, December 2024.Abstract In this article, I show that (i) from what I call a “Kripkean” account of the relations between conceivability and metaphysical necessities, (ii) an apparently plausible principle relating conceivability and epistemic modality, and (iii) the duality of epistemic modalities, one can show the utterly anti‐Kripkean result that every metaphysical ...
Vittorio Morato
wiley +1 more source
Pursuit of the concept of validity: A dialogue
Theoria, Volume 90, Issue 5, Page 479-491, October 2024.Abstract This is a dialogue between Lisa and Max on Dag Prawitz's work concerning the concept of deductive validity. Lisa first explains Prawitz's criticisms of the presently prevailing non‐epistemic analyses of validity. Then Lisa describes three different ways in which Prawitz attempted to develop an epistemic concept of validity.
Cesare Cozzo
wiley +1 more source
Axioms, 2020 In this paper, we consider some paraconsistent calculi in a Hilbert-style formulation with the rule of detachment as the sole rule of interference.
Janusz Ciuciura
doaj +1 more source
Overview of the various methods used to assess walking ability in broiler chickens
Veterinary Record, Volume 195, Issue 4, 17–31 August 2024.Abstract Background Walking ability is a highly important animal‐based indicator of welfare in broilers that warrants monitoring across commercial production. Methods A review of the technical and scientific literature on existing methods for assessing walking ability in broilers was conducted, and the reliability, validity and feasibility of the ...
Kaitlin E. Wurtz, Anja B. Riber
wiley +1 more source
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
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
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