this post was submitted on 28 Oct 2024
27 points (90.9% liked)

General Discussion

12066 readers
5 users here now

Welcome to Lemmy.World General!

This is a community for general discussion where you can get your bearings in the fediverse. Discuss topics & ask questions that don't seem to fit in any other community, or don't have an active community yet.


🪆 About Lemmy World


🧭 Finding CommunitiesFeel free to ask here or over in: !lemmy411@lemmy.ca!

Also keep an eye on:

For more involved tools to find communities to join: check out Lemmyverse!


💬 Additional Discussion Focused Communities:


Rules

Remember, Lemmy World rules also apply here.0. See: Rules for Users.

  1. No bigotry: including racism, sexism, homophobia, transphobia, or xenophobia.
  2. Be respectful. Everyone should feel welcome here.
  3. Be thoughtful and helpful: even with ‘silly’ questions. The world won’t be made better by dismissive comments to others on Lemmy.
  4. Link posts should include some context/opinion in the body text when the title is unaltered, or be titled to encourage discussion.
  5. Posts concerning other instances' activity/decisions are better suited to !fediverse@lemmy.world or !lemmydrama@lemmy.world communities.
  6. No Ads/Spamming.
  7. No NSFW content.

founded 1 year ago
MODERATORS
 

Can a sentence be both true and false in the same sense? - Dialetheism

It might seem nonsensical until one sees the liar's paradox:

This sentence is false.

Using classical logic, this sentence seems to be both true and false. Due to the explosion rule, that implies every sentence. This is absurd, but philosophers don't agree on what has gone wrong here.

Dialetheism is the solution that accepts that it is both true and false and modifies logic to exclude the principle of explosion

@general

all 12 comments
sorted by: hot top controversial new old
[–] GenderNeutralBro@lemmy.sdf.org 11 points 2 weeks ago

I think there are two problems that make this hard to answer:

  1. Not all sentences that can be parsed grammatically can also be parsed logically.

  2. Human-language sentences do not contain all the information needed to evaluate them.

It is impossible to fully separate context from human language in general. The sentence "it is cold" is perfectly valid, and logically coherent, but in order to evaluate it you'd need to draw external information from the context. What is "it"? Maybe we can assume "it" refers to the weather, as that is common usage, but that information does not come from the sentence itself. And since the context here is on the Internet, where there is no understanding of location, we can't really evaluate it that way.

It's hot somewhere, and it's cold somewhere. Does that mean the statement "it is cold" is both true and false, or does that mean there is insufficient information to evaluate it in the first place? I think this is largely a matter of convention. I have no doubt that you could construct a coherent system that would classify such statements as being in a superposition of truth and falsehood. Whether that would be useful is another matter. You might also need a probabilistic model instead of a simple three-state evaluation of true/false/both. I mean, if we're talking about human language, we're talking about things that are at least a little subjective.

So I don't think the question can be evaluated properly without defining a more restrictive category of "sentences". It seems to me like the question uses "sentence" to mean "logical statements", but without a clearer definition I don't know how to approach that. Sentences are not the same as logical statements. If they were, we wouldn't need programming languages :)

Apologies for the half-baked ideas. I think it would take a lifetime to fully bake this.

[–] P00ptart@lemmy.world 9 points 2 weeks ago (2 children)

It's not a logical issue because the sentence itself is nonsense. There's no information in it and isn't proper English. If you have to break a language to invent a paradox, then it likely isn't worthy of consideration to begin with.

[–] jlou@mastodon.social 8 points 2 weeks ago (1 children)

There is information in it. Namely, that it itself is false. It is fully grammatical. Similar sentence are obviously valid such as:

This sentence has five words.

That is a true valid grammatical sentence.

I didn't invent the paradox. Philosophers have been contemplating this paradox for a long time.

The problem it gestures at is very deep and similar paradoxes showed up in the foundations of mathematics in the 20th century. It can't be dismissed easily.

@general

[–] P00ptart@lemmy.world 0 points 2 weeks ago

The sentence refers to a fact that can be true or false, but doesn't refer to any fact in and of itself. Nobody would ever use this sentence outside of grading papers. So the one sentence is grammatically incorrect because it refers to nothing. It's a waste of thought.

[–] CrayonRosary@lemmy.world 7 points 2 weeks ago

Nothing you said is true.

  1. Nonsense. False.
  2. No information. False.
  3. Improper English. False.

This is a very well known sentence that leads to things like Gödel's Incompleteness Theoreom.

If you don't enjoy the philosophy of logic, that's fine, but don't go saying a very famous sentence is improper English.

[–] cy@fedicy.us.to 7 points 2 weeks ago

Under classical logic, a paradox is a result of faulty premises, and proof that the premises cannot be true. It's how you make any logical proof, by assuming the null hypothesis, and showing how it implies A and ¬A. It's true for the liar's paradox, and for Russell's paradox (sorry Russell).

So my conclusion is "This sentence is false" is false. If it was true, then the sentence would be both true and not true. By the contrapositive, "This sentence is false" cannot be true, and cannot be a logical premise.

Never heard of dialetheism.

CC: @general@lemmy.world

[–] BradleyUffner@lemmy.world 4 points 2 weeks ago

"My name is Bradley" is true when spoken by people named Bradley, but false when spoken by people named Amy

[–] Snazz@lemmy.world 3 points 2 weeks ago

When I consider if the sentence is true, it claims to be false which is exclusive with truth, therefore the sentence is not true.

When I consider if the sentence is false, the claim is inverted, so the sentence has to be not false.

I arrived at a conclusion that is the opposite of Dialetheism, with the sentence being neither true nor false.

[–] kbal@fedia.io 1 points 2 weeks ago

The truth of "the opposite of a great truth is also true" does not depend on such paradoxical contrivances.

[–] Bocky@lemmy.world 1 points 2 weeks ago

That rock is cold.

False.

It’s hot.

[–] LouNeko@lemmy.world 1 points 2 weeks ago