From newshub.ccs.yorku.ca!ists!helios.physics.utoronto.ca!news-server.ecf!utgpu!jupiter!morgan.ucs.mun.ca!nstn.ns.ca!aunro!ukma!wupost!uunet!mcsun!uknet!edcastle!aiai!jeff Tue Nov 26 12:32:29 EST 1991
Article 1595 of comp.ai.philosophy:
Path: newshub.ccs.yorku.ca!ists!helios.physics.utoronto.ca!news-server.ecf!utgpu!jupiter!morgan.ucs.mun.ca!nstn.ns.ca!aunro!ukma!wupost!uunet!mcsun!uknet!edcastle!aiai!jeff
>From: jeff@aiai.ed.ac.uk (Jeff Dalton)
Newsgroups: comp.ai.philosophy
Subject: Re: Is semiotics an "informal logic"?
Message-ID: <5695@skye.ed.ac.uk>
Date: 25 Nov 91 21:04:46 GMT
References: <rreiner.689479216@yorku.ca> <Veo4aB1w164w@depsych.Gwinnett.COM>
Reply-To: jeff@aiai.UUCP (Jeff Dalton)
Organization: AIAI, University of Edinburgh, Scotland
Lines: 18

In article <Veo4aB1w164w@depsych.Gwinnett.COM> rc@depsych.Gwinnett.COM (Richard Carlson) writes:
>I have been trying to learn Prolog, which is the French AI
>language

That is an extremely odd way of putting it.  Prolog was, in a
sense, invented in France.  But it's not the only AI language
used in France, nor is it used only in France, nor it is regarded
as particularly French.

It looks to me like you're so in the grip of the continental /
anglo-american division in philosophy that you see something
similar too often.

>but Prolog seems to be based pretty much on ordinary
>first order logic of the type taught at Oxford, Cambridge or
>Harvard.

Actually, it's less than first order logic, and also more.


