A Proposition Is Logically Provable If and Only If It Is True
Debate Round Forfeited
ssadi has forfeited round #2.
Our system has not yet updated this debate. Please check back in a few minutes for more options.
Time Remaining
00days00hours00minutes00seconds
Voting Style: | Open | Point System: | 7 Point | ||
Started: | 6/9/2017 | Category: | Philosophy | ||
Updated: | 3 years ago | Status: | Debating Period | ||
Viewed: | 1,255 times | Debate No: | 102965 |
Debate Rounds (3)
Comments (8)
Votes (0)
My claim and my opening argument are given in the ultimate, logical sense of "provability." A logically provable proposition is a proposition for which it is logically possible that some proof of the proposition exists.
It's self-evident that if a proposition is logically provable, then it is true. The converse is also true. That is, if a proposition is true, then it is logically provable. The argument for the converse is as follows. Suppose a proposition is true. The true proposition's truth is itself evidence that implies the claim that the proposition is true. The true proposition's exhibition in the real world is further evidence that implies the claim that the proposition is true. Since evidence exists that implies the claim that the proposition is true, the proposition is logically provable. This concludes the argument for the converse. Thus, since the conditional statement "if a proposition is logically provable, then it is true" and its converse are true: A proposition is logically provable if and only if it is true. I thank Instigator for this debate. DEFINITIONS If and only if (iff): "A iff B" means that 1- if A, then B, and 2- if B, then A. Provable: capable of being proven as true or real.[1] RESOLUTION Assume that A and B were as follows: A: a/the proposition is logically provable, and B: the/a proposition is true. Then the resolution is: "A iff B" which means both of the followings: Res.1: If A, then B. Res.2: If B, then A. BOP BOP is fully on Pro, since the resolution is a positive fact claim. REBUTTALS Res.1: If A, then B. Pro barely asserts that Res.1 is "self-evident". 1. Res.1 is the resolution of this debate (i.e., is under question) and needs arguments. "It's self-evident that" is not an argument. 2. "Provable" doesn't mean "proven". So, logically provable doesn't necessarily mean true. 3. Even "logically proven" doesn't necessarily mean "true". For instance, an inductively (logically) proven proposition is not always true (see [2]). E.g., you can compare the concepts of time and space in Classical and Modern physics.[3] Res.2: If B, then A. Pro asserts that if a proposition is supposed to be true (i.e., if B), then its truth is evidence that it is true (i.e., then B proves B) and "since evidence exists ... that the proposition is true (i.e., since B), the proposition is logically provable (i.e., then A)". Shortly, Pro barely asserts that if B, then A, without providing any argument for A. This is just repeating Res.2 of the resolution, and repeating a resolution in a debate doesn't prove the resolution under question. Consider the followings against Res.2. A man (M1) tells another man (M2) something (X) and nobody else hears it. There were no cameras etc. to record the event. M1 immediately dies after that. M2 then claims that X was "Take my car for free". Either M1 said so or didn't. Whatever the truth is, is it logically provable? What about what you dreamed last night? I wish Pro good luck in second round. REFERENCES [1] https://goo.gl... [2] https://goo.gl... [3] https://goo.gl... |
![]() |
"It's self-evident that" is an argument. It's an argument that is used to justify some claims as unproven postulates instead of proven theorems. I think it's self-evident that if a proposition logically can be shown to be true by starting off with truth and invoking some truth preserving principals, then the proposition is true. If you start off right and follow all the rules, you will end right. Thus, if a proposition is logically provable, it is true. You say that "provable" doesn't mean "proven." You're right, in a sense. There is, however, another sense in which "provable" means "proven in theory" or "proven in some possible world." How you go from "provable doesn't mean proven" to "logically provable doesn't necessarily mean true" in your "2." rebuttal is unclear. If you're equating "proven in the actual world" and "true," I disagree with your equation. There may be, and it seems there are, propositions that are not proven in the actual world but are true. You say that an inductively proven proposition is not always true. I say there are no inductively proven propositions. A proof is more than a mere suggestion of the truth of a proposition. It is a certain assurance of the truth of a proposition. Proof is a part of deductive reasoning, not inductive reasoning. I provided two arguments in support of my claim that if a proposition is true, then it's provable. You didn't rebut my second argument. My first argument is not a case of mere reiteration as you seem to think. It is a use of additional concepts and language to support my position. You seemed to attempt to propose a counterexample to my claim that if a proposition is true, then it's provable. But in the end, you awkwardly left off with a question when you could have instead advanced your own position. Whatever the truth is, it is logically provable. The concept of physical information, https://en.wikipedia.org..., and popular belief in science and evidence support my view. This round has not been posted yet. |
![]() |
This round has not been posted yet.
This round has not been posted yet. |
![]() |
This debate has 2 more rounds before the voting begins. If you want to receive email updates for this debate, click the Add to My Favorites link at the top of the page.
If you mean syllogistically sound, then the resolution begs the question."
Exactly.
If you mean logically valid, then the resolution is wrong.
If you mean syllogistically sound, then the resolution begs the question.
There would be no point in accepting this challenge.
You would go about proving the resolution by citing other propositions which are indeed true. So if you think about it like that, it's kind of meta.