Krause, Décio (2023) The underlying logic is mandatory also in discussing the philosophy of quantum physics. [Preprint]
|
Text
Logic_is_mandatory-3.pdf Download (266kB) | Preview |
Abstract
It is supposed that any scientific theory (here we consider physical theories only) has an underlying logic, even if it is not made explicit. The role of the underlying logic of a theory T is mainly to guide the proofs and the accepted consequences of the theory’s principles, usually described by its axioms. In this sense, the theorems of the underlying logic are also theorems of the theory.
In most cases, if pressed, the scientist will say that the underlying logic of most physical theories is classical logic or some fragment of a set theory suitable for accommodating the theory’s mathematical and logical concepts. We argue that no physical theory and no philosophical discussion on the basis of the theory should dismiss its underlying logic, so the arguments advanced by some philosophers of physics in that certain entities (the considered case deals with quantum entities) can be only weakly discerned or be just ‘relationals’ and that they cannot be absolutely identified by a monadic property, are fallacious if one remains within a ‘standard’ logico-mathematical framework, grounded on classical logic. We also discuss the claim that some properties (as those that came from logic) would be ‘illegitimate’ for discerning these entities is not justifiable. Thus, this paper may be interesting for logicians, physicists, and philosophers.
| Export/Citation: | EndNote | BibTeX | Dublin Core | ASCII/Text Citation (Chicago) | HTML Citation | OpenURL |
| Social Networking: |
| Item Type: | Preprint | ||||||
|---|---|---|---|---|---|---|---|
| Creators: |
|
||||||
| Keywords: | quantum objects, relationais, weakly discernibility, absolute discernibility, ZFC,quantum logic | ||||||
| Subjects: | Specific Sciences > Mathematics > Foundations Specific Sciences > Mathematics > Logic Specific Sciences > Physics > Quantum Mechanics |
||||||
| Depositing User: | Prof. Décio Krause | ||||||
| Date Deposited: | 20 Aug 2023 19:46 | ||||||
| Last Modified: | 20 Aug 2023 19:46 | ||||||
| Item ID: | 22436 | ||||||
| Subjects: | Specific Sciences > Mathematics > Foundations Specific Sciences > Mathematics > Logic Specific Sciences > Physics > Quantum Mechanics |
||||||
| Date: | 19 August 2023 | ||||||
| URI: | https://philsci-archive.pitt.edu/id/eprint/22436 |
Monthly Views for the past 3 years
Monthly Downloads for the past 3 years
Plum Analytics
Actions (login required)
 |
View Item |
![[feed]](http://philsci-archive.pitt.edu/style/images/feed-icon-32x32.png){kind=icon}