THE SENSE/REFERENCE DISTINCTION IN CONSTRUCTIVE SEMANTICS

DOI10.1017/BSL.2021.61MaRDI QIDQ5037523zbMATH OpenOpenAlexFDO

Authors Per Martin-Löf

Publication date 1 March 2022

Published in The Bulletin of Symbolic Logic (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1017/bsl.2021.61

zbMATH Keywords

computationidentityconstructive type theorysense and reference

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Recommendations

• SENSE AND REFERENCE FROM A CONSTRUCTIVIST STANDPOINT
• scientific article; zbMATH DE number 2149449
• Referential semantics: duality and applications
• On constructive semantics of natural language
• Publication:5752570
• Semantics of constructions. I: The traditional approach
• Constructive Semantics: On the Necessity of an Appropriate Concept of Schematization
• Proof-theoretic semantics, paradoxes and the distinction between sense and denotation
• scientific article; zbMATH DE number 3231879

Cites work

• scientific article; zbMATH DE number 3880646 (Why is no real title available?)
• scientific article; zbMATH DE number 510787 (Why is no real title available?)
• SENSE AND REFERENCE FROM A CONSTRUCTIVIST STANDPOINT

Cited in

(5)

• scientific article; zbMATH DE number 3230266 (Why is no real title available?)
• Spiritus asper versus lambda: on the nature of functional abstraction
• Constructive Semantics: On the Necessity of an Appropriate Concept of Schematization
• Meaning and computing: two approaches to computable propositions
• Structured meanings and reflexive domains

This page was built for publication: THE SENSE/REFERENCE DISTINCTION IN CONSTRUCTIVE SEMANTICS

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