Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!usc!cs.utexas.edu!sun-barr!cronkite!exodus!orfeo.Eng.Sun.COM!silber
From: silber@orfeo.Eng.Sun.COM (Eric Silber)
Newsgroups: comp.ai.philosophy
Subject: Re: LOGIC AND RELATED STUFF
Message-ID: <15858@exodus.Eng.Sun.COM>
Date: 26 Jun 91 22:33:30 GMT
References: <9106190527.AA17403@lilac.berkeley.edu> <1991Jun26.152830.12273@cis.ohio-state.edu> <1991Jun26.173142.3060@watdragon.waterloo.edu>
Sender: news@exodus.Eng.Sun.COM
Organization: Sun Microsystems, Mt. View, Ca.
Lines: 11

Question:
	If formal logic is viewed as a characterization of a particular type
	of communication/negotiation among a multitude of "agents"
	which compose a reasoning system, then can formal constructs
	like "A->B , A, therefore B", be seen from the standpoint of a 
	communication "paradigm" (sic) which accounts for the 
	"fuzziness" of actual human "reasoning" through a theory of
	faulty transmission, interference etc?  (i.e. a predicate logic
	in which implication involves some kind of communication
	between predicates (rather than some kind of set theoretical
	operations on them?)