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

zbMATH Keywords

propertiestype theorypartialityquantified modal logicexistential importcategorical statementsSquare of Opposition

Mathematics Subject Classification ID

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)