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 .
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.
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.
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 ...
Language-- Language, Proof and Logic-- Lateral thinking-- Law of excluded middle-- Law of identity-- Law of non-contradiction-- Law of noncontradiction-- Law of thought-- Laws of Form-- Laws of logic-- Leap of faith-- Lemma (logic)-- Lexical definition-- Linear logic-- Linguistic and Philosophical Investigations-- Linguistics and Philosophy ...
An intensional definition may also consist of rules or sets of axioms that define a set by describing a procedure for generating all of its members. For example, an intensional definition of square number can be "any number that can be expressed as some integer multiplied by itself". The rule—"take an integer and multiply it by itself ...
There are multiple versions of the type theory: Martin-Löf proposed both intensional and extensional variants of the theory and early impredicative versions, shown to be inconsistent by Girard's paradox, gave way to predicative versions. However, all versions keep the core design of constructive logic using dependent types.
The Psychological Inquiry (PI) is a quarterly psychology journal published by Taylor & Francis. It aims to be a forum for the discussion of theory and meta-theory, primarily in social psychology and personality. It aims to publish ideas and theories that are broad, provocative, and debatable, while discouraging purely empirical, applied, or ...