翻訳と辞書
Words near each other
・ Nongan
・ Nongche
・ Nongcun Guangbo
・ Nongfu Spring
・ Nonggang babbler
・ Nonghin
・ Nonghyup Agricultural Museum
・ Nonghyup Bank
・ Nongjungjo
・ Nonglang
・ Nonglard
・ Nonglin Subdistrict, Guangzhou
・ Nongmaithem Pahari
・ Nongmynsong
・ Nonfinite verb
Nonfirstorderizability
・ Nonformal learning
・ Nonfuture tense
・ Nong
・ Nong Bok District
・ Nong Boua
・ Nong Boua, Bolikhamsai
・ Nong Bua
・ Nong Bua Daeng District
・ Nong Bua District
・ Nong Bua Lamphu
・ Nong Bua Lamphu F.C.
・ Nong Bua Lamphu Province
・ Nong Bua Lamphu Province Stadium
・ Nong Bua Railway Station


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Nonfirstorderizability : ウィキペディア英語版
Nonfirstorderizability
In formal logic, nonfirstorderizability is the inability of an expression to be adequately captured in particular theories in first-order logic. Nonfirstorderizable sentences are sometimes presented as evidence that first-order logic is not adequate to capture the nuances of meaning in natural language.
The term was coined by George Boolos in his well-known paper "To Be is to Be a Value of a Variable (or to Be Some Values of Some Variables)." Boolos argued that such sentences call for second-order symbolization, which can be interpreted as plural quantification over the same domain as first-order quantifiers use, without postulation of distinct "second-order objects" (properties, sets, etc.).
A standard example, known as the ''GeachKaplan sentence'', is:
: Some critics admire only one another.
If ''Axy'' is understood to mean "''x'' admires ''y''," and the universe of discourse is the set of all critics, then a reasonable translation of the sentence into second order logic is:
: \exists X ( \exists x,y (Xx \land Xy \land Axy) \land \exists x \neg Xx \land \forall x\, \forall y (Xx \land Axy \rightarrow Xy))
That this formula has no first-order equivalent can be seen as follows. Substitute the formula (''y'' = ''x'' + 1 v ''x'' = ''y'' + 1) for ''Axy''. The result,
: \exists X ( \exists x,y (Xx \land Xy \land (y = x + 1 \lor x = y + 1)) \land \exists x \neg Xx \land \forall x\, \forall y (Xx \land (y = x + 1 \lor x = y + 1) \rightarrow Xy))
states that there is a nonempty set which is closed under the predecessor and successor operations and yet does not contain all numbers. Thus, it is true in all nonstandard models of arithmetic but false in the standard model. Since no first-order sentence has this property, the result follows.
== See also ==

* Plural quantification
* Reification (linguistics)
* Branching quantifier
* Generalized quantifier

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Nonfirstorderizability」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.