From newshub.ccs.yorku.ca!ists!helios.physics.utoronto.ca!news-server.csri.toronto.edu!rpi!usc!wupost!uunet!mcsun!uknet!edcastle!dcs.ed.ac.uk!arshad Mon Mar  9 18:33:10 EST 1992
Article 4070 of comp.ai.philosophy:
Path: newshub.ccs.yorku.ca!ists!helios.physics.utoronto.ca!news-server.csri.toronto.edu!rpi!usc!wupost!uunet!mcsun!uknet!edcastle!dcs.ed.ac.uk!arshad
>From: arshad@dcs.ed.ac.uk (Arshad Mahmood)
Newsgroups: comp.ai.philosophy
Subject: Re: Semantic and Syntax
Message-ID: <28401@skye.dcs.ed.ac.uk>
Date: 27 Feb 92 11:37:14 GMT
References: <1992Feb24.174823.15344@oracorp.com> <kimhock.82@csar.uucp>
Sender: nnews@dcs.ed.ac.uk
Reply-To: arshad@dcs.ed.ac.uk (Arshad Mahmood)
Organization: Laboratory for the Foundations of Computer Science, Edinburgh U
Lines: 27

In article <kimhock.82@csar.uucp> kimhock@csar.uucp (Ng Kim Hock) writes:
>I have been trying to follow the arguments and exchanges regarding syntax 
>and semantics. I was just trying to draw a parallel with some Mathematics 
>and would like to seek your opinion on the problem.
>
>Supposing I write a=b+c
>
>	In Mathematics, this could be viewed from the point of view of syntax
>	and syntactic rules
>
>	i.e. I know that the symbol + is such that a+b = b+a
>	     and I know that there is a 0 such that a+0 = 0+a = a etc.
>
>Viewed from this angle, it would appear that a purely syntactic approach 

But your system does have a model, and when you talk
about equality you are persumably refferring to this model.

There is of course a well known duality for propositional logic between
model theoretic and purely syntatic statements 
(see Chp. 1 Chang & Keisler "Model Theory").

>Louis Ng Kim Hock

Regards, 
A. Mahmood
Edinburgh U.


