The semantic conception of logic

• Titel: The semantic conception of logic
• Titelzusatz: essays on consequence, invariance, and meaning
• Mitwirkende: Sagi, Gil [HerausgeberIn]
• Mitwirkende: Woods, Jack [HerausgeberIn]
• Verf.angabe: edited by Gil Sagi (University of Haifa, Israel), Jack Woods (University of Leeds)
• Ausgabe: First paperback edition
• Verlagsort: Cambridge ; New York, NY
• Verlag: Cambridge University Press
• Jahr: 2023
• Umfang: x, 294 Seiten
• Illustrationen: Diagramme
• Fussnoten: Includes bibliographical references and index
• ISBN: 978-1-108-43554-3
• DOI: doi:10.1017/9781108524919
• Schlagwörter: (s)Logik / (s)Computerlinguistik / (s)Formale Semantik / (s)Invariante / (s)Modelltheorie / (s)Sprachdaten
• Dokumenttyp: Aufsatzsammlung
• Sprache: eng
• Sach-SW: MATHEMATICS / Logic
• K10plus-PPN: 1880032945

Abstract

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 Gó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 Cook -- Semantic perspectives in logic / Johan van Benthem -- Overgeneration in the higher infinite / Luca Incurvarti 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 / Márta Abrusán, Nicholas Asher and Tim Van de Cruys.

Abstract

"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"--