Changes

Line 1,319: Line 1,319:  
These statements can be read to say:
 
These statements can be read to say:
   −
# ''j'' thinks ''x'' an icon of ''y'' if and only if there is an ''m'' such that ''j'' thinks ''x'' an instance of ''m'' and ''j'' thinks ''m'' a property of ''y''.
+
:* <math>j\!</math> thinks <math>x\!</math> an icon of <math>y\!</math> if and only if there is an <math>m\!</math> such that <math>j\!</math> thinks <math>x\!</math> an instance of <math>m\!</math> and <math>j\!</math> thinks <math>m\!</math> a property of <math>y.\!</math>.
# ''k'' thinks ''x'' an index of ''y'' if and only if there is an ''n'' such that ''k'' thinks ''x'' a property of ''n'' and ''k'' thinks ''n'' an instance of ''y''.
+
 
 +
:* <math>k\!</math> thinks <math>x\!</math> an index of <math>y\!</math> if and only if there is an <math>n\!</math> such that <math>k\!</math> thinks <math>x\!</math> a property of <math>n\!</math> and <math>k\!</math> thinks <math>n\!</math> an instance of <math>y.\!</math>.
    
Readers who object to the anthropomorphism or the approximation of these statements can replace every occurrence of the verb ''thinks'' with the phrase ''interprets &hellip; as'', or even the circumlocution ''acts in every formally relevant way as if'', changing what must be changed elsewhere.  For the moment, I am not concerned with the exact order of reflective sensitivity that goes into these interpretive linkages, but only with a rough outline of the pragmatic equivalence classes that are afforded by the potential conduct of their agents.
 
Readers who object to the anthropomorphism or the approximation of these statements can replace every occurrence of the verb ''thinks'' with the phrase ''interprets &hellip; as'', or even the circumlocution ''acts in every formally relevant way as if'', changing what must be changed elsewhere.  For the moment, I am not concerned with the exact order of reflective sensitivity that goes into these interpretive linkages, but only with a rough outline of the pragmatic equivalence classes that are afforded by the potential conduct of their agents.
12,080

edits