Décio Krause

Bolsista de Produtividade em Pesquisa do CNPq - Nível 1B

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


Décio Krause é Professor Titular do Departamento de Filosofia da Universidade Federal de Santa Catarina e aposentado como Professor Titular do Departamento de Matemática da Universidade Federal do Paraná. É também Professor Colaborador do Programa de Pós-Graduação em Lógica e Metafísica da Universidade Federal do Rio de Janeiro. Doutorado pela USP em 1990, realizou estudos de pós-doutoramento nas universidades de Florença (Itália), Leeds (Inglaterra), e Oxford (Inglaterra). Suas principais áreas de interesse são os fundamentos lógicos e metafísicos da física quântica, as aplicações de lógicas não clássicas nos fundamentos das ciências empíricas, a flosofia da lógica e o estudo da estrutura lógica das teorias científicas, em especial das teorias da física. (Texto informado pelo autor)


Identificação


Nome
Décio Krause
Nome em citações bibliográficas
KRAUSE, D.;Krause, Décio

Endereço


Endereço Profissional
Universidade Federal de Santa Catarina, Centro de Filosofia e Ciências Humanas, Departamento de Filosofia.
Campus da Trindade
Trindade
88040900 - Florianópolis, SC - Brasil - Caixa-postal: 476
Telefone: (48) 37219248
URL da Homepage: http://www.cfh.ufsc.br/~dkrause


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


1987 - 1990
Doutorado em Filosofia.
Universidade de São Paulo, USP, Brasil.
Título: Não-reflexividade, indistinguibilidade e agregados de Weyl, Ano de obtenção: 1990.
Orientador: Newton Carneiro Affonso da Costa.
Coorientador: Newton Carneiro Affonso da Costa.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Palavras-chave: Identidade de Indiscerníveis; Não-individualidade; Quase-conjuntos; Lógicas de Schrödinger.
Grande área: Ciências Humanas
Grande Área: Ciências Humanas / Área: Filosofia / Subárea: Epistemologia.
1980 - 1983
Mestrado em Educação.
Universidade Federal do Paraná, UFPR, Brasil.
Título: O mundo 3 da matemática: objetividade e compreensão na formulação da metodologia e currículo,Ano de Obtenção: 1983.
Orientador: José Alberto Pedra.
Palavras-chave: Conhecimento Cientifico; Provas e Refutações; Filosofia da Matemática.
Grande área: Ciências Humanas
1974 - 1976
Graduação em Licenciatura Em Matemática.
Pontifícia Universidade Católica do Paraná, PUC/PR, Brasil.


Pós-doutorado


2008 - 2008
Pós-Doutorado.
University of Oxford, OU, Grã-Bretanha.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Grande área: Ciências Humanas
Grande Área: Ciências Humanas / Área: Filosofia / Subárea: Lógica.
Grande Área: Ciências Humanas / Área: Filosofia / Subárea: Metafísica.
1995 - 1996
Pós-Doutorado.
Leeds Metropolitan University, LEEDS, Inglaterra.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Grande área: Ciências Humanas
Grande Área: Ciências Humanas / Área: Filosofia / Subárea: Epistemologia.
1992 - 1993
Pós-Doutorado.
Universita Degli Studi Firenze, USF, Itália.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Grande área: Ciências Humanas


Formação Complementar


1990 - 1990
Extensão universitária em Tópicos de Equações Diferenciais Ordinárias e Apli. (Carga horária: 16h).
Universidade Federal do Paraná, UFPR, Brasil.
1986 - 1986
Extensão universitária em Álgebras Booleanas e Álgebras de Curry. (Carga horária: 20h).
Universidade Federal do Paraná, UFPR, Brasil.
1985 - 1985
Extensão universitária em Teoria das Estruturas. (Carga horária: 20h).
Universidade Federal do Paraná, UFPR, Brasil.
1985 - 1985
Extensão universitária em Resultados Fundamentais da Teoria da Prova. (Carga horária: 12h).
Universidade Federal do Paraná, UFPR, Brasil.
1980 - 1980
Especialização Em Matemática Pura. (Carga horária: 360h).
Universidade Tecnológica Federal do Paraná, UTFPR, Brasil.
1977 - 1977
Extensão universitária em Teoria de Conjuntos.
Pontifícia Universidade Católica do Paraná, PUC/PR, Brasil.
1977 - 1977
Extensão universitária em Introdução Às Equações Integrais Lineares e Ao Cál. (Carga horária: 20h).
Pontifícia Universidade Católica do Paraná, PUC/PR, Brasil.
1977 - 1977
Introdução à Geometria Diferencial. (Carga horária: 20h).
Instituto Nacional de Matemática Pura e Aplicada, IMPA, Brasil.
1976 - 1976
Extensão universitária em Funções de Uma Variável Complexa.
Pontifícia Universidade Católica do Paraná, PUC/PR, Brasil.
1976 - 1976
Extensão universitária em História da Matemática.
Pontifícia Universidade Católica do Paraná, PUC/PR, Brasil.
1975 - 1975
Extensão universitária em Panorama Atual da Lógica.
Pontifícia Universidade Católica do Paraná, PUC/PR, Brasil.


Atuação Profissional



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

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

Vínculo institucional

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

Atividades

8/2000 - Atual
Direção e administração, Centro de Filosofia e Ciências Humanas, Departamento de Filosofia.

Cargo ou função
Coordenador do Grupo de Lógica e Fundamentos da Ciência UFSC/CNPq.
8/2000 - Atual
Ensino, Filosofia, Nível: Pós-Graduação

Disciplinas ministradas
Filosofia da Ciência
Lógica
Tópicos Especiais de Lógica
Tópicos Especiais de Filosofia da Ciência
5/2000 - Atual
Pesquisa e desenvolvimento , Centro de Filosofia e Ciências Humanas, Departamento de Filosofia.

2/2000 - Atual
Ensino, Licenciatura Em Filosofia, Nível: Graduação

Disciplinas ministradas
Filosofia da Ciência
Lógica
Ontologia
Teoria do Conhecimento
10/2003 - 9/2005
Direção e administração, Centro de Filosofia e Ciências Humanas, Departamento de Filosofia.

Cargo ou função
Sub-Coordenador do Núcleo de Epistemologia e Lógica.
7/2002 - 10/2003
Direção e administração, Centro de Filosofia e Ciências Humanas, Departamento de Filosofia.

Cargo ou função
SubCoordenador do Curso de Pós-Graduação em Filosofia.
6/2001 - 10/2003
Direção e administração, Centro de Filosofia e Ciências Humanas, Departamento de Filosofia.

Cargo ou função
Coordenador do Núcleo de Epistemologia e Lógica-NEL.

Universidade Tecnológica Federal do Paraná, UTFPR, Brasil.
Vínculo institucional

1978 - 1991
Vínculo: Professor de Ensino Superior, Enquadramento Funcional: Professor Adjunto, Carga horária: 20
Outras informações
Professor de Cálculo Diferencial e Integral, Geometria Analítica, Álgebra Linear., Cálculo Numérico.


Universidade Federal do Paraná, UFPR, Brasil.
Vínculo institucional

1998 - 2001
Vínculo: Outro, Enquadramento Funcional: Orientador de Pós-Graduação, Carga horária: 4
Outras informações
Professor colabordor e orientador, Pós-Graduação em Informática da UFPR.

Vínculo institucional

1977 - 1998
Vínculo: Outro, Enquadramento Funcional: Professor Titular, Departamento de Matemática, Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações
Aposentado como Professor Titular do Departamento de Matemática da UFPR em Abril de 1998.

Vínculo institucional

1977 - 1998
Vínculo: Professor Aposentado, Enquadramento Funcional: Professor titular, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

8/1999 - 8/2001
Pesquisa e desenvolvimento , Setor de Ciências Exatas, Departamento de Informática.

1/1995 - 2/2000
Serviços técnicos especializados , Setor de Ciências Exatas, Departamento de Matemática.

Serviço realizado
Editor do Boletim da Sociedade Paranaense de Matemática.
8/1998 - 1/2000
Pesquisa e desenvolvimento , Setor de Ciências Exatas, Departamento de Física.

4/1998 - 1/2000
Direção e administração, Pró-Reitoria de Pesquisa e Pós-Graduação, Coordenação Geral de Pesquisa.

Cargo ou função
Coordenador Geral de Pesquisa.
8/1998 - 12/1999
Ensino, Informática, Nível: Pós-Graduação

Disciplinas ministradas
Teoria da Computação
3/1977 - 4/1998
Pesquisa e desenvolvimento , Setor de Ciências Exatas, Departamento de Matemática.

3/1977 - 4/1998
Ensino, Engenharia Elétrica, Nível: Graduação

Disciplinas ministradas
Cálculo Diferencial e Integral
Álgebra Linear
Geometria Analítica
Fundamentos da Matemática
Lógica Matemática
3/1981 - 3/1983
Direção e administração, Setor de Ciências Exatas, Departamento de Matemática.

Cargo ou função
Sub-Chefe do Departamento de Matemática.


Linhas de pesquisa


1.
Implementação do método das conexões de Bibel à lógica paraconsistente anotada
2.
Lógica e Fundamentos da Matemática
3.
Fundamentos lógicos das teorias físicas
4.
Fundamentos Lógicos da Física Quântica

Objetivo: Aprofundar questões filosóficas (lógicas, epistemológicas e ontológicas) acerca dos fundamentos lógicos da física quântica, considerando as diversas teorias (ou interpretações) que constituem esse domínio, e com interesse em questões gerais como o conceito de verdade em física, a objetividade das teorias físicas, a aplicação de lógicas não clássicas a esses domínios. Alguns desses trabalhos são realizados em parceria com pesquisadores do Brasil e de outros países, como os Estados Unidos, a Inglaterra e a Argentina..
Grande área: Ciências Humanas
Grande Área: Ciências Humanas / Área: Filosofia / Subárea: Epistemologia.
Grande Área: Ciências Humanas / Área: Filosofia / Subárea: Metafísica.
Setores de atividade: Educação Superior.
Palavras-chave: Lógica Não-Reflexiva; Axiomatização de Teorias Científicas; Estrutura de Teorias Físicas; Filosofia da Lógica; Filosofia da mecânica quântica; Fundamentos da Física.


Projetos de pesquisa


2013 - Atual
Lógica, Ontologia e Teorias Quânticas
Descrição: Continuação dos projetos anteriores, como bolsista do CNPq 2010-2014..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Doutorado: (4) .
Integrantes: Décio Krause - Coordenador.
2007 - 2010
FILOSOFIA DA NÃO-INDIVIDUALIDADE ESTUDO DE ASPECTOS LÓGICOS E ONTOLÓGICOS DA FÍSICA QUÂNTICA
Descrição: Continuação do Projeto anterior, mantido junto ao CNPq de 2007 a 2010. Web: http://www.cfh.ufsc.br/~dkrause/pg/cnpq/ProjetoCNPq-2007.2010.pdf.
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico: (2) Doutorado: (1) .
Integrantes: Décio Krause - Coordenador / Jaison Schinaider - Integrante / William J Steinle - Integrante / Jonas Rafael Becker Arenhart - Integrante / Domenech, Graciela - Integrante / Holik, Federico - Integrante.
2003 - 2007
Identidade e Individualidade em Física: Aspectos Lógicos e Ontológicos da Física Quântica
Descrição: Projeto de Pesquisa mantido junto ao CNPq (2003-2007) Web: http://www.cfh.ufsc.br/~dkrause/pg/cnpq/ProjetoCNPq-2003.2007.pdf.
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) / Especialização: (0) / Mestrado acadêmico: (4) / Mestrado profissional: (0) / Doutorado: (1) .
Integrantes: Décio Krause - Integrante / A. S. SANT'ANNA - Integrante / Newton C A da Costa - Integrante / Steven French - Integrante / William José Steinle - Integrante / Flavio de Carvalho Meurer - Integrante / Otavio Bueno - Integrante / Gilson Maicá de Oliveira - Integrante / Jonas Rafael Becker Arenhart - Integrante / Jorge Lucas Simões Minella - Integrante / Pedro Henrique Machado Valgas - Coordenador.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
Número de produções C, T & A: 18 / Número de orientações: 7


Membro de corpo editorial


2015 - Atual
Periódico: South American Journal of Logic
2013 - Atual
Periódico: Philosophy Study
2011 - Atual
Periódico: Manuscrito (UNICAMP)
2008 - Atual
Periódico: Discusiones Filosóficas
2008 - Atual
Periódico: Publicatio UEPG. Ciências Exatas e da Terra, Ciências Agrárias e Engenharia
2005 - Atual
Periódico: Representaciones (Córdoba)
2005 - Atual
Periódico: Praxis Filosófica
2004 - Atual
Periódico: Boletim da Sociedade Paranaense de Matemática


Membro de comitê de assessoramento


2012 - 2015
Agência de fomento: Conselho Nacional de Desenvolvimento Científico e Tecnológico


Revisor de periódico


1992 - Atual
Periódico: Mathematical Reviews
2004 - Atual
Periódico: Foundations of Physics
2004 - Atual
Periódico: Foundations of Physics Letters
2005 - Atual
Periódico: Manuscrito
2005 - Atual
Periódico: Principia (UFSC)
2006 - Atual
Periódico: Logica Unversalis
2000 - Atual
Periódico: Synthese (Dordrecht)
2008 - Atual
Periódico: Philosophy of Science (Online University of Chicago. Press)
2009 - Atual
Periódico: British Journal for the Philosophy of Science


Áreas de atuação


1.
Grande área: Ciências Humanas / Área: Filosofia / Subárea: Lógica/Especialidade: Fundamentos Lógicos da Ciência.
2.
Grande área: Ciências Humanas / Área: Filosofia / Subárea: Lógica/Especialidade: Lógica da Mecânica Quântica.
3.
Grande área: Ciências Humanas / Área: Filosofia / Subárea: Lógica/Especialidade: Filosofia da Não-Individualidade.


Idiomas


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


Produções



Produção bibliográfica
Citações

Web of Science
Total de trabalhos:9
Total de citações:33
Fator H:4
Krause, D.  Data: 20/05/2008

SCOPUS
Total de trabalhos:11
Total de citações:48
Krause, D.  Data: 20/04/2011

Artigos completos publicados em periódicos

1.
Krause, Décio2017Krause, Décio. Descriptions in quantum mechanics. LOGIC JOURNAL OF THE IGPL (ONLINE), v. 24, p. 512-523, 2017.

2.
J. A. de Barros2017J. A. de Barros ; Holik, Federico ; Krause, Décio . Contextually and Indistinguishability. Entropy, v. 19, p. 1-22, 2017.

3.
Krause, Décio2017Krause, Décio; da Costa, Newton C. A. . O que é um conjunto?. REVISTA ELETRÔNICA PAULISTA DE MATEMÁTICA, v. 11, p. 99-107, 2017.

4.
ARENHART, Jonas Rafael Becker2016ARENHART, Jonas Rafael Becker ; Krause, Décio . Contradiction, Quantum Mechanics, and the Square of Opposition. LOGIQUE ET ANALYSE, v. 59, p. 301-315, 2016.

5.
Krause, Décio2016Krause, Décio; Becker Arenhart, Jonas R. . resenting Nonreflexive Quantum Mechanics: Formalism and Metaphysics.. Cadernos de História e Filosofia da Ciência (UNICAMP), v. 4, p. 59-91, 2016.

6.
Holik, Federico2016Holik, Federico ; Gomez, I. ; Krause, Décio . Quantum logical structures for similar particles. Cadernos de História e Filosofia da Ciência (UNICAMP), v. 11, p. 13-58, 2016.

7.
Krause, Décio2015Krause, Décio; ARENHART, Jonas Rafael Becker ; da Costa, Newton C. A. . Ontology and the mathematization of the scientific enterprise. Revista Phainomenon, v. 25, p. 125-145, 2015.

8.
COSTA, Newton C A da2015COSTA, Newton C A da ; Krause, Décio . O que é uma lógica?. Fundamento: revista de filosofia, v. 1, p. 11-19, 2015.

9.
ARENHART, Jonas Rafael Becker2014ARENHART, Jonas Rafael Becker ; Krause, Décio . From primitive identity to the non-individuality of quantum objects. Studies in History and Philosophy of Modern Physics, v. 46, p. 273-282, 2014.

10.
ARENHART, Jonas Rafael Becker2014ARENHART, Jonas Rafael Becker ; Krause, Décio . Why Non-individuality? A Discussion on Individuality, Identity, and Cardinality in the Quantum Context. Erkenntnis, v. 79, p. 1-18, 2014.

11.
COSTA, Newton C A da2014COSTA, Newton C A da ; Krause, Décio . Physics, inconsistencies, and quasi-truth. SYNTHESE, v. 191, p. 3041-3055, 2014.

12.
Krause, Décio2014Krause, Décio; Arenhart, Jonas R. B. . Separability and Non-Individuality: Is It Possible to Conciliate (At Least A Form Of) Einstein?s Realism with Quantum Mechanics?. Foundations of Physics, v. 44, p. 1269-1288, 2014.

13.
SCHINAIDER, JAISON2014SCHINAIDER, JAISON ; Krause, Décio . Indiscernibilidade e identidade em química: aspectos filosóficos e formais. Manuscrito (UNICAMP), v. 37, p. 113-160, 2014.

14.
KRAUSE, D.2014KRAUSE, D.. The problem of identity and a justification for a non-reflexive quantum mechanics. Logic Journal of the IGPL (Online), v. 22, p. 186-205, 2014.

15.
ARENHART, Jonas Rafael Becker2013ARENHART, Jonas Rafael Becker ; Krause, Décio . Classical Logic or Non-Reflexive Logic?A case of Semantic Underdetermination. Revista Portuguesa de Filosofia, v. 68, p. 73, 2013.

16.
Krause, Décio2013Krause, Décio; ARENHART, Jonas Rafael Becker . Perspectivismo na filosofia da ciência: um estudo de caso na física quântica. Scientiae Studia (USP), v. 11, p. 159-183, 2013.

17.
COSTA, Newton C A da2012COSTA, Newton C A da ; KRAUSE, D. ; ARENHART, Jonas Rafael Becker ; SCHINAIDER, J. . Sobre uma fundamentação não reflexiva da mecânica quântica. Scientiae Studia (USP), v. 10, p. 71-104, 2012.

18.
ARENHART, Jonas Rafael Becker2012ARENHART, Jonas Rafael Becker ; KRAUSE, D. . Indistinguibilidade, não reflexividade, ontologia e física quântica. Scientiae Studia (USP), v. 71, p. 41-69, 2012.

19.
KRAUSE, D.2012KRAUSE, D.; Arenhart, Jonas R. B. . A discussion on quantum non-individuality. Journal of Applied Non-Classical Logics, v. 22, p. 105-124, 2012.

20.
Arenhart, Jonas R. B.2012Arenhart, Jonas R. B. ; Krause, Décio . Uma lógica da indiscernibilidade. Disputatio (Lisboa), v. 34, p. 555-573, 2012.

21.
Cunha do Nascimento, Mauri2011Cunha do Nascimento, Mauri ; Krause, Décio ; Araújo Feitosa, Hércules . The Quasi-lattice of Indiscernible Elements. Studia Logica, v. 97, p. 101-126, 2011.

22.
Krause, Décio2011Krause, Décio; Arenhart, Jonas R. B. ; Moraes, Fernando T. F. . Axiomatization and Models of Scientific Theories. Foundations of Science (Print), v. 16, p. 363-382, 2011.

23.
ARENHART, Jonas Rafael Becker2011ARENHART, Jonas Rafael Becker ; KRAUSE, D. . Indistinguibilidade, não-reflexividade, ontologia e física quântica. CLE e-Prints (Online), v. 11, p. 3, 2011.

24.
Krause, Décio2011Krause, Décio. Is Priscilla, the trapped positron, an individual? Quantum physics, the use of names, and individuation. Arbor (Madrid. Internet), v. 187, p. 61-66, 2011.

25.
Krause, Décio2010Krause, Décio. Logical Aspects of Quantum (Non-)Individuality. Foundations of Science, v. 15, p. 79-94, 2010.

26.
ARENHART, Jonas Rafael Becker2010ARENHART, Jonas Rafael Becker ; Krause, Décio . Semântica quase-conjuntista e compromisso ontológico. Cognitio (PUCSP), v. 10, p. 191-207, 2010.

27.
COSTA, Newton C A da2010COSTA, Newton C A da ; Krause, Décio ; BUENO, Otavio . Issues in the Foundations of Science, I: Languages, Structures, and Models. Manuscrito (UNICAMP), v. 33, p. 123-142, 2010.

28.
Krause, Décio2010Krause, Décio; BUENO, Otavio . Ontological Issues in Quantum Theory. Manuscrito (UNICAMP), v. 33, p. 269-284, 2010.

29.
Domenech, G.2010Domenech, G. ; Holik, F. ; Kniznik, L. ; KRAUSE, D. . No Labeling Quantum Mechanics of Indiscernible Particles. International Journal of Theoretical Physics, v. 49, p. 3085-3091, 2010.

30.
van Fraassen, B.2010van Fraassen, B. ; Howard, D. ; Castellani, E. ; BUENO, Otavio ; FRENCH, Steven ; Krause, Décio ; Crosilla, L. . The physics and metaphysics of identity and individuality. Metascience (Manly. Print), v. 19, p. 1-30, 2010.

31.
FRENCH, Steven2010FRENCH, Steven ; Krause, Décio . Remarks on the Theory of Quasi-sets. Studia Logica, v. 95, p. 101-124, 2010.

32.
KRAUSE, D.2009KRAUSE, D.. Newton da Costa e a filosofia da quase-verdade. Principia (UFSC), v. 13 (2), p. 105-128, 2009.

33.
Krause, Décio2009Krause, Décio. Questões a uma teoria de quase-objetos. Manuscrito (UNICAMP), v. 32, p. 399-436, 2009.

34.
ARENHART, Jonas Rafael Becker2009ARENHART, Jonas Rafael Becker ; Krause, Décio . Quantifiers and the foundations of quasi-set theory. Principia (UFSC), v. 13, p. 251-268, 2009.

35.
ARENHART, Jonas Rafael Becker2008ARENHART, Jonas Rafael Becker ; KRAUSE, D. . Identidade, Individualidade e Quase-Conjuntos. Revista Eletrônica Informação e Cognição, v. 2, p. 25-39, 2008.

36.
Domenech, Graciela2008 Domenech, Graciela ; Holik, Federico ; KRAUSE, D. . Q-spaces and the Foundations of Quantum Mechanics. Foundations of Physics, v. 38, p. 969-994, 2008.

37.
KRAUSE, D.2008KRAUSE, D.. Física e ontologia. Discusiones Filosoficas, v. 9, p. 57-74, 2008.

38.
Krause, Décio2008Krause, Décio. A negação clássica. O Que nos Faz Pensar, v. 23, p. 32-39, 2008.

39.
Krause, Décio2007Krause, Décio; FRENCH, Steven . Quantum sortal predicates. Synthese (Dordrecht), v. 154, p. 417-430, 2007.

40.
KRAUSE, D.;Krause, Décio2007KRAUSE, D.; ARENHART, Jonas Rafael Becker . Hume, Schrödinger e a individuação de objetos físicos. Revista Eletrônica Informação e Cognição, v. 5, p. 59-71, 2007.

41.
MAGALHÃES, J. C. M.2007MAGALHÃES, J. C. M. ; KRAUSE, D. . Teorias e modelos em genética de populações: um exemplo do uso do método axiomático em biologia. Episteme (Porto Alegre), v. 11(24), p. 269-291, 2007.

42.
Krause, Décio2007Krause, Décio; Schliesser, Eric ; Andersen, Hanne . Book Reviews. International Studies in the Philosophy of Science, v. 21, p. 345-357, 2007.

43.
KRAUSE, D.;Krause, Décio2007KRAUSE, D.; BUENO, Otavio . Scientific theories, models, and the semantic approach. Principia (UFSC), v. 77, p. 187-201, 2007.

44.
Da Costa, N. C. A.2007Da 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.

45.
KRAUSE, D.;Krause, Décio2006KRAUSE, D.. Einstein y la indiscernibilidad. Praxis Filosofica, v. 22, p. 113-130, 2006.

46.
KRAUSE, D.;Krause, Décio2005KRAUSE, D.; COSTA, Newton C A da . [Essay Review] E. Scheibe: Between Rationalism and Empiricism: Selected Papers in the Philosophy of Physics (B. Falkenburg, Ed.). Studies In History and Philosophy of Modern Physics, New York, v. 36, n.1, p. 210-217, 2005.

47.
KRAUSE, D.;Krause, Décio2005KRAUSE, D.; SANT'ANNA, Adonai S ; SARTORELLI, Aurelio . On the concept of identity in Zermelo-Fraenkel-like axioms and its relationships with quantum statistics. Logique et Analyse, 2005.

48.
KRAUSE, D.;Krause, Décio2005KRAUSE, D.; GELOWATE, Geraldo ; COELHO, Antonio M N . Observações sobre a neutralidade ontológica da matemática. Episteme (Porto Alegre), Porto Alegre, v. 17, 2005.

49.
Krause, Décio2005Krause, Décio; Coelho, Antonio Mariano Nogueira . Identity, Indiscernibility, and Philosophical Claims. Axiomathes (Padova), Holanda, v. 15, n.2, p. 191-210, 2005.

50.
KRAUSE, D.2005KRAUSE, D.. Structures and Structural Realism. Logic Journal of the IGPL, Oxford, v. 13, n.1, p. 113-126, 2005.

51.
KRAUSE, D.;Krause, Décio2005KRAUSE, D.. Separable Non-Individuals. Representaciones (Córdoba), Córdoba, Argentina, v. 1, n.1, p. 21-36, 2005.

52.
KRAUSE, D.;Krause, Décio2005KRAUSE, D.. Una ojeada a las bases ontológicas de la física cuántica. Praxis Filosofica, Cali, v. 21, p. 5-20, 2005.

53.
KRAUSE, D.;Krause, Décio2004KRAUSE, D.. Lógica paraconsistente. Scientific American Brasil, São Paulo, v. 30, p. 70-77, 2004.

54.
FRENCH, S.2003FRENCH, S. ; KRAUSE, D. . Quantum Vagueness. Erkenntnis, Dordrecht, v. 59, n.1, p. 97-124, 2003.

55.
KRAUSE, D.;Krause, Décio2003KRAUSE, D.. Why quasi-sets?. Boletim da Sociedade Paranaense de Matemática, Maringá, v. 20, n.1/2, p. 73-92, 2003.

56.
DORIA, F. A.2003DORIA, F. A. ; KRAUSE, D. ; SANT'ANNA, A. S. . Newton da Costa: pensador da contradição. Scientific American Brasil, São Paulo, SP, v. 13, p. 22-24, 2003.

57.
MAGALHÃES, J. C. M.2001MAGALHÃES, J. C. M. ; KRAUSE, D. . Suppes predicate for genetics and natural selection. Journal of Theoretical Biology, www.academicpress.com/jtb, v. 209, n.2, p. 141-153, 2001.

58.
KRAUSE, D.;Krause, Décio2000KRAUSE, D.. Remarks on quantum ontology. Synthese (Dordrecht), Dordrecht, Holanda, 2000, v. 125, n.1/2, p. 155-167, 2000.

59.
KRAUSE, D.;Krause, Décio2000KRAUSE, D.. Newton da Costa: homenagem aos seus 70 anos. Revista Brasileira de Filosofia, São Paulo, v. 50, n.198, p. 268-280, 2000.

60.
KRAUSE, D.;Krause, Décio2000KRAUSE, D.. Aspectos lógicos e epistemológicos relacionados à mecânica quântica. Cadernos de História e Filosofia da Ciência (UNICAMP), CLE-Unicamp/Campinas-SP, v. 9, n.1-2, p. 147-200, 2000.

61.
KRAUSE, D.;Krause, Décio1999KRAUSE, D.; SANT'ANNA, A. S. ; VOLKOV, A. . Quasi Set Theory For Bosons And Fermions. Foundations of Physics Letters, ESTADOS UNIDOS, v. 12, n.1, p. 51-66, 1999.

62.
KRAUSE, D.1997KRAUSE, D.. Relativizations of the Principle of Identity. Logic Journal of the IGPL, INGLATERRA, v. 5, n.3, p. 1-12, 1997.

63.
da Costa, Newton C. A.1997da Costa, Newton C. A. ; Krause, Décio . An Intensional Schrödinger Logic. Notre Dame Journal of Formal Logic, ESTADOS UNIDOS, v. 38, n.2, p. 179-194, 1997.

64.
Sant Anna, Adonai S.1997Sant Anna, Adonai S. ; Krause, Décio . Indistinguishable particles and hidden variables. Foundations of Physics Letters, ESTADOS UNIDOS, v. 10, p. 409-426, 1997.

65.
KRAUSE, D.;Krause, Décio1997KRAUSE, D.; BEZIAU, J. Y. ; BUENO, O. . Estruturas Em Ciencia. BOLETIM DA SOCIEDADE PARANAENSE DE MATEMATICA, CURITIBA, v. 17, n.1, p. 91-111, 1997.

66.
KRAUSE, D.;Krause, Décio1996KRAUSE, D.. Axioms For Collections Of Indistinguishable Objects. LOGIQUE ET ANALYSE, BELGICA, v. 153, p. 69-93, 1996.

67.
FRENCH, S.1996FRENCH, S. ; KRAUSE, D. . Quantum Objects Are Vague Objects. SORITES, ESPANHA, v. 6, p. 21-33, 1996.

68.
KRAUSE, D.;Krause, Décio1996KRAUSE, D.. Remarks On Individuation, Quantum Objects And Logic. LOGIQUE ET ANALYSE, BELGICA, v. 155, p. 325-333, 1996.

69.
Krause, D?cio1995 Krause, D?cio ; FRENCH, Steven ; Krause, Décio . A formal framework for quantum non-individuality. Synthese (Dordrecht), ESTADOS UNIDOS, v. 102, p. 195-214, 1995.

70.
FRENCH, S.1995FRENCH, S. ; KRAUSE, D. . Vague Identity And Quantum Non-Individuality. ANALYSIS, INGLATERRA, v. 55, n.1, p. 195-214, 1995.

71.
Costa, Newton C. A.1994Costa, Newton C. A. ; Krause, D?cio ; Krause, Décio . Schr?dinger logics. Studia Logica, POLONIA, v. 53, n.4, p. 533-550, 1994.

72.
KRAUSE, D.;Krause, Décio1993KRAUSE, D.. Algumas Observacoes A Proposito da Reedicao de 'Sistemas Formais Inconsistentes'. BOLETIM DA SOCIEDADE PARANAENSE DE MATEMATICA, CURITIBA, v. 11, n.1, p. 101-113, 1993.

73.
Krause, Décio1992 Krause, Décio. On a quasi-set theory.. Notre Dame Journal of Formal Logic, ESTADOS UNIDOS, v. 33, n.3, p. 402-411, 1992.

74.
KRAUSE, D.;Krause, Décio1992KRAUSE, D.; ABE, J. M. . A Obra de N.C.A. da Costa Em Logica. THEORIA, ESPANHA, v. 16, n.7, p. 347-386, 1992.

75.
KRAUSE, D.;Krause, Décio1991KRAUSE, D.. Multisets, Quasi-Sets And Weyl'S Aggregates. THE JOURNAL OF NON-CLASSICAL LOGIC, CAMPINAS, v. 8, n.2, p. 7-23, 1991.

76.
KRAUSE, D.;Krause, Décio1990KRAUSE, D.. A 'Dialetizacao' da Teoria Tradicional da Identidade. BOLETIM DA SOCIEDADE PARANAENSE DE MATEMATICA, CURITIBA, v. 10, p. 159-175, 1990.

77.
KRAUSE, D.;Krause, Décio1990KRAUSE, D.. A Filosofia da Ciencia de Newton C.A. da Costa. REVISTA BRASILEIRA DE FILOSOFIA, SAO PAULO, v. 39, n.158, p. 117-144, 1990.

78.
KRAUSE, D.;Krause, Décio1989KRAUSE, D.. Aspectos da Logica Atual. REVISTA BRASILEIRA DE FILOSOFIA, SAO PAULO, v. 28, n.155, p. 220-237, 1989.

79.
KRAUSE, D.;Krause, Décio1987KRAUSE, D.. O Conceito Bourbakista de Estrutura. BOLETIM DA SOCIEDADE PARANAENSE DE MATEMATICA, CURITIBA, v. 8, p. 77-102, 1987.

Livros publicados/organizados ou edições
1.
Krause, Décio. Tópicos em Ontologia Analítica. 1. ed. São Paulo: Editora da UNESP, 2017. 238p .

2.
Krause, Décio; Becker Arenhart, Jonas R. . The Logical Foundations of Scientific Theories: Languages, Structures, and Models. 1. ed. London: Routledge, 2016. 162p .

3.
Krause, Décio. Álgebra Linear com um pouco de Mecânica Quântica. 1. ed. Florianópolis: NEL, 2016. v. 120. 131p .

4.
Krause, Décio; BEZIAU, J. Y. (Org.) ; Arenhart, Jonas R. B. (Org.) . Conceptual Clarifications: Tribute to Patrick Suppes (1922-2014). 1. ed. Londres: College Publications, 2015.

5.
Krause, Décio; Videira, A.A.P. (Org.) . Brazilian Studies in History and Philosophy of Science. 290. ed. DordrechtHeidelbergLondonNY: Springer, 2011. 352p .

6.
BRAIDA, Celso R ; KRAUSE, D. . Ontologia II - Ontologia Contemporânea. 1. ed. Florianópolis: UFSC/EAD, 2008. 291p .

7.
FRENCH, Steven ; KRAUSE, D. . Identity in Physics: a Historical, Philosophical, and Formal Analysis. Oxford: Oxford University Press, 2006. 480p .

8.
KRAUSE, D.. Introdução aos Fundamentos Axiomáticos da Ciência. Sâo Paulo: Editora Pedagógica e Universitária, 2002. v. 1000. 211p .

9.
KRAUSE, D.; FRENCH, Steven (Org.) ; DORIA, F. A. (Org.) . Synthese 125 (1/2), 2000: Festschrift in Honor of Newton C. A. da Costa on the Occasion of his 70th Birthday. Dordrecht: Kluwer Ac. PU., 2000. 299p .

Capítulos de livros publicados
1.
KRAUSE, D.; Arenhart, Jonas R. B. . Quantum Non-Individuality: Background Concepts and Possibilities. In: Wuppuluri, S.; Doria, F. A,. (Org.). The Map of the Territory: Exploring the Foundations of Science, Thought and Reality. 1ed.: Springer, 2018, v. , p. 281-305.

2.
Krause, Décio. Quantum Mereology. In: H. Burkhardt, J. Seit, G. Imaguire, S. Gerogiorgakis. (Org.). Handbook of Mereology. 1ed.Munchen: Philosophia Verlag, 2017, v. 1, p. 476-479.

3.
Arenhart, Jonas R. B. ; Krause, Décio . Oppositions and quantum mechanics: superposition and identity. In: Béziau, J. -Y. and Gerogiorgakis, S.. (Org.). New Dimensions of the Square of Opposition. 1ed.Munique: Philosophia Verlag, 2017, v. 1, p. 337-354.

4.
Krause, Décio; Arenhart, Jonas R. B. . Individuality, quantum physics, and the metaphysics of non individuals. In: Alexandre Guay and Thomas Pradeu. (Org.). Individuala Across the Sciences. 81ed.Oxford: Oxford University Press, 2016, v. , p. 61-80.

5.
COSTA, Newton C A da ; Krause, Décio ; Arenhart, Jonas R. B. . Um panorama atual da lógica. In: Carvalho, P.B. e de Brito, L.G.. (Org.). Lógica e Direito. 1ed.São Paulo: Noeses, 2016, v. , p. 103-134.

6.
da Costa, Newton C. A. ; Krause, Décio . An application of paraconsistent logic to physics. In: Seiki Akama. (Org.). Towards Paraconsistent Engineering. 1ed.Berlin: Springer, 2016, v. , p. 25-34.

7.
Krause, Décio; Arenhart, Jonas R. B. ; Merlussi, P. . A modal logic of indiscernibility. In: Aerts, D., de Ronde, C., Freytes, H., Giuntini, R. (eds.). (Org.). Probing the Meaning of Quantum Mechanics: Superpositions, Dynamics, Semantics and Identity.. 1ed.Singapore: World Scientific, 2016, v. 1, p. 259-279.

8.
Krause, Décio; Arenhart, Jonas R. B. . A logical account of quantum superpositions. In: Aerts, D., de Ronde, C., Freytes, H., Giuntini, R. (eds.). (Org.). Probing the Meaning of Quantum Mechanics: Superpositions, dynamics, Semantics and Identity.. 1ed.Singapore: World Scientific, 2016, v. 1, p. 44-59.

9.
Becker Arenhart, Jonas R. ; Krause, Décio . Potentiality and Contradiction in Quantum Mechanics. In: Koslow, A.; Buchsbaum, A. V.. (Org.). Studies in Universal Logic. 1ed.Basel: Springer International Publishing, 2015, v. 2, p. 201-211.

10.
Krause, Décio; Arenhart, Jonas R. B. . Logical reflections on the semantic approach. In: Béziau, J.-Y., Keause, D. and Arenhart, J. R. B.. (Org.). Conceptual Clarifications: Tribute to Patrick Suppes (1922-2014). 1ed.Londres: College Publications, 2015, v. , p. 31-62.

11.
Krause, Décio. The metaphysics of non-individuality. In: Décio Krause e Antonio Augusto Passos Videira. (Org.). Brasilian Studies in History and Philosophy of Science. DordrechtHeidelbergLondonNY: Springer, 2011, v. 290, p. 57-267.

12.
ARENHART, Jonas Rafael Becker ; KRAUSE, D. . A calculus of non-individuals: ideas for a quantum mereology. In: Luiz Henrique de A. Dutra e Alexandre Meyer Luz. (Org.). Linguagem, Ontologia e Ação. Florianópolis: NEL/UFSC, 2011, v. 10, p. 92-106.

13.
Krause, Décio. Pueden ser separables las entidades indiscernibles? Ensayo sobre posibles consecuencias de una posición de Einstein frente a la indiscernibilidad. In: Germán Guerrero Piño. (Org.). Einstein: científico y filósofo. 1ed.Cali: Universidad del Vale, 2010, v. 1, p. 125-145.

14.
Krause, Décio; Feitosa, Hercules de Araujo . Algebraic aspects of quantum indiscernibility. In: Carnielli, W.A., Coniglio, M.E., D'Ottaviano, I.M.L.. (Org.). The Many Sides of Logic. : Colege Publications, 2009, v. 21, p. 369-388.

15.
KRAUSE, D.. Nota sobre o comprometimento ontológico com não-indivíduos. In: R. A. Martins; C. S. Silva; J. M. H. Ferreira; L. A. P. Martins. (Org.). Filosofia e Hist;ória da Ciência do Cone Sul - Seleção de Trabalhos do 5 Encontro. 1ed.Campinas: AFHIC, 2008, v. 1, p. 125-132.

16.
COSTA, Newton C A da ; KRAUSE, D. ; BUENO, Otavio . Paraconsistent Logics and Paraconsistency. In: Dale Jacquette; Dov M. Gabbay; Paul Thagard; John Woods. (Org.). Handbook of the Philosophy of Science. Volume 5: Philosophy of Logic. Dordrecht: Elsevier, 2007, v. 5, p. 655-781.

17.
KRAUSE, D.. Individualidade de objetos físicos e lógica. In: Pablo Lorenzano t Hernán Miguel. (Org.). Filosofía y Historia de la Ciencia en el Cono Sur. 1ed.Buenos Aires: Educando, 2007, v. 1, p. 243-252.

18.
KRAUSE, D.; COSTA, Newton C A da . The logic of complementarity. In: J. van Benthem, G. Heinzmann, M. Rebushi and H. Visser. (Org.). The Age of Alternative Logics: assessing philosophy of logic and mathematics today. Dordrecht: Springer, 2006, v. , p. 103-120.

19.
COSTA, Newton C A da ; KRAUSE, D. . Complementarity and paraconsistency. In: S. Rahman; J. Symons; D. M. Gabbay; J. -P. van Bendegen. (Org.). Logic, Epistemology, and the Unity of Science. : Springer-Verlag, 2004, v. 1, p. 557-568.

20.
GELOWATE, Geraldo ; KRAUSE, D. ; COELHO, Antonio M N . Notas a respeito da neutralidade ontológica da matemática. In: F. T. Sautter; H. A. Feitosa. (Org.). Lógica e Filosofia da Lógica. Campinas: CLE-Unicamp, 2004, v. 39, p. 173-181.

21.
KRAUSE, D.. A metafísica dos quanta: questões lógicas. In: F. T. Sautter; H. A. Feitosa. (Org.). Lógica e Fiosofia da Lógica. Campinas: CLE-Unicamp Coleção CLE, 2004, v. 39, p. 139-160.

22.
COSTA, N. C. A. ; KRAUSE, D. . Complementaritate si paraconsistenta. In: Iancu Lucica; Dumitru Gheorghiu; Roman Chirila. (Org.). Ex falso quodlibet: studi de logica paraconsistenta. Bucareste: Editura Tehnica, 2004, v. , p. 449-462.

23.
COSTA, N. C. A. ; KRAUSE, D. . Observatii asupra aplicatiilor logicii paraconsistente în fizica. In: Iancu Licica; Dumitri Gheorghiu; Roman Chirila. (Org.). Ex falso quodlibet: studi de logica paraconsistenta. Bucareste: Editura Tehnica, 2004, v. , p. 463-481.

24.
COSTA, Newton C A da ; KRAUSE, D. . An inductive annotated logic. In: W. A. Carnielli; M. Coniglio; I. D'Ottaviano. (Org.). Paraconsistency: the logical way to inconsistent. New York: Marcel Dekker Inc., 2002, v. 228, p. 213-225.

25.
COSTA, N. C. A. ; KRAUSE, D. . Set-Theoretical ModelsFor Quantum Systems. In: Dalla Chiara, M. L.; Giuntini, R.; Laudisa, F.. (Org.). LANGUAGE, QUANTUM, MUSIC. DORDRECHT: KLUWER AC. PU., 1999, v. , p. 171-181.

26.
FRENCH, S. ; KRAUSE, D. . The Logic Of Quanta. In: Cao, T. Y.. (Org.). CONCEPTUAL FOUNDATIONS OF QUANTUM FIELD THEORY. CAMBRIDGE: CAMBRIDGE UN. PRESS, 1999, v. , p. 324-342.

27.
CHIARA, M. L. D. ; GIUNTINI, R. ; KRAUSE, D. . Quasiset Theories For Microobjects: A Comparision. In: Castellani, E.. (Org.). INTERPRETING BODIES: CLASSICAL AND QUANTUM OBJECTS IN MODERN PHYSICS. PRINCETON: PRINCETON UNIVERSITY PRESS, 1998, v. , p. 142-152.

28.
COSTA, N. C. A. ; KRAUSE, D. ; FRENCH, S. . Some Remarks On Sortal Logics And Physics. In: Etcheverría, J.; de Lorenzo, J.; Peña, L.. (Org.). CALCULEMOS...MATEMATICAS Y LIBERTAD. MADRID: TROTTA, 1996, v. , p. 159-172.

29.
PAPAVERO, N. ; LLORENTE-BOUSQUETS, J. ; KRAUSE, D. . El Principio de Individuacion de Hsun Tsu. In: Papavero, N.; Bousquets, J. -l.. (Org.). PRINCIPIA TAXONOMICA: UNA INTRODUCION A LOS FUNDAMENTOS LOGICOS, FILOSOFICOS Y METODOLOGICOS DE LAS ESCUELAS DE TAXONOMIA BIOLOGICAS. CIDADE DO MEXICO: UNIVERSIDADE AUTONOMA DE MEXICO, 1994, v. , p. 1-10.

30.
PAPAVERO, N. ; KRAUSE, D. ; BOUSQUETS, J. L. . El Principio de Individuacion de Hsun-Tsu Y El Principio de Leibniz. In: Papavero, N.; Bousquets, J. -L.. (Org.). PRINCIPIA TAXONOMICA: UNA INTRODUCCION A LOS FUNDAMENTOS LOGICOS, FILOSOFICOS Y METODOLOGICOS DE LAS ESCULELAS DE TAXONOMIA BIOLOGICA. CIDADE DO MEXICO: UNIVERSIDADE AUTONOMA DO MEXICO, 1994, v. , p. 60-63.

31.
COSTA, N. C. A. ; FRENCH, S. ; KRAUSE, D. . The Schrodinger Problem. In: Bitbol, M.; Darrigol, O.. (Org.). ERWIN SCHRODINGER: PHILOSOPHY AND THE BIRTH OF QUANTUM MECHANICS. PARIS: FRONTIERES, 1992, v. , p. 445-460.

Textos em jornais de notícias/revistas
1.
KRAUSE, D.. A lógica paraconsistente, II. Gazeta do Povo, Curitiba, 30 abr. 1998.

2.
KRAUSE, D.. A lógica paraconsistente, I. Gazeta do Povo, Curitiba, 29 abr. 1998.

Trabalhos completos publicados em anais de congressos
1.
KRAUSE, D.; NOBRE, E. F. ; MUSICANTE, M. A. . Bibel's matrix connection method in paraconsistent logic: general concepts and implementation. In: XXI International Conference of the Chilean Computer Society, 2001, Punta Arenas. Proceedings of the XXI International Conference of the Chilean Computer Society, 2001. p. 161-167.

2.
MAGALHÃES, J. C. M. ; KRAUSE, D. . Axiomatização da Genética e o Conceito de Gene. In: VII Seminário Nacional de História da Ciência e da Tecnologia e VII Reunião da Rede de Intercâmbio para a História e Epistemologia das Ciências Químicas e Biológicas, 2000. Anais do VII Seminário Nacional de História da Ciência e da Tecnologia. São Paulo: Imprensa Oficial, EdUSP, EdUNESP e SBPC, 2000. p. 451-454.

3.
KRAUSE, D.; FRENCH, S. . Opaque Predicates, Veiled Sets And Their Logic. In: 11 Encontro Brasileiro de Lógica, 1999, Salvador, BH. W. A. Carnielli and I. M. D'Ottavianno (eds.), Advances in contemporary logic and computer science, Am. Math. Soc. (Contemporary Maths. 235). Providence, Rhode Island: American Mathematical Society, 1996. v. 235. p. 263-274.

4.
KRAUSE, D.. O Princípio da Complementaridade e a Lógica Paranconsistente. In: Simpósio do Instituto Brasileiro de Filosofia, 1998, São Paulo. A Filosofia Hoje. São Paulo: Instituto Brasileiro de Filosofia, 1995. v. II. p. 1025-1036.

5.
KAESTNER, C. A. A. ; KRAUSE, D. . Matrix Proof Method In Annotated Paraconsistent Logic. In: CONGRESSO ARGENTINO DE CIENCIAS DE LA COMPUTACION, 1, 1996, Bahía Blanca. ANAIS. BAHIA BLANCA: Universidade del Sur, 1995. p. 416-425.

6.
KRAUSE, D.. The Theories Of Quasi-Sets And ZFC Are Equiconsistent. In: ENCONTRO BRASILEIRO DE LOGICA, 10, 1995. ANAIS. SALVADOR. p. 145-155.

7.
KRAUSE, D.. Non-Reflexive Logics And The Foundations Of Physics. In: CONGRESSO TRIENNALE DELLA SOCIETA ITALIANA DI LOGICA E FILOSOFIA DELLA SCIENZA, 1994. ANAIS. LUCCA/ITALIA. p. 393-405.

Resumos publicados em anais de congressos
1.
Krause, Décio. Basic ideas of quasi-set theory. In: Science, truth and consistency, 2009, Campinas. Science, Truth and Consistency - Abstracts. Campinas: CLE - Unicamp, 2009. p. 40-40.

2.
KRAUSE, D.. Quantum definite descriptions. In: XV Encontro Brasileiro de Logica, XIV Simposio Latino Americano de Logica Matematica e 30 anos do CLE, 2008, Paraty. Abstracts do Simposio CLE 30 / XV EBL / XIV SLALM. Campinas: CLE-Unicamp, 2008. v. 1. p. 135-135.

3.
KRAUSE, D.; Feitosa, Hercules de Araujo . Algebraic aspects of quantum indiscernibiity. In: XV Encontro Brasileiro de Logica, XIV Simposio Latino Americano de Logica Matematica e 30 anos do CLE, 2008, Paraty. XV Brazilian Conference on Mathematical Logic, XIV Latin-American Symposium on Mathematical Logic and CLE 30th aniversary. Campinas: CLE, Unicamp, 2008. v. 1. p. 134-134.

4.
BUENO, Otavio ; KRAUSE, D. . Skolem and van Fraassen's paradox. In: V Simpósio Internacional Principia, 2007, Florianópolis, SC. Resumos do V Simpósio Internacional Principia. Florianópolis: NEL-UFSC, 2007. v. 1. p. 134-135.

5.
KRAUSE, D.. Logic and Quantum Physics. In: XIV Encontro Brasileiro de Lógica, 2006, Itatiaia, RJ. Caderno de Resumos. Rio de Janeiro, RJ: SBL-Sociedade Brasileira de Lógica, 2006. v. 1.

6.
KRAUSE, D.; COSTA, Newton C A da . Perspectivismo em Filosofia da Ciência: Fundamentação de um Pluralismo Teórico. In: V Encontro da AFHIC, 2006, Florianópolis. Caderno de Resumos. Florianópolis: AFHIC, 2006. v. único. p. 97.

7.
KRAUSE, D.; ARENHART, Jonas Rafael Becker . Um caso se semântica não-clássica: falando de objetos indistinguíveis. In: V Encontro da AFHIC, 2006, Florianópolis. Caderno de Resumos. Florianópolis: AFHIC, 2006. v. único. p. 42.

8.
KRAUSE, D.; LIMA, Adriano Luiz de Souza . Indução, vagueza e confiança. In: V Encontro da AFHIC, 2006, Florianópolis. Caderno de Resumos. Florianópolis: AFHIC, 2006. v. único.

9.
KRAUSE, D.. Quantificação e Física. In: XII Encontro Nacional de Filosofia da ANPOF, 2006, Salvador. Livro de Atas. Salvador: ANPOF, 2006. v. único. p. 135-135.

10.
BECKER, Jonas ; KRAUSE, D. . Lógicas e Semânticas Não-Clássicas. In: IV Simpósio Internacional Principia, 2005, Florianópolis. Resumos, 2005.

11.
LIMA, Adriano L de S ; KRAUSE, D. . Quase-verdade, indução e incerteza. In: IV Simpósio Internacional Principia, 2005, Florianópolis. Resumos, 2005.

12.
MEURER, Flavio de C ; KRAUSE, D. . Lógica, ontologia e física quântica. In: IV Simpósio Internacional Principia, 2005, Florianópolis. Resumos, 2005.

13.
STEINLE, William J ; KRAUSE, D. . Sobre o realismo estrutural ontológico. In: IV Simpósio Internacional Principia, 2005, Florianópolis. Resumos, 2005.

14.
KRAUSE, D.; LIMA, Adriano Luiz de Souza . Quase-Verdade em Ciência. In: V Encontro Catarinense de Filosofia, 2005, Brusque, 2005.

15.
KRAUSE, D.. The mathematics of non-individuality. In: IV Encuentro de Filosofía e Historia de la Ciencia del Cono Sur, 2004, Buenos Aires. Resúmenes del IV Encuentro de Filosofía e Historia de la Ciencia del Cono Sur. Buenos Aires: AFHIC, 2004. p. 29-29.

16.
KRAUSE, D.. Não-Individualidade e Física. In: XI Encontro Nacional de Filosofia da ANPOF, 2004, Salvador. Atas do XI Encontro Nacional de Filosofia, 2004. p. 123-123.

17.
KRAUSE, D.; COELHO, Antonio M N . Indiscernibility in a structure: an application to the problem of indistinguishable particles. In: Third Principia International Symposium, 2003, Floroianópolis. Caderno de Resumos. Florianópolis: NEL-Núcleo de Epistemologia e Lógica, 2003. v. unico. p. 21-26.

18.
GELOWATE, Geraldo ; COELHO, Antonio M N ; KRAUSE, D. . Nota sobre a neutralidade ontológica da matemática. In: Third Principia International Symposium, 2003, Florianópolis. Caderno de Rseumos. Florianópolis: NEL-Núcleo de Epistemologia e Lógica, 2003. v. único. p. 36-37.

19.
KRAUSE, D.. Lógica Sortal e Física Quântica. In: Second International Principia Simposium, 2001, Florianópolis, SC. Linguagem e Filosofia. Florianópolis: NEL-Núcleo de Epistemologia e Lógica/UFSC, 2001. v. 6. p. 23-42.

20.
KRAUSE, D.. Complementarity and Paraconsistency. In: Second World Congress on Paraconsistency, 2000, São Sebastião, SP. Book of Abstracs of the Second WCP. Campinas: Centro de Lógica, Unicamp, 2000. p. 10-10.

21.
KRAUSE, D.. Algumas questões lógicas e epistemológicas relacionadas aos fundamentos da mecânica quântica. In: IX Encontro Nacional de Filosofia, 2000, Poços de Caldas, MG. Atas do IX Encontro Nacional de Fiosofia, 2000. p. 124-124.

22.
KRAUSE, D.. Quasi-set theory: the mathematics of indistinguishabiity. In: Colloquium Logiqum 2000, 2000, Dresden, 22-24 Sept.. Cadernos de Abstracts, 2000.

23.
KRAUSE, D.. Lógica e Ciência. In: Terceiro Simpósio Latino Americano e Caribenho de Educação em Ciências, 1999, Curitiba. Anais do Terceiro Simpósio Latino Americano e Caribenho de Educação em Ciências. Curitiba: UFPR, 1999. p. 269-269.

24.
KRAUSE, D.. Quasi sets and quantum physics. In: 11th International Colloquium on Differential Equations, 1998, Plovdiv. Volume of Absracts of Invited Lectures, 1998. p. 243-243.

25.
KRAUSE, D.; SANT'ANNA, Adonai S . Indistinguibilidade e não-localidade em EPR. In: Simpósio David Bohm sobre os Fundamentos da Física, 1998, São Paulo. Anais do Simpósio David Bohm, 1998.

26.
KRAUSE, D.; FRENCH, S. . Opaque predicates and their logic. In: XIth Brazilian Congress on Mathematical Logic, 1997, Salvador. Jounal of the Interested Group in Pura and Applied Logic, 1996. v. 5.

27.
KRAUSE, D.; MAGALHÃES, J. C. M. . Suppes predicate for natural selection. In: 42 Congresso Nacional de Genética, 1996, Caxambu, MG. Revista Brasllira de Genéitica, 1996. v. 19. p. 240-240.

28.
KRAUSE, D.. Set theoretical models for quantum systems. In: Xth International Congress of Logic, Methodology and Philosophy of Science, 1995, Florença. Volume of Abstracts, 1995. p. 470-470.

29.
KRAUSE, D.. Mathematical treatment of collections of indistinguishable objects. In: International Congress of Mathematicians, 1994, Zurich. Volume of Abstracts of Short Communications, 1994. v. único. p. 258-258.

30.
KRAUSE, D.. Logica Polissortida e O Dominio Vazio. In: SESSAO REGULAR DA ACADEMIA BRASILEIRA DE CIENCIAS, 1993. RESUMOS. SAO PAULO. v. 64. p. 409-410.

Resumos publicados em anais de congressos (artigos)
1.
KRAUSE, D.;Krause, Décio2002KRAUSE, D.. A solution to Manin's problem. Abstracts Of The American Mathematical Society, Estados Unidos, v. 23 n.2, n.128, p. 397-397, 2002.

Apresentações de Trabalho
1.
Krause, Décio. Ideias gerais sobre a filosofia, a filosofia da ciência e a lógica. 2015. (Apresentação de Trabalho/Conferência ou palestra).

2.
KRAUSE, D.. Sobre o conceito de identidade. 2014. (Apresentação de Trabalho/Conferência ou palestra).

3.
Krause, Décio. Não-Indivíduos. 2014. (Apresentação de Trabalho/Conferência ou palestra).

4.
Krause, Décio. Identity and quantum theory. 2013. (Apresentação de Trabalho/Conferência ou palestra).

5.
Krause, Décio. Teoria de quase-conjuntos. 2013. (Apresentação de Trabalho/Conferência ou palestra).

6.
Krause, Décio. A 'lógica'da lógica quântica. 2013. (Apresentação de Trabalho/Conferência ou palestra).

7.
Krause, Décio. Teoria Paraconsistente de Quase-Conjuntos. 2012. (Apresentação de Trabalho/Comunicação).

8.
Krause, Décio. A calculus os non-individuals (ideas for a quantum mereology). 2011. (Apresentação de Trabalho/Comunicação).

9.
Krause, Décio; Holik, Federico . Sobre a indistinguibilidade de objetos quânticos. 2010. (Apresentação de Trabalho/Comunicação).

10.
Krause, Décio. Languages, Structures, and Models of Scientific Theories. 2010. (Apresentação de Trabalho/Conferência ou palestra).

11.
KRAUSE, D.. Sobre estruturas e o realismo estrutural. 2010. (Apresentação de Trabalho/Comunicação).

12.
KRAUSE, D.; de Ronde, C. . Un analisis de las interpretaciones relacionales en la teoria cuántica. 2010. (Apresentação de Trabalho/Comunicação).

13.
KRAUSE, D.. Logical aspects of quantum non-individuality. 2008. (Apresentação de Trabalho/Conferência ou palestra).

14.
KRAUSE, D.. Identidade e Individualidade em Física Quântica: Questões Lógicas. 2006. (Apresentação de Trabalho/Conferência ou palestra).

15.
KRAUSE, D.. Fundamentos Axiomáticos da Ciência. 2002. (Apresentação de Trabalho/Seminário).

16.
KRAUSE, D.. Princípios: seu papel na filosofia e na ciência. 2000. (Apresentação de Trabalho/Conferência ou palestra).

17.
KRAUSE, D.. Física como elemento transformador da matemática. 1992. (Apresentação de Trabalho/Conferência ou palestra).

18.
KRAUSE, D.. O conceito semântico de verdade de Tarski. 1990. (Apresentação de Trabalho/Conferência ou palestra).

19.
KRAUSE, D.. Teoria Axiomática de Conjuntos. 1989. (Apresentação de Trabalho/Conferência ou palestra).

20.
KRAUSE, D.. Uma lógica na qual não vale o princípio da identidade. 1986. (Apresentação de Trabalho/Conferência ou palestra).

Outras produções bibliográficas
1.
Krause, Décio; ARENHART, Jonas Rafael Becker . Entangling and disentangling realism and wave function. Essay Review of ?The Wave Function. Essays on the metaphysics of quantum mechanics?, edited by Alyssa Ney and David Z. Albert (Oxford: Oxford Un. Press, 2013). Oxford: Oxford Un. Press, 2014 (Resenha).

2.
Krause, Décio; ARENHART, Jonas Rafael Becker . PHILOSOPHY OF QUANTUM MECHANICS: QUANTUM (NON-) INDIVIDUALITY. Paris: UNESCO; EOLSS Pu., 2014 (Verbete em enciclopédia).

3.
Krause, Décio; BUENO, Otavio . Filosofia da Física Quântica: A Título de Prefácio. Campinas, 2010. (Prefácio, Pósfacio/Prefácio)>.

4.
KRAUSE, D.; BEZIAU, J. Y. . New trends in the foundations of science. Dordrecht, 2006. (Prefácio, Pósfacio/Prefácio)>.

5.
KRAUSE, D.. Apresentação. Curitiba, 2005. (Prefácio, Pósfacio/Prefácio)>.

6.
KRAUSE, D.. The Mathematics of Non-Individuality. São Paulo: Instituto de Estudos Avançados da Universidade de Sâo Paulo, 2003 (Pré-Publicação).

7.
KRAUSE, D.; FRENCH, S. ; DORIA, F. A. . Special Issue dedicated to N.C.A. da Costa's 70th birthday. Dordrcht, 2000. (Prefácio, Pósfacio/Prefácio)>.


Produção técnica
Assessoria e consultoria
1.
KRAUSE, D.. Membro do Comitê Assessor da revista 'Representaciones'. 2005.

2.
KRAUSE, D.. Membro do Conselho Editorial do Boletim da Sociedade Paranaense de Matemática. 2003.

Trabalhos técnicos
1.
KRAUSE, D.. Reviewer de Mathematical Reviews. 1992.


Demais tipos de produção técnica
1.
Krause, Décio; BUENO, Otavio . Issues in the Philosophy of Physics. 2010. (Editoração/Periódico).

2.
Krause, Décio. Principia - volume 2 especial em honra aos 80 anos de Newton da Costa. 2010. (Editoração/Periódico).

3.
Krause, Décio. Principia - volume 3 especial em honra dos 80 anos de Newton da Costa. 2010. (Editoração/Periódico).

4.
Krause, Décio. Principia - volume 1 especial em honra dos 80 anos de Newton da Costa. 2009. (Editoração/Periódico).

5.
KRAUSE, D.. La metafísica de la no-individualidad. 2007. (Curso de curta duração ministrado/Outra).

6.
BEZIAU, J. Y. ; KRAUSE, D. . Synthese (Dordrecht)- volume especial Vol 154 (3), 2007. 2007. (Editoração/Periódico).

7.
KRAUSE, D.. Boletim da Sociedade Paranaense de Matemática Vol. 19 (1999). 2002. (Editoração/Periódico).

8.
KRAUSE, D.. Boletim da Sociedade Paranaense de Matemática Vol. 18 (1998). 2000. (Editoração/Periódico).

9.
KRAUSE, D.; FRENCH, Steven ; DORIA, Francisco Antonio . Synthese Vol. 125 Nos. 1-2 Oct/Nov (2000). 2000. (Editoração/Periódico).

10.
KRAUSE, D.. Relatório Parcial e Proposta de Renovação da Bolsa de Produtividade em Pesquisa 1998/2000. 2000. (Relatório de pesquisa).

11.
KRAUSE, D.. Boletim da Sociedade Paranaense de Matemática Vol. 17 (1997). 1998. (Editoração/Periódico).

12.
KRAUSE, D.. Boletim da Sociedade Paranaense de Matemática Vol. 16 (1996). 1997. (Editoração/Periódico).

13.
KRAUSE, D.. Boletim da Sociedade Paranaense de Matemática Vol. 15 (1995). 1996. (Editoração/Periódico).

14.
KRAUSE, D.. Álgebra Linear Aplicada. 1992. (Curso de curta duração ministrado/Extensão).

15.
KRAUSE, D.. Teoria dos Modelos. 1988. (Curso de curta duração ministrado/Outra).

16.
KRAUSE, D.. História da Matemática-Conteúdos de 1o. grau. 1987. (Curso de curta duração ministrado/Extensão).

17.
KRAUSE, D.. Lógica Matemática. 1985. (Curso de Extensão Universitária Minisrado).

Demais trabalhos
1.
Krause, Décio. Estranhezas Quânticas. 2011 (Palestra) .

2.
KRAUSE, D.; Débora Perez de Menezes ; CRUZ, Frederico Firmo de Souza . Dismistificando a Física Quântica. 2008 (Conversa sobre Ciência: Café Scientifique de Florianópolis) .

3.
KRAUSE, D.. Membro Conselho Editorial da Revista Educação e Filosofia. 2007 (Conselho Editorial) .

4.
KRAUSE, D.. Complementaridad y Lógica: un ejemplo de aplicación de lógicas paraconsistentes en física. 2007 (Palestra) .

5.
KRAUSE, D.. Casi-Conjuntos y la Física Cuántica. 2007 (Palestra) .

6.
KRAUSE, D.. Reviewer de Mathematical Reviews. 2006 (Demais trabalhos relevantes) .

7.
KRAUSE, D.. Foundations of Physics. 2006 (Consultor) .

8.
KRAUSE, D.. Consultor ad hoc. 2005 (Consultor) .

9.
KRAUSE, D.. Membro do Comité Asesor de Praxis Filosófica. 2005 (Conselho Editorial) .

10.
KRAUSE, D.. Membro do Conselho Editorial do Boletim da Sociedade Paranaense de Matemática. 2002 (Conselho Editorial) .

11.
KRAUSE, D.. Palestra: A pesquisa na ciência, na filosofia e na psicanálise. 1999 (Palestra) .

12.
KRAUSE, D.. Palestra: Lógica Sortal e os Fundamentos da Mecânica Quântica. 1993 (Palestra) .

13.
KRAUSE, D.. Palestra: Lógicas Heterodoxas. 1992 (Palestra) .

14.
KRAUSE, D.. Palestra: Axiomatixação em Lógica. 1992 (Palestra) .

15.
KRAUSE, D.. Palestra: Teoria de Quase-Conjuntos/USP. 1991 (Demais trabalhos relevantes) .

16.
KRAUSE, D.. Palestra: Teoria de Quase-Conjuntos/S.Carlos. 1991 (Palestra) .

17.
KRAUSE, D.. Membro do Conselho Editorial da Editora da UFPR de 1993 a 1995.. 1991 (Conselho Editorial) .

18.
KRAUSE, D.. Palestra: Lógica Não-Reflexiva e Fundamentos da Física. 1990 (Palestra) .

19.
KRAUSE, D.. Palestra: Aspectos da Lógica Matemática. 1988 (Palestra) .

20.
KRAUSE, D.. Palestra: Considerações sobre o ensino da matemática. 1984 (Palestra) .



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
Rodrigues Filho, A. A.; ARENHART, Jonas Rafael Becker; MORTARI, Cezar Augusto; Krause, Décio. Participação em banca de Emmanuel Moreno Pereira. Abordagem semântica: uma análise crítica. 2015. Dissertação (Mestrado em Filosofia) - Universidade Federal de Santa Catarina.

2.
Krause, Décio; Fagion, A. L. B.; Gomes, E. L.. Participação em banca de Raoni Wohnrath Arroyo. O problema ontológico da consciência em mecânica quântica. 2015. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Maringá.

3.
Krause, Décio; D'OTTAVIANO, Ítala M L; Araújo Feitosa, Hércules. Participação em banca de Thiago Tomatsu Kajiyama. Emaranhamento: uma abordagem lógica. 2015. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.

4.
Krause, Décio; Mortari, C. A.; ARENHART, Jonas Rafael Becker; COELHO, Antonio M N. 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.
Krause, Décio; Hax Jr, B.; Ibarra, E.. Participação em banca de Willyans Maciel. Indeterminismo, substantivismo e o argumento do buraco. Uma questão acerca do estatuto ontológico do espaço-tempo. 2013. Dissertação (Mestrado em Filosofia) - Universidade Federal do Paraná.

6.
KRAUSE, D.; COSTA, Newton C A da; COELHO, Antonio M N; SANT'ANNA, 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.

7.
PESSOA JUNIOR, Osvaldo Frota; CUPANI, Alberto Oscar; Krause, Décio. Participação em banca de Caroline Elisa Murr. Física quântica e objetividade científica. Algumas idéias filosóficas de Erwin Schrödinger. 2010. Dissertação (Mestrado em Filosofia) - Universidade Federal de Santa Catarina.

8.
KRAUSE, D.; COSTA, Newton C A da; SANT'ANNA, Adonai S. Participação em banca de Gilson Maicá de Oliveira. Racionalidade Científica, Paraconsistência e Quase-Verdade. 2008. Dissertação (Mestrado em Filosofia) - Universidade Federal de Santa Catarina.

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

10.
COSTA, Newton C A da; Rodrigues, A. A. M.; KRAUSE, D.; BATISTA, E.; COSTA E SILVA, I. P.. Participação em banca de Jucavo Savie Rocha. Algumas aplicações algébricas da teoria de modelos. 2007. Dissertação (Mestrado em Matemática e Computação Científica) - Universidade Federal de Santa Catarina.

11.
KRAUSE, D.; SANT'ANNA, A. S.; BRAIDA, Celso R. Participação em banca de Jaison Schinaider. Lógica Paraclássica e Verdade Empírica. 2006. Dissertação (Mestrado em Mestrado Em Filosofia) - Universidade Federal de Santa Catarina.

12.
KRAUSE, D.; BUENO, O.; DUTRA, L. H. A.. Participação em banca de William José Steinle. Estudos sobre o Realismo Estrutural. 2006. Dissertação (Mestrado em Filosofia) - Universidade Federal de Santa Catarina.

13.
D'OTTAVIANO, Ítala M L; COSTA, Newton C A da; KRAUSE, D.. Participação em banca de Adriano Luis s Souza lima. Quase-verdade, probabiidade e indução. 2006. Dissertação (Mestrado em Filosofia) - Universidade Federal de Santa Catarina.

14.
KRAUSE, D.; CAPONI, Gustavo Andres; CUPANI, Alberto Oscar. Participação em banca de Leandro Carlos Ody. Teoria e história da geologia. 2005. Dissertação (Mestrado em Mestrado Em Filosofia) - Universidade Federal de Santa Catarina.

15.
KRAUSE, D.; COSTA, Newton C A da; SANT'ANNA, A.. Participação em banca de Ana Paula Novak Ramos 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á.

16.
KRAUSE, D.; GALETTI, Diógenes; RUZZI, Mauricio; CRUZ, Frederico Firmo de Souza. Participação em banca de Sandro da Silva Livramento Machado. Variáveis discretas e contínuas em mecânica quântica e seus diferentes limites para o contínuo. 2004. Dissertação (Mestrado em Física) - Universidade Federal de Santa Catarina.

17.
KRAUSE, D.; COSTA, Newton C A da; D'OTTAVIANO, Ítala M L. Participação em banca de Geraldo Gelowate. Observações sobre matemática e comprometimento ontológico. 2004. Dissertação (Mestrado em Filosofia) - Universidade Federal de Santa Catarina.

18.
KRAUSE, D.; BUCHSBAUM, Arthur R de V; BARRETO, Jorge Muniz; BORGES, Paulo Sergio da Silva. Participação em banca de Mauricio Correia Lemes Neto. Um método dos tablôs por prova direta para a lógica clássica. 2004. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina.

19.
KRAUSE, D.; KAESTNER, Celso A A; NIÉVOLA, Julio Cesar. Participação em banca de Vera Lucia Marchiori Falquete. Utilização da lógica paraconsistente para o tratamento de inconsistências em sistemas de raciocínio baseado em casos. 2004. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Paraná.

20.
KRAUSE, D.; VASQUEZ, J. C. C.; VIANNA, J. R.. Participação em banca de Adilson Longen. A filosofia da matemática na formação do professor de matemática. 2003. Dissertação (Mestrado em Educação) - Universidade Federal do Paraná.

21.
KRAUSE, D.. Participação em banca de Emerson Faria Nobre. O método das conexões de Bibel. 2001. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná.

22.
KRAUSE, D.. Participação em banca de Leonia Negreli Gabardo. E(Ensino da Matemática). 2000. Dissertação (Mestrado em Educação) - Universidade Federal do Paraná.

23.
KRAUSE, D.. Participação em banca de Cesar Antonio Serbena. F(Filosofia do Direito). 1999. Dissertação (Mestrado em Direito) - Universidade Federal do Paraná.

24.
KRAUSE, D.. Participação em banca de Eliana Pantaleão. L(Lógica e Informática). 1999. Dissertação (Mestrado em Engenharia Elétrica e Informática Industrial) - Universidade Tecnológica Federal do Paraná.

25.
KRAUSE, D.. Participação em banca de Teresa Cristina Wachowicz. Uma semântica de reticulados para os plurais e os termos de massa. 1997. Dissertação (Mestrado em Letras) - Universidade Federal do Paraná.

26.
KRAUSE, D.. Participação em banca de Eleonoura Enoque de Souza. Fundamentos da Teoria de Quase-Conjuntos. 1995. Dissertação (Mestrado em Filosofia (Ufpe-Ufpb-Ufrn)) - Universidade Federal da Paraíba.

27.
KRAUSE, D.. Participação em banca de Antonio Mariano Coelho. Identificação efetiva de estruturas. 1994. Dissertação (Mestrado em Filosofia) - Universidade de São Paulo.

28.
KRAUSE, D.. Participação em banca de Claudia Maria Barbosa. F(Filosofia do Direito). 1993. Dissertação (Mestrado em Direito) - Universidade Federal de Santa Catarina.

29.
KRAUSE, D.; MOSER, Alvino; MORAES, Lafayette de. Participação em banca de Cleverson Leite Bastos. Aspectos históricos da lógica modal. 1992. Dissertação (Mestrado em Filosofia) - Pontifícia Universidade Católica de São Paulo.

30.
KRAUSE, D.; PAVÃO, Zélia Milléo; MOSER, Alvino. Participação em banca de Edson Andretta. Estudo demonstrativo da influência da percepção dos espaços euclidianos, lobatchewskianos e riemannianos na execução da perspectiva: nova proposta para de currículo de Desenho. 1985. Dissertação (Mestrado em Educação) - Universidade Federal do Paraná.

Teses de doutorado
1.
Krause, Décio; ARENHART, Jonas Rafael Becker; Cardoso, G. A.; MORTARI, Cezar Augusto. Participação em banca de Ederson Safra Melo. O paradoxo do mentiroso: argumentos contra o dialeteísmo. 2017. Tese (Doutorado em Filosofia) - Universidade Federal de Santa Catarina.

2.
Krause, Décio; ARENHART, Jonas Rafael Becker; DORIA, Francisco Antonio; Kritz, M. V.; Takase, E.; Araujo, A. L. A.. Participação em banca de Marion Henrique dos Santos Teixeira. Representing in order to interact: an interactionistic approach to ontology. 2015. Tese (Doutorado em Filosofia) - Universidade Federal de Santa Catarina.

3.
Krause, Décio; Mortari, C. A.; CAPONI, Gustavo Andres; ARENHART, Jonas Rafael Becker; SOUZA, Edelcio Gonçalves de; Holik, Federico. Participação em banca de Jaison Schinaider. Mecânica quântica, quase-conjuntos e estruturas não-rígidas. 2014. Tese (Doutorado em Filosofia) - Universidade Federal de Santa Catarina.

4.
Krause, Décio; PESSOA JUNIOR, Osvaldo Frota; DUTRA, L. H. A.; de Ronde, C.; Meyer Luz, A.; ARENHART, Jonas Rafael Becker. Participação em banca de Caroline Elisa Murr. A realidade através do espelho: Schrödinger e Russell no país da objetivação. 2014. Tese (Doutorado em Filosofia) - Universidade Federal de Santa Catarina.

5.
Krause, Décio; DUTRA, L. H. A.; Mortari, C. A.; Plastino, C. E.; Leclerc, A.. Participação em banca de Ivan Ferreira da Cunha. Carnap e o pragmatismo americano: ferramentas para a filosofia da ciência. 2012. Tese (Doutorado em Filosofia) - Universidade Federal de Santa Catarina.

6.
Krause, Décio; D'OTTAVIANO, Ítala M L; da Silva, J. J.; TASSINARI, R. P.; Oliveira, C. R.. Participação em banca de Ricardo Mendes Grande. A aplicabilidade da matemática à física. 2011. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas.

7.
KRAUSE, D.; Lintz, Rubens G.; D'Ambrosio, H.; D'OTTAVIANO, Ítala M L; Gonzalez, M. E. Q.. Participação em banca de Eberth Eleutério dos Santos. O infinito de Georg Cantor: uma revolução paradigmática no desenvolvimento da matemática. 2008. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas.

8.
KRAUSE, D.; CARNIELLI, Walter Alexandre; SAUTTER, Frank Thomas; RASGA, João; FINGER, Marcelo; CALEIRO, Carlos; CONIGLIO, Marcelo Esteban. Participação em banca de João Marcos de Almeida. Logics of formal inconsistency. 2005. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas.

9.
KRAUSE, D.; CHATEUBRIAND FILHO, Oswaldo; PEREIRA, Luiz Carlos P D; HAEUSLER, Edward Hermann; VIERO, Arno A. Participação em banca de Carlos Luciano Manholi. O conceito de verdade em linguagens semanticamente fechadas. 2004. Tese (Doutorado em Filosofia) - Pontifícia Universidade Católica do Rio de Janeiro.

10.
KRAUSE, D.; COSTA, Newton C A da; SOUZA, Edelcio Gonçalves de; PESSOA JUNIOR, Osvaldo Frota; RIBEIRO FILHO, Aurino. Participação em banca de Ricardo Carneiro de Miranda Filho. Base experimental e teoria em física: uma análise do experimento de Michelson-Morley. 2004. Tese (Doutorado em Filosofia) - Universidade de São Paulo.

11.
KRAUSE, D.; VIANA, J. R.; LUDWIG, C. L.; BARBOSA, C. M.; KOZICKI, K.. Participação em banca de Cesar Antonio Serbena. Lógica e Direito: elementos para uma reconstrução formal do raciocínio jurídico. 2003. Tese (Doutorado em Direito) - Universidade Federal do Paraná.

12.
KRAUSE, D.; COSTA, Newton C A da; SEGUNDO, José Augusto Baêta; GUIMARÃES, C. A. M.; PONTIN, L. F.; TORRES, G. L.; SILVA, L. E. B.. Participação em banca de Helga Gonzaga Martins. A lógica paraconsistente anotada de quatro valores - LPA4v aplicada em sistemas de raciocínio baseado em casos para o restabelecimento de subestações elétricas. 2003. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal de Itajubá.

13.
KRAUSE, D.. Participação em banca de Roque da Costa Caiero. Tópicos em metodologia formal. A noção de teoria em ciência econômica. 2001. Tese (Doutorado em Filosofia) - Universidade de São Paulo.

14.
KRAUSE, D.. Participação em banca de Carlos Alberto Knudsen. Álgebras de Rosembloom e fundamentos da matemática. 2000. Tese (Doutorado em Filosofia) - Universidade de São Paulo.

15.
KRAUSE, D.; MAIA, Newton Freire; COSTA, Newton C A da; PAPAVERO, Nelson. Participação em banca de João Carlos Marques Magalhães. F(Lógica e Genética). 2000. Tese (Doutorado em Genética) - Universidade Federal do Paraná.

16.
KRAUSE, D.. Participação em banca de Aires José Rover. F(Filosofia do Direito). 1999. Tese (Doutorado em Direito) - Universidade Federal de Santa Catarina.

17.
KRAUSE, D.. Participação em banca de Marcelo Tsuji. Propriedades aleatórias de sistemas formais. 1999. Tese (Doutorado em Filosofia) - Universidade de São Paulo.

18.
KRAUSE, D.. Participação em banca de Irinéia Lourdes Batista. A teoria universal de Fermi: da sua formulação até a reformulação V-A. 1999. Tese (Doutorado em Filosofia) - Universidade de São Paulo.

19.
KRAUSE, D.. Participação em banca de Cezar F. Cortizo. Extensões virtuais. 1998. Tese (Doutorado em Filosofia) - Universidade de São Paulo.

20.
KRAUSE, D.. Participação em banca de Rogério Ribeiro Duarte. Fundamentos da Física). 1997. Tese (Doutorado em Física) - Universidade Federal do Paraná.

21.
KRAUSE, D.. Participação em banca de Adonai Schlup Sant'Anna. A teoria K nos campos de Gauge e outras questões sobre categorias e os fundamentos da física. 1994. Tese (Doutorado em Filosofia) - Universidade de São Paulo.

22.
KRAUSE, D.; DORIA, Francisco Antonio; GIAMBIAGI, Juan José; HELA?EL NETO, José Abdala; TEIXEIRA, Antonio Fernandes de Fonseca; COSTA, Newton C A da. Participação em banca de José Acacio de Barros. Dois exemplos de indecidibilidade e incompletude em física. 1992. Tese (Doutorado em Física) - Laboratório Nacional de Computação Científica.

23.
KRAUSE, D.; ABUD, Zara Issa; DIAS, Francisco de Olilveira; SEGUNDO, José Augusto Baêta; COSTA, Newton C A da. Participação em banca de Jair Minoro Abe. Fundamentos da Lógica Anotada. 1992. Tese (Doutorado em Filosofia) - Universidade de São Paulo.

Trabalhos de conclusão de curso de graduação
1.
KRAUSE, D.. Participação em banca de Vitor Paduenello.Aspectos do realismo estrutural e sua concepção ontológica. 2017. Trabalho de Conclusão de Curso (Graduação em Filosofia) - Universidade Federal de Santa Catarina.

2.
Krause, Décio; CUPANI, A. O.; Cunha, I. F.. Participação em banca de Salvador Norberto Gomes.Inferência à melhor explicação: um meio de elaboração de hipóteses científicas segundo a filosofia da ciência. 2017. Trabalho de Conclusão de Curso (Graduação em Filosofia) - Universidade Federal de Santa Catarina.

3.
KRAUSE, D.; MORTARI, Cezar Augusto; Coelho, Antonio Mariano Nogueira. Participação em banca de Emmanuel Moreno.Teoria de Conjuntos e Modelos. 2012. Trabalho de Conclusão de Curso (Graduação em Filosofia) - Universidade Federal de Santa Catarina.

4.
KRAUSE, D.; CUPANI, Alberto Oscar; DRUCKER, Claudia. Participação em banca de Frank Hrebabetsky.Aspectos da Filosofia de Carl von Weisäcker. 2006. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Filosofia) - Universidade Federal de Santa Catarina.

5.
KRAUSE, D.; CUPANI, A. O.; DUTRA, L. H. A.. Participação em banca de Jaison Schinaider.Verdade Empírica. 2006. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Filosofia) - Universidade Federal de Santa Catarina.

6.
KRAUSE, D.; CUPANI, A. O.; DUTRA, L. H. A.. Participação em banca de William José Steinle.Aspectos do Realismo Estrutural. 2004. Trabalho de Conclusão de Curso (Graduação em Filosofia) - Universidade Federal de Santa Catarina.

7.
KRAUSE, D.; CUPANI, A. O.; DUTRA, L. H. A.. Participação em banca de Jaison Schinaider.Verdade, Quase-Verdade e a Prática Científica. 2004. Trabalho de Conclusão de Curso (Graduação em Filosofia) - Universidade Federal de Santa Catarina.

8.
KRAUSE, D.; TANEJA, Inder Jeet; ARAUJO, Aldrovando Luis Azeredo. Participação em banca de Camile Monique Probst.Aspectos dos Fundamentos da Matemática. 2004. Trabalho de Conclusão de Curso (Graduação em Licenciatura Em Matemática) - Universidade Federal de Santa Catarina.

9.
KRAUSE, D.; BRAIDA, Celso R; CUPANI, A. O.. Participação em banca de Adriano Luiz de Souza Lima.Indução e Lógica: Um estudo sobre aspectos lógicos na teoria do conhecimento. 2003. Trabalho de Conclusão de Curso (Graduação em Filosofia) - Universidade Federal de Santa Catarina.



Participação em bancas de comissões julgadoras
Professor titular
1.
KRAUSE, D.; GREMSKI, Waldemiro. Concurso de Maria Lucia Moro, no Departamento de Métodos e Técnicas em Educação da Universidade Federal do Paraná. 1997. Universidade Federal do Paraná.

Concurso público
1.
MORTARI, Cezar Augusto; Franciotti, M. A.; Krause, Décio. Concurso para Professor de Filosofia da Ciência. 2013. Universidade Federal de Santa Catarina.

2.
Krause, Décio; DORIA, Francisco Antonio; da Silva, J. J.; Velozo, P.; dos Santos, E. G.. Processo Seletivo para Pesquisador. 2010. Universidade Estadual de Campinas.

3.
Krause, Décio; CHATEUBRIAND FILHO, Oswaldo; Oliva. A.; Branquinho, J.; Mendonça. W.. Concurso para Professor Adjunto na UFRJ-Departamento de Filosofia. 2009. Universidade Federal do Rio de Janeiro.

4.
KRAUSE, D.. Banca de concurso público para Professor Auxiliar de Ensino do Departamento de Matemática da UFPR. 1993. Universidade Federal do Paraná.

5.
KRAUSE, D.. Banca de concurso público para Professor Auxiliar de Ensino do Departamento de Matemática do CEFET/PR. 1981. Universidade Tecnológica Federal do Paraná.

Outras participações
1.
COSTA, Newton C A da; CUPANI, Alberto Oscar; KRAUSE, D.. Racionalidade Científica, Paraconsistência e Quase-Verdade. 2008. Universidade Federal de Santa Catarina.

2.
KRAUSE, D.; D'OTTAVIANO, Ítala M L; Lintz, Rubens G.. A álgebra relacional de Tarski. 2008. Universidade Estadual de Campinas.



Eventos



Participação em eventos, congressos, exposições e feiras
1.
International Workshop on Identity, Indistingiushability and Non-Locality in Quantum Mechanics.Metaphysics of Non-Individuals. 2017. (Simpósio).

2.
Xth Principia International Symposium.Newtonian space location does not confer identity to quantum particles: a new form to see a discrepancy between quantum physics and its underlying logic?. 2017. (Simpósio).

3.
2016 Pacific Division Meeting, American Philosophical Association. Quantum Mechanics and Identity. 2016. (Congresso).

4.
Conference Trends in Logic XVI. Entanglement vs. Contradictions, or why neither Schrödinger?s cat is simultaneously alive and dead, nor a particle can be in two different places at once. 2016. (Congresso).

5.
Fifth Colloquium of Analytical Metaphysics and Fifth International Symposium of Philosophy of Language and Metaphysics. Quantum metaphysics: the case of non-individuals. 2016. (Congresso).

6.
III International Workshop on Quantum Mechanics and Quantum Information. Weyl Aggregates and Quantum Mechanics. 2016. (Congresso).

7.
Seminário de Lógica Carioca.Contradições e mecânica quântica. 2016. (Seminário).

8.
15th Congress on Logic, Methodology, and Philosophy of Science. Quantum mechanics (QM) and the troubles with identity. 2015. (Congresso).

9.
9th Principia International Symposium.Quantum Mechanics and Inconsistent Superpositions. 2015. (Simpósio).

10.
V Jornada de Fundamentos de Cuántica.Quantum Mechanics and Classical Logic : The Problems with the Classical Theory of Identity. 2015. (Simpósio).

11.
XVII Colóquio Kant da Seção Campinas da Sociedade Kant Brasileira. Mecânica Quântica e Ontologia. 2015. (Congresso).

12.
III Latin American Analytic Philosophy Conference & III Conference of the Brazilian Society for Analytic Philosophy. Quantum Metaphysics: an Analytical Approach. 2014. (Congresso).

13.
Quantum Mechanics And Quantum Information: Physical, Philosophical And Logical Approaches.A logic of superpositions. 2014. (Encontro).

14.
XVI Encontro Nacional da ANPOF. Filosofia da Mecânica Quântica: Algumas Questões. 2014. (Congresso).

15.
XVII Brazilian Logic Conference. A logic of superpositions. 2014. (Congresso).

16.
IV World Congress on Universal Logic. Individuals and quantum theory. 2013. (Congresso).

17.
Simpósio de Filosofia da Física.Why (and how) to question the notion of identity in quantum theory. 2013. (Seminário).

18.
VIII Principia International Symposium. Mecânica Quântica Não-Refexiva. 2013. (Congresso).

19.
Workshop Ontología de la Física.Discussiones sobre ontología y mecánica cuántica. 2013. (Seminário).

20.
XVII Congresso Interamericano de Filosofia. Non-Reflexive quantum mechanics. A formal analysis of a metaphysics of non-individuals. 2013. (Congresso).

21.
ANPOF - XV Encontro Nacional. Teoria Paraconsistente de Quase-Conjuntos. 2012. (Congresso).

22.
Individuals Across Science: a revisionary metaphysics?. Characterizing individuals: the role of the formal. 2012. (Congresso).

23.
VIII Encuentro de la AFHIC. Paraconsistent Quasi-Set Theory. 2012. (Congresso).

24.
Workshop sobre Teoria do Número e do Espaço.Teoria de Quase-Conjuntos. 2012. (Seminário).

25.
II Seminário Newton da Costa.A filosofia da quase-verdade. 2011. (Seminário).

26.
VII Principia International Symposium.A calculus os non-individuals (ideas for a quantum mereology). 2011. (Simpósio).

27.
XVI Encontro Brasileiro de Lógica. The problem of identity and a justification for non-reflexive quantum mechanics. 2011. (Congresso).

28.
XVI Encontro Brasileiro de Lógica- cont.. Round Table - The Future of Logic. 2011. (Congresso).

29.
XVI Encontro Brasileiro de Lógica- cont.-2. Membro do Comitê Científico. 2011. (Congresso).

30.
VII Encontro de Filosofia e História da Ciência do Cone Sul. Sobre a indistinguibilidade de objetos quânticos. 2010. (Congresso).

31.
World Congress and School on Universal Logic. Tutorial: Logic of Empirical Sciences. 2010. (Congresso).

32.
XIV Encontro Nacional da ANPOF. Sobre estruturas e o realismo estrutural. 2010. (Congresso).

33.
XV Congreso Nacional de Filosofía. Un análisis de las interpretaciones relacionales en la teoría cuántica, com Chrstian de Ronde. 2010. (Congresso).

34.
American Philosophical Association-Pacific Division Meeting. Authors meet critics-Identity in Physics. 2009. (Congresso).

35.
CLE/AIPS Event - Science, Truth, and Consistency. Basic ideas of quasi-set theory. 2009. (Congresso).

36.
XV Encontro Brasileiro de Logica, XIV Simposio Latino Americano de Logica Matematica e 30 anos do CLE. Quantum Definite Descriptions, Algebraic Aspects of Quantum Indiscernibility. 2008. (Congresso).

37.
Simposio Controvérsias sobre el Realismo. Perspectivismo en la Filosofía de la Ciencia. 2007. (Congresso).

38.
V Simpósio Internacional Principia.Skolem and van Fraassen's paradox. 2007. (Simpósio).

39.
XI Colóquio Conesul de Filosofia das Ciências Formais. Há entidades sem identidade. 2007. (Congresso).

40.
III Encontro de Matemática. O Problema de Manin. 2006. (Congresso).

41.
Jornada de Filosofia da Mecânica Quântica.Identidade e Individualidade em Física Quântica: Questões Lógicas. 2006. (Encontro).

42.
V Encontro da Associação de Filosofia e História da Ciência do Cone Sul. Pluralismo em filosofia da ciência. 2006. (Congresso).

43.
VIII Coloquio Internacional Bariloche de Filosofia. Mecánica cuántica y lenguaje. 2006. (Congresso).

44.
XII Encontro da ANPOF. Quantificação e Física (Entities, but not identity). 2006. (Congresso).

45.
XIV Encontro Brasileiro de Lógica. XIV Encontro Brasileiro de Lógica. 2006. (Congresso).

46.
IV Simpósio Internacional Principia.IV Simpósio Internacional Principia. 2005. (Simpósio).

47.
IX Workshop da Pós-Graduação em Física do IFSC.Participação em mesa redonda Fronteiras da Ciência: Avanços e Reflexões. 2005. (Simpósio).

48.
Simposio Internacional Einstein: científico, filósofo y humanista. Participaçãocomo conferencista convidado no simpósio internacional em homenagem ao ano internacional da física.. 2005. (Congresso).

49.
IV Encuentro de Filosofia e História de la Ciencia del Cono Sur. IV Encuentro de Filosofia e Historia de la Ciencia del Cono Sur. 2004. (Congresso).

50.
Seminários de Pós-Graduação em Matemática Aplicada.UFPR: Palestra: 'Fundamentos da matemática: o que visam?'. 2004. (Seminário).

51.
Seminários do Curso de Pós-Graduação em Matemática Aplicada.UFPR: Seminários do Curso de Pós-Graduação em Matemática Aplicada. 2004. (Seminário).

52.
XI Encontro Nacional da Associação de Pós-Graduação em Filosofia, ANPOF. XI Encontro da Associação Nacional de Pós-Graduação em Filosofia. 2004. (Congresso).

53.
Colóquio Michel Pary.USP: Colóquio em homenagem ao Prof. Michel Paty. 2003. (Encontro).

54.
III EREMAT-Sul Encontro de Matemática da Região Sul. III EREMAT-Sul Encontro de Matemática da Região Sul. 2003. (Congresso).

55.
Thisr Principia International Symposium. Third Principia International Symposium. 2003. (Congresso).

56.
Visita à UNIFEI.Universidade Federal de Itajubá: Lógica Paraconsistente e Física. 2003. (Encontro).

57.
III World Congress on Paraconsistency. III World Congress on Paraconsistency: Complementarity and Paraconsistency. 2000. (Congresso).

58.
IX Encontro da Associação Nacional de Pós-Graduação em Filosofia. IX Encontro da Associação Nacional de Pós-Graduação em Filosofia. 2000. (Congresso).

59.
11th International Colloquium on Differential Equations. 11th International Colloquium on Differential Equations. 1998. (Congresso).

60.
Forum Nacional de Pró-Reitores de Pesquisa e Pós-Graduação.FOPROP-Forum Nacional de Pró-Reitores de Pesquisa e Pós-Graduação. 1998. (Outra).

61.
International Meeting on Logic, Language and Artificial Intelligence. Quasi-truth. 1998. (Congresso).

62.
I Seminário de Articulação entre Graduação e Pós-Graduação.I Seminário de Articulação entre Graduação e Pós-Graduação. 1998. (Seminário).

63.
Seminários do Departamento de Genética da UFPR.Seminários do Departamento de Genética da UFPR: A estrutura das teorias científicas. 1997. (Seminário).

64.
Sessão Regular de 14/04/1992 da Academia Brasileira de Ciências.Academia Brasileira de Ciências: Sessão Regular. 1997. (Seminário).

65.
11 Congresso Brasileiro de Lógica. XI Encontro Brasileiro de Lógica: Opaque predicates and their logic. 1996. (Congresso).

66.
Philosophy of Physics Seminar.LSE-Centre for the Philosophy of the Natural and Social Sciences/Un.London: Philosophy of Physics Seminar. 1996. (Seminário).

67.
Seminários de Filosofia.University of Leeds: Logical aspects of the concept of quanta. 1995. (Seminário).

68.
Ciclo de Palestras do Departamento de Matemática/UFPR.Ciclo de Palestras do Departamento de Matemática/UFPR: Preicados de Suppes e o 6o. Problema de Hilbert. 1994. (Simpósio).

69.
Congresso Triennale della Scienza: problemi e prospettive. Congresso Triennale della Scienza: problemi e prospettive. 1993. (Congresso).

70.
Seminaires de Philosophie.Institut d'Histoire et Philosophie des Sciences et des Techniques: Non-Reflexive Logics and the Foundations of Physics, I. 1993. (Seminário).

71.
Seminaires de Philosophie.Institut d'Histoire et Philosophie des Sciences et des Techniques: Non-Reflexive Logics and the Foundations of Physics, II. 1993. (Seminário).

72.
Seminários de Lógica.Universidade de São Paulo: Lógicas sortais e fundamentos da física. 1993. (Seminário).

73.
Seminarios do Departamento de Filosofia.Universitá degli Studi di Firenze: Paraconsistent Logics. 1993. (Seminário).

74.
X Congresso Brasileiro de Lógica Matemática. X EncontroBrasileiro de Lógica: A teoria de quase-conjuntos e ZFC são equiconsistentes. 1993. (Congresso).

75.
Erwin Schrödinger: philosophie et naissance de la Mécanique Quantique. Colloque Erwin Schrödinger: philosophie et naissance de la Mécanique Quantique. 1992. (Congresso).

76.
Seminários de Filosofia.Universitá Degli Studi di Firenze: Quasi-sets and quasets. 1992. (Seminário).

77.
Ciclo Matemática às Cinco e Meia.Ciclo Matemática às Cinco e Meia/UFPR. 1991. (Outra).

78.
Semana de Matemática da UFPR.UFPR:Semana de Matemática: Teoria Axiomática de Conjuntos. 1989. (Simpósio).

79.
IX Encontro Brasileiro de Lógica. IX Encontro Brasileiro de Lógica: Sobre lógicas não-reflexivas. 1988. (Congresso).

80.
5o. Encontro de Matemática no Paraná. Participação do 5o. Encontro de Matemática no Paraná. 1987. (Congresso).

81.
VIII Encontro Brasileiro de Lógica. VIII Encontro Brasileiro de Lógica. 1986. (Congresso).

82.
VII Encontro Brasileiro de Lógica. VII Encontro Brasileiro de Lógica. 1984. (Congresso).

83.
I Simposio Sul Brasileiro de Ensino de Ciências.I Simposio Sul Brasileiro de Ensino de Ciências. 1983. (Simpósio).

84.
Simpósio sobre Ensino de Matemática e de Estatística e a Comunidade.Simpósio sobre Ensino de Matemática e de Estatística e a Comunidade. 1982. (Simpósio).

85.
Primeiro Encontro sobre o Ensino da Matemática. I Encontro sobre o ensino da matemática. 1981. (Congresso).

86.
Projeto Rondon.Projeto Rondon. 1978. (Outra).

87.
11 Colóquio Brasileiro de Matemática. 11 Colóquio Brasileiro de Matemática. 1977. (Congresso).

88.
1 Ciclo de Estudos do Complexo Biofísico.1 Ciclo de Estudos do Complexo Biofísico. 1976. (Simpósio).


Organização de eventos, congressos, exposições e feiras
1.
Krause, Décio; de Ronde, C. ; Freytes, H. . III Workshop sobre filosofía, lógica y historia de la mecánica cuántica. 2012. (Outro).

2.
Krause, Décio; de Ronde, C. . Representation in quantum theory: philosophical and logical perspectives. 2011. (Outro).

3.
Krause, Décio; de Ronde, C. ; Kauark Leite, P. . Workshop sobre los fundamentos de la mecánica cuántica. 2010. (Outro).

4.
Krause, Décio; de Ronde, C. ; Freytes, H. . Encuentro sobre filosofía y lógica de la mecánica cuántica en el Cono Sur. 2010. (Outro).

5.
KRAUSE, D.; CARNIELLI, Walter Alexandre ; HAEUSLER, Edward Hermann ; CONIGLIO, Marcelo Esteban ; di Prisco, Carlos Augusto ; Martins, Ana Thereza ; FINGER, Marcelo . XV Encontro Brasileiro de Logica, XIV Simposio Latino Americano de Logica Matematica e 30 anos do CLE. 2008. (Congresso).

6.
KRAUSE, D.; CUPANI, Alberto Oscar ; CAPONI, Gustavo Andres ; FERRARI, Nadir ; RODRIGUE, Victor ; MARTINS, Roberto de Andrada . V Encontro de História e Filosofia da Ciência do Cone Sul. 2006. (Congresso).

7.
KRAUSE, D.. Dois dias com Patrick Suppes. 2002. (Congresso).

8.
KRAUSE, D.. Álgebras Booleanas e álgebras de Curry. 1986. (Outro).

9.
KRAUSE, D.. Resultados Fundamentais da Teoria da Prova. 1986. (Outro).

10.
KRAUSE, D.. Lógica Paraconsistente. 1985. (Outro).

11.
KRAUSE, D.. Introdução à Lógica Matemática. 1985. (Outro).

12.
KRAUSE, D.. Teoria das Estruturas. 1985. (Outro).



Orientações



Orientações e supervisões em andamento
Tese de doutorado
1.
Felix Flores Pinheiro. Provisório: Philosophy of Measurement: epistemic remarks for scientific theorizations. Início: 2016. Tese (Doutorado em Filosofia) - Universidade Federal de Santa Catarina, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. (Orientador).

2.
Raoni Wohnrath Arroyo. A structural approach to quantum mechanics. Início: 2016. Tese (Doutorado em Filosofia) - Universidade Federal de Santa Catarina, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. (Orientador).

3.
Kherian Galvão Cesar Gracher. É a identidade fundamental?. Início: 2016. Tese (Doutorado em Filosofia) - Universidade Federal de Santa Catarina, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. (Orientador).

4.
Lauro de Matos Nunes Filho. Investigações Ontológicas no Domínio Quântico. Início: 2015. Tese (Doutorado em Filosofia) - Universidade Federal de Santa Catarina, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. (Orientador).

5.
Joanne Simon Flausino. Inconsistências em ciência (provisório). Início: 2015. Tese (Doutorado em Filosofia) - Universidade Federal de Santa Catarina. (Orientador).

6.
Gilson Maicá de Oliveira. Uma versão categorial da teoria de quase-conjuntos. Início: 2014. Tese (Doutorado em Filosofia) - Universidade Federal de Santa Catarina. (Orientador).


Orientações e supervisões concluídas
Dissertação de mestrado
1.
Kherian Galvão Cesar Gracher. É a identidade fundamental?. 2016. Dissertação (Mestrado em Filosofia) - Universidade Federal de Santa Catarina, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Décio Krause.

2.
Joanne Simon Flausino. Inconsistências em Ciência. 2014. Dissertação (Mestrado em Filosofia) - Universidade Federal de Santa Catarina, . Orientador: Décio Krause.

3.
Valéria Gradinar. A tese da subdeterminação da metafísica pela física: em defesa de uma ontologia de não-indivíduos. 2014. Dissertação (Mestrado em Filosofia) - Universidade Federal de Santa Catarina, . Orientador: Décio Krause.

4.
Emmanuel Moreno Pereira. Estruturas em Ciência. 2014. Dissertação (Mestrado em Filosofia) - Universidade Federal de Santa Catarina, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Décio Krause.

5.
Caroline Elisa Murr. Física quântica e objetividade científica. Algumas idéias filosóficas de Erwin Schrödinger. 2010. Dissertação (Mestrado em Filosofia) - Universidade Federal de Santa Catarina, . Orientador: Décio Krause.

6.
Gilson Maicá de Oliveira. Racionalidade, Paraconsistência e Quase-Verdade. 2008. Dissertação (Mestrado em Filosofia) - Universidade Federal de Santa Catarina, . Orientador: Décio Krause.

7.
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, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Décio Krause.

8.
Jaison Schinaider. Lógica Paraclássica e Verdade Empírica. 2006. 110 f. Dissertação (Mestrado em Filosofia) - Universidade Federal de Santa Catarina, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Décio Krause.

9.
Adriano Luiz de Souza Lima. Quase-Verdade, Probabiidade Pragmática e Indução. 2006. Dissertação (Mestrado em Filosofia) - Universidade Federal de Santa Catarina, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Décio Krause.

10.
William José Steinle. Aspectos do Realismo Estrutural. 2006. Dissertação (Mestrado em Filosofia) - Universidade Federal de Santa Catarina, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Décio Krause.

11.
Geraldo Gelowate. Observações sobre matemática e comprometimento ontológico. 2004. 120 f. Dissertação (Mestrado em Filosofia) - Universidade Federal de Santa Catarina, . Orientador: Décio Krause.

12.
Emerson Faria Nobre. Uma implementação do método das conexões de Bibel para uma lógica paraconsistente anotada. 2001. 0 f. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná, . Orientador: Décio Krause.

13.
Leonia Gabardo Negrelli. A consideração de aspectos dedutivos e indutivos na formação de professores de matemática. 2000. Dissertação (Mestrado em Educação) - Universidade Federal do Paraná, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Décio Krause.

14.
Cesar Antonio Serbena. Lógicas paraconsistentes e normas jurídicas(). 1999. 0 f. Dissertação (Mestrado em Direito) - Universidade Federal do Paraná, . Coorientador: Décio Krause.

15.
ELEONOURA ENOQUE DA SILVA. Aspectos da Teoria de Quase-Conjuntos. 1995. Dissertação (Mestrado em Filosofia (Ufpe-Ufpb-Ufrn)) - Universidade Federal da Paraíba, . Orientador: Décio Krause.

16.
Claudia Maria Barbosa. Estudos deLógica em Filosofia do Direito. 1993. 100 f. Dissertação (Mestrado em Direito) - Universidade Federal de Santa Catarina, . Coorientador: Décio Krause.

Tese de doutorado
1.
Marion Henrique dos Santos Teixeira. Representing in order to interact: an interactionistic approach to ontology. 2015. Tese (Doutorado em Filosofia) - Universidade Federal de Santa Catarina, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Décio Krause.

2.
Caroline Elisa Murr. A REALIDADE ATRAVÉS DO ESPELHO: SCHRÖDINGER E RUSSELL NO PAÍS DA OBJETIVAÇÃO. 2014. Tese (Doutorado em Filosofia) - Universidade Federal de Santa Catarina, . Orientador: Décio Krause.

3.
Jaison Schinaider. Mecânica quântica, quase-conjuntos e estruturas não-rígidas. 2014. Tese (Doutorado em Filosofia) - Universidade Federal de Santa Catarina, . Orientador: Décio Krause.

4.
William José Steinle. Elementos para uma Ontologia de Estruturas. 2011. Tese (Doutorado em Filosofia) - Universidade Federal de Santa Catarina, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Décio Krause.

5.
Jonas Rafael Becker Arenhart. Discussão sobre a não-individualidade quântica. 2011. Tese (Doutorado em Filosofia) - Universidade Federal de Santa Catarina, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Décio Krause.

6.
João Carlos Marques Magalhães. Fundamentos Lógicos da Teoria Sintética da Evolução. 2000. Tese (Doutorado em Genética) - Universidade Federal do Paraná, . Orientador: Décio Krause.

Supervisão de pós-doutorado
1.
Hercules de Araújo Feitosa. 2008. Universidade Estadual Paulista Júlio de Mesquita Filho, . Décio Krause.

Trabalho de conclusão de curso de graduação
1.
Samuel Saben. Noções elementares de teoria de conjuntos. 2014. Trabalho de Conclusão de Curso. (Graduação em Filosofia) - Universidade Federal de Santa Catarina. Orientador: Décio Krause.

2.
Marcos Eias Nunes. O uso de jogos como ferramenta para o ensino da matemática. 2011. Trabalho de Conclusão de Curso. (Graduação em Licenciatura Em Matemática) - Universidade Federal de Santa Catarina. Orientador: Décio Krause.

3.
Joanne Simon Flausino. Inconsistências em ciência. 2011. Trabalho de Conclusão de Curso. (Graduação em Bacharelado Em Filosofia) - Universidade Federal de Santa Catarina, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Décio Krause.

4.
Valéria Gradinar. A subdeterminação da metafísica pela física: um estudo de caso. 2010. Trabalho de Conclusão de Curso. (Graduação em Bacharelado Em Filosofia) - Universidade Federal de Santa Catarina. Orientador: Décio Krause.

5.
Jonas Rafael Becker Arenhart. Semântica para uma Lógica de Schrödinger. 2006. 30 f. Trabalho de Conclusão de Curso. (Graduação em Bacharelado Em Filosofia) - Universidade Federal de Santa Catarina, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Décio Krause.

6.
Flavio de Carvalho Meurer. Ontologia da Mecânica Quântica na visão de Michel Bitbol. 2006. 30 f. Trabalho de Conclusão de Curso. (Graduação em Bacharelado Em Filosofia) - Universidade Federal de Santa Catarina, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Décio Krause.

7.
Frank Hrebabetsky. Aspectos da Filosofia de Carl von Weisäcker. 2006. 25 f. Trabalho de Conclusão de Curso. (Graduação em Bacharelado Em Filosofia) - Universidade Federal de Santa Catarina. Orientador: Décio Krause.

8.
Jaison Schinaider. Verdade, Quase-Verdade e a Prática Científica. 2004. 45 f. Trabalho de Conclusão de Curso. (Graduação em Filosofia) - Universidade Federal de Santa Catarina, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Décio Krause.

9.
Camile Monique Probst. Aspectos dos Fundamentos da Matemática. 2004. 22 f. Trabalho de Conclusão de Curso. (Graduação em Licenciatura Em Matemática) - Universidade Federal de Santa Catarina. Orientador: Décio Krause.

10.
William José Steinle. Aspectos do Realismo Estrutural. 2004. 40 f. Trabalho de Conclusão de Curso. (Graduação em Filosofia) - Universidade Federal de Santa Catarina, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Décio Krause.

11.
Adriano Luiz de Souza Lima. Indução e Lógica: um estudo de aspectos lógicos na teoria do conhecimento. 2003. 45 f. Trabalho de Conclusão de Curso. (Graduação em Filosofia) - Universidade Federal de Santa Catarina. Orientador: Décio Krause.

Iniciação científica
1.
Juliana dos Santos. Filosofia da Ciência. 2008. Iniciação Científica. (Graduando em Bacharelado Em Filosofia) - Universidade Federal de Santa Catarina, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Décio Krause.

2.
Gabriel de Oliveira Pereira. Filosofia da Ciência. 2008. Iniciação Científica - Universidade Federal de Santa Catarina, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Décio Krause.

3.
Jorge Lucas Simões Minella. Lógica e Física Quântica. 2007. Iniciação Científica. (Graduando em Bacharelado Em Filosofia) - Universidade Federal de Santa Catarina, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Décio Krause.

4.
Pedro Henrique Machado Valgas. Aspectos Lógicos e Ontológicos da Física Quântica. 2007. Iniciação Científica. (Graduando em Bacharelado Em Filosofia) - Universidade Federal de Santa Catarina, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Décio Krause.

5.
Maicon Reus Engler. Aspectos Ontológicos da Física Quântica. 2006. Iniciação Científica. (Graduando em Bacharelado Em Filosofia) - Universidade Federal de Santa Catarina, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Décio Krause.

6.
Fernando Horst. Lógicas de Ordem Superior. 1998. 30 f. Iniciação Científica. (Graduando em Matemática) - Universidade Federal do Paraná, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Décio Krause.

7.
Eduardo Outeiral Corrêa Hoefel. Teoria Axiomática de Conjuntos. 1998. 30 f. Iniciação Científica. (Graduando em Matemática) - Universidade Federal do Paraná, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Décio Krause.

8.
Claudia de Oliveira Santos. Ensino da Matemática. 1994. 30 f. Iniciação Científica. (Graduando em Matemática) - Universidade Federal do Paraná. Orientador: Décio Krause.

9.
Ronei Clecio Mocellin. Fundamentos das Teorias Físicas. 1992. 30 f. Iniciação Científica. (Graduando em Química) - Universidade Federal do Paraná. Orientador: Décio Krause.

Orientações de outra natureza
1.
Álvaro Augusto de Almeida. O sexto problema de Hilbert: a axiomatização das teorias da física. 1988. 50 f. Orientação de outra natureza - Universidade Tecnológica Federal do Paraná. Orientador: Décio Krause.

2.
Álvaro Augusto de Almeida. A teoria da relatividade especial. 1987. 50 f. Orientação de outra natureza - Universidade Tecnológica Federal do Paraná. Orientador: Décio Krause.

3.
Julia Aparecida Novelli. Fundamentos da Matemática. 1986. 30 f. Orientação de outra natureza - Universidade Federal do Paraná. Orientador: Décio Krause.



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



Artigos
Artigos completos publicados em periódicos
1.
Arenhart, Jonas R. B.2012Arenhart, Jonas R. B. ; Krause, Décio . Uma lógica da indiscernibilidade. Disputatio (Lisboa), v. 34, p. 555-573, 2012.

2.
COSTA, Newton C A da2015COSTA, Newton C A da ; Krause, Décio . O que é uma lógica?. Fundamento: revista de filosofia, v. 1, p. 11-19, 2015.


Livros e capítulos
1.
Krause, Décio. Tópicos em Ontologia Analítica. 1. ed. São Paulo: Editora da UNESP, 2017. 238p .

1.
COSTA, Newton C A da ; Krause, Décio ; Arenhart, Jonas R. B. . Um panorama atual da lógica. In: Carvalho, P.B. e de Brito, L.G.. (Org.). Lógica e Direito. 1ed.São Paulo: Noeses, 2016, v. , p. 103-134.


Apresentações de Trabalho
1.
Krause, Décio. Teoria de quase-conjuntos. 2013. (Apresentação de Trabalho/Conferência ou palestra).

2.
Krause, Décio. A 'lógica'da lógica quântica. 2013. (Apresentação de Trabalho/Conferência ou palestra).

3.
KRAUSE, D.. Sobre o conceito de identidade. 2014. (Apresentação de Trabalho/Conferência ou palestra).

4.
Krause, Décio. Não-Indivíduos. 2014. (Apresentação de Trabalho/Conferência ou palestra).

5.
Krause, Décio. Ideias gerais sobre a filosofia, a filosofia da ciência e a lógica. 2015. (Apresentação de Trabalho/Conferência ou palestra).




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