Results 211 to 220 of about 68,199 (256)
Some of the next articles are maybe not open access.
2022
AbstractThis chapter explains the central concept of this book — the concept of consequence relation, as well as its counterpart, that of consequence operator. We prove the main properties of these concepts. In addition, we show several ways in which consequence relations can be defined and modified.
Alex Citkin, Alexei Muravitsky
openaire +2 more sources
AbstractThis chapter explains the central concept of this book — the concept of consequence relation, as well as its counterpart, that of consequence operator. We prove the main properties of these concepts. In addition, we show several ways in which consequence relations can be defined and modified.
Alex Citkin, Alexei Muravitsky
openaire +2 more sources
Ray on Tarski on Logical Consequence
Journal of Philosophical Logic, 1999zbMATH Open Web Interface contents unavailable due to conflicting licenses.
exaly +2 more sources
Bulletin of Symbolic Logic, 1997
Tarski's 1936 paper, “On the concept of logical consequence”, is a rather philosophical, non-technical paper that leaves room for conflicting interpretations. My purpose is to review some important issues that explicitly or implicitly constitute its themes.
openaire +2 more sources
Tarski's 1936 paper, “On the concept of logical consequence”, is a rather philosophical, non-technical paper that leaves room for conflicting interpretations. My purpose is to review some important issues that explicitly or implicitly constitute its themes.
openaire +2 more sources
Logicism and Logical Consequence
2020AbstractAccording to Crispin Wright’s neo-logicist reconstruction of Frege’s philosophy of arithmetic, the truths of arithmetic are logical consequences, in the semantic sense, of second-order logic, augmented with an analytic axiom (Hume’s Principle). Neo-logicism thus views arithmetic truths as analytic, being the logical consequences of an analytic ...
openaire +1 more source
Paraconsistent Logical Consequence
Journal of Applied Non-Classical Logics, 1998ABSTRACT The concept of paraconsistent logical consequence is usually negatively defined as a validity semantics in which not every sentences is deducible or in which inferential explosion does not occur. Paraconsistency has been negatively characterized in this way because paraconsistent logics have been designed specifically to avoid the ...
openaire +1 more source
A Note on Formality and Logical Consequence
Journal of Philosophical Logic, 2000zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
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
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 consequence: A defense of Tarski
Journal of Philosophical Logic, 1996This paper is a technically, and textually, well argued defense of Tarski against John Etchemendy's harsh dismissal of Tarski's pioneering work on logical consequence and model theory. In his: The concept of logical consequence (1990; Zbl 0743.03002), \textit{J. Etchemendy} argued that Tarski gave an inaccurate account of logical consequence, committed
Greg Ray
exaly +3 more sources