Timeline for answer to What separates mathematics from logic? Can "mathematical" operations be applied to logical systems? by Speakpigeon
Current License: CC BY-SA 4.0
Post Revisions
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 2, 2020 at 10:31 | comment | added | Speakpigeon | @Conifold 1. "'human deductive thought' is quite faulty" Well, you are welcome to prove this empirically. You could not even prove that you have thoughts!. 2. "people scribe syllogism figures in their heads" Again,you are misreading what I say. I make the distinction in all my answer between logic as the logic of the human mind (or brain), and formal logic, the would-be formal models of it. So, no people don't make syllogisms in their head and I never suggested that they did. | |
| Sep 2, 2020 at 10:22 | comment | added | Speakpigeon | @Conifold I didn't say that logic was "descriptive". Read my other answers, where I make the distinction between logic and formal logic. Here I says: "the only logic we know is the logic of human deductive thought". That does not that make logic "descriptive". Formal logic is descriptive. However, since we only have one logic, we don't have a choice and so it is also prescriptive, unlike definitions in English as English like all natural languages is an open language. But logic is not a language. Formal logic is, but not a natural one. No one speaks formal logic as a mother tongue. | |
| Sep 2, 2020 at 5:14 | comment | added | Conifold | Formal logic is the study of forms of inference, "an attempt to represent or model human deductive thought" is your personal head canon. Even Aristotle did not see logic as merely descriptive, "human deductive thought" is quite faulty, nor did he think that people scribe syllogism figures in their heads when reasoning. And if "formal proofs are done in mathematical logic" I suppose your "formal logic" that models human reasoning is supposed to have informal or semi-formal proofs? Luckily, there is something called "informal logic" already, and it comes much closer to modeling humans. | |
| Sep 1, 2020 at 18:11 | history | edited | Speakpigeon | CC BY-SA 4.0 |
added 5 characters in body
|
| Sep 1, 2020 at 9:56 | history | answered | Speakpigeon | CC BY-SA 4.0 |