scientific article
From MaRDI portal
Publication:4001483
zbMath0743.03002MaRDI QIDQ4001483
Publication date: 18 September 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Philosophical and critical aspects of logic and foundations (03A05) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02)
Related Items (64)
Formal and material consequence ⋮ ISOMORPHISM INVARIANCE AND OVERGENERATION ⋮ Essence and necessity ⋮ The foundational problem of logic ⋮ Tarski's staggering existential assumptions ⋮ Field on the notion of consistency ⋮ Tarski's conception of logic ⋮ Shallow analysis and the slingshot argument ⋮ Reassessing logical hylomorphism and the demarcation of logical constants ⋮ Tarski on logical consequences ⋮ Towards completeness: Husserl on theories of manifolds 1890--1901 ⋮ Frege, hilbert, and the conceptual structure of model theory ⋮ Russell and his sources for non-classical logics ⋮ On tarski on models ⋮ Substitutional validity for modal logic ⋮ Boolos and the Metamathematics of Quine's Definitions of Logical Truth and Consequence ⋮ Dutch Books, Coherence, and Logical Consistency ⋮ On ground and consequence ⋮ Declarations of independence ⋮ Framing event variables ⋮ What Is Reasoning? ⋮ The Absence of Multiple Universes of Discourse in the 1936 Tarski Consequence-Definition Paper ⋮ Ray on Tarski on logical consequence ⋮ Logical Consequence Revisited ⋮ Did Tarski commit “Tarski's fallacy”? ⋮ Models and logical consequence ⋮ Exhibiting interpretational and representational validity ⋮ Quantifiers Are Logical Constants, but Only Ambiguously ⋮ Chalmers, Quantifier Variance and Mathematicians’ Freedom ⋮ LOGICAL CONTEXTUALITY IN FREGE ⋮ LOGICALITY AND MEANING ⋮ The Absence of Multiple Universes of Discourse in the 1936 Tarski Consequence-Definition Paper ⋮ On exhibiting representational validity ⋮ Assertion, denial, content, and (logical) form ⋮ 2002–2003 Winter Meeting of the Association for Symbolic Logic ⋮ DYNAMIC CONSEQUENCE AND PUBLIC ANNOUNCEMENT ⋮ On a fallacy attributed to tarski ⋮ A note on formality and logical consequence ⋮ Toward a theory of second-order consequence ⋮ HARMONIC INFERENTIALISM AND THE LOGIC OF IDENTITY ⋮ Modalities in Sociological Arguments ⋮ Etchemendy and Bolzano on Logical Consequence ⋮ Reduction and Tarski's definition of logical consequence ⋮ Truth as translation. Part A ⋮ The anatytic conception of truth and the foundations of arithmetic ⋮ Methodological Practice and Complementary Concepts of Logical Consequence: Tarski's Model-Theoretic Consequence and Corcoran's Information-Theoretic Consequence ⋮ Quine’s Substitutional Definition of Logical Truth and the Philosophical Significance of the Löwenheim-Hilbert-Bernays Theorem ⋮ Explaining Deductive Inference ⋮ Necessity of Thought ⋮ Reinflating logical consequence ⋮ On the Concept of Following Logically ⋮ Ontology-free modal semantics ⋮ What is Tarski's Common Concept of Consequence? ⋮ What is Neologicism? ⋮ REREADING TARSKI ON LOGICAL CONSEQUENCE ⋮ XIV Latin American Symposium on Mathematical Logic (SLALM) ⋮ Problems for Logical Pluralism ⋮ Completeness: from Gödel to Henkin ⋮ Formal notes on the substitutional analysis of logical consequence ⋮ On Lakatos's decomposition of the notion of proof ⋮ The truths of logic ⋮ On A neglected path to intuitionism ⋮ Frege, the identity ofSinnand Carnap's intension ⋮ The genesis of possible worlds semantics
This page was built for publication:
