Search results
Results from the WOW.Com Content Network
Intensional logic is an approach to predicate logic that extends first-order logic, which has quantifiers that range over the individuals of a universe , by additional quantifiers that range over terms that may have such individuals as their value .
An extensional definition gives meaning to a term by specifying its extension, that is, every object that falls under the definition of the term in question.. For example, an extensional definition of the term "nation of the world" might be given by listing all of the nations of the world, or by giving some other means of recognizing the members of the corresponding class.
In philosophical logic, the masked-man fallacy (also known as the intensional fallacy or epistemic fallacy) [1] is committed when one makes an illicit use of Leibniz's law in an argument. Leibniz's law states that if A and B are the same object, then A and B are indiscernible (that is, they have all the same properties).
He worked in the field of intensional logic and founded transparent intensional logic, an original theory of the logical analysis of natural languages – the theory is devoted to the problem of saying exactly what it is that we learn, know and can communicate when we come to understand what a sentence means. He spent roughly 25 years working ...
Transparent intensional logic (frequently abbreviated as TIL) is a logical system created by Pavel Tichý. Due to its rich procedural semantics TIL is in particular apt for the logical analysis of natural language. From the formal point of view, TIL is a hyperintensional, partial, typed lambda calculus.
Montague grammar is an approach to natural language semantics, named after American logician Richard Montague.The Montague grammar is based on mathematical logic, especially higher-order predicate logic and lambda calculus, and makes use of the notions of intensional logic, via Kripke models.
Possible worlds are widely used as a formal device in logic, philosophy, and linguistics in order to provide a semantics for intensional and modal logic. Their metaphysical status has been a subject of controversy in philosophy , with modal realists such as David Lewis arguing that they are literally existing alternate realities, and others ...
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 an intensional statement-form.