Abstract
Editorial NoteThis lecture was given by Per Martin-Löf at Leiden University on August 25, 2001 at the invitation by Göran Sundholm to address the topic mentioned in the title and to reflect on Dummett’s earlier effort of almost a decade before (published in this journal). The lecture was part of a three-day conference on Gottlob Frege. Sundholm arranged for the lecture to be recorded and commissioned Bjørn Jespersen to make a transcript. The information in footnote 1, which Sundholm provided, has been independently confirmed by Thomas Ricketts in an email to the author. The present version has been edited by Ansten Klev. Following the displayed text (Int-id) there is a lacuna in the original transcript corresponding to a pause in the recording when the tape was changed. The continuous text of the present version is the result of a few additions to the original transcript suggested by Klev and agreed to by the author.
Publisher
Cambridge University Press (CUP)
Reference10 articles.
1. [4] Dummett, M. , Sense and reference from a constructivist standpoint, this Journal, vol. 27 (2022), no. 4, pp. 485–500.
2. Über Sinn und Bedeutung;Frege;Zeitschrift für Philosophie und philosophische Kritik,1892
3. Quantification, sentences, and truth-values;Ricketts;Manuscrito,2003
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Aspects of a logical theory of assertion and inference;Theoria;2024-07-29
2. Abstraction, equality and univalence;Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences;2023-07-31
3. ANALYTICITY AND SYNTHETICITY IN TYPE THEORY REVISITED;The Review of Symbolic Logic;2023-06-27
4. Spiritus Asper versus Lambda: On the Nature of Functional Abstraction;Notre Dame Journal of Formal Logic;2023-05-01
5. Identity in Martin‐Löf type theory;Philosophy Compass;2021-12-28