Re: truth/falsity of sentences in first-order logic

Charlie-Boo wrote:

What does the definition of how to determine if 1+1=3 is true or not
have to do with models? How would you determine if 1+1=3 and how would
you use models to do that?

1. Find the object in the model which is denoted by the
term "1";
2. find the binary function in the model which is denoted by
the function symbol "+";
3. in this function, find the tuple where the object of step
(1) is in the first two positions (because it's a function,
there is exactly one such tuple);
4. look at the object in the third position of the tuple;
5. compare this object to the object in the model denoted by
the term "3";
6. if the two objects are equal, output "true", else output
"false".

If the model is a model for any conventional arithmetical
theory, then this procedure will actually output "false".


I wouldn't call it one of the most basic concepts

The concept is explained in any first year logic course.

(quantified: What
portion of books or articles that teach logic exclude it?

Depending on what you mean by "teach logic", I'd say 0%.

I could
survey if need be.), but what is the relevance of whether it is basic
or not? It always confounds me that some people like to talk about how
certain things are "basic" or "fundamental" or "elementary"
- what's the point of that?

Suppose I claimed I was an expert in cooking, and that I,
in fact, revolutionized haute cuisine. But then, after
some time, it turns out that I can't even boil an egg.
Would you believe me?

groente
-- Sander
.