Timeline for What is the difference between a model and an interpretation in logic?
Current License: CC BY-SA 4.0
10 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 12 at 3:31 | comment | added | Michael Carey | Yes, it is the same notion of model as used in "A logical constant is a symbol of..." | |
| May 12 at 3:23 | comment | added | Michael Carey | If the interpretation function isn't mentioned explicitly, most likely they mean the standard interpretation. I.E. if it's in the context of Set Theory, we interpret ∈ in the usual way. ( such models are called ∈-models) If it's Arithmetic, we interpret 1,0, <,+ in the usual way etc... | |
| May 12 at 3:02 | comment | added | Michael Carey | The terms are often confused. A model/interpretation for a Language of Predicate Calculus is an Ordered Pair (X,I) where X is a set and I is an interpretation function. A model of a Theory (Set of Sentences) is an interpretation of a Language, which satisfies every sentence in the Theory. | |
| May 11 at 5:56 | comment | added | Mauro ALLEGRANZA | Model is relative to a set T of formulas: it is an interpretation that satisfy all formulas of T. | |
| May 11 at 4:04 | history | became hot network question | |||
| May 11 at 0:54 | vote | accept | lee pappas | ||
| May 10 at 22:49 | answer | added | Bumble | timeline score: 5 | |
| May 10 at 20:22 | history | edited | lee pappas | CC BY-SA 4.0 |
edited body
|
| May 10 at 20:07 | answer | added | Julius Hamilton | timeline score: 2 | |
| May 10 at 19:57 | history | asked | lee pappas | CC BY-SA 4.0 |