modal logic

(redirected from Intensional logic)
Also found in: Dictionary, Encyclopedia.
Graphic Thesaurus  🔍
Display ON
Animation ON
  • noun

Words related to modal logic

the logical study of necessity and possibility

Related Words

a system of logic whose formal properties resemble certain moral and epistemological concepts

References in periodicals archive ?
Chapter 5 ("A Logical Calculus for the Theory of Sinn and Bedeutung") presents Klement's formalization of an intensional logic of sense and reference, based on the results of chapters 2 and 4, and sufficient for indirect speech and quantifying-in, but containing a contradiction (not due to Frege's Basic Law 5).
This paper develops a logic of relativism that (1) illuminates the classic self-refutation charge and shows how to escape it; (2) makes rigorous the ideas of truth as relative and truth as absolute, and shows the relations between them; (3) develops an intensional logic for relativism; (4) provides a framework in which relativists can consistently promote ethical, mathematical, scientific, religious, and political truths (among others) as being relative; (5) argues that the notion of incommensurability is far less troubling than is commonly thought; and (6) argues that the concept of a perspective as needed by the theory is not prey to Davidson's well-known critique of conceptual schemes.
They cover alternate approaches to fine-grained intensionality and intensions as primitives, introduce a higher-order, fine-grained intensional logic, property theory with Curry typing, number theory and cardinality, anaphora and ellipsis, underspecified interpretations, expressive power and formal strength.
Another paper pertaining to intensional logic, for example, is a study of the various formal semantics for systems of counterfactuals.
Revisionist logicians have usually supposed that extensional logic, for all its power and versatility, does not express the tight bond between meanings that is of the very essence of the logical connection; and they have labored to provide an alternative intensional logic that does indeed express it.
Hennix's text was called "17 Points on Intensional Logics for Intransitive Experiences, 1969-1979" (intensional with an s is a technical term in logic).