Timeline for Metamathematics of buts
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 21, 2021 at 0:25 | comment | added | Jason C | I feel like there is a strong argument for "but" and "and" being equivalent in first-order logic, but not in higher order logic: In language, the difference is that "X but Y" implies that there is either a) noteworthy probability of $X \land \neg Y$ or b) contextual relevance to $X \nRightarrow Y$ which isn't communicated with "and". That is: There is significance to $X \nRightarrow Y$. The argument is that "X but Y" implies some extra semantics over "X and Y", but it doesn't add anything that is representable in first-order logic. | |
| Jan 20, 2021 at 17:24 | comment | added | KingLogic | Ok, now I upvoted so you have enough rep to comment. Good answer! | |
| Jan 20, 2021 at 9:10 | review | First posts | |||
| Jan 20, 2021 at 9:12 | |||||
| Jan 20, 2021 at 9:07 | history | answered | Jii | CC BY-SA 4.0 |