The semantic view of theories and higher-order languages

DOI10.1007/S11229-017-1502-0MaRDI QIDQ2052159zbMATH OpenOpenAlexWikidataFDO

Authors Laurenz Hudetz

Publication date 25 November 2021

Published in Synthese (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/s11229-017-1502-0

zbMATH Keywords

Bourbakihigher-order logicsemantic view of theoriesequivalence of theoriesset-theoretic structuresstructure of scientific theoriessyntactic view of theories

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Higher-order logic (03B16)

Recommendations

• Models and theories I: The semantic view revisited
• Logical reflections on the semantic approach
• What's right with a syntactic approach to theories and models?
• scientific article; zbMATH DE number 6174937
• Scientific representation and the semantic view of theories

Cites work

• scientific article; zbMATH DE number 3959364 (Why is no real title available?)
• scientific article; zbMATH DE number 3463614 (Why is no real title available?)
• scientific article; zbMATH DE number 2117177 (Why is no real title available?)
• scientific article; zbMATH DE number 3280051 (Why is no real title available?)
• scientific article; zbMATH DE number 3026773 (Why is no real title available?)
• An architectonic for science. The structuralist program
• BEOBACHTUNGSSPRACHE UND THEORETISCHE SPRACHE
• Completeness in the theory of types
• From geometry to conceptual relativity
• Institution-independent model theory
• Institutions: abstract model theory for specification and programming
• Model Theory for the Higher Order Predicate Calculus
• Morita equivalence
• Quasi finitely axiomatizable totally categorical theories
• Reinflating the semantic approach
• Undecidable theories
• What's right with a syntactic approach to theories and models?

Cited in

(6)

• Models of HoTT and the Constructive View of Theories
• Embeddability, syntax, and semantics in accounts of scientific theories
• What's right with a syntactic approach to theories and models?
• Defending the semantic view: what Itô takes
• Why not categorical equivalence?
• Models and theories I: The semantic view revisited

This page was built for publication: The semantic view of theories and higher-order languages

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2052159)