|
Extensionality
In logic, extensionality, or extensional equality, refers to principles that judge objects to be equality (mathematics), equal if they have the same external properties. It stands in contrast to the concept of intensionality, which is concerned with whether the internal definitions of objects are the same. In mathematics The extensional definition of function equality, discussed above, is commonly used in mathematics. A similar extensional definition is usually employed for relation (mathematics), relations: two relations are said to be equal if they have the same Extension (predicate logic), extensions. In set theory, the axiom of extensionality states that two set (mathematics), sets are equal if and only if they contain the same elements. In mathematics formalized in set theory, it is common to identify relations—and, most importantly, function (mathematics), functions—with their extension as stated above, so that it is impossible for two relations or functions with ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Axiom Of Extensionality
The axiom of extensionality, also called the axiom of extent, is an axiom used in many forms of axiomatic set theory, such as Zermelo–Fraenkel set theory. The axiom defines what a Set (mathematics), set is. Informally, the axiom means that the two set (mathematics), sets ''A'' and ''B'' are equal if and only if ''A'' and ''B'' have the same members. Etymology The term ''extensionality'', as used in '''Axiom of Extensionality has its roots in logic. An intensional definition describes the necessary and sufficient conditions for a term to apply to an object. For example: "An even number is an integer which is divisible by 2." An extensional definition instead lists all objects where the term applies. For example: "An even number is any one of the following integers: 0, 2, 4, 6, 8..., -2, -4, -6, -8..." In logic, the Extension (logic), extension of a Predicate (mathematical logic), predicate is the set of all things for which the predicate is true. The logical term was introduce ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Intensionality
In any of several fields of study that treat the use of signs—for example, in linguistics, logic, mathematics, semantics, semiotics, and philosophy of language—an intension is any property or quality connoted by a word, phrase, or another symbol. In the case of a word, the word's definition often implies an intension. For instance, the intensions of the word ''plant'' include properties such as "being composed of cellulose (not always true)", "alive", and "organism", among others. A '' comprehension'' is the collection of all such intensions. Overview The meaning of a word can be thought of as the bond between the ''idea the word means'' and the ''physical form of the word''. Swiss linguist Ferdinand de Saussure (1857–1913) contrasts three concepts: # the ''signifier'' – the "sound image" or the string of letters on a page that one recognizes as the form of a sign # the ''signified'' – the meaning, the concept or idea that a sign expresses or evokes # the ''referent' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Equality (mathematics)
In mathematics, equality is a relationship between two quantities or Expression (mathematics), expressions, stating that they have the same value, or represent the same mathematical object. Equality between and is written , and read " equals ". In this equality, and are distinguished by calling them ''sides of an equation, left-hand side'' (''LHS''), and ''right-hand side'' (''RHS''). Two objects that are not equal are said to be distinct. Equality is often considered a primitive notion, meaning it is not formally defined, but rather informally said to be "a relation each thing bears to itself and nothing else". This characterization is notably circular ("nothing else"), reflecting a general conceptual difficulty in fully characterizing the concept. Basic properties about equality like Reflexive relation, reflexivity, Symmetric relation, symmetry, and Transitive relation, transitivity have been understood intuitively since at least the ancient Greeks, but were not symboli ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Extension (predicate Logic)
The extension of a predicatea truth-valued functionis the set of tuples of values that, used as arguments, satisfy the predicate. Such a set of tuples is a relation. Examples For example, the statement "''d2'' follows the weekday ''d1''" can be seen as a truth function associating to each tuple (''d2'', ''d1'') the value ''true'' or ''false''. The extension of this truth function is, by convention, the set of all such tuples associated with the value ''true'', i.e. By examining this extension, we can conclude that "Tuesday follows the weekday Saturday" (for example) is false. Using set-builder notation, the extension of the ''n''-ary predicate \Phi can be written as :\\,. Relationship with characteristic function If the values 0 and 1 in the range of a characteristic function are identified with the values false and true, respectivelymaking the characteristic function a predicate, then for all relations ''R'' and predicates \Phi the following two statements are equiva ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Set (mathematics)
In mathematics, a set is a collection of different things; the things are '' elements'' or ''members'' of the set and are typically mathematical objects: numbers, symbols, points in space, lines, other geometric shapes, variables, or other sets. A set may be finite or infinite. There is a unique set with no elements, called the empty set; a set with a single element is a singleton. Sets are ubiquitous in modern mathematics. Indeed, set theory, more specifically Zermelo–Fraenkel set theory, has been the standard way to provide rigorous foundations for all branches of mathematics since the first half of the 20th century. Context Before the end of the 19th century, sets were not studied specifically, and were not clearly distinguished from sequences. Most mathematicians considered infinity as potentialmeaning that it is the result of an endless processand were reluctant to consider infinite sets, that is sets whose number of members is not a natural number. Specific ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Logic
Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the study of deductively valid inferences or logical truths. It examines how conclusions follow from premises based on the structure of arguments alone, independent of their topic and content. Informal logic is associated with informal fallacies, critical thinking, and argumentation theory. Informal logic examines arguments expressed in natural language whereas formal logic uses formal language. When used as a countable noun, the term "a logic" refers to a specific logical formal system that articulates a proof system. Logic plays a central role in many fields, such as philosophy, mathematics, computer science, and linguistics. Logic studies arguments, which consist of a set of premises that leads to a conclusion. An example is the argument from the premises "it's Sunday" and "if it's Sunday then I don't have to work" leading to the conclusion "I don't have to wor ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Univalent Foundations
Univalent foundations are an approach to the foundations of mathematics in which mathematical Structuralism (philosophy of mathematics), structures are built out of objects called ''types''. Types in univalent foundations do not correspond exactly to anything in set-theoretic foundations, but they may be thought of as spaces, with equal types corresponding to homotopy equivalent spaces and with equal elements of a type corresponding to points of a space connected by a path. Univalent foundations are inspired both by the old Philosophy of mathematics#Platonism, Platonic ideas of Hermann Grassmann and Georg Cantor and by "category theory, categorical" mathematics in the style of Alexander Grothendieck. Univalent foundations depart from (although are also compatible with) the use of classical predicate logic as the underlying formal Deductive reasoning, deduction system, replacing it, at the moment, with a version of Martin-Löf type theory. The development of univalent foundations is ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Set Theory
Set theory is the branch of mathematical logic that studies Set (mathematics), sets, which can be informally described as collections of objects. Although objects of any kind can be collected into a set, set theory – as a branch of mathematics – is mostly concerned with those that are relevant to mathematics as a whole. The modern study of set theory was initiated by the German mathematicians Richard Dedekind and Georg Cantor in the 1870s. In particular, Georg Cantor is commonly considered the founder of set theory. The non-formalized systems investigated during this early stage go under the name of ''naive set theory''. After the discovery of Paradoxes of set theory, paradoxes within naive set theory (such as Russell's paradox, Cantor's paradox and the Burali-Forti paradox), various axiomatic systems were proposed in the early twentieth century, of which Zermelo–Fraenkel set theory (with or without the axiom of choice) is still the best-known and most studied. Set the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
NLab
The ''n''Lab is a wiki for research-level notes, expositions and collaborative work, including original research, in mathematics, physics, and philosophy, with a focus on methods from type theory, category theory, and homotopy theory. The ''n''Lab espouses the "''n''-point of view" (a deliberate pun on Wikipedia's "neutral point of view") that type theory, homotopy theory, category theory, and higher category theory provide a useful unifying viewpoint for mathematics, physics and philosophy. The ''n'' in ''n''-point of view could refer to either ''n''-categories as found in higher category theory, ''n''-groupoids as found in both homotopy theory and higher category theory, or ''n''-types as found in homotopy type theory. Overview The ''n''Lab was originally conceived to provide a repository for ideas (and even new research) generated in the comments on posts at the ''n''-Category Café, a group blog run (at the time) by John C. Baez, David Corfield and Urs Schreiber. Eventua ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Equality
Equality generally refers to the fact of being equal, of having the same value. In specific contexts, equality may refer to: Society * Egalitarianism, a trend of thought that favors equality for all people ** Political egalitarianism, in which all members of a society are of equal standing * Equal opportunity, a stipulation that all people should be treated similarly * Equality of outcome, in which the general conditions of people's lives are similar * Substantive equality, Equality of outcome for groups * For specific groups: ** Gender equality ** Racial equality * Social equality, in which all people within a group have the same status * Economic inequality * Equality Party (other), several political parties * Consociationalism, in which an ethnically, religiously, or linguistically divided state functions by cooperation of each group's elites Law * Equality before the law, the principle under which all people are subject to the same laws * Equality Act (disambi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Harvard University Press
Harvard University Press (HUP) is an academic publishing house established on January 13, 1913, as a division of Harvard University. It is a member of the Association of University Presses. Its director since 2017 is George Andreou. The press maintains offices in Cambridge, Massachusetts, near Harvard Square, and in London, England. The press co-founded the distributor TriLiteral LLC with MIT Press and Yale University Press. TriLiteral was sold to LSC Communications in 2018. Notable authors published by HUP include Eudora Welty, Walter Benjamin, E. O. Wilson, John Rawls, Emily Dickinson, Stephen Jay Gould, Helen Vendler, Carol Gilligan, Amartya Sen, David Blight, Martha Nussbaum, and Thomas Piketty. The Display Room in Harvard Square, dedicated to selling HUP publications, closed on June 17, 2009. Related publishers, imprints, and series HUP owns the Belknap Press imprint (trade name), imprint, which it inaugurated in May 1954 with the publication of the ''Harvard Guide to ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Synthese
''Synthese'' () is a monthly peer-reviewed academic journal covering the epistemology, methodology, and philosophy of science, and related issues. The name ''Synthese'' (from the Dutch for '' synthesis'') finds its origin in the intentions of its founding editors: making explicit the supposed internal coherence between the different, highly specialised scientific disciplines. Jaakko Hintikka was editor-in-chief from 1965 to 2002. The current editors-in-chief are Otávio Bueno (University of Miami), Wiebe van der Hoek (University of Liverpool), and Kristie Miller (University of Sydney). Editorial decision controversies In 2011, the journal became involved in a controversy over intelligent design. The printed version of the special issue ''Evolution and Its Rivals'', which appeared two years after the online version, was supplied with a disclaimer from the then editors of the journal that "appeared to undermine he authorsand the guest editors". The journal engendered controversy a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
