Existential import and relations of categorical and modal categorical statements
DOI10.12775/LLP.2017.026zbMATH Open1456.03038OpenAlexW2751301197MaRDI QIDQ3121968FDOQ3121968
Authors: 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
Recommendations
- The cube, the square and the problem of existential import
- Existential import, Aristotelian logic, and its generalizations
- Negation and quantification in aristotle
- Existential import and an unnecessary restriction on predicate logics
- Subalternation and existence presuppositions in an unconventionally formalized canonical square of opposition
propertiestype theorypartialityquantified modal logicexistential importcategorical statementsSquare of Opposition
Philosophical and critical aspects of logic and foundations (03A05) Modal logic (including the logic of norms) (03B45)
Cites Work
- First-order modal logic
- Title not available (Why is that?)
- Title not available (Why is that?)
- Procedural semantics for hyperintensional logic. Foundations and applications of transparent intensional logic
- The square of opposition: a cornerstone of thought
- Proof-theoretic semantics
- Hyperintensional logic
- Predication and extensionalization
- The new rising of the square of opposition
- Formal semantics in modern type theories: is it model-theoretic, proof-theoretic, or both?
- Presuppositions and two kinds of negation
- The cube, the square and the problem of existential import
- Title not available (Why is that?)
- Algorithmic theories of problems. A constructive and a non-constructive approach
- Towards a more general concept of inference
- Existential import today: new metatheorems; historical, philosophical, and pedagogical misconceptions
- Explicating the notion of truth within transparent intensional logic
- II.—SUBJECT AND PREDICATE
Cited In (7)
- A note on existential import
- The cube, the square and the problem of existential import
- Negation and quantification in aristotle
- Categorical Propositions and Existential Import: A Post-modern Perspective
- Puzzles of existential generalisation from type-theoretic perspective
- The Rule of Existential Generalisation and Explicit Substitution
- `My future son is possibly alive'. Existential presupposition and empty terms in Abelard's modal logic
This page was built for publication: Existential import and relations of categorical and modal categorical statements
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3121968)