No. The point is that you can know a language, but translating the meaning to another can give results that differ from what people ordinarily expect when you don't translate it correctly.That was the whole point of the story, ...to illustrate that the standard truth table for such implications can give results that differ from what people ordinarily expect. — Michael Ossipoff
Exactly. The sign is written as an IF-THEN statement. IF you give the clerk $5000, THEN you receive the diamond. IF-THEN-(ELSE) is how we make ANY decision.A computer program doesn't interpret an "IF...THEN" statement as a logical proposition that a conclusion follows from a premise.
It takes it as an instruction to do something if a certain proposition t is true.
Loosely said, it often takes it as an instruction to make a variable take a certain value if a certain equality, inequality, or proposition is true. ... when the action called for is the execution of an assignment-statement.
...but it can also just specify an action, such as "IF x = a, THEN PRINT(x)" — Michael Ossipoff
Human language is logical.No one is claiming that words always mean the same in logic and in human language. — Michael Ossipoff
.That was the whole point of the story, ...to illustrate that the standard truth table for such implications can give results that differ from what people ordinarily expect.
.No. The point is that you can know a language, but translating the meaning to another can give results that differ from what people ordinarily expect when you don't translate it correctly.
.…you can know a language, but translating the meaning to another can give results that differ from what people ordinarily expect when you don't translate it correctly.
.A computer program doesn't interpret an "IF...THEN" statement as a logical proposition that a conclusion follows from a premise.
.
It takes it as an instruction to do something if a certain proposition t is true.
.
Loosely said, it often takes it as an instruction to make a variable take a certain value if a certain equality, inequality, or proposition is true. ... when the action called for is the execution of an assignment-statement.
.
...but it can also just specify an action, such as "IF x = a, THEN PRINT(x)"
.Exactly. The sign is written as an IF-THEN statement. IF you give the clerk $5000, THEN you receive the diamond. IF-THEN-(ELSE) is how we make ANY decision.
.You simply need to rewrite the sign so that it actually translates correctly.
.You still haven't given us the relationship between giving the clerk $5000 and receiving the diamond. Is it a causal relationship, or what? What does the arrow between p and q actually mean?
.No one is claiming that words always mean the same in logic and in human language.
.Human language is logical.
Outside of mathematics, it is a matter of some controversy as to whether the truth function for material implication provides an adequate treatment of conditional statements in a natural language such as English, i.e., indicative conditionals and counterfactual conditionals. An indicative conditional is a sentence in the indicative mood with a conditional clause attached. A counterfactual conditional is a false-to-fact sentence in the subjunctive mood. That is to say, critics argue that in some non-mathematical cases, the truth value of a compound statement, "if p then q", is not adequately determined by the truth values of p and q. Examples of non-truth-functional statements include: "q because p", "p before q" and "it is possible that p" — Wikipedia
It is not surprising that a rigorously defined truth-functional operator does not correspond exactly to all notions of implication or otherwise expressed by 'if ... then ...' sentences in natural languages. For an overview of some of the various analyses, formal and informal, of conditionals, see the "References" section below. Relevance logic attempts to capture these alternate concepts of implication that material implication glosses over. — Wikipedia
Relevance logic, also called relevant logic, is a kind of non-classical logic requiring the antecedent and consequent of implications to be relevantly related. — Wikipedia
Your "research" seems to be cherry-picked. — Harry Hindu
Get involved in philosophical discussions about knowledge, truth, language, consciousness, science, politics, religion, logic and mathematics, art, history, and lots more. No ads, no clutter, and very little agreement — just fascinating conversations.