On Thu, Jun 18, 2015 at 1:51 PM, meekerdb <[email protected]> wrote:
> This is gitting muddled. '2+2=4' is a tautology if the symbols are > given their meaning by Peano's axioms or similar axiom set and rules of > inference. If the symbols are interpreted as the size of specific physical > sets, e.g. my example of fathers and sons, it's not a tautology. > In an equation, ant equation, isn't a tautology then it isn't true. John K Clark -- You received this message because you are subscribed to the Google Groups "Everything List" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/d/optout.
