diff options
Diffstat (limited to 'essays/post_formalism_memories.tex')
| -rw-r--r-- | essays/post_formalism_memories.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/essays/post_formalism_memories.tex b/essays/post_formalism_memories.tex index a161ac9..6f7d45b 100644 --- a/essays/post_formalism_memories.tex +++ b/essays/post_formalism_memories.tex @@ -420,7 +420,7 @@ beginning with a system in an $M^*$-Memory. A \term{sentence} is a possible method, an $A_{a_i}$. with respect to an $M^*$-Memory. The sentence $A_{a_p}$ \enquote{\term{implies}} the sentence $A_{a_q}$ if and only if the $a_q$th $M^*$-assertion is actually thought; and either $A_{a_q} = A_{a_p}$, or else there is -cross-method contact of a mental state in $A_{a_q}$ with a state in $A_{q_p}$\footnote{sic?} +cross-method contact of a mental state in $A_{a_q}$ with a state in $A_{a_p}$. The \term{axioms} must be chosen from sentences which satisfy two conditions. The mental states in the sentences must have cross-method contact |