Timeline for What is a logic?
Current License: CC BY-SA 2.5
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 14, 2009 at 20:02 | comment | added | Dan Piponi | That is more of a philosophical answer, explaining logic in terms of its external applications. But if I understand correctly, the original question was about what is common to logics internally. Consider, for example, that a large number of useful algebraic structures are in fact algebras, in the sense of universal algebra. This distills out much of what it means for something to be an algebraic structure. Is there something similar for logic? | |
| Dec 14, 2009 at 19:39 | history | edited | Mariano Suárez-Álvarez | CC BY-SA 2.5 |
typo
|
| Dec 14, 2009 at 19:32 | comment | added | alpheccar | Of course, I am not expecting a grand unified theory of logic :-) I am just trying to understand what is the lowest common denominator between all of them and/or the relationships between them. Studying topos theory may not be a bad idea after all ... | |
| Dec 14, 2009 at 19:29 | comment | added | Mariano Suárez-Álvarez | Well, there are places where we do not have clear cut definitions, and we are often forced to reason in them, so the human enterprise of trying to understand those situations better is not entirely devoid of interest! | |
| Dec 14, 2009 at 19:25 | comment | added | Harry Gindi | I feel like the application of formal logic to places where we don't have precise definitions is just sophistry. | |
| Dec 14, 2009 at 19:21 | history | answered | Mariano Suárez-Álvarez | CC BY-SA 2.5 |