IN SYMBOLS: Grice's UNMARRIED MAN (Is: Bachelor)

Speranza

”Being a bachelor is the same thing as being an unmarried man” is given by identity of terms

(x) Bx <---> Ux & Mx

with B for ’bachelor’, U for ’unmarried’, and M for ’man’ -- all unary predicates.

 

Note the use of "iff"

 

the mark of "REDUCTIVE ANALYSIS", properly understood. Or not!