Intensional Logic

Fitting, M. Intensional Logic. Stanford Encyclopedia of Philosophy.

Type

Reference work

Intellectual base

Reference work

Link

https://plato.stanford.edu/entries/logic-intensional/

Cited by

2 citations across 2 artifacts.

Domain-specific

• Frege–Church ontology
  • Developed by Alonzo Church from Fregean distinctions, the framework types linguistic expressions, their senses, and their referents so belief and modal contexts need not validate unrestricted substitution of co-referring names.
• Sense and Reference
  • Modern intensional semantics is a successor formalism, not an automatic exact translation of Frege’s sense.

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:e51f279f5a4c · see in the full table