Re: Tautologies Then and Now

From: paul (paul8801_at_on-ramp.nl)
Date: 12/13/04 

Date: Mon, 13 Dec 2004 09:30:54 -0500

Chris Menzel <cmenzel@remove-this.tamu.edu> wrote:

>On Mon, 13 Dec 2004 00:44:52 GMT, Stephen Harris said:
>> ...
>> I could have used Modal logic as another counter example; where the
>> term tautology is applied outside of propositional logic.
>
>Hm, nothing I saw in what you quoted supports this claim. Did I miss a
>quote where the validities of propositional modal logic are referred to
>as "tautologies" by someone?

 Stephen seems to see support in any data for his notion that the term
"tautology" is wide ranging. Even after you explained that it is not

http://groups-beta.google.com/group/sci.logic/msg/66d18bd9ec10c304

he responded as if you supported his view and then he goes on
promoting it, frenetically posting hundreds of lines of material.

BTW, I was hoping you might be able to answer my questions to you
http://groups-beta.google.com/group/sci.logic/msg/094ca5c91edc4be8
which may have been lost in Stephen's voluminous postings.

Thanks for your input.

- paul