🚀 go-pugleaf

On May 19, 6:40 pm, Newberry <newbe...@ureach.com> wrote:
> Some time ago on sci.crypt I posted some notes about the relationship
> between the logic of pressupositions, occurrence-relevance logic,
> liar's paradox and Gödel's sentence. I have now written an entire
> paper on the subject.
>
> The objective of this paper is to explore the relationship between the
> logic of presupposition and occurrence relevance logic. In section 1
> we recapitulate the logic of presuppositions as proposed by P.F.
> Strawson. In section 2 we note the similarities between the logic of
> presuppositions and occurrence -relevance logic proposed by Richard
> Diaz. In section 3 we recall van Fraassen's solution of Liar's paradox
> based on the logic of presuppositions. In section 4 we ponder the
> similarities between Liar's paradox and Gödel's sentence. Finally in
> section 5 we justify the view that not every sentence has to have a
> truth value.

There's nothing wrong with the arguments being made.  It's not a
question of more accurately understanding English or logic.  The logic
used in the Liar is trivial Propositional Calculus.  The problem is
always overloading the system (English or Set Theory) with more
requirements than a single system can  possibly have.  The only
problem is assuming that the system has the properties given, and then
seeing why this leads to a contradiction.

C-B

> http://xnewberry.tripod.com/Presuppositions_2007_05_19.html