The semantic view of theories and higher-order languages

DOI10.1007/s11229-017-1502-0zbMath1474.03025OpenAlexW2766028703WikidataQ59607728 ScholiaQ59607728MaRDI QIDQ2052159

Laurenz Hudetz

Publication date: 25 November 2021

Published in: Synthese (Search for Journal in Brave)

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

zbMATH Keywords

higher-order logicBourbakisemantic 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)

Related Items (1)

Why Not Categorical Equivalence?

Cites Work

• What's right with a syntactic approach to theories and models?
• Quasi finitely axiomatizable totally categorical theories
• An architectonic for science. The structuralist program
• From geometry to conceptual relativity
• Institution-independent model theory
• Undecidable theories
• Reinflating the semantic approach
• Model Theory for the Higher Order Predicate Calculus
• BEOBACHTUNGSSPRACHE UND THEORETISCHE SPRACHE
• Institutions: abstract model theory for specification and programming
• MORITA EQUIVALENCE
• Completeness in the theory of types
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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