[图书][B] Identity in physics: A historical, philosophical, and formal analysis
Can quantum particles be regarded as individuals, just like books, tables and people?
According to the'received'view-articulated by several physicists in the immediate aftermath of …
According to the'received'view-articulated by several physicists in the immediate aftermath of …
Belnap's four-valued logic and De Morgan lattices
JM Font - Logic Journal of IGPL, 1997 - academic.oup.com
This paper contains some contributions to the study of Belnap's four-valued logic from an
algebraic point of view. We introduce a finite Hilbert-style axiomatization of this logic, along …
algebraic point of view. We introduce a finite Hilbert-style axiomatization of this logic, along …
An intensional Schrödinger logic
D Krause, NCA da Costa - Notre Dame Journal of Formal Logic, 1997 - projecteuclid.org
We investigate the higher-order modal logic $ S_ {\omega} I $, which is a variant of the
system $ S_ {\omega} $ presented in our previous work. A semantics for that system …
system $ S_ {\omega} $ presented in our previous work. A semantics for that system …
Structural empiricism, again
O Bueno - Scientific structuralism, 2011 - Springer
As is well known, there are two crucial arguments in the realism debate. According to the no-
miracles argument, it would be a miracle if our best scientific theories–namely, those which …
miracles argument, it would be a miracle if our best scientific theories–namely, those which …
Quasi-set theory for bosons and fermions: quantum distributions
D Krause, AS Sant'Anna, AG Volkov - Foundations of Physics Letters, 1999 - Springer
Quasi-set theory provides a mathematical background for dealing with coll ections of
indistinguishable elementary particles. In this paper, we show how to obtain the quantum …
indistinguishable elementary particles. In this paper, we show how to obtain the quantum …
Is Mereology Empirical? Composition for Fermions.
A Caulton - Metaphysics in contemporary physics, 2016 - brill.com
How best to think about quantum systems under permutation invariance is a question that
has received a great deal of attention in the literature. But very little attention has been paid …
has received a great deal of attention in the literature. But very little attention has been paid …
Structures and structural realism
D Krause - Logic Journal of IGPL, 2005 - academic.oup.com
The 'ontic'form of structural realism (OSR), roughly speaking, admits a complete elimination
of the objects in the discourse of scientific theories, leaving us with structures only. As put by …
of the objects in the discourse of scientific theories, leaving us with structures only. As put by …
On the concept of identity in Zermelo-Fraenkel-like axioms and its relationship with quantum statistics
D Krause, AS Sant'Anna, A Sartorelli - Logique et Analyse, 2005 - JSTOR
Georg Cantor said that a set is a collection into a whole of defined and distinct objects. This
intuitive idea is in certain sense grasped by standard set theories, like Zermelo-Fraenkel's …
intuitive idea is in certain sense grasped by standard set theories, like Zermelo-Fraenkel's …
Lógica cuántica, Nmatrices y adecuación: II
Continuando lo probado en Lógica cuántica, Nmatrices y adecuación, I, en este trabajo
discutimos las nociones de adecuación y veritativo-funcionalidad en la lógica cuántica …
discutimos las nociones de adecuación y veritativo-funcionalidad en la lógica cuántica …