|
|
abo wrote:
> Khodaeifar wrote:
> > "abo" <dkfjdklj@xxxxxxxxx> wrote in message
> > news:1159819314.536164.157130@xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
> > >
> > > Khodaeifar wrote:
> > >> Well, I correct my question:
> > >> Is it possible that a "Self-Referential Expression" be a "Sentence "?
> > >>
> > >> I want to say NO to this question; Since a "Sentence" should express a
> > >> "Proposition", true or false,
> > >> but a "Self-Referential Expression" dose not express a "Proposition".
> > >> For instance suppose x as F(x); It is impossible for F(x) to realize as a
> > >> "Sentence",
> > >> because F(x) is equivalent to F(F(F(F(F(.... with no end.
> > >>
> > >> What's your opponion?
> > >
> > > Is "All sentences should express a proposition" a proposition? It
> > > would seem it has reference to itself.
> > >
> > In second order language I say: "All sentences (in first order language)
> > should express a proposition".
>
> Well now you have to give an account of when a sentence is "first
> order" and when it is not, and indeed in general how one determines
> what the order of a sentence is. Normally this is a non-trivial
> enterprise.
"The second is the language in which we 'talk about' the first
language." - Tarski
|
|