FOM: difference, structure, congruence

Leo Harrington leo at math.berkeley.edu
Wed Mar 18 16:52:24 EST 1998


	Vaughan Pratt has asked for a rephrasing of the last
paragraph of the posting: difference, structure, congruence.
	Let me say that I am glad he asked that question, since:

	Notice that the last paragraph is preceded by the 
capitalized word `BUT'.
	The capitalized word `BUT' also appears earlier in the posting.
	The two instances of `BUT' are each followed by a paragraph; one
of these paragraphs is the one for which a rephrasing has been asked.
	The two paragraphs are different (the first has 4 lines, the
second 3); but are they congruent?
	If they are, then we might have established the existence
of the desired rephrasing.


---------
PS	Vaughan, you conclude with:

>Reason I ask is that the context seems to make me the singleton and Steve
>the doubleton.  It would disturb me to cogitare Steve est et non sum.

I think it would disturb Steve if you were not disturbed.  
	In the context (ie see the paragraph following the line
`The current conversation about boolean algebras and boolean rings'), 

as the doubleton, Steve is in the role of one who would "bring
something into existence"; as the singleton you are in the role of one
involved with "the treatment of the thing" granted its existence.
	But don't worry, in the context: cogitare Steve est ergo sum.
	



More information about the FOM mailing list