Can it be called a model if a sentence doesn't hold in it?

  • Context: Undergrad 
  • Thread starter Thread starter Hill
  • Start date Start date
Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
Sign up Log in
1 reply · 1K views
Hill
Messages
867
Reaction score
658
TL;DR
Can it be called a model if a sentence doesn't hold in it?
Consider this example:

1773696966408.webp


It seems that it is incorrect to call ##M_2## a model. Shouldn't it rather be called a structure?
 
Physics news on Phys.org
##M_2## is not a model of ##\Phi## but it is a model of something, so I guess it's ok.
 

Similar threads

Undergrad Cardinality of Theorems vs True Sentences in a Theory
  • WWGD
  • · Replies 7 ·
  • Set Theory, Logic, Probability, Statistics
Replies
7
Undergrad Linear Models vs Nonlinear Models
  • fog37
  • · Replies 22 ·
  • Set Theory, Logic, Probability, Statistics
Replies
22
Graduate Continuum Hypothesis: Truth and Provability in FOL
  • WWGD
  • · Replies 6 ·
  • Set Theory, Logic, Probability, Statistics
Replies
6
Undergrad [(Linear) Temporal Logic] Are the given sentences consistent or not?
  • s3a
  • · Replies 8 ·
  • Set Theory, Logic, Probability, Statistics
Replies
8
Undergrad Time Series Models vs Models Used for Cross-sectional Data
  • fog37
  • · Replies 14 ·
  • Set Theory, Logic, Probability, Statistics
Replies
14
Undergrad Direct limit of multiverse models of ZFC
  • omega
  • · Replies 2 ·
  • Set Theory, Logic, Probability, Statistics
Replies
2
Graduate Using incorrect models to infer correct ones.
  • FallenApple
  • · Replies 2 ·
  • Set Theory, Logic, Probability, Statistics
Replies
2
Undergrad Cardinality of a set of constant symbols (model theory)
  • nomadreid
  • · Replies 2 ·
  • Set Theory, Logic, Probability, Statistics
Replies
2
Undergrad Repeatability of necessity: number restrictions?
  • nomadreid
  • · Replies 2 ·
  • Set Theory, Logic, Probability, Statistics
Replies
2
Graduate When can transitivity emerge from cycle-suppressing dynamics?
  • DavidMartin
  • · Replies 1 ·
  • Set Theory, Logic, Probability, Statistics
Replies
1