Timeline for Metamathematics of buts
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 28, 2021 at 1:36 | comment | added | Noah Schweber | The Francez and Meyer/van der Hoek papers are exactly the sources Humberstone gives re: mathematical treatments of "but" (The Connectives, page 676) in contrast with more linguistic or philosophical sources. Humberstone's tome is my go-to for references of this kind, so I suspect that this indicates a meaningful sparsity of the literature. | |
| Jan 22, 2021 at 0:49 | comment | added | Timothy Chow | Incidentally, the comment by LSpice that looking at the literature on the unexpected hanging paradox might be relevant was correct. The paper by J.-J. Ch. Meyer and W. van der Hoek does discuss that paradox. In fact, searching for papers on the paradox is how I first came across their paper many years ago. | |
| Jan 21, 2021 at 13:09 | comment | added | user5402 | Nissim Francez's contrastive logic. | |
| Jan 21, 2021 at 7:44 | comment | added | arsmath | This is great. I was just thinking about Matt F.'s answer, and wondering if you could sharpen it up by developing a model logic of "expected", when I saw your answer pointing to papers that develop exactly that idea. | |
| Jan 21, 2021 at 4:06 | history | edited | Timothy Chow | CC BY-SA 4.0 |
added 1 character in body
|
| Jan 21, 2021 at 3:59 | history | answered | Timothy Chow | CC BY-SA 4.0 |