[lit-ideas] Re: Are all logical possibilities a result of some kind of logica...

  • From: Jlsperanza@xxxxxxx
  • To: lit-ideas@xxxxxxxxxxxxx
  • Date: Wed, 29 Apr 2009 07:45:51 EDT

In a message dated 4/29/2009 7:42:34 A.M.  Eastern Daylight Time, 
Jlsperanza writes:
So we say, 'p & q' is a  tautology.

------ The mechanism behind is not as simple and involves  premise and 
conclusion, and metalogical symbol, 'therefore' or  _ergo_.

The premises are "p" and "q", and "p & q" is the conclusion.  

-----

Another cup of coffee. Urgent.

I think I was  meaning,

"p & q iff q & p" is a  tautology.

-----

The rest of the post has to be understood as  referring to the tautological 
character of the commutativity of  '&'.

A case to consider, which does not work is "Russell and  Whitehead wrote 
the Principia Mathematica". It's ALWAYS, as per first page of  first edition, 
"Whitehead and Russell wrote the Principia Mathematica". The  order of 
authors is not commutative.

JLS  

**************Access 350+ FREE radio stations anytime from anywhere on the 
web. Get the Radio Toolbar! 
(http://toolbar.aol.com/aolradio/download.html?ncid=emlcntusdown00000003)
------------------------------------------------------------------
To change your Lit-Ideas settings (subscribe/unsub, vacation on/off,
digest on/off), visit www.andreas.com/faq-lit-ideas.html

Other related posts: