Definition:Intensional Logic

Definition

intensional logic is that part of logic which treats inferences involving meanings or identities of meanings.

This article is complete as far as it goes, but it could do with expansion. In particular: No, I'm not sure what it means You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by adding this information. To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{Expand}} from the code. If you would welcome a second opinion as to whether your work is correct, add a call to {{Proofread}} the page.

Also see

• Results about intensional logic can be found here.

Sources

• 1984: D. Gabbay and F. Guenthner: Handbook of Philosophical Logic: Chapter $\text{II}.7$ General Intensional Logic (C. Anthony Andersen)
• 1998: David Nelson: The Penguin Dictionary of Mathematics (2nd ed.) ... (previous) ... (next): modal logic
• 2008: David Nelson: The Penguin Dictionary of Mathematics (4th ed.) ... (previous) ... (next): modal logic