Results 61 to 70 of about 812 (177)
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
Degree-Preserving Gödel Logics with an Involution: Intermediate Logics and (Ideal) Paraconsistency
, 2021 In this paper, we study intermediate logics between the logic $\mathrm{G}_{\sim}^{\leq}$, the degree-preserving companion of Gödel fuzzy logic with involution $\mathrm{G}_{\sim}$, and classical propositional logic CPL, as well as the intermediate logics ...
Godo i Lacasa, Lluís +7 more
core +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
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
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
On some remarkable relations between paraconsistent logics, modal logics, and ambiguity logics
, 2002 This paper concerns some connections between paraconsistent logics, modal logics (mainly S5), and Ambiguity Logic AL (Classical Logic applied to a language in which all letters are indexed and in which quantifiers over such indices are present).
Batens, Diderik
core +1 more source
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
A classical-logic view on a paraconsistent logic
CoRR, 2020 This paper is concerned with the paraconsistent first-order logic LPQ$^{\supset,\mathsf{F}}$, Priest's LPQ enriched with an implication connective and a falsity constant. A sequent-style natural deduction proof system for this logic is presented and, for this proof system, both a model-theoretic justification and a logical justification by means of an ...
openaire +4 more sources
Paraconsistent Gödel Modal Logic
, 2022 AbstractWe introduce a paraconsistent modal logic$$\mathbf {K}\mathsf {G}^2$$KG2, based on Gödel logic with coimplication (bi-Gödel logic) expanded with a De Morgan negation$$\lnot $$¬. We use the logic to formalise reasoning with graded, incomplete and inconsistent information.
Marta Bílková +2 more
openaire +3 more sources
Paraconsistent Logics for Knowledge Representation and Reasoning: advances and perspectives [PDF]
, 2020 This paper briefly outlines some advancements in paraconsistent logics for modelling knowledge representation and reasoning. Emphasis is given on the so-called Logics of Formal Inconsistency (LFIs), a class of paraconsistent logics that formally ...
Testa, Rafael, Carnielli, Walter A.
core +1 more source