Date: Apr 26, 2013 10:24 PM
Author: fom
Subject: Re: Torkel Franzen argues

On 4/24/2013 8:28 PM, Newberry wrote:
> So don't
> tell me that it is all based on manifest truth. In fact I have shown
> in another thread
> that the proof that the truths of first order arithmetic are not
> recursively enumerable is NOT likely to hold if we use Strawson-like
> semantics.

What exactly do you mean by "Strawson-like"
semantics. Did Strawson ever produce a semantic