Antonio Mariano Nogueira Coelho

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


Doutor e Mestre em Filosofia pela USP, ambos sob orientação do Prof. Dr. Newton da Costa, Bacharel e especialita em Matemática pela UnB. De 1995 a 2012 foi professor da UFSC na graduação e também como membro permanente no programa de pós-graduação na linha de pesquisa de Lógica, Ontologia e Filosofia das Ciências Formais. Desde 2012 é professor efetivo no Departamento de Filosofia da UFMG. Seus principais interesses são Lógica e Filosofia da Matemática. (Texto informado pelo autor)


Identificação


Nome
Antonio Mariano Nogueira Coelho
Nome em citações bibliográficas
COELHO, A. M. N.


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


2001 - 2006
Doutorado em Filosofia.
Universidade de São Paulo, USP, Brasil.
Título: Indistinguibilidade - uma abordagem por meio de estruturas, Ano de obtenção: 2006.
Orientador: Newton Carneiro Affonso Da Costa.
Palavras-chave: Indistinguibilidade; Estruturas; invariância; objetos quânticos; identidade.
Grande área: Ciências Humanas
Grande Área: Ciências Humanas / Área: Filosofia / Subárea: Lógica / Especialidade: Teoria dos Modelos.
Grande Área: Ciências Humanas / Área: Filosofia / Subárea: Metafísica.
Setores de atividade: Educação Superior.
1992 - 1994
Mestrado em Filosofia.
Universidade de São Paulo, USP, Brasil.
Título: Identificação Efetiva de Estruturas,Ano de Obtenção: 1994.
Orientador: Newton Carneiro Affonso da Costa.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Palavras-chave: Estruturas Identificação Efetiva.
Grande área: Ciências Humanas
Grande Área: Ciências Humanas / Área: Filosofia / Subárea: Lógica / Especialidade: Teoria da Recursão.
Grande Área: Ciências Humanas / Área: Filosofia / Subárea: Lógica / Especialidade: Teoria dos Modelos.
Setores de atividade: Educação Superior.
1987 - 1989
Especialização em Especialização em Matemática. (Carga Horária: 540h).
Universidade de Brasília, UnB, Brasil.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
1980 - 1985
Graduação em Bacharelado Em Matemática.
Universidade de Brasília, UnB, Brasil.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.




Formação Complementar


2008 - 2008
Física I e II de Aristóteles. (Carga horária: 12h).
Universidade Federal de Santa Catarina, UFSC, Brasil.
2007 - 2007
Logica, ontologia e a fenomenologia de Husserl. (Carga horária: 20h).
Universidade Federal de Santa Catarina, UFSC, Brasil.
1989 - 1989
Tópicos em Computação. (Carga horária: 36h).
Universidade de Brasília, UnB, Brasil.
1988 - 1988
Tópicos em Matemática Aplicada. (Carga horária: 30h).
Universidade de Brasília, UnB, Brasil.
1986 - 1986
Tópicos em Análise Real. (Carga horária: 36h).
Universidade de Brasília, UnB, Brasil.
1985 - 1985
Tópicos em Álgebra. (Carga horária: 40h).
Universidade de Brasília, UnB, Brasil.


Atuação Profissional



Universidade Federal de Minas Gerais, UFMG, Brasil.
Vínculo institucional

2012 - Atual
Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto 4, Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações
Redistribuido da UFSC para UFMG

Atividades

10/2012 - Atual
Pesquisa e desenvolvimento , Faculdade de Filosofia e Ciências Humanas, Departamento de Filosofia.

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

Disciplinas ministradas
Tópicos de Lógica e Filosofia da Ciência
3/2013 - 03/2016
Conselhos, Comissões e Consultoria, Reitoria, .

Cargo ou função
Membro titular da CPPD (Comissao Perm. Pessoal Docente) representando a área de humanidades (período previsto: 2013-2016) , Carga horária: 8h/s.
3/2014 - 12/2014
Ensino, Filosofia, Nível: Graduação

Disciplinas ministradas
Logica II (60h)
Tópicos em Epistemologia: aspectos do Pensamento de Quine (60h)
Tópicos em filosfia: Introdução à Teoria de Conjuntos (30h)
2/2014 - 6/2014
Ensino, Filosofia, Nível: Graduação

Disciplinas ministradas
Lógica I
2/2014 - 6/2014
Ensino, Filosofia, Nível: Pós-Graduação

Disciplinas ministradas
TÓPICOS DE LÓGICA E FILOSFIA DA CIÊNCIA
8/2013 - 12/2013
Ensino, Filosofia, Nível: Graduação

Disciplinas ministradas
Introdução à Filosofia (CICH)
Lógica II
2/2013 - 6/2013
Ensino, Filosofia, Nível: Graduação

Disciplinas ministradas
Introdução à Filosofia
Lógica I
10/2012 - 1/2013
Ensino, Filosofia, Nível: Graduação

Disciplinas ministradas
2/2012 Introdução à Filosofia (Ética)

Universidade Federal de Santa Catarina, UFSC, Brasil.
Vínculo institucional

2009 - 2012
Vínculo: , Enquadramento Funcional: Professor Adjunto 2, Regime: Dedicação exclusiva.

Vínculo institucional

2006 - 2009
Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto 1, Carga horária: 40, Regime: Dedicação exclusiva.

Vínculo institucional

2001 - 2006
Vínculo: Servidor Público, Enquadramento Funcional: Professor Assistente 4, Carga horária: 40, Regime: Dedicação exclusiva.

Vínculo institucional

1997 - 2001
Vínculo: Servidor Público, Enquadramento Funcional: Professor Assistente 2, Carga horária: 40, Regime: Dedicação exclusiva.

Vínculo institucional

1995 - 1997
Vínculo: Servidor Público, Enquadramento Funcional: Professor Assistente 1, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

03/2010 - 9/2012
Ensino, Filosofia, Nível: Pós-Graduação

Disciplinas ministradas
2010/1 Filosofia das ciências formais (M/D)
2010/2 Teoria dos Modelos (M/D)
2011/2 filosfia das Ciências formais
1/2010 - 9/2012
Ensino, Filosofia, Nível: Graduação

Disciplinas ministradas
2010/1 Lógica I
2010/2 Metalógica (opt.), Lógica II
2011/1 Fundamentos filosóficos da pesquisa científica, Lógica I, Filosofia da matemática (opt.)
2012/2 Teoria do conhecimento e Filosofia da Ciência/ Fundamentos Filosóficos de Pesquisa científica
2012/1Teoria do conhecimento e Filosofia da Ciência/ Fundamentos Filosóficos de Pesquisa Científica
2011/2 Lógica 2
8/2001 - 8/2011
Treinamentos ministrados , Departamento de Filosofia, .

Treinamentos ministrados
Treinamento de monitores nas áreas de lógica ao longo dos últimos 10 anos
4/2009 - 3/2011
Conselhos, Comissões e Consultoria, Departamento de Filosofia, .

Cargo ou função
Membro do Colegiado do curso de graduação em Filosofia.
01/2007 - 12/2009
Ensino, Filosofia, Nível: Graduação

Disciplinas ministradas
2009/1 Lógica I, História da Filosofia III (Filosofia Moderna), Teoria dos Conjuntos (opt.)
2009/2 Lógica II, Filosofia da matemática (opt.)
2008/1 Lógica I, Lógica II
2008/2 Lógica II, História da Filosofia IV (Filosofia continental e analítica),Lógica tradicional (opt.)
2007/1 Lógica II, História da Filosofia VII(contemporânea: filosofia analítica)
2007/2 Lógica I, História da Filosofia IV (Filosofia continental e analítica)
8/2008 - 2/2009
Conselhos, Comissões e Consultoria, Departamento de Biblioteconomia, .

Cargo ou função
Representante do CFH no Colegidado do curso de graduação emBiblioteconomia.
8/2008 - 11/2008
Extensão universitária , Departamento de Filosofia, .

Atividade de extensão realizada
CURSO DE LÓGICA PARA O ENSINO MÉDIO - LABORATÓRIO DE ENSINO DE FILOSOFIA -40H.
8/2007 - 11/2007
Ensino, Filosofia, Nível: Especialização

Disciplinas ministradas
Epistemologia e Lógica
5/2007 - 5/2007
Conselhos, Comissões e Consultoria, Departamento de Filosofia, .

Cargo ou função
Membro da comissão deseleção dos candidatos ao curso de Especialização em Filosofia.
3/2003 - 3/2007
Conselhos, Comissões e Consultoria, Departamento de Filosofia, .

Cargo ou função
Membro do Colegiado do curso de graduação em Filosofia.
1/2003 - 12/2006
Ensino, Filosofia, Nível: Graduação

Disciplinas ministradas
2003/1 História da filosofia VII(contemporânea: filosofia Analítica),Intoducação à Lógica, Lógica II
2003/2 Lógica I,Ontologia
2004/1 História da Filosofia VII(contemporânea: filosofia analítica), Intoducação à Lógica/ Lógica II
2004/2 Lógica I, Lógica
2005/1 Logica II, História da filosofia VII (contemporânea: filosofia analítica), Intoducação à Lógica
2005/2 Lógica I, Lógica
2006/1 História da filosofia VI, Filosofia da ciência, Lógica II
2006/2 Lógica I, Ontologia, Introd. à Lógica
3/2000 - 12/2005
Pesquisa e desenvolvimento , Centro de Filosofia e Ciências Humanas, Departamento de Filosofia.

1/2001 - 12/2002
Pesquisa e desenvolvimento , Departamento de Filosofia, .

11/1999 - 11/2001
Conselhos, Comissões e Consultoria, Departamento de Filosofia, .

Cargo ou função
Menbro do colegiado do curso de graduação em filosofia.
8/1997 - 12/2000
Ensino, Filosofia, Nível: Graduação

Disciplinas ministradas
1997/2 Lógica I, Lógica
1998/1 Lógica, Lógica II
1998/2 Lógica I, Ontologia
1999/1 Lógica, Lógica II
1999/2 Lógica I, Ontologia
8/2000 - 11/2000
Treinamentos ministrados , Departamento de Filosofia, .

Treinamentos ministrados
Treinamento de monitoria Lógica I (Leandra Dorvani)
3/2000 - 7/2000
Treinamentos ministrados , Departamento de Filosofia, .

Treinamentos ministrados
Treinamento de monitoria Introdução à Lógica (Michelle Olsen)
03/1998 - 03/2000
Conselhos, Comissões e Consultoria, Departamento de Biblioteconomia, .

Cargo ou função
Representante da Filosofia no Colegiado de curso de Biblioteconomia.
8/1999 - 11/1999
Treinamentos ministrados , Departamento de Filosofia, .

Treinamentos ministrados
Treinamento de monitoria Lógica I (Tarso Groth)
3/1999 - 7/1999
Treinamentos ministrados , Departamento de Filosofia, .

Treinamentos ministrados
Treinamento de monitoria Lógica II ( Manuela Bastos Arantes)
10/1998 - 2/1999
Conselhos, Comissões e Consultoria, Departamento de Filosofia, .

Cargo ou função
Membro da comissão de Reforma Curricular do Curso de graduação em Filosofia.
8/1996 - 8/1997
Conselhos, Comissões e Consultoria, Departamento de Filosofia, .

Cargo ou função
Membro da comissão de Ensino de graduação em Filosofia.
7/1995 - 8/1997
Ensino,

Disciplinas ministradas
1995/2 Lógica II, Lógica
1996/1 Lógica, Filosofia da Linguagem
1996/2 Lógica, Filosofia da Linguagem
1997/1 Lógica I, Lógica
5/1996 - 7/1996
Conselhos, Comissões e Consultoria, Departamento de Filosofia, .

Cargo ou função
Membro da comissão de Avaliação do Plano de Atividades do Departamenteo de Filosofia no 2/1996.
3/1996 - 7/1996
Treinamentos ministrados , Departamento de Filosofia, .

Treinamentos ministrados
Orientação de monitoria Lógica II (Harrison Bertolli)

Universidade de São Paulo, USP, Brasil.
Vínculo institucional

1993 - 1993
Vínculo: Professor Convidado, Enquadramento Funcional: professor convidado, Carga horária: 4
Outras informações
Professor de Lógica no Curso Experimental de Ciências Moleculares



Linhas de pesquisa


1.
Lógica e Filosofia da Matemática
2.
Afastamento para Doutorado (USP)
3.
Membro do Grupo de Estudo em Lógica


Projetos de pesquisa


2012 - Atual
O formalismo de Kenneth Kunen
Descrição: Kenneth Kunen é bem conhecido por suas contribuições, tanto científicas quanto pedagógicas, à teoria dos conjuntos. Mais recentemente, ele esboçou uma filosofia da matemática e a chamou de formalismo. Essa filosofia parte de uma concepção primitiva de raciocínio finitista elementar e, segundo Kunen, ajuda a clarificar a estrutura lógica das provas de independência em teoria dos conjuntos. Ela também parece estar associada a uma visão, sustentada por Kunen, da matemática como o estudo dos modelos de ZFC. Esta atividade de pesquisa tem por objetivo compreender em que sentido o formalismo de Kunen esclarece a estrutura lógica das provas de independência em teoria dos conjuntos e até que ponto ela pode tornar razoável caracterização da matemática como o estudo dos modelos de ZFC..
Situação: Em andamento; Natureza: Pesquisa.
2010 - 2012
Metodologia e Ontologia do Forcing de Cohen
Descrição: Paul Cohen desenvolveu o método de forcing e com ele provou, em 1963, a independência da hipótese do contínuo em relação a ZFC e a independência do axioma da escolha em relação a ZF. O método de forcing pode ser visto de uma perspectiva estritamente sintática ou como uma técnica para estender modelos de ZF. Desse último ponto de vista, seu exame parece especialmente relevante para o estudo da ontologia de sistemas formais, isso porque, tendo em vista a concepção quineana de ser ? ser é ser valor de uma variável ? e o fato de que valores de variáveis, em se tratando de linguagens de sistemas formais, estão em domínios de estruturas usualmente construídas em ZF, extensões de modelos de ZF correspondem a ampliações de ontologias. Essas ampliações são importantíssimas do ponto de vista matemático. A teoria dos conjuntos avançou extraordinariamente fazendo uso delas. Contudo uma avaliação propriamente filosófica de tais ampliações está ainda por ser feita. Um complicador dessa avaliação é que quando nos voltamos para a visão sintática do forcing, razões tanto matemáticas quanto filosóficas sugerem que essa visão seja compreendida como um meio de substituir problemas ontológicos por problemas metodológicos. Akihiro Kanamori expressou esse pensamento ao escrever que ?set theory had born a special ontological burden because it is a theory of extensions to which mathematics can be reduced...With Cohen there was an infusion of mathematical thinking and of method and a proliferation of models, much as in other modern sophisticated fields of mathematics. Taking V as the ground model goes against the sense of V as the universe of all sets...., but actually V has become a schematic letter for ground model. This further drew out that in set theory as well as in mathematics generally, it is a matter of method, not ontology? (A. Kanamori ?Cohen and Set Theory? The Bulletin of Symbolic Logic Volume 14, Number 3, Sept. 2008, p. 351-378)..
Situação: Concluído; Natureza: Pesquisa.
2007 - 2010
Ontologia e Lógica em conflito: o caso da posição quineana a favor de V = L e contra כw
Descrição: Quine, em uma réplica a Parsons, aceita, de certa forma, a teoria ZF + V = L. e, no entanto, nega direitos ontológicos a כw , cuja existência pode se demonstrada nessa teoria. A pesquisa analisa este conflito e suas repercussões sobre o critério quineano de assunção de compromisso ontológico por parte de uma teoria..
Situação: Concluído; Natureza: Pesquisa.
2003 - 2006
Aspectos da filosofia estrutural da Matemática
Situação: Concluído; Natureza: Pesquisa.
2001 - 2002
Indistinguibilidade em estrutura (pesquisa de doutorado na USP/ afastamento da UFSC)
Situação: Concluído; Natureza: Pesquisa.
2000 - 2001
Um argumento naturalista a favor do modelo BSS de computabilidade real
Situação: Concluído; Natureza: Pesquisa.
1999 - 1999
Estruturas parciais e indução
Situação: Concluído; Natureza: Pesquisa.
1997 - 1998
A dificuldade da concepção computacional da mente face à verificação do limite
Situação: Concluído; Natureza: Pesquisa.
1996 - 1997
O conceito de distribuição Universal
Situação: Concluído; Natureza: Pesquisa.
1995 - 1996
Identificação de Linguagens e complexidade de Kolmogorov
Situação: Concluído; Natureza: Pesquisa.


Membro de corpo editorial


2009 - Atual
Periódico: Peri


Revisor de periódico


2006 - Atual
Periódico: Principia (UFSC)


Áreas de atuação


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


Idiomas


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


Produções



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

1.
COELHO, A. M. N.2011COELHO, A. M. N.. Da Costa on ontology: a naturalistic interpretation. Manuscrito (UNICAMP), v. 34, p. 143-160, 2011.

2.
COELHO, A. M. N.2005 COELHO, A. M. N.; KRAUSE, D. . Identity, Indiscernibility and Philosophical Claims. Axiomathes, Holanda, v. 15, n.2, p. 191-210, 2005.

3.
COELHO, A. M. N.2004COELHO, A. M. N.; KRAUSE, D. ; GELOWATE, G. . Notas a respeito da neutralidade ontológica da matemática. Coleção CLE - Lógica: teoria, aplicações e reflexões, Campinas, v. 39, p. 173-182, 2004.

4.
COELHO, A. M. N.1996 COELHO, A. M. N.. Effective Identification of First order Structures and Creative Sets. Logique et Analyse, Bélgica, v. 153, p. 201-204, 1996.

5.
COELHO, A. M. N.1995 COELHO, A. M. N.; COSTA, N.C.A. ; BUENO, O.A.S. . Uma estrutura de Suppes para o tempo. Espaço e Tempo, Campinas, v. 15, p. 98-108, 1995.

Capítulos de livros publicados
1.
BUENO, O.A.S. ; COELHO, A. M. N. . Teoria (formal) da Aprendizagem, identificação de estruturas e indução. In: Newton Carneiro Afonso da Costa. (Org.). O Conhecimento Científico. São Paulo: Discurso, 1997, v. , p. 192-196.

Trabalhos completos publicados em anais de congressos
1.
COELHO, A. M. N.. Um conflito entre Ontologia e Lógica: Quine a favor de V = L e contra Beth-omega.. In: V Simpósio Internacional Principia, 2010, Florianopolis. Anais do V Simpósio Internacional Principia. Florianopolis: UFSC/NEL, 2010. v. 1. p. 161-165.

Resumos publicados em anais de congressos
1.
COELHO, A. M. N.. Um conflito entre Onologia e Lógica: Quine a favor de V+L e contro beth-omega. In: V Simpósio Internacional Princia, 2007, Florianópolis. Caderno de Resumos do V simpósio Internacional Pricipia. fLORIANOPOLIS: ED UFSC, 2007. p. 29-30.

Apresentações de Trabalho
1.
COELHO, A. M. N.. Uma análise conjuntista da posição de Quine sobre opar ordenado. 2014. (Apresentação de Trabalho/Comunicação).

2.
COELHO, A. M. N.; RODRIGUES FILHO, A. A. ; EPSTEIN, R. . Workshop sobre Teoria de Conjuntos. 2014. (Apresentação de Trabalho/Outra).

3.
COELHO, A. M. N.. ´Racionalidade e contradição: algumas observações sobre paradoxos e, teoria dos conjuntos.. 2014. (Apresentação de Trabalho/Conferência ou palestra).

4.
COELHO, A. M. N.. Uma proposta de Kenneth Kunnen para a filosofia da matemática. 2013. (Apresentação de Trabalho/Comunicação).

5.
COELHO, A. M. N.. Ontologia e forcing. 2012. (Apresentação de Trabalho/Comunicação).

6.
COELHO, A. M. N.. O ensino de Lógica nos cursos de graduação em filosofia. 2011. (Apresentação de Trabalho/Conferência ou palestra).

7.
COELHO, A. M. N.. A Philosophical Problem Concerning the Method of Forcing and the Foundational Character of Set Theory. 2011. (Apresentação de Trabalho/Comunicação).

8.
COELHO, A. M. N.. Duas Filosofias naturais da matemática. 2011. (Apresentação de Trabalho/Conferência ou palestra).

9.
COELHO, A. M. N.. Madddy, Quine e o axioma da construtividade. 2011. (Apresentação de Trabalho/Comunicação).

10.
COELHO, A. M. N.. Alguns aspectos filosóficos do Métod de Forcing. 2010. (Apresentação de Trabalho/Comunicação).

11.
COELHO, A. M. N.. Interpretando o médodo de Forcing. 2009. (Apresentação de Trabalho/Comunicação).

12.
COELHO, A. M. N.. da Costa on ontology: a naturalistic interpretation. 2009. (Apresentação de Trabalho/Comunicação).

13.
COELHO, A. M. N.. Recursividade e Diagonalização. 2008. (Apresentação de Trabalho/Conferência ou palestra).

14.
COELHO, A. M. N.. Um conflito entre Ontologia e Lógica: Quine a favor de V = L e contra Beth-omega.. 2007. (Apresentação de Trabalho/Comunicação).

15.
COELHO, A. M. N.. O que é filosofia? (Debatedor Mesa redonda). 2005. (Apresentação de Trabalho/Outra).

16.
COELHO, A. M. N.. Os números naturais na teoria de conjuntos. 2005. (Apresentação de Trabalho/Conferência ou palestra).

17.
COELHO, A. M. N.. Fisica e filosofia pré-socrática - Mesa redonda em Homenagem a Eudoro de Souza. 2004. (Apresentação de Trabalho/Simpósio).

18.
COELHO, A. M. N.. Indiscernibility in a structure: an application to the problem of indistinguibility. 2003. (Apresentação de Trabalho/Comunicação).

19.
COELHO, A. M. N.. Nota sobre a neutralidade ontológica da matemática. 2003. (Apresentação de Trabalho/Comunicação).

20.
COELHO, A. M. N.. Relação entre Matemática e Filosofia. 2003. (Apresentação de Trabalho/Conferência ou palestra).

21.
COELHO, A. M. N.. Individualidade e Coordenatização: uma aplicação à mecânica Quântica. 2002. (Apresentação de Trabalho/Comunicação).

22.
COELHO, A. M. N.. Análise Conceitual e Raciocínio dedutivo. 2002. (Apresentação de Trabalho/Conferência ou palestra).

23.
COELHO, A. M. N.. Contagem de objetos Físicos. 2002. (Apresentação de Trabalho/Conferência ou palestra).

24.
COELHO, A. M. N.. Fundamentos de Teoria dos Conjuntos. 2001. (Apresentação de Trabalho/Comunicação).

25.
COELHO, A. M. N.. Identity Theory, Indiscernability and Philosophical Claims. 2001. (Apresentação de Trabalho/Comunicação).

26.
COELHO, A. M. N.. O sistema GL - Göedel-Löb. 2001. (Apresentação de Trabalho/Seminário).

27.
COELHO, A. M. N.. Indistinguishability: an approach based on structures. 2001. (Apresentação de Trabalho/Comunicação).

28.
COELHO, A. M. N.. Aspectos Filosóficos da Indecidibilidade do Conjunto de Mandelbrot. 1999. (Apresentação de Trabalho/Comunicação).

29.
COELHO, A. M. N.. Indução e Computabilidade. 1997. (Apresentação de Trabalho/Comunicação).

30.
COELHO, A. M. N.. Indução e Conjuntos Empiricamente Decidíveis. 1995. (Apresentação de Trabalho/Comunicação).

31.
COELHO, A. M. N.. Identificação Efetiva de Estruturas. 1994. (Apresentação de Trabalho/Comunicação).

Outras produções bibliográficas
1.
COELHO, A. M. N.. Krause, Décio Introdução aos Fundamentos Axiomáticos da Ciência.. São Paulo:: EPU, 2002 (Resenha).

2.
COELHO, A. M. N.. Racionalidade aproximada - complexidade de Kolmogorov e indução. Florianópolis: Filosofia - pré-publicações, 1996 (artigo).


Demais tipos de produção técnica
1.
COELHO, A. M. N.. Teoria dos Modelos. 2011. (Curso de curta duração ministrado/Outra).

2.
COELHO, A. M. N.. Fundamentos da Teoria dos conjuntos. 2001. (Curso de curta duração ministrado/Outra).


Produção artística/cultural
Artes Visuais
1.
COELHO, A. M. N.. Fazendo Filosofia. 2001. Filme.



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
RODRIGUES FILHO, A. A.; Porto A.S.; COELHO, A. M. N.. Participação em banca de Edgar Henrique do Nascimento Campos. A lógica de Brouwer e o princípio ex falso quodlibet. 2018. Dissertação (Mestrado em Filosofia) - Universidade Federal de Minas Gerais.

2.
RODRIGUES FILHO, A. A.; Porto A.S.; COELHO, A. M. N.. 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.

3.
COELHO, A. M. N.; ENGELMANN, M. L.; SEVERO, R. P.. Participação em banca de Acrissio Luiz Gonçalves.. A simplicidade como critério de cipóteses científicas: a abordagem naturalista de W.V. Quine. 2016. Dissertação (Mestrado em Filosofia) - Universidade Federal de Minas Gerais.

4.
COELHO, A. M. N.; KRAUSE, D.; MORTARI, C.; ARENDHARDT, J. B.. Participação em banca de Joanne Simon Flausino. Inconsistências em Ciência. 2014. Dissertação (Mestrado em Filosofia) - Universidade Federal de Santa Catarina.

5.
COELHO, A. M. N.; RODRIGUES FILHO, A. A.; AGUIAR, T.. Participação em banca de Fernando F. R. Furtado.. SERÁ S5 O SISTEMA DE LÓGICA MODAL CORRETO PARA A MODALIDADE METAFÍSICA?. 2014. Dissertação (Mestrado em Filosofia) - Universidade Federal de Minas Gerais.

6.
COELHO, A. M. N.; GUERZONI, J. A.; FARIA, P. F. E.; ALTMANN, S.. Participação em banca de Manuel Bauer Estivalet. Estudo sobre a Demostração do Segundo Teorema da Incompletude de Goedel. 2012. Dissertação (Mestrado em Filosofia) - Universidade Federal do Rio Grande do Sul.

7.
COELHO, A. M. N.; KRAUSE, D.; MORTARI, C.; RODRIGUES FILHO, A. A.. Participação em banca de Cesar Frederico dos Santos. O naturalismo de Maddy e a avaliação de candidatos a axioma em Teoria dos conjuntos. 2012. Dissertação (Mestrado em Filosofia) - Universidade Federal de Santa Catarina.

8.
COELHO, A. M. N.; KRAUSE, D.; COSTA, N.C.A.. Participação em banca de Fernando Tadeu Francheschi Moraes. Estruturas e a análise filosófica das teorias científicas. 2011. Dissertação (Mestrado em Filosofia) - Universidade Federal de Santa Catarina.

9.
COELHO, A. M. N.; KRAUSE, D.; PONTUAL, I.. Participação em banca de Jonas Rafael Becker Arenhart. Tópicos em Teoria de Quase-Conjuntos e Filosofia da Mecânica Quântica. 2008. Dissertação (Mestrado em Filosofia) - Universidade Federal de Santa Catarina.

Teses de doutorado
1.
AGUIAR, T.; NORONHA D.L.S.; COELHO, A. M. N.; RODRIGUES FILHO, A. A.; CARDOSO G.A.. Participação em banca de Ronaldo Pimentel. Limitações do holismo confirmativo na matemática. 2017. Tese (Doutorado em Filosofia) - Universidade Federal de Minas Gerais.

2.
COELHO, A. M. N.. Participação em banca de Guilherme Araújo Cardoso. Circularidade, Autorreferência e Paradoxo do Mentiroso: uma introdução às abordagens hierárquicas. 2016. Tese (Doutorado em Filosofia) - Universidade Federal de Minas Gerais.

3.
LOPARIC, A.; COELHO, A. M. N.; GUERZONI, J. A.; PEREIRA, L. C. P. D.; SANTOS, L. H. L.. Participação em banca de Luciano Vicente. Definições parciais de verdade e sistemas de acumulação na aritmética formal. 2013. Tese (Doutorado em Filosofia) - Universidade de São Paulo.

4.
COELHO, A. M. N.; CARNIELLI, W. A.; FINGER, M.; MARIANO, H.; MOURA, A. V.. Participação em banca de Anderson de Araújo. Uma abordagem modelo-teórica da computabilidade de Turing clássic. 2011. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas.

5.
COELHO, A. M. N.; COSTA, N.C.A.; KRAUSE, D.; MORTARI, C.; HOLIK, F.. Participação em banca de Jonas Becker Arenhrart. Discussoes sobre a não-individualidade quântica. 2011. Tese (Doutorado em Filosofia) - Universidade Federal de Minas Gerais.

Qualificações de Doutorado
1.
COELHO, A. M. N.; AGUIAR, T.; RODRIGUES FILHO, A. A.. Participação em banca de Guilherme Araújo Cardoso.. Circularidade: seus paradoxos e seu significado filosófico. 2014. Exame de qualificação (Doutorando em Filosofia) - Universidade Federal de Minas Gerais.

2.
LOPARIC, A.; FREIRE, R.; COELHO, A. M. N.. Participação em banca de Luciano Vicente. Exame parcial de Verdade. 2012. Exame de qualificação (Doutorando em Filosofia) - Universidade de São Paulo.

3.
COELHO, A. M. N.; KRAUSE, D.; MORTARI, C.. Participação em banca de William José Steinle. Elementos para um ontologia de Estrutura. 2011. Exame de qualificação (Doutorando em Filosofia) - Universidade Federal de Santa Catarina.

Trabalhos de conclusão de curso de graduação
1.
MORTARI, C.; COELHO, A. M. N.; KRAUSE, D.. Participação em banca de Emmanuel Moreno Pereira.Sobre a noção de modelo de ZFC e a abordagem semântica. 2012. Trabalho de Conclusão de Curso (Graduação em Filosofia) - Universidade Federal de Santa Catarina.

2.
COELHO, A. M. N.; DRUCKER, C.; SILVA, J. L. E.. Participação em banca de Diego Rodstein Rodrigues.O Projeto de ser e seus impedimentos em JP Sartre. 2010. Trabalho de Conclusão de Curso (Graduação em Filosofia) - Universidade Federal de Santa Catarina.

3.
COELHO, A. M. N.; KRAUSE, D.. Participação em banca de Jonas Rafael Becker Arenhart.Semântica para uma Lógica de Schrödinger. 2006. Trabalho de Conclusão de Curso (Graduação em Filosofia) - Universidade Federal de Santa Catarina.



Participação em bancas de comissões julgadoras
Outras participações
1.
COELHO, A. M. N.; RODRIGUES FILHO, A. A.. Seleção de candidatos para a Bolsa Pro-noturno. 2014. Universidade Federal de Minas Gerais.

2.
COELHO, A. M. N.; KRAUSE, D.. Exame de qualificação de mestrado Willian Steinle. 2006. Universidade Federal de Santa Catarina.



Eventos



Participação em eventos, congressos, exposições e feiras
1.
IV Encontro Catarinense de Filosofia.Mesa redodna em Homenagem a Eudoro de Souza. 2004. (Encontro).

2.
Conferência.Análise Conceitual e Raciocínio Dedutivo. 2002. (Outra).

3.
Semana de Filosofia da UFSC.Individualidade e Coordenatização: uma aplicação à mecânica Quântica. 2002. (Outra).

4.
Conferência.Identity Theory, Indiscernability and Philosophical Claims. 2001. (Outra).

5.
II Simpósio Internacional Principia.Indistinguishability: an approach based on Structures. 2001. (Simpósio).

6.
Seminários do NEL/ ANPOF/CNPq.Fundamentos de Teoria dos Conjuntos. 2001. (Seminário).

7.
I simósio Internacional Principia.Aspectos Filosóficos da Indecidibilidade do Conjunto de Mandelbrot. 1999. (Simpósio).

8.
IV Encontro de Filosofia Analítica.Indução e Computabilidade. 1997. (Encontro).

9.
III Encontro de Filosofia Analítica da UFSC.Indução e Conjuntos Empiricamente Decidíveis. 1995. (Encontro).

10.
VI Encontro da ANPOF.Identificação Efetiva de Estruturas. 1994. (Encontro).

11.
VIII Exposição do Laboratório de Matemática do CEUB.Código de Correção de Erros. 1989. (Outra).



Orientações



Orientações e supervisões concluídas
Dissertação de mestrado
1.
Cesar Frederico dos Santos. O naturalismo de Maddy e a avaliação de candidatos a axioma em Teoria dos conjuntos. 2012. Dissertação (Mestrado em Filosofia) - Universidade Federal de Santa Catarina, . Orientador: Antonio Mariano Nogueira Coelho.

Trabalho de conclusão de curso de graduação
1.
César Frederico dos Santos. Uma análise do Princípio de Sistematização de da Costa (título provisório). 2010. Trabalho de Conclusão de Curso. (Graduação em Filosofia) - Universidade Federal de Santa Catarina. Orientador: Antonio Mariano Nogueira Coelho.



Outras informações relevantes


Trabalho aceito para publicação:

Membro do Núcleo de sustentação do GT de Lógica, da ANPOF E Membro da Sociedade Brasileira de Lógica

Membro do Núcleo de epistemologia e Lógica/UFSC, desde sua fundação, em outubro de 1996

Bolsista de Iniciação Científica (CNPQ/UnB, 1982) e de mestrado (CNPQ/USP, 1992-4)



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