From dfdbe26062222723db7ad0a17b593f9d259dfbd1 Mon Sep 17 00:00:00 2001 From: grr Date: Fri, 24 May 2024 19:32:05 -0400 Subject: that's a typo imho --- essays/post_formalism_memories.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'essays/post_formalism_memories.tex') 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 -- cgit v1.2.3