-
106Some of the forerunners of quantum theory regarded the basic entities of such theories as 'non-individuals'. One of the problems is to treat collections of such 'things', for they do not obey the axioms of standard set theories like Zermelo- Fraenkel. In this paper, collections of objects to which the standard concept of identity does not apply are termed 'quasi-sets'. The motivation for such a theory, linked to what we call 'the Manin problem', is presented, so as its specific axioms. At the en…Read more
-
30Sobre uma fundamentação não reflexiva da mecânica quânticaScientiae Studia 10 (1): 71-104. 2012.
-
27Paraconsistent logics are logics that can be used to base inconsistent but non-trivial systems. In paraconsistent set theories, we can quan- tify over sets that in standard set theories, if consistent, would lead to contradictions, such as the Russell set, R = fx : x =2 xg. Quasi-set theories are mathematical systems built for dealing with collections of indiscernible elements. The basic motivation for the development of quasi-set theories came from quantum physics, where indiscernible entities …Read more
-
26Is Priscilla, the trapped positron, an individual? Quantum physics, the use of names, and individuationArbor 187 (747): 61-66. 2011.
-
110Uma Lógica da IndistinguibilidadeDisputatio 4 (34): 555-573. 2012.Arenhart_Krause_Uma-logica-da-indistinguibilidade
-
27Indiscernibilidade e identidade em química: aspectos filosóficos e formaisManuscrito 37 (1): 113-160. 2014.
-
Federal University of Santa CatarinaProfessor
University of São Paulo
Department of Philosophy, Languages and Literature, and Human Sciences
PhD, 1990
Florianópolis, Santa Catarina, Brazil
Areas of Specialization
Logic and Philosophy of Logic |
Philosophy of Physical Science |