Results 41 to 50 of about 812 (177)
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 Quasi-Set Theory [PDF]
, 2012 Paraconsistent logics are logics that can be used to base inconsistent but non-trivial systems. In paraconsistent set theories, we can quan- tify over sets that in standard set theories (that are based on classical logic), if consistent, would lead to
Krause, Décio
core
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
Buddhismus a aristotelská logika
Filosofie Dnes, 2011 Abstrakt/Abstract Článek pojednává o buddhistické logice a jejím vztahu k logice aristotelské, zejména k principu sporu a principu vyloučeného třetího.
Jiří Holba
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
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
, 2015 This chapter reviews some variants of annotated logics and related systems in the literature. Variants include fuzzy annotated logics, possibilistic annotated logics, inductive annotated logics, and structural annotated logics.
Nakamatsu, Kazumi +5 more
core +1 more source