Investigações em semânticas construtivas

Detalhes bibliográficos
Autor(a) principal: Oliveira, Hermogenes Hebert Pereira
Data de Publicação: 2014
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Repositório Institucional da UFG
dARK ID: ark:/38995/0013000003jj0
Texto Completo: http://repositorio.bc.ufg.br/tede/handle/tede/3103
Resumo: Proof-theoretic Semantics provides a new approach to the semantics of logical constants. It has compelling philosophical motivations which are rooted deeply in the philosophy of language and the philosophy of mathematics. We investigate this new approach of logical semantics and its perspective on logical validity in the light of its own philosophical aspirations, especially as represented by the work of Dummett (1991). Among our findings, we single out the validity of Peirce’s rule with respect to a justification procedure based on the introduction rules for the propositional logical constants. This is an undesirable outcome since Peirce’s rule is not considered to be constructively acceptable. On the other hand, we also establish the invalidity of the same inference rule with respect to a justification procedure based on the elimination rules for the propositional logical constants. We comment on the implications of this scenario to Dummett’s philosophical programme and to proof-theoretic semantics in general.
id UFG-2_de5fc2da493596dbb6e450d2973db964
oai_identifier_str oai:repositorio.bc.ufg.br:tede/3103
network_acronym_str UFG-2
network_name_str Repositório Institucional da UFG
repository_id_str
spelling Sanz, Wagner de Camposhttp://lattes.cnpq.br/5046432111036307http://lattes.cnpq.br/7965659331229634Oliveira, Hermogenes Hebert Pereira2014-09-19T13:19:45Z2014-02-14OLIVEIRA, Hermogenes Hebert Pereira. Investigações em semânticas construtivas. 2014. 77 f. Dissertação (Mestrado em Filosofia) - Universidade Federal de Goiás, Goiânia, 2014.http://repositorio.bc.ufg.br/tede/handle/tede/3103ark:/38995/0013000003jj0Proof-theoretic Semantics provides a new approach to the semantics of logical constants. It has compelling philosophical motivations which are rooted deeply in the philosophy of language and the philosophy of mathematics. We investigate this new approach of logical semantics and its perspective on logical validity in the light of its own philosophical aspirations, especially as represented by the work of Dummett (1991). Among our findings, we single out the validity of Peirce’s rule with respect to a justification procedure based on the introduction rules for the propositional logical constants. This is an undesirable outcome since Peirce’s rule is not considered to be constructively acceptable. On the other hand, we also establish the invalidity of the same inference rule with respect to a justification procedure based on the elimination rules for the propositional logical constants. We comment on the implications of this scenario to Dummett’s philosophical programme and to proof-theoretic semantics in general.As semânticas construtivas oferecem uma nova abordagem semântica para as constantes lógicas. Essas semânticas gozam de fortes motivações filosóficas advindas da filosofia da linguagem e da filosofia da matemática. Nós investigamos essa nova abordagem semântica da lógica e sua concepção de validade lógica sob a luz de suas próprias aspirações filosóficas, em especial aquelas representadas pelo trabalho de Dummett (1991). Dentre nossos resultados, destacamos a validade da Regra de Peirce em relação ao procedimento justificatório baseado nas regras de introdução para as constantes lógicas proposicionais. Essa é uma situação indesejável, pois a Regra de Peirce não é considerada aceitável de um ponto de vista construtivo. Por outro lado, verificamos que o procedimento justificatório baseado nas regras de eliminação atesta a invalidade dessa mesma regra. Tecemos alguns comentários a respeito das consequências desse cenário para o projeto filosófico de Dummett e para as semânticas construtivas em geral.Submitted by Cássia Santos (cassia.bcufg@gmail.com) on 2014-09-19T13:14:21Z No. of bitstreams: 2 Dissertacao Hermogenes Hebert Pereira Oliveira.pdf: 452221 bytes, checksum: b2469cc663d70c03f4dcf9dbea202fb2 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5)Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2014-09-19T13:19:45Z (GMT) No. of bitstreams: 2 Dissertacao Hermogenes Hebert Pereira Oliveira.pdf: 452221 bytes, checksum: b2469cc663d70c03f4dcf9dbea202fb2 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5)Made available in DSpace on 2014-09-19T13:19:45Z (GMT). No. of bitstreams: 2 Dissertacao Hermogenes Hebert Pereira Oliveira.pdf: 452221 bytes, checksum: b2469cc663d70c03f4dcf9dbea202fb2 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) Previous issue date: 2014-02-14Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPESapplication/pdfhttp://repositorio.bc.ufg.br/tede/retrieve/8067/Dissertacao%20Hermogenes%20Hebert%20Pereira%20Oliveira.pdf.jpgporUniversidade Federal de GoiásPrograma de Pós-graduação em Filosofia (FAFIL)UFGBrasilFaculdade de Filosofia - FAFIL (RG)ARISTOTLE. On interpretation. In: . Aristotle. Cambridge, Massachusetts: Harvard University Press, 1938. (Loeb Classical Library, 1), cap. 2. Translated by Harold P. Cooke. BROUWER, L. E. J. De onbetrouwbaarheid der logische principes. Tijdschrift voor Wijsbegeerte, v. 2, p. 152–158, 1908. Translated in Brouwer (1975). BROUWER, L. E. J. Collected Works: Philosophy and foundations of mathematics. Amsterdam: North Holland, 1975. CARNAP, R. The Logical Syntax of Language. London: Routledge and Kegan Paul, 1964. DEVITT, M. Dummett’s anti-realism. The Journal of Philosophy, v. 80, n. 2, p. 73–99, 1983. DÍEZ, G. F. Five observations concerning the intended meaning of the intuitionistic logical constants. Journal of Philosophical Logic, v. 29, p. 409–424, 2000. DUMMETT, M. The justification of deduction. Proceedings of the British Academy, LIX, p. 201–232, 1975. Reprinted in Dummett (1978). DUMMETT, M. The philosophical basis of intuitionistic logic. In: ROSE, H.; SHEPHERDSON, J. (Ed.). Logic Colloquium ’73 Proceedings of the Logic Colloquium. Amsterdam: North Holland, 1975, (Studies in Logic and the Foundations of Mathematics, v. 80). p. 5–40. Reprinted in Dummett (1978). DUMMETT, M. Truth and Other Enigmas. Cambridge, Massachussetts: Harvard University Press, 1978. DUMMETT, M. The Logical Basis Of Metaphysics. Cambridge, Massachusetts: Harvard University Press, 1991. DUMMETT, M. Elements of Intuitionism. 2. ed. Great Claredon Street, Oxford: Oxford University Press, 2000. (Oxford Logic Guides, v. 39). DUMMETT, M. Reply to Dag Prawitz. In: AUXIER, R. E.; HAHN, L. E. (Ed.). The Philosophy of Michael Dummett. Chicago and La Salle, Illinois: Open Court Publishing Company, 2007, (The Library of Living Philosophers, XXXI). cap. 13, p. 482–489. GENTZEN, G. Untersuchungen über das logische schließen I. Mathematische Zeitschrift, v. 39, n. 1, p. 176–210, 1935. Translated in Gentzen (1969). GENTZEN, G. The Collected Papers of Gerhard Gentzen. Amsterdam: North-Holland Publishing Company, 1969. GÖDEL, K. In what sense is intuitionistic logic constructive? In: FEFERMAN, S. (Ed.). Collected Works. [S.l.]: Oxford University Press, 1995. III, p. 189–200. GRISS, G. F. C. Negationless intuitionistic mathematics. Indagationes Mathematicae, v. 8, p. 675–681, 1946. HEIJENOORT, J. van (Ed.). From Frege to Gödel: A source book in mathematical logic: 1879–1931. Cambridge, Massachusetts: Harvard University Press, 1967. HEYTING, A. Die formalen regeln der intuitionische logik. Sitzungsberichte der Preuszischen Akademie der Wissenschaften, p. 42–56, 1930. HEYTING, A. Intuitionism: An Introduction. 3. ed. Amsterdam: North-Holland Publishing Company, 1971. HILBERT, D. Die grundlagen der mathematik. Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg, v. 6, n. 1, p. 65–85, 1928. Translated in Heijenoort (1967). KAHLE, R.; SCHROEDER-HEISTER, P. Introduction: Proof-theoretic semantics. Synthese, Springer, v. 148, n. 3, p. 503–506, 2006. KLEENE, S. C. Introduction to Metamathematics. Amsterdam: North Holland, 1952. KOLMOGOROFF, A. Zur deutung der intuitionistischen logik. Mathematische Zeitschrift, v. 35, n. 1, p. 58–65, 1932. KRIPKE, S. A. Semantical analysis of intuitionistic logic I. In: DUMMETT, M.; CROSSLEY, J. N. (Ed.). Formal Systems and Recursive Functions. Amsterdam: North Holland Publishing Company, 1965, (Studies in Logic and The Foundations of Mathematics, v. 40). p. 92–130. KUTSCHERA, F. von. Die vollständigkeit des operatorsystems f:;^;_; g für die intuitionistische aussagenlogik im rahmen der gentzensemantik. Archiv für Matematische Logik und Grundlagenforschung, v. 12, p. 3–16, 1968. LORENZEN, P. Einführung in die Operative Logik und Mathematik. 2. ed. Berlin: Springer, 1969. First edition published in 1955. MARTIN-LÖF, P. On the meanings of the logical constants and the justifications of the logical laws. Nordic Journal of Philosophical Logic, v. 1, n. 1, p. 11–60, 1996. MINTS, G. E. Derivability of admissible rules. Journal of Mathematical Sciences, v. 6, n. 4, p. 417–421, 1976. First published in Russian in 1972. PAGIN, P. Bivalence: Meaning theory vs metaphysics. Theoria, v. 64, n. 2-3, p. 157–186, 1998. PLATO, J. von. Gentzen’s proof systems: Byproducts in a work of genius. The Bulletin of Symbolic Logic, v. 18, n. 3, p. 313–367, September 2012. PRAWITZ, D. Natural Deduction: A Proof-Theoretical Study. Stockholm: Almqvist & Wiksell, 1965. PRAWITZ, D. Ideas and results in proof theory. Studies in Logic and the Foundations of Mathematics, v. 66, p. 235–307, 1971. PRAWITZ, D. Towards a foundation of a general proof theory. In: SUPPES, P. et al. (Ed.). Logic, Methodology and Philosophy of Science IV. Amsterdam: North Holland, 1973. (Studies in Logic and the Foundations of Mathematics, v. 74), p. 225–250. PRAWITZ, D. On the ideia of a general proof theory. Synthese, v. 27, n. 1, p. 63–77, 1974. PRAWITZ, D. Meaning approached via proofs. Synthese, v. 148, n. 3, p. 507–524, 2006. PRAWITZ, D. Pragmatist and verificationist theories of meaning. In: AUXIER, R. E.; HAHN, L. E. (Ed.). The Philosophy of Michael Dummett. Chicago and La Salle, Illinois: Open Court Publishing Company, 2007, (The Library of Living Philosophers, XXXI). cap. 13, p. 455–481. SANDQVIST, T. Classical logic without bivalence. Analisys, v. 69, n. 2, p. 211–218, April 2009. SANZ, W. de C. Uma Investigação Acerca das Regras para a Negação e o Absurdo em Dedução Natural. Tese (Doutorado) — Universidade Estadual de Campinas, Campinas, 2006. SANZ, W. de C.; PIECHA, T.; SCHROEDER-HEISTER, P. Constructive semantics, admissibility of rules and the validity of Peirce’s law. Logic Journal of the IGPL, 2013. SCHROEDER-HEISTER, P. Proof-theoretic semantics. In: ZALTA, E. N. (Ed.). The Stanford Encyclopedia of Philosophy. Spring 2013. [S.l.: s.n.], 2013. TARSKI, A. On the concept of logical consequence. In: Logic, Semantics, Metamathematics. Oxford: The Claredon Press, 1956. p. 409–420. TENNANT, N. Anti-Realism and Logic: Truth as eternal. Oxford: Claredon Press, 1987. TROELSTRA, A. S.; DALEN, D. van. Constructivism in Mathematics: An Introduction. 1. ed. Amsterdam: Elsevier, 1988. (Studies in Logic and the Foundations of Mathematics, v. 121). Volume I.-74011761163580643796006006006005585255767972561168-6723520209401670532075167498588264571http://creativecommons.org/licenses/by-nc-nd/4.0/info:eu-repo/semantics/openAccessValidade lógicaIntuicionismo lógicoTeoria das demonstraçõesTeoria do significadoLogical validityLogical intuitionismProof theoryMeaning theoryCIENCIAS HUMANAS::FILOSOFIAInvestigações em semânticas construtivasInvestigations on proof-theoretic semanticsinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisreponame:Repositório Institucional da UFGinstname:Universidade Federal de Goiás (UFG)instacron:UFGLICENSElicense.txtlicense.txttext/plain; charset=utf-82165http://repositorio.bc.ufg.br/tede/bitstreams/fda17bf1-207b-497d-9ef6-b524bd3b1879/downloadbd3efa91386c1718a7f26a329fdcb468MD51ORIGINALDissertacao Hermogenes Hebert Pereira Oliveira.pdfDissertacao Hermogenes Hebert Pereira Oliveira.pdfDissertação - PPGFIL/RG - Hermogenes Hebert Pereira Oliveiraapplication/pdf452221http://repositorio.bc.ufg.br/tede/bitstreams/ad82c2d2-7381-4833-960b-b382faa20a38/downloadb2469cc663d70c03f4dcf9dbea202fb2MD55CC-LICENSElicense_urllicense_urltext/plain; charset=utf-849http://repositorio.bc.ufg.br/tede/bitstreams/6db9d940-df05-4921-bb67-e5947320777a/download4afdbb8c545fd630ea7db775da747b2fMD52license_textlicense_texttext/html; charset=utf-822302http://repositorio.bc.ufg.br/tede/bitstreams/ab341f73-942a-4581-a7eb-29d44e825582/download1e0094e9d8adcf16b18effef4ce7ed83MD53license_rdflicense_rdfapplication/rdf+xml; charset=utf-823148http://repositorio.bc.ufg.br/tede/bitstreams/c72710b8-2802-48df-a337-020b1fa6c8fa/download9da0b6dfac957114c6a7714714b86306MD54TEXTDissertacao Hermogenes Hebert Pereira Oliveira.pdf.txtDissertacao Hermogenes Hebert Pereira Oliveira.pdf.txtExtracted Texttext/plain171099http://repositorio.bc.ufg.br/tede/bitstreams/1eb11453-06d4-474f-8838-d0fc46d1d224/download4531925b7ad4c40ae06cd43a87668028MD56THUMBNAILDissertacao Hermogenes Hebert Pereira Oliveira.pdf.jpgDissertacao Hermogenes Hebert Pereira Oliveira.pdf.jpgGenerated Thumbnailimage/jpeg2803http://repositorio.bc.ufg.br/tede/bitstreams/c36de0b1-f248-4b1b-9049-f9fd2495e7b7/download4fd691c91335c079981312e1084b5687MD57tede/31032014-09-20 03:02:18.46http://creativecommons.org/licenses/by-nc-nd/4.0/Acesso Abertoopen.accessoai:repositorio.bc.ufg.br:tede/3103http://repositorio.bc.ufg.br/tedeRepositório InstitucionalPUBhttp://repositorio.bc.ufg.br/oai/requesttasesdissertacoes.bc@ufg.bropendoar:2014-09-20T06:02:18Repositório Institucional da UFG - Universidade Federal de Goiás (UFG)falseTk9UQTogQ09MT1FVRSBBUVVJIEEgU1VBIFBSw5NQUklBIExJQ0VOw4dBCkVzdGEgbGljZW7Dp2EgZGUgZXhlbXBsbyDDqSBmb3JuZWNpZGEgYXBlbmFzIHBhcmEgZmlucyBpbmZvcm1hdGl2b3MuCgpMSUNFTsOHQSBERSBESVNUUklCVUnDh8ODTyBOw4NPLUVYQ0xVU0lWQQoKQ29tIGEgYXByZXNlbnRhw6fDo28gZGVzdGEgbGljZW7Dp2EsIHZvY8OqIChvIGF1dG9yIChlcykgb3UgbyB0aXR1bGFyIGRvcyBkaXJlaXRvcyBkZSBhdXRvcikgY29uY2VkZSDDoCBVbml2ZXJzaWRhZGUgClhYWCAoU2lnbGEgZGEgVW5pdmVyc2lkYWRlKSBvIGRpcmVpdG8gbsOjby1leGNsdXNpdm8gZGUgcmVwcm9kdXppciwgIHRyYWR1emlyIChjb25mb3JtZSBkZWZpbmlkbyBhYmFpeG8pLCBlL291IApkaXN0cmlidWlyIGEgc3VhIHRlc2Ugb3UgZGlzc2VydGHDp8OjbyAoaW5jbHVpbmRvIG8gcmVzdW1vKSBwb3IgdG9kbyBvIG11bmRvIG5vIGZvcm1hdG8gaW1wcmVzc28gZSBlbGV0csO0bmljbyBlIAplbSBxdWFscXVlciBtZWlvLCBpbmNsdWluZG8gb3MgZm9ybWF0b3Mgw6F1ZGlvIG91IHbDrWRlby4KClZvY8OqIGNvbmNvcmRhIHF1ZSBhIFNpZ2xhIGRlIFVuaXZlcnNpZGFkZSBwb2RlLCBzZW0gYWx0ZXJhciBvIGNvbnRlw7pkbywgdHJhbnNwb3IgYSBzdWEgdGVzZSBvdSBkaXNzZXJ0YcOnw6NvIApwYXJhIHF1YWxxdWVyIG1laW8gb3UgZm9ybWF0byBwYXJhIGZpbnMgZGUgcHJlc2VydmHDp8Ojby4KClZvY8OqIHRhbWLDqW0gY29uY29yZGEgcXVlIGEgU2lnbGEgZGUgVW5pdmVyc2lkYWRlIHBvZGUgbWFudGVyIG1haXMgZGUgdW1hIGPDs3BpYSBhIHN1YSB0ZXNlIG91IApkaXNzZXJ0YcOnw6NvIHBhcmEgZmlucyBkZSBzZWd1cmFuw6dhLCBiYWNrLXVwIGUgcHJlc2VydmHDp8Ojby4KClZvY8OqIGRlY2xhcmEgcXVlIGEgc3VhIHRlc2Ugb3UgZGlzc2VydGHDp8OjbyDDqSBvcmlnaW5hbCBlIHF1ZSB2b2PDqiB0ZW0gbyBwb2RlciBkZSBjb25jZWRlciBvcyBkaXJlaXRvcyBjb250aWRvcyAKbmVzdGEgbGljZW7Dp2EuIFZvY8OqIHRhbWLDqW0gZGVjbGFyYSBxdWUgbyBkZXDDs3NpdG8gZGEgc3VhIHRlc2Ugb3UgZGlzc2VydGHDp8OjbyBuw6NvLCBxdWUgc2VqYSBkZSBzZXUgCmNvbmhlY2ltZW50bywgaW5mcmluZ2UgZGlyZWl0b3MgYXV0b3JhaXMgZGUgbmluZ3XDqW0uCgpDYXNvIGEgc3VhIHRlc2Ugb3UgZGlzc2VydGHDp8OjbyBjb250ZW5oYSBtYXRlcmlhbCBxdWUgdm9jw6ogbsOjbyBwb3NzdWkgYSB0aXR1bGFyaWRhZGUgZG9zIGRpcmVpdG9zIGF1dG9yYWlzLCB2b2PDqiAKZGVjbGFyYSBxdWUgb2J0ZXZlIGEgcGVybWlzc8OjbyBpcnJlc3RyaXRhIGRvIGRldGVudG9yIGRvcyBkaXJlaXRvcyBhdXRvcmFpcyBwYXJhIGNvbmNlZGVyIMOgIFNpZ2xhIGRlIFVuaXZlcnNpZGFkZSAKb3MgZGlyZWl0b3MgYXByZXNlbnRhZG9zIG5lc3RhIGxpY2Vuw6dhLCBlIHF1ZSBlc3NlIG1hdGVyaWFsIGRlIHByb3ByaWVkYWRlIGRlIHRlcmNlaXJvcyBlc3TDoSBjbGFyYW1lbnRlIAppZGVudGlmaWNhZG8gZSByZWNvbmhlY2lkbyBubyB0ZXh0byBvdSBubyBjb250ZcO6ZG8gZGEgdGVzZSBvdSBkaXNzZXJ0YcOnw6NvIG9yYSBkZXBvc2l0YWRhLgoKQ0FTTyBBIFRFU0UgT1UgRElTU0VSVEHDh8ODTyBPUkEgREVQT1NJVEFEQSBURU5IQSBTSURPIFJFU1VMVEFETyBERSBVTSBQQVRST0PDjU5JTyBPVSAKQVBPSU8gREUgVU1BIEFHw4pOQ0lBIERFIEZPTUVOVE8gT1UgT1VUUk8gT1JHQU5JU01PIFFVRSBOw4NPIFNFSkEgQSBTSUdMQSBERSAKVU5JVkVSU0lEQURFLCBWT0PDiiBERUNMQVJBIFFVRSBSRVNQRUlUT1UgVE9ET1MgRSBRVUFJU1FVRVIgRElSRUlUT1MgREUgUkVWSVPDg08gQ09NTyAKVEFNQsOJTSBBUyBERU1BSVMgT0JSSUdBw4fDlUVTIEVYSUdJREFTIFBPUiBDT05UUkFUTyBPVSBBQ09SRE8uCgpBIFNpZ2xhIGRlIFVuaXZlcnNpZGFkZSBzZSBjb21wcm9tZXRlIGEgaWRlbnRpZmljYXIgY2xhcmFtZW50ZSBvIHNldSBub21lIChzKSBvdSBvKHMpIG5vbWUocykgZG8ocykgCmRldGVudG9yKGVzKSBkb3MgZGlyZWl0b3MgYXV0b3JhaXMgZGEgdGVzZSBvdSBkaXNzZXJ0YcOnw6NvLCBlIG7Do28gZmFyw6EgcXVhbHF1ZXIgYWx0ZXJhw6fDo28sIGFsw6ltIGRhcXVlbGFzIApjb25jZWRpZGFzIHBvciBlc3RhIGxpY2Vuw6dhLgo=
dc.title.por.fl_str_mv Investigações em semânticas construtivas
dc.title.alternative.eng.fl_str_mv Investigations on proof-theoretic semantics
title Investigações em semânticas construtivas
spellingShingle Investigações em semânticas construtivas
Oliveira, Hermogenes Hebert Pereira
Validade lógica
Intuicionismo lógico
Teoria das demonstrações
Teoria do significado
Logical validity
Logical intuitionism
Proof theory
Meaning theory
CIENCIAS HUMANAS::FILOSOFIA
title_short Investigações em semânticas construtivas
title_full Investigações em semânticas construtivas
title_fullStr Investigações em semânticas construtivas
title_full_unstemmed Investigações em semânticas construtivas
title_sort Investigações em semânticas construtivas
author Oliveira, Hermogenes Hebert Pereira
author_facet Oliveira, Hermogenes Hebert Pereira
author_role author
dc.contributor.advisor1.fl_str_mv Sanz, Wagner de Campos
dc.contributor.advisor1Lattes.fl_str_mv http://lattes.cnpq.br/5046432111036307
dc.contributor.authorLattes.fl_str_mv http://lattes.cnpq.br/7965659331229634
dc.contributor.author.fl_str_mv Oliveira, Hermogenes Hebert Pereira
contributor_str_mv Sanz, Wagner de Campos
dc.subject.por.fl_str_mv Validade lógica
Intuicionismo lógico
Teoria das demonstrações
Teoria do significado
topic Validade lógica
Intuicionismo lógico
Teoria das demonstrações
Teoria do significado
Logical validity
Logical intuitionism
Proof theory
Meaning theory
CIENCIAS HUMANAS::FILOSOFIA
dc.subject.eng.fl_str_mv Logical validity
Logical intuitionism
Proof theory
Meaning theory
dc.subject.cnpq.fl_str_mv CIENCIAS HUMANAS::FILOSOFIA
description Proof-theoretic Semantics provides a new approach to the semantics of logical constants. It has compelling philosophical motivations which are rooted deeply in the philosophy of language and the philosophy of mathematics. We investigate this new approach of logical semantics and its perspective on logical validity in the light of its own philosophical aspirations, especially as represented by the work of Dummett (1991). Among our findings, we single out the validity of Peirce’s rule with respect to a justification procedure based on the introduction rules for the propositional logical constants. This is an undesirable outcome since Peirce’s rule is not considered to be constructively acceptable. On the other hand, we also establish the invalidity of the same inference rule with respect to a justification procedure based on the elimination rules for the propositional logical constants. We comment on the implications of this scenario to Dummett’s philosophical programme and to proof-theoretic semantics in general.
publishDate 2014
dc.date.accessioned.fl_str_mv 2014-09-19T13:19:45Z
dc.date.issued.fl_str_mv 2014-02-14
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.citation.fl_str_mv OLIVEIRA, Hermogenes Hebert Pereira. Investigações em semânticas construtivas. 2014. 77 f. Dissertação (Mestrado em Filosofia) - Universidade Federal de Goiás, Goiânia, 2014.
dc.identifier.uri.fl_str_mv http://repositorio.bc.ufg.br/tede/handle/tede/3103
dc.identifier.dark.fl_str_mv ark:/38995/0013000003jj0
identifier_str_mv OLIVEIRA, Hermogenes Hebert Pereira. Investigações em semânticas construtivas. 2014. 77 f. Dissertação (Mestrado em Filosofia) - Universidade Federal de Goiás, Goiânia, 2014.
ark:/38995/0013000003jj0
url http://repositorio.bc.ufg.br/tede/handle/tede/3103
dc.language.iso.fl_str_mv por
language por
dc.relation.program.fl_str_mv -7401176116358064379
dc.relation.confidence.fl_str_mv 600
600
600
600
dc.relation.department.fl_str_mv 5585255767972561168
dc.relation.cnpq.fl_str_mv -672352020940167053
dc.relation.sponsorship.fl_str_mv 2075167498588264571
dc.relation.references.por.fl_str_mv ARISTOTLE. On interpretation. In: . Aristotle. Cambridge, Massachusetts: Harvard University Press, 1938. (Loeb Classical Library, 1), cap. 2. Translated by Harold P. Cooke. BROUWER, L. E. J. De onbetrouwbaarheid der logische principes. Tijdschrift voor Wijsbegeerte, v. 2, p. 152–158, 1908. Translated in Brouwer (1975). BROUWER, L. E. J. Collected Works: Philosophy and foundations of mathematics. Amsterdam: North Holland, 1975. CARNAP, R. The Logical Syntax of Language. London: Routledge and Kegan Paul, 1964. DEVITT, M. Dummett’s anti-realism. The Journal of Philosophy, v. 80, n. 2, p. 73–99, 1983. DÍEZ, G. F. Five observations concerning the intended meaning of the intuitionistic logical constants. Journal of Philosophical Logic, v. 29, p. 409–424, 2000. DUMMETT, M. The justification of deduction. Proceedings of the British Academy, LIX, p. 201–232, 1975. Reprinted in Dummett (1978). DUMMETT, M. The philosophical basis of intuitionistic logic. In: ROSE, H.; SHEPHERDSON, J. (Ed.). Logic Colloquium ’73 Proceedings of the Logic Colloquium. Amsterdam: North Holland, 1975, (Studies in Logic and the Foundations of Mathematics, v. 80). p. 5–40. Reprinted in Dummett (1978). DUMMETT, M. Truth and Other Enigmas. Cambridge, Massachussetts: Harvard University Press, 1978. DUMMETT, M. The Logical Basis Of Metaphysics. Cambridge, Massachusetts: Harvard University Press, 1991. DUMMETT, M. Elements of Intuitionism. 2. ed. Great Claredon Street, Oxford: Oxford University Press, 2000. (Oxford Logic Guides, v. 39). DUMMETT, M. Reply to Dag Prawitz. In: AUXIER, R. E.; HAHN, L. E. (Ed.). The Philosophy of Michael Dummett. Chicago and La Salle, Illinois: Open Court Publishing Company, 2007, (The Library of Living Philosophers, XXXI). cap. 13, p. 482–489. GENTZEN, G. Untersuchungen über das logische schließen I. Mathematische Zeitschrift, v. 39, n. 1, p. 176–210, 1935. Translated in Gentzen (1969). GENTZEN, G. The Collected Papers of Gerhard Gentzen. Amsterdam: North-Holland Publishing Company, 1969. GÖDEL, K. In what sense is intuitionistic logic constructive? In: FEFERMAN, S. (Ed.). Collected Works. [S.l.]: Oxford University Press, 1995. III, p. 189–200. GRISS, G. F. C. Negationless intuitionistic mathematics. Indagationes Mathematicae, v. 8, p. 675–681, 1946. HEIJENOORT, J. van (Ed.). From Frege to Gödel: A source book in mathematical logic: 1879–1931. Cambridge, Massachusetts: Harvard University Press, 1967. HEYTING, A. Die formalen regeln der intuitionische logik. Sitzungsberichte der Preuszischen Akademie der Wissenschaften, p. 42–56, 1930. HEYTING, A. Intuitionism: An Introduction. 3. ed. Amsterdam: North-Holland Publishing Company, 1971. HILBERT, D. Die grundlagen der mathematik. Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg, v. 6, n. 1, p. 65–85, 1928. Translated in Heijenoort (1967). KAHLE, R.; SCHROEDER-HEISTER, P. Introduction: Proof-theoretic semantics. Synthese, Springer, v. 148, n. 3, p. 503–506, 2006. KLEENE, S. C. Introduction to Metamathematics. Amsterdam: North Holland, 1952. KOLMOGOROFF, A. Zur deutung der intuitionistischen logik. Mathematische Zeitschrift, v. 35, n. 1, p. 58–65, 1932. KRIPKE, S. A. Semantical analysis of intuitionistic logic I. In: DUMMETT, M.; CROSSLEY, J. N. (Ed.). Formal Systems and Recursive Functions. Amsterdam: North Holland Publishing Company, 1965, (Studies in Logic and The Foundations of Mathematics, v. 40). p. 92–130. KUTSCHERA, F. von. Die vollständigkeit des operatorsystems f:;^;_; g für die intuitionistische aussagenlogik im rahmen der gentzensemantik. Archiv für Matematische Logik und Grundlagenforschung, v. 12, p. 3–16, 1968. LORENZEN, P. Einführung in die Operative Logik und Mathematik. 2. ed. Berlin: Springer, 1969. First edition published in 1955. MARTIN-LÖF, P. On the meanings of the logical constants and the justifications of the logical laws. Nordic Journal of Philosophical Logic, v. 1, n. 1, p. 11–60, 1996. MINTS, G. E. Derivability of admissible rules. Journal of Mathematical Sciences, v. 6, n. 4, p. 417–421, 1976. First published in Russian in 1972. PAGIN, P. Bivalence: Meaning theory vs metaphysics. Theoria, v. 64, n. 2-3, p. 157–186, 1998. PLATO, J. von. Gentzen’s proof systems: Byproducts in a work of genius. The Bulletin of Symbolic Logic, v. 18, n. 3, p. 313–367, September 2012. PRAWITZ, D. Natural Deduction: A Proof-Theoretical Study. Stockholm: Almqvist & Wiksell, 1965. PRAWITZ, D. Ideas and results in proof theory. Studies in Logic and the Foundations of Mathematics, v. 66, p. 235–307, 1971. PRAWITZ, D. Towards a foundation of a general proof theory. In: SUPPES, P. et al. (Ed.). Logic, Methodology and Philosophy of Science IV. Amsterdam: North Holland, 1973. (Studies in Logic and the Foundations of Mathematics, v. 74), p. 225–250. PRAWITZ, D. On the ideia of a general proof theory. Synthese, v. 27, n. 1, p. 63–77, 1974. PRAWITZ, D. Meaning approached via proofs. Synthese, v. 148, n. 3, p. 507–524, 2006. PRAWITZ, D. Pragmatist and verificationist theories of meaning. In: AUXIER, R. E.; HAHN, L. E. (Ed.). The Philosophy of Michael Dummett. Chicago and La Salle, Illinois: Open Court Publishing Company, 2007, (The Library of Living Philosophers, XXXI). cap. 13, p. 455–481. SANDQVIST, T. Classical logic without bivalence. Analisys, v. 69, n. 2, p. 211–218, April 2009. SANZ, W. de C. Uma Investigação Acerca das Regras para a Negação e o Absurdo em Dedução Natural. Tese (Doutorado) — Universidade Estadual de Campinas, Campinas, 2006. SANZ, W. de C.; PIECHA, T.; SCHROEDER-HEISTER, P. Constructive semantics, admissibility of rules and the validity of Peirce’s law. Logic Journal of the IGPL, 2013. SCHROEDER-HEISTER, P. Proof-theoretic semantics. In: ZALTA, E. N. (Ed.). The Stanford Encyclopedia of Philosophy. Spring 2013. [S.l.: s.n.], 2013. TARSKI, A. On the concept of logical consequence. In: Logic, Semantics, Metamathematics. Oxford: The Claredon Press, 1956. p. 409–420. TENNANT, N. Anti-Realism and Logic: Truth as eternal. Oxford: Claredon Press, 1987. TROELSTRA, A. S.; DALEN, D. van. Constructivism in Mathematics: An Introduction. 1. ed. Amsterdam: Elsevier, 1988. (Studies in Logic and the Foundations of Mathematics, v. 121). Volume I.
dc.rights.driver.fl_str_mv http://creativecommons.org/licenses/by-nc-nd/4.0/
info:eu-repo/semantics/openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by-nc-nd/4.0/
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Universidade Federal de Goiás
dc.publisher.program.fl_str_mv Programa de Pós-graduação em Filosofia (FAFIL)
dc.publisher.initials.fl_str_mv UFG
dc.publisher.country.fl_str_mv Brasil
dc.publisher.department.fl_str_mv Faculdade de Filosofia - FAFIL (RG)
publisher.none.fl_str_mv Universidade Federal de Goiás
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFG
instname:Universidade Federal de Goiás (UFG)
instacron:UFG
instname_str Universidade Federal de Goiás (UFG)
instacron_str UFG
institution UFG
reponame_str Repositório Institucional da UFG
collection Repositório Institucional da UFG
bitstream.url.fl_str_mv http://repositorio.bc.ufg.br/tede/bitstreams/fda17bf1-207b-497d-9ef6-b524bd3b1879/download
http://repositorio.bc.ufg.br/tede/bitstreams/ad82c2d2-7381-4833-960b-b382faa20a38/download
http://repositorio.bc.ufg.br/tede/bitstreams/6db9d940-df05-4921-bb67-e5947320777a/download
http://repositorio.bc.ufg.br/tede/bitstreams/ab341f73-942a-4581-a7eb-29d44e825582/download
http://repositorio.bc.ufg.br/tede/bitstreams/c72710b8-2802-48df-a337-020b1fa6c8fa/download
http://repositorio.bc.ufg.br/tede/bitstreams/1eb11453-06d4-474f-8838-d0fc46d1d224/download
http://repositorio.bc.ufg.br/tede/bitstreams/c36de0b1-f248-4b1b-9049-f9fd2495e7b7/download
bitstream.checksum.fl_str_mv bd3efa91386c1718a7f26a329fdcb468
b2469cc663d70c03f4dcf9dbea202fb2
4afdbb8c545fd630ea7db775da747b2f
1e0094e9d8adcf16b18effef4ce7ed83
9da0b6dfac957114c6a7714714b86306
4531925b7ad4c40ae06cd43a87668028
4fd691c91335c079981312e1084b5687
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
MD5
MD5
MD5
MD5
repository.name.fl_str_mv Repositório Institucional da UFG - Universidade Federal de Goiás (UFG)
repository.mail.fl_str_mv tasesdissertacoes.bc@ufg.br
_version_ 1815172547217457152

Registros relacionados