The semantic conception of logic : essays on consequence, invariance, and meaning /
Sagi, Gil,editor.
Woods, Jack,1979-editor.
"The semantic tradition makes languages and their interpretations the objects of formal study. It has flourished through the development of model theory, initially used by Tarski for the formal explication of the notions of truth and logical consequence. Since the midst of the twentieth century, model theory has had tremendous impact in mathematics, computer science, linguistics and philosophy. In mathematics, model theory started as a foundational discipline and was typically concerned with the study of consistency, compactness and completeness. Since then, it has turned its focus to the systematic organization of mathematical theories through applications in various fields from number theory to algebraic geometry"--
Includes bibliographical references (pages 277-291) and index.
Introduction: The semantic conception of logic : problems and prospects / Gil Sagi and Jack Woods -- Invariance and logicality in perspective / Gila Sher -- The problem of logical constants and the semantic tradition : from invariantist views to a pragmatic account / Mario Gómez-Torrente -- The ways of logicality : invariance and categoricity / Denis Bonnay and Sebastian G.W. Speitel -- Invariance without extensionality / Beau Madison Mount -- There might be a paradox of logical validity after all / Roy T Cook -- Semantic perspectives in logic / Johan van Benthem -- Overgeneration in the higher infinite / Luca Incurvati and Salvatore Florio -- Propositional logics of logical truth / A.C. Paseau and Owen Griffiths -- Reinterpreting logic / Alexandra Zinke -- Models, model theory, and modeling / Michael Glanzberg -- On being trivial : grammar vs. logic / Gennaro Chierchia -- Grammaticality and meaning shift / Márta Abrusán, Nicholas Asher and Tim Van de Cruys.
"The semantic tradition makes languages and their interpretations the objects of formal study. It has flourished through the development of model theory, initially used by Tarski for the formal explication of the notions of truth and logical consequence. Since the midst of the twentieth century, model theory has had tremendous impact in mathematics, computer science, linguistics and philosophy. In mathematics, model theory started as a foundational discipline and was typically concerned with the study of consistency, compactness and completeness. Since then, it has turned its focus to the systematic organization of mathematical theories through applications in various fields from number theory to algebraic geometry"--
Model theory.
Semantics (Philosophy)
Invariants.
Computational linguistics.
Logic, Symbolic and mathematical.
Model theory.
Logic, Symbolic and mathematical.
Invariants.
Computational linguistics.
Semantics (Philosophy)