Logic MOC

Sense and denotation

Given a logical sentence, there are two opposing ways of viewing it

• As its sense (dynamic, syntactic) — as the sequence of instructions encoded in syntax.
  • instructs a Disjunction between and
• As its denotation (infinite, static) — as its idealised final result.
  • denotes the same thing as

Two sentences having the same denotation implies they have the same sense, but the converse is not necessarily true

#state/stub | #lang/en | #SemBr