Results 121 to 130 of about 67,438 (158)
Some of the next articles are maybe not open access.
REREADING TARSKI ON LOGICAL CONSEQUENCE
The Review of Symbolic Logic, 2009I argue that recent defenses of the view that in 1936 Tarski required all interpretations of a language to share one same domain of quantification are based on misinterpretations of Tarski’s texts. In particular, I rebut some criticisms of my earlier attack on the fixed-domain exegesis and I offer a more detailed report of the textual evidence on the ...
openaire +1 more source
Logical Consequence in Avicenna’s Theory
Logica Universalis, 2018An in-depth look at Avicenna's notion of logical consequence, mostly in the context of syllogism (Avicenna's syllogism, however, ``is much wider than the Aristotelian kind of syllogisms, because it can be both categorical and hypothetical, and can contain all kinds of propositions, from conditional and conjunctive ones to several kinds of disjunctive ...
openaire +2 more sources
Consequence and Interpolation in Łukasiewicz Logic
Studia Logica, 2011The classical deduction theorem does not hold in Łukasiewicz propositional calculus, but a weaker version holds: a formula \(\psi\) is derivable from \(\varphi\) if and only if there is an integer \(m\) such that the formula \(\varphi^m \to \psi\) is a theorem.
openaire +2 more sources
Logical Pluralism and Logical Consequence
2023Logical pluralism is the view that there is more than one correct logic. This is not necessarily a controversial claim but in its most exciting formulations, pluralism extends to logics that have typically been considered rival accounts of logical consequence – to logics, that is, which adopt seemingly contradictory views about basic logical laws or ...
openaire +1 more source
Hypersequents, logical consequence and intermediate logics for concurrency
Annals of Mathematics and Artificial Intelligence, 1991zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
The Consequents Of Organizer Ecologies: A Logical Formalization
Academy of Management Review, 2009We apply insights from the burgeoning literature on pre-entry ecologies to make sense of empirical anomalies in tests of density delay theory. Using logical formalization, we synthesize arguments of both theory fragments into a single, logically sound framework.
Kuilman, Jeroen G. +2 more
openaire +3 more sources
The logical consequence relation of propositional tense logic
Mathematical Logic Quarterly, 1975AbstractThis work concerns the model theory of propositional tense logic with the Kripke relational semantics. It is shown (i) that there is a formula y whose logical consequences form a complete II set, and (ii) that for 0 ≦ m < ω+ ω there are formulas γm such that all models of γm are isomorphic and have cardinality xm, where x0 = χ0, xm+1 = 2xm ...
openaire +2 more sources
Tarski on truth and logical consequence
The Journal of Symbolic Logic, 1988Tarski's writings on the concepts of truth and logical consequence rank among the most influential works in both logic and philosophy of the twentieth century. Because of this, it would be impossible to give a careful and accurate account of how far that influence reaches and of the complex route by which it spread.
openaire +1 more source
2005
AbstractThis chapter explores the concept of logical consequence and defends logical pluralism. Logic, in the core tradition, involves the study of formal languages. However, the primary aim is to consider such languages as interpreted: languages which may be used either directly to make assertions and denials, or to analyse natural languages.
openaire +1 more source
AbstractThis chapter explores the concept of logical consequence and defends logical pluralism. Logic, in the core tradition, involves the study of formal languages. However, the primary aim is to consider such languages as interpreted: languages which may be used either directly to make assertions and denials, or to analyse natural languages.
openaire +1 more source
On the Semantic Concept of Logical Consequence
2020In this paper, we give a groundwork for the foundations of the semantic concept of logical consequence. We first give an opinionated survey of recent discussions on the model-theoretic concept, in particular Etchemendy’s criticisms and responses, alluding to Kreisel’s squeezing argument.
openaire +1 more source