Developing metalogic to formalize ontological disputes of the systems in metaphysics by introducing the notion of functionally isomorphic quantifiers

DOI10.1007/S11787-018-0213-8MaRDI QIDQ1632055zbMATH OpenOpenAlexWikidataFDO

Authors Jolly Thomas

Publication date 12 December 2018

Published in Logica Universalis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11787-018-0213-8

zbMATH Keywords

Meinongmetalogicmetaontologymodal realismontologyQuine

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) General logic (03B99) Logic with extra quantifiers and operators (03C80)

Recommendations

• Mechanizing \textit{Principia logico-metaphysica} in functional type-theory
• Quantifiers defined by parametric extensions
• Formal Discourse in Russell: From Metaphysics to Philosophical Logic
• Ontologically neutral logic
• Modal ontology and generalized quantifiers

Cites work

• On the theory of inconsistent formal systems
• Paraconsistent logic: consistency, contradiction and negation

Cited in

(2)

• Logic prizes \textit{et cætera}
• Mechanizing \textit{Principia logico-metaphysica} in functional type-theory

This page was built for publication: Developing metalogic to formalize ontological disputes of the systems in metaphysics by introducing the notion of functionally isomorphic quantifiers

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