Philosophical Logic

← Back to Domain-Specific Abstractions by Domain

5 domain-specific abstractions whose origin domain is Philosophical Logic.

• Doxastic logic — A modal logic that formalizes what agents believe and how those beliefs interact with implication, introspection and consistency.
• Grelling–Nelson paradox — A semantic paradox produced by asking whether the adjective “non-self-descriptive” describes itself.
• Relevance logic — A family of nonclassical logics requiring a substantive connection between the antecedent and consequent of a valid implication.
• T-schema — The disquotational schema stating that the named sentence S is true if and only if S.
• Trivialism — The logical or metaphysical thesis that every proposition is true, including each contradiction and its negation.