[ 3 / biz / cgl / ck / diy / fa / ic / jp / lit / sci / vr / vt ] [ index / top / reports ] [ become a patron ] [ status ]
2023-11: Warosu is now out of extended maintenance.

/sci/ - Science & Math


View post   

File: 686 KB, 6048x4032, endeavour-silhouette-STS-130.jpg [View same] [iqdb] [saucenao] [google]
9013929 No.9013929 [Reply] [Original]

Is it possible to construct a statement P (in English) such that both P and NOT P are true?

>> No.9013938

>>9013929
This statement is false.

>> No.9013940

>>9013929
No.

>> No.9013949

Yes, it isn't.

>> No.9013959

>>9013938
This statement isn't false.

>> No.9013964

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

>> No.9013967

>>9013929
No, because there are no contradictions in reality.

>> No.9013968
File: 38 KB, 1512x1072, 1494060226576.jpg [View same] [iqdb] [saucenao] [google]
9013968

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.

>> No.9013990
File: 254 KB, 1602x1067, 1499161782937.jpg [View same] [iqdb] [saucenao] [google]
9013990

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

>> No.9013995

>>9013968
The king of the USA is bald is false, my friend. This is basic classical logic.

>> No.9014050

>>9013995
Non-classically you would need to construct a knig to prove he isn't bald.

>> No.9014059

>>9013949
This

>> No.9014090

>>9013990

In P, what is the referent of "this statement"?

>> No.9014092

>>9013929
No, it is not possible. What would be an example of one?

>> No.9014901

Statements I make are either
(a) all false
..or else
(b) not all true

>> No.9015131
File: 38 KB, 768x514, Getty_visual_paradox-550370953-56afa70b3df78cf772c7203e.jpg [View same] [iqdb] [saucenao] [google]
9015131

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.

>> No.9015666

>>9014090
P

>> No.9015945

>>9013929
yea, a very vague statement

>> No.9015950

>>9013929
in fact there are more statements that are both true and not true than there are one or the other

>> No.9016054 [DELETED] 

>>9013929
P v ¬P

>> No.9016084

>>9013929
op is a faggot

>> No.9016201
File: 55 KB, 701x559, Wittgenstein.jpg [View same] [iqdb] [saucenao] [google]
9016201

>>9013929
kys