this post was submitted on 28 Oct 2024
27 points (90.9% liked)
General Discussion
12065 readers
250 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 Communities
Feel free to ask here or over in: !lemmy411@lemmy.ca!
Also keep an eye on:
- !newcommunities@lemmy.world
- !communitypromo@lemmy.ca
- !new_communities@mander.xyz
- !communityspotlight@lemmy.world
- !wowthislemmyexists@lemmy.ca!
For more involved tools to find communities to join: check out Lemmyverse!
💬 Additional Discussion Focused Communities:
- !actual_discussion@lemmy.ca - Note this is for more serious discussions.
- !casualconversation@lemm.ee - The opposite of the above, for more laidback chat!
- !letstalkaboutgames@feddit.uk - Into video games? Here's a place to discuss them!
- !movies@lemm.ee - Watched a movie and wanna talk to others about it? Here's a place to do so!
- !politicaldiscussion@lemmy.world - Want to talk politics apart from political news? Here's a community for that!
Rules
Remember, Lemmy World rules also apply here.
0. See: Rules for Users.
- No bigotry: including racism, sexism, homophobia, transphobia, or xenophobia.
- Be respectful. Everyone should feel welcome here.
- Be thoughtful and helpful: even with ‘silly’ questions. The world won’t be made better by dismissive comments to others on Lemmy.
- Link posts should include some context/opinion in the body text when the title is unaltered, or be titled to encourage discussion.
- Posts concerning other instances' activity/decisions are better suited to !fediverse@lemmy.world or !lemmydrama@lemmy.world communities.
- No Ads/Spamming.
- No NSFW content.
founded 1 year ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
I think there are two problems that make this hard to answer:
Not all sentences that can be parsed grammatically can also be parsed logically.
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.