Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!swrinde!mips!spool.mu.edu!uwm.edu!ogicse!sequent!muncher.sequent.com!news
From: vandys@sequent.com (Andrew Valencia)
Newsgroups: comp.lang.forth
Subject: Re: THEN controversy
Message-ID: <1991Jun20.145121.28470@sequent.com>
Date: 20 Jun 91 14:51:21 GMT
References: <9106201307.AA23386@ucbvax.Berkeley.EDU>
Sender: news@sequent.com (News on Muncher)
Organization: Sequent Computer Systems, Inc.
Lines: 16

RAYBRO%HOLON@UTRCGW.UTC.COM ("William R Brohinsky", ay) writes:

>I've never liked philosophical logic, primarily because it is not logical.
>(Please, save the flames, this is IMHO!) I spent more time (almost half
>an hour) trying to convince this woman to abandon her agenda and accept
>that programming languages are utterly uninterested in philosophy

Actually, UC Berkeley has a Logic and Methodology course of study which does
a pretty good job of applying the rigor of predicate calculus and metalogic
to some hairy problems in philosophy.  The people coming out of that program
seem to do equally well in both the math and "classic" philosophy fields.
Something we seem to have forgotten is that thinking well is a valuable
activity no matter what field it's applied to.

						Andy Valencia
						vandys@sequent.com