🚀 go-pugleaf

In article <1992Nov12.231756.17396@husc3.harvard.edu> zeleny@husc10.harvard.edu (Michael Zeleny) writes:
>>> ....
>>>Let's not put Will off of syllogistic logic, though, please.  There are
>>>too many people graduating as it is without knowing the difference
>>>between "All men are mortal/Socrates is a man -> Socrates is mortal" and
>>>"All men are mortal/Socrates is mortal -> Socrates is a man".
>
>AK:
>>I have not graduated yet, what is the difference?
>
>Validity.  (This is truly depressing.)
>

Very true. In fact, the first form of inference as we know is deduction,
and the second form is actually know as abduction. It is correct that
abduction is not truth preserving, nevertheless, it is a form of inference
used widely in our everyday life. My curiosity for posting stamps from 
my interest on abduction, the non-truth preserving inference, but is used
commonly enough *as if it is truth preserving*.


>AK:
>>Best Regards,
>
>Have you considered a career in feminist computer science?
>

I have not graduated yet, what is feminist computer science?

Best Regards,

Alex Kean <kean@cs.ubc.ca>

Department of Computer Science           
University of British Columbia
6356 Agricultural Road,
Vancouver, British Columbia
Canada V6T 1Z2

Tel: +1 (604)-822-3061
Fax: +1 (604)-822-5485