Re: Factoring more beautiful now

James wrote:
"Sebastian Gottschalk" <seppi@xxxxxxxxx> wrote in message news:57d1f2F2d8qtbU1@xxxxxxxxxxxxxxxx
Noman Lapetos wrote:

Then we consider the sentence:

This sentence is not true.

If the sentence is true, then it is not true.

If the sentence is not true, then it is true.

Since every sentence is either true or not true, the paradox continues
as before. A sentence that has the third truth value is not a true
sentence, after all.
Clever stupidity. Why can't a sentence that is neither true nor false
still be a sentence?

One of the ways the "Liar's Paradox" plays out is with dumb wordplay
like you just displayed where you keep using the word "true" in VERY
DIFFERENT WAYS.

Now then, what I've done is simply note that the word "is" is
equivalent to "=" in mathematics.
WRONG.

If something is a thing then that something equals that thing.
= WRONG =
Sorry, but that's right in both grammatical and logical definition.
Equality is defined as being impossible to distinguish wrt. a certain
criteria (the comparator), and identical objects are by definition
indistinguishable by every criteria.

not so, "is" is not symetrical.

The Horse is Brown. The Brown is Horse. ??


Anyway, the paradox mentioned above is trivially solved: The truth value of
this sentence cannot be expressed in the formal language of first-order
logic, and Mr. Goedel proved that. The resulting third boolean value is
commonly called "not decidable".

language is not directly comparable to logic. Logic rests upon assumptions.
Language does not.


???? I would have thought the other way around i.e. language uses many assumptions. I an supposing Logic is used to find truth and therefor can not rest on assumptions (please forgive any abuse of the terminology).

But you say no?
.

Relevant Pages

  • Re: Factoring more beautiful now
    ... indistinguishable by every criteria. ... The Horse is Brown. ... language is not directly comparable to logic. ...
    (sci.crypt)
  • Re: A new definition for Cardinality
    ... criteria of non-creativity must be satisfied. ... Let the source language be the language of the source theory. ... extended theory, equivalent to the formula of the extended language. ...
    (sci.math)
  • new book on the spread of IE
    ... The Horse, the Wheel, and Language: ... remained a tantalizing mystery to linguists, archaeologists, and even ... Language lifts the veil that has long shrouded these original ... "If you want to learn about the early origins of English and related ...
    (sci.lang)
  • Re: new book on the spread of IE
    ... The Horse, the Wheel, and Language: ... remained a tantalizing mystery to linguists, archaeologists, and even ... Language lifts the veil that has long shrouded these original ... "If you want to learn about the early origins of English and related ...
    (sci.lang)
  • Design of a URL encoded language to specify sets of files on a WebDAV server
    ... I'm currently in the process of designing a language which will be used ... There will be a more verbose query language also ... One way of specifying search criteria in MetaFS is by using a dynamic ... Boolean Logic Engine ...
    (comp.lang.python)
Quantcast