An Alleged Tension between Non-classical Logics and Applied Classical Mathematics
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2023
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866914650937884672 |
|---|---|
| author | Horvat, Sebastian Toader, Iulian D. |
| author_facet | Horvat, Sebastian Toader, Iulian D. |
| contents | Timothy Williamson has recently argued that the applicability of classical mathematics in the natural and social sciences raises a problem for the endorsement, in non-mathematical domains, of a wide range of non-classical logics. We first reconstruct his argument and present its restriction to the case of quantum logic (QL). Then we show that there is no problematic tension between the applicability of classical mathematical models to quantum phenomena and the endorsement of QL in the reasoning about the latter. Once we identify the premise in Williamson's argument that turns out to be false when restricted to QL, we argue that the same premise fails for a wider variety of non-classical logics. In the end, we use our discussion to draw some general lessons concerning the relationship between applied logic and applied mathematics. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2304_08452 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | An Alleged Tension between Non-classical Logics and Applied Classical Mathematics Horvat, Sebastian Toader, Iulian D. History and Philosophy of Physics Timothy Williamson has recently argued that the applicability of classical mathematics in the natural and social sciences raises a problem for the endorsement, in non-mathematical domains, of a wide range of non-classical logics. We first reconstruct his argument and present its restriction to the case of quantum logic (QL). Then we show that there is no problematic tension between the applicability of classical mathematical models to quantum phenomena and the endorsement of QL in the reasoning about the latter. Once we identify the premise in Williamson's argument that turns out to be false when restricted to QL, we argue that the same premise fails for a wider variety of non-classical logics. In the end, we use our discussion to draw some general lessons concerning the relationship between applied logic and applied mathematics. |
| title | An Alleged Tension between Non-classical Logics and Applied Classical Mathematics |
| topic | History and Philosophy of Physics |
| url | https://arxiv.org/abs/2304.08452 |