André da Silva Porto

Pós-doutorado

Idiomas

Áreas de atuação

Organização de eventos

Participação em eventos

Participação em bancas

Orientou

Produções bibliográficas

• PORTO, A. S. . Wittgenstein on Mathematical Advances and Semantical Mutations. Philósophos (UFG) (Cessou em 2000. Cont. ISSN 1982-2928 Revista Philósophos) , v. 28, p. 1-34, 2023.

• PORTO, A. S. . Singularity and Visual Perception. DISSERTATIO (UFPEL) , v. 58, p. 218-246, 2023.

• VELOSO, PAULO ; PORTO, ANDRÉ DA SILVA . The God-given Naturals: Induction and Recursion. O QUE NOS FAZ PENSAR (PUCRJ) , v. 29, p. 115, 2022.

• PORTO, A. S. . À Maneira de Um Colar de Pérolas?. REVISTA PORTUGUESA DE FILOSOFIA , v. 73, p. 1381-1404, 2017.

• PORTO, A. S. . Conjectures, Algorithms and Programs. REVISTA DISSERTATIO DE FILOSOFIA , v. Suplem, p. 44-76, 2015.

• PORTO, A. S. . Rule Following and Functions. O QUE NOS FAZ PENSAR (PUCRJ) , v. 33, p. 95-141, 2014.

• PORTO, A. S. . Wittgenstein on Mathematical Identities. Disputatio (Lisboa) , v. IV, p. 754-805, 2012.

• PORTO, A. S. . Singularité et perception visuelle. Philosophiques (Montréal) , v. 39, p. 75-100, 2012.

• PORTO, A. S. . Resenha das Observações Filosóficas. Philósophos (UFG) (Cessou em 2000. Cont. ISSN 1982-2928 Revista Philósophos) , v. 14, p. 209-217, 2010.

• PORTO, A. S. . As Observações Filosóficas (Resenha). Philósophos (UFG) (Cessou em 2000. Cont. ISSN 1982-2928 Revista Philósophos) , v. 14, p. 209-217, 2010.

• PORTO, A. S. . Formalization and Infinity. MANUSCRITO (UNICAMP) , v. 31, p. 25-44, 2009.

• PORTO, A. S. . Wittgenstein e a Medida da Circunferência. Philósophos (UFG) (Cessou em 2000. Cont. ISSN 1982-2928 Revista Philósophos) , v. 12, p. 55-85, 2009.

• PORTO, A. S. . Wittgenstein sobre as provas indutivas. DOIS PONTOS (UFPR) , v. 6, p. 79-107, 2009.

• PORTO, A. S. . Wittgenstein, Dízimas Periódicas e Correção Cruzada. CLE e-Prints (Online) , v. 8, p. 1-29, 2008.

• PORTO, A. S. . Tradução Radical, Composicionalismo e Predicação. Philósophos (UFG) (Cessou em 2000. Cont. ISSN 1982-2928 Revista Philósophos) , v. 10, p. 116-136, 2005.

• PORTO, A. S. . Composicionalismo Semântico, Predicação e o Automorfismo de Quine. Philósophos (UFG) (Cessou em 2000. Cont. ISSN 1982-2928 Revista Philósophos) , v. 10, p. 11-55, 2005.

• PORTO, A. S. . As Dízimas Periódicas na Filosofia da Matemática de Wittgenstein. Philósophos (UFG) (Cessou em 2000. Cont. ISSN 1982-2928 Revista Philósophos) , Goiânia, v. 8, n.2, p. 127-157, 2003.

• PORTO, A. S. ; PEREIRA, L. C. . Algumas Considerações sobre a Noção Construtiva de Verdadade. O QUE NOS FAZ PENSAR (PUCRJ) , Rio de Janeiro, v. 17, n.17, p. 107-123, 2003.

• PORTO, A. S. ; VELLOSO, A. R. S. (Org.) . Gramática, Verdade e Inferência. 6. ed. Curitiba (PR e São Carlos (SP): Volume da Revista Dois Pontos, UFPR e UFSCAR, 2009. 200p .

• PORTO, ANDRÉ DA SILVA . O que é um Objeto para um Lógico?. In: Lia Levy; Carolina de Melo Bomfim Araújo; Ethel Menezes Rocha; Fábio Ferreira de Almeida. (Org.). Substância na História da Filosofia. 1ed.: , 2023, v. , p. 495-690.

• PORTO, A. S. . A Concepção Estândar de Prova e o Problema de Kant. In: Gisele Dalva Secco; Frank Thomas Sautter; Oscar Esquisabel; Wagner Sanz. (Org.). De Mathematicae ate Philosphicae Elegantia. 1ed.Londres: College Publications, 2022, v. 18, p. 150-168.

• PORTO, A. S. ; MESQUITA, A. . The Structure of the Continuum, Aristotle and the Contemporary Debate. In: Fátima Évora; Márcio Damin; Thiago Rosales Marques. (Org.). From Hylomorphism to Theories of Matter. 338ed.Campinas, São Paulo: Editora Phi, 2022, v. , p. 325-.

• PORTO, A. S. . O que é Lógica?. In: Marcelo Carvallho e Gabriele Cornelli. (Org.). Filosofia: Conhecimento e Linguagem. 1°ed.Cuiabá: Central de Texto, 2013, v. , p. 81-92.

• PORTO, A. S. . A Significatividade como Escolha. In: Lia Levy; Luiz Carlos Pereira; Marcos Zingano. (Org.). Metafísica, Lógica e outras coisas mais. Rio de Janeiro: NAU Editora, 2012, v. , p. 10-14.

• PORTO, A. S. . Conteúdo proposicional, discordância e atribuição de sentido. In: XIII encontro nacional de filosofia ANPOF, 2008, Canela. Livro de atas do XIII encontro nacional de filosofia ANPOF. Porto ALegre: Editora Unisinos, 2008. v. 13. p. 63-63.

• PORTO, A. S. . Wittgenstein, Dízimas Periódicas e Correção Cruzada. In: CLE 30 Years - XV Brazilian Logic Conference - XIV Latin-American Symposium on Mathematical Logic, 2008, Paraty. CLE 30Years - XV Brazilian Logic Conference - XIV Latin-American Symposium on Mathematical Logic Abstracts. Campinas: Etcolor editora, 2008. v. 15. p. 157-157.

• PORTO, A. S. . Domínios, a Regra de Eliminação da indução e possibilidade em Princípio. In: IX Colóquio Conesul de Filosofia das Ciências Formais, 2007, Santa Maria. Atas do IX Colóquio Conesul de Filosofia das Ciências Formais, 2007.

• PORTO, A. S. . O Composicionalismo Funcional de Frege e do Tractatus e o Problema do Tempo. In: V Simpósio Internacional Princípia, 2007, Florianópolis. Resumos do V Simpósio Internacional Princípia. Florianópolis: Nel - Núcleo de Epistemologia e Lógica, UFSC, 2007. p. 25-25.

• PORTO, A. S. . Construtivismo, possibilidade lógica e possibilidade real. In: XIV Encontro Brasileiro de Lógica, 2006, Itatiaia, RJ. Anais do XIV Encontro Brasileiro de Lógica, 2006.

• PORTO, A. S. . Tradução Algébrica de provas indutivas. In: X Colóquio Conesul de Filosofia das Ciências Formais, 2006, Santa Maria, RS. Anais do X Colóquio Conesul de Filosofia das Ciências Formais, 2006.

• PORTO, A. S. . Wittgenstein, composicionalismo e indução. In: XII Encontro Nacional de Filosofia da ANPOF, 2006, Salvador, Bahia. Atas do XII Encontro Nacional de Filosofia da ANPOF. Salvador, Bahia: ANPOF, 2006. p. 56-57.

• PORTO, A. S. . Where do we disagree? Most Everywhere!. In: IV Simpósio Internacional Principia, 2005, Florianópolis, SC. Resumos do IV Simpósio Internacional Principia. Florianópolis, SC: Editora da UFSC, 2005.

• PORTO, A. S. . O arpão e a rede: duas teorias sobre a nomeação. In: IX Encontro Nacional de Filosofia, AMPOF, 2004, Salvador, Bahia. Atas do IX Encontro Nacional de Filosofia, AMPOF. Campinas: Associação Nacional de Pós Graduãção em Filosofia, 2004. p. 23-23.

• PORTO, A. S. . Construtivismo e a recusa do fosso entre estruturas matemáticas e nossa capacidade de expressão. In: VIII Colóquio Cone Sul de Filosofia da Matemática, 2004, Santa Maria, RS. Atas do VIII Colóquio Cone Sul de Filosofia da Matemática. Santa Maria, RS: Universidade Federal de Santa Maria, 2004. p. 15-16.

• PORTO, A. S. . Os teoremas de Gödel e de Tarski e a idéia de conteúdos matemáticos inexprimíveis. In: VI Semana de Integração do Mestrado com a Graduação de Filosofia, 2004, Goiânia. Atas da VI Semana de Integração do Mestrado com a Graduação de Filosofia. Goiânia: Universidade Federal de Goiânia, 2004. p. 8-9.

• PORTO, A. S. . Tradução Radical e Ruptura Comunicacional. In: II Colóquio Nacional de Filosofia da Linguagem, 2003, Goiânia, GO. Atas do II Colóquio Nacional de Filosofia da Linguagem, 2003.

• PORTO, A. S. . Uma certa Concepção de Matemática de Wittgenstein e Quine. In: II Simpósio Internacional de Principia, 2001, Florianópolis. Atas do II Simpósio Internacional de Principia, 2001.

• PORTO, A. S. . Possibilidade, Sentido e Equações Matemáticas no Tractatus. In: IX Encontro Nacional de Filosofia, AMPOF, 2000, Cachambu, SP. Atas do IX Encontro Nacional de Filosofia, 2000.

• PORTO, A. S. . Wittgenstein e a Generalidade em Matemática. In: XII Encontro Brasileiro de Lógica, 1999, Itatiaia, RJ. Atas do XII Encontro Brasileiro de Lógica., 1999.

• PORTO, A. S. . O construtivismo matemático de Wittgenstein. In: IV Encontro de Filosofia Analítica., 1997, Florianópolis, SC. Atas do IV Encontro de Filosofia Analítica., 1997.

• PORTO, A. S. . Intuitionism and the Problem of the Continuum. 2025. (Apresentação de Trabalho/Conferência ou palestra).

• PORTO, A. S. . The Cohesive Continuum. 2025. (Apresentação de Trabalho/Conferência ou palestra).

• PORTO, A. S. . A Teoria Clássica das funções Computáveis desde um ponto de vista Intuicionista. 2024. (Apresentação de Trabalho/Conferência ou palestra).

• PORTO, A. S. . Mathematics and Time: a Reconstruction of Wittgenstein?s Philosophy of Mathematics. 2024. (Apresentação de Trabalho/Conferência ou palestra).

• PORTO, A. S. ; ALONSO, E. ; MESQUITA, A. . O que um Intuicionista diria sobre a Teoria das Funções Computáveis Clássica. 2024. (Apresentação de Trabalho/Conferência ou palestra).

• PORTO, A. S. ; ALONSO, E. ; MESQUITA, A. . O que um Intuicionista diria sobre a Teoria das Funções Computáveis Clássica. 2024. (Apresentação de Trabalho/Conferência ou palestra).

• PORTO, A. S. . A Filosofia da Matemática de Wittgenstein e a noção de 'Forcing'. 2024. (Apresentação de Trabalho/Conferência ou palestra).

• PORTO, A. S. . Alternativas sobre como encarar as Diferenças entre Lógica e Matemáti a Clássica e Intuicionista. 2023. (Apresentação de Trabalho/Conferência ou palestra).

• PORTO, A. S. ; NARBOUX, J. . Mathematics and Time: A Reconstruction of Wittgenstein?s Philosophy of Mathematics. 2023. (Apresentação de Trabalho/Conferência ou palestra).

• PORTO, A. S. . O que é Lógica?. 2023. (Apresentação de Trabalho/Conferência ou palestra).

• PORTO, ANDRÉ DA SILVA . Wittgenstein and Idealism. 2022. (Apresentação de Trabalho/Conferência ou palestra).

• PORTO, ANDRÉ DA SILVA . Wittgenstein e o Idealismo. 2022. (Apresentação de Trabalho/Conferência ou palestra).

• PORTO, A. S. . Palestra de Encerramento: Fundamentos da Matemática e a Sala de Aula, uma perspectiva wittgensteiniana. 2021. (Apresentação de Trabalho/Conferência ou palestra).

• PORTO, A. S. . Palestra: O Tractatus e a noção de 'Inferência Lógica'. 2021. (Apresentação de Trabalho/Conferência ou palestra).

• SMITH, P. J. ; PORTO, A. S. ; FARIA, P. F. E. ; SILVA FILHO, W. J. . Philosopher Meets Critics: A experiência do cético. 2020. (Apresentação de Trabalho/Simpósio).

• PORTO, A. S. . Matemática e Tempo. 2019. (Apresentação de Trabalho/Conferência ou palestra).

• PORTO, A. S. . A Concepção Estândar de Prova e o Problema de Kant. 2019. (Apresentação de Trabalho/Conferência ou palestra).

• PORTO, A. S. . Wittgenstein e a noção de 'Consciência'. 2019. (Apresentação de Trabalho/Comunicação).

• PORTO, A. S. . Three notions of ?function?: Classical, Intuitionistic and Categorical. 2017. (Apresentação de Trabalho/Conferência ou palestra).

• PORTO, A. S. . Subjetividade e Pronomes Pessoais. 2017. (Apresentação de Trabalho/Conferência ou palestra).

• PORTO, A. S. . Subjetividade em Wittgenstein. 2017. (Apresentação de Trabalho/Conferência ou palestra).

• PORTO, A. S. . Diferentes Caminhos para uma Lógica de Heyting. 2017. (Apresentação de Trabalho/Conferência ou palestra).

• PORTO, A. S. . The Theories of Proportion from Euclid to Hilbert. 2017. (Apresentação de Trabalho/Comunicação).

• PORTO, A. S. . Continuidade no contexto da Análise Suave. 2016. (Apresentação de Trabalho/Conferência ou palestra).

• PORTO, A. S. . Wittgenstein sobre Subjetividade e Mente. 2016. (Apresentação de Trabalho/Conferência ou palestra).

• PORTO, A. S. ; LEITE, A. F. C. . Mutação Semântica e o Problema da Parada em Wittgenstein. 2015. (Apresentação de Trabalho/Conferência ou palestra).

• PORTO, A. S. . Avanços matemáticos e Mutações Sermânticas. 2015. (Apresentação de Trabalho/Conferência ou palestra).

• PORTO, A. S. . Mesa Redonda: Sobre o Estatuto dos Diagramas e Demonstrações Euclidianas. 2015. (Apresentação de Trabalho/Comunicação).

• PORTO, A. S. . Wittgenstein on Language Mutarion. 2014. (Apresentação de Trabalho/Conferência ou palestra).

• PORTO, A. S. . Extension Determination and Language Mutation. 2014. (Apresentação de Trabalho/Conferência ou palestra).

• PORTO, A. S. . Husserl, Wittgenstein e o Problema da Espessura Temporal do Presente. 2014. (Apresentação de Trabalho/Conferência ou palestra).

• PORTO, A. S. . Algorithms, Programs and Language Mutation. 2014. (Apresentação de Trabalho/Conferência ou palestra).

• PORTO, A. S. . Wittgenstein on Function, Possibility and Existence. 2013. (Apresentação de Trabalho/Conferência ou palestra).

• PORTO, A. S. . Rules, Equations and Infinity. 2013. (Apresentação de Trabalho/Conferência ou palestra).

• PORTO, A. S. . The Shift on Generality: The notion of Approximation. 2013. (Apresentação de Trabalho/Conferência ou palestra).

• PORTO, A. S. . Wittgenstein on Numbers and Inductive Proofs. 2013. (Apresentação de Trabalho/Conferência ou palestra).

• PORTO, A. S. . Operations, Extension and Language Mutation. 2013. (Apresentação de Trabalho/Conferência ou palestra).

• PORTO, A. S. . Coordinates, Singularity and Negation. 2013. (Apresentação de Trabalho/Conferência ou palestra).

• PORTO, A. S. . Análise Suave: Indiscernibilidade e Vizinhança. 2013. (Apresentação de Trabalho/Conferência ou palestra).

• PORTO, A. S. . Conjecturas, Mutações Semânticas e Operações Abstratas. 2013. (Apresentação de Trabalho/Conferência ou palestra).

• PORTO, A. S. . Wittgenstein on Infinitude. 2013. (Apresentação de Trabalho/Conferência ou palestra).

• PORTO, A. S. . Turing, Incompletude e a Tese de Church. 2013. (Apresentação de Trabalho/Conferência ou palestra).

• PORTO, A. S. . Wittgenstein's Philosophy of Mathematics. 2013. (Apresentação de Trabalho/Conferência ou palestra).

• PORTO, A. S. . Progresso Matemático, Objetos Abstratos e Predicação. 2013. (Apresentação de Trabalho/Conferência ou palestra).

• PORTO, A. S. . Wittgenstein e Quine a respeito de objetos. 2012. (Apresentação de Trabalho/Conferência ou palestra).

• PORTO, A. S. . Nomes Tractarianos. 2012. (Apresentação de Trabalho/Comunicação).

• PORTO, A. S. . Wittgenstein of Functions and Modality. 2012. (Apresentação de Trabalho/Seminário).

• PORTO, A. S. . O Sentido em Wittgenstein. 2011. (Apresentação de Trabalho/Conferência ou palestra).

• PORTO, A. S. . Propriedades Matemáticas Acidentais?. 2011. (Apresentação de Trabalho/Conferência ou palestra).

• PORTO, A. S. . A New Theory of Space. 2011. (Apresentação de Trabalho/Conferência ou palestra).

• PORTO, A. S. . Cna there be Accidental Mathematical Properties?. 2011. (Apresentação de Trabalho/Conferência ou palestra).

• PORTO, A. S. . Function and Relative definition in Wittgenstein. 2011. (Apresentação de Trabalho/Conferência ou palestra).

• PORTO, A. S. . Nomes Genuínos e Nomes Ordinários. 2011. (Apresentação de Trabalho/Conferência ou palestra).

• PORTO, A. S. . Semantical Mutations. 2010. (Apresentação de Trabalho/Conferência ou palestra).

• PORTO, A. S. . Quantificação e Generalidade. 2010. (Apresentação de Trabalho/Conferência ou palestra).

• PORTO, A. S. . Sentido como Condições de Verdade. 2010. (Apresentação de Trabalho/Conferência ou palestra).

• PORTO, A. S. . Gramática e Filosofia. 2009. (Apresentação de Trabalho/Conferência ou palestra).

• PORTO, A. S. . Necessidade e Sentido em Wittgenstein. 2009. (Apresentação de Trabalho/Comunicação).

• PORTO, A. S. . Wittgesntein and the Halting Problem. 2009. (Apresentação de Trabalho/Seminário).

• PORTO, A. S. . Os Naturais dados por Deus: indução e recursão. 2009. (Apresentação de Trabalho/Simpósio).

• PORTO, A. S. . Teoria das Categorias e a Análise Suave. 2008. (Apresentação de Trabalho/Comunicação).

• PORTO, A. S. . Conteúdo proposicional, discordância e atribuição de seentido. 2008. (Apresentação de Trabalho/Comunicação).

• PORTO, A. S. . Wittgenstein, Dízimas periódicas e Correção Cruzada. 2008. (Apresentação de Trabalho/Comunicação).

• PORTO, A. S. . Os três tipos de "conteúdo" e a noção de discordância. 2008. (Apresentação de Trabalho/Conferência ou palestra).

• PORTO, A. S. . Wittgenstein on Inductive Proofs. 2008. (Apresentação de Trabalho/Conferência ou palestra).

• PORTO, A. S. . Concordância e Discordância em Wittgenstein. 2008. (Apresentação de Trabalho/Conferência ou palestra).

• PORTO, A. S. . Identidade e Predicação. 2007. (Apresentação de Trabalho/Conferência ou palestra).

• PORTO, A. S. . Identidade e Domínios. 2007. (Apresentação de Trabalho/Conferência ou palestra).

• PORTO, A. S. . O Composicionalismo Funcional de Frege e do Tractatus e o Problema do Tempo. 2007. (Apresentação de Trabalho/Conferência ou palestra).

• PORTO, A. S. . Domínios, a Regra de Eliminação da indução e possibilidade em Princípio. 2007. (Apresentação de Trabalho/Conferência ou palestra).

• PORTO, A. S. . Recuring Decimals and the Idea of "Back and Forth Correction". 2007. (Apresentação de Trabalho/Conferência ou palestra).

• PORTO, A. S. . Provas Indutivas em Wittgenstein. 2006. (Apresentação de Trabalho/Conferência ou palestra).

• PORTO, A. S. . Construtivismo, possibilidade lógica e possibilidade real. 2006. (Apresentação de Trabalho/Conferência ou palestra).

• PORTO, A. S. . Provas indutivas em Wittgenstein. 2006. (Apresentação de Trabalho/Conferência ou palestra).

• PORTO, A. S. . Identidade matemática. 2006. (Apresentação de Trabalho/Comunicação).

• PORTO, A. S. . Wittgenstein, Composicionalismo e Indução. 2006. (Apresentação de Trabalho/Conferência ou palestra).

• PORTO, A. S. . Tradução algébrica de provas indutivas. 2006. (Apresentação de Trabalho/Comunicação).

• PORTO, A. S. . Where do they disagree? Most everywhere!. 2005. (Apresentação de Trabalho/Conferência ou palestra).

• PORTO, A. S. . Composicionalismo, Predicação em Quine. 2005. (Apresentação de Trabalho/Comunicação).

• PORTO, A. S. . Tradução Radical e Predicação. 2005. (Apresentação de Trabalho/Comunicação).

• PORTO, A. S. . Condições de verdade: Tradução Radical e o Tractatus. 2005. (Apresentação de Trabalho/Comunicação).

• PORTO, A. S. . Radical translation vs Radical Intepretation. 2005. (Apresentação de Trabalho/Comunicação).

• PORTO, A. S. . A interpretação da identidade na filosofia da matemática de Witttgenstein. 2004. (Apresentação de Trabalho/Comunicação).

• PORTO, A. S. . As provas Indutivas de a filosofia da matemática de Wittgenstein. 2004. (Apresentação de Trabalho/Conferência ou palestra).

• PORTO, A. S. . O arpão e a rede: duas teorias sobre a nomeação. 2004. (Apresentação de Trabalho/Comunicação).

• PORTO, A. S. . Construtivismo e a recusa do fosso entre estruturas matemáticas e nossa capicidade de expressão. 2004. (Apresentação de Trabalho/Comunicação).

• PORTO, A. S. . Os Teoremas de Gödel e Tarski e a idéia de conteúdos matemáticos inexprimíveis. 2004. (Apresentação de Trabalho/Comunicação).

• PORTO, A. S. . Lógica e Línguas Naturais. 2004. (Apresentação de Trabalho/Seminário).

• PORTO, A. S. . Tradução Radical e Ruptura Comunicacional. 2003. (Apresentação de Trabalho/Conferência ou palestra).

• PORTO, A. S. . Possibilidade e sentido: o problema da crise dos fundamentos da matemática. 2003. (Apresentação de Trabalho/Comunicação).

• PORTO, A. S. . Possibilidade e Sentido e os fundamentos da matemática. 2003. (Apresentação de Trabalho/Comunicação).

• PORTO, A. S. . Modalidades Aléticas e a crise dos fundamentos da matemática. 2003. (Apresentação de Trabalho/Comunicação).

• PORTO, A. S. . Sentenças Contingentes e Predicação. 2002. (Apresentação de Trabalho/Comunicação).

• PORTO, A. S. . Construção Simbólica e Intuição nas provas matemáticas. 2002. (Apresentação de Trabalho/Comunicação).

• PORTO, A. S. . Uma Certa Concepção de matemática de Wittgenstein e Quine. 2001. (Apresentação de Trabalho/Comunicação).

• PORTO, A. S. . Impredicatividade e Prova Indutivas. 2001. (Apresentação de Trabalho/Conferência ou palestra).

• PORTO, A. S. . Construtivismo e as Modalidades. 2000. (Apresentação de Trabalho/Comunicação).

• PORTO, A. S. . O que um matemática precisa saber sobre fundamentos da matemática?. 2000. (Apresentação de Trabalho/Comunicação).

• PORTO, A. S. . Possibilidade, Sentido e equações matemáticas no Tractatus. 2000. (Apresentação de Trabalho/Comunicação).

• PORTO, A. S. ; PEREIRA, L. C. . O conceito de prova e as provas por computador. 2000. (Apresentação de Trabalho/Comunicação).

• PORTO, A. S. . Hilbert, Wittgenstein e a notação em barras. 2000. (Apresentação de Trabalho/Comunicação).

• PORTO, A. S. . Possibility and Meaning in the Tractatus. 2000. (Apresentação de Trabalho/Conferência ou palestra).

• PORTO, A. S. . Wittgenstein e a Generalidade em Matemática. 1999. (Apresentação de Trabalho/Comunicação).

• PORTO, A. S. . A filosofia da matemática de Wittgenstein e a noção de modelo. 1999. (Apresentação de Trabalho/Comunicação).

• PORTO, A. S. . Hilbert e Wittgenstein e a notação em barras. 1999. (Apresentação de Trabalho/Comunicação).

• PORTO, A. S. . Trivalência e Composicionalismo. 1998. (Apresentação de Trabalho/Comunicação).

• PORTO, A. S. . A filosofia da matemática de Wittgenstein e a noção de erro. 1998. (Apresentação de Trabalho/Comunicação).

• PORTO, A. S. . Construtivismo Matemático de Wittgenstein. 1997. (Apresentação de Trabalho/Comunicação).

• PORTO, A. S. . Wittgenstein e o Intuicionismo. 1997. (Apresentação de Trabalho/Comunicação).

• PORTO, A. S. . Máquina de Turing e o conceito de fim da fita significativa. 1994. (Apresentação de Trabalho/Comunicação).

• PORTO, A. S. . Wittgenstein, Common Practice and Mathematics. 1993. (Apresentação de Trabalho/Comunicação).

• PORTO, A. S. . Wittgenstein e o problema das regras. 1993. (Apresentação de Trabalho/Comunicação).

• PORTO, A. S. . Identity as Back and Forth Correction. Nova Iorque: The Bulletin of Symbolic Logic vol. 15, N. 3/Setembro 2009, 2007 (Resumo).

Outras produções

Projetos de pesquisa

• 2024 - 2024

  MISSÃO DE TRABALHO COM O PROFESSOR DAG PRAWITZ, Descrição: Dois Encontros de trabalho para discussão do manuscrito de meu livro "Mathematics and Time: A Reconstruction of Wittgenstein's Philosophy of Mathematics". , Situação: Concluído; Natureza: Pesquisa. , Integrantes: André da Silva Porto - Coordenador / Dag Prawitz - Integrante.

• 2024 - 2024

  MISSÃO DE TRABALHO COM O PROFESSOR JEAN-PHILIPPE NARBOUX, Descrição: Quatro Encontros de trabalho para discussão do manuscrito de meu livro "Mathematics and Time: A Reconstruction of Wittgenstein's Philosophy of Mathematics" e a Filosofia de Wittgenstein em geral. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: André da Silva Porto - Coordenador / Araceli Velloso - Integrante / Jean-Philippe Narboux - Integrante.

• 2023 - 2023

  MISSÃO DE TRABALHO COM O PROFESSOR JEAN-PHILIPPE NARBOUX, Descrição: 19 a 23 de JUNHO, Local: Université Bordeaux Montaigne, França Objetivo: Discussão do o meu livro "MATHEMATICS AND TIME: A RECONSTRUCTION OF WITTGENSTEIN'S PHILOSOPHY OF MATHEMATICS".. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: André da Silva Porto - Coordenador / Jean-Philippe Narboux - Integrante.

• 2023 - Atual

  Fundamentação da Matemática: A Alternativa Oriunda de uma Grande Convergência, Descrição: O foco central de minha pesquisa recente e de meu projeto para o próximo triênio diz respeito fundamentalmente à convergência recente entre computação, construtivismo e a abordagem categórica. Essas mudanças envolvem vários níveis. No contexto da matemática, o uso do computador deixa de ser apenas uma ferramenta de cálculo (como ocorreu incialmente) e passa a ser uma ferramenta de auxílio nas demonstrações. A segunda tradição a que nos referimos acima é a tradição intuicionista, particularmente o intuicionismo construtivista contemporâneo iniciado por Errett Bishop na década de 60, e seus seguidores, principalmente Fred Richman e Douglas Bridges e, mais recentemente, o que poderíamos chamar de o ?intuicionismo sueco? de Dag Prawitz, Per Martin-Löf e Göran Sundholm. Por fim, temos a terceira e rica tradição da Teoria das Categorias de Saunders Mac Lane, Alexander Grothendieck e William Lawvere.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Especialização: (2) / Mestrado acadêmico: (3) Doutorado: (2) . , Integrantes: André da Silva Porto - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.

• 2020 - 2022

  Alternativas ao Classicismo Extensional, o Intuicionismo e a Filosofia da Matemática de Wittgenstein, Descrição: Para se chegar a um entendimento mais adequado da discussão atual sobre fundamentos da matemática e da lógica, é preciso mais do que nunca comparar as interpretações tradicionais, clássicas, extensionais, com propostas alternativas intensionais, principalmente (mas não apenas) com aquelas oriundas do novo intuicionismo de Bishop e de Martin-Löf.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (3) / Doutorado: (2) . , Integrantes: André da Silva Porto - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.

• 2020 - Atual

  Seminário sobre Intuicionismo e Fundamentos da Matemática, Descrição: Série de Seminários On-Line sobre fundamentos da matemática envolvendo pesquisadores nacionais e interacionais. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: André da Silva Porto - Coordenador / João Vergílio Gallerani Cuter - Integrante / Marcelo Carvalho - Integrante / José Ferreirós - Integrante / Abilio Azambuja Rodrigues Filho - Integrante / Abel Lassalle Casanave - Integrante / Jean-Philippe Narboux - Integrante / Alberto Naibo - Integrante / Tiago Tranjan - Integrante.

• 2019 - Atual

  Teorias da Magnitude e do Continuum, Situação: Em andamento; Natureza: Pesquisa. , Integrantes: André da Silva Porto - Coordenador.

• 2017 - 2019

  Teorias da Magnitude e do Continuum, Descrição: Duas tradições, a intuicionista e a categórica. Ambas rejeitam o princípio clássico do terceiro excluído, ainda que por rotas completamente distintas. E, como procurarmos enfatizar em nossa discussão até aqui, em ambos os casos essa rejeição tem suas raízes mais profundas numa divergência de abordagem a própria teoria central à matemática como um todo, a Análise. É na teoria do Continuum, no problema de como conceber a microestrutura de uma extensão ? de uma reta por exemplo ? que encontramos a arena adequada para compreendermos as raízes desse estranho cisma que ocorre no interior da lógica e da matemática.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (3) / Doutorado: (1) . , Integrantes: André da Silva Porto - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.

• 2016 - 2017

  Capes-Cofecub "Preves, Demonstrations et représentation"., Situação: Concluído; Natureza: Pesquisa. , Integrantes: André da Silva Porto - Integrante / Luiz Carlos Pereira - Integrante / Oswaldo Chateaubriand - Coordenador / Marco Panza - Integrante.

• 2016 - 2016

  MISSÃO DE TRABALHO COM O PROFESSOR DAG PRAWITZ, Descrição: Período: 4 a 12 de Setembro de 2016Local: Department of Theoretical Philosophy, Stockholm University, SwedenObjetivo: Discussão sobre o meu manuscrito "WITTGENSTEINS PHILOSOPHY OF MATHEMATICS". , Situação: Concluído; Natureza: Pesquisa. , Integrantes: André da Silva Porto - Coordenador / Sören Stenlund - Integrante / Dag Prawitz - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Cooperação., Número de produções C, T & A: 4

• 2016 - Atual

  Seminário sobre Intuicionismo e Fundamentos da Matemática, Descrição: Trata-se de um Seminário sobre Fundamentação da Matemática e Intuicionismo. Esses seminários ocorrem normalmente de duas em duas semanas, com professores convidados, alunos de pós-graduação e de graduação.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: André da Silva Porto - Coordenador / José Ferreirós - Integrante / Abilio Azambuja Rodrigues Filho - Integrante / Abel Lassalle Casanave - Integrante.

• 2014 - 2016

  Wittgenstein, Matemática Categórica e as Teorias do Espaço, Descrição: Este projeto de pesquisa é uma continuação da proposta anterior CNPq 305076/2010-8 do período 2011/2013. A idéia norteadora daquele projeto, a sugestão de aproximar as noções de ?regra?, de Wittgenstein, de ?categórico de observação?, de Quine, da noção de ?morfismo?, da Teoria das Categorias, permanece central. O novidade importante do presente projeto é uma conexão mais orgânica de um subtema da pesquisa anterior, a Análise Suave, com a hipótese principal. Isso foi decorrente de um recente progresso em nossa compreensão do assunto. A nova idéia é a de que seria iluminador ver o contraste entre as abordagens que estamos favorecendo (a de Wittgenstein e da Teoria das Categorias), e outras abordagens (como a Clássica e a Intuicionista) como dizendo respeito fundamentalmente à maneira como essas entendem a idéia de aplicação da matemática a contextos empíricos. Nas novas abordagens, essa conexão seria de ?2ª ordem?, e não de ?1ª ordem?, como querem as propostas mais tradicionais. A matemática não falaria diretamente sobre a realidade empírica, mas, sim, sobre conceitos que, por sua vez, podem ser usados em proposições empíricas.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (2) / Doutorado: (1) . , Integrantes: André da Silva Porto - Coordenador / Hiury Duarte Correia - Integrante / Araceli Velloso - Integrante / João Vergílio Gallerani Cuter - Integrante / Bento Prado Neto - Integrante / Marcelo Carvalho - Integrante / José Ferreirós - Integrante / Décio Krause - Integrante / Sören Stenlund - Integrante / Bruno Rigonato Mundim - Integrante / Abel Lassalle Casanave - Integrante.

• 2011 - 2013

  Invariância, Tradução e os Fundamentos da Matemática, Descrição: O presente projeto de pesquisa aposta em duas idéias, as idéias de tradução e invariância. Nossa aposta é a de que essas duas idéias possam oferecer um solo comum, uma arena adequada, na qual se possa comparar e avaliar iluminadoramente as várias propostas e posições da situação atual da discussão sobre os fundamentos da matemática formando uma ponte entre abordagens na Matemática, com a Teoria das Categorias, em Lógica, com as Teorias Contemporâneas dos Tipos e em Filosofia, com os trabalhos de Ludwig Wittgenstein e Willard Van Orman Quine. Em nossa avaliação, estamos em uma época em que novamente se abre a possibilidade de um intenso diálogo entre a matemática, a lógica, com a filosofia. Isso envolveria até mesmo uma nova ?teoria do espaço?: representada pela Análise Suave de Lawvere e Kock.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: André da Silva Porto - Coordenador / Araceli Velloso - Integrante / Cristiano Novaes de Rezende - Integrante., Número de produções C, T & A: 2

• 2011 - 2013

  Invariância, Tradução e os Fundamentos da Matemática, Descrição: O presente projeto de pesquisa aposta em duas idéias, as idéias de tradução e invariância. Nossa aposta é a de que essas duas idéias possam oferecer um solo comum, uma arena adequada, na qual se possa comparar e avaliar iluminadoramente as várias propostas e posições da situação atual da discussão sobre os fundamentos da matemática formando uma ponte entre abordagens na Matemática, com a Teoria das Categorias, em Lógica, com as Teorias Contemporâneas dos Tipos e em Filosofia, com os trabalhos de Ludwig Wittgenstein e Willard Van Orman Quine. Em nossa avaliação, estamos em uma época em que novamente se abre a possibilidade de um intenso diálogo entre a matemática, a lógica, com a filosofia. Isso envolveria até mesmo uma nova ?teoria do espaço?: representada pela Análise Suave de Lawvere e Kock.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (2) / Doutorado: (0) . , Integrantes: André da Silva Porto - Coordenador / Hiury Duarte Correia - Integrante / Araceli Velloso - Integrante / João Vergílio Gallerani Cuter - Integrante / Bento Prado Neto - Integrante / José Ferreirós - Integrante / Sören Stenlund - Integrante / Bruno Rigonato Mundim - Integrante., Financiador(es): Associação dos Servidores do CNPq - Bolsa.

• 2006 - 2009

  Edital CNPq 07/2006 -, Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (3) Doutorado: (2) . , Integrantes: André da Silva Porto - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

• 2006 - Atual

  Grupo de pesquisa em Semântica e Filosofia da Lógica - CNPq, Descrição: O Grupo de pesquisa sobre Semântica e Filosofia da Lógica reúne um pequeno grupo de pesquisadores interessados nas áreas de externalismo semântico, filosofia da lógica e da matemática. Um ponto inicial que nos une é a idéia de uma mediação entre duas abordagens tradicionais da filosofia analítica. De um lado, uma abordagem mais formal, de caráter lógico, abstrato, que interessa a muitos membros do grupo. De outra, uma preocupação com o intercâmbio lingüístico concretamente dado, da linguagem como instância básica intersubjetiva. É o interesse na confluência dessas duas tradições que tem caracterizado o diálogo entre os pesquisadores listados. O grupo têm organizado um colóquio anual, o Colóquio de Semântica e Filosofia da Lógica, e acaba de receber apoio do CNPq na forma de um programa "casadinho" de apoio à pesquisa.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (3) . , Integrantes: André da Silva Porto - Coordenador / Luiz Carlos Pereira - Integrante / Hiury Duarte Correia - Integrante / Araceli Velloso - Integrante / Rogério Corrêa Saucedo - Integrante / Alexandre Noronha Machado - Integrante / Celso Reni Braida - Integrante / Dirk Greimann - Integrante / João Vergílio Gallerani Cuter - Integrante / Paulo Francisco Estrella Faria - Integrante / Renata Maria Santos Arruda - Integrante / Vinicius Rodrigues Maione - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

• 2005 - 2010

  Construtivismo, modalidades e a noção de Prova Indutiva, Descrição: O objetivo principal de nossa pesquisa é explorar a extensa discussão de Wittgenstein sobre provas indutivas, de forma a extrair daí uma nova interpretação para esse tipo de demonstração. O núcleo dessa nova abordagem para as provas indutivas seria um cálculo - o "cálculo algébrico-iterativo". A importância desse cálculo é que ele evitaria um elemento aparentemente fundamental desse tipo de provas, a referência a um objeto infinitário, uma cadeia infinita de condicionais. Ao invés de uma abordagem vertical, fundacionalista (o fundamento da verdade de Pn+1 está sempre em Pn), teríamos uma abordagem horizontal, algébrica, livre da referência àquele objeto infinito. O componente viabilizador de toda essa tradução (das provas ordinárias em provas no cálculo algébrico), por sua vez, seria a idéia de iteração de uma operação, Opn(x). Dessa maneira, o produto final de uma demonstração indutiva não seria mais um objeto infinitário, mas, sim, um enunciado da forma Op1n(x) = Op2n(x).. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: André da Silva Porto - Coordenador / Hiury Duarte Correia - Integrante / Araceli Velloso - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro., Número de produções C, T & A: 12

• 2003 - 2008

  Tradução Radical e Ruptrua Comunicacional, Descrição: O presente projeto de pesquisa visa explorar: 1. Até que ponto não haveria uma convergência entre essas duas propostas teóricas - a idéia de tradução radical de Quine e Davidson e a idéia de ruptura comunicacional de Frege e Wittgenstein - de tal forma que poderíamos encará-las, ambas, como partindo de uma única intuição semântica básica a idéia de triangularização. 2. A aproximação da tese da inescrutabilidade da referência, defendida por Quine, da tese da não-predicatividade das regras gramaticais, defendida por Wittgenstein. Desta maneira, a justificativa de Quine de porque a interpretação de sentenças com estrutura predicativa estariam sempre abertas a uma indeterminação poderia explicar a estranha tese de Wittgenstein de que as proposições matemáticas não poderiam ser interpretadas como envolvendo predicação alguma. 3. A proposta semântica que está pressuposta em toda a discussão sobre experimentos imaginários de tradução radical e de ruptura comunicacional: a idéia da conexão sentido/possibilidade real. Segundo essa conexão, já claramente delineada no Tractatus Logico-Philosophicus de Wittgenstein, para sabermos o sentido de um proferimento deveríamos tentar estabelecer em que situações possíveis (estados de coisas) assentiríamos para esse proferimento, e em que situações possíveis dissentiríamos dele.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: André da Silva Porto - Coordenador / Araceli Velloso - Integrante., Número de produções C, T & A: 11