[Boards: 3 / a / aco / adv / an / asp / b / bant / biz / c / can / cgl / ck / cm / co / cock / d / diy / e / fa / fap / fit / fitlit / g / gd / gif / h / hc / his / hm / hr / i / ic / int / jp / k / lgbt / lit / m / mlp / mlpol / mo / mtv / mu / n / news / o / out / outsoc / p / po / pol / qa / qst / r / r9k / s / s4s / sci / soc / sp / spa / t / tg / toy / trash / trv / tv / u / v / vg / vint / vip / vp / vr / w / wg / wsg / wsr / x / y ] [Search | Free Show | Home]

Logic is contradictory

This is a blue board which means that it's for everybody (Safe For Work content only). If you see any adult content, please report it.

Thread replies: 5
Thread images: 2

File: 1491703886687.jpg (14KB, 421x465px) Image search: [Google]
1491703886687.jpg
14KB, 421x465px
proof:

P1. Assume the laws of logic are true.
P2. All propositions are either true or false (Law of Excluded Middle, P1).
P3. The proposition “This proposition is false” is neither true nor false.
P4. There exists some proposition that is neither true nor false (P3, Existential Generalization)
P5. It is not the case that all propositions are either true or false (P4, Change Quantifier)
P6. It both is and is not the case that all propositions are either true or false (P2, P5 Conjunction).
C. Therefore the laws of logic are not true (1-6 Indirect Proof)

Logic BTFO
>>
>>3354337
bump
>>
>>3354337
reality isn't composed of platonic forms kiddo
>>
>>3354337
> The proposition "This proposition is false."
Is not infact a proposition but a description of a proposition/a statement about one. An english teacher would tell you that you have not described the subject. What is the proposition you are talking about when you say it is false, what is "this proposition"? If you try to write it out, you will not be able to because you infact have no subject. So you are trying to apply logic to something that is incomplete and cannot make sense.

Its like saying "This thing is red. Prove that it isn't." We can't because you have not assigned a definition to "This thing."
>>
File: d3fc2ff48c1c98f3c3cd117797cce9f4.jpg (228KB, 1080x1080px) Image search: [Google]
d3fc2ff48c1c98f3c3cd117797cce9f4.jpg
228KB, 1080x1080px
>>3354337
But "This proposition is false" isn't a proposition. It's a a statement with no inherent truth value since it doesn't define what "this proposition" is.
Thread posts: 5
Thread images: 2


[Boards: 3 / a / aco / adv / an / asp / b / bant / biz / c / can / cgl / ck / cm / co / cock / d / diy / e / fa / fap / fit / fitlit / g / gd / gif / h / hc / his / hm / hr / i / ic / int / jp / k / lgbt / lit / m / mlp / mlpol / mo / mtv / mu / n / news / o / out / outsoc / p / po / pol / qa / qst / r / r9k / s / s4s / sci / soc / sp / spa / t / tg / toy / trash / trv / tv / u / v / vg / vint / vip / vp / vr / w / wg / wsg / wsr / x / y] [Search | Top | Home]

I'm aware that Imgur.com will stop allowing adult images since 15th of May. I'm taking actions to backup as much data as possible.
Read more on this topic here - https://archived.moe/talk/thread/1694/


If you need a post removed click on it's [Report] button and follow the instruction.
DMCA Content Takedown via dmca.com
All images are hosted on imgur.com.
If you like this website please support us by donating with Bitcoins at 16mKtbZiwW52BLkibtCr8jUg2KVUMTxVQ5
All trademarks and copyrights on this page are owned by their respective parties.
Images uploaded are the responsibility of the Poster. Comments are owned by the Poster.
This is a 4chan archive - all of the content originated from that site.
This means that RandomArchive shows their content, archived.
If you need information for a Poster - contact them.