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 .
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).
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 ...
Pavel Materna's most significant contributions to logic were in the fields of semantics and logical analysis of natural languages. A close friend of the logician Pavel Tichý, he was a keen follower and developer of Tichý's transparent intensional logic (TIL): "... Based on the procedural semantics of TIL, I developed a new and original theory ...
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 ...
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.
Listing price on eBay: $2,500 There were countless Japanese-made, cartoon-like ceramic figurines made during the 1950s, and some of the most valuable (and collectible) are vintage salt and pepper ...
A possible world is a complete and consistent way the world is or could have been. 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.