Back to Search
Start Over
Valuation Semantics for First-Order Logics of Evidence and Truth.
- Source :
-
Journal of Philosophical Logic . Oct2022, Vol. 51 Issue 5, p1141-1173. 33p. - Publication Year :
- 2022
-
Abstract
- This paper introduces the logic QLETF, a quantified extension of the logic of evidence and truth LETF, together with a corresponding sound and complete first-order non-deterministic valuation semantics. LETF is a paraconsistent and paracomplete sentential logic that extends the logic of first-degree entailment (FDE) with a classicality operator ∘ and a non-classicality operator ∙, dual to each other: while ∘A entails that A behaves classically, ∙A follows from A's violating some classically valid inferences. The semantics of QLETF combines structures that interpret negated predicates in terms of anti-extensions with first-order non-deterministic valuations, and completeness is obtained through a generalization of Henkin's method. By providing sound and complete semantics for first-order extensions of FDE, K3, and LP, we show how these tools, which we call here the method of anti-extensions + valuations, can be naturally applied to a number of non-classical logics. [ABSTRACT FROM AUTHOR]
Details
- Language :
- English
- ISSN :
- 00223611
- Volume :
- 51
- Issue :
- 5
- Database :
- Academic Search Index
- Journal :
- Journal of Philosophical Logic
- Publication Type :
- Academic Journal
- Accession number :
- 159213252
- Full Text :
- https://doi.org/10.1007/s10992-022-09662-8