Weyl's Quantifiers
Fuente:
arXiv
Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2024
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866915682385395712 |
|---|---|
| author | Toader, Iulian D. |
| author_facet | Toader, Iulian D. |
| contents | I argue against the predominant view of Weyl's interpretation of the logical signs. Drawing on his correctness-first account of mathematical knowledge, I point out that, according to him, quantified statements generate conditional obligations to act in ways that expand the repository of correct judgments. This clarifies Weyl's reasons for rejecting the law of excluded middle, which have nothing to do with what has been attributed to him by the predominant view. I also offer some preliminary thoughts on how to understand conditional obligations generated by statements with nested quantifiers. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2408_08562 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Weyl's Quantifiers Toader, Iulian D. History and Overview Logic I argue against the predominant view of Weyl's interpretation of the logical signs. Drawing on his correctness-first account of mathematical knowledge, I point out that, according to him, quantified statements generate conditional obligations to act in ways that expand the repository of correct judgments. This clarifies Weyl's reasons for rejecting the law of excluded middle, which have nothing to do with what has been attributed to him by the predominant view. I also offer some preliminary thoughts on how to understand conditional obligations generated by statements with nested quantifiers. |
| title | Weyl's Quantifiers |
| topic | History and Overview Logic |
| url | https://arxiv.org/abs/2408.08562 |