Intensional logic
Intensional logic is an approach to predicate logic that extends first-order logic, which has quantifiers that range over the individuals of a universe (extensions), by additional quantifiers that range over terms that may have such individuals as their value (intensions). The distinction between intensional and extensional entities is parallel to the distinction between sense and reference.
known for
main interest
notableIdea
Wikipage disambiguates
Wikipage redirect
Alonzo ChurchArthur PriorClaudio E.A. PizziEdward N. ZaltaExtension (predicate logic)Extension (semantics)Extensional and intensional definitionsExtensional contextExtensional logicFormal semantics (natural language)Glue semanticsIndex of logic articlesIndex of philosophy articles (I–Q)IntensionIntensionalIntuitionistic type theoryList of atheist philosophersMontague grammarObject of the mindOutline of logicPaul GochetPavel MaternaPavel TichýPeter LudlowPossible worldProbabilistic logic networkRaili KauppiRelevanceRudolf CarnapSemantics of logicTransparent intensional logic
Link from a Wikipage to another Wikipage
known for
main interests
notable ideas
differentFrom
Intensional logic
Intensional logic is an approach to predicate logic that extends first-order logic, which has quantifiers that range over the individuals of a universe (extensions), by additional quantifiers that range over terms that may have such individuals as their value (intensions). The distinction between intensional and extensional entities is parallel to the distinction between sense and reference.
has abstract
Intensional logic is an approa ...... n between sense and reference.
@en
La lógica intensional es un si ...... a cierto rango de expresiones.
@es
Link from a Wikipage to an external page
Wikipage page ID
page length (characters) of wiki page
Wikipage revision ID
1,013,987,967
Link from a Wikipage to another Wikipage
wikiPageUsesTemplate
hypernym
comment
Intensional logic is an approa ...... n between sense and reference.
@en
La lógica intensional es un si ...... e ambas dicen de la misma cosa
@es
label
Intensional logic
@en
Lógica intensional
@es