Rede de Colaboração
Diretório de grupos de pesquisa
SciELO - artigos em texto completo

Newton Carneiro Affonso da Costa
Bolsista de Produtividade em Pesquisa do CNPq - Nível 1A

Foi Professor titular da Universidade de São Paulo (USP) e da Universidade Estadual de Campinas (UNICAMP). É graduado em Engenharia Civil e em Matemática pela Universidade Federal do Paraná (UFPR). Em 1964 torna-se Professor Catedrático na área de Análise Matemática e Análise Superior, nesta mesma universidade, onde lecionou por 14 anos. Tem interesses na área de Filosofia, com ênfase em Lógica Matemática, atuando principalmente nos seguintes temas: paraconsistência e fundamentos da ciência. Foi um dos criadores das Lógicas Paraconsistentes, o que lhe rendeu diversos títulos nacionais e internacionais. Foi professor visitante, pesquisador, visiting scholar ou conferencista ocasional em várias instituições do exterior, tais como: Universidade do Chile, Pontifícia Universidade Católica do Chile, Universidade de Buenos Aires, Universidade Nacional del Sur (Bahía Blanca), Universidade Nacional de Peru (Mayor de San Marcos), Universidade Nacional da Colômbia, Universidade Nacional de Uruguai, Universidade da California (Berkeley e Los Angeles), Universidade de Stanford, Universidade Nacional Autônoma de México, Universidade Nova de Lisboa, Universidade de Barcelona, Universidade de Salamanca, Universidade de Paris VII, Universidade de Lille, Universidade de Clermont-Ferrand, Universidade de Nápoles, Universidade de Siena, Scuola Normale Superiore di Pisa, Academia de Ciências da Bulgária, Instituto Venezolano de Investigaciones Científicas, Universidade de Torun, Universidade de Varsóvia, Universidade Nacional da Austrália.
(Texto informado pelo autor)

Última atualização do currículo em 18/10/2011
Endereço para acessar este CV:
http://lattes.cnpq.br/2982991990474485
Dados pessoais
NomeNewton Carneiro Affonso da Costa
Nome em citações bibliográficasCOSTA, N. C. A.; DA COSTA, N; Costa, Newton C. A.; da Costa, N. C. A.
SexoMasculino
Endereço profissionalUniversidade de São Paulo, Faculdade de Filosofia Letras e Ciências Humanas, Departamento de Filosofia.
Av. Prof. Luciano Gualberto, 315
Butantã
05508-900 - Sao Paulo, SP - Brasil
Telefone: (11) 8183761 Fax: (11) 8183765
URL da Homepage: http://

Formação acadêmica/Titulação
1962Livre-docência.
Universidade Federal do Paraná, UFPR, Brasil.
Título: Análise Matemática e Análise Superior, Ano de obtenção: 1962.
Palavras-chave: Calcúlo númerico; Topologia dos espaços métricos; Análise Matemática.
Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Análise.
Grande área: Ciências Exatas e da Terra / Área: Matemática.
Setores de atividade: Educação.
1957 - 1961Doutorado em Matemática .
Universidade Federal do Paraná, UFPR, Brasil.
Título: Análise Matemática e Análise Superior, Ano de Obtenção: 1961.
Orientador: Edison Farah.
Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Matemática Aplicada.
Setores de atividade: Educação.
1951 - 1956Graduação em Licenciatura Em Matemática .
Universidade Federal do Paraná, UFPR, Brasil.
Título: ..
1951 - 1956Graduação em Matemática .
Universidade Federal do Paraná, UFPR, Brasil.
Título: ..
1948 - 1952Graduação em Engenharia Civil .
Universidade Federal do Paraná, UFPR, Brasil.

Atuação profissional
Universidade de São Paulo, USP, Brasil.
Vínculo institucional
1984 - Atual Vínculo: Servidor público ou celetista, Enquadramento Funcional: Professor Titular, Regime: Dedicação exclusiva.
Vínculo institucional
1969 - 1984 Vínculo: Servidor público ou celetista, Enquadramento Funcional: Professor titular, Regime: Dedicação exclusiva.
Atividades
1/1990 - AtualExtensão universitária , Faculdade de Filosofia Letras e Ciências Humanas, Departamento de Filosofia.
Atividade de extensão realizada
Seminários de Lógica.
10/1984 - 9/1999Pesquisa e desenvolvimento , Faculdade de Filosofia Letras e Ciências Humanas, Departamento de Filosofia.
Linhas de pesquisa
Fundamentos da probabilidade
Inferência Indutiva
Estrutura da Ciência
10/1984 - 9/1999Ensino, Matemática e Estatística, Nível: Graduação.
Disciplinas ministradas
Lógica
10/1984 - 9/1999Ensino, Filosofia, Nível: Pós-Graduação.
Disciplinas ministradas
Lógica II (Lógicas não clássicas)
Lógica III (Verdade, probabilidade e indução)
Lógica (Modelos e estruturas)
Lógica (Fundamentos Lógicos da Mecânica Quântica)
Lógica (A lógica da mecânica quântica)
Lógica (Incompletude e Indecibilidade de Teorias Físicas)
6/1969 - 8/1984Pesquisa e desenvolvimento , Instituto de Matemática e Estatística, Departamento de Matemática.
Linhas de pesquisa
Sistemas Formais Inconsistentes
Fundamentos da Teoria das Categorias
Teoria dos Conjuntos não-cantorianas
6/1969 - 8/1984Ensino, Matemática Aplicada, Nível: Pós-Graduação.
Disciplinas ministradas
Lógicas não-clássicas
Tópicos avançados de teoria dos conjuntos
Funções Recursisvas e os teoriemas de Godel
6/1969 - 8/1984Ensino, Matemática e Estatística, Nível: Graduação.
Disciplinas ministradas
Teoria dos Conjuntos
Lógica Matemática
Fundamentos da teoria das categorias
Universidade Estadual de Campinas, UNICAMP, Brasil.
Vínculo institucional
1967 - 1984 Vínculo: Servidor público ou celetista, Enquadramento Funcional: PROFESSOR TITULAR
Atividades
1967 - 8/1970Pesquisa e desenvolvimento , Instituto de Matemática Estatística e Ciência da Computação, Departamento de Matemática.
Linhas de pesquisa
Análise Matemática
Universidade Federal do Paraná, UFPR, Brasil.
Vínculo institucional
1964 - 1967 Vínculo: Servidor público ou celetista, Enquadramento Funcional: PROFESSOR CATEDRATICO
Atividades
1/1957 - 12/1967Pesquisa e desenvolvimento , Setor de Ciências Exatas, Departamento de Matemática.
Linhas de pesquisa
Análise Matemática
Análise Superior
Fundamentos da Matemática
01/1965 - 02/1967Direção e administração, .
Cargo ou função
ANALISE MATEMATICA E ANALISE SUPERIOR.

Linhas de Pesquisa
1. Análise Matemática
2. Análise Superior
3. Fundamentos da Matemática
4. Análise Matemática
5. Sistemas Formais Inconsistentes
6. Fundamentos da Teoria das Categorias
7. Teoria dos Conjuntos não-cantorianas
8. Fundamentos da probabilidade
9. Inferência Indutiva
10. Estrutura da Ciência

Membro de corpo editorial
2009 - Atual Periódico: Revista Brasileira de Filosofia
1992 - Atual Periódico: Journal of Applied Non-Classical Logics
1990 - Atual Periódico: Logic and Logical Philosophy
2009 - Atual Periódico: International Journal of Reasoning-based Intelligent Systems (IJRIS)
1995 - Atual Periódico: Logique et Analyse
1989 - Atual Periódico: Boletim da Sociedade Paranaense de Matemática

Áreas de atuação
1. Grande área: Ciências Humanas / Área: Filosofia / Subárea: Lógica.
2. Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Álgebra.
3. Grande área: Ciências Exatas e da Terra / Área: Física / Subárea: Física Geral / Especialidade: Relatividade e Gravitação.

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

Prêmios e títulos
2010Presidente de Honra, Academia Brasileira de Filosofia.
2010Doutor Honoris Causa, Universidade Federal da Paraíba.
2010Professor Honoris Causa, Universidade Federal de Santa catarina.
2009Professor Emérito, Unicamp.
2008Membro titular, L'Académie Internationale de Philosophie des Sciences (AIPS), Belgique.
2008Membro titular, Grupo de Altos Estudos do Programa de Engenharia de Produção da COPPE/UFRJ.
2007Cidadão Benemérito do Estado do Paraná, Assembléia Legislativa do Estado do Paraná.
2005Membro (Cadeira n. 25), Academia Brasileira de Filosofia.
2004Diploma de Membro Honorário, AFHC do Cone Sul, Buenos Aires, Argentina.
2001Membro Fundador, Conselho Consultivo e Conferencista, Centro de Lógica Jurídica e Teorias da Argumentação da Faculdade de São Bento.
2001Doutor Honoris Causa, Universidade Federal do Paraná.
2000Festschrift in Honor of Newton C. A. da Costa, Synthese, vol. 125.
1999Título de Cidadão Emérito do Paraná, Assembléia Legislativa do Estado do Paraná.
1998Medalha do Mérito Científico "Nicolau Copérnico", Universidade de Torun, Polônia.
1996Medalha da Ordem do Pinheiro, Governo do Estado do Paraná.
1994Membro Honorário, Equipe REHSEIS, Universidade de Paris 7.
1994Membro Internacional, American Association for the Advancement of Science, EUA.
1994Prêmio Jaboti em Ciências Exatas, Câmara Brasileira do Livro.
1993Prêmio Moinho Santista em Ciências Exatas, Fundação Moinho Santista.
1990Membro Honorário, Centro de Lógica, História e Filosofia da Ciência da Universidade Estadual de Campinas.
1989Membro Titular, Institut International de Philosophie de Paris.
1988Professor Honorário, Universidade Braz Cubas.
1987Presidente Honorário, Sociedad Uruguaya de Lógica.
1982Fulbright Fellowship, Fulbright Foundation, EUA.
1982Membro Honorário, Academia de Ciências do Chile.
1980Membro Honorário, Instituto de Investigações Filosóficas da Universidade de Lima.
1978Membro, Academia de Ciências do Estado de São Paulo.
1977Membro Honorário, Sociedade Paranaense de Matemática.
1975Membro Honorário, Instituto de Filosofia do Peru.


Produção em C,T & A
Produção bibliográfica
Artigos completos publicados em periódicos
1. da Costa, N. C. A. ; BUENO, O. . Remarks on abstract Galois theory. Manuscrito (UNICAMP), v. 34, p. 153-185, 2011.
2. da Costa, N. C. A. ; KRAUSE, Décio ; BUENO, O. . Issues in the foundations of science I: languages, structures and models. Manuscrito (UNICAMP), v. 33, p. 123-141, 2010.
3. COSTA, N. C. A. ; BUENO, O. . Non reflexive logics. Revista Brasileira de Filosofia, v. 232, p. 181-196, 2009.
4. Costa, Newton C. A. ; Doria, F.A. . How to build a hypercomputer?. Applied Mathematics and Computation, v. 215, p. 1361-1367, 2009.
5. COSTA, N. C. A. ; DORIA, F ; BIR, E . On the metamathematics of the P vs. NP question?. Applied Mathematics and Computation, v. 189, p. 1223-1240, 2007.
6. BUENO, O. ; COSTA, N. C. A. . Quasi-truth, paraconsistency, and the foundations of science. Synthese (Dordrecht), v. 154, p. 383-399, 2007.
7. COSTA, N. C. A. ; A. A. M. Rodrigues . Definability and invariance. Studia Logica, v. 86, p. 1-30, 2007.
8. COSTA, N. C. A. ; Krause, D. . Logical and Philosophical Remarks on Quasi-Set Theory. Logic Journal of the IGPL, v. 15, p. 421-431, 2007.
9. COSTA, N. C. A. . Some aspects of quantum physics. Principia (Florianópolis. Online), v. 11, p. 77-95, 2007.
10. DACOSTA, N ; DORIA, F . Some thoughts on hypercomputation?. Applied Mathematics and Computation, v. 178, p. 83-92, 2006.
11. COSTA, N. C. A. ; DORIA, F. A. . Addendum to Consequences of an exotic formulation for P = NP". Applied Mathematics and Computation, v. 172, p. 1364-1367, 2006.
12. COSTA, N. C. A. ; KRAUSE, Décio . Between Rationalism and Empiricism: Selected Papers in the Philosophy of Physics; E. Scheibe , [Book Review]. Studies In History and Philosophy of Modern Physics, v. 36, p. 210-217, 2005.
13. COSTA, N. C. A. ; BUENO, O. ; FRENCH, S. . A coherence theory of truth. Manuscrito (UNICAMP), v. 28, n. 2, p. 263-290, 2005.
14. DORIA, F. A. ; COSTA, N. C. A. . On Set Theory as a Foundation for Computer Science. Bulletin of the Section of Logic, v. 33, p. 33-40, 2004.
15. COSTA, N. C. A. ; DORIA, F. A. . On some recent undecidebility and incompleteness results in the axiomatized sciences. Philosophy of Latin America, Kluwer, v. 1, p. 273-284, 2003.
16.   COSTA, N. C. A. ; DORIA, F . Consequences of an exotic definition for =. Applied Mathematics and Computation, v. 145, n. 2-3, p. 655-665, 2003.
17. COSTA, N. C. A. ; French, S. . Inconsistency in science: a partial perspective. Inconsistency in Science, J. Mehens Editor, v. 1, p. 105-118, 2002.
18. COSTA, N. C. A. . Logic and ontology. Principia (Rio de Janeiro), v. 56, n. n.1, p. 279-298, 2002.
19. COSTA, N. C. A. ; ANDION, Nelson ; MIRANDA, R. . First order effects in the Milchelson-Morley experiment. Physics Essays, v. 15, n. 4, p. 422-437, 2002.
20. COSTA, N. C. A. ; SANT'ANNA, A. S. . Time in thermodynamics. Foundations of Physics, v. 32, p. 1785-1796, 2002.
21. COSTA, N. C. A. ; BUENO, O. . Paraconsistency: towards a tentative interpretation.. Theoria (Madrid), v. 16, p. 119-145, 2001.
22. COSTA, N. C. A. ; SANT'ANNA, A. S. . The mathematical role of time and space-time in classical physics. Foundations of Physics Letters, v. 14, p. 553-563, 2001.
23. COSTA, N. C. A. ; BUENO, O. . Belief change and inconsistency.. Logique et Analyse, França, v. 41, p. 31-56, 2000.
24. COSTA, N. C. A. ; French, S. . Models, theories, structures: Thirty years on. Phylosophy Of Science, v. 67, p. 116-127, 2000.
25. COSTA, N. C. A. ; ABE, J. M. . Paraconsistência em informática e inteligência artificial.. Estudos Avançados, São Paulo, v. 14, p. 161-174, 2000.
26. COSTA, N. C. A. ; SEGUNDO, J. A. B. . Sebastião e Silva e o conceito de distribuição. Revista Brasileira de Ensino de Física, São Paulo, v. 22, p. 114-121, 2000.
27. C. A. Da Costa, Otavio Bueno, Newton ; COSTA, N. C. A. . Quasi-Truth, Supervaluations and Free Logic. History and Philosophy of Logic, v. 20, p. 215-226, 1999.
28. COSTA, N. C. A. ; CAIEIRO, R. C. . k-transforms in Classical and Paraconsistent Logics. Logic and Logical Philosophy, v. 7, p. 63-80, 1999.
29.   COSTA, N. C. A. . Paraconsistent Logic. Logic and Logical Philosophy, v. 7, p. 25-34, 1999.
30. COSTA, N. C. A. ; BUENO, S. ; FRENCH, S. . The Logic of PragmaticTruth. Journal of Philosophical Logic, v. 27, p. 603-620, 1998.
31. TSUJI, M. ; COSTA, N. C. A. ; DORIA, F. A. . The incompleteness of theories of games. Journal of Philosophical Logic, v. 27, p. 553-568, 1998.
32. COSTA, N. C. A. ; BUENO, O. ; FRENCH, S. . Suppes Predicates for Space-Time. Synthese (Dordrecht), v. 112, n. 2, p. 271-279, 1997.
33. COSTA, N. C. A. . An Intensional Schrödinger Logic. Notre Dame Journal of formal Logic, Polônia, n. 03, p. 179-194, 1997.
34. SANT'ANNA, A. S. ; COSTA, N. C. A. ; DORIA, F. A. . The Atiyah - Singer index theorem and the gauge field copy problem. Journal of Physics. A, Mathematical and General, v. 30, n. 30, p. 5511-5516, 1997.
35. COSTA, N. C. A. . Paraconsistent Mathematics. Proceedings do First International Congress on Paraconsistency, Bélgica, 1997.
36. COSTA, N. C. A. . Strucures, Suppes Predicates, And Boolean-Valued Models In Science. Philosophical Logic and Logic Philosophy, França, v. ., p. 91-118, 1996.
37. COSTA, N. C. A. ; BÉZIAU, J. Y. ; BUENO, O. . Malinowski and Suszko on Many-Valued Logic: On the Reduction of Many-Valuedness to Two-Valuedness. Modern Logic, França, v. 6, n. 06, p. 272-299, 1996.
38. COSTA, N. C. A. ; CHUAQUI, R ; BUENO, O. . The Logic Of Quasi-Truth. Notas de la Sociedad Matematica de Chile, Chile, v. xv, n. 15, p. 7-26, 1996.
39. COSTA, N. C. A. ; DORIA, F. A. . On Jaskowski's Discussive Logic. Studia Logica, v. 54, n. 1, p. 33-60, 1995.
40. COSTA, N. C. A. ; BÉZIAU, O. -. ; BUENO, O. . Paraconsistent Logic in a Historical Perspective. Logique et Analyse, França, v. ., p. 111-125, 1995.
41. COSTA, N. C. A. ; DORIA, F. A. . Undecidability, incompleteness and Arnold Problems. Studia Logica, Varsóvia, v. 55, p. 22-32, 1995.
42. COSTA, N. C. A. ; COSTA JR., N. C. A. . La teoría del caos y el mercado financiero. Información Tecnológica, v. 6, p. 63-68, 1995.
43. COSTA, N. C. A. ; BÉZIAU, J. Y. ; BUENO, O. . Aspects of paraconsistent logic. Bulletin of the IGPL, v. 3, p. 597-614, 1995.
44. COSTA, N. C. A. ; DORIA, F. A. ; Furtado-do-Amaral, A. F. ; BARROS, J. A. . Two questions on the geometry of gauge fields. Foundations of Physics, v. 24, p. 783-800, 1994.
45. COSTA, N. C. A. ; BEZIAU, J. Y. . Carnot's Logic. Bulletin of the Section of Logic, v. 3, n. 22, p. 98-103, 1993.
46. COSTA, N. C. A. ; DORIA, F. A. . Incomplete Satisfibility Problems. Bulletin of the Section Logic, v. 3, n. 22, p. 98-103, 1993.
47. COSTA, N. C. A. ; DORIA, F. A. . On The Incompleteness Of Axiomatized Models For The Empirical Sciences. Philosophica, v. 50, n. 2, p. 73-100, 1992.
48. COSTA, N. C. A. ; DORIA, F. A. . On The Existence Of Very Difficult Satisfiability Problems. Bulletin of the Section Logic, University of Lodz, v. 4, n. 21, p. 122-133, 1992.
49. COSTA, N. C. A. ; SUBRAHMANIAN, V. S. ; VAGO, C. . The Paraconsistent Logics P. Zeitschrift fur math. Logik und Grundlagen der Mathematik, Alemanha, v. 37, p. 131-148, 1991.
50. COSTA, N. C. A. ; ABE, J. ; SUBRAHAMANIAN, V. S. . Remarks On Annotated Logic. Zeitschrift Fur Logic un Grund Der Mathematik. DTCH VIG D. WISS, Alemanha, v. 37, p. 561-570, 1991.
51. Costa, Newton C. A. ; French, Steven . On Russell's principle of induction. Synthese (Dordrecht), v. 86, n. 2, p. 285-295, 1991.
52. COSTA, N. C. A. ; DORIA, F. A. . Classical physics and Penrose's thesis. Foundations of Physics Letters, v. 4, p. 363-373, 1991.
53. COSTA, N. C. A. ; DORIA, F. A. . Undecidability and incompleteness in classical mechanics. International Journal of Theoretical Physics, v. 30, p. 1041-1073, 1991.
54. DACOSTA, N ; PUGA, L. Z. ; CARNIELLI, Walter Alexandre . Kantian and non-Kantian logics. Logique et Analyse, v. 1, p. 235-254, 1991.
55. COSTA, N. C. A. . Razionalita, Logica e Matematica. Criterio, v. 8, n. 2, p. 102-108, 1990.
56. COSTA, N. C. A. ; FRENCH, S. . The Model-Theoretic Approach In The Philosophy Of Science. PHILOSOPHY OF SCIENCE, v. 57, n. 2, p. 248-265, 1990.
57. COSTA, N. C. A. ; FRENCH, S. . Belief, Contradiction And The Logic Of Self-Deception. American Philosophical Quartely, v. 27, n. 3, p. 179-197, 1990.
58. COSTA, N. C. A. . Logics That Are Both Paraconsistent And Paracomplete. Rendiconti, Accademia Nazionale dei Lincei, v. 83, p. 29-32, 1990.
59. COSTA, N. C. A. ; SETTE, A. M. . Remarks On Analogy. TEORIA, v. 10, n. 2, p. 49-58, 1990.
60. COSTA, N. C. A. ; PUGA, L. C. ; VERNENGO, R. . Derecho, Moral y Preferencias Valorativas. Theoria, Universidad del Pais Vasco, v. 5, n. 12, p. 9-29, 1990.
61. COSTA, N. C. A. . A Impotência Filosófica da Lógica Paraconsistente. Boletim da Sociedade Paranaense de Matemática, Curitiba, v. 11, n. 2, p. 91-113, 1990.
62. COSTA, N. C. A. ; DORIA, F. A. ; BARROS, J. A. . A Suppes predicate for general relativity and set-theoretically generic spacetimes. International Journal of Theoretical Physics, v. 29, p. 935-961, 1990.
63. COSTA, N. C. A. ; FRENCH, S. . On the Logic of Belief. Philosophy And Phenomenological Research, n. 49, p. 431-446, 1989.
64. COSTA, N. C. A. ; FRENCH, S. . A note on temporal logic. BULLETIN OF THE SECTION OF LOGIC, POLISH ACADEMY OF SCIENCES, v. 1, n. 18, p. 51-56, 1989.
65. COSTA, N. C. A. ; French, Steven . Pragmatic Truth and the Logic of Induction. British Journal for the Philosophy of Science, v. 40, p. 333-356, 1989.
66. COSTA, N. C. A. ; FRENCH, S. . Belief and Contradiction. Crítica (UEL), n. 20, p. 3-11, 1988.
67. COSTA, N. C. A. ; PUGA, L. Z. . On the Imaginary Logic of N. A. Vasilev. Zeitschrift Fur Math. Logik Und Grundlagen Der Math., n. 34, p. 205-211, 1988.
68. COSTA, N. C. A. ; SYLVAN, R. . Cause as an implication. Studia Logica, n. 47, p. 413-428, 1988.
69. COSTA, N. C. A. ; CHUAQUI, R. . "On Suppes Set Theorical Predicates". ERKENNTNIS, n. 29, p. 95-112, 1988.
70. COSTA, N. C. A. ; FRENCH, S. . "Pragmatic, Probability, Logical Omniscience And Popper-Miller Argument". FUNDAMENTA SCIENTIAE, n. 9, p. 43-53, 1988.
71. COSTA, N. C. A. ; ALCANTARA, L. P. . The Scientific work of A. L. Arruda. Conteporary Mathematics, n. 69, p. 1-15, 1988.
72. COSTA, N. C. A. . Aspectos de la Filosofia de la Logica de L. Pena. Arbor, n. 132, p. 9-32, 1988.
73. COSTA, N. C. A. ; PUGA, L. Z. . Sobre a Lógica Deontica Não-Clássica. Crítica (UEL), n. 29, p. 19-36, 1987.
74. COSTA, N. C. A. ; ALCANTARA, L. P. . Remarks On Higer-Order Modal Logic. Acta Cientifica Venezoelana, v. 16, n. 38, p. 282-284, 1987.
75. COSTA, N. C. A. ; MARCONI, D. . A Note on Paracomplete Logic. Rendiconti Dell Acad. Nazionale Dei Lincei, v. 16, n. 80, p. 504-509, 1986.
76. Costa, Newton C. A. ; Carnielli, Walter A. . On paraconsistent deontic logic. Philosophia (Ramat Gan), v. 16, n. 39, p. 293-305, 1986.
77. COSTA, N. C. A. . A Note On Type Theory. C.R. Acad. Bulgare Des Sciences, n. 39, p. 5-7, 1986.
78. COSTA, N. C. A. . Pragmatic Probability. Erkenntnis, n. 25, p. 141-162, 1986.
79. MIKENBERG, J. ; COSTA, N. C. A. ; CHUAQUI, R. . Pragmatic Truth and Approximation to Truth. Journal of Symbolic Logic, v. 51, n. 51, p. 201-221, 1986.
80. COSTA, N. C. A. . On Paraconsistent Set Theory. Logique Et Analyse, n. 115, p. 316-371, 1986.
81. COSTA, N. C. A. ; LOPARIC, A. . Paraconsistency, Paracompleteness, and Induction. Logique Et Analyse, n. 113, p. 73-80, 1986.
82. CAICEDO, X. ; CHUAQUI, R ; COSTA, N. C. A. ; PRISCO, C. A. di . Meeting of the Assocaition for Symbolic Logic: Caracas, Venezuela, 1983. Journal of Symbolic Logic, v. 49, p. 1430-1440, 1984.
83. ARRUDA, A I ; CAICEDO, X. ; CHUAQUI, R ; COSTA, N. C. A. . Meeting of the Association for Symbolic Logic: Bogota, Colombia, 1981. Journal of Symbolic Logic, v. 48, p. 884-892, 1983.
84. ARRUDA, A I ; CHUAQUI, R ; COSTA, N. C. A. ; MIKENBERG, I. . Meeting of the Association for Symbolic Logic: Santiago, Chile, 1978. Journal of Symbolic Logic, v. 46, p. 180-190, 1981.
85. COSTA, N. C. A. . El símbolo e de Hilbert. Lecturas Matemáticas, [S. l.], v. 1, p. 1-13, 1980.
86. COSTA, N. C. A. ; WOLF, R G . Studies in paraconsistent logic I: the dialectical principle of the unity of opposites. Philosophia, [S. l.], v. 9, p. 189-217, 1980.
87. COSTA, N. C. A. ; KOTAS, J . A new formulation of discussive logic. Studia Logica, v. 38, p. 429-445, 1979.
88. ARRUDA, A I ; MIRO-QUESADA, F. ; COSTA, N. C. A. ; CHUAQUI, R . Meeting of the Association for Symbolic Logic: Campinas, Brazil 1976. Journal of Symbolic Logic, v. 43, p. 352-364, 1978.
89. COSTA, N. C. A. ; ARRUDA, A I . Une sémantique pour le calcul C1='. Comptes Rendus de l'Académie des Sciences. Série 1, Mathématique, Paris, v. 284, p. 279-282, 1977.
90. COSTA, N. C. A. ; ALVES, E H . A semantical analysis of the calculi Cn. Notre Dame Journal of Formal Logic, v. 18, p. 621-630, 1977.
91. COSTA, N. C. A. ; ALVES, E H . Une sémantique pour le calcul C1'. Comptes Rendus de l'Académie des Sciences. Série 1, Mathématique, Paris, v. 283, p. 729-731, 1976.
92. COSTA, N. C. A. ; DIAS, M F . Sur le système D* de théorie des ensembles. Comptes Rendus de l'Académie des Sciences. Série 1, Mathématique, Paris, v. 282, p. 5-7, 1976.
93. COSTA, N. C. A. ; PINTER, C . A-logic and infinitary languages. Zeitschrift Math Logik U Grundl d Math, v. 29, p. 105-112, 1976.
94. COSTA, N. C. A. ; DRUCK, I F . Sur les 'vbtos'selon M. Hatcher. Comptes Rendus de l'Académie des Sciences. Série 1, Mathématique, Paris, v. 281, p. 741-743, 1975.
95. COSTA, N. C. A. . Remarks on Ja'skowski`s discussive logic. Reports On Math Logic, v. 4, p. 7-16, 1975.
96. COSTA, N. C. A. . a-models and the system T and T*`. Notre Dame Journal of Formal Logic, v. 14, p. 443-454, 1974.
97. COSTA, N. C. A. . Remarques sur les calculs Cn, Cn*, Cn= et Dn`. Comptes Rendus de l'Académie des Sciences. Série 1, Mathématique, Paris, v. 278, p. 819-821, 1974.
98. COSTA, N. C. A. ; ARRUDA, A I . Le schèma de la séparation dans les systèmes Jn`. Mathematica Japonica, v. 19, p. 183-186, 1974.
99. COSTA, N. C. A. . On the theory of inconsistent formal systems. Notre Dame Journal of Formal Logic, v. 11, p. 497-510, 1974.
100. COSTA, N. C. A. . Sobre o conceito de transformada no cálculo restrito de predicados. . Resenhas do Instituto de Matemática e Estatística da Universidade de São Paulo, São Paulo, v. 2, p. 53-57, 1973.
101. COSTA, N. C. A. . Modèles et univers de Dedecker. Comptes Rendus de l'Académie des Sciences. Série 1, Mathématique, Paris, v. 275, p. 483-486, 1972.
102. COSTA, N. C. A. ; BIGNOLE, D . On supernormal Ehresmann-Dedecker universes.. Mathematische Zeitschrift, v. 122, p. 342-350, 1971.
103. COSTA, N. C. A. . Remarques sur les systèmes N Fi.. Comptes Rendus de l'Académie des Sciences. Série 1, Mathématique, Paris, v. 272, p. 1149-1151, 1971.
104. COSTA, N. C. A. ; D`OTTAVIANO, I M. . Sur un problème de Jaskowski.. Comptes Rendus de l'Académie des Sciences. Série 1, Mathématique, Paris, v. 270, p. 1349-1353, 1970.
105. COSTA, N. C. A. . On the underlying logic of two systems of set theory.. Proceedings Konenkl Ak Wetens, v. 73, p. 1-8, 1970.
106. COSTA, N. C. A. ; BIGNOLE, D . Sur les systèmes D* suggéré par Dedecker.. Comptes Rendus de l'Académie des Sciences. Série 1, Mathématique, Paris, v. 270, p. 841-844, 1970.
107. COSTA, N. C. A. ; ARRUDA, A I . Sur le schèma de la séparation.. Nagoya Mathematical Journal, v. 38, p. 71-84, 1970.
108. COSTA, N. C. A. ; SETTE, A M . Les algèbres Cn.. Comptes Rendus de l'Académie des Sciences. Série 1, Mathématique, Paris, v. 268, p. 1011-1014, 1969.
109. COSTA, N. C. A. . On a set theory suggested by Dedecker and Ehresmann.. Proc Japan Academy Of Sciences, v. 45, p. 880-888, 1969.
110. COSTA, N. C. A. ; DUBIKAJTIS, L . Sur la logique discoursive de Jaskowski.. Bulletin Academie Polonaise Des Sciences, v. 15, p. 551-557, 1968.
111. COSTA, N. C. A. . Filtres et idéaux d`une algèbre Cn.. Comptes Rendus de l'Académie des Sciences. Série 1, Mathématique, Paris, v. 264, p. 549-552, 1967.
112. COSTA, N. C. A. . Two formal systems of set theory.. Proceedings Konenkl Ak Wetens, v. 70, p. 45-51, 1967.
113. COSTA, N. C. A. . Une nouvelle hiérarchie de théories inconsistants.. Publications Du Départment de Mathématiques Université de Lyon, Lyon, v. 4, p. 2-8, 1967.
114. COSTA, N. C. A. . Un nouveau système formel suggéré par Dedecker.. Comptes Rendus de l'Académie des Sciences. Série 1, Mathématique, Paris, v. 256, p. 85-88, 1967.
115. COSTA, N. C. A. ; CAROLI, A de . Remarques sur les univers d`Ehresmann-Dedecker.. Comptes Rendus de l'Académie des Sciences. Série 1, Mathématique, Paris, v. 256, p. 761-763, 1967.
116. COSTA, N. C. A. ; ARRUDA, A I . Transformadas no cálculo restrito de predicados. Anais da Academia Brasileira de Ciências, v. 38, p. 385-390, 1966.
117. COSTA, N. C. A. ; ARRUDA, A I . O paradoxo de Curry-Moh Schaw Kwei. Bol Soc Mat São Paulo, São Paulo, v. 18, p. 83-89, 1966.
118. COSTA, N. C. A. . Opérations non monotones dans les treillis. Comptes Rendus de l'Académie des Sciences. Série 1, Mathématique, Paris, v. 263, p. 429-432, 1966.
119. COSTA, N. C. A. . Sur les systèmes formels Ci, C*i, Ci=, Di, et N Fi. Comptes Rendus de l'Académie des Sciences. Série 1, Mathématique, Paris, v. 260, p. 5427-5430, 1965.
120. COSTA, N. C. A. ; GUILLAUME, M . Negations composées et loi de Peirce dans les systèmes C. Portugaliae Mathematica, v. 24, p. 201-210, 1965.
121. COSTA, N. C. A. . On two systems of set theory. Proceedings Konenkl Ak Wetens, v. 68, p. 95-99, 1965.
122.   COSTA, N. C. A. . Calculs de prédicats pour les systèmes formels inconsistants. Comptes Rendus de l'Académie des Sciences. Série 1, Mathématique, Paris, v. 258, p. 27-29, 1964.
123.   COSTA, N. C. A. . Calculs de prédicats avec égalité pour les systèmes formels inconsistants. Comptes Rendus de l'Académie des Sciences. Série 1, Mathématique, Paris, v. 258, p. 1111-1113, 1964.
124. COSTA, N. C. A. . Calculs de descriptions pour les systèmes formels inconsistants. Comptes Rendus de l'Académie des Sciences. Série 1, Mathématique, Paris, v. 258, p. 1366-1368, 1964.
125. COSTA, N. C. A. . Sur un système inconsistant de théorie des ensembles. Comptes Rendus de l'Académie des Sciences. Série 1, Mathématique, Paris, v. 258, p. 3144-3147, 1964.
126. COSTA, N. C. A. ; ARRUDA, A I . Sur un théorème de Hilbert et Bernays. Comptes Rendus de l'Académie des Sciences. Série 1, Mathématique, Paris, v. 258, p. 6311-6312, 1964.
127. COSTA, N. C. A. ; ARRUDA, A I . Sur une hiérarchie de systèmes formels. Comptes Rendus de l'Académie des Sciences. Série 1, Mathématique, Paris, v. 259, p. 2943-2945, 1964.
128. COSTA, N. C. A. ; GUILLAUME, M . Sur les calculs Cn. Anais da Academia Brasileira de Ciências, Brasil, v. 36, p. 379-382, 1964.
129. COSTA, N. C. A. . A situação atual da teoria dos conjuntos. Boletim da Sociedade Paranaense de Matemática, Paraná, v. 6, p. 40-43, 1963.
130. COSTA, N. C. A. . Vicente Ferreira da Silva e a lógica. Revista Brasileira de Filosofia, São Paulo, v. 14, p. 499-508, 1963.
131.   COSTA, N. C. A. . Calculs propositionnels pour les systèmes formels inconsistants. Comptes Rendus de l'Académie des Sciences. Série 1, Mathématique, Paris, v. 257, p. 3790-3793, 1963.
132. COSTA, N. C. A. . Sobre a natureza dos juízos matemáticos. Revista Brasileira de Filosofia, São Paulo, v. 12, p. 207-208, 1962.
133. COSTA, N. C. A. . Um currículo para a formação do professor de Matemática do Ensino Secundário. Boletim da Sociedade Paranaense de Matemática, Paraná, v. 5, p. 45-47, 1962.
134. COSTA, N. C. A. . Conceptualización de la filosofía científica. Revista de Filosofía Universidad de Costa Rica, Costa Rica, v. 11, p. 363-366, 1960.
135. COSTA, N. C. A. . Correções ao artigo Considerações sôbre o cálculo de Heyting. An Soc Paran Mat, Paraná, v. 3, p. 1-11, 1960.
136. COSTA, N. C. A. . Observações sobre o conceito de existência em matemática. An Soc Paran Mat, Paraná, v. 2, p. 16-19, 1959.
137. COSTA, N. C. A. . O significado da obra de Kurt Gödel para os fundamentos da matemática. Revista Brasileira de Filosofia, São Paulo, v. 9, p. 310-319, 1959.
138. COSTA, N. C. A. . Nota sôbre o conceito de contradição. An Soc Paran Mat, Paraná, v. 1, p. 6-8, 1958.
139. COSTA, N. C. A. . Uma questão de filosofia da matemática. An Soc Paran Mat, Paraná, v. 1, p. 21-27, 1958.
140. COSTA, N. C. A. . Sôbre a teoria lógica da linguagem. Rev Brasileira de Filosofia, São Paulo, v. 8, p. 58-70, 1958.
141. COSTA, N. C. A. . Uma propriedade dos números primos. Revista da Faculdade de Filosofia Católica do Paraná, Paraná, v. 3, p. 272-273, 1958.
142. COSTA, N. C. A. . Nota sôbre a lógica de Brouwer-Heyting. An Soc Paran Mat, Paraná, v. 1, p. 9-10, 1958.
143. COSTA, N. C. A. . Considerações sôbre o cálculo de Heyting. An Soc Paran Mat, Brasil, v. 4, p. 42-46, 1957.
144. COSTA, N. C. A. ; BARSOTTI, L . Kurt Gödel e os problemas da matemática atual. An Soc Paran Mat, Paraná, v. 4, p. 53-60, 1957.
145. COSTA, N. C. A. . Une généralization du théorème de Bouniakowski. An Soc Paran Mat, Brasil, v. 3, p. 12-16, 1956.
146. COSTA, N. C. A. . Alguns teoremas elementares sôbre divisibilidade. An Soc Paran Mat, Brasil, v. 3, p. 60-63, 1956.
147. COSTA, N. C. A. . O estado atual da filosofia da matemática. An Soc Paran Mat, Brasil, v. 3, p. 17-27, 1956.
148. COSTA, N. C. A. . Nota sobre o Teorema de Wilson. An Soc Paran Mat, Brasil, v. 2, p. 5-6, 1955.
Livros publicados/organizados ou edições
1. COSTA, N. C. A. ; Grana, N. . Il Recupero dell' inconsistenza. Nápoles: L'Orientale, 2009. v. 1. 221 p.
2. COSTA, N. C. A. ; DORIA, F. A. . On the foundations of science. Rio de Janeiro: COPPE, 2008. v. 1. 294 p.
3. COSTA, N. C. A. . Logici Clasice si Neclasice. 1. ed. Bucareste: Editora Tehnica, 2004. v. 1. 328 p.
4. COSTA, N. C. A. ; FRENCH, S. . Science and Partial Truth. 1. ed. Oxford: Oxford University Press, 2003. v. 1. 272 p.
5. COSTA, N. C. A. . Lógica inductiva y probabilidad. Lima: Fondo de Cultura, 2000. 83 p.
6. COSTA, N. C. A. . El conocimiento Científico. Cidade de Máxico: UNAM, 2000. v. 1. 300 p.
7. COSTA, N. C. A. . O Conhecimento Científico. 02. ed. São Paulo: Discurso Editorial, 1999. 300 p.
8. COSTA, N. C. A. . Metamathematics Of Science. São Paulo: IEA-USP, 1998.
9. COSTA, N. C. A. . Teorias Paraconsistentes de Conjuntos. Campinas: CLE-UNICAMP, 1998.
10. COSTA, N. C. A. . O Conhecimento Científico. 1. ed. São Paulo: Discurso Editorial/FAPESP, 1997. 278 p.
11. COSTA, N. C. A. . Logiques Classiques et non classiques. Paris: Masson, 1997.
12. COSTA, N. C. A. . Ensaio sobre os fundamentos da lógica. 2. ed. São Paulo: Hucitec, 1994.
13. COSTA, N. C. A. . Logica Indutiva e Probabilidade. SAO PAULO: HUCITEC, 1993. 89 p.
14. COSTA, N. C. A. . Sistemas Formais Inconsistentes. 2. ed. Curitiba: Ed. UFPR, 1993.
15. COSTA, N. C. A. . Introducao aos Fundamentos da Matemática. São Paulo: EDUSP, 1992. 90 p.
16. CONIDI, R. B. ; CONCI, D. A. ; COSTA, N. C. A. . Fenomenologia e Logica Della Metamorfosi. Napoles: Guida Edittori, 1991. 70 p.
17. COSTA, N. C. A. ; CARRION, R. . Introdução a Lógica Elementar com o Símbolo de Hilbert. Rio Grande do Sul: Editora da Universidade Federal do RS, 1987. 00066 p.
18. COSTA, N. C. A. . Ensaio sobre os fundamentos da Lógica. 1. ed. São Paulo: EDUSP, 1980. 255 p.
19. COSTA, N. C. A. . Ensaio sobre os fundamentos da lógica. São Paulo: Hucitec, 1980.
20. COSTA, N. C. A. ; ARRUDA, A I ; CHUAQUI, R . Mathematical Logic in Latin America . [S. l.]: North-Holland, 1980.
21. COSTA, N. C. A. ; ARRUDA, A I ; SETTE, A M . Proceedings of the third Brazilian Conference on Math. Logic. São Paulo: Soc. Bras. Lógica, 1980.
22. COSTA, N. C. A. ; ARRUDA, A I ; CHUAQUI, R ; DEKKER, Marcel . Mathematical Logic: proceedings of the first Brazilian Conference. [S. l.]: [s. n.], 1978.
23. COSTA, N. C. A. . Introducao aos Fundamentos da Matemática. São Paulo: Hucitec, 1977. 66 p.
24. COSTA, N. C. A. ; ARRUDA, A I ; CHUAQUI, R . Non-Classical logics, Model theory and Computability. North-Holland: , 1977.
25. COSTA, N. C. A. . Álgebras de Curry. São Paulo: Editora da USP, 1967.
26. COSTA, N. C. A. . Introdução aos Fundamentos da Matemática. Porto Alegre: Globo, 1962.
27. COSTA, N. C. A. . O Circulo de Viena. Curitiba: Edições Prata da Casa, 1956. 56 p.
Capítulos de livros publicados
1. COSTA, N. C. A. ; BUENO, O. . Quasi-truth and quantum mechanics. In: Krause, D.; Videira, A.. (Org.). Brazilian Studies in Philosophy and History of Science. 1 ed. Dordrecht: Springer, 2011, v. 290, p. 301-312.
2. COSTA, N. C. A. ; DORIA, F. A. . Hypothesis that imply the independence of P = NP from strong axiomatic systems. In: Stefano Zambelli. (Org.). Computable, Constructive and Behavioural Economic Dynamics. New York: Routledge, 2010, v. 1, p. 79-102.
3. COSTA, N. C. A. ; DORIA, F. A. . Janus-Faced Physics: on Hilbert's 6th Problem. In: Cristian S Calude (Editor). (Org.). Randomness and complexity, from Leibnitz to Chaitin. Auckland, Nova Zelândia: World Scientific, 2007, v. , p. 25-68.
4. COSTA, N. C. A. ; KRAUSE, Décio . The logic of complementarity. In: van Benthem, Johan; Heinzmann, Gerhard; Rebuschi, Manuel; Visser, Henk. (Org.). The Age of Alternative Logics: Assessing Philosophy of Logic and Mathematics Today. 1 ed. : Springer, 2006, v. 1, p. 103-120.
5. COSTA, N. C. A. ; KRAUSE, Décio ; BUENO, O. . Paraconsistent Logics and Paraconsistency. In: Jacquette,Dale; Gabbay, Dov M.; Thagard, Paul; Woods, John. (Org.). Philosophy of Logic, 5. 1 ed. : Elsevier, 2006, v. 5, p. 791-911.
6. COSTA, N. C. A. ; DORIA, F. A. . Computing the Future. In: Vela Velupillai. (Org.). Computability, Complexity and Constructivity in Economic Analysis. 1 ed. Galway, Irlanda: Blackwell, 2005, v. 1, p. 14-31.
7. COSTA, N. C. A. ; KRAUSE, Décio . Remarks on the application of paraconsistent logic to physics. In: Pietrocola, Mauricio; Freire Jr., Olival. (Org.). Filosofia, Ciência e História: Michel Paty e o Brasil, uma homenagem aos 40 anos de colaboração. São Paulo: FAPESP e Discurso Editorial, 2005, v. 1, p. 337-359.
8. COSTA, N. C. A. ; BÉZIAU, J. Y. ; BUENO, O. . On the usefulness of paraconsistent logic. In: D. Vanderveken (ed.). (Org.). Logic, Thought and Action. Dordrecht, Holanda: Springer, 2005, v. , p. 465-478.
9. COSTA, N. C. A. ; KRAUSE, Décio . Complementarity and paraconsistency. In: S. Rahman; J. Symons; D. M. Gabbay; J. P. van Bendegen. (Org.). Logic, Epistemology, and the Unity of Science. 1 ed. Dordrecht: Kluwer Academic Publishers, 2004, v. 1, p. 557-568.
10. COSTA, N. C. A. ; BUENO, O. ; VOLKOV, A. . Outline of a Paraconsistent Category Theory. In: Weingartner, P.. (Org.). Alternative Logics. Do Sciences Need Them?. Berlin: Heidelberg Verlag, 2004, v. , p. 95-114.
11. COSTA, N. C. A. . Logic and complementarity. In: Rahman, S.; Symons, J.; Gabay, D. M.; van Bendegen, J. P.. (Org.). Logic, Epistemology, and the Unity of Science. Berlin: Springer, 2004, v. 1, p. 41-65.
12. COSTA, N. C. A. ; BUENO, O. . Paraconsistenta: Catre o posibilita interpretare. In: Gheorghiu, Dumitru. (Org.). Ex Falso Quodlibet. 1 ed. Bucharest: Editura Tehnica, 2004, v. 1, p. 41-66.
13. COSTA, N. C. A. ; KRAUSE, Décio . Set theoretical models for quantum systems. In: Dalla Chiara, M.L.; Giuntini, R.; Laudisa, F. (Eds.). (Org.). Language, Quantum, Music. : Springer, 1999, v. , p. 171-181.
14. COSTA, N. C. A. . A model-theoretical approach to variable binding term operators. In: A. I. Arruda; R. Chuaqui; N. C. A. Costa;. (Org.). Mathematical Logic in Latin America. North-Holland: [s.n.], 1980, v. , p. 133-162.
15. COSTA, N. C. A. ; KOTAS, J . Some problems on logical matrices and valorizations. In: A. I. Arruda; N. C. A. Costa; A. M. Sette. (Org.). Proceedings of the third Brazilian Conference on the Math. Logic. [S. l.]: Soc. Bras. Lógica, 1980, v. , p. 131-146.
16. COSTA, N. C. A. ; KOTAS, J . On the problem of Ja'skowski and the logics of Lukasiewicz. In: A. I. Arruda; N. C. A. Costa; R. Chuaqui. (Org.). Mathematical Logic: proceedings of the first Brazilian Conference. [S. l.]: [s. n.], 1978, v. , p. 127-139.
17. COSTA, N. C. A. ; DUBIKAJTIS, L . On Ja'skowski discussive logic. In: A. I. Arruda; N. C. A. Costa; R. Chuaqui.. (Org.). Non-Classical Logics, Model Theory and Computability. North-Holland: , 1977, v. , p. 37-56.
18. COSTA, N. C. A. ; KOTAS, J . On some modal logical systems defined in connection with Ja'skowski's problem. In: A. I. Arruda; N. C. A. Costa; R. Chuaqui;. (Org.). Non-Classical Logics, Model Theory and Computability. North-Holland: , 1977, v. , p. 57-73.
Textos em jornais de notícias/revistas
1. COSTA, N. C. A. . Explorando a aleatoriedade. Resenha da Obra: CHAITIN, G J. Exploring randommess. Springer.. Folha de São Paulo, Caderno Mais., São Paulo, p. 26, 01 jul. 2001.
Trabalhos completos publicados em anais de congressos
1. COSTA, N. C. A. . Novos Fundamentos para Lógica Deontica. In: III CONGRESSO BRASILEIRO BRASILEIRO DE DIREITO, 1988, 1988. p. 0-0.
2. COSTA, N. C. A. . A new approach to deontic logic. In: ANAIS DO CONGRESSO INTERNACIONAL DE FILOSOFIA DE CÓRDOBA, 1988, Argentina, 1988. p. 1261-1272.
3. COSTA, N. C. A. . "Acceptance And Probability". In: VIII INTERNATIONAL CONGRESS OF LOGIC, 1987, Moscou. MOSCOU, 1987. p. 0-0.
4. COSTA, N. C. A. . "Logic And Progmatic Truth". In: VIII INTERNATIONAL CONGRESS OF LOGIC, 1987. MOSCOU. p. 0-0.
5. COSTA, N. C. A. . A situação atual da lógica. In: ANAIS DO QUARTO CONGRESSO BRASILEIRO DE FILOSOFIA, 1962, 1962. p. 437-441.
6. COSTA, N. C. A. . A natureza dos juízos matemáticos. In: ANAIS DO CONGRESSO INTERNACIONAL DE FILOSOFIA DE SÃO PAULO, 1954, São Paulo, 1954. v. 3. p. 807-811.
Resumos publicados em anais de congressos
1. COSTA, N. C. A. . Cause as an Implication. In: THE JOURNAL OF SIMBOLIC LOGIC, 1987. p. 0-0.
2. COSTA, N. C. A. . "Pragamatical Truth And Approximation To Truth". In: THE JOURNAL OF SYMBOLIC LOGIC, 1984. p. 0-0.
3. COSTA, N. C. A. . "Pragmatic Probability". In: THE JOURNAL OF SYMBOLIC LOGIC, 1984. p. 0-0.
Apresentações de Trabalho
1. COSTA, N. C. A. . Quase-conjuntos. 2006. (Apresentação de Trabalho/Conferência ou palestra).
2. COSTA, N. C. A. . 23 Problemas Abertos. 2006. (Apresentação de Trabalho/Conferência ou palestra).
Demais tipos de produção bibliográfica
1. COSTA, N. C. A. . Teoria dos Conjuntos e Espaços Métricos. Paraná: Soc. Paran. Mat., 1961. (Tradução/Outra).
Produção técnica
Demais tipos de produção técnica
1.
da Costa, N. C. A. . Introdução à lógica paraconsistente. 2008. (Curso de curta duração ministrado/Outra).
Produção artística/cultural
1COSTA, N. C. A. . "Logica Paraconsistente Em Perspectiva". 1988 (FILME, VIDEO OU AUDIOVISUAL DE DIVULGACAO CIENTIFICA REALIZADO).
2COSTA, N. C. A. . "Vida Obra de Kurt Godel". 1988 (FILME, VIDEO OU AUDIOVISUAL DE DIVULGACAO CIENTIFICA REALIZADO).
3COSTA, N. C. A. . "Fundamentos de Teoria dos Conjuntos". 1987 (FILME, VIDEO OU AUDIOVISUAL DE DIVULGACAO CIENTIFICA REALIZADO).

Bancas
Participação em bancas examinadoras
Dissertações
1. KRAUSE, Décio; COSTA, N. C. A.. Participação em banca de Adriano Souza Lima. Quase verdade, probabilidade e indução. 2006. Dissertação (Mestrado em Filosofia) - Universidade Federal de Santa Catarina.
2. COSTA, N. C. A.. Participação em banca de Ana Paula Quirino. Conjuntos de Von Neumann e os fundamentos da física Clássica. 2004. Dissertação (Mestrado em Matemática Aplicada) - Universidade Federal do Paraná.
3. COSTA, N. C. A.. Participação em banca de Geraldo Gelowate. Observações sobre comprometimento ontológico em matemática. 2004. Dissertação (Mestrado em Filosofia) - Universidade Federal de Santa Catarina.
Teses de doutorado
1. COSTA, N. C. A.. Participação em banca de Jerusa Marchi. Operadores sintáticos para mudanças de crenças. 2006. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal de Santa Catarina.
2. COSTA, N. C. A.; SEGUNDO, J. A. B.; SANT'ANNA, A. S.; CAIEIRO, R. C.; SOUZA, E. G. DE. Participação em banca de Antonio Mariano Nogueira Coelho. Indistinguibilidade - uma abordagem por meio de estruturas. 2006. Tese (Doutorado em Filosofia) - Universidade de São Paulo.
3. BITTENCOURT, G.; COSTA, N. C. A.. Participação em banca de Jerusa Marchi. Operadores Sintáticos para Mudança de Crenças Baseados na Representação em Formas Normais Primárias. 2006. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal de Santa Catarina.
4. COSTA, N. C. A.. Participação em banca de Claudia Sanza. Algebras de Lukasiewicz. 2005 - Universidad Nacional Del Sur.
5. COSTA, N. C. A.. Participação em banca de Juliano Maranhão. Lógica deôntica jurídica. 2004. Tese (Doutorado em Direito) - Universidade de São Paulo.
6. COSTA, N. C. A.. Participação em banca de Milton A. de Castro. Hierarquias de sistemas de dedução natural para os sistemas de Cn de da Costa. 2004. Tese (Doutorado em Lógica e Filosofia da Ciência) - Universidade Estadual de Campinas.
7. COSTA, N. C. A.. Participação em banca de Tadeu F. de Carvalho. Sobre o cálculo paraconsistente de da Costa. 2004. Tese (Doutorado em Lógica e Filosofia da Ciência) - Universidade Estadual de Campinas.
8. COSTA, N. C. A.. Participação em banca de Milton A. de Castro. Hierarquias de sistemas de dedução natural para os sistemas de Cn de da Costa. 2004. Tese (Doutorado em Lógica e Filosofia da Ciência) - Universidade Estadual de Campinas.

Eventos
Participação em eventos
1. Faculdade de Direito da USP.Lógica e tempo. 2011. (Seminário).
2. Instituto de Matemática da USP.Espaço e tempo em física. 2011. (Seminário).
3. Galois 200 anos.Teoria de Galois generalizada e algumas de suas aplicações. 2011. (Simpósio).
4. VII Simpósio Internacional Princípia.Lógica e física. 2011. (Simpósio).
5. VII Simpósio Internacional Princípia.Espaço e tempo em física. 2011. (Simpósio).
6. 12a. Escola de Verão do Departamento de matemática da UFSC.Lógica e Física. 2011. (Outra).
7. Aula Inaugural - Instituto de Física/UFRGS.Lógica, espaço-tempo e física. 2011. (Outra).
8. III Congreso Iberoamericano de Filosofia de la Ciencia y la Tecnología.Fundamentos da Física. 2010. (Congresso).
9. VII Encontro de Filosofia e História da Ciência do Cone Sul.Fundamentos da Física. 2010. (Encontro).
10. Honorary General Chair ISAP 2009.Non-reflexive Logics. 2009. (Congresso).
11. Departamento de Matemática da UFPR.A teoria lógica da linguagem. 2009. (Seminário).
12. Departamento de Filosofia da UFSC.Lógicas não reflexivas. 2009. (Seminário).
13. Departamento de Física da USP São Carlos.Fundamentos da Física. 2009. (Seminário).
14. Departamento de Matemática da USP São Carlos.Teoremas de incompletude. 2009. (Seminário).
15. Departamento de Filosofia da UFSC.Fundamentos da Física. 2009. (Seminário).
16. Universidade do Sul de Santa Catarina.Aspectos da Física Atual. 2009. (Seminário).
17. CLE 30 YEARS/ XV Brazilian Logic Conference/ XIV Latin-American Symposium on Mathematical Logic.On the foundations of quantum field theory. 2008. (Congresso).
18. COPPE, UFRJ.Curso sobre Introdução à Lógica Paraconsistente. 2008. (Seminário).
19. 10 Congresso Internacional de Direito Alternativo.Ciência e Transformação Social. 2007. (Congresso).
20. IX Jornadas Rolando Chuaqui.Aspectos Actuales de la Lógica. 2007. (Seminário).
21. Departamento de Filosofia da UNICAMP.Teoria quântica de campos. 2007. (Seminário).
22. Centro de Lógica, Epistemologia e História da Ciência (CLE/UNICAMP)).Lógica e filosofia. 2007. (Seminário).
23. Centro de Lógica, Epistemologia e História da Ciência (CLE/UNICAMP)).Platonismo e construtividade em matemática. 2007. (Seminário).
24. Universidade Federal de Itajubá.Lógica e fundamentos da física. 2007. (Seminário).
25. Centro Brasileiro de Pesquisas Físicas.The meaning of the incompleteness theorem in Gödel. 2007. (Oficina).
26. Departamento de Matemática da UFPR.Fundamentos da Geometria. 2007. (Outra).
27. Universidad de Valparaiso.Problemas de Filosofia de la Lógica. 2007. (Outra).
28. Departamento de Filosofia da Universidad Católica de Chile.Temas de Filosofia de la Lógica. 2007. (Outra).
29. Faculdade de Direito da UFPR.A Lógica Hodierna. 2007. (Outra).
30. Aula Magna, Curso de Direito do Complexo de Ensino Superior de Santa Catarina - CESUSC.A Lógica aplicada às Ciências. 2007. (Outra).
31. Departamento de Informática e Estatística da UFSC.Teoria Quântica de Campos. 2007. (Outra).
32. V Encontro de Filosofia e História da Ciência do Cone Sul.O que é a lógica clássica?. 2006. (Encontro).
33. Departamento de Engenharia Elétrica da UFSC.A Lógica Atual. 2006. (Outra).
34. Departamento de Matemática da UFPR.Quase-conjuntos. 2006. (Outra).
35. SESC-Paraná.23 problemas abertos em teoria da ciência. 2006. (Outra).
36. Seminário sobre Lógicas Abstratas.Lógicas Abstratas. 2005. (Seminário).
37. Seminário no Departamento de Matemática da UFPR.Lógicas Abstratas. 2005. (Seminário).
38. Simpósio Internacional Principia IV.On Tarski's definition of Truth. 2005. (Simpósio).
39. Encontro de Matemática Universitária II.Os teoremas de incompletude de Gödel. 2005. (Encontro).
40. USP.Avanços recentes da lógica: lógicas abstratas. 2005. (Outra).
41. Aula Inaugural Departamento de Filosofia da UFSC.Aspectos da Ciência Atual. 2005. (Outra).
42. Programa Pesquisa FAPESP.Pesquisa. 2005. (Outra).
43. Workshop on Semanties and Meaning.Teoria de Galois generalizada. 2005. (Outra).
44. Jornadas Bolivarianas.Mesa redonda sobre Rigor e Crítica no Pensamento Científico. 2005. (Outra).
45. Departamento de Matemática da UFPR.Lógicas Abstratas. 2005. (Outra).
46. Departamento de Engenharia de Produção da UNIP.Avanços recentes em lógicas abstratas. 2005. (Outra).
47. Entrevista para Rádio Eldorado de São Paulo.Pesquisa e Ciência. 2005. (Outra).
48. Centro de Lógica da UNICAMP.Definability and Invariance. 2005. (Outra).
49. IV Encontro de Filosofia e História da Ciência do Cone Sul.Lógica Atual. 2004. (Encontro).
50. Departamento de Filosofia da USP.Invariância e Definibilidade. 2004. (Outra).
51. UFSC.Aspectos da Lógica Atual. 2004. (Outra).
52. Departamento de Matemática da UFSC.Geometria finita. 2004. (Outra).
53. Departamento de Filosofia da UFSC.Aspectos atuais da ciência. 2004. (Outra).
54. Departamento de Filosofia da UFSC.Historicismo e lógica. 2004. (Outra).

Orientações
Supervisões e orientações concluídas
Dissertação de mestrado
1. Fernando T. F. Moraes. Estruturas e a análise filosófica das teorias científicas. 2011. Dissertação (Mestrado em Filosofia) - Universidade Federal de Santa Catarina, . Orientador: Newton Carneiro Affonso da Costa.
2. Saul Gurfinkel Marques de Godoy. Estudos sobre a lógica paraconsistente DL e suas aplicações em Direito. 2009. Dissertação (Mestrado em Filosofia) - Universidade de São Paulo, . Orientador: Newton Carneiro Affonso da Costa.
3. Jucavo Savier Rocha. Algumas aplicações algébricas da teoria dos modelos. 2007. Dissertação (Mestrado em Matemática e Computação Científica) - Universidade Federal de Santa Catarina, . Orientador: Newton Carneiro Affonso da Costa.
4. Christian Garcia. Fundamentos da Teoria de Categorias. 2002. 0 f. Dissertação (Mestrado em Filosofia) - Universidade de São Paulo, . Orientador: Newton Carneiro Affonso da Costa.
5. Evandro Luiz Gomes. Sobre a História da Lógica no Brasil. 2002. 0 f. Dissertação (Mestrado em Filosofia) - Universidade de São Paulo, . Orientador: Newton Carneiro Affonso da Costa.
6. Fábio Romeu de Carvalho. Lógica paraconsistente anotada no auxílio às tomadas de decisão na administração de uma universidade . 2000. 0 f. Dissertação (Mestrado em Filosofia) - Universidade de São Paulo, . Orientador: Newton Carneiro Affonso da Costa.
7. Fábio Carvalho. Aplicação da Lógica paraconsistente a uma universidade. 2000. 0 f. Dissertação (Mestrado em Filosofia) - Universidade de São Paulo, . Orientador: Newton Carneiro Affonso da Costa.
8. Analice Gebauer Volkov. "Teoria das Categorias e Teoria dos Conjuntos". 1997. Dissertação (Mestrado em Filosofia) - Universidade de São Paulo, . Orientador: Newton Carneiro Affonso da Costa.
9. Marcelo Tsuji. "A Lógica Matemática e Os Fundamentos da Microeconomia". 1996. Dissertação (Mestrado em Filosofia) - Universidade de São Paulo, . Orientador: Newton Carneiro Affonso da Costa.
10. Christiane Novo Barbato. Relação entre Moral e Direito: Alguns Sistemas Deônicos. 1996. 0 f. Dissertação (Mestrado em Educação Matemática) - Pontifícia Universidade Católica de São Paulo, . Orientador: Newton Carneiro Affonso da Costa.
11. Roque da Costa Caieiro. Os Fundamentos da Economia de Troca Arrow-Debreu. 1995. 0 f. Dissertação (Mestrado em Filosofia) - Universidade de São Paulo, . Orientador: Newton Carneiro Affonso da Costa.
12. Antonio Mariano Nogueira Coelho. "Identificação Efetiva de Estruturas". 1994. Dissertação (Mestrado em Filosofia) - Universidade de São Paulo, . Orientador: Newton Carneiro Affonso da Costa.
13. Edécio Gonçalves de Souza. Estrutura e lógica de teorias físicas. 1992. 0 f. Dissertação (Mestrado em Filosofia) - Universidade de São Paulo, . Orientador: Newton Carneiro Affonso da Costa.
14. Jair Minoro Abe. Fundamentos da Geometria Ordenada. 1983. 0 f. Dissertação (Mestrado em Matemática) - Universidade de São Paulo, . Orientador: Newton Carneiro Affonso da Costa.
15. Antonio Mario Antunes Sette. Sobre as Algebras e Hiper-Reticulados 'C IND.W. 1971. 0 f. Dissertação (Mestrado em Matemática) - Universidade Estadual de Campinas, . Orientador: Newton Carneiro Affonso da Costa.
16. Luiz Paulo de Alcântara. Sobre a consistência relativa de dois sistemas de teoria de conjuntos. 1971. 0 f. Dissertação (Mestrado em Mestrado Em Ciências) - Centro Técnico Aeroespacial São José dos Campos, . Orientador: Newton Carneiro Affonso da Costa.
17. Lafayette de Moraes. Sobre a Lógica discursiva de Jaskowski. 1970. 0 f. Dissertação (Mestrado em Filosofia) - Universidade de São Paulo, . Orientador: Newton Carneiro Affonso da Costa.
Tese de doutorado
1. Antonio Mariano Nogueira Coelho. Indistinguibilidade: uma abordagem por meio de estruturas. 2006. Tese (Doutorado em Filosofia) - Universidade de São Paulo, . Orientador: Newton Carneiro Affonso da Costa.
2. Ricardo Miranda. A experiência de Michelson-Morley. 2004. Tese (Doutorado em Filosofia) - Universidade de São Paulo, . Orientador: Newton Carneiro Affonso da Costa.
3. Nelson Andion. Sobre uma Sistematização do Eletromagnetismo. 2003. 0 f. Tese (Doutorado em Filosofia) - Universidade de São Paulo, . Orientador: Newton Carneiro Affonso da Costa.
4. Roque da Costa Caieiro. Tópicos em Metodologia Formal. A noção de teoria em ciência econômica. 2001. 0 f. Tese (Doutorado em Filosofia) - Universidade de São Paulo, . Orientador: Newton Carneiro Affonso da Costa.
5. Gerard Emile Grimberg. A constituição da teoria das funções de várias variáveis no século XVIII: o início da análise moderna) . 2001. 0 f. Tese (Doutorado em Filosofia) - Universidade de São Paulo, . Orientador: Newton Carneiro Affonso da Costa.
6. Irinéa de Lourdes Batista. A teoria universal de Fermi: da sua formulação inicial até a reformulação V-A) . 1999. 0 f. Tese (Doutorado em Filosofia) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Newton Carneiro Affonso da Costa.
7. Marcelo Tsuji. Propriedades aleatórias de sistemas formais. 1999. 0 f. Tese (Doutorado em Filosofia) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Newton Carneiro Affonso da Costa.
8. Carlos Alberto Knudsen. Álgebras de Rosenbloon e fundamentos da matemática). 1999. 0 f. Tese (Doutorado em Filosofia) - Universidade de São Paulo, . Orientador: Newton Carneiro Affonso da Costa.
9. Sérgio Ferreira Cortizo. "Extensões Virtuais". 1998. Tese (Doutorado em Filosofia) - Universidade de São Paulo, . Orientador: Newton Carneiro Affonso da Costa.
10. Jean Yves Béziau. "Sobre A Verdade Lógica". 1996. Tese (Doutorado em Filosofia) - Universidade de São Paulo, . Orientador: Newton Carneiro Affonso da Costa.
11. Edélcio Gonçalves de Souza. "O Problema de Dest Ou Ches e As Lógicas Heterodoxas: Ensaio Sobre O Uso de Lógicas Não Clásicas No Tratamento de Inconsistências Em Teorias Físicas". 1995. Tese (Doutorado em Filosofia) - Universidade de São Paulo, . Orientador: Newton Carneiro Affonso da Costa.
12. Márcio Chaves-Tannus. "Um Modelo Medieval de Aplicação da Lógica À Moral: A Ética de Pedro Abelardo". 1994. Tese (Doutorado em Filosofia) - Universidade de São Paulo, . Orientador: Newton Carneiro Affonso da Costa.
13. Adonai Schlup Sant'Anna. A Teoria-K nos Campos de Gauge e Outras Questões Sobre Categorias e Os Fundamentos Física. 1994. Tese (Doutorado em Filosofia) - Universidade de São Paulo, . Orientador: Newton Carneiro Affonso da Costa.
14. Jair Minoro Abe. Fundamentos da Lógica Anotada. 1992. 0 f. Tese (Doutorado em Filosofia) - Universidade de São Paulo, . Orientador: Newton Carneiro Affonso da Costa.
15. Décio Krause. Não-Reflexividade, Indistingüibilidade e Agregados de Weyl . 1990. 0 f. Tese (Doutorado em Filosofia) - Universidade de São Paulo, . Orientador: Newton Carneiro Affonso da Costa.
16. Walzi Conceição Sampaio da Silva. Racionalidade e Paraconsistencia: Um Estudo de Caso. 1990. 0 f. Tese (Doutorado em Filosofia) - Universidade de São Paulo, . Orientador: Newton Carneiro Affonso da Costa.
17. Clara Helena Sánchez Botero. Aspectos da Eliminabilidade dos dos operadores normais. 1988. 0 f. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas, . Orientador: Newton Carneiro Affonso da Costa.
18. Celina Aparecida Almeida Pereira Abar. Descrição e Paraconsistência. 1985. 0 f. Tese (Doutorado em Educação Matemática) - Pontifícia Universidade Católica de São Paulo, . Orientador: Newton Carneiro Affonso da Costa.
19. Leila Zardo Puga. Uma Lógica de Querer: Preliminares sobre um tema de Mally. 1985. 0 f. Tese (Doutorado em Educação Matemática) - Pontifícia Universidade Católica de São Paulo, . Orientador: Newton Carneiro Affonso da Costa.
20. Mineko Yamashita. O simbolo epsilon de Hilbert em lógica paraconsitente. 1985. 0 f. Tese (Doutorado em Educação Matemática) - Pontifícia Universidade Católica de São Paulo, . Orientador: Newton Carneiro Affonso da Costa.
21. Itala Maria Loffredo D'Ottaviano. Sobre uma Teoria de Modelos Trivalentes. 1982. 0 f. Tese (Doutorado em Matemática) - Universidade Estadual de Campinas, . Orientador: Newton Carneiro Affonso da Costa.
22. Walter Alexandre Carnielli. Sobre o Método dos Tableaux em Lógica Polivalentes Finitárias. 1982. 0 f. Tese (Doutorado em Matemática) - Universidade Estadual de Campinas, . Orientador: Newton Carneiro Affonso da Costa.
23. Amadeo Peter Hiller. Sistemas auto-referentes e o paradoxo de Russell. 1981. 0 f. Tese (Doutorado em Matemática) - Universidade de São Paulo, . Orientador: Newton Carneiro Affonso da Costa.
24. Antonio Mario Antunes Sette. O Forcing de Fraisse (Um estudo Comparativo). 1977. 0 f. Tese (Doutorado em Matemática) - Universidade de São Paulo, . Orientador: Newton Carneiro Affonso da Costa.
25. Luiz Paulo de Alcântara. Axiomas de infinito na teoria axiomática dos conjuntos. 1977. 0 f. Tese (Doutorado em Educação Matemática) - Pontifícia Universidade Católica de São Paulo, . Orientador: Newton Carneiro Affonso da Costa.
26. Lafayette de Moraes. Lógica discursiva e modelos de Kripke. 1973. 0 f. Tese (Doutorado em Filosofia) - Pontifícia Universidade Católica de São Paulo, . Orientador: Newton Carneiro Affonso da Costa.
27. Ayda Ignez Arruda. Considerações sobre sistemas formais NFn. 1966. 0 f. Tese (Doutorado em Matemática) - Universidade Federal do Paraná, . Orientador: Newton Carneiro Affonso da Costa.
Página gerada pelo Sistema Currículo Lattes em 10/02/2012 às 22:51:09