«EXTENSIONALITY»に関連する英語の本
以下の図書目録から
extensionalityの使いかたを見つけましょう。
extensionalityに関する本と英語文献で使われた文脈を提供するための簡単な抜粋文。
Peter A. French, Theodore Edward Uehling, Howard K. Wettstein. Rosenberg
and Martin attempt (p. 404) to save the extensionality of a causal reading of a
statement such as: (2) The Titanic sank because it struck an iceberg on April 14,
1912, ...
Peter A. French, Theodore Edward Uehling, Howard K. Wettstein, 1979
2
Frege: Philosophy of Language
In any case, there is nothing anywhere in Frege's writings to indicate that NS 128
(u8) he held the principle of extensionality to be false for concepts: indeed, his
doctrine of indirect reference in effect precluded him from acknowledging as ...
3
Axiomatic set theory, Part 2
THE. CONSISTENCY. OF. PARTIAL. SET. THEORY. WITHOUT.
EXTENSIONALITY. P. C. GILMORE 1. Introduction. Consider sets defined over a
universe D. The characteristic function fs of a set S is defined as /s(x)=l ifxeS, = 0
ifx£S, where ...
Dana S Scott Pure Mathematics Symposium Staff
The picture would be simplified if weak extensionality, implying left-extensionality
but not right-extensionality, turned out to be just equivalent to left-extensionality.
Admittedly the proof given of 3.23.1, showing extensionality to imply weak ...
5
The Foundations of Frege's Logic
The Extensionality Thesis Yet this is exactly the view that is implied by what
Frege says in other places. In Section 1 of Grundgesetze, for instance, Frege
considers the expression '(2+3.x2).x', and says that [t]he essence of the
corresponding ...
6
Types, Tableaus, and Gödel’s God
Extensionality says that properties applying to the same objects are identical.
Just as was done with equality in Chapter 5, extensionality is added via axioms.
Throughout this chapter it is, of course, assumed that equality is available. 1.
Adding ...
7
Semantics and Logics of Computation
Although in LF one can identify functional types with H-types, extensionality for
functions is not derivable (from Eeq). Therefore, it has to be included explicitly as
additional rule. 0 LF-signature extension Em for extensionality rules: H-ext HX ...
Andrew M. Pitts, P. Dybjer, 1997
8
Quintessence: Basic Readings from the Philosophy of W.V. Quine
as of (l)-(3) is reconcilable with this policy of extensionality, since whatever
breach of extensionality it prima facie involves is shared by examples like (10)
and attributable to the referential opacity of quotation. We can always switch to
the ...
Willard Van Orman Quine, Roger F. Gibson, 2004
9
Heuristics and Biases: The Psychology of Intuitive Judgment
However, the extensionality assumption is descriptively invalid because
alternative descriptions of the same event often produce systematically different
judgments. The following three examples illustrate this phenomenon and
motivate the ...
Thomas Gilovich, Dale Griffin, Daniel Kahneman, 2002
10
Media/Theory: Thinking about Media and Communications
Shaun Moores draws on ideas from a range of disciplines, and provides an accessible yet challenging guide to ways of thinking about media and communications in modern life.
用語«EXTENSIONALITY»を含むニュース項目
国内外の報道機関が語った内容や、次のニュース項目の文脈から
extensionalityという用語がどのように使われているかを調べてみましょう。
MiG Presents the First 3D Simulator
Its main feature is the higher level of accuracy in imitation of imagery's extensionality, viewed by the pilot from the cockpit. The system produces ... «Aerospace Manufacturing and Design, 11月 11»
Korea: Deep thoughts on last April's by-elections
Through the party's defeat in Gimhae Eul, The PPP members should reflect deeply on the party's popularity and extensionality. As a highly ... «Asian Correspondent, 6月 11»
Stuart Hall: I spray words about like a machine gun. If people say …
You always go to a match aspiring to see an extensionality of the beautiful game. I've come away full of disappointment, welling up with tears, ... «Daily Mail, 4月 10»
Alternative Axioms: NBG Set Theory
**The axiom of Extensionality**: (∀x: x;∈a ⇔ x∈x ⇒ a=b): sets are equal if and only if they have the same members. 3. **The axiom of Class ... «ScienceBlogs, 6月 07»
