Existential Import and Relations of Categorical and Modal Categorical Statements

DOI10.12775/LLP.2017.026zbMath1456.03038OpenAlexW2751301197MaRDI QIDQ3121968

Jiří Raclavský

Publication date: 20 March 2019

Published in: Logic and Logical Philosophy (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.12775/llp.2017.026

zbMATH Keywords

propertiesquantified modal logictype theorypartialityexistential importcategorical statementsSquare of Opposition

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05)

Related Items (1)

The Rule of Existential Generalisation and Explicit Substitution

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Procedural semantics for hyperintensional logic. Foundations and applications of transparent intensional logic
• Predication and extensionalization
• Hyperintensional logic
• First-order modal logic
• Towards a more general concept of inference
• The square of opposition: a cornerstone of thought
• Existential Import Today: New Metatheorems; Historical, Philosophical, and Pedagogical Misconceptions
• Algorithmic Theories of Problems. A Constructive and a Non-Constructive Approach
• The New Rising of the Square of Opposition
• Formal Semantics in Modern Type Theories: Is It Model-Theoretic, Proof-Theoretic, or Both?
• The Cube, the Square and the Problem of Existential Import
• Explicating the Notion of Truth Within Transparent Intensional Logic
• II.—SUBJECT AND PREDICATE

This page was built for publication: Existential Import and Relations of Categorical and Modal Categorical Statements