Seems so far, this axiomatic system conflates ability to actively prove and Truth together. — BB100
What I mean is it says what is true if you can prove it and if not then not priveable. The condition of truth is dependant on provability in a sense. — BB100
This an example of the problems you're looking at. Let me try a metaphor. "If I had an infinite amount of money, I could buy anything. But I do not, therefore there are things I cannot buy." Question: how much does the thing you cannot afford cost? You see the problem, yes?I know that the system accepts Law of Excluded Middle over a finite set boundaries, but not over an infinity. — BB100
The stone in my backyard is truth, or the truth, or a truth? That won't do. If truth is things, and all things differ, then truth is far and away a many. Is that where you want to go?Truth is defined and I assume is defined as what is, or another way of saying, what exists.
What exists must be in compliance to the three laws. You can extrapolate the three laws from the very concept of the meaning exist. — BB100
The idea here is that once you indicate a price, then someone with a non-infinite amount of money could buy it. The point being that the logic of the infinite gets strange, different, and non-intuitive. What works here doesn't work there; and there not here. All in the way of showing that if a question generates a lot of do you mean this or that, then the question needs work. Which is to say that if it's a question that's any good, it needs to be approached before it can be asked.First I would ask whether that money is tradable in the currency exchange system, then say that question requires emperical evidence to solve. — BB100
Contrast this with your "Truth is defined and I assume is defined as what is, or another way of saying, what exists."There is the stone in your backyard. This would be a truth. Just stone would not provide any distinction of what you are saying. — BB100
Get involved in philosophical discussions about knowledge, truth, language, consciousness, science, politics, religion, logic and mathematics, art, history, and lots more. No ads, no clutter, and very little agreement — just fascinating conversations.