Hmm, I think I’ve misunderstood you somewhere. By Z_2 you mean “integers modulo 2” (the set {0, 1}), correct? If you want to think of a model as a function from sentences onto {0, 1}, then sentences which map to “0″ in some model are indeed “not in the model”. (This phrasing is uncommon; sentences are not usually referred to as “in” a model. Rather, the model either holds / models / models as true or rejects / does not model / models as false each sentence.)
I thought a model includes both true and false sentences
A sentence is neither true nor false except under consideration of a model. (Sentences true in every model are called “valid”, sentences false in every model are called “refutable”, but even then “truth” is a property assigned to sentences by models.) The sentences that a model models are true according to that model, so it’s tautologically true that a model does not hold any sentences that are “false in” (rejected by) that model.
If, by “true” and “false” you meant “valid” and “refutable”, then note that there are no models which model refutable sentences.
A sentence is neither true nor false except under consideration of a model.
OK, so, if I understand you correctly, the following sequence is sensible, though not standard and probably backward:
We construct a surjective map from a given language+logic to some set.
We designate one element of the image as “1” or “true”.
We construct the preimage of 1, called “provably true sentences”.
We select a subset of the language+logic called a “theory”, based on some external semantic considerations.
The intersection of the theory and the set of provably true sentences is called the model of the theory in the language+logic with the map as given in step 1. (“The” model because to get a different model we have to change the map in step 1.)
This way if a theory is not a subset of the preimage of “1” (i.e. a set of provably true sentences), it is called incomplete, even though the model singled out in the theory by the map in step 1 is complete.
In this analogy, the map is playing the role of “model” (as it assigns sentences to the analog of truth values).
Note that in order for the map to be a model, the map must have certain behavior (whenever both φ and ψ map to 1, φ∧ψ also maps to 1, etc.). In model theory we restrict consideration to maps obeying these laws; if your map strays outside these boundaries then model theory has nothing to say about it.
In model theory, we say that a model is “of” a theory when the model holds true all sentences in the given theory. Thus, in your construction, the preimage of 1 would be the theory of the map (the largest theory that the map is a model of).
If you construct a different theory T that contains sentences not in the preimage of 1, then we would say the map is not a model of T (because there are sentences of T which are not “true” under the map).
The object you’re discussing in pt.5 (the intersection between the theory of a model and some other theory) does not have an obvious analog in model theory.
In this analogy, the map is playing the role of “model” (as it assigns sentences to the analog of truth values).
Hmm, I thought only the preimage of 1 is the model.
in your construction, the preimage of 1 would be the theory of the map (the largest theory that the map is a model of).
But… a theory can include sentences not in the preimage of 1 (undecidable?)… I am confused.
I would instead say that the preimage of 1 is the largest model of the map, and is the model of any “large enough” theory.
Note that in order for the map to be a model, the map must have certain behavior (whenever both φ and ψ map to 1, φ∧ψ also maps to 1, etc.). In model theory we restrict consideration to maps obeying these laws; if your map strays outside these boundaries then model theory has nothing to say about it.
Where are these laws defined? In the logic? In the logic+language? Then the only “valid” maps are those which are homomorphisms (in some sense) from logic(?) to the Z_2 subset (true/false) of the codomain.
I’ve missed something in my explanation of models. Allow me to define them more precisely.
Intuitively, we want an “interpretation” of the sentences generated by a logic+language which assigns each to a truth value. Model theory formalizes this as an object+relation, but we can also look at it as a map from sentences onto Z_2.
Any such means of assigning a sentence to {true, false} (or equivalent) is an “interpretation” of sorts, but not necessarily a model. We reserve the term “model” specifically for not-stupid interpretations (ones where the interpretation maps “x” and “not x” to different values, etc.)
In your construction, when you consider a surjection from sentences to some set and pick one element of the range to be “truth”, you’ve essentially defined an interpretation in a roundabout way. (Every sentence mapped to 1 is true in that interpretation, every sentence mapped elsewhere is false in that interpretation.)
If your interpretation obeys the rules of logic (“x*y” maps to 1 whenever “x” maps to 1 and “y” maps to 1) then it’s a model. Otherwise, model theory doesn’t have much to say about it.
I’m not sure I understand the construct you’re describing: does the above help at all? I’m not sure if I’m answering the right questions.
Don’t worry about decidability in this context, I think it might be confusing things somewhat. The point I was making earlier about completeness is this:
If you consider the set of all sentences as the domain of your map, then a “theory” T is just a subset of the domain of your map. If there are multiple models (functions which obey the rules of the logic) from the set of all sentences onto Z_2 which map the subset of all sentences (theory) T to 1, then T is “incomplete”.
Hmm, I think I’ve misunderstood you somewhere. By Z_2 you mean “integers modulo 2” (the set {0, 1}), correct? If you want to think of a model as a function from sentences onto {0, 1}, then sentences which map to “0″ in some model are indeed “not in the model”. (This phrasing is uncommon; sentences are not usually referred to as “in” a model. Rather, the model either holds / models / models as true or rejects / does not model / models as false each sentence.)
A sentence is neither true nor false except under consideration of a model. (Sentences true in every model are called “valid”, sentences false in every model are called “refutable”, but even then “truth” is a property assigned to sentences by models.) The sentences that a model models are true according to that model, so it’s tautologically true that a model does not hold any sentences that are “false in” (rejected by) that model.
If, by “true” and “false” you meant “valid” and “refutable”, then note that there are no models which model refutable sentences.
OK, so, if I understand you correctly, the following sequence is sensible, though not standard and probably backward:
We construct a surjective map from a given language+logic to some set.
We designate one element of the image as “1” or “true”.
We construct the preimage of 1, called “provably true sentences”.
We select a subset of the language+logic called a “theory”, based on some external semantic considerations.
The intersection of the theory and the set of provably true sentences is called the model of the theory in the language+logic with the map as given in step 1. (“The” model because to get a different model we have to change the map in step 1.)
This way if a theory is not a subset of the preimage of “1” (i.e. a set of provably true sentences), it is called incomplete, even though the model singled out in the theory by the map in step 1 is complete.
Am I off-base completely?
Still a little off base.
In this analogy, the map is playing the role of “model” (as it assigns sentences to the analog of truth values).
Note that in order for the map to be a model, the map must have certain behavior (whenever both φ and ψ map to 1, φ∧ψ also maps to 1, etc.). In model theory we restrict consideration to maps obeying these laws; if your map strays outside these boundaries then model theory has nothing to say about it.
In model theory, we say that a model is “of” a theory when the model holds true all sentences in the given theory. Thus, in your construction, the preimage of 1 would be the theory of the map (the largest theory that the map is a model of).
If you construct a different theory T that contains sentences not in the preimage of 1, then we would say the map is not a model of T (because there are sentences of T which are not “true” under the map).
The object you’re discussing in pt.5 (the intersection between the theory of a model and some other theory) does not have an obvious analog in model theory.
Thank you for your patience!
Hmm, I thought only the preimage of 1 is the model.
But… a theory can include sentences not in the preimage of 1 (undecidable?)… I am confused.
I would instead say that the preimage of 1 is the largest model of the map, and is the model of any “large enough” theory.
Where are these laws defined? In the logic? In the logic+language? Then the only “valid” maps are those which are homomorphisms (in some sense) from logic(?) to the Z_2 subset (true/false) of the codomain.
Thanks again!
I’ve missed something in my explanation of models. Allow me to define them more precisely.
Intuitively, we want an “interpretation” of the sentences generated by a logic+language which assigns each to a truth value. Model theory formalizes this as an object+relation, but we can also look at it as a map from sentences onto Z_2.
Any such means of assigning a sentence to {true, false} (or equivalent) is an “interpretation” of sorts, but not necessarily a model. We reserve the term “model” specifically for not-stupid interpretations (ones where the interpretation maps “x” and “not x” to different values, etc.)
In your construction, when you consider a surjection from sentences to some set and pick one element of the range to be “truth”, you’ve essentially defined an interpretation in a roundabout way. (Every sentence mapped to 1 is true in that interpretation, every sentence mapped elsewhere is false in that interpretation.)
If your interpretation obeys the rules of logic (“x*y” maps to 1 whenever “x” maps to 1 and “y” maps to 1) then it’s a model. Otherwise, model theory doesn’t have much to say about it.
I’m not sure I understand the construct you’re describing: does the above help at all? I’m not sure if I’m answering the right questions.
Don’t worry about decidability in this context, I think it might be confusing things somewhat. The point I was making earlier about completeness is this:
If you consider the set of all sentences as the domain of your map, then a “theory” T is just a subset of the domain of your map. If there are multiple models (functions which obey the rules of the logic) from the set of all sentences onto Z_2 which map the subset of all sentences (theory) T to 1, then T is “incomplete”.
OK, I think I have a clearer picture now, between yours and DavidS’s explanations. I only wish I had a chance to learn it in school. Thanks!