PAROLE IN INGLESE ASSOCIATE CON «EXTENSIONALITY»
extensionality
logic
extensional
equality
refers
principles
that
judge
objects
equal
they
have
same
external
properties
stands
contrast
concept
intensionality
which
concerned
with
whether
internal
definitions
functionalextensionality
standard
library
proof
assistant
this
module
states
axiom
dependent
functional
expansion
introduces
tactic
apply
extensionality
define
something
extended
addition
four
room
extension
house
additional
period
time
given
meet
obligation
term
wiktionary
mathematics
theory
principle
codified
sets
only
contain
elements
from
wolfram
mathworld
zermelo
fraenkel
asserts
formed
encyclopedia
britannica
moreover
uniquely
determined
flaw
frege
system
uncovered
russell
pointed
some
function
does
make
difference
mathoverflow
yesterday
shocked
discover
statement
functions
domain
satisfy
form
think
typical
instance
axioms
church
formulation
nlab
idea
their
values
every
argument
stanford
basic
note
denote
assume
another
univalence
implies
fact
voevodsky
always
been
mysterious
10 LIBRI IN INGLESE ASSOCIATI CON «EXTENSIONALITY»
Scopri l'uso di
extensionality nella seguente selezione bibliografica. Libri associati con
extensionality e piccoli estratti per contestualizzare il loro uso nella letteratura.
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.
4 NOTIZIE DOVE SI INCLUDE IL TERMINE «EXTENSIONALITY»
Vedi di che si parla nei media nazionali e internazionali e come viene utilizzato il termine ino
extensionality nel contesto delle seguenti notizie.
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, nov 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, giu 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, apr 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, giu 07»
