Re: Aristotelian syllogistic and monadic FOL

Ken, I did not understand your argument. I realize that your
transcription accords to my result as it does not render A(S,S) a
theorem.- Concerning your remark on a nonempty universe of discourse, I
do not agree with you. IF you want to talk about the semantics of a
predicate logic transcription, THEN the universe of discourse is always
nonempty: this is a peculiarity of the standard semantics of predicate
logic. ( However, I would prefer to stay strictly on the syntax side
of the story). IF, for showing the "Aristotelicity" of your
transcription, you have to assume "(there exists x)(Sx or not Sx)",
then you have to assume this for ANY predicate S, and this is exactly
what we call "existential import". - Please tell me if you would like
to receive a preprint of my paper "Limits of transcribing Aristotelian
into predicate logic".

.