Sense, reference and computation

Authors

DOI:

https://doi.org/10.51359/2357-9986.2020.248896

Keywords:

sense, reference, computation, type theory

Abstract

In this paper, I revisit Frege’s theory of sense and reference in the constructi-ve setting of the meaning explanations of type theory, extending and sharpe-ning a program–value analysis of sense and reference proposed by Martin-Löf building on previous work of Dummett. I propose a computational iden-tity criterion for senses and argue that it validates what I see as the most plausible interpretation of Frege’s equipollence principle for both sentences and singular terms. Before doing so, I examine Frege’s implementation of his theory of sense and reference in the logical framework of Grundgesetze, his doctrine of truth values, and views on sameness of sense as equipollence of assertions.

Author Biography

Bruno Bentzen, Carnegie Mellon University

Postdoctoral Fellow at Carnegie Mellon University - CMU

References

BENTZEN, B.Constructive mathematics and equality. Tese (Doutorado emLógica)–Sun Yat-sen University, Institute of Logic and Cognition,Guangzhou, 2018.

BENTZEN, B. “Frege on Referentiality and Julius Caesar in Grundgesetze§10”. Notre Dame Journal of Formal Logic, v.60, n.4, pp.617-637, 2019. Disponível em: https://projecteuclid.org/euclid.ndjfl/1569830414.

BENTZEN, B. “What types should not be”. Philosophia Mathematica, v.28,n.1, pp.60-76, 2020a. Disponível em: https://doi.org/10.1093/philmat/nkz014.

BENTZEN, B. “Frege’s theory of types”. Preprint, 2020b. Disponível em:http://philsci-archive.pitt.edu/17367/.

BENTZEN, B. “On different ways of being equal”, Erkenntnis. Advance online publication, 2020c. Disponível em: https://doi.org/10.1007/s10670-020-00275-8.

BISHOP, E. Foundations of Constructive Analysis. Academic Press, NewYork, 1967.

DUARTE, A. B. Lógica e Aritmética na Filosofia da Matemática de Frege.Tese (Doutorado em Filosofia) – PUC-Rio, Departamento de Filosofia, Rio deJaneiro, 2009.

DUMMETT, M. “Frege’s distinction between sense and reference”. In: Truthand Other Enigmas, pp.116-144. Harvard Univ. Press, Cambridge, 1978.

DYBJER, P. “Program testing and the meaning explanations of intuitionistictype theory”. In: Epistemology versus Ontology, pp.215-241. Springer, 2012.

FREGE, G. “Funktion und Begriff”. Hermann Pohle, Jena, 1891. Traduzidoem Geach e Black (1980, pp.21-41).

FREGE, G. “Über Sinn und Bedeutung”. Zeitschrift für Philosophie und philo-sophische Kritik, 100, pp.25-50, 1892.Traduzido em GEACH & BLACK(1980, pp.56-78).

FREGE, G. “A brief survey of my logical doctrines”. H. Hermes, F. Kambar-tel, and Friedrich Kaulbach (eds and trans.). In:Frege: Posthumous Writings.Oxford: Basil Blackwell, 1979, pp.197-202, 1906.

FREGE, G. “Letter to Husserl (1906)”. In Gottfried Gabriel, Brian McGuin-ness, and Hans Kaal (eds), Philosophical and mathematical correspondence.University of Chicago Press,1982. Traduzido por H. Kaal.

GEACH, P. & BLACK, M.Translations from the Philosophical Writings ofGottlob Frege. Blackwell, Oxford,3 ed., 1980.

HEYTING, A.Mathematische Grundlagenforschung, Intuitionismus,Beweistheorie. Springer, Berlin, 1934.

HOWARD, W.A. “The formulae-as-types notion of construction”. In J. P.Seldin and J. R. Hindley, editores, In: Curry: Essays on Combinatory Logic,Lambda Calculus and Formalism, pp.479-490. Academic Press, London,1980.

KLEMENT, K. C. “Grundgesetze and the sense/reference distinction”. In P.A. Ebert and M. Rossberg, editores, In: Essays on Frege’s Grundgesetze. Ox-ford University Press, 2016. Disponível em: https://doi.org/10.1093/oso/9780198712084.003.0006.

LADYMAN, J. & PRESNELL, S. “Does Homotopy Type Theory Provide aFoundation for Mathematics”. The British Journal for the Philosophy of Scien-ce, 69(2), pp.377-420, 2016. Disponível em: https://doi.org/10.1093/bjps/axw006.

MARTIN-LÖF, P. “Constructive mathematics and computer programming”.In: Logic, methodology and philosophy of science, VI (Hannover, 1979), volu-me 104 of Stud. Logic Found. Math., pp.153-175. North-Holland, Amster-dam,1982. Disponível em: https://doi.org/10.1016/S0049-237X(09)70189-2.

MARTIN-LÖF, P. “On the meanings of the logical constants and the justifi-cations of the logical laws”. In: Atti degli incontri di logica matematica. Scuoladi Specializzazione in Logica Matematica, v. 2, pp.203–281. Universitá di Sie-na,1985. Reimpresso em Nordic Journal of Philosophical Logic, v.1, n.1,pp.11-60.

MARTIN-LÖF, P. “The sense/reference distinction in constructive seman-tics”. Artigo lido em Leiden (Transcrito por B. Jespersen), 2001.

MOSCHOVAKIS, Y. “Sense and denotation as algorithm and value”. In J.Väänänen and J. Oikkonen, editors, Logic Colloquium ’90: Proceedings of thelogic colloquium, Bristol, vol. 2 of Lecture Notes in Logic, pp. 210-249.Springer-Verlag, Berlin, 1994. Disponível em: https://projecteuclid.org/eu-clid.lnl/1235423715.

RUFFINO, M. “Wahrheitswerte als Gegenstände und die Unterscheidungzwischen Sinn und Bedeutung”. Kritisches Jahrbuch der Philosophie, v.2,pp.69–118, 1997.

SIMONS, P. “Why is there so little sense in Grundgesetze?” Mind, v.101,n.404, pp.753-766, 1992. Disponível em: https://doi.org/10.1093/mind/101.404.753.

STREICHER, T. Investigations into intensional type theory. Habilitiation The-sis, Ludwig Maximilian Universität, 1993. Disponível em: http://www.mathe-matik.tu-darmstadt.de/~streicher/HabilStreicher.pdf.

SUNDHOLM, G. “Proof-Theoretical Semantics and Fregean Identity Criteriafor Propositions”. The Monist, v.77, n.3, pp.294-314, 1994. Disponível em:https://doi.org/10.5840/monist199477315.

UFP (The Univalent Foundations Program). Homotopy type theory: Univalentfoundations of mathematics, 2013. Disponível em: https://homotopytypethe-ory.org/book/.

Downloads

Published

2020-11-27

Issue

Vol. 47 No. 2 (2020): Filosofia da Lógica

Section

Número Especial sobre Filosofia da Lógica

License

A Revista Perspectiva Filosófica orienta seus procedimentos de gestão de artigos conforme as diretrizes básicas formuladas pelo Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq). http://memoria2.cnpq.br/web/guest/diretrizes/

Autores que publicam nesta revista concordam com os seguintes termos:

  1. Os autores mantém os direitos autorais e concedem à revista o direito de primeira publicação, sendo o trabalho simultaneamente licenciado sob Creative Commons Atribuição 4.0 Internacional que permite o compartilhamento do trabalho com reconhecimento da autoria e publicação inicial nesta revista.

  2. Os autores têm autorização para assumir contratos adicionais separadamente, para distribuição não-exclusiva da versão do trabalho publicada nesta revista, com reconhecimento de autoria e publicação inicial nesta revista (Consultar http://opcit.eprints.org/oacitation-biblio.html).

Licença Creative Commons
As obras publicadas pela Revista Perspectiva Filosófica estão licenciadas com Creative Commons Atribuição 4.0 Internacional.