Décio Krause bio photo

Décio Krause

Homepage Google Scholar Lattes

Publications

Publications & forthcoming works 

Updated Nov 2016

PAPERS, CHAPTERS, REVIEWS, FORTHCOMING, AND MORE

PAPERS

  1. (2016) Arenhart, J. R. B. and Krause, D., Contradiction, Quantum Mechanics, and the Square of Opposition. Logique et Analyse 59 (235): 301-15.

  2. (2015) Krause, D., Arenhart, J. R. B., da Costa, N. C. A., Ontology and the mathematization of the scientific enterprise. Phainomeon (Revista de Fenomenologia) 25: 109-130, 2012. (publicado em 2015)

  3. (2014) da Costa, N. C. A. & Krause, D., Physics, inconsistency, and quasi-truth. Synthese 191 (13): 3041-3055. (Web)

  4. (2014) Schinaider,J. & Krause,D.,Indiscernibilidade e identidade em química: aspectos filosóficos e formais. Manuscrito 37 (1): 113-160. (Web)

  5. (2014) Krause, D. & Arenhart, J. 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 44 (12): 1269-1288. (Web)

  6. (2014) Arenhart, J. R. B. & Krause, D., From primitive identity to the non-individuality of quantum objects. Studies in History and Philosophy of Modern Physics 46: 273-282. (Web)

  7. (2014) Arenhart, J. R. B. & Krause, D., Why non-individuality: A discussion on individuality, identity, and cardinality in the quantum context. Erkenntnis 79 (1): 1-18. (Web)

  8. (2014) Krause, D., The problem of identity and a justification for a non-reflexive quantum mechanics. Logic Journal of the IGPL 22 (2), 186-205. (Web)

  9. (2014) Krause, D., Estruturas em ciência. Compêndio em Linha de Problemas de Filosofia Analítica. Lisboa. (Web)

  10. (2013) Krause, D. & Arenhart, J. R. B. Perspectivismo em filosofia da ciência: um estudo de caso na física quântica, Scientiae Studia 11 (1): 159-83. (Web)

  11. (2012) Arenhart, J. R. B. & Krause, D.,Classical Logic or Non-Reflexive Logic? A case of Semantic Underdetermination. Revista Portuguesa de Filosofia 68 (1-2): 73-86.(Web)

  12. (2012) Arenhart, J. R. B. & Krause, D ., Uma lógica da indiscernibilidade. Disputatio 34 (4): 555-573. (Web)

  13. (2012) Krause, D. & Arenhart, J. R. B., A discussion on quantum non-individuality. Journal of Applied Non-Classical Logic 22 (1-2):105-124.(Web)

  14. (2012) Arenhart, J.R.B. & Krause,D., Indistiguibilidade,não reflexividade,ontologia e física quântica. Scientiae Studia 10 (1): 41-69 (Web)

  15. (2012) da Costa, N. C. A., Krause, D. Arenhart, J. R. B. & Schinaider,J., Sobre uma fundamentação não-reflexiva da mecânica quântica. Scientiae Studia 10 (1): 71-104. (Web)

  16. (2011) Howard, D., van Fraassen, B., Bueno, O., Castellani, E., Crosilla, L., French, S. and Krause, D., The physics and metaphysics of identity. Metascience 20: 225-251. (Web)

  17. (2011) Krause, D., Is Priscilla, the trapped positron, an individual? Quantum physics, the use of names, and individuation. Arbor 187 (747): 61-66. (Web)

  18. (2011) Krause, D., Arenhart, J.R.B. & Moraes, F.T.F., Axiomatization and models of scientific theories. Foundations of Science, 16 (4): 363-382.(Ver)

  19. (2011) Nascimento, M. C., Krause, D. & Feitosa, H. de A. The quasi-lattice of indiscernible elements. Studia Logica 97: 101-128. (Web)

  20. (2010) Domenech, G., Holik, F, Kniznik, L. & Krause, D., No labeling quantum mechanics of indiscernible particles. International Journal of Theoretical Physics 49 (12): 3085-3091. (Web)

  21. (2010) French, S. & Krause, D. Remarks on the theory of quasi-sets, Studia Logica 95 (1-2): 101-124. (Web)

  22. (2010) Krause, D., Logical aspects of quantum (non-)individuality. Foundations of Science 15 (1): 79-94.(Web)

  23. (2010) Krause, D. & Bueno, O., Ontological issues in quantum theory, Manuscrito 33 (1): 269-284.(Web)

  24. (2010) da Costa, N.C.A., Krause,D. & Bueno,O., Issues in the foundations of science, I: languages, structures, and models. Manuscrito 33 (1) Jan-Jun,123-142.(Web)

  25. (2009) Arenhart, J.R.B. & Krause, D., Quantifiers and the foundations of quasi-set theory. Principia (UFSC) 13 (3) 2009: 251-268.(Ver)

  26. (2009) Krause, D., Newton da Costa e a filosofia da quase-verdade. Principia 13 (2), 105-128. (ISSN 1808-1711) Reproduzido (com autorização)em Seleção Documental GLPA 16 Ano 4, ATC3 12/2009, 14-25 (Web)

  27. (2009) Arenhart,J.R.B.&Krause,D., Semântica quase-conjuntista e com- promisso ontológico, Cognitio (S. Paulo), 10 (2): 191-207. (Web)

  28. (2009) Krause, D., Questões a uma teoria de quase-objetos. Manuscrito 32,(2): 399-436.(Web)

  29. (2008) Krause, D., Física e Ontologia. Discusiones Filosóficas 9 (12): 57-74.(Web)

  30. (2008) Domenech,G.,Holik,F.&Krause,D., Q-spaces and the foundations of quantum mechanics. Foundations of Physics 38 (11): 969-994. (Web)

  31. (2007) Becker,J. e Krause,D.,Identidade, Individualidade e Quase-Conjuntos, Revista Eletrônica Informação e Cognição 6 (2): 25-39.(Web)

  32. (2007) Krause, D. A negação clássica. O Que Nos Faz Pensar 23: 31-39.(Web)

  33. (2007) Krause, D. & Bueno, O., Scientific theories, models, and the semantic approach. Principia 11 (2): 187-201.(Web)

  34. (2007) da Costa, N.C.A. & Krause,D., Logical and Philosophical Remarks on Quasi-Set Theory. Logic Journal of the IGPL (Interested Group in Pure and Applied Logic) 15: 1-20.(Web)

  35. (2007) Krause, D. & French, S., ’Quantum sortal predicates. Synthese 2007154 (3): 417-30. (Web)

  36. (2006) Krause, D. & Becker, J., Hume, Schrödinger e a individuação de objetos físicos. Revista Eletrônica Informação e Cognição 5 (2), 2006, 59-71. (Web)

  37. (2006) Magalhães,J.C.M.&Krause,D., Teorias e modelos em genética de populações: um exemplo de aplicação do método axiomático em biologia. Episteme (Porto Alegre) 11 (24):, 269-291.(Web)

  38. (2006) Krause, D., Einstein y la indiscernibilidad, Praxis Filosófica (Nueva Serie) 22: 113-130. (ISSN 0120-4688)(Web)

  39. (2005) Krause,D., Una ojeada en las bases ontológicas dela fisica cuántica, Praxis Filosófica 21: 5-20. (ISSN 0120-4688)(Web)

  40. (2005) Krause, D. and Arenhart, J. R. B., A discussion on quantun non-individuality. Journal of Applied Non-Classical Logics 22 (1-2): 105-124.(ISSN: 1166-3081)(Web)

  41. (2005) Krause, D., Sant’Anna, A. S. & Sartorelli, A., On the concept ofidentity in Zermelo-Fraenkel-like axioms and its relationships with quantum statistics. Logique et Analyse 48 (189-192): 231-260. (ISSN 0024-5836)(Web)

  42. (2005) Krause, D., Separable non individuals. Representaciones 1 (1): 21-36. (ISSN 1669-8401)

  43. (2005) Krause, D. & Coelho, A. M. N., Identity, Indiscernibility, and Philosophical Claims. Axiomathes 15 (2): 191-210. (ISSN 1122-1151)(Web)

  44. (2005) Krause, D., Structures and structural realism. Logic Journal of IGPL (Interested Group in Pure and Applied Logic) 13 (1), 2005: 113-126. (ISSN 1367-0751) (Web)

  45. (2005) Gelowate, G., Krause, D. & Coelho, A. M. N., Observações sobre a neutralidade ontológica da matemática. Episteme 17 (Jul./Dez.): 145-157.(ISSN 1413-5736)

  46. (2003) French, S. & Krause, D., Quantum Vagueness. Erkenntnis 59 (1): 97-124. (ISSN 0165-0106)(Web)

  47. (2002) Krause, D., Why quasi-sets? Boletim da Sociedade Paranaense de Matemática 20 n. 1/2: 73-92. (ISSN 0037-8712) (Web)

  48. (2001) Magalhães, J.C.M. & Krause,D., Suppes predicate for genetics and natural selection. Journal of Theoretical Biology 209 (2): 141-153. (ISSN 0022-5193)(Web)

  49. (2000) Krause, D., Remarks on quantum ontology. Synthese 125 (1/2):155-167. (ISSN 0039-7857)(Web)

  50. (1999) Krause, D., Alguns aspectos lógicos e epistemológicos relacionados aos fundamentos da mecânica quântica. Cadernos de História e Filosofia da Ciência, 9, n.1-2, série 3, pp. 147-200. (ISSN 0101-3224)(Web)

  51. (1999) Krause, D., Sant’Anna, A. S. & Volkov, A. G., Quasi set theory for bosons and fermions. Foundations of Physics Letters 12 (1): 67-79. (ISSN 0894-9875)(Web)

  52. (1998) Krause, D., O Princípio da Complementaridade e a lógica paraconsistente. In Sociedade Brasileira de Filosofia, A filosofia, Hoje, Vol. II. S.Paulo, Instituto Brasileiro de Filosofia: 1025-1036. (Volume especial da Revista Brasileira de Filosofia)

  53. (1997) da Costa, N. C. A. & Krause, D., An intensional Schrödinger logic. Notre Dame Journal of Formal Logic 38 (2): 179-194. (ISSN 0029-4527)(Web)

  54. (1997) Krause, D. & Béziau, J. -Y., Relativizations of the Principle of Identity. Journal of the Interested Group in Pure and Applied Logic (IGPL) 5(3): 327-338. (ISSN 1367-0751) (Web)

  55. (1997) Sant’Anna, D. S. & Krause, D., Hidden variables and indistinguishable particles. Foundations of Physics Letters 10: 409-426. (ISSN 0894-9875)(Web)

  56. (1997) Krause, D., Béziau, J. −Y & Bueno, O., Estruturas em ciência. Boletim da Sociedade Paranaense de Matemática 17 (1/2): 91-111. (ISSN 0037-8712)(Web)

  57. (1996) Krause,D.,Axioms for collections of indistinguishable objects. Logique et Analyse 153-154: 69-93. (ISSN 0024-5836)(Web)

  58. (1996) Krause, D., Remarks on individuation, quantum objects and logic. Logique et Analyse 155-156: 325-33. (ISSN 0024-5836)(Web)

  59. (1996) French,S. and Krause, D., Quantum objects are vague objects. Sorites 6: 21-33. (ISSN 1135-1349) (Web)

  60. (1995) French,S. & Krause,D., Vague identity and quantum non-individuality. Analysis 55 (1): 20-6. (ISSN 0003-2638)(Web)

  61. (1995) Krause, D. & French, S. A formal framework for quantum non-individuality. Synthese 102: 195-214. (ISSN 0039-7857)(Web)

  62. (1994) da Costa, N. C. A. & Krause, D., Schrödinger logic. Studia Logica 53 (4): 533-50.(Web)

  63. (1992) Krause, D., On a quasi-set theory. Notre Dame Journal of Formal Logic 33 (3): 402-11. (ISSN 0029-4527)(Web)

  64. (1992) Krause, D., Algumas observações a propósito da reedição de ‘Sistemas Formais Inconsistentes’. Boletim da Sociedade Paranaense de Matemática 11/12 1991/1992: 101-113. (ISSN 0037-8712) (Web)

  65. (1992) Krause, D. & Abe, J.M., A obra de N. C. A. da Costa em lógica. Theoria 16-17-18 (VII): 347-86. (ISSN 0495-4548)

  66. (1991) Krause, D., Multisets, quasi-sets and Weyl’s aggregates. Journal of Non-Classical Logic 8 (2): 9-39. (ISSN 0102-3411)(Web)

  67. (1990) Krause, D., A ‘dialetização’ da teoria tradicional da identidade. Bo-letim da Sociedade Paranaense de Matemática 10: 159-75. (ISSN 0037-8712)(Web)

  68. (1990) Krause, D., A filosofia da ciência de N. C. A. da Costa. Revista Brasileira de Filosofia 39 (158): 117-44. (ISSN 0034-7205)(Web)

  69. (1989) Krause, D., Aspectos da lógica atual, Revista Brasileira de Filosofia 38 (155): 220-37. (ISSN 0034-7205)(Web)

  70. (1987) Krause, D., O conceito bourbakista de estrutura. Boletim da So-ciedade Paranaense de Matemática 8: 77-102. (ISSN 0037-8712)(Web)

CHAPTERS

  1. (2016) da Costa, N. C. A. and Krause, D., An application of paraconsistent logic to physics. In S. Akama (ed.), Towards Paraconsistent Engineering. Berlin: Springer, 25-43. ISBN: 978-3- 319-40417-2. (Web)

  2. (2016) Krause, D. & Arenhart, J. R. B., Logical reflections on the semantic approach. In Be ́ziau, J. -Y., Krause, D. & Arenhart, J. R. B., Tribute to Patrick Suppes. London: College Pu. (Series Tributes): 31-62. ISBN: 978-1-84890-188-9. (Web)

  3. (2016) Krause, D. & Arenhart, J. R. B., Individuality, quantum physics, and a metaphysicsof non-individuals: the role of the formal. In Alexandre Guay and Thomas Pradeu (eds.), Individuals Across the Sciences. Oxford: Oxford Un. Press, pp. 61-81.

  4. (2015) Arenhart, J.R.B. & Krause,D., Potentiality and contradiction in quantum mechanics. In A. Koslow and A. Buchsbaum (eds.), The Road do Universal Logic. Basel: Birkhäuser, pp. 201-11. ISBN: 978-3-319-15368-1 (Web)

  5. (2014) Arenhart, J. R. B. & Krause, D., Oppositions and quantum mechanics: superposition and identity. In J. -Y. Béziau and K. Gan-Krzywoszynska (eds.), New Dimensions of the Square of Opposition. München: Philosophia Verlag (Series Analytica), pp.337-356. ISBN978-3-88405-112-2. (Web)

  6. (2012) Krause, D., On a calculus of non-individuals: ideas for a quantum mereology. In Dutra, L. H. de A.; Luz, A. M. (orgs.) 2011. Linguagem, Ontologia e Ação. Florianópolis: NEL/UFSC, v. 10, Coleção Rumos da Epistemologia. pp. 92-106. (Web)

  7. (2011) Krause, D. The metaphysics of non-individuality. In Krause, D. and Videira, A.A.P.(editors), Brazilian Studies in Philosophy and History of Science: An Account of Recent Works. Springer (Boston Studies in the Philosophy of Science, 290), pp. 257-267. (ISBN 978-90-481-9421-6) (Web)

  8. (2010) Krause, D. Pueden ser separables las entidades indiscernibles? Ensaio sobre posibles consecuencias de una posición de Einstein frente a la indiscernibilidad. In Guerrero Pino, G. (ed.), Einstein: científico y filósofo. Cali: Universidad Del Vale, pp. 125-145. (ISBN: 978-958-670-835-7) (Web)

  9. (2009) Krause, D. & Feitosa, H. de A., Algebraic aspects of quantum indiscernibility. In Carnielli, W.A., Coniglio, M.E. and D’Ottaviano, I. M. L. (eds.), The Many Sides of Logic, Studies in Logic 21, College Publications: 369-388. (ISBN: 978-1-904987-78-9) (Web

  10. (2008) da Costa, N.C.A. & Krause,D., Physics and Non-Classical Logic. In C.Degremont, L.Keiff and H.Rückert (eds.), Dialogues, Logics, and Other Strange Things: Essays in Honour of Shahid Rahman. College Pu.: 105-122. (ISBN-10: 1904987130, ISBN-13: 978-1904987130)(Web)

  11. (2007) da Costa, N. C. A., Krause, D. and Bueno, O., Paraconsistent logics and paraconsis-tency. In D. Jacquette, editor of the volume on Philosophy of Logic; D.M.Gabbay, P. Thagard and J.Woods (eds.), Philosophy of Logic, Elsevier, 2006, in the series Handbook of the Phi-losophy of Science, v. 5, p. 655-781. (ISBN-13: 978-0-444-51541-4) (Web)

  12. (2006) da Costa, N. C. A. & Krause, D., The logic of complementarity. In J. van Benthem, G. Heinzmann, M. Rebushi and H. Visser (eds.), The Age of Alternative Logics: Assessing Philosophy of Logic and Mathematics Today. Springer: 103-120. (ISBN-13: 978-1-4020-5011-4) (Web)

  13. (2005) da Costa, N. C. A. & Krause, D., Remarks on the applications of paraconsistent logic to physics. In Pietrocola, M. e Olival Freire, Jr., Filosofia, Ciência e História: Michel Paty e o Brasil, uma homenagem aos 40 anos de colaboração. São Paulo, FAPESP e Discurso Editorial: 337-362. (Web) ((Book))

  14. (2004) da Costa, N. C. A. & Krause, D., Complementarity and paraconsistency. In S. Rahman, J. Symons, D.M. Gabbay and J. −P. van Bendegem (eds), Logic, epistemology, and the unity of science. Springer-Verlag: 557-568. (Web)

  15. (2004) Krause, D., Gelowate, G. & Coelho, A. M. N., Notas sobre a neutralidade ontolo ́gicada matema ́tica’. In H. A. Feitosa & F.T. Sautter (orgs.), Lógica e Filosofia da Lógica, Vol. 40,Col. CLE, Unicamp: 173-182.

  16. (2004) da Costa, N. C. A. & Krause, D., Complementaritate i paraconsistenta. In Lucica,I., Gheorghiu, D., Chirila, R., (eds.), Ex falso quodlibet: studi de logica paraconsistenta. Bucareste, Editura Tehnica: 449-462.

  17. (2004) da Costa, N. C. A. & Krause, D., Observatii asupra aplicatiilor logicii paraconsistenteˆın fizica. In Lucica, I., Gheorghiu, D., Chirila, R., (eds.), Ex falso quodlibet: studi de logica paraconsistenta. Bucareste, Editura Tehnica: 463-481.

  18. (2002) da Costa, N. C. A. & Krause, D., An inductive annotated logic. In W. Carnielli, M.Cogniglio & I. M. L. D’Ottaviano (eds.), Paraconsistency: the logical way to the inconsistent, Proceedings do II World Congress on Paraconsistency, Juquehy, SP, May 2000 (Marcel Dekker, New York. Lecture Notes in Pure and Applied Mathematics, n. 228): 213-225. (ISBN0824708059) (Web)

  19. (1999)French, S. & Krause, D.,The logic of quanta. In T.Y.Cao (ed), Conceptual foundations of quantum field theory. Cambridge University Press: 324-342. (Web)

  20. (1999) da Costa, N. C. A. & Krause, D., Set theoretical models for quantum systems. In Dalla Chiara, M. L., Giuntini, R. & Laudisa, F. (eds.), Language, Quantum, Music, Kluwer Ac. Pu.: 171-181. (Web)

  21. (1999) Krause, D. & French, S., Opaque predicates, veiled sets and their logic. In W. Carnielli & I. M. L. D’Ottavianno (eds), Advances in contemporary logic and computer science, American Mathematical Society (Contemporary Mathematics 235): 263-274. (Web)

  22. (1998) Dalla Chiara, M. L., Giuntini, R. & Krause, D., Quasi set theories for microobjects: a comparision. In E. Castellani (ed), Interpreting bodies: classical and quantum objects in modern physics, Princeton University Press: 142-152. (Web

  23. (1996) da Costa, N.C.A. & Krause,D., Some remarks on sortal logics and physics.In Etcheverría, J., deLorenzo,J. e Peña,L. (eds.), Calculemos…matemáticas y libertad: homenaje a Miguel de Sánchez Mazas. Madrid, Trotta: 159-72.

  24. (1992) da Costa, N. C. A., French, S. & Krause, D., The Schrödinger problem. In Bitbol, M. and Darrigol, O. (eds.), Erwin Schrödinger: philosophy and the birth of quantum mechanics, Paris, Frontières: 445-60. (Web)

COMPLETE PAPERS IN PROCEEDINGS

  1. (2008) Krause, D., Individualidade de objetos físicos e lógica. In Lorenzano, P. y Miguel, H.(eds.), Filosofía e Historia de la Ciencia en el Cono Sur, Vol. II, Buenos Aires, C.C.C. Educando, pp. 249-258.
  2. (2008) 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 (eds.), Filosofia e História da Ciência do Cone Sul - Seleção de Trabalhos do 5 Encontro (ISBN 978-1-4357-15), Campinas, AFHIC (Associação de Filosofia e História da Ciência do Cone Sul), 2008: 125-132.
  3. (2004) Krause, D., A metafísica dos quanta: questões lógicas. In H. A. Feitosa e F.T. Sautter (orgs.), Lógica e Filosofia da Lógica, Vol.39, Col.CLE, Unicamp:139-161.
  4. (2002) Krause, D., Lógica sortal e física quântica. In Cupani, A. O. & Mortari, C. A. (orgs), Linguagem e Filosofia. Anais do Segundo Simpósio Internacional Principia, NEL/UFSC, Florianópolis 2002 (Col.Rumos da Epistemologia, Vol.6), pp.23-42. (ISBN85-87253-07-7)
  5. (2001) Magalhães, J. C. M. & Krause, D., Axiomatização da genética e o conceito de gene .In J. L. Goldfarb e M. H. M. Ferraz (orgs.), Anais do 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, S. Paulo, Imprensa Oficial, EdUSP, Ed.UNESP e SBHC, 2000 (published in 2001), pp. 451-454.
  6. (2001) Krause, D., Musicante, M. A. & Nobre, E. F., Bibel’s Matrix Connection Method in Paraconsistent Logic: General Ideas and Implementation. Proceedings of the XXI Inter-nacional Conference Chilean Computer Society, Punta Arenas, Chile, 5-9 Nov. 2001 (IEEEComputer Society Press).
  7. (1994) Krause, D., Non-reflexive logics and the foundations of physics. In Cellucci, C., DiMaio, M. C. and Roncaglia, G. (eds.), Logica e filosofia della scienza: problemi e prospettive. Proceedings of the Congresso Triennale della Società Italiana di Logica e Filosofia delle Scienze, (Lucca, 1-10 Jan 1993), Pisa, ETS, 1994: 393-405.
  8. (1995) Krause,D., The theories of quasi sets and ZFC are equiconsistent. In Carnielli,W. and Pereira, L. C. (eds.), Logic, sets and information, Proceedings of the Xth Brazilian Conference on Mathematical Logic (Itatiaia, RJ, May 1993), Campinas, Colec ̧a ̃o CLE 14, UNICAMP,1995: 145-55.
  9. (1996) Kaestner, C. A. A. & Krause, D., Matrix proof method in annotated paraconsistentlogic. Anais del Primer Congresso Argentino de Ciencias de la Computacion, Un. Nacional del Sur, de Bahia Blanca, Argentina (5-7 Oct. 1995), Un. Nac. del Sur, 1996: 416-25.

ENCYCLOPEDIA ENTRIES

  1. (2014) Krause, D. & Arenhart J. R. B., Philosophy of quantum mechanics: quantum (non-)individuality. In A Panaromic View of the History and Philosophy of Science , [Ed. PabloLorenzano], in Encyclopedia of Life Support Systems (EOLSS), Developed under the Aus-pices of the UNESCO, EOLSS Publishers, Paris, France. [Retrieved August 4, 2014] (Web)
  2. (2014) Krause, D. & Arenhart, J. R. B., Identity in Physics. Verbete na Oxford Bibliographies.(Web)

ESSAY REVIEWS

TRANSLATIONS

EDITOR

FORTHCOMING