Faculdade de Filosofia, Letras e Ciências Humanas
Portal de Dados
Logo da Universidade de São Paulo
Não autenticado |

Décio Krause

    • Décio Krause é aposentado como Professor Titular do Departamento de Filosofia da Universidade Federal de Santa Catarina e como Professor Titular do Departamento de Matemática da Universidade Federal do Paraná. Presentemente é Professor Permanente 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. É membro da AIPS (Académie Internationale de Philosophie des Sciences), do CLE (Centro de Lógica, Epistemologia e História da Ciência da UNICAMP) e de várias associações científicas na área.

       

      Links:    

    • Fundamentos lógicos das teorias físicas
    • Lógica e Fundamentos da Matemática
    • Implementação do método das conexões de Bibel à lógica paraconsistente anotada
    • Fundamentos Lógicos da Física Quântica
    • KRAUSE, D. . Introdução à Filosofia e à Lógica da Física Quântica. Rio de Janeiro : Ciência Moderna, 2023 . 266p. ISBN: 9786558423294.
    • Krause, Décio . Fundamentos Axiomáticos das Teorias Científicas. Londres : College Publications, 2022 . 346p. ISBN: 9781848903517.
    • Krause, Décio . Fundamentação Axiomática das Disciplinas Científicas. Londres : College Publications, 2011 . p. ISBN: 9781848904170.
    • Aerts, D. ; Dalla Chiara, M. L. ; de Ronde, C. ; Krause, Décio . Probing the meaning o quantum mechanics: information, contextually, relationalism and entanglement. Hackensack, NJ & London : College Publlications, 2019 . 382p. ISBN: 9789813276888.
    • Krause, Décio . Tópicos em Ontologia Analítica. São Paulo : Editora da UNESP, 2017 . 238p. ISBN: 9788539306589.
    • Krause, Décio . Álgebra Linear com um pouco de Mecânica Quântica. Florianópolis : NEL, 2016 . 131p. ISBN: 9788587253293.
    • Krause, Décio ; Becker Arenhart, Jonas R. . The Logical Foundations of Scientific Theories: Languages, Structures, and Models. London : Routledge, 2016 . 162p. ISBN: 9781138684492.
    • Krause, Décio ; BEZIAU, J. Y. ; Arenhart, Jonas R. B. . Conceptual Clarifications: Tribute to Patrick Suppes (1922-2014). Londres : College Publications, 2015 . p. ISBN: 9781848901889.
    • Krause, Décio ; Videira, A.A.P. . Brazilian Studies in History and Philosophy of Science. DordrechtHeidelbergLondonNY : Springer, 2011 . 352p. ISBN: 9789048194216.
    • BRAIDA, Celso R ; KRAUSE, D. . Ontologia II - Ontologia Contemporânea. Florianópolis : UFSC/EAD, 2008 . 291p. ISBN: 9788561484.
    • FRENCH, Steven ; KRAUSE, D. . Identity in Physics: a Historical, Philosophical, and Formal Analysis. Oxford : Oxford University Press, 2006 . 480p. ISBN: 01992782.
    • KRAUSE, D. . Introdução aos Fundamentos Axiomáticos da Ciência. Sâo Paulo : Editora Pedagógica e Universitária, 2002 . 211p. ISBN: .
    • KRAUSE, D. ; FRENCH, Steven ; DORIA, F. A. . 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. ISBN: .
    • JORGE, JUAN PABLO ; Holik, Federico ; KRAUSE, D. . Un acercamiento a las semánticas Nmatriciales basada em QST PRINCIPIA (FLORIANÓPOLIS. ONLINE) , v. 27 , p. 539 - 607 , 2023. ISSN: 18081711.
    • ARENHART, JONAS R. BECKER ; Krause, Décio . Quasi-truth and defective knowledge in science: a critical examination MANUSCRITO , v. 46 , p. 122 - 155 , 2023. ISSN: 2317630X.
    • Krause, Décio . On identity, indiscernibility, and (non-)individuality in the quantum domain PHILOSOPHICAL TRANSACTIONS - ROYAL SOCIETY. MATHEMATICAL, PHYSICAL AND ENGINEERING SCIENCES (ONLINE) , v. 381 , p. 1 - 30 , 2023. ISSN: 14712962.
    • Krause, Décio . A Brazilian Southern School in the Philosophy of Physics: Identity, Indistinguishability, and Individuality in Quantum Theories Edukacja Filozoficzna , v. 74 , p. 101 - 124 , 2022. ISSN: 08603839.
    • Krause, Décio . Quantifying Over Indiscernibles Axiomathes (Padova) , v. 32 , p. 931 - 946 , 2022. ISSN: 11221151.
    • Krause, Décio . Aspectos da indiscernibilidade quântica e da teoria de quase-conjuntos Perspectivas , v. 7 , p. 99 - 119 , 2023. ISSN: 24482390.
    • Holik, Federico ; JORGE, JUAN PABLO ; Krause, Décio ; LOMBARDI, OLIMPIA . Quasi-set theory: a formal approach to a quantum ontology of properties Synthese (Dordrecht. Online) , v. 200 , p. 401 - , 2022. ISSN: 15730964.
    • Krause, Décio . The `math orgy' in the philosophy of science SOUTH AMERICAN JOURNAL OF LOGIC , v. 6 , p. 287 - 296 , 2020. ISSN: 24466719.
    • Krause, Décio . Models and Modeling in Science: the role of metamathematics PRINCIPIA (FLORIANÓPOLIS. ONLINE) , v. 26 , p. 39 - 54 , 2022. ISSN: 18081711.
    • KRAUSE, D. . Essay on Perspectivism in the Philosophy of Science SOUTH AMERICAN JOURNAL OF LOGIC , v. 5 , p. 179 - 195 , 2019. ISSN: 24466719.
    • DE BARROS, J. ACACIO ; Holik, Federico ; Krause, Décio . Indistinguishability and the origins of contextuality in physics PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES , v. 377 , p. 20190150 - , 2019. ISSN: 1364503X.
    • Krause, Décio . Does Newtonian Space Provide Identity to Quantum Systems? Foundations of Science , v. 24 , p. 197 - 215 , 2018. ISSN: 12331821.
    • Krause, Décio ; ARENHART, JONAS R. BECKER . Is Identity Really so Fundamental? Foundations of Science , v. 24 , p. 51 - 71 , 2018. ISSN: 12331821.
    • Holik, 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. ISSN: 01013424.
    • Krause, Décio ; Becker Arenhart, Jonas R. . Presenting Nonreflexive Quantum Mechanics: Formalism and Metaphysics. Cadernos de História e Filosofia da Ciência (UNICAMP) , v. 4 , p. 59 - 91 , 2016. ISSN: 01013423.
    • Krause, Décio ; da Costa, Newton C. A. . O que é um conjunto? REVISTA ELETRÔNICA PAULISTA DE MATEMÁTICA , v. 11 , p. 99 - 107 , 2017. ISSN: 23169664.
    • J. A. de Barros ; Holik, Federico ; Krause, Décio . Contextually and Indistinguishability Entropy , v. 19 , p. 1 - 22 , 2017. ISSN: 10994300.
    • Krause, Décio . Descriptions in quantum mechanics LOGIC JOURNAL OF THE IGPL (ONLINE) , v. 24 , p. 512 - 523 , 2017. ISSN: 13689894.
    • COSTA, Newton C A da ; Krause, Décio . O que é uma lógica? Fundamento: revista de filosofia , v. 1 , p. 11 - 19 , 2015. ISSN: 21776563.
    • ARENHART, Jonas Rafael Becker ; Krause, Décio . Contradiction, Quantum Mechanics, and the Square of Opposition LOGIQUE ET ANALYSE , v. 59 , p. 301 - 315 , 2016. ISSN: 00245836.
    • Krause, 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. ISSN: 08749493.
    • KRAUSE, 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. ISSN: 13689894.
    • SCHINAIDER, JAISON ; Krause, Décio . Indiscernibilidade e identidade em química: aspectos filosóficos e formais Manuscrito (UNICAMP) , v. 37 , p. 113 - 160 , 2014. ISSN: 01006045.
    • Krause, 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. ISSN: 15729516.
    • COSTA, Newton C A da ; Krause, Décio . Physics, inconsistencies, and quasi-truth SYNTHESE , v. 191 , p. 3041 - 3055 , 2014. ISSN: 00397857.
    • ARENHART, 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. ISSN: 15728420.
    • ARENHART, 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. ISSN: 13552198.
    • Arenhart, Jonas R. B. ; Krause, Décio . Uma lógica da indiscernibilidade Disputatio (Lisboa) , v. 34 , p. 555 - 573 , 2012. ISSN: 0873626X.
    • Krause, 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. ISSN: 16783166.
    • ARENHART, 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. ISSN: 08705283.
    • KRAUSE, D. ; Arenhart, Jonas R. B. . A discussion on quantum non-individuality Journal of Applied Non-Classical Logics , v. 22 , p. 105 - 124 , 2012. ISSN: 11663081.
    • ARENHART, Jonas Rafael Becker ; KRAUSE, D. . Indistinguibilidade, não reflexividade, ontologia e física quântica Scientiae Studia (USP) , v. 71 , p. 41 - 69 , 2012. ISSN: 16783166.
    • COSTA, 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. ISSN: 16783166.
    • ARENHART, Jonas Rafael Becker ; KRAUSE, D. . Indistinguibilidade, não-reflexividade, ontologia e física quântica CLE e-Prints (Online) , v. 11 , p. 3 - , 2011. ISSN: 15199681.
    • Krause, 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. ISSN: 12331821.
    • Krause, 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. ISSN: 1988303X.
    • Cunha 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. ISSN: 00393215.
    • FRENCH, Steven ; Krause, Décio . Remarks on the Theory of Quasi-sets Studia Logica , v. 95 , p. 101 - 124 , 2010. ISSN: 00393215.
    • van 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. ISSN: 08150796.
    • Domenech, 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. ISSN: 00207748.
    • Krause, Décio ; BUENO, Otavio . Ontological Issues in Quantum Theory Manuscrito (UNICAMP) , v. 33 , p. 269 - 284 , 2010. ISSN: 01006045.
    • COSTA, 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. ISSN: 01006045.
    • ARENHART, Jonas Rafael Becker ; Krause, Décio . Quantifiers and the foundations of quasi-set theory Principia (UFSC) , v. 13 , p. 251 - 268 , 2009. ISSN: 14144247.
    • Krause, Décio . Questões a uma teoria de quase-objetos Manuscrito (UNICAMP) , v. 32 , p. 399 - 436 , 2009. ISSN: 01006045.
    • ARENHART, Jonas Rafael Becker ; Krause, Décio . Semântica quase-conjuntista e compromisso ontológico Cognitio (PUCSP) , v. 10 , p. 191 - 207 , 2010. ISSN: 15187187.
    • KRAUSE, D. . Newton da Costa e a filosofia da quase-verdade Principia (UFSC) , v. 13 (2) , p. 105 - 128 , 2009. ISSN: 14144247.
    • Krause, Décio . Logical Aspects of Quantum (Non-)Individuality Foundations of Science , v. 15 , p. 79 - 94 , 2010. ISSN: 12331821.
    • Da 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. ISSN: 13670751.
    • Krause, Décio . A negação clássica O Que nos Faz Pensar , v. 23 , p. 32 - 39 , 2008. ISSN: 01046675.
    • KRAUSE, D. . Física e ontologia Discusiones Filosoficas , v. 9 , p. 57 - 74 , 2008. ISSN: 01246127.
    • Domenech, Graciela ; Holik, Federico ; KRAUSE, D. . Q-spaces and the Foundations of Quantum Mechanics Foundations of Physics , v. 38 , p. 969 - 994 , 2008. ISSN: 00159018.
    • KRAUSE, D. ; BUENO, Otavio . Scientific theories, models, and the semantic approach Principia (UFSC) , v. 77 , p. 187 - 201 , 2007. ISSN: 14144247.
    • ARENHART, Jonas Rafael Becker ; KRAUSE, D. . Identidade, Individualidade e Quase-Conjuntos Revista Eletrônica Informação e Cognição , v. 2 , p. 25 - 39 , 2008. ISSN: 18078281.
    • Krause, Décio ; Schliesser, Eric ; Andersen, Hanne . Book Reviews International Studies in the Philosophy of Science , v. 21 , p. 345 - 357 , 2007. ISSN: 02698595.
    • MAGALHÃ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. ISSN: 14135736.
    • KRAUSE, 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. ISSN: 18078281.
    • Krause, Décio ; FRENCH, Steven . Quantum sortal predicates Synthese (Dordrecht) , v. 154 , p. 417 - 430 , 2007. ISSN: 00397857.
    • KRAUSE, D. . Einstein y la indiscernibilidad Praxis Filosofica , v. 22 , p. 113 - 130 , 2006. ISSN: 01204688.
    • KRAUSE, D. . Una ojeada a las bases ontológicas de la física cuántica Praxis Filosofica , v. 21 , p. 5 - 20 , 2005. ISSN: 01204688.
    • KRAUSE, D. . Separable Non-Individuals Representaciones (Córdoba) , v. 1 , p. 21 - 36 , 2005. ISSN: 16698401.
    • KRAUSE, D. . Structures and Structural Realism Logic Journal of the IGPL , v. 13 , p. 113 - 126 , 2005. ISSN: 13670751.
    • Krause, Décio ; Coelho, Antonio Mariano Nogueira . Identity, Indiscernibility, and Philosophical Claims Axiomathes (Padova) , v. 15 , p. 191 - 210 , 2005. ISSN: 11221151.
    • KRAUSE, D. ; GELOWATE, Geraldo ; COELHO, Antonio M N . Observações sobre a neutralidade ontológica da matemática Episteme (Porto Alegre) , v. 17 , p. - , 2005. ISSN: 14135736.
    • KRAUSE, 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 , v. , p. - , 2005. ISSN: 00245836.
    • KRAUSE, 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 , v. 36 , p. 210 - 217 , 2005. ISSN: 13552198.
    • KRAUSE, D. . Lógica paraconsistente Scientific American Brasil , v. 30 , p. 70 - 77 , 2004. ISSN: .
    • DORIA, F. A. ; KRAUSE, D. ; SANT'ANNA, A. S. . Newton da Costa: pensador da contradição Scientific American Brasil , v. 13 , p. 22 - 24 , 2003. ISSN: 16769791.
    • KRAUSE, D. . Why quasi-sets? Boletim da Sociedade Paranaense de Matemática , v. 20 , p. 73 - 92 , 2003. ISSN: 00378712.
    • FRENCH, S. ; KRAUSE, D. . Quantum Vagueness Erkenntnis , v. 59 , p. 97 - 124 , 2003. ISSN: 01650106.
    • KRAUSE, D. . A solution to Manin's problem Abstracts Of The American Mathematical Society , v. 23 n.2 , p. 397 - 397 , 2002. ISSN: 01925857.
    • MAGALHÃES, J. C. M. ; KRAUSE, D. . Suppes predicate for genetics and natural selection Journal of Theoretical Biology , v. 209 , p. 141 - 153 , 2001. ISSN: 00225193.
    • KRAUSE, D. . Aspectos lógicos e epistemológicos relacionados à mecânica quântica Cadernos de História e Filosofia da Ciência (UNICAMP) , v. 9 , p. 147 - 200 , 2000. ISSN: 01013424.
    • KRAUSE, D. . Newton da Costa: homenagem aos seus 70 anos Revista Brasileira de Filosofia , v. 50 , p. 268 - 280 , 2000. ISSN: 00347205.
    • KRAUSE, D. . Remarks on quantum ontology Synthese (Dordrecht) , v. 125 , p. 155 - 167 , 2000. ISSN: 00397857.
    • KRAUSE, D. ; SANT'ANNA, A. S. ; VOLKOV, A. . Quasi Set Theory For Bosons And Fermions Foundations of Physics Letters , v. 12 , p. 51 - 66 , 1999. ISSN: 08949875.
    • KRAUSE, D. ; ABE, J. M. . A Obra de N.C.A. da Costa Em Logica THEORIA , v. 16 , p. 347 - 386 , 1992. ISSN: .
    • KRAUSE, D. ; BEZIAU, J. Y. ; BUENO, O. . Estruturas Em Ciencia BOLETIM DA SOCIEDADE PARANAENSE DE MATEMATICA , v. 17 , p. 91 - 111 , 1997. ISSN: .
    • KRAUSE, D. . A Filosofia da Ciencia de Newton C.A. da Costa REVISTA BRASILEIRA DE FILOSOFIA , v. 39 , p. 117 - 144 , 1990. ISSN: .
    • KRAUSE, D. . Aspectos da Logica Atual REVISTA BRASILEIRA DE FILOSOFIA , v. 28 , p. 220 - 237 , 1989. ISSN: .
    • KRAUSE, D. . Remarks On Individuation, Quantum Objects And Logic LOGIQUE ET ANALYSE , v. 155 , p. 325 - 333 , 1996. ISSN: .
    • KRAUSE, D. . O Conceito Bourbakista de Estrutura BOLETIM DA SOCIEDADE PARANAENSE DE MATEMATICA , v. 8 , p. 77 - 102 , 1987. ISSN: .
    • KRAUSE, D. . A 'Dialetizacao' da Teoria Tradicional da Identidade BOLETIM DA SOCIEDADE PARANAENSE DE MATEMATICA , v. 10 , p. 159 - 175 , 1990. ISSN: .
    • KRAUSE, D. . Algumas Observacoes A Proposito da Reedicao de 'Sistemas Formais Inconsistentes' BOLETIM DA SOCIEDADE PARANAENSE DE MATEMATICA , v. 11 , p. 101 - 113 , 1993. ISSN: .
    • KRAUSE, D. . Multisets, Quasi-Sets And Weyl'S Aggregates THE JOURNAL OF NON-CLASSICAL LOGIC , v. 8 , p. 7 - 23 , 1991. ISSN: .
    • FRENCH, S. ; KRAUSE, D. . Quantum Objects Are Vague Objects SORITES , v. 6 , p. 21 - 33 , 1996. ISSN: .
    • Sant¿Anna, Adonai S. ; Krause, Décio . Indistinguishable particles and hidden variables Foundations of Physics Letters , v. 10 , p. 409 - 426 , 1997. ISSN: 08949875.
    • da Costa, Newton C. A. ; Krause, Décio . An Intensional Schrödinger Logic Notre Dame Journal of Formal Logic , v. 38 , p. 179 - 194 , 1997. ISSN: 00294527.
    • FRENCH, S. ; KRAUSE, D. . Vague Identity And Quantum Non-Individuality ANALYSIS , v. 55 , p. 195 - 214 , 1995. ISSN: .
    • KRAUSE, D. . Relativizations of the Principle of Identity Logic Journal of the IGPL , v. 5 , p. 1 - 12 , 1997. ISSN: 13670751.
    • KRAUSE, D. . Axioms For Collections Of Indistinguishable Objects LOGIQUE ET ANALYSE , v. 153 , p. 69 - 93 , 1996. ISSN: .
    • Krause, D?cio ; FRENCH, Steven ; Krause, Décio . A formal framework for quantum non-individuality SYNTHESE , v. 102 , p. 195 - 214 , 1995. ISSN: 00397857.
    • Costa, Newton C. A. ; Krause, D?cio ; Krause, Décio . Schr?dinger logics Studia Logica , v. 53 , p. 533 - 550 , 1994. ISSN: 00393215.
    • Krause, Décio . On a quasi-set theory. Notre Dame Journal of Formal Logic , v. 33 , p. 402 - 411 , 1992. ISSN: 00294527.
    • Arroyo, R. W. ; Arenhart, Jonas R. B. ; Krause, Décio . The Elimination of Metaphysics Through the Epistemological Analysis: Lessons (Un)Learned from Metaphysical Underdetermination. Probing the Meaning of Quantum Mechanics : Probability, Metaphysics, Explanation and Measurement, v. , p. 1 - , 2023.
    • DE BARROS, J. ACACIO ; Holik, Federico ; Krause, Décio . Quantum identity, content and context: from classical to non-classical logic. From Electrons to Elephants and Elections: Exploring the Role of Content and Context, v. , p. 489 - 522, 2022.
    • KRAUSE, D. ; Arenhart, Jonas R. B. ; Bueno, Otávio . The non-individuals interpretation of quantum mechanics. The Oxford Handbook of the History of Quantum Interpretations, v. , p. 1135 - 1154, 2022.
    • KRAUSE, D. . Quantum mechanics, ontology, and non-reflexive logics. A true polymath: a tribute to Francisco Antonio Doria, v. 2, p. 75 - 112, 2020.
    • COSTA, Newton C A da ; Krause, Décio . Suppes predicate for classes of structures and the notion of transportability. Consequence and logic: Essays in honor of Edelcio Gonçalves de Souza, v. 42, p. 79 - 98, 2020.
    • Krause, Décio . O gato de Schrödinger não está vivo e morto antes da medição: sobre a interpretação dos resultados quânticos. Lógica no Avião, v. 1, p. 104 - 122, 2019.
    • Krause, Décio ; ARENHART, Jonas Rafael Becker . Remarks on the use of formal methods. Logic and Philosophy of Logic: Recent Trends in Latin America and Spain, v. , p. 181 - 202, 2018.
    • Krause, Décio ; ARENHART, Jonas Rafael Becker . Does identity hold a priori in standard quantum mechanics?. Probing the meaning of quantum mechanics: information, contextually, relationalism and entanglement, v. 1, p. 99 - 120, 2019.
    • Arenhart, Jonas R. B. ; Krause, Décio . Oppositions and quantum mechanics: superposition and identity. New Dimensions of the Square of Opposition, v. 1, p. 337 - 354, 2017.
    • Krause, Décio . Quantum Mereology. Handbook of Mereology, v. 1, p. 476 - 479, 2017.
    • KRAUSE, D. ; Arenhart, Jonas R. B. . Quantum Non-Individuality: Background Concepts and Possibilities. The Map of the Territory: Exploring the Foundations of Science, Thought and Reality, v. , p. 281 - 305, 2018.
    • Krause, Décio ; Arenhart, Jonas R. B. . A logical account of quantum superpositions. Probing the Meaning of Quantum Mechanics: Superpositions, dynamics, Semantics and Identity., v. 1, p. 44 - 59, 2016.
    • Krause, Décio ; Arenhart, Jonas R. B. ; Merlussi, P. . A modal logic of indiscernibility. Probing the Meaning of Quantum Mechanics: Superpositions, Dynamics, Semantics and Identity., v. 1, p. 259 - 279, 2016.
    • da Costa, Newton C. A. ; Krause, Décio . An application of paraconsistent logic to physics. Towards Paraconsistent Engineering, v. , p. 25 - 34, 2016.
    • COSTA, Newton C A da ; Krause, Décio ; Arenhart, Jonas R. B. . Um panorama atual da lógica. Lógica e Direito, v. , p. 103 - 134, 2016.
    • Krause, Décio ; Arenhart, Jonas R. B. . Logical reflections on the semantic approach. Conceptual Clarifications: Tribute to Patrick Suppes (1922-2014), v. , p. 31 - 62, 2015.
    • Krause, Décio ; Arenhart, Jonas R. B. . Individuality, quantum physics, and the metaphysics of non individuals. Individuala Across the Sciences, v. , p. 61 - 80, 2016.
    • Becker Arenhart, Jonas R. ; Krause, Décio . Potentiality and Contradiction in Quantum Mechanics. Studies in Universal Logic, v. 2, p. 201 - 211, 2015.
    • ARENHART, Jonas Rafael Becker ; KRAUSE, D. . A calculus of non-individuals: ideas for a quantum mereology. Linguagem, Ontologia e Ação, v. 10, p. 92 - 106, 2011.
    • Krause, Décio . The metaphysics of non-individuality. Brasilian Studies in History and Philosophy of Science, v. 290, p. 57 - 267, 2011.
    • Krause, Décio . ¿Pueden ser separables las entidades indiscernibles? Ensayo sobre posibles consecuencias de una posición de Einstein frente a la indiscernibilidad. Einstein: científico y filósofo, v. 1, p. 125 - 145, 2010.
    • Krause, Décio ; Feitosa, Hercules de Araujo . Algebraic aspects of quantum indiscernibility. The Many Sides of Logic, v. 21, p. 369 - 388, 2009.
    • KRAUSE, D. . Nota sobre o comprometimento ontológico com não-indivíduos. Filosofia e Hist;ória da Ciência do Cone Sul - Seleção de Trabalhos do 5 Encontro, v. 1, p. 125 - 132, 2008.
    • KRAUSE, D. . Individualidade de objetos físicos e lógica. Filosofía y Historia de la Ciencia en el Cono Sur, v. 1, p. 243 - 252, 2007.
    • KRAUSE, D. ; COSTA, Newton C A da . The logic of complementarity. The Age of Alternative Logics: assessing philosophy of logic and mathematics today, v. , p. 103 - 120, 2006.
    • COSTA, Newton C A da ; KRAUSE, D. ; BUENO, Otavio . Paraconsistent Logics and Paraconsistency. Handbook of the Philosophy of Science. Volume 5: Philosophy of Logic, v. 5, p. 655 - 781, 2007.
    • COSTA, N. C. A. ; KRAUSE, D. . Observatii asupra aplicatiilor logicii paraconsistente în fizica. Ex falso quodlibet: studi de logica paraconsistenta, v. , p. 463 - 481, 2004.
    • COSTA, N. C. A. ; KRAUSE, D. . Complementaritate si paraconsistenta. Ex falso quodlibet: studi de logica paraconsistenta, v. , p. 449 - 462, 2004.
    • KRAUSE, D. . A metafísica dos quanta: questões lógicas. Lógica e Fiosofia da Lógica, v. 39, p. 139 - 160, 2004.
    • GELOWATE, Geraldo ; KRAUSE, D. ; COELHO, Antonio M N . Notas a respeito da neutralidade ontológica da matemática. Lógica e Filosofia da Lógica, v. 39, p. 173 - 181, 2004.
    • COSTA, Newton C A da ; KRAUSE, D. . Complementarity and paraconsistency. Logic, Epistemology, and the Unity of Science, v. 1, p. 557 - 568, 2004.
    • COSTA, Newton C A da ; KRAUSE, D. . An inductive annotated logic. Paraconsistency: the logical way to inconsistent, v. 228, p. 213 - 225, 2002.
    • FRENCH, S. ; KRAUSE, D. . The Logic Of Quanta. CONCEPTUAL FOUNDATIONS OF QUANTUM FIELD THEORY, v. , p. 324 - 342, 1999.
    • COSTA, N. C. A. ; KRAUSE, D. . Set-Theoretical ModelsFor Quantum Systems. LANGUAGE, QUANTUM, MUSIC, v. , p. 171 - 181, 1999.
    • PAPAVERO, N. ; KRAUSE, D. ; BOUSQUETS, J. L. . El Principio de Individuacion de Hsun-Tsu Y El Principio de Leibniz. PRINCIPIA TAXONOMICA: UNA INTRODUCCION A LOS FUNDAMENTOS LOGICOS, FILOSOFICOS Y METODOLOGICOS DE LAS ESCULELAS DE TAXONOMIA BIOLOGICA, v. , p. 60 - 63, 1994.
    • COSTA, N. C. A. ; FRENCH, S. ; KRAUSE, D. . The Schrodinger Problem. ERWIN SCHRODINGER: PHILOSOPHY AND THE BIRTH OF QUANTUM MECHANICS, v. , p. 445 - 460, 1992.
    • CHIARA, M. L. D. ; GIUNTINI, R. ; KRAUSE, D. . Quasiset Theories For Microobjects: A Comparision. INTERPRETING BODIES: CLASSICAL AND QUANTUM OBJECTS IN MODERN PHYSICS, v. , p. 142 - 152, 1998.
    • PAPAVERO, N. ; LLORENTE-BOUSQUETS, J. ; KRAUSE, D. . El Principio de Individuacion de Hsun Tsu. PRINCIPIA TAXONOMICA: UNA INTRODUCION A LOS FUNDAMENTOS LOGICOS, FILOSOFICOS Y METODOLOGICOS DE LAS ESCUELAS DE TAXONOMIA BIOLOGICAS, v. , p. 1 - 10, 1994.
    • COSTA, N. C. A. ; KRAUSE, D. ; FRENCH, S. . Some Remarks On Sortal Logics And Physics. CALCULEMOS...MATEMATICAS Y LIBERTAD, v. , p. 159 - 172, 1996.
    • KRAUSE, D. . A lógica paraconsistente, II . Gazeta do Povo , Curitiba , 30 abr. 1998.
    • KRAUSE, D. . A lógica paraconsistente, I . Gazeta do Povo , Curitiba , 29 abr. 1998.
    • 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.
    • 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. p. 135 - 135.
    • 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. p. 134 - 134.
    • 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. p. 134 - 135.
    • KRAUSE, D. . Quantificação e Física. In: XII Encontro Nacional de Filosofia da ANPOF , 2006 , Salvador. Livro de Atas. Salvador : ANPOF, 2006. p. 135 - 135.
    • 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.
    • 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. p. 42 - .
    • 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. p. 97 - .
    • 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.
    • KRAUSE, D. ; LIMA, Adriano Luiz de Souza . Quase-Verdade em Ciência. In: V Encontro Catarinense de Filosofia , 2005 , Brusque. . : , 2005.
    • STEINLE, William J ; KRAUSE, D. . Sobre o realismo estrutural ontológico. In: IV Simpósio Internacional Principia , 2005 , Florianópolis. Resumos. : , 2005.
    • 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.
    • LIMA, Adriano L de S ; KRAUSE, D. . Quase-verdade, indução e incerteza. In: IV Simpósio Internacional Principia , 2005 , Florianópolis. Resumos. : , 2005.
    • BECKER, Jonas ; KRAUSE, D. . Lógicas e Semânticas Não-Clássicas. In: IV Simpósio Internacional Principia , 2005 , Florianópolis. Resumos. : , 2005.
    • 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.
    • 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.
    • 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. p. 36 - 37.
    • 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. p. 21 - 26.
    • 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.
    • 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. p. 23 - 42.
    • 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. : IEEE Computer Society Press, 2001. p. 161 - 167.
    • 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.
    • KRAUSE, D. . Quasi-set theory: the mathematics of indistinguishabiity. In: Colloquium Logiqum 2000 , 2000 , Dresden, 22-24 Sept.. Cadernos de Abstracts. : , 2000.
    • 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. : Associação Nacional de Pós-Graduação em Filosofia, ANPOF., 2000. p. 124 - 124.
    • 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.
    • 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. p. 240 - 240.
    • 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. p. 1025 - 1036.
    • 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.
    • 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.
    • 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. : Oxford Un. Press, 1996.
    • 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.
    • KRAUSE, D. . Mathematical treatment of collections of indistinguishable objects. In: International Congress of Mathematicians , 1994 , Zurich. Volume of Abstracts of Short Communications. : , 1994. p. 258 - 258.
    • 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. p. 263 - 274.
    • 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.
    • 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.
    • KRAUSE, D. . Logica Polissortida e O Dominio Vazio. In: SESSAO REGULAR DA ACADEMIA BRASILEIRA DE CIENCIAS , 1993 , . RESUMOS. SAO PAULO : , . p. 409 - 410.
    • KRAUSE, D. . The Theories Of Quasi-Sets And ZFC Are Equiconsistent. In: ENCONTRO BRASILEIRO DE LOGICA, 10 , 1995 , . ANAIS. SALVADOR : , . p. 145 - 155.
    • Krause, Décio . Prefácio a 'Para além das colunas de Hércules: de Heráclito a Newton da Costa'. Campinas : EDITORA UNICAMP , 2017 (Prefácio, Pósfacio/Prefacio)
    • 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)
    • Krause, Décio ; ARENHART, Jonas Rafael Becker . PHILOSOPHY OF QUANTUM MECHANICS: QUANTUM (NON-) INDIVIDUALITY. Paris : UNESCO; EOLSS Pu. , 2014 (Verbete em enciclopédia)
    • Krause, Décio ; BUENO, Otavio . Filosofia da Física Quântica: A Título de Prefácio. Campinas : CLE - Unicamp , 2010 (Prefácio, Pósfacio/Prefacio)
    • KRAUSE, D. . Apresentação. Curitiba : Juruá Editora , 2005 (Prefácio, Pósfacio/Prefacio)
    • KRAUSE, D. ; FRENCH, S. ; DORIA, F. A. . Special Issue dedicated to N.C.A. da Costa's 70th birthday. Dordrcht : Kluwer Ac. Pu. , 2000 (Prefácio, Pósfacio/Prefacio)
    • KRAUSE, D. ; BEZIAU, J. Y. . New trends in the foundations of science. Dordrecht : Springer , 2006 (Prefácio, Pósfacio/Prefacio)
    • 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)
    • KRAUSE, D. . Membro do Comitê Assessor da revista 'Representaciones'. 2005 (Assessoria)
    • KRAUSE, D. . Membro do Conselho Editorial do Boletim da Sociedade Paranaense de Matemática. 2003 (Assessoria)
    • KRAUSE, D. . Reviewer de Mathematical Reviews. 1992 (Parecer)
    • KRAUSE, D. . On some criticisms to the Received View of quantum objects. 2021 (Conferência)
    • Krause, Décio . Ideias gerais sobre a filosofia, a filosofia da ciência e a lógica. 2015 (Conferência)
    • Krause, Décio . Não-Indivíduos. 2014 (Conferência)
    • Krause, Décio . A 'lógica'da lógica quântica. 2013 (Conferência)
    • Krause, Décio . Teoria de quase-conjuntos. 2013 (Conferência)
    • Krause, Décio . Identity and quantum theory. 2013 (Conferência)
    • Krause, Décio . Teoria Paraconsistente de Quase-Conjuntos. 2012 (Comunicacao)
    • Krause, Décio . A calculus os non-individuals (ideas for a quantum mereology). 2011 (Comunicacao)
    • KRAUSE, D. ; de Ronde, C. . Un analisis de las interpretaciones relacionales en la teoria cuántica. 2010 (Comunicacao)
    • KRAUSE, D. . Sobre estruturas e o realismo estrutural. 2010 (Comunicacao)
    • Krause, Décio . Languages, Structures, and Models of Scientific Theories. 2010 (Conferência)
    • Krause, Décio ; Holik, Federico . Sobre a indistinguibilidade de objetos quânticos. 2010 (Comunicacao)
    • KRAUSE, D. . Logical aspects of quantum non-individuality. 2008 (Conferência)
    • KRAUSE, D. . Identidade e Individualidade em Física Quântica: Questões Lógicas. 2006 (Conferência)
    • KRAUSE, D. . Uma lógica na qual não vale o princípio da identidade. 1986 (Conferência)
    • KRAUSE, D. . Sobre o conceito de identidade. 2014 (Conferência)
    • KRAUSE, D. . O conceito semântico de verdade de Tarski. 1990 (Conferência)
    • KRAUSE, D. . Teoria Axiomática de Conjuntos. 1989 (Conferência)
    • KRAUSE, D. . Física como elemento transformador da matemática. 1992 (Conferência)
    • KRAUSE, D. . Princípios: seu papel na filosofia e na ciência. 2000 (Conferência)
    • KRAUSE, D. . Fundamentos Axiomáticos da Ciência. 2002 (Seminário)
    • Krause, Décio ; CRUZ, Frederico Firmo de Souza ; Arenhart, Jonas R. B. . Mecânica Quântica e Filosofia. 2018 VI Semana Acadêmica de Física - UFSC
    • Krause, Décio . Filosofia da Física. 2022 YouTube
    • Krause, Décio . Ciência e Lógica. 2016 YouTube
    • Krause, Décio . O que é lógica. 2013 YouTube
    • KRAUSE, D. . Dois dias com Patrick Suppes. 2002 (Universidade Federal de Santa Cataraina)
    • KRAUSE, D. . Álgebras Booleanas e álgebras de Curry. 1986 (Departamento de Matemática)
    • KRAUSE, D. . Lógica Paraconsistente. 1985 (Departamento de Matemática)
    • KRAUSE, D. . Teoria das Estruturas. 1985 (Departamento de Matemática)
    • KRAUSE, D. . Resultados Fundamentais da Teoria da Prova. 1986 (Departamento de Matemática)
    • KRAUSE, D. . Introdução à Lógica Matemática. 1985 (Fundação Faculdade Estadual de Filosofia, Ciências e Letras de União da Vitória)
    • 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 (AFHIC-Associção de Filosofia e História da Ciência do Cone Sul)
    • 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 (CLE Unicamp e Sociedade Brasileira de Logica)
    • Krause, Décio ; de Ronde, C. ; Kauark Leite, P. . Workshop sobre los fundamentos de la mecánica cuántica. 2010 (AFHIC-Associación de História y Filosofía de la Ciencia del Cono Sud)
    • Krause, Décio ; de Ronde, C. . Representation in quantum theory: philosophical and logical perspectives. 2011 (Grupo de Lógica e Fundamentos da Ciência UFSC/CNPq)
    • Krause, Décio ; de Ronde, C. ; Freytes, H. . III Workshop sobre filosofía, lógica y historia de la mecánica cuántica. 2012 (AFHIC-Associación de História y Filosofía de la Ciencia del Cono Sud)
    • 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 (AFHIC-Associación de História y Filosofía de la Ciencia del Cono Sud)
  • Curso de curta duração ministrado: 4
    • KRAUSE, D. . Teoria dos Modelos. 1988 (Universidade de São Paulo- IPEA/FEA)
    • KRAUSE, D. . História da Matemática-Conteúdos de 1o. grau. 1987 (Secretaria Municipal da Educação/Prefeitura Municipal de Curitiba)
    • KRAUSE, D. . La metafísica de la no-individualidad. 2007 (Sociedade Científica Argentina e Universidad de Buenos Aires)
    • KRAUSE, D. . Álgebra Linear Aplicada. 1992 (Universidade Federal do Parná)
    • KRAUSE, D. . Relatório Parcial e Proposta de Renovação da Bolsa de Produtividade em Pesquisa 1998/2000. 2000
    • Nome do projeto: FILOSOFIA DA NÃO-INDIVIDUALIDADE ESTUDO DE ASPECTOS LÓGICOS E ONTOLÓGICOS DA FÍSICA QUÂNTICA (2007 - 2010
      Natureza: Pesquisa
      Integrantes: KRAUSE, D. , SCHINAIDER, J. , STEINLE, William J , ARENHART, Jonas Rafael Becker , Domenech, Graciela , Holik, Federico .
      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
    • Nome do projeto: Lógica, Ontologia e Teorias Quânticas (2013 - 2016
      Natureza: Pesquisa
      Integrantes: KRAUSE, D. .
      Descrição: Continuação dos projetos anteriores, como bolsista do CNPq 2010-2014.
    • Nome do projeto: Metateoria das Teorias Quânticas: Lógicas Não-Clássicas e Teorias Físicas (2021 Atual)
      Natureza: Pesquisa
      Integrantes: KRAUSE, D. , ARENHART, Jonas Rafael Becker .
      Descrição: O objetivo é iniciar um estudo de aspectos metateóricos das teorias físicas, em especial da mecânica quântica, considerando a possibilidade de se utilizar alguma lógica não-clássica na metalinguagem, em especial da teoria de quase-conjuntos.
    • Nome do projeto: Metafísica e lógica da não-individualidade (2017 - 2021
      Natureza: Pesquisa
      Integrantes: KRAUSE, D. .
      Descrição: A física quântica, desde os seus primórdios, tem trazido questionamentos sobre as entidades das quais estaria falando. Neste projeto, investigamos uma das interpretações possíveis, postulando que os objetos quânticos podem ser entendidos como "não-indivíduos", ou seja, como entidades para as quais a noção lógica usual de identidade não se aplica.
    • Nome do projeto: Lógica, Ontologia e Teorias Quânticas (2013 - 2017
      Natureza: Pesquisa
      Integrantes: KRAUSE, D. .
      Descrição: Parte-se do princípio de que as teorias quânticas, em especial a mecânica quântica não relativista, pode ser descrita axiomaticamente. Isso pressupõe o uso de alguma lógica subjacente. Neste projeto, analisam-se os detalhes de uma tal lógica, levando-se em conta as propagadas discrepâncias que haveria entre uma "lógica quântica" e a lógica clássica, extrapolando a usual análise proposicional, adentrando na lógica quantificacional e nas teorias de conjuntos.
    • Nome do projeto: Identidade e Individualidade em Física: Aspectos Lógicos e Ontológicos da Física Quântica (2003 - 2007
      Natureza: Pesquisa
      Integrantes: KRAUSE, D. , SANT'ANNA, A. S. , COSTA, Newton C A da , FRENCH, Steven , STEINLE, W. J. , MEURER, Flavio de Carvalho , BUENO, Otavio , OLIVEIRA, Gilson Maicá de , ARENHART, Jonas Rafael Becker , MINELLA, J. L. S. , VALGAS, P. H. M. .
      Descrição: Projeto de Pesquisa mantido junto ao CNPq (2003-2007) Web: http://www.cfh.ufsc.br/~dkrause/pg/cnpq/ProjetoCNPq-2003.2007.pdf
    • KRAUSE, D. . Lógica Matemática. 1985 - Curso de extensão universitária minisrado
    • Graduacao:
      • Curso: Licenciatura Em Matemática
        Nome da Instituição: Pontifícia Universidade Católica do Paraná
        Ano de conclusão: 1976
    • Mestrado:
      • Curso: Educação
        Nome da Instituição: Universidade Federal do Paraná
        Ano de conclusão: 1983
    • Doutorado:
      • Curso: Filosofia
        Nome da Instituição: Universidade de São Paulo
        Ano de conclusão: 1990
    • Pos-doutorado:
      • Nome da Instituição: University of Oxford
        Ano de conclusão: 2008
      • Nome da Instituição: Leeds Metropolitan University
        Ano de conclusão: 1996
      • Nome da Instituição: Universita Degli Studi Firenze
        Ano de conclusão: 1993
    • Universidade Federal do Paraná:
      • Tipo de vínculo: Outro ( - ).
      • Tipo de vínculo: Outro ( - ).
      • Tipo de vínculo: Livre ( - ).
    • Universidade Tecnológica Federal do Paraná:
      • Tipo de vínculo: Livre (1978 - 1991 ).
        Outras informações: Professor de Cálculo Diferencial e Integral, Geometria Analítica, Álgebra Linear., Cálculo Numérico.
        Outras informações: Professor Adjunto
    • Universidade Federal de Santa Catarina:
      • Tipo de vínculo: Servidor_publico (2000 - 2022 ).
        Outras informações: Aposentado em Fevereiro de 2022.
    • Boletim da Sociedade Paranaense de Matemática:
      • Tipo de vínculo: Livre (2004 - Atual ).
    • Representaciones (Córdoba):
      • Tipo de vínculo: Livre (2005 - Atual ).
    • Mathematical Reviews:
      • Tipo de vínculo: Livre (1992 - Atual ).
    • Foundations of Physics:
      • Tipo de vínculo: Livre (2004 - Atual ).
    • Foundations of Physics Letters:
      • Tipo de vínculo: Livre (2004 - Atual ).
    • Manuscrito:
      • Tipo de vínculo: Livre (2005 - Atual ).
    • Principia (UFSC):
      • Tipo de vínculo: Livre (2005 - Atual ).
    • Logica Unversalis:
      • Tipo de vínculo: Livre (2006 - Atual ).
    • Praxis Filosófica:
      • Tipo de vínculo: Livre (2005 - Atual ).
    • Discusiones Filosóficas:
      • Tipo de vínculo: Livre (2008 - Atual ).
        Outras informações: ISSN 0124-6127
    • Synthese (Dordrecht):
      • Tipo de vínculo: Livre (2000 - Atual ).
        Outras informações: Revisor ad hoc.
    • Philosophy of Science (Online University of Chicago. Press):
      • Tipo de vínculo: Livre (2008 - Atual ).
    • British Journal for the Philosophy of Science:
      • Tipo de vínculo: Livre (2009 - Atual ).
        Outras informações: Parecerista ad hoc.
    • Manuscrito (UNICAMP):
      • Tipo de vínculo: Livre (2011 - Atual ).
        Outras informações: Membro do Corpo Editorial na nova versão da revista.
    • Publicatio UEPG. Ciências Exatas e da Terra, Ciências Agrárias e Engenharia:
      • Tipo de vínculo: Livre (2008 - Atual ).
        Outras informações: Membro do Comitê Editorial de Física e Matemática
    • Philosophy Study:
      • Tipo de vínculo: Livre (2013 - Atual ).
        Outras informações: ISSN 2159-531, 2159-5321
    • South American Journal of Logic:
      • Tipo de vínculo: Livre (2015 - Atual ).
    • Conselho Nacional de Desenvolvimento Científico e Tecnológico:
      • Tipo de vínculo: Livre (2012 - 2015 ).
    • Coleção CLE - UNICAMP:
      • Tipo de vínculo: Livre (2018 - Atual ).
    • Universidade Federal do Rio de Janeiro:
      • Tipo de vínculo: Livre (2019 - Atual ).
        Outras informações: Professor permanente do Programa de Pós-graduação em Lógica e Metafísica do Departamento de Filosofia.
        Outras informações: Professor Permanente do Curso de PG em Lógica