Results 261 to 270 of about 857,290 (286)
Some of the next articles are maybe not open access.
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
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 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
Tarski on Models and Logical Consequence
2006Abstract In the last two decades there has been a heated debate on the exact nature of Tarski’s theory of logical consequence (Tarski 1936a, 1936b). Since the publication of Etchemendy’s papers and book in the 1980s, contributions by, among others, Sher, Ray, Gomez-Torrente, and Bays have provided a much more detailed picture of Tarski’s
openaire +2 more sources
Knowledge, Belief, and Logical Consequence
1975One of the most lively debated questions in the logical analysis of the notions of knowledge and belief today might be called the problem of conservation laws for these notions.1 The term is apt because one of the more or less equivalent formulations of the problem is to ask whether knowledge and belief (in some suitably strong and possibly idealized ...
openaire +1 more source
Logical Consequence and Rationality
2011What is mathematical formulation of logical consequence answerable to? The prevalent stance among contemporary logicians is that mathematically formulated notion of logical consequence aims to capture the corresponding pre-theoretic notion. However, the notion of pre-theoretic logical consequence is far from being sufficiently clearly formulated in the
openaire +1 more source