Timeline for Syntax/semantics conflation leads to infinitary logic
Current License: CC BY-SA 4.0
18 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 3, 2019 at 10:30 | answer | added | Peter LeFanu Lumsdaine | timeline score: 12 | |
| Jan 2, 2019 at 17:18 | vote | accept | Mallik | ||
| Jan 2, 2019 at 11:34 | answer | added | Andrej Bauer | timeline score: 8 | |
| Jan 2, 2019 at 10:23 | history | edited | Andrej Bauer | CC BY-SA 4.0 |
deleted 34 characters in body
|
| Jan 2, 2019 at 3:53 | history | edited | Mallik | CC BY-SA 4.0 |
added 683 characters in body
|
| Jan 2, 2019 at 0:38 | comment | added | Todd Trimble | @Mallik Please do include the quote, as not everyone may have easy access to the paper. | |
| Jan 2, 2019 at 0:37 | history | edited | Todd Trimble | CC BY-SA 4.0 |
added 58 characters in body
|
| Jan 1, 2019 at 22:13 | comment | added | Mallik | @AndrejBauer Actually, Moore provides a reference to Lowenheim, which is probably what you were after: Lowenheim, "Uber Moglichkeiten im Relativkalkul", Math. Annalen, 76 (1915). pp. 450- 459; translated in van Heijenoort (footnote 6), 228-251. | |
| Jan 1, 2019 at 22:10 | history | edited | Mallik | CC BY-SA 4.0 |
added 8 characters in body
|
| Jan 1, 2019 at 22:08 | comment | added | Mallik | @AndrejBauer The reference is to p. 100 of Moore 1980 (philpapers.org/rec/GREBFL). I will include the quote in the original question. | |
| Jan 1, 2019 at 22:06 | comment | added | Mallik | @ToddTrimble Thanks, yes that's the correct link. | |
| Jan 1, 2019 at 16:00 | review | Close votes | |||
| Jan 2, 2019 at 12:47 | |||||
| Jan 1, 2019 at 15:41 | comment | added | Andrej Bauer | Can you give a reference to Löwenheim's requirement? | |
| Jan 1, 2019 at 14:26 | comment | added | Todd Trimble | @none Thanks. Of course the point is really to edit such relevant information into the text, but Malik should confirm or put in the link or fuller citation. | |
| Jan 1, 2019 at 10:15 | comment | added | none | @ToddTrimble probably philpapers.org/rec/GREBFL . | |
| Jan 1, 2019 at 3:24 | comment | added | Todd Trimble | What is Moore 1980? | |
| Jan 1, 2019 at 0:31 | history | edited | Mallik | CC BY-SA 4.0 |
deleted 10 characters in body
|
| Dec 31, 2018 at 19:26 | history | asked | Mallik | CC BY-SA 4.0 |