From dfdbe26062222723db7ad0a17b593f9d259dfbd1 Mon Sep 17 00:00:00 2001
From: grr <grr@lo2.org>
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(-)
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