Results 1 to 10 of about 568,503 (297)
Aristotelian Foundations of Cohen's Logic-Based Therapy [PDF]
حکمت و فلسفه, 2023 IntroductionEliot Cohen is one of the contemporary pioneers of philosophical counseling. He considers philosophical counseling as one of the branches of applied philosophy. His logic-based therapy (LBT) or his logic-based counseling and therapy is also a
Mahdi Behniafar, Faezeh Khoshtinat
doaj +1 more source
Tableaux for some deontic logics with the explicit permission operator
Bulletin of the Section of Logic, 2022 In this paper we present a tableau system for deontic logics with the operator of explicit permission. By means of this system the decidability of the considered logics can be proved.
Daniela Glavaničová +3 more
doaj +1 more source
Logical Foundations for Hybrid Type-Logical Grammars [PDF]
Journal of Logic, Language and Information, 2022 This paper explores proof-theoretic aspects of hybrid type-logical grammars , a logic combining Lambek grammars with lambda grammars. We prove some basic properties of the calculus, such as normalisation and the subformula property and also present both a sequent and a proof net calculus for hybrid type-logical grammars.
Richard Moot, Symon Jory Stevens-Guille
openaire +2 more sources
Transcultural Philosophy and Its Foundations in Implicate Logic
Asian Studies, 2022 This article provides a transcultural, “transversal” investigation. It starts from the philosophical problem of knowing non-knowing. In chapters 1 and 2, the first expressions of this problem by Confucius and Socrates are considered.
David Bartosch
doaj +1 more source
"Foundations of Logic and Methodology" [PDF]
حکمت و فلسفه, 2005 کتاب «مبانی منطق و روش شناسی» را بهعنوان مقدمهای لازم و عام برای همه رشتهها و مقدمهای خاص برای فراگیری منطق جدید (بهویژه کتابهای پیش گفته) بشمار میآورند.
gholamreza zakyani
doaj +1 more source
Chinese Research on Mathematical Logic and the Foundations of Mathematics
Asian Studies, 2022 This paper outlines the Chinese research on mathematical logic and the foundations of mathematics. Firstly, it presents the introduction and spread of mathematical logic in China, especially the teaching and translation of mathematical logic initiated ...
Hongguang Wang, Guoping Du
doaj +1 more source
Quantitative Characterization of Reconfigurable Transistor Logic Gates
IEEE Access, 2020 We present a new approach for early analysis of logic gates that is based on formal methods. As device technology research takes years and is very expensive, it is desirable to evaluate a technology's potential as early as possible, which is hard to do ...
Michael Raitza +6 more
doaj +1 more source
Über die Rolle der Ideen Kants in der Entwicklung der Logik und der universitären Philosophie in Russland [PDF]
Кантовский сборник, 2010 This article analyses the impact of Kant's ideas on the development of logic and University philosophy in Russia. The integrity of philosophy, psychology (pedagogy), and logic until the early 20th century implied that Kant's ideas influenced logic via ...
Baschanow W. A.
doaj +1 more source
Analyzing and Critic of Ibn Sina’s Explanation on Triple Division of Theoretical Wisdom [PDF]
Journal of Philosophical Investigations, 2021 Ibn Sina, as a Muslim Philosopher, has given a famous triple division of knowledge and wisdom that is relying on Aristotelian philosophical tradition. Ibn Sina tries to rationalize his triple division of knowledge and wisdom based on many properties of ...
Qodrotallah Qorbani +2 more
doaj +1 more source
Coinductive Foundations of Infinitary Rewriting and Infinitary Equational Logic [PDF]
Logical Methods in Computer Science, 2018 We present a coinductive framework for defining and reasoning about the infinitary analogues of equational logic and term rewriting in a uniform, coinductive way.
Jörg Endrullis +4 more
doaj +1 more source