Path: utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!ames!hc!pprg.unm.edu!unmvax!tut.cis.ohio-state.edu!bloom-beacon!apple!voder!pyramid!prls!philabs!linus!mbunix!bwk
From: bwk@mbunix.mitre.org (Barry W. Kort)
Newsgroups: comp.ai
Subject: Re: Fun with the semantics of paradox
Summary: Sprouting the seeds of intuitionist logic.
Keywords: Paradoxes, Undecidability, Analogy
Message-ID: <44583@linus.UUCP>
Date: 6 Feb 89 23:50:35 GMT
References: <1883@buengc.BU.EDU> <2996@uhccux.uhcc.hawaii.edu> <905@ubu.warwick.UUCP> <479@aipna.ed.ac.uk> <1036@hudson.acc.virginia.edu> <3715@uklirb.UUCP> <44071@linus.UUCP> <3091@silver.bacs.indiana.edu> <44270@linus.UUCP> <17219@iuvax.cs.indiana.edu>
Sender: news@linus.UUCP
Reply-To: bwk@mbunix.mitre.org (Barry Kort)
Organization: The TaoLight Zone, Ste. Elsewhen
Lines: 20

In article <17219@iuvax.cs.indiana.edu> dave@duckie.cogsci.indiana.edu
(David Chalmers) writes:

 > In article <44270@linus.UUCP> bwk@mbunix.mitre.org (Barry Kort) writes:

 > > And here we have the seeds of intuitionist logic.
 > 
 > Why?  I guess the intuitionists were happy that unprovable statements 
 > exist, because this was what they had always thought, but for different
 > reasons.  I think that an intuitionist would deny the validity of 
 > "informal provability," though.

I was hoping to propel us into a journey of discovery of intuitionist
logic, a subject which intrigues me (mainly because I barely comprehend
it).  If I understand Kripke's ideas, intuitionist logic admits a powerful
new method of proof based on a formalization of analogy.  I suspect that
intuitionists are reasoning by analogy when they turn up those delicious
true but underivable theorems.

--Barry Kort