Results 51 to 60 of about 21,381 (239)
Two Indian dialectical logics: saptabhangi and catuskoti [PDF]
, 2010 A rational interpretation is proposed for two ancient Indian logics: the Jaina saptabhaṅgī, and the Mādhyamika catuṣkoṭi. It is argued that the irrationality currently imputed to these logics relies upon some philosophical preconceptions inherited from ...
Schang, Fabien
core +1 more source
Computer Science and Metaphysics: A Cross-Fertilization
, 2019 Computational philosophy is the use of mechanized computational techniques to unearth philosophical insights that are either difficult or impossible to find using traditional philosophical methods.
Benzmüller, Christoph +2 more
core +1 more source
Encoding many-valued logic in {\lambda}-calculus
, 2020 We extend the well-known Church encoding of two-valued Boolean Logic in $\lambda$-calculus to encodings of $n$-valued propositional logic (for $3\leq n\leq 5$) in well-chosen infinitary extensions in $\lambda$-calculus.
de Vries, Fer-Jan
core +1 more source
A Paraconsistent Higher Order Logic [PDF]
, 2003 Classical logic predicts that everything (thus nothing useful at all) follows from inconsistency. A paraconsistent logic is a logic where an inconsistency does not lead to such an explosion, and since in practice consistency is difficult to achieve there
A. Church +18 more
core +6 more sources
Review of Memristors for In‐Memory Computing and Spiking Neural Networks
Advanced Intelligent Systems, EarlyView.Memristors uniquely enable energy‐efficient, brain‐inspired computing by acting as both memory and synaptic elements. This review highlights their physical mechanisms, integration in crossbar arrays, and role in spiking neural networks. Key challenges, including variability, relaxation, and stochastic switching, are discussed, alongside emerging ...
Mostafa Shooshtari +2 more
wiley +1 more source
Normality Operators and Classical Collapse [PDF]
, 2018 In this paper, we extend the expressive power of the logics K3, LP and FDE with anormality operator, which is able to express whether a for-mula is assigned a classical truth value or not.
Carrara, Massimiliano, Ciuni, Roberto
core
The Insistence of Blackness and the Persistence of Antiblackness in Ireland
Australian Journal of Social Issues, EarlyView.ABSTRACT This paper positions Ireland as a critical site for examining the insistence of blackness and an antiblackness created and sustained through Irish ethnonationalist imaginaries and exclusionary processes. Drawing on connected sociologies and Irish Black Studies, this enquiry argues that antiblackness in Ireland operates as a generational force,
Philomena Mullen
wiley +1 more source
On formal aspects of the epistemic approach to paraconsistency [PDF]
, 2018 This paper reviews the central points and presents some recent developments of the epistemic approach to paraconsistency in terms of the preservation of evidence.
Carnielli, Walter +2 more
core
Australian Journal of Social Issues, EarlyView.ABSTRACT This paper applies Critical Race Theory (CRT) to explore how whiteness operates within Australia's anti‐racism movement as a structuring force that shapes discourse, practice and policy. Despite the anti‐racism movement offering crucial spaces for resistance and reform, it remains entangled in Australia's settler‐colonial present and systemic ...
Franka Vaughan, Aish Ravi
wiley +1 more source
Logic and the Concept of God [PDF]
, 2019 This paper introduces the special issue on the Concept of God of the Journal of Applied Logics (College Publications). The issue contains the following articles: Logic and the Concept of God, by Stanisław Krajewski and Ricardo Silvestre; Mathematical ...
Krajewski, Stanisław +1 more
core