essentialsaltes
Fact-Based Lifeform
- Oct 17, 2011
- 42,578
- 45,687
- Country
- United States
- Faith
- Atheist
- Marital Status
- Legal Union (Other)
I think folk are getting all weird about logic. Saying that logic is true is the same as affirming that the law of noncontradiction is true. Or that the rules of logic are true. To deny these things seems self defeating - especially if you try to use logic to show how untrue logic really is.
The problem with your position is that there is no one thing that can be called "the rules of logic".
There are many different systems of logic, built on different assumptions, but that are consistent.
We assume a particular set of axioms when we set up a logical system, and then truth exists within that system.
It makes no sense to say that "the law of the excluded middle" is true. In some logics it is assumed to be true, and in other logics it is rejected.
Euclidean geometry is not true in some absolute sense. It is a consistent system based on axioms that are assumed to be true. Lobachevskian geometry is likewise based on a set of chosen axioms. And Gaussian geometry. And Aristotelian logic, and Godelian logic, and so on.
The reason all these formal systems are named after people, is that those people set down the set of axioms that they chose to play with.
Upvote
0