:ufsc.gif

 

Décio Krause

 

Publications & forthcoming works 

Updated April 2014

 

8512791101.jpg   41klyfvBdML._BO2,204,203,200_PIsitb-sticker-arrow-click,TopRight,35,-76_AA278_PIkin4,BottomRight,-69,22_AA300_SH20_OU01_.jpg51UivQ2-hWL._BO2,204,203,200_PIsitb-sticker-arrow-click,TopRight,35,-76_AA300_SH20_OU01_.jpg

 

 

 

 

1.     [2014]  Krause, D. [2014], Tópicos em Ontologia Analítica. A aparecer pela Editora da UNESP.

2.     [2014] Schinaider, J. e Krause, D. [2014], . Forthcoming in Manuscrito.

3.     [2014] Krause, D. and Arenhart, J. R. B. [2014], 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). Forthcoming in Metascience.

4.     [2014] Holik, F. H., Gomez, I. and Krause, D. [2014], Quantum Logical Structures For Identical Particles, forthcoming.

5.     [2014]  Krause, D. and Arenhart, J. R. B. [2014], Philosophy of quantum mechanics: quantum (non-)individuality. Forthcoming in UNESCO-EOLSS (Encyclopedia of Life Support Systems).

6.     [2014] Krause, D. and Arenhart, J. R. B. [2014], Logical reflections on the semantic approach. In Béziau, J. –Y., Krause, D. and Arenhart, J. R. B. [2014], Tribute to Patrick Suppes. London: College Pu. (Series Tributes), forthcoming.

7.     [2014] Krause, D. and Arenhart, J. R. B. [2014], Identity in Physics. Verbete na Oxford Bibliographies.

8.     [2014] Krause, D. and Arenhart, J. R. B. [2014], Separability and non-individuality: is it possible to conciliate (at least a form of) Einstein's realism with quantum mechanics?, forthcoming in Foundations of Physics. Published on line: DOI 10.1007/s10701-014-9808-y

9.     [2014] da Costa, N. C. A. and Krause, D. [2014], Inconsistency, Quasi-Truth, and Physics, Synthese, forthcoming. DOI: 10.1007/s11229-014-0472-8

10.  [2014] Arenhart, J. R. B. and Krause, D. [2014], Contradiction, Quantum Mechanics, and the Square of Opposition.

11.  [2014] Arenhart, J. R. B. and Krause, D. [2014], 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. ISBN 978-3-88405-112-2.

12.  [2014] Arenhart, J. R. B. and Krause, D. [2014], From primitive identity to the non-individuality of quantum objects. Studies in History and Philosophy of Modern Physics  Online already, february 2014. http://dx.doi.org/10.1016/j.shpsb.2014.01.004

13.  [2014] Arenhart, J. R. B. and Krause, D. [2014],Why non-individuality? A discussion on individuality, identity, and cardinality in the quantum context”, Erkenntnis 79 (1), 1-18. [preprint] [journal link] (on line already at the journal link).

14.  [2014] Krause, D. [2014], `The problem of identity and a justification for a non-reflexive quantum mechanics’, (on line already) Logic Journal of the IGPL 22 (2), 186-205. (ver)

15.  [2013] Krause, D. e Arenhart, J. R. B. [2013], “Perspectivismo em filosofia da ciźncia: um estudo de caso na física quČntica”, Scientiae Studia 11 (1), 159-83. (ver)

16.   [2013] Arenhart, J. R. B. And Krause, D. [2013],Classical Logic or Non-Reflexive Logic?A case of Semantic Underdetermination”, Revista Portuguesa de Filosofia 68 (1-2), 2012, pp. 73-86. [PDF]

17.  [2013] Arenhart, J. R. B. And Krause, D [2013]., “Uma lógica da indiscernibilidade”, Disputatio 34 (4), 555-573.

18.  [2012] Krause, D. and Arenhart, J. R. B., “A discussion on quantum non-individuality”, Journal of Applied Non-Classical Logic 22 (1-2), pp.105-124. DOI: 10.1080/11663081.2012.682447  (look here) Qualis B1

19.  [2012] Arenhart, J. R. B. e Krause, D., “Indistiguibilidade, nčo-reflexividade, ontologia e física quČntica”, Scientiae Studia 10 (1), 41-69. Qualis A2

20.  [2012] da Costa, N. C. A., Krause, D. Arenhart, J. R. B. e Schinaider, J., “Sobre uma fundamentaćčo nčo-reflexiva da mecČnica quČntica”, Scientiae Studia 10 (1), 71-104. Qualis A2

21.  [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 Epistemiologia. pp. 92–106.

22.  [2011] French, S. and Krause, D. Physics and metaphysics of  identity and individuality. Book Symposium held in the 2010 meeting of the Pacific Division of the American Philosophical Association, Vancouver, CA. With the participation of the authors plus Bas C. van Fraassen, D. Howard and O. Bueno. Metascience 20 (2), 225-251.

23.  [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 Philosophy of Science, 290), pp. 257-267.

24.  [2011] Krause, D., Is Priscilla, the trapped positron, an individual? Quantum physics, the use of names, and individuation. Arbor (Madrid) 187 (747), 2011, 61-66. DOI: 103989/arbor.2011.747n1007. Qualis A2.

25.  [2011] Krause, D., Arenhart, J.R.B. and Moraes, F.T.F., Axiomatization and models of scientific theories. Foundations of Science, 16 (4), 363-382. DOI 10.1007/s10699-011-9226-y Qualis A1.

26.  [2011] 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 Philosophy of Science, 290). ISBN: 978-90-481-9421-6. (Resenha aqui)

27.  [2011] `The quasi-lattice of indiscernible elements”,  M. C. do Nascimento, D. Krause and H. de A. Feitosa, Studia Logica 97, pp. 101-128. (PDF preprint here) Qualis A2.

 

28.  [2010] Domenech, G., Holik, F, Kniznik, L, Krause, D., `No labeling quantum mechanics of indiscernible particles’, International Journal of Theoretical Physics 49 (12), pp. 3085-3091. DOI 10.1007/s10773-009-o220-x Qualis B1.

29.  [2010] French, S. And Krause, D. `Remarks on the theory of quasi-sets’, Studia Logica 95 (1-2), 101-124. DOI: 10.1007/s11225-010-9249-3.Qualis A2.

30.  [2010] Krause, D., `Logical aspects of quantum (non-)individuality’, Foundations of  Science 15 (1), FEB. 2010, 79-94. DOI: 10.1007/s10699-009-9169-8, ISSN (Print) 1233-1821, ISSN (Online) 1572-8471.  Qualis A1.

31.  [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.

32.  [2010] (Editor, with Otávio Bueno): Special Issue of Manuscrito 33(1-2), dedicated to the Philosophy of Physics. Qualis A2.

33.  [2010] Krause, D. & Bueno, O., `Ontological issues in quantum theory’, Manuscrito 33 (1) Jan-Jun, 269-284. ISSN: 0100-6045. Qualis A2.

34.  [2010] da Costa, N. C. A., Krause, D. and Bueno, O., `Issues in the foundations of science, I: languages, structures, and models’, Manuscrito 33 (1) Jan-Jun, 123-142. ISSN: 0100-6045. Qualis A2.

35.  [2010] Krause, D. & Bueno, O., `Filosofia da Física QuČntica: A titulo de prefácio’, Manuscrito 33 (1), Jan-Jun., 7-18. ISSN: 0100-6045. Qualis A2.

36.  [2010] Arenhart, J.R.B. & Krause, D., `Quantifiers and the foundations of quasi-set theory’, Principia (UFSC) 13 (3) 2009, 251-268. ISSN (on line ed): 1808-1711. Qualis B1.

37.  [2010] (Editor): Special issue of Principia 13 (3), 2009, dedicated to the Newton da Costa’s 80th Birthday. Qualis B1.

38.  [2010] (Editor): Special issue of Principia 14 (1), 2010, dedicated to the Newton da Costa’s 80th Birthday. Qualis B1.

39.  [2010] (Editor): Special issue of Principia 14 (2), 2010, dedicated to the Newton da Costa’s 80th Birthday. Qualis B1.

40.  [2010] Arenhart, J. R. B. e Krause, D., `SemČntica quase-conjuntista e compromisso ontológico’, Cognitio (S. Paulo), v.10, n.2, 2009, pp. 191-207. ISSN: 1518-7187.  Qualis B1.

41.  [2010] Krause, D., “Newton da Costa e a filosofia da quase-verdade”, Principia 13 (2), 105-128.

 

42.  [2009] Krause, D., `Questões a uma teoria de quase-objetos’, Manuscrito (Campinas) v.32, n.2, 2009, pp. 399-436. ISSN: 0100-6045. Qualis A2.

43.  [2009] Krause, D., “Newton da Costa e a filosofia da quase-verdade”, Principia 13 (2), 2009, 105-128. Qualis B1.

44.  [2009] Krause, D. and 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, pp. 369-388. ISBN: 978-1-904987-78-9.

45.  [2009] (Abstract) Krause, D. and Feitosa, H. de A., `Algebraic aspects of quantum indiscernibility’, The Bulletin of Symbolic Logic 15 (3) Sept. 2009, p. 359. Qualis A1.

 

46.  [2008] “Individualidade de objetos físicos e lógica”, em 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.

47.  [2008] Krause, D., “Física e Ontologia”, Discusiones Filosóficas AĖo 9 Nľ 12, Enero – Junio, 2008. pp. 57–74. ISBN 0124-6127 Qualis B2.

48.  [2008] Krause, D. “A negaćčo clássica”,  O Que Nos Faz Pensar 23 (Junho 2007), 31-39.  (PDF) Qualis B1.

49.  [2008] Domenech, G., Holik, F. and Krause, D., “Q-spaces and the foundations of quantum mechanics”, Foundations of Physics 38 (11) Nov. 2008, 969-994. DOI: 10.1007/s10701-008-9246-9 (look here) Qualis A2.

50.  [2008] Krause, D. e Becker, J., "Identidade, Individualidade e Quase-Conjuntos", Revista Eletrônica Informaćčo e Cognićčo (ISSN 1807-8281) vol 2, 2008, 25-39.  (search here)

51.  [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. (look here)

52.  [2008] Krause, D. and Bueno, O., "Scientific theories, models, and the semantic approach", Principia 11 (2), 2007, 187-201. (look here) Qualis B1.

53.  [2008] Braida, C. R. e Krause, D., Ontologia II, Florianópolis, UFSC/EAD, 2008. ISBN 978-85-61484-06-4, 291pp.

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

55.  [2008] (Abstract) Krause, D. and Bueno, O., “Paraconsistent Quasi-Set Theory”, IV World Congress on Paraconsistency (July 13-18, Melbourne, Australia (download as a PDF file)

 

56.  [2007] da Costa, N. C. A. and Krause, D., "Logical and Philosophical Remarks on Quasi-Set Theory", Logic Journal of the IGPL, v. 15, p. 1-20, 2007. (look here)

57.  [2007] da Costa, N. C. A., Krause, D. and Bueno, O., "Paraconsistent logics and paraconsistency", 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 Philosophy of Science,  v. 5, p. 655-781.

58.  [2007] Krause, D. and French, S., ''Quantum sortal predicates", Synthese 2007 154 (3), 417-30. (look here)

59.  [2007] Krause, D. e Becker, J., "Hume, Schrödinger e a individuaćčo de objetos físicos" (com Jonas Becker), Revista Eletrônica Informaćčo e Cognićčo 5 (2), 2006, 59-71 (published in 2007) .  (search here)

60.  [2007]  Krause, D., `Essay Review: "Doubt truth to be a liar"’ (by G. Priest - Oxford: Clarendon Press, 2006, xii + 226 pp., ISBN 978 0 19 926328 8), International Studies for the Philosophy of Science Volume 21, Issue 3 October 2007 , pages 345 - 357 , DOI: 10.1080/02698590701589619.

61.  [2007] Magalhčes, J. C. M. e 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), 2006, 269-291 (publicado em 27.09.2007).

62.  [2007]  (Preface) Carnielli, W. A. and Krause, D.,  "Preface",  as the Editors of the Special Issue of Logic Journal of IGPL (dedicated to the papers presented to the XIV Brazilian Conference on Mathematical Logic - Itatiaia, Rio de Janeiro, April 206).

63.  [2007]  (Preface) Béziau, J. –Y. and Krause, "Preface", as the Editors of "New Trends in the Foundations of Science", special issue of Synthese Vol.154 (3), Feb 2007, 345-347, with papers dedicated to the 80th birthday of Patrick Suppes presented in Florianópolis, Brazil, April 22–23, 2002. (Printed Version).

64.  [2007] (Review) Krause, D., `Essay Review: Enciclopédia de Termos Lógico-Filosóficos’, direcćčo de Jočo Branquinho, Desidério Murcho e Nelson Gonćalves Gomes, Sčo Paulo: Martins Fontes, 2006, 803 pp.,em Crítica  18 Fev. 2007.

 

65.  [2006] French, S. And Krause, D., Identity in Physics: A Historical, Philosophical, and Formal Analysis, Oxford: Oxford Un. Press, 2006.

1.     [Review by James Ladyman], [Review by Justin Pniower], [Review by Kent Staley], [Review by Michela Massimi], [Review by Katherine Hawley]

66.  [2006] da Costa, N. C. A. and 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 2006, 103-120. (PDF)

67.  [2006] Krause, D., "Einstein y la indiscernibilidad", Praxis Filosófica (Nueva Serie) 22, 2006, 113-130. (revista) (pdf).

 

68.  [2005] da Costa, N. C. A. and Krause, D., 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, FAPESP e Discurso Editorial, Sčo Paulo, 2005, 337-362.

69.  [2005] Krause, D., "Una ojeada en las bases ontológicas de la fisica cuántica", Praxis Filosófica 21, Julio-Diciembre 2005, 5-20.

70.  [2005] Krause, D., Sant’Anna, A. S. and Sartorelli, A.,  "On the concept of identity in Zermelo-Fraenkel-like axioms and its relationships with quantum statistics”,   Logique et Analyse Vol.48 No. 189-192, 2005. [Per] http://arxiv.org/abs/math/0106098

71.  [2005] Krause, D., "Separable non individuals", Representaciones Vol.1, No.1, Nov.2005, 21-36.

72.  [2005] Krause, D. and Coelho, A. M. N., "Identity, Indiscernibility, and Philosophical Claims", Axiomathes 15 (2), June 2005, 191-210.

73.  [2005] da Costa, N. C. A. and Krause, D.,  'On a framework for physical theories’, Essay Review do livro de  E.  Scheibe, Between Rationalism and Empiricism: Selected Papers in the Philosophy of Physics, Ed. by B. Falkenburg, Springer-Verlag New York Inc., 2001, viii + 627pp, Studies in History and Philosophy of Modern Physics  36 (1), 2005, pp. 210-217.

74.  [2005] Krause, D.,  'Structures and structural realism', Logic Journal of IGPL 13 (1), 2005, pp. 113-126.

75.  [2005] 'Observaćões sobre a neutralidade ontológica da matemática' (com G. Gelowate e A. M. N. Coelho), Episteme 17 (Jul./Dez.) 2003, pp. 145-157. (Junho 2005).

76.  [2005] (Preface) "Apresentaćčo" do livro Lógica e Direito: Linguagem Jurídica sob Diferentes Paradigmas Lógicos, de Claudia Maria Barbosa, Curitiba: Juruá Editora, 2005, pp.4-6.

 

77.  [2004]  'Complementarity and paraconsistency', com N. C. A. da Costa, em S. Rahman, J. Symons, D.M. Gabbay and J. -P. van Bendegem (eds), Logic, epistemology, and the unity of science, Springer-Verlag, 2004, pp. 557-568 (ver)  

78.  [2004]  'Lógica paraconsistente', Scientific American Brasil, Novembro 2004.

79.  [2004] 'Notas sobre a neutralidade ontológica da matemática', com G. Gelowate e A.M.N.Coelho, em H. A. Feitosa e F.T. Sautter (orgs.), Lógica e Filosofia da Lógica, Vol. 40, Col. CLE, Unicamp, 2004, pp. 173-182.

80.  [2004] 'A metafísica dos quanta: questões lógicas', em H. A. Feitosa e F.T. Sautter (orgs.), Lógica e Filosofia da Lógica, Vol. 39, Col. CLE, Unicamp, 2004, pp. 139-161.

81.  [2004]   'Complementaritate şi paraconsistenţă', tradućčo para o romeno de 'Complementarity and paraconsistency' (com N. C. A. da Costa), in Lucica, I., Gheorghiu, D., Chirila, R., (eds.), Ex falso quodlibet: studi de logica paraconsistenta, Bucareste, Editura Tehnica, 2004, pp. 449-462.

82.  [2004] 'Observaţii asupra aplicaţiilor logicii paraconsistente Ēn fizică', tradućčo para o romeno de 'Remarks on the applications of paraconsistent logic to physics' (com N. C. A. da Costa)(texto), in Lucica, I., Gheorghiu, D., Chirila, R., (eds.), Ex falso quodlibet: studi de logica paraconsistenta, Bucareste, Editura Tehnica, 2004, pp. 463-481.

 

83.  [2003] 'Quantum Vagueness' (with S. French), Erkenntnis 59 (1), 2003, pp. 97-124. (look here)

84.  [2003] 'Newton da Costa, pensador da contradićčo' (with A. S. Sant'Anna and F. A. Doria), Scientific American Brasil , Junho 2003, pp. 22-24. (look here)

85.  [2003] 'The mathematics of non-individuality', Colećčo Documentos, Série Lógica e Teoria da Ciźncia, Instituto de Estudos Avanćados da Universidade de Sčo Paulo, número 46, Marćo 2003. (Texto 418KB)

86.  [2003] 'Why quasi-sets?', Boletim da Sociedade Paranaense de Matemática 20 n. 1/2, 2002, pp. 73-92 (Julho 2003). (look here)

87.  [2003]  'Observaćões sobre a neutralidade ontológica da matemática', (with Geraldo Gelowate and Antonio M. N. Coelho) Caderno de Resumos do Third Principia International Symposium, realizado em Florianópolis, de 8 a 11 de Setembro de 2003, p. 31.

 

88.  [2003] 'Identidade em estruturas: uma aplicaćčo ao problema da  indistinguibilidade de partículas', com A. M. N. Coelho, no Caderno de Resumos do Third Principia International Symposium, realizado em Florianópolis, de 8 a 11 de Setembro de 2003,  pp.40-42.

89.  [2002] Introdućčo aos Fundamentos Axiomáticos da Ciźncia, S. Paulo, EPU, 2002, pp. xii + 211 (ISBN 85-12-79110)

90.  [2002] `An inductive annotated logic" (with N. C. A. da Costa), in W. Carnielli, M. Cogniglio and 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, 2002, Lecture Notes in Pure and Applied Mathematics, n. 228), pp. 213-225. (ISBN 0824708059) (Texto).

91.  [2002] (Abstract) `A solution to Manin's Problem', Abstracts of the American Mathematical Society 23 No. 2 (128), p. 397. (ISSN 0192-5857)

92.  [2002] `Lógica sortal e física quČntica', in Cupani, A. O. e 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. (ISBN 85-87253-07-7)

 

93.  [2001] "Suppes predicate for genetics and natural selection" (with J. C. M. Magalhčes), Journal of Theoretical Biology 209 (2) 2001, pp. 141-153. (ver)

94.  [2001]  "Bibel's Matrix Connection Method in Paraconsistent Logic: General Ideas and Implementation", (with E. F. Nobre and M. A. Musicante), Proceedings of the XXI Internacional Conference Chilean Computer Society, Punta Arenas, Chile, 5-9 Nov. 2001 (IEEE Computer Society Press). Texto, Implementaćčo  (Veja aqui o artigo na IEEE)

95.  [2001] "Axiomatizaćčo da genética e o conceito de gene" (with J. C. M. Magalhčes), em 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, EdUNESP e SBHC, 2000 (publicado em 2001), pp. 451-454.

 

96.  [2000] “Remarks on quantum ontology", Synthese 125 (1/2), 2000, 155-167.

97.  [2000] (Editor, with S. French e F. A. Doria), Synthese 125 (1 e 2), Volume especial em homenagem aos 70 anos do Prof. Newton C. A. da Costa.

98.  [2000] "Newton da Costa: homenagem aos seus 70 anos", Rev. Bras. Fil. 50 (198), 2000, 268-280.

99.  [2000] "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, 1999 (publicado em Dezembro de 2000).

100.               [2000] (Editor) Boletim da Sociedade Paranaense de Matemática, Volume 18, números 1/2, (1998), publicado pela Editora da UFPR em Julho de 2000.

 

101.               [1999] "Set theoretical models for quantum systems" (com N. C. A. da Costa), in Dalla Chiara, M. L., Giuntini, R. and Laudisa, F. (eds.), Language, quantum, music, Kluwer Ac. Pu., 1999, 171-181.

102.                [1999]  "The logic of quanta" (com Steven French), in T. Y. Cao (ed), Conceptual foundations of quantum field theory, Cambridge University Press, 1999, 324-342.

103.                [1999] "Quasi set theory for bosons and fermions" (com A. S. Sant'Anna and A. G. Volkov), Foundations of Physics Letters 12 (1), 1999, 67-79.  http://arxiv.org/abs/quant-ph/9803076

104.               [1999] "Opaque predicates, veiled sets and their logic" (com Steven French), in W. Carnielli and I. M. L. D'Ottavianno (eds), Advances in contemporary logic and computer science, American Mathematical Society (Contemporary Mathematics 235), 1999, 263-274.  arXiv:quant-ph/9810090v1

 

105.                [1998] "Quasi set theories for microobjects: a comparision" (com M. L. Dalla Chiara and R. Giuntini), in E. Castellani (ed), Interpreting bodies: classical and quantum objects in modern physics, Princeton University Press, 1998, 142-152. (Resenha)

106.                [1998]  "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, 1998, 1025-1036.

107.                [1998]  (Editor) Boletim da Sociedade Paranaense de Matemática, Volume 17, números 1/2, (1997), publicado pela Editora da UFPR em 1998.

 

108.               [1997] "An intensional Schrödinger logic" (com N. C. A. da Costa), Notre Dame Journal of Formal Logic 38 (2), 1997, 179-194.

109.               [1997]  "Relativizations of the Principle of Identity" (com J, -Y. Béziau), Journal of the Interested Group in Pure and Applied Logic 5 (3), 1997, 327-338. (look here)

110.               [1997]   "Hidden variables and indistinguishable particles" (com A. S. Sant'Anna), Foundations of Physics Letters 10, 1997, 409-426. http://arxiv.org/abs/quant-ph/9607015

111.               [1997]  "Estruturas em ciźncia" (com J. -Y. Béziau and O. Bueno), Boletim da Sociedade Paranaense de Matemática 17 (1/2), 1997, 91-111.

112.               [1997] (Editor) Boletim da Sociedade Paranaense de Matemática, Volume 16, números 1/2, (1996), publicado pela Editora da UFPR em 1997. 

 

113.               [1996] "Axioms for collections of indistinguishable objects", Logique et Analyse 153-154, 1996, 69-93.

114.               [1996]  "Remarks on individuation, quantum objects and logic", Logique et Analyse 155-156, 1996, 325-33.

115.               [1996]   "Matrix proof method in annotated paraconsistent logic" (com C. A. A. Kaestner), Anais del Primer Congresso Argentino de Ciencias de la Computacíon, Un. Nacional del Sur, de Bahia Blanca, Argentina (5-7 Oct. 1995), Un. Nac. del Sur, 1996, 416-25.

116.               [1996] "Quantum objects are vague objects" (com S. French), Sorites 6, 1996, 21-33. (ver)

117.               [1996]  "Some remarks on sortal logics and physics" (com N. C. A. da Costa and S. French), in Etcheverría, J., de Lorenzo, J. e PeĖa, L. (eds.), Calculemos...matemáticas y libertad: homenaje a Miguel de Sánchez Mazas, Madrid, Trotta, 1996, 159-72.

118.               [1996] (Editor) Boletim da Sociedade Paranaense de Matemática, Volume 15, números 1/2, (1995), publicado pela Editora da UFPR em 1996.

119.               [1996] (Thesis) O Problema de Manin: Elementos para uma Análise Lógica dos Quanta, Universidade Federal do Paraná, Full Professor Thesis.

 

120.               [1995] "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, Colećčo CLE 14, UNICAMP, 1995, 145-55.

121.               [1995] "Vague identity and quantum non-individuality" (with S. French), Analysis 55 (1), 1995, 20-6.

122.               [1995] "A formal framework for quantum non-individuality" (with S. French), Synthese 102, 1995, 195-214.

123.               [1995]   O Problema de Manin: Elementos para uma Análise Lógica dos Quanta, Tese de Professor Titular, Departamento de Matemática, Universidade Federal do Paraná, 1995. (PDF)

 

124.               [1994] "Schrödinger logic" (com N. C. A. da Costa), Studia Logica 53 (4), 1994, 533-50. [PDF]

125.               [1994]   "Non-reflexive logics and the foundations of physics", in Cellucci, C., Di Maio, 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.

 

126.               [1992] "On a quasi-set theory", Notre Dame J. of Formal Logic 33 (3), 1992, 402-11.

127.               [1992] "Algumas observaćões a propósito da reedićčo de `Sistemas Formais Inconsistentes' ", Bol. Soc. Paran. Mat. 11/12 1991/1992, 101-113.

128.               [1992] "Lógica polissortida e o domínio vazio" , Atas a Academia Brasileira de Ciźncias 64 (64), 1992, 409-10

129.               [1992]   "A obra de N. C. A. da Costa em lógica" (com J. M. Abe), Theoria 16-17-18 (VII), 1992, 347-86.

130.               [1992]  "The Schrödinger problem" (com N. C. A. da Costa and S. French), in Bitbol, M. and Darrigol, O. (eds.), Erwin Schrödinger: philosophy and the birth of quantum mechanics, Paris, FrontiŹres, 1992, 445-60.

 

131.               [1991] "Multisets, quasi-sets and Weyl's aggregates", J. Non-Classical Logic 8 (2), 1991, 9-39.

 

 

132.               [1990]    "A `dialetizaćčo' da teoria tradicional da identidade", Bol. Soc. Paran. Mat. 10, 1990, 159-75. 

133.               [1990] "A filosofia da ciźncia de N. C. A. da Costa", Rev. Bras. Fil. 39 (158), 1990, 117-44.

134.               [1990]  (Thesis) Nčo-Reflexividade, Indistinguibilidade e Agregados de Weyl, Tese de Doutoramento, Faculdade de Filosofia, Ciźncias e Letras, Universidade de Sčo Paulo, 1990. PhD Thesis. (look here)

 

135.               [1989] "Aspectos da lógica atual", Rev. Bras. Fil. 38 (155), 1989, 220-37.

 

 

136.               [1987] "O conceito bourbakista de estrutura", Bol. Soc. Paran. Mat. 8, 1987, 77-102.

 

137.               [1983] (Thesis) O Mundo 3 da Matemática: Existźncia, Objetividade e Compreensčo na Formulaćčo da Metodologia e Currículo, Dissertaćčo de Mestrado, Universidade Federal do Paraná, 1983.  Master of Science.(look here)

 

---back---