Search results
Results From The WOW.Com Content Network
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 — the extension of a concept, idea, or sign consists of the things to which it applies, in contrast with its comprehension or intension, which consists very roughly of the ideas, properties, or corresponding signs that are implied ...
Extensionalism, in the philosophy of language, in logic and semantics, is the view that all languages or at least all scientific languages should be extensional.It has been described as the default option for the scientism in the nineteenth century and the result of the application of empiricistic inductive methodology to the problem of semantics.
An explicit listing of the extension, which is only possible for finite sets and only practical for relatively small sets, is a type of enumerative definition. Extensional definitions are used when listing examples would give more applicable information than other types of definition, and where listing the members of a set tells the questioner ...
Extension (model theory) Extension (proof theory) Extension (predicate logic), the set of tuples of values that satisfy the predicate; Extension (semantics), the set of things to which a property applies; Extension by definitions; Extensional definition, a definition that enumerates every individual a term applies to; Extensionality
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 extensional context (or transparent context) is a syntactic environment in which a sub-sentential expression e can be replaced by an expression with the same extension and without affecting the truth-value of the sentence as ...
Semantics links expressions of language to the outside world. Also logical semantics has developed its own structure. Semantic values can be attributed to expressions in basic categories: the reference of an individual name (the "designated" object named by that) is called its extension; and as for sentences, their truth value is their ...
Given a particular attack relation, one can build a graph and reason in a similar way to the abstract argumentation frameworks (use of semantics to build extension, skeptical or credulous inference), the difference is that the information inferred from a logic based argumentation framework is a set of formulae (the consequences of the accepted ...
Recently, conservative extensions have been used for defining a notion of module for ontologies [citation needed]: if an ontology is formalized as a logical theory, a subtheory is a module if the whole ontology is a conservative extension of the subtheory. An extension which is not conservative may be called a proper extension.