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
Hill
Messages
821
Reaction score
630
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
  • · Replies 7 ·
Replies
7
Views
2K
Undergrad Linear Models vs Nonlinear Models
  • · Replies 22 ·
Replies
22
Views
4K
Graduate Continuum Hypothesis: Truth and Provability in FOL
  • · Replies 6 ·
Replies
6
Views
2K
Undergrad [(Linear) Temporal Logic] Are the given sentences consistent or not?
  • · Replies 8 ·
Replies
8
Views
2K
Undergrad Time Series Models vs Models Used for Cross-sectional Data
  • · Replies 14 ·
Replies
14
Views
3K
Undergrad Direct limit of multiverse models of ZFC
  • · Replies 2 ·
Replies
2
Views
2K
Graduate Using incorrect models to infer correct ones.
  • · Replies 2 ·
Replies
2
Views
1K
Undergrad Cardinality of a set of constant symbols (model theory)
  • · Replies 2 ·
Replies
2
Views
2K
Undergrad Repeatability of necessity: number restrictions?
  • · Replies 2 ·
Replies
2
Views
1K
Graduate When can transitivity emerge from cycle-suppressing dynamics?
  • · Replies 1 ·
Replies
1
Views
343