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
> https://groups.google.com/forum/?hl=en&fromgroups#!topic/sci.logic/lDJcgOg4vco
> 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
theory?