Dcio
Krause
Publications & forthcoming works
Updated April 2014
1. [2014] Krause, D. [2014], Tpicos em Ontologia Analtica. 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 Bziau, 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. Bziau and
K. Gan-Krzywoszynska (eds.), New
Dimensions of the Square of Opposition. Mnchen: 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 cincia: um estudo
de caso na fsica quntica, 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 lgica 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, no-reflexividade, ontologia e fsica quntica, 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 fundamentao no-reflexiva da mecnica quntica,
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 Ao. Florianpolis: NEL/UFSC, v. 10, Coleo 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 posicin de Einstein frente a la indiscernibilidad, in Guerrero Pino, G. (ed.), Einstein:
cientfico y filsofo, Cali: Universidad Del Vale, pp. 125-145. ISBN:
978-958-670-835-7.
32.
[2010] (Editor, with Otvio 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 Fsica Quntica: A titulo de prefcio, 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 Costas 80th Birthday. Qualis B1.
38. [2010] (Editor): Special issue of Principia 14 (1), 2010, dedicated to the
Newton da Costas 80th Birthday. Qualis B1.
39.
[2010] (Editor): Special issue of Principia 14 (2), 2010, dedicated to the Newton da Costas 80th
Birthday. Qualis B1.
40. [2010] Arenhart, J. R. B. e Krause, D., `Semntica quase-conjuntista e compromisso
ontolgico, 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., `Questes 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
DOttaviano, 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 fsicos e lgica, em
Lorenzano, P. y Miguel, H. (eds.),
Filosofa e Historia de la Ciencia en el Cono Sur, Vol. II, Buenos Aires,
C.C.C. Educando, pp. 249-258.
47. [2008] Krause, D., Fsica
e Ontologia, Discusiones Filosficas
Ao 9 N 12, Enero
– Junio, 2008. pp. 57–74. ISBN 0124-6127
Qualis B2.
48. [2008] Krause, D. A negao
clssica, 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 Eletrnica Informao e Cognio
(ISSN 1807-8281) vol 2, 2008, 25-39.
(search
here)
51.
[2008] Krause, D., "Nota sobre o comprometimento ontolgico com
no-indivduos", in R. A. Martins; C. S. Silva; J. M. H. Ferreira; L. A.
P. Martins (eds.), Filosofia e Histria da Cincia do Cone Sul - Seleo
de Trabalhos do 5 Encontro (ISBN 978-1-4357-15), Campinas, AFHIC
(Associao de Filosofia e Histria da Cincia 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, Florianpolis, 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. Dgremont,
L. Keiff and H. Rckert (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,
Schrdinger e a individuao de objetos fsicos" (com Jonas
Becker), Revista Eletrnica Informao e
Cognio 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] Magalhes, J. C. M. e Krause, D., "Teorias
e modelos em gentica de populaes: um exemplo de aplicao do mtodo
axiomtico 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) Bziau, 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 Florianpolis, Brazil, April
22–23, 2002. (Printed Version).
64.
[2007] (Review) Krause, D., `Essay Review: Enciclopdia de Termos Lgico-Filosficos,
direco de Joo Branquinho, Desidrio Murcho e Nelson Gonalves Gomes, So
Paulo: Martins Fontes, 2006, 803 pp.,em Crtica
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
Filosfica (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, Cincia e
Histria: Michel Paty e o Brasil, uma homenagem aos 40 anos de colaborao,
FAPESP e Discurso Editorial, So Paulo, 2005, 337-362.
69.
[2005] Krause, D., "Una ojeada en las bases ontolgicas de la
fisica cuntica", Praxis Filosfica 21, Julio-Diciembre 2005,
5-20.
70.
[2005] Krause, D., SantAnna, 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] 'Observaes sobre a neutralidade ontolgica da
matemtica' (com G. Gelowate
e A. M. N. Coelho), Episteme 17 (Jul./Dez.) 2003, pp.
145-157. (Junho 2005).
76.
[2005] (Preface) "Apresentao"
do livro Lgica e Direito: Linguagem
Jurdica sob Diferentes Paradigmas Lgicos, 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] 'Lgica
paraconsistente', Scientific
American Brasil, Novembro 2004.
79.
[2004] 'Notas sobre a neutralidade ontolgica da matemtica', com G. Gelowate e A.M.N.Coelho, em H. A. Feitosa e
F.T. Sautter (orgs.), Lgica e Filosofia
da Lgica, Vol. 40, Col. CLE, Unicamp, 2004, pp. 173-182.
80.
[2004] 'A metafsica dos quanta: questes lgicas', em H. A. Feitosa e F.T. Sautter (orgs.), Lgica e Filosofia da Lgica, Vol. 39,
Col. CLE, Unicamp, 2004, pp. 139-161.
81.
[2004] 'Complementaritate
şi paraconsistenţă',
traduo 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ă', traduo 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
contradio' (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',
Coleo Documentos, Srie
Lgica e Teoria da Cincia, Instituto de Estudos Avanados da Universidade de
So Paulo, nmero 46, Maro 2003. (Texto
418KB)
86.
[2003] 'Why quasi-sets?', Boletim da
Sociedade Paranaense de Matemtica 20 n. 1/2, 2002, pp. 73-92
(Julho 2003). (look here)
87.
[2003] 'Observaes
sobre a neutralidade ontolgica da matemtica', (with Geraldo Gelowate and Antonio
M. N. Coelho) Caderno de Resumos do
Third Principia International Symposium, realizado em Florianpolis, de 8 a 11 de Setembro de 2003, p. 31.
88.
[2003] 'Identidade em estruturas: uma aplicao ao problema
da indistinguibilidade de partculas', com A. M. N. Coelho, no Caderno de Resumos do Third Principia
International Symposium, realizado em Florianpolis, de 8 a 11 de Setembro de
2003, pp.40-42.
89. [2002] Introduo
aos Fundamentos Axiomticos da Cincia,
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] `Lgica sortal e fsica quntica', in Cupani,
A. O. e Mortari, C. A. (orgs), Linguagem
e Filosofia. Anais do Segundo Simpsio Internacional Principia, NEL/UFSC,
Florianpolis 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. Magalhes), 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,
Implementao
(Veja aqui o
artigo na IEEE)
95.
[2001] "Axiomatizao da gentica e o conceito de gene" (with J. C.
M. Magalhes), em J. L. Goldfarb e M. H. M. Ferraz (orgs.), Anais do VII Seminrio Nacional de Histria
da Cincia e da Tecnologia e VII Reunio da Rede de Intercmbio para a Histria
e Epistemologia das Cincias Qumicas e Biolgicas, 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 lgicos e epistemolgicos
relacionados aos fundamentos da mecnica quntica", Cadernos de Histria e Filosofia da Cincia, 9, n.1-2, srie 3, pp.
147-200, 1999 (publicado em Dezembro de 2000).
100.
[2000] (Editor) Boletim da Sociedade Paranaense de
Matemtica, Volume 18, nmeros 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 Princpio da Complementaridade e a lgica
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 Matemtica, Volume 17, nmeros 1/2, (1997),
publicado pela Editora da UFPR em 1998.
108.
[1997] "An intensional Schrdinger 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. Bziau), 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 cincia" (com J. -Y. Bziau and O. Bueno), Boletim da Sociedade Paranaense de
Matemtica 17 (1/2), 1997, 91-111.
112.
[1997] (Editor) Boletim
da Sociedade Paranaense de Matemtica, Volume 16, nmeros 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 Computacon, 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 Etcheverra, J., de Lorenzo, J. e Pea, L. (eds.), Calculemos...matemticas y libertad:
homenaje a Miguel de Snchez Mazas, Madrid, Trotta, 1996, 159-72.
118.
[1996] (Editor) Boletim da Sociedade
Paranaense de Matemtica, Volume 15, nmeros 1/2, (1995), publicado pela
Editora da UFPR em 1996.
119.
[1996] (Thesis) O Problema de
Manin: Elementos para uma Anlise Lgica 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, Coleo 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 Anlise Lgica dos Quanta, Tese de Professor Titular, Departamento de
Matemtica, Universidade Federal do Paran, 1995. (PDF)
124.
[1994] "Schrdinger 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 observaes a propsito da reedio de
`Sistemas Formais Inconsistentes' ", Bol.
Soc. Paran. Mat. 11/12 1991/1992, 101-113.
128.
[1992] "Lgica polissortida e o domnio vazio" , Atas a
Academia Brasileira de Cincias 64 (64), 1992, 409-10
129.
[1992] "A obra de N.
C. A. da Costa em lgica" (com J. M. Abe), Theoria 16-17-18 (VII), 1992, 347-86.
130.
[1992] "The
Schrdinger problem" (com N. C. A. da Costa and S. French), in Bitbol, M.
and Darrigol, O. (eds.), Erwin
Schrdinger: philosophy and the birth of quantum mechanics, Paris,
Frontires, 1992, 445-60.
131.
[1991] "Multisets, quasi-sets and Weyl's aggregates", J. Non-Classical Logic 8 (2), 1991,
9-39.
132.
[1990]
"A
`dialetizao' da teoria tradicional da identidade", Bol. Soc. Paran. Mat. 10, 1990, 159-75.
133.
[1990] "A filosofia da cincia de N. C. A. da Costa", Rev. Bras. Fil. 39 (158), 1990, 117-44.
134.
[1990] (Thesis)
No-Reflexividade, Indistinguibilidade e Agregados de Weyl, Tese de Doutoramento, Faculdade de
Filosofia, Cincias e Letras, Universidade de So Paulo, 1990. PhD Thesis. (look here)
135.
[1989] "Aspectos da lgica 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 Matemtica: Existncia, Objetividade e Compreenso na
Formulao da Metodologia e Currculo, Dissertao de Mestrado,
Universidade Federal do Paran, 1983.
Master of Science.(look here)