[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

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: 21
Thread images: 5

File: endeavour-silhouette-STS-130.jpg (686KB, 6048x4032px) Image search: [Google]
endeavour-silhouette-STS-130.jpg
686KB, 6048x4032px
Is it possible to construct a statement P (in English) such that both P and NOT P are true?
>>
>>9013929
This statement is false.
>>
>>9013929
No.
>>
Yes, it isn't.
>>
>>9013938
This statement isn't false.
>>
>Let R be the set of all sets that are not members of themselves.
It's called a paradox and because it's paradoxical, it's useless in any formal system.
>>
>>9013929
No, because there are no contradictions in reality.
>>
File: 1494060226576.jpg (38KB, 1512x1072px) Image search: [Google]
1494060226576.jpg
38KB, 1512x1072px
You can, constructively, have such a statement, but with the little thing that it's not rue or false. The king of the USA is bald. If it was true, then there would be a king, and similarly for the case in which it is false. Since such a king doesn't exist, you have a statement neither true or false.

But this requires non-classical logic.
>>
File: 1499161782937.jpg (254KB, 1602x1067px) Image search: [Google]
1499161782937.jpg
254KB, 1602x1067px
>>9013938
Let's say 'this statement is false' is P

Since it refers to P, P is true(1) if P is false(-1):

P = -P

Since this equation is P, the solution is very simple. Let False be that which is not True. Since P = -P is not true, it is False. The mistake is not necessarily on the value it assigns to P. You could say: The Bird On This Table has no wings. If there is no bird on this table, the affirmation is false. Similarly, every time P is called, there is a parameter missing, so saying A statement which doesn't exist is either True or False, is False. Since there is a parameter missing, and since you are defining False as anything that is not a True Statement, even Non-statements can be assigned False, so P is false and it remains false because it's not a Statement. Example of similar sequence of words: Fax Phone Is Is, Evaluate()=True.
>>
>>9013968
The king of the USA is bald is false, my friend. This is basic classical logic.
>>
>>9013995
Non-classically you would need to construct a knig to prove he isn't bald.
>>
>>9013949
This
>>
>>9013990

In P, what is the referent of "this statement"?
>>
>>9013929
No, it is not possible. What would be an example of one?
>>
Statements I make are either
(a) all false
..or else
(b) not all true
>>
OP, in the real world, I have a real problem. This isn't just some clever word-play. It's an accurate description of a real condition.

I have a credibility problem. Often, people don't believe me.

Is this statement true? Well....

The more you believe it, the less true it becomes.
The less you believe it, the more true it becomes.
>>
>>9014090
P
>>
>>9013929
yea, a very vague statement
>>
>>9013929
in fact there are more statements that are both true and not true than there are one or the other
>>
>>9013929
op is a faggot
>>
File: Wittgenstein.jpg (55KB, 701x559px) Image search: [Google]
Wittgenstein.jpg
55KB, 701x559px
>>9013929
kys
Thread posts: 21
Thread images: 5


[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.