Modeling unicorns and dead cats: applying Bressan's ML^ to the necessary properties of non-existent objects

DOI10.1007/S10992-016-9418-6MaRDI QIDQ1702980zbMATH OpenOpenAlexFDO

Authors Tyke Nunez

Publication date 1 March 2018

Published in Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10992-016-9418-6

zbMATH Keywords

intensional logicessential propertiessort\(\mathrm{ML}^\nu\)absolute conceptAldo BressanAnil Guptalogic of common nounsnon-existent objectsprinciple of identityRichard Montaguesortalssubstance sort

Mathematics Subject Classification ID

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

Recommendations

• On properties of theories which preclude the existence of universal models
• Model existence in non-compact modal logic
• On the existence of universal models
• Undefinability of truth and nonstandard models
• The Importance of Nonexistent Objects and of Intensionality in Mathematics†
• Model-theoretic aspects of unification
• Nonstandard models and Kripke's proof of the Gödel theorem
• From probabilities to categorical beliefs: going beyond toy models
• Structural properties, mereology, and modal magic
• Constructing strongly equivalent nonisomorphic models for unsuperstable theories. Part B

Cites work

• scientific article; zbMATH DE number 3837992 (Why is no real title available?)
• scientific article; zbMATH DE number 755666 (Why is no real title available?)
• scientific article; zbMATH DE number 3402572 (Why is no real title available?)
• scientific article; zbMATH DE number 3078474 (Why is no real title available?)
• BH-CIFOL: case-intensional first order logic. II: Branching histories
• CIFOL: case-intensional first order logic. I: Toward a theory of sorts
• Hyperintensional logic
• On Gupta's book ``The logic of common nouns'
• The logic of essence

This page was built for publication: Modeling unicorns and dead cats: applying Bressan's \(\mathrm{ML}^\nu\) to the necessary properties of non-existent objects

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1702980)