intensional logic
Look at other dictionaries:
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
Transparent Intensional Logic — (frequently abbreviated as TIL) is a logical system aimed at an analysis of natural language. It was created by Pavel Tichý. There are relations to Montague grammar, but TIL differs from it in several substantial points. TIL uses syntax of lambda … 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
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
logic, philosophy of — Philosophical study of the nature and scope of logic. Examples of questions raised in the philosophy of logic are: In virtue of what features of reality are the laws of logic true? ; How do we know the truths of logic? ; and Could the laws of… … Universalium
Intensional — 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
Intensional definition — In logic and mathematics, an intensional definition gives the meaning of a term by specifying all the properties required to come to that definition, that is, the necessary and sufficient conditions for belonging to the set being defined. For… … Wikipedia
Intensional statement — In logic, an intensional statement form is a statement form with at least one instance such that substituting co extensive expressions into it does not always preserve logical value. An intensional statement is a statement that is an instance of… … Wikipedia
Intensional fallacy — In philosophical logic, the intensional fallacy is committed when one makes an illicit use of Leibniz s law in an argument … Wikipedia
intensional — adjective used of the set of attributes that distinguish the referents of a given word • Similar to: ↑connotative • Derivationally related forms: ↑intension • Topics: ↑logic … Useful english dictionary
