Results 41 to 50 of about 247 (182)
Jaina logic: a model-based analysis of the seven predications
Círculo de Lingüística Aplicada a la Comunicación, 2023 A relevant part of Jainism is its logic. Jaina logic gives tools to communicate and argue. However, it is problematic from the western perspective: it seems to be a paraconsistent system, that is, a system in which a fact and the denial of that very ...
Miguel López Astorga
doaj +1 more source
Conceptual engineering: Conceptual innovation via conceptual refinement
Metaphilosophy, Volume 56, Issue 3-4, Page 344-355, July 2025.Abstract Mona Simion and Christoph Kelp (2020) have recently challenged the traditional conceptual engineering project. They defend a reorientation of this project that moves away from correcting conceptual shortcomings and emphasizes conceptual innovation instead. Central to their proposal is the role played by etiological functions. The present paper
Otávio Bueno
wiley +1 more source
Paraconsistent logic programming
Theoretical Computer Science, 1987 See the review in Zbl 0631.68009.
Howard A. Blair, V. S. Subrahmanian
openaire +1 more source
Introduction to the special issue New Thoughts on Conceptual Engineering
Metaphilosophy, Volume 56, Issue 3-4, Page 283-293, July 2025.Abstract Conceptual engineering has emerged in recent times as a significant topic in current philosophical literature. The now vast list of references includes works on more general or conceptual issues, such as describing the nature of conceptual engineering, how we may respond to the different objections to it, how it is related to philosophical ...
Xavier de Donato‐Rodríguez
wiley +1 more source
On Paracomplete Versions of Jaśkowski's Discussive Logic
Bulletin of the Section of LogicJaśkowski's discussive (discursive) logic D2 is historically one of the first paraconsistent logics, i.e., logics which 'tolerate' contradictions. Following Jaśkowski's idea to define his discussive logic by means of the modal logic S5 via special ...
Krystyna Mruczek-Nasieniewska +2 more
doaj +1 more source
Dialectical Multivalued Logic and Probabilistic Theory
Mathematics, 2017 There are two probabilistic algebras: one for classical probability and the other for quantum mechanics. Naturally, it is the relation to the object that decides, as in the case of logic, which algebra is to be used.
José Luis Usó Doménech +2 more
doaj +1 more source
Four-valued expansions of Dunn-Belnap's logic (I): Basic characterizations
Bulletin of the Section of Logic, 2020 Basic results of the paper are that any four-valued expansion L4 of Dunn-Belnap's logic DB4 is de_ned by a unique (up to isomorphism) conjunctive matrix ℳ4 with exactly two distinguished values over an expansion 𝔄4 of a De Morgan non-Boolean four-valued ...
Alexej P. Pynko
doaj +1 more source
Hunting for Paradoxes: A Research Strategy for Cognitive Science
Topics in Cognitive Science, Volume 17, Issue 3, Page 770-801, July 2025.Abstract How should we identify interesting topics in cognitive science? This paper suggests that one useful research strategy is to hunt for, and attempt to resolve, paradoxes: that is, apparent or real contradictions in our understanding of the mind and of thought.
Nick Chater
wiley +1 more source
A Logic for Paraconsistent Transition Systems
Electronic Proceedings in Theoretical Computer Science, 2022 In Proceedings NCL 2022, arXiv:2204 ...
Ana Cruz +2 more
openaire +4 more sources
Dialetheism and the countermodel problem
Philosophy and Phenomenological Research, Volume 110, Issue 2, Page 709-733, March 2025.Abstract According to some dialetheists, we ought to reject the distinction between object and meta‐languages. Given that dialetheists advocate truth‐value gluts within their object‐language, whether in order to solve the liar paradox or for some other reason, this rejection of the object‐/meta‐language distinction comes with the commitment to use a ...
Andreas Fjellstad, Ben Martin
wiley +1 more source