Results 11 to 20 of about 2,869,949 (320)
New Directions in Categorical Logic, for Classical, Probabilistic and Quantum Logic [PDF]
Logical Methods in Computer Science, 2015 Intuitionistic logic, in which the double negation law not-not-P = P fails, is dominant in categorical logic, notably in topos theory. This paper follows a different direction in which double negation does hold.
Bart Jacobs
doaj +6 more sources
Game semantics for first-order logic [PDF]
Logical Methods in Computer Science, 2010 We refine HO/N game semantics with an additional notion of pointer (mu-pointers) and extend it to first-order classical logic with completeness results.
Olivier Laurent
doaj +6 more sources
Structural Rules in Natural Deduction with Alternatives
Bulletin of the Section of Logic, 2023 Natural deduction with alternatives extends Gentzen–Prawitz-style natural deduction with a single structural addition: negatively signed assumptions, called alternatives.
Greg Restall
doaj +1 more source
Traditional Logic and Computational Thinking
Philosophies, 2021 In this contribution, we try to show that traditional Aristotelian logic can be useful (in a non-trivial way) for computational thinking. To achieve this objective, we argue in favor of two statements: (i) that traditional logic is not classical and (ii)
J.-Martín Castro-Manzano
doaj +1 more source
Humberstone on Ayer’s Emotivism [PDF]
Organon F, 2023 In The Connectives, Lloyd Humberstone offers an interpretation of A. J. Ayer’s emotivism using W. S. Cooper’s semantics for ordinary logic. In this discussion note, I argue that this proposed interpretation fails to stay true to Ayer’s view.
Jeremiah Joven Joaquin
doaj +1 more source
The creation of three logical connectors to reapprove how comprehensive and effective the Neutrosophic logic is compared to the fuzzy logic and the classical logic [PDF]
Neutrosophic Sets and Systems, 2018 The main objective of this research is a simple attempt to suggest three new logical connectors and establish an equation a chart of truth for each of them.
Salah Bouzina, Djamel Hamoud
doaj +1 more source
Philosophical Foundations of Hajhosseini's Logics [PDF]
حکمت معاصر, 2023 Recently, Morteza Hajhosseini (2023) published his second edition of the book (2017) Two Non-Classical Logic Systems, A new Outlook on Elements of Logic, where he developed various non-standard logical systems based on specific philosophical foundations.
Asadollah Fallahi
doaj +1 more source
Logic as a Puzzle-Solving Activity
Análisis Filosófico, 2021 Some authors have recently argued in favor of anti-exceptionalism about logic. The general idea is that logic is not different from the other sciences, and its principles are as revisable as scientific principles. This paper has three sections.
Diego Tajer
doaj +1 more source
Nicolai Vasiliev’s Imaginary Logic and Semantic Foundations for the Logic of Assent
Philosophia Scientiæ, 2014 The Russian philosopher Nicolai Vasiliev is known as a forerunner of substantially non-classical logics, i.e., logics that differ from classical logic by dropping principles that are sound in classical logic.
Werner Stelzner
doaj +1 more source
Fuzzy Logic and Practical Mentally_ posited (i’tibari) Sciences in Moral Propositions [PDF]
حکمت صدرایی, 2022 The nature of moral propositions from the point of view of Allameh Tabatabai and the validity of the "goodness and badness" that underlie them suggest that one cannot evaluate and deduce moral propositions by using either classical logic or even ...
Sima Torabi Dashtbayaz +2 more
doaj +1 more source