 anaphora |  assertion |  common knowledge |  compositionality |  conditionals |  contextualism, epistemic |  discourse representation theory |  externalism about the mind |  implicature |  indexicals |  information: semantic conceptions of |  logic: classical |  logic: conditionals |  logic: epistemic |  logic: of belief revision |  logic: second-order and higher-order |  logical form |  mental content: narrow |  mind: computational theory of |  model theory: first-order |  pragmatics |  reference |  scientific realism |  speech acts |  Tarski, Alfred: truth definitions |  type theory: Church’s type theory 