diff options
| author | grr <grr@lo2.org> | 2024-05-24 19:32:05 -0400 |
|---|---|---|
| committer | grr <grr@lo2.org> | 2024-05-24 19:32:05 -0400 |
| commit | dfdbe26062222723db7ad0a17b593f9d259dfbd1 (patch) | |
| tree | cea965dcd750d9a6050bfdea4ff0de59aa9f1ecd | |
| parent | 3000ac8d1b73360c959cdbb7b8b760018fd28174 (diff) | |
| download | blueprint-dfdbe26062222723db7ad0a17b593f9d259dfbd1.tar.gz | |
that's a typo imho
| -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 |