Results 261 to 270 of about 1,020,940 (299)
Some of the next articles are maybe not open access.
Embedding Logics into Product Logic
Studia Logica, 1998zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Matthias Baaz +3 more
openaire +1 more source
Intuitionistic Logic As Epistemic Logic
Synthese, 2001Is intuitionism a variant of constructivism? If intuitionism is not constructivism, what is it? What do the intuitions of the genuine intuitionists add up to? Are their intentions reflected faithfully in Heyting's intuitionistic logic? What is the epistemic logic like, in which the distinction can be made and in which the correctly understood claims of
openaire +1 more source
Adaptive Logic as a Modal Logic
Studia Logica, 2012Modal logic has received a tremendous push in the recent decades. However, its connection to non-classical logics (broadly conceived) still remains under-studied. Allo's paper studies a long-due gap in the field of adaptive logics, which is a subject mainly developed by Batens' research group.
openaire +4 more sources
2021
In this paper we discuss the difference between logic as reasoning and logic as a theory about reasoning. In the light of this distinction we examine central questions about history, philosophy and the very nature of logic. We study in which sense we can consider Aristotle as the first logician, Descartes‘s rejection of syllogistic as logical, Boole ...
openaire +1 more source
In this paper we discuss the difference between logic as reasoning and logic as a theory about reasoning. In the light of this distinction we examine central questions about history, philosophy and the very nature of logic. We study in which sense we can consider Aristotle as the first logician, Descartes‘s rejection of syllogistic as logical, Boole ...
openaire +1 more source
Logic Programming and Default Logic
International Journal on Artificial Intelligence Tools, 1994We present several ideas of increasing complexity how to translate default theories to normal logic programs that make direct use of the deductive capacity of logic programming. We show the limitations of simple, ad hoc approaches, and arrive at a more general construction; its main property is that the answer substitutions computed by the logic ...
openaire +2 more sources
Abstract Logics, Logic Maps, and Logic Homomorphisms
Logica Universalis, 2007What is a logic? Which properties are preserved by maps between logics? What is the right notion for equivalence of logics? In order to give satisfactory answers we generalize and further develop the topological approach of [4] and present the foundations of a general theory of abstract logics which is based on the abstract concept of a theory.
openaire +2 more sources
Logical relations for a logical framework
ACM Transactions on Computational Logic, 2013Logical relations are a central concept used to study various higher-order type theories and occur frequently in the proofs of a wide variety of meta-theorems. Besides extending the logical relation principle to more general languages, an important research question has been how to represent and thus verify logical relation arguments in logical ...
Florian Rabe 0001, Kristina Sojakova
openaire +1 more source
Universal Logic and Aristotelian Logic: Formality and Essence of Logic
Logica Universalis, 2015zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources
Transcendental Logic and the Logic of Thought
2021In Chap. 7, I reflect on the idea, hinted at by Kant in a footnote to §16 of the B-Deduction that is not often discussed (B134n.), that transcendental logic is the ground of logic as a whole. This has important repercussions for the way we should see the role of transcendental logic with respect to the question of truth as well as the nature and scope ...
openaire +1 more source
1978
…since one never knows what will be the line of advance, it is always most rash to condemn what is not quite in the fashion of the moment. Russell 1906, cited in Rescher 1974 ‘Classical’ and ‘non-classical’ logics There are a great many formal logical systems. In fact, ever since the ‘classical’ logical apparatus was formulated, there have been
openaire +1 more source
…since one never knows what will be the line of advance, it is always most rash to condemn what is not quite in the fashion of the moment. Russell 1906, cited in Rescher 1974 ‘Classical’ and ‘non-classical’ logics There are a great many formal logical systems. In fact, ever since the ‘classical’ logical apparatus was formulated, there have been
openaire +1 more source