[MD] MOQ and Gödel's incompleteness theorems

[Tuukka Virtaperko]

Ham:

You seem to be missing a point that's related to intensions and 
extensions. Let's take the concept of squares as an example. The 
intension of this object is the definition of squares, ie. "all numbers 
that equal an integer multiplied by itself". The extension of this 
object is "1,4,9,16,25..."

You seem to be attempting to use the concept of "reality" as a reference 
to the extension of "reality". What is the intension of this concept?

Perhaps more poetically put: If reality is not a term at all, how can 
you use it as a term?

-Tuukka



18.3.2011 0:38, craigerb at comcast.net kirjoitti:
> [Ham]
>   >  So the correct syllogism
> A. Reality is not a term used to identify it.
>
> B. Reality is that which IS.
>
> C. :. I use Essence (to express what IS).
>
>
>
> Swing...and a miss.
> The syllogism is invalid.  C may be true, but it doesn't follow from A.&  B.
>
>
> Craig
>
>
> Moq_Discuss mailing list
> Listinfo, Unsubscribing etc.
> http://lists.moqtalk.org/listinfo.cgi/moq_discuss-moqtalk.org
> Archives:
> http://lists.moqtalk.org/pipermail/moq_discuss-moqtalk.org/
> http://moq.org/md/archives.html
>