André da Silva Porto

Bolsista de Produtividade em Pesquisa do CNPq - Nível 2

  • Endereço para acessar este CV: http://lattes.cnpq.br/3598537464598916
  • Última atualização do currículo em 31/01/2018


Professor Associado da Universidade Federal de Goiás. Seus interesses de pesquisa incluem filosofia da matemática e da lógica, Wittgenstein, semântica e externalismo em geral. (Texto informado pelo autor)


Identificação


Nome
André da Silva Porto
Nome em citações bibliográficas
PORTO, A. S.

Endereço


Endereço Profissional
Universidade Federal de Goiás, Fchf, Departamento de Filosofia.
Campus Samambaia s/n
Samambaia
74001970 - Goiânia, GO - Brasil - Caixa-postal: 131
Telefone: (62) 35211129
URL da Homepage: http://www.fchf.ufg.br/pos-filosofia/page.php


Formação acadêmica/titulação


1997 - 2002
Doutorado em Filosofia.
Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio, Brasil.
Título: As bases filosóficas do construtivistmo matemático de Wittgenstein, Ano de obtenção: 2002.
Orientador: Luiz Carlos Pereira.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Palavras-chave: Wiittgenstein; Filosofia da matemática; Semântica; Modalidades; Frege; Tractatus.
Grande área: Ciências Humanas
1992 - 1995
Mestrado em Filosofia.
Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio, Brasil.
Título: O conceito de expansão infinita em Wittgenstein,Ano de Obtenção: 1995.
Orientador: Luiz Carlos Pereira.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Palavras-chave: Filosofia da matemática; Construtivismo; Correção Cruzada; Dízimas Periódicas; Expansões Infinitas; Wiittgenstein.
Grande área: Ciências Humanas
Setores de atividade: Educação Superior.
1981 - 1984
Graduação em Bachelor Of Arts.
State University of New York, SUNY, Estados Unidos.




Atuação Profissional



Institute for the History of Science and Technology, IHPST, França.
Vínculo institucional

2016 - 2017
Vínculo: , Enquadramento Funcional:


Stockholm University, SU, Suécia.
Vínculo institucional

2016 - 2016
Vínculo: , Enquadramento Funcional:


Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Vínculo institucional

2011 - 2013
Vínculo: , Enquadramento Funcional:


Universidade Federal Fluminense, UFF, Brasil.
Vínculo institucional

1999 - 2001
Vínculo: Professor Visitante, Enquadramento Funcional: , Carga horária: 0

Atividades

3/1999 - 12/2001
Ensino, Bacharelado Em Filosofia, Nível: Graduação

Disciplinas ministradas
Estética, História da Filosofia

Universidade Santa Úrsula, USU, Brasil.
Vínculo institucional

1988 - 1991
Vínculo: Professor Visitante, Enquadramento Funcional: , Carga horária: 0

Atividades

3/1988 - 12/1991
Ensino,

Disciplinas ministradas
Teoria da Arte

Universidade Federal de Goiás, UFG, Brasil.
Vínculo institucional

2002 - Atual
Vínculo: Servidor Público, Enquadramento Funcional: Professor Associado, DE, Carga horária: 40, Regime: Dedicação exclusiva.

Vínculo institucional

2009 - 2013
Vínculo: Diretor da Fac de Filosofia, Enquadramento Funcional: Diretor da Faculdade de Filosofia

Vínculo institucional

2007 - 2008
Vínculo: Coordenador da Pós, Enquadramento Funcional: Coordenador do Programa de Pós graduação

Vínculo institucional

2006 - 2007
Vínculo: Chefe do Departamento, Enquadramento Funcional: Chefe do Departamento de Filosofia

Atividades

7/2002 - Atual
Pesquisa e desenvolvimento , Fchf, Departamento de Filosofia.

7/2002 - Atual
Ensino, Filosofia, Nível: Pós-Graduação

Disciplinas ministradas
Filosofia da Linguagem
7/2002 - Atual
Ensino, Filosofia, Nível: Graduação

Disciplinas ministradas
Lógica
Filosofia da matemática
Filosofia da mente
2/2006 - 12/2008
Direção e administração, Fchf, Departamento de Filosofia.

Cargo ou função
Coordenador de programa de pós-graduação.
4/2005 - 2/2006
Direção e administração, Fchf, Departamento de Filosofia.

Cargo ou função
Chefe de Departamento.

Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio, Brasil.
Vínculo institucional

2001 - 2002
Vínculo: Professor Visitante, Enquadramento Funcional: , Carga horária: 0

Atividades

3/2001 - 12/2002
Ensino, Engenharia da Comutação, Nível: Graduação

Disciplinas ministradas
Lógia I
Filosofia da Matemática

Universidade Estácio de Sá, UNESA, Brasil.
Vínculo institucional

2001 - 2002
Vínculo: Professor Visitante, Enquadramento Funcional: , Carga horária: 0

Atividades

3/2001 - 12/2002
Ensino, Psicologia, Nível: Graduação

Disciplinas ministradas
Filosofia I e II


Linhas de pesquisa


1.
Filosofia da Linguagem
2.
Filosofia da matemática e da Lógica


Projetos de pesquisa


2016 - 2017
Capes-Cofecub "Preves, Demonstrations et représentation".
Situação: Concluído; Natureza: Pesquisa.
2016 - 2016
MISSÃO DE TRABALHO COM OS PROFESSORES DAG PRAWITZ E SÖREN STELUND
Descrição: Período: 4 a 12 de Setembro de 2016 Local: Department of Theoretical Philosophy, Stockholm University, Sweden Objetivo: Discussão sobre o meu manuscrito "WITTGENSTEIN?S PHILOSOPHY OF MATHEMATICS".
Situação: Concluído; Natureza: Pesquisa.
2014 - Atual
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: Em andamento; 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.
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.
2011 - Atual
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: Em andamento; Natureza: Pesquisa.
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


Membro de comitê de assessoramento


2013 - Atual
Agência de fomento: Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
2013 - Atual
Agência de fomento: Fundação de Amparo a Pesquisa do Estado de Goiás


Áreas de atuação


1.
Grande área: Ciências Humanas / Área: Filosofia / Subárea: Epistemologia/Especialidade: Filsofia da Matemática.
2.
Grande área: Ciências Humanas / Área: Filosofia / Subárea: Lógica.
3.
Grande área: Ciências Humanas / Área: Filosofia / Subárea: Epistemologia/Especialidade: Filosofia da Mente.


Idiomas


Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Francês
Compreende Razoavelmente, Fala Pouco, Lê Razoavelmente, Escreve Pouco.
Espanhol
Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente.
Alemão
Compreende Razoavelmente, Fala Razoavelmente, Lê Razoavelmente, Escreve Razoavelmente.


Produções



Produção bibliográfica
Artigos completos publicados em periódicos

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

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

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

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

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

6.
PORTO, A. S.2010PORTO, 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.

7.
PORTO, A. S.2010PORTO, 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.

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

9.
PORTO, A. S.2009PORTO, 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.

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

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

12.
PORTO, A. S.2005PORTO, 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.

13.
PORTO, A. S.2005PORTO, 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.

14.
PORTO, A. S.2003PORTO, 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.

15.
PORTO, A. S.2003PORTO, 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.

Livros publicados/organizados ou edições
1.
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 .

Capítulos de livros publicados
1.
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.

2.
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.

Resumos publicados em anais de congressos
1.
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.

2.
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.

3.
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.

4.
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.

5.
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.

6.
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.

7.
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.

8.
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.

9.
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.

10.
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.

11.
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.

12.
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.

13.
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.

14.
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.

15.
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.

16.
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.

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

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

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

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

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

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

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

8.
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).

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

46.
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).

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

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

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

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

51.
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).

52.
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).

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

68.
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).

69.
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).

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Outras produções bibliográficas
1.
PORTO, A. S.. Identity as Back and Forth Correction. Nova Iorque: The Bulletin of Symbolic Logic vol. 15, N. 3/Setembro 2009, 2007 (Resumo).


Produção técnica
Assessoria e consultoria
1.
PORTO, A. S.. Prêmio Seferino Vaz. 2017.

2.
PORTO, A. S.. Presidente da Comissão Avaliadora do Prêmio ANPOF 2016. 2016.

3.
PORTO, A. S.. Comissão Institucional de Bolsas - Edital 03. 2016.

4.
PORTO, A. S.. Avaliação dos novos APCN e Minter/Dinter da CAPES. 2015.

5.
PORTO, A. S.. Membro do Comitê externo de Bolsas de Iniciação Científica - UEG. 2014.

6.
PORTO, A. S.. Membro da Comissão do Prêmio Capes - Teses e Dissertações em Filosofia. 2014.

7.
PORTO, A. S.. Consultor para a Avaliação Trienal Capes - Filosofia. 2013.

8.
PORTO, A. S.. Assessor da Fundação de Amparo à Pesquisa do Estado de Goiás FAPEG. 2013.

9.
PORTO, A. S.. Consultor para Avaliação Trienal Capes - Filosofia. 2011.

Trabalhos técnicos
1.
PORTO, A. S.. Parecer para o Revista Analytica. 2017.

2.
PORTO, A. S.. Parecer para a Revista Philósophos volume 22(1). 2017.

3.
PORTO, A. S.. Parecer para a Revista Philósophos volume 22(2). 2017.

4.
PORTO, A. S.. Parecer para a Revista Manucscrito ID MAN 2016-0073. 2017.

5.
PORTO, A. S.. Parecer Ad-Hoc CNPq. 2017.

6.
PORTO, A. S.. Parecer para a Revista Philósophos volume 19(2) 1. 2016.

7.
PORTO, A. S.. Parecer para a Revista Philósophos volume 20(2) 2. 2016.

8.
PORTO, A. S.. Parecer para a Revista Philósophos Volume 20(2) 1. 2016.

9.
PORTO, A. S.. Parecer para a Revista Manuscrito 2016-0046. 2016.

10.
PORTO, A. S.. PAEP 6286655. 2016.

11.
PORTO, A. S.. Consultor Ad Hoc de Demanda Espontânea Edital 03/2016. 2016.

12.
PORTO, A. S.. Parecer para a Revista Filosofia Unisinos - 10607. 2016.

13.
PORTO, A. S.. Parecer para a Revista Manuscrito 2016-0020. 2016.

14.
PORTO, A. S.. Parecer para a Revista Pincípios - Volume 23. 2016.

15.
PORTO, A. S.. PAEP 6290032. 2016.

16.
PORTO, A. S.. Parecer para a Revista Philósophos volume 20(2) 1. 2015.

17.
PORTO, A. S.. Parecerista ad hoc CNPq 450983/2015-3. 2015.

18.
PORTO, A. S.. Parecer para a Revista Analytica. 2015.

19.
PORTO, A. S.. Revista Signos Filsóficos. 2015.

20.
PORTO, A. S.. Parecer para a Revista Philósophos volume 20(1). 2015.

21.
PORTO, A. S.. Parecer para a Revista South American Journal of Logic. 2015.

22.
PORTO, A. S.. Parecerista ad hoc CAPES - Processo n 8054-15-0. 2015.

23.
PORTO, A. S.. Parecer para a Revista Philósophos volume 19(1) 1. 2014.

24.
PORTO, A. S.. Parecer para a Revista Philósophos volume 19(1) 2. 2014.

25.
PORTO, A. S.. Parecer para a Revista Philósophos volume 19(1) 3. 2014.

26.
PORTO, A. S.. Parecer para a Revista Notae Philosophicae Scientiae Formalis. 2014.

27.
PORTO, A. S.. Parecer para a Revista Analytica. 2014.

28.
PORTO, A. S.. Parecer para a Revista Filosofia Unisinos. 2014.

29.
PORTO, A. S.. Parecer para a Revista Philósophos volume 19(1) 4. 2014.

30.
PORTO, A. S.. Parecerista ad hoc CNPq 309233/2014-3. 2014.

31.
PORTO, A. S.. Parecerista ad hoc CAPES - Chamada BEX 6899-14-5. 2014.

32.
PORTO, A. S.. Parecer para a Revista Inquietude volume 5 (2) 1. 2014.

33.
PORTO, A. S.. Parecer para a Revista Analytica. 2014.

34.
PORTO, A. S.. Parecerista Ad hoc - CNPq - 490210/2013-9. 2013.

35.
PORTO, A. S.. Parecerista Ad hoc - CNPq - 470052/2013-9. 2013.

36.
PORTO, A. S.. Parecer para a Revista Philósophos volume 17(2) 1. 2013.

37.
PORTO, A. S.. Parecer para a Revista Philósophos volume 17(2) 2. 2013.

38.
PORTO, A. S.. Parecer para a Revista Philósophos volume de 18(1) 4. 2013.

39.
PORTO, A. S.. Parecer para a Revista Philósophos volume 17(2) 3. 2013.

40.
PORTO, A. S.. Parecer para a Editora EDUFBA. 2013.

41.
PORTO, A. S.. Programa CAPES/DAAD 12801-133-5. 2013.

42.
PORTO, A. S.. Parecer para a revista Kínesis. 2013.

43.
PORTO, A. S.. Parecer para a Revista Philósophos volume de 18(1) 2. 2013.

44.
PORTO, A. S.. Parecer para a Revista Philósophos volume de 18(1) 3. 2013.

45.
PORTO, A. S.. Parecer para a Revista Kriteirion. 2013.

46.
PORTO, A. S.. Parecer para o Programa Capes/DAAD. 2013.

47.
PORTO, A. S.. Parecer para a Revista Philósophos volume de 18(2) 1. 2013.

48.
PORTO, A. S.. Parecer para a Revista Philósophos 1. 2012.

49.
PORTO, A. S.. Parecer para a Revista Philósophos 2. 2012.

50.
PORTO, A. S.. Parecer para a Princípia. 2012.

51.
PORTO, A. S.. Guia do Estudante. 2012.

52.
PORTO, A. S.. Consultor Externo para Pibic. 2011.

53.
PORTO, A. S.. Parecer para a Revista Philósophos. 2011.

54.
PORTO, A. S.. Parecer para a Revista Philósophos 2. 2010.

55.
PORTO, A. S.. Parecer para a Revista Philósophos 1. 2010.

56.
PORTO, A. S.. Parecer para a Revista Philósophos 3. 2010.

57.
PORTO, A. S.. Parecer sobre um livro da editora CEGRAF. 2010.

58.
PORTO, A. S.. Parecer para a Revista Philósophos. 2009.

59.
PORTO, A. S.. Parecer para a Revista Philósophos. 2009.

60.
PORTO, A. S.. Parecer para a Revista Analytica. 2009.

Redes sociais, websites e blogs
1.
PORTO, A. S.. Entrevista para a Revista Filosofia. 2013. (Site).

2.
PORTO, A. S.. VIII Colóquio Nacional e V Colóquio Internacional Wittgenstein - See more at: http://cameraweb.ccuec.unicamp.br/video/59y2o7s9wg37/#sthash.lkakRdPN.dpuf. 2013; Tema: Conjecturas, mutações semânticas e operações abstratas. (Site).


Demais tipos de produção técnica
1.
PORTO, A. S.. Mathematical Advancement, Rules and Semantical Mutation. 2017. (Curso de curta duração ministrado/Especialização).

2.
PORTO, A. S.. A Filosofia da Matemática em Wittgenstein. 2015. (Curso de curta duração ministrado/Especialização).

3.
PORTO, A. S.. Avanços Matemáticos: Descobertas ou Mutações. 2015. (Curso de curta duração ministrado/Especialização).

4.
PORTO, A. S.. A Filosofia da Matemática de Wittgenstein. 2015. (Curso de curta duração ministrado/Especialização).

5.
PORTO, A. S.. Filosofia da Matemática de Wittgenstein: infinitude e Propriedades Essenciais. 2013. (Curso de curta duração ministrado/Especialização).

6.
FERREIROS, J. ; PORTO, A. S. ; KRAUSE, D. ; RODRIGUES FILHO, A. A. . Workshop em Teoria do Número e do Espaço. 2012. (Curso de curta duração ministrado/Especialização).

7.
PORTO, A. S.. O Problema da Identidade em Frege e Wittgenstein. 2011. (Curso de curta duração ministrado/Especialização).

8.
PORTO, A. S.. Predicação e Identidade em Frege. 2010. (Curso de curta duração ministrado/Especialização).

9.
PORTO, A. S.. Invariância e Tradução. 2009. (Curso de curta duração ministrado/Especialização).

10.
PORTO, A. S.. A Filosofia da Matemática de Wittgenstein. 2007. (Curso de curta duração ministrado/Especialização).

11.
PORTO, A. S.. Wittgenstein e Correção Cruzada: A Filosofia da Matemática. 2007. (Curso de curta duração ministrado/Especialização).



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
PORTO, A. S.. Participação em banca de Lorenzzo Rodrigues Frade. Realismo Lógico e Pluralismo Lógico. 2017. Dissertação (Mestrado em Filosofia) - Universidade Federal de Minas Gerais.

2.
PORTO, A. S.. Participação em banca de Diego de Souza Avendaño. O Ocaso da noção de Combinatória do Tractatus. 2016. Dissertação (Mestrado em Filosofia) - Universidade Federal de Goiás.

3.
PORTO, A. S.; LECLERC, A.. Participação em banca de Hendrick Cordeiro de Maia e Silva. Nominalismo e Categorias: Teorias das Formas Esquemáticas e Functorialização. 2015. Dissertação (Mestrado em Filosofia) - Universidade Federal do Ceará.

4.
PORTO, A. S.; RODRIGUES FILHO, A. A.; COELHO, A. M. N.. Participação em banca de Jackeline Nogueira Paes. A rejeição do Princípio do Terceiro Excluído. 2014. Dissertação (Mestrado em Filosofia) - Universidade Federal de Minas Gerais.

5.
PORTO, A. S.. Participação em banca de Guilherme Silveira De Almeida Santos. Intencionalidade e Inteligência Artificial no pensamento de Dennet. 2013. Dissertação (Mestrado em Filosofia) - Universidade Federal de Goiás.

6.
PORTO, A. S.. Participação em banca de Bruno Rigonato Mundim. Uma Abordagem sobre a concepção de Proposição da Teoria Intuicionista dos Tipos. 2013.

7.
PORTO, A. S.; VELLOSO, A. R. S.; Ramme, N. Participação em banca de Carlos Eduardo Barbosa. A semiótica Geral de Nelson Goodman. 2010. Dissertação (Mestrado em Filosofia) - Universidade Federal de Goiás.

8.
VELLOSO, A. R. S.; Mortari, C; PORTO, A. S.. Participação em banca de Renato Rocha. O Realismo Modal de David Lewis. 2010. Dissertação (Mestrado em Filosofia) - Universidade Federal de Goiás.

9.
VELLOSO, A. R. S.; PORTO, A. S.; CUTER, J. V. G.. Participação em banca de Vinícius Rodrigues Maione intitulada. A Crítica de Frege ao Psicologismo. 2009. Dissertação (Mestrado em Filosofia) - Universidade Federal de Goiás.

10.
PORTO, A. S.; PEREIRA, L. C.; VELLOSO, A. R. S.. Participação em banca de Hiury Duarte Correia. Uma avaliação da estrutura de tipos presente na terceira seção da Begriffsscrift. 2009. Dissertação (Mestrado em Filosofia) - Universidade Federal de Goiás.

11.
VELLOSO, A. R. S.; PORTO, A. S.; DUTRA, L. H.. Participação em banca de Renata Maria Santos Arruda. Indução e confirmação: do "velho" problema ao "novo" enigma.. 2008. Dissertação (Mestrado em Filosofia) - Universidade Federal de Goiás.

12.
PORTO, A. S.; VELLOSO, A. R. S.; SALLES, J. C.. Participação em banca de Luciano Lima de Souza. O conceito de campo visual e a noção de cópia nas teorias perceptuais. 2008. Dissertação (Mestrado em Filosofia) - Universidade Federal de Goiás.

13.
ARMIJOS PALÀCIOS, G.; PORTO, A. S.; WYLLIE, G.. Participação em banca de Sebastião Alonso Júnior. Necessidade gramatical e práticas humanas: os jogos de linguagem na segunda filosofia de Ludwig WIttgenstein. 2008. Dissertação (Mestrado em Filosofia) - Universidade Federal de Goiás.

Teses de doutorado
1.
PORTO, A. S.; Prado, B.. Participação em banca de Anderson Luiz Nakano. A Matemática das Philosophische Bemerkungen: Wittgenstein no Contexto da Grunlagenkrise. 2015. Tese (Doutorado em Filosofia) - Universidade Federal de São Carlos.

2.
PORTO, A. S.; Évora, F; CHIBENI, S. S.; Rezende, C; BARRA, E. S. O.. Participação em banca de Alex Calazans. George Berkeley e o problema da Inteligibilidade dos Objetos Matemáticos. 2014. Tese (Doutorado em Doutorado) - Universidade Estadual de Campinas.

3.
PORTO, A. S.; SUNDHOLM, G.; JOHANSSON, L.; RIDER, S.; STELUND, S.. Participação em banca de Kim Solim. The Mathematician as Mathematics: Theories of Computation in Light of Wittgenstein's Thought. 2013. Tese (Doutorado em Theoretical Philosophy) - Uppsala University.

4.
CHATEAUBRIAND, O.; MARCONDES, D.; PEREIRA, L. C.; CUTER, J. V. G.; PORTO, A. S.. Participação em banca de Camila Aparecida Rodrigues Jourdan. Impredicatividade, Generalidade e o Desenvolvimento do Pensamento de Wittgenstein. 2009. Tese (Doutorado em Filosofia) - Pontifícia Universidade Católica do Rio de Janeiro.

5.
CHATEAUBRIAND, O.; PEREIRA, L. C.; PORTO, A. S.; MARCONDES, D.; RUFFINO, MARCO. Participação em banca de Abílio Azambuja Rodrigues Filho. Frege, Fazedores de Verdade e o argumento da Funda. 2007. Tese (Doutorado em Filosofia) - Pontifícia Universidade Católica do Rio de Janeiro.

Qualificações de Doutorado
1.
PEREIRA, L. C.; CHATEAUBRIAND, O.; PORTO, A. S.. Participação em banca de Camila Aparecida Rodrigues Jouran. Tarski, Wittgenstein e o Intuicionismo. 2007. Exame de qualificação (Doutorando em Filosofia) - Pontifícia Universidade Católica do Rio de Janeiro.

Trabalhos de conclusão de curso de graduação
1.
PORTO, A. S.. Participação em banca de Diego Marques Bringel.Uma defesa lógica dos Modernos: a logique de port-royal. 2016.

2.
PORTO, A. S.. Participação em banca de Adegmar Gomes de Faria.A Análise de Ramsey das Determinações-A em termos das Relações-B. 2016. Trabalho de Conclusão de Curso (Graduação em Abi - Filosofia) - Universidade Federal de Goiás.

3.
PORTO, A. S.; VELLOSO, A. R. S.; Rosa, M.. Participação em banca de Davi Maranhão Conti.Um olhar sobre Donald Davidson. 2010. Trabalho de Conclusão de Curso (Graduação em Filosofia) - Universidade Federal de Goiás.

4.
PORTO, A. S.; VELLOSO, A. R. S.; Rosa, M.. Participação em banca de Bruno Rigonato Mundim.Teoria dos Tipos. 2010. Trabalho de Conclusão de Curso (Graduação em Filosofia) - Universidade Federal de Goiás.

5.
VELLOSO, A. R. S.; PORTO, A. S.; Rosa, M.. Participação em banca de Hermógenes Pereira.Empirismo Semântico. 2010. Trabalho de Conclusão de Curso (Graduação em Filosofia) - Universidade Federal de Goiás.

6.
VELLOSO, A. R. S.; PORTO, A. S.; CORREIA, Adriano. Participação em banca de Erondy Silveira de Oliveira.Tradição e ruptura no conceito de "inconsciente" em Freud. 2008. Trabalho de Conclusão de Curso (Graduação em Filosofia) - Universidade Federal de Goiás.

7.
PORTO, A. S.; VELLOSO, A. R. S.; CORREIA, Adriano. Participação em banca de Suzane Andrade Ferreira.A noção de causa e o experimento imaginário da volta no tempo. 2008. Trabalho de Conclusão de Curso (Graduação em Filosofia) - Universidade Federal de Goiás.

8.
ARAUJO, A.; PORTO, A. S.; BOTELHO, M. C.. Participação em banca de Luiz Gustavo Fonseca de Araújo.Mente, Intencionalidade e Linguagem na concepção de John Searle. 2007. Trabalho de Conclusão de Curso (Graduação em Filosofia) - Universidade Federal de Goiás.

9.
VELLOSO, A. R. S.; PORTO, A. S.; SAUCEDO, R. C.. Participação em banca de Renato Mendes Rocha.A implicação Material e as sentenças Condicionais. 2007. Trabalho de Conclusão de Curso (Graduação em Filosofia) - Universidade Federal de Goiás.

10.
PORTO, A. S.; CORREIA, Adriano; VELLOSO, A. R. S.. Participação em banca de Cláudio Alexandre Figueira Gomes.A noção Wittgensteineana de "testemunho imediato" como crítica ao Emprismo Lógico. 2007. Trabalho de Conclusão de Curso (Graduação em Filosofia) - Universidade Federal de Goiás.

11.
VELLOSO, A. R. S.; SAUCEDO, R. C.; PORTO, A. S.. Participação em banca de Vinicius Rodrigues Maione.A Crítica de Quine à noção de sentido de Frege. 2007. Trabalho de Conclusão de Curso (Graduação em Filosofia) - Universidade Federal de Goiás.

12.
VELLOSO, A. R. S.; SAUCEDO, R. C.; PORTO, A. S.. Participação em banca de Lenador Lima de Paula.Duas abordagens modernas acerca do Princípio da Abstração. 2007. Trabalho de Conclusão de Curso (Graduação em Filosofia) - Universidade Federal de Goiás.

13.
PORTO, A. S.; SAUCEDO, R. C.; VELLOSO, A. R. S.. Participação em banca de Hiury Duarte Correia.Frege e a Definição Logicista de Número. 2007. Trabalho de Conclusão de Curso (Graduação em Filosofia) - Universidade Federal de Goiás.

14.
PORTO, A. S.; SAUCEDO, R. C.; VELLOSO, A. R. S.. Participação em banca de Wânia Maria Ribeiro.A teoria da Figuração em Wittgenstein. 2007. Trabalho de Conclusão de Curso (Graduação em Filosofia) - Universidade Federal de Goiás.

15.
VELLOSO, A. R. S.; PORTO, A. S.; SAUCEDO, R. C.. Participação em banca de Felipe Pereira Pinto.O Problema da Indução e a racionalidade das Ciências Experimentais. 2007. Trabalho de Conclusão de Curso (Graduação em Filosofia) - Universidade Federal de Goiás.

16.
PORTO, A. S.; VELLOSO, A. R. S.; SAUCEDO, R. C.. Participação em banca de Danilo Rodrigues Pimenta.Função e Proposição: uma analogia. 2006. Trabalho de Conclusão de Curso (Graduação em Filosofia) - Universidade Federal de Goiás.

17.
PORTO, A. S.; ARMIJOS, Gonzalo; SAUCEDO, R. C.. Participação em banca de Dhyogo Nunes Costa.Crítica à concepção Agostiniana da Linguagem. 2006. Trabalho de Conclusão de Curso (Graduação em Filosofia) - Universidade Federal de Goiás.

18.
PORTO, A. S.; VELLOSO, A. R. S.; ARMIJOS, Gonzalo. Participação em banca de Lucinana Arminda Alves Gomes e Silva.A Teoria da Figuração em Wittgenstein. 2005. Trabalho de Conclusão de Curso (Graduação em Filosofia) - Universidade Federal de Goiás.

19.
PORTO, A. S.; MELO, Arthuraraújo; ARMIJOS, Gonzalo. Participação em banca de Thiago Pinheiro Oliveira.A Superação da dicotomia Metafisica a partir do projeto filosófico de Martin Heidegger. 2005. Trabalho de Conclusão de Curso (Graduação em Filosofia) - Universidade Federal de Goiás.

20.
PORTO, A. S.; MELO, Arthuraraújo; ARMIJOS, Gonzalo. Participação em banca de Charliston Pablo do Nascimento.A relação entre a arte e a verdade no pensamento de Martin Heidegger. 2005. Trabalho de Conclusão de Curso (Graduação em Filosofia) - Universidade Federal de Goiás.

21.
PORTO, A. S.. Participação em banca de Relton Santos Ramos Júnior.O sujeito Monádico e a metafisica de Leibniz. 2005. Trabalho de Conclusão de Curso (Graduação em Filosofia) - Universidade Federal de Goiás.

22.
PORTO, A. S.; ARMIJOS, Gonzalo; SANZ, Wagner. Participação em banca de Adilson dos Santos Miranda.O conceito grego de natureza e sua importância na filosofia grega. 2004. Trabalho de Conclusão de Curso (Graduação em Filosofia) - Universidade Federal de Goiás.

23.
PORTO, A. S.; SANZ, Wagner; SILVA, Márcia Araújop da. Participação em banca de Alessandro Nunes Silva.Suposições existenciais em afirmações categóricas. 2004. Trabalho de Conclusão de Curso (Graduação em Filosofia) - Universidade Federal de Goiás.

24.
PORTO, A. S.; STEIN, S. I. A.; SANZ, Wagner. Participação em banca de Marcondes Rocha Carvalho.Linguagem e Mundo no primeiro Wittgenstein: algumas reflexões sobre a Teoria da Figuração. 2003. Trabalho de Conclusão de Curso (Graduação em Filosofia) - Universidade Federal de Goiás.

25.
PORTO, A. S.; STEIN, S. I. A.; BRITO, Adriano Naves de. Participação em banca de Graziela Cândido Gonçalves.As sentenças protocolares e o fundamento do Conhecimento. 2003. Trabalho de Conclusão de Curso (Graduação em Filosofia) - Universidade Federal de Goiás.



Participação em bancas de comissões julgadoras
Concurso público
1.
PORTO, A. S.; Prado, B.; MARQUES, E. R.; ANGIONI, L.; MARQUES, J. O. A.. Concurso Público para Professor Adjunto de Filosofia Contemporânea/Teoria do Conhecimento. 2013. Universidade Estadual de Campinas.

2.
PORTO, A. S.; Prado, B.; ANGIONI, L.. Concurso para Professor Adjunto de Filosofia Contemporânea/Teoria do Conhecimento. 2013. Universidade Estadual de Campinas.

3.
PORTO, A. S.; REIS, R. R.; Ferreria, F. Concurso para professor Adjunto de Filosofia Geral. 2010. Universidade Federal de Goiás.

4.
PORTO, A. S.; Évora, F; Bacellar, R. Concurso para professor adjunto de Filosofia da Ciência e Lógica. 2010. Universidade Estadual de Campinas.

5.
PORTO, A. S.; Maria Lúcia Cacciola; CORREIA, Adriano. Concurso para professor Adjunto de Ontologia e Metafísica. 2009. Universidade Federal de Goiás.

6.
PORTO, A. S.; PEREIRA, L. C.; Prado, B.; Carvalho, M. Concurso para professor adjunto de Filosofia e História da Lógica. 2009. Universidade Federal de São Paulo.

7.
PORTO, A. S.; Prado, B.; Da Silva, J; Bacellar, R. Concurso para professor das Disciplinas de Lógica e Filosofia do Pensamento Humano. 2009. Universidade Estadual de Campinas.

8.
ARMIJOS PALÀCIOS, G.; GNISS, R.; PORTO, A. S.. Professor Substituto. 2008. Universidade Federal de Goiás.

9.
PORTO, A. S.; SAUCEDO, R. C.; REIS, R. R.. Professor adjunto de Fenomenologia e Hermenêutica. 2006. Universidade Federal de Goiás.

10.
PORTO, A. S.; MARQUES, Jordino; SILVA, Márcia Araújop da. Professor Substituto. 2004. Universidade Federal de Goiás.



Eventos



Participação em eventos, congressos, exposições e feiras
1.
II Middle Wittgesntein International Coloquium.Wittgesntein and the Halting Problem. 2009. (Simpósio).

2.
XIII Colóquio Conesul de Filosofia das Ciências Formais.Os Naturais dados por Deus: indução e recursão. 2009. (Simpósio).

3.
XVI Semana de Filosofia da UFG. Necessidade e Sentido em Wittgenstein. 2009. (Congresso).

4.
CLE 30 Years - XV Brazilian Logic Conference - XIV Latin-American Symposium on Mathematical Logic. Wittgenstein, Dízimas periódicas e Correção Cruzada. 2008. (Congresso).

5.
Encontro Procad UFC/UFSM/PUC-RIO sobre Negação. Concordância e discordância em Wittgenstein. 2008. (Congresso).

6.
III Colóquio de Semântica e Filosofia da Lógica. Teoria das categorias e a análise suave. 2008. (Congresso).

7.
IV Colóquio Temático de Filosofia Analítica. Os três tipos de "conteúdo" e a noção de discordância. 2008. (Congresso).

8.
Séminaire de Logique.Wittgenstein on Inductive Proofs. 2008. (Seminário).

9.
XIII encontro nacional de filosofia ANPOF. Conteúdo proposicional, discordância e atribuição de sentido. 2008. (Congresso).


Organização de eventos, congressos, exposições e feiras
1.
PORTO, A. S.; CUTER, J. V. G. ; VELLOSO, A. R. S. ; SILVA, G. G. . IV Middle Wittgenstein Symposium. 2014. (Congresso).

2.
PORTO, A. S.; FERREIROS, J. ; KRAUSE, D. ; RODRIGUES FILHO, A. A. . Workshop sobre Teorias do Espaço e da Extensão. 2013. (Congresso).

3.
PORTO, A. S.; VELLOSO, A. R. S. ; SAUCEDO, R. C. ; FARIA, P. F. E. ; PEREIRA, L. C. ; CUTER, J. V. G. . III Colóquio de Semântica e Filosofia da Lógica. 2008. (Congresso).

4.
PORTO, A. S.; VELLOSO, A. R. S. . III Colóquio sobre Semântica e Filosofia da Lógica. 2008. (Congresso).

5.
PORTO, A. S.; VELLOSO, A. R. S. . II Colóquio sobre Semântica e Filosofia da Lógica. 2007. (Congresso).

6.
PORTO, A. S.; SAUCEDO, R. C. ; VELLOSO, A. R. S. ; PEREIRA, L. C. ; FARIA, P. F. E. ; CUTER, J. V. G. . II Colóquio de Semântica e Filosofia da Lógica. 2007. (Congresso).

7.
PORTO, A. S.; VELLOSO, A. R. S. ; SAUCEDO, R. C. ; FARIA, P. F. E. ; PEREIRA, L. C. ; CUTER, J. V. G. . I Colóquio de Semântica e Filosofia da Lógica. 2006. (Congresso).

8.
PORTO, A. S.; VELLOSO, A. R. S. . I Colóquio sobre Semântica e Filosofia da Lógica. 2006. (Congresso).



Orientações



Orientações e supervisões em andamento
Dissertação de mestrado
1.
Diogo Conceição da Silva. A mutação fundamental no tratamento da noção de generalidade que acontece do período inicial para o período intermediário de Wittgenstein. Início: 2016. Dissertação (Mestrado em Filosofia) - Universidade Federal de Goiás. (Orientador).

2.
Diego de Souza Avendano. Investigação sobre os conceitos de Sintaxe Lógica e de Gramática em Wittgenstein. Início: 2013. Dissertação (Mestrado em Filosofia) - Universidade Federal de Goiás, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. (Orientador).

Tese de doutorado
1.
Paulo Júnio de Oliveira. A natureza da incomensurabilidade e o problema da divisibilidade infinita na filosofia da matemática de Wittgenstein. Início: 2016. Tese (Doutorado em Filosofia) - Universidade Federal de Goiás. (Orientador).

2.
Filipe Borges Albernaz. O PROBLEMA FILOSÓFICO DO CONTÍNUO: a disputa entre Análise Clássica e Análise Suave. Início: 2016. Tese (Doutorado em Filosofia) - Universidade Federal de Goiás. (Orientador).

3.
Sebastião Alonso Júnior. As noções de compreensão e significado na filosofia posterior de Wittgenstein. Início: 2015. Tese (Doutorado em Filosofia) - Universidade Federal de Goiás. (Orientador).


Orientações e supervisões concluídas
Dissertação de mestrado
1.
Diego de Souza Avendaño. O Ocaso da noção de Combinatória do Tractatus. 2016. Dissertação (Mestrado em Filosofia) - Universidade Federal de Goiás, . Orientador: André da Silva Porto.

2.
Guilherme Silveira De Almeida Santos. Intencionalidade e Inteligência Artificial no pensamento de Dennet. 2013. Dissertação (Mestrado em Filosofia) - Universidade Federal de Goiás, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: André da Silva Porto.

3.
Chiyoko Gonçalves do Nascimento Oliveira. Representação em Nelson Goodman. 2013. Dissertação (Mestrado em Filosofia) - Universidade Federal de Goiás, . Orientador: André da Silva Porto.

4.
Bruno Rigonato Mundim. Uma Abordagem sobre a concepção de Proposição da Teoria Intuicionista dos Tipos. 2013. Dissertação (Mestrado em Filosofia) - Universidade Federal de Goiás, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: André da Silva Porto.

5.
Priscilla da Veiga Borges. Subjetividade e Idealismo no Tractatus e nas Observações Filosóficas. 2010. Dissertação (Mestrado em Filosofia) - Universidade Federal de Goiás, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: André da Silva Porto.

6.
Bruno Rigonato Mundim. Uma Abordagem sobre a concepção de Proposição da Teoria Intuicionista dos Tipos. 2010. Dissertação (Mestrado em Filosofia) - Universidade Federal de Goiás, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: André da Silva Porto.

7.
Claudio Alexandre Figueira Gomes. Generalidade e Impressão sensorial no Período Intermediário de Witttgenstein. 2009. Dissertação (Mestrado em Filosofia) - Universidade Federal de Goiás, . Orientador: André da Silva Porto.

8.
Luciano Lima de Souza. O Conceito de Campo Visual e a idéia de cópia nas teorias da Percepção. 2008. Dissertação (Mestrado em Filosofia) - Universidade Federal de Goiás, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: André da Silva Porto.

9.
Hiury Duarte Correia. UMA AVALIAÇÃO DA ESTRUTURA DE TIPOS PRESENTE NA TERCEIRA SEÇÃO DA BEGRIFFSSCHRIFT, À LUZ DO CÁLCULO LAMBDA.. 2007. Dissertação (Mestrado em Filosofia) - Universidade Federal de Goiás, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: André da Silva Porto.

10.
Carlos Eduardo Silva Barbosa. A Semiótica geral de Nelson Goodman. 2007. 0 f. Dissertação (Mestrado em Filosofia) - Universidade Federal de Goiás, . Orientador: André da Silva Porto.

11.
Ricardo Orsini. A teoria figurativa do Tractatus e a teoria dos modelos. 2006. 0 f. Dissertação (Mestrado em Filosofia) - Universidade Federal de Goiás, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: André da Silva Porto.

12.
Januário de Carvalho Nunes. Alguns aspectos da caracterização dos eventos mentais segundo Donald Davidson. 2006. 0 f. Dissertação (Mestrado em Filosofia) - Universidade Federal de Goiás, . Orientador: André da Silva Porto.

13.
Sílvio Carlos Marinho Ribeiro. A situação comunicativa: uma abordagem a partir dos conceitos fundamentias da obra ser e tempo de Heidegger. 2006. 0 f. Dissertação (Mestrado em Filosofia) - Universidade Federal de Goiás, . Orientador: André da Silva Porto.

Supervisão de pós-doutorado
1.
Leonardo Ferreira Almada. 2016. Universidade Federal de Goiás, . André da Silva Porto.

Monografia de conclusão de curso de aperfeiçoamento/especialização
1.
Silvio Oliveira e Silva Junior. DEFINIÇÃO DE NÚMERO NATURAL. 2009. Monografia. (Aperfeiçoamento/Especialização em Filosofia) - Universidade Federal de Goiás. Orientador: André da Silva Porto.

2.
Erondy Silveira de Oliveira. Tradição e ruptura no conceito de "inconsciente" em Freud. 2008. Monografia. (Aperfeiçoamento/Especialização em Filosofia) - Universidade Federal de Goiás. Orientador: André da Silva Porto.

3.
Suzane Andrade Ferreira. A noção de "causa" e o experimento imaginário da volta no tempo. 2008. Monografia. (Aperfeiçoamento/Especialização em Filosofia) - Universidade Federal de Goiás. Orientador: André da Silva Porto.

4.
Cláudio Alexandre Figueira Gomes. A noção wittgensteineana de "testemunho imediato" como crítica ao empirismo lógico. 2007. Monografia. (Aperfeiçoamento/Especialização em Filosofia) - Universidade Federal de Goiás. Orientador: André da Silva Porto.

5.
Hiury Duarte Correa. Frege e a definição logicista de número. 2006. Monografia. (Aperfeiçoamento/Especialização em Filosofia) - Universidade Federal de Goiás. Orientador: André da Silva Porto.

6.
Danilo Rodrigues Pimenta. Função e Proposição: uma analogia. 2006. Monografia. (Aperfeiçoamento/Especialização em Filosofia) - Universidade Federal de Goiás. Orientador: André da Silva Porto.

7.
Dhyogo Nunes da Costa. Crítica Semântica à concepção gostianiana de linguagem. 2006. Monografia. (Aperfeiçoamento/Especialização em Filosofia) - Universidade Federal de Goiás. Orientador: André da Silva Porto.

8.
Wânia Maria Ribeiro. A teoria da Figuarção no Tractatus de Wittgenstein. 2006. Monografia. (Aperfeiçoamento/Especialização em Filosofia) - Universidade Federal de Goiás. Orientador: André da Silva Porto.

9.
Luciana Arminda Alves Gomes e Silva. A teoria da figuração de Ludwig Wittgenstein. 2005. Monografia. (Aperfeiçoamento/Especialização em Filosofia) - Universidade Federal de Goiás. Orientador: André da Silva Porto.

10.
Josineide Ribeiro Martins. Um estudo comparativo entre os postulados da semântica formal e da semântica enunciativa. 2005. Monografia. (Aperfeiçoamento/Especialização em Letras) - Universidade Federal de Goiás. Orientador: André da Silva Porto.

Trabalho de conclusão de curso de graduação
1.
José Donizett de Almeida Júnior. Entre a Matemática e a Filosofia: alguns conceitos fundamentais da filosofia da lógica e da linguagem de Gottlob Frege. 2012. Trabalho de Conclusão de Curso. (Graduação em Abi - Filosofia) - Universidade Federal de Goiás. Orientador: André da Silva Porto.

2.
Lucas Fabiano Oliveira Costa. O dizer e o mostrar no Tractatus: Linguagem e Filosofia em Witgenstein. 2012. Trabalho de Conclusão de Curso. (Graduação em Abi - Filosofia) - Universidade Federal de Goiás. Orientador: André da Silva Porto.

3.
Bruno Rigonato Mundim. A distinção de Tipos à luz de uma Teoria da Predicação. 2010. Trabalho de Conclusão de Curso. (Graduação em Filosofia) - Universidade Federal de Goiás. Orientador: André da Silva Porto.

4.
Davi Maranhão Conti. Um olhar sobre Donald Davidson. 2010. Trabalho de Conclusão de Curso. (Graduação em Filosofia) - Universidade Federal de Goiás. Orientador: André da Silva Porto.

5.
José Divino Leopoldo. Descartes e a nova concepção de "mente humana". 2009. Trabalho de Conclusão de Curso. (Graduação em Filosofia) - Universidade Federal de Goiás. Orientador: André da Silva Porto.

Iniciação científica
1.
Bruno Rigonato Mundim. O conceito de Espaço como Transformação. 2010. Iniciação Científica. (Graduando em Filosofia) - Universidade Federal de Goiás. Orientador: André da Silva Porto.

2.
Bruno Rigonato Mundim. A TEORIA SIMPLES DOS TIPOS. 2009. Iniciação Científica. (Graduando em Filosofia) - Universidade Federal de Goiás, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: André da Silva Porto.

3.
Hiury Duarte Correia. Fundamentos Filosóficos da Teoria dos conjuntos Axiomatizada. 2006. 0 f. Iniciação Científica. (Graduando em Filosofia) - Universidade Federal de Goiás, Fundação de Apoio à Pesquisa. Orientador: André da Silva Porto.

4.
Danilo Rodrigues Pimenta. Generalidade em Frege e em Aristóteles. 2005. 0 f. Iniciação Científica. (Graduando em Filosofia) - Universidade Federal de Goiás. Orientador: André da Silva Porto.



Educação e Popularização de C & T



Organização de eventos, congressos, exposições e feiras
1.
PORTO, A. S.; FERREIROS, J. ; KRAUSE, D. ; RODRIGUES FILHO, A. A. . Workshop sobre Teorias do Espaço e da Extensão. 2013. (Congresso).

2.
PORTO, A. S.; VELLOSO, A. R. S. . I Colóquio sobre Semântica e Filosofia da Lógica. 2006. (Congresso).

3.
PORTO, A. S.; VELLOSO, A. R. S. . II Colóquio sobre Semântica e Filosofia da Lógica. 2007. (Congresso).

4.
PORTO, A. S.; VELLOSO, A. R. S. . III Colóquio sobre Semântica e Filosofia da Lógica. 2008. (Congresso).




Página gerada pelo Sistema Currículo Lattes em 12/12/2018 às 22:38:10