> >Formulae are the forms of propositions. Some are sufficiently determined > >so as to be a proposition rendered in symbolic form. Of course, all > >propositions are rendered in symbolic form, when they are put into > >some language or other. Well, I guess I could concretely render > >the proposition "I don't like you" by beating you. Not much > >symbolism there. > > Not necessarily. Certainly there are those who love to be beaten.
Yes. I made this point in a follow-up post about 40 minutes later.
'Even the crows on the roofs caw about the nature of conditionals.'