Timeline for Was logic invented or discovered?
Current License: CC BY-SA 4.0
21 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 17 at 0:14 | vote | accept | user80226 | ||
| Oct 3 at 1:13 | comment | added | Hudjefa | Logic was inventicovered. | |
| Oct 1 at 21:20 | answer | added | Julius Hamilton | timeline score: 0 | |
| Oct 1 at 18:23 | answer | added | Dcleve | timeline score: 1 | |
| Sep 29 at 11:47 | history | edited | J D | CC BY-SA 4.0 |
Tightened up the question by focusing the post to having a primary question and converting all the rest to rhetorical and developmental roles. Feel free to rollback.
|
| Sep 25 at 14:23 | comment | added | tkruse | We can have a single question "were maths, numbers, logic, physics, science, ... discovered or invented?" None of those need any special consideration. Else we could also split, into algebra and analysis, or predicate vs propositional logic and so on. There'd be no end to it. For every number ask whether is was invented or discovered as a new question. | |
| Sep 25 at 13:33 | comment | added | Mauro ALLEGRANZA | See Gila Sher, Is Logic in the Mind or in the World? (Synthese, 2011): "Logic, I believe, like all other branches of knowledge, is grounded both in the mind and in the world, and its two grounds are interconnected. " | |
| Sep 25 at 13:19 | answer | added | Lowri | timeline score: 3 | |
| Sep 25 at 10:39 | answer | added | Speakpigeon | timeline score: 2 | |
| Sep 25 at 10:29 | comment | added | user80226 | @tkruse mathematics and logic are not the same thing. | |
| Sep 25 at 10:25 | review | Close votes | |||
| Oct 2 at 3:09 | |||||
| Sep 25 at 10:05 | comment | added | tkruse | This question is similar to: Is mathematics invented or discovered?. We don't need to copy the same question for all self-consistent frameworks, the answers won't change. | |
| Sep 25 at 9:21 | comment | added | Kristian Berry | We might want to keep in mind options like, "Neither" (if the word "logic" has too many uses to pin the question down tightly) or, "Both" (again, depending on certain variations). | |
| Sep 25 at 6:56 | comment | added | Mauro ALLEGRANZA | For a more traditional approach, see S.C. Kleene, Mathematical Logic (1967), page 3: "Mathematical logic is logic treated by mathematical methods. Logic has the important function of saying what follows from what." | |
| Sep 25 at 6:51 | comment | added | Mauro ALLEGRANZA | "Logic nowadays is generally the study of some logical systems related with mathematics, computer science, articial intelligence or philosophy. These logical systems are sometimes called formal systems and their construction and study is developed using some mathematical tools at various degrees. Most of the time people have lost the more profound idea of what logic is. [...] Logic as an art of reasoning and logic as a logical system are not necessarily the same." 2/2 | |
| Sep 25 at 6:50 | comment | added | Mauro ALLEGRANZA | See: Jean-Yves Béziau, What is a logic? Towards axiomatic emptiness (2010): "What is logic? is a difficult question. In this paper we will tackle the issue through a simpler question What is a logic?. We will explain why we can consider that a logic is a structure without axioms similarly to the case of universal algebra and giving a example of a simple logic obeying none of the standard axioms that however can reasonably be considered as a logic." (logical pluralism). 1/2 | |
| Sep 25 at 6:32 | comment | added | user80226 | @MauroALLEGRANZA You may want to share your thoughts on Conifold's comment above. | |
| Sep 25 at 6:30 | comment | added | Conifold | Those who answer "discovered" are termed logical realists by analogy to mathematical realists (like platonists), see recent Survey of logical realism by Tahko. Sher and Maddy are prominent contemporary defenders:"(1) logic is true of the world because of its underlying structural features, and (2) human beings believe logical truths because their most primitive cognitive mechanisms allow them to detect and represent the aforementioned features of the world." (Maddy). | |
| Sep 25 at 6:00 | comment | added | Sammich | Everything expressed through language is an abstract representation of what it attempts to describe. And what it attempts to describe is the interpreted sense data. Logic is such a way to abstractly represent accumulated sense data. We have to identify a pattern, and attribute logic after the fact. Check out Gödels Incompleteness Theorems for the limits of math and logic. | |
| Sep 25 at 5:57 | comment | added | Mauro ALLEGRANZA | Logic is argumentation, and thus intinsically human. The issue is with the meaning of term "logic": does it mean a sort of "faculty" of the mind, or does it mean a "language"? For sure, there is no "logic" in the outside reality: stones, stars, etc. | |
| Sep 25 at 5:42 | history | asked | user80226 | CC BY-SA 4.0 |