extensional logic
Quick Summary
Extensional logic is a type of logic where the meaning of a term or statement is determined by its extension, meaning the set of all objects or instances it refers to. This contrasts with intensional logic, where meaning is based on the internal content or definition of a term. Ernst Schröder's "Lectures on the Algebra of Logic" is a significant work that presents an extensional logic, focusing on class inclusion and Boolean operations. This approach is foundational in understanding how logical systems operate by defining terms based on the things they represent rather than their inherent properties.1
- history of logic - Ernst Schröder
- applied logic - Epistemic logic
- philosophy of logic - Computers
- intension and extension
- foundations of mathematics - Foundational logic
- philosophy of logic - Nature and varieties of logic
- foundations of mathematics - Other logics
- philosophy of logic - Limitations of logic
- philosophy of logic - Logic and information
- philosophy of logic - Intensional logic
- philosophy of logic - Alternative logics
Ask Britannica AI about this topic
Britannica doesn't have a full article on this topic, so we've curated a list of our relevant coverage.
history of logicBoole and De MorganâŠmajor formulator of a symbolic extensional logic that is familiar today as a logic or algebra of classes. (A correspondent of Lambert, Georg von Holland, had experimented with an extensional theory, and in 1839 the English writer Thomas Solly presented an extensional logic in A Syllabus of Logic, though notâŠ
Read MoreâŠmajor formulator of a symbolic extensional logic that is familiar today as a logic or algebra of classes. (A correspondent of Lambert, Georg von Holland, had experimented with an extensional theory, and in 1839 the English writer Thomas Solly presented an extensional logic in A Syllabus of Logic, though notâŠ
Read More- history of logicErnst Schröder
It is an extensional logic with a special sign for inclusion ââ (paralleling Peirceâs ââ€â; see illustration), an inclusive notion of class union, and the usual Boolean operations and rules.
Read MoreIt is an extensional logic with a special sign for inclusion ââ (paralleling Peirceâs ââ€â; see illustration), an inclusive notion of class union, and the usual Boolean operations and rules.
Read More