Nonfirstorderizability

From: "Michael De" <mikejde@xxxxxxxxx>
Date: 6 Aug 2005 22:12:59 -0700

To show in general the nonfirorderizability of an English sentence we
translate it into the langauge of (first or second-order) arithmetic
and show that it is true in every nonstandard model but false in the
standard model. I don't understand how this shows an English sentence
(e.g. the Geach-Kaplan one: 'some critics admire only one another')
nonfirstorderizable. What is the relevancy of arithmetic in this
technique?

.

Follow-Ups:
- Re: Nonfirstorderizability
  - From: Michael De
- Re: Nonfirstorderizability
  - From: Keith Ramsay
- Re: Nonfirstorderizability
  - From: Torkel Franzen

Prev by Date: Re: Weird problem
Next by Date: Re: Nonfirstorderizability
Previous by thread: August caption competition
Next by thread: Re: Nonfirstorderizability
Index(es):
- Date
- Thread

Relevant Pages

Re: Nonfirstorderizability
... > To show in general the nonfirorderizability of an English sentence we ... > translate it into the langauge of (first or second-order) arithmetic ... > and show that it is true in every nonstandard model but false in the ... the English sentence cannot be captured in first order logic. ...
(sci.logic)
Re: Nonfirstorderizability
... >> To show in general the nonfirorderizability of an English sentence we ... > the English sentence cannot be captured in first order logic. ... This is how I originally got my interpretation of the technique (from ... models exist and since every first-order sentence has the ...
(sci.logic)