Results 251 to 260 of about 857,290 (286)
Some of the next articles are maybe not open access.
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
exaly +3 more sources
Logical Consequence and the Paradoxes
Journal of Philosophical Logic, 2013zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Mares E., PAOLI, FRANCESCO
openaire +2 more sources
2022
To understand logic is, first and foremost, to understand logical consequence. This Element provides an in-depth, accessible, up-to-date account of and philosophical insight into the semantic, model-theoretic conception of logical consequence, its Tarskian roots, and its ideas, grounding, and challenges.
Alex Citkin, Alexei Muravitsky
openaire +2 more sources
To understand logic is, first and foremost, to understand logical consequence. This Element provides an in-depth, accessible, up-to-date account of and philosophical insight into the semantic, model-theoretic conception of logical consequence, its Tarskian roots, and its ideas, grounding, and challenges.
Alex Citkin, Alexei Muravitsky
openaire +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
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
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
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