extensional logic
Смотреть что такое "extensional logic" в других словарях:
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium
Extensional context — In philosophy of language, a context in which a sub sentential expression e appears is called extensional if and only if e can be replaced by an expression with the same extension and necessarily preserve truth value. The extension of a term is… … Wikipedia
Extensional — Extension und Intension (auch Begriffsumfang und Begriffsinhalt) bezeichnen in der Logik und Sprachphilosophie verschiedene, nach Meinung mancher Autoren entgegengesetzte Eigenschaften von Begriffen. Inhaltsverzeichnis 1 Extension 2 Intension 3… … Deutsch Wikipedia
Extensional definition — An extensional definition of a concept or term formulates its meaning by specifying its extension, that is, every object that falls under the definition of the concept or term in question.For example, an extensional definition of the term nation… … Wikipedia
extensional — adjective defining a word by listing the class of entities to which the word correctly applies • Similar to: ↑denotative, ↑denotive • Derivationally related forms: ↑extension • Topics: ↑logic … Useful english dictionary
Intensional logic — embraces the logical study of intensional languages. While in extensional languages all of their functors are extensional (and that suffices in many formal languages developed for formalizing special fields in mathematics or science),… … Wikipedia
Combinatory logic — Not to be confused with combinational logic, a topic in digital electronics. Combinatory logic is a notation introduced by Moses Schönfinkel and Haskell Curry to eliminate the need for variables in mathematical logic. It has more recently been… … Wikipedia
Interpretation (logic) — An interpretation is an assignment of meaning to the symbols of a formal language. Many formal languages used in mathematics, logic, and theoretical computer science are defined in solely syntactic terms, and as such do not have any meaning until … Wikipedia
Comprehension (logic) — In logic, the comprehension of an object is the totality of intensions, that is, attributes, characters, marks, properties, or qualities, that the object possesses, or else the totality of intensions that are pertinent to the context of a given… … Wikipedia
Intensional — * in Philosophy of language: not extensional. See also intensional definition versus extensional definition. * in Philosophy of mind: an intensional state is a state which has a propositional content. * in Mathematical logic: see intensional… … Wikipedia
Definition — For other uses, see Definition (disambiguation). A definition is a passage that explains the meaning of a term (a word, phrase or other set of symbols), or a type of thing. The term to be defined is the definiendum. A term may have many different … Wikipedia
