Sentido, referência e computação
DOI:
https://doi.org/10.51359/2357-9986.2020.248896Palavras-chave:
sentido, referência, computação, teoria dos tiposResumo
Neste artigo, eu revisito a teoria do sentido e referência de Frege no cenário construtivo das explicações de significado da teoria dos tipos, estendendo e aprimorando a análise em termos de programa-valor da teoria de sentido e referência proposta por Martin-Löf, baseada em trabalhos anteriores de Dummett. Eu proponho um critério de identidade computacional para sentidos e defendo que ele valida o que considero a interpretação mais plausível do princípio de equipolência de Frege, tanto para sentenças quanto para termos singulares. Antes de fazer isso, examino a implementação de Frege de sua teoria dos sentidos e referência no quadro lógico de Grundgesetze, sua doutrina dos valores da verdade, e sua interpretação de igualdade de sentido como equipolência de afirmações.
Referências
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
Publicado
Edição
Seção
Licença
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:
-
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.
-
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).
As obras publicadas pela Revista Perspectiva Filosófica estão licenciadas com Creative Commons Atribuição 4.0 Internacional.
