Formal representations of dependence and groundedness

DOI10.1017/S1755020319000315MaRDI QIDQ5221291zbMATH OpenOpenAlexFDO

Authors Edoardo Rivello

Publication date 25 March 2020

Published in The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s1755020319000315

zbMATH Keywords

dependencegroundingmonotone operator

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Recommendations

• Notes on Leitgeb's Ruitenburg
• What truth depends on
• Grounding and dependence
• Grounding and truth-functions
• Towards a theory of ground-theoretic content

Cites work

• A graph-theoretic analysis of the semantic paradoxes
• Comparing fixed-point and revision theories of truth
• Grelling on dependence
• Grounding, dependence, and paradox
• scientific article; zbMATH DE number 3627183 (Why is no real title available?)
• scientific article; zbMATH DE number 6787698 (Why is no real title available?)
• Notes on Leitgeb's Ruitenburg
• Outline of a Theory of Truth
• What truth depends on

Cited in

(7)

• Unified grounding
• Notes on Leitgeb's Ruitenburg
• Generalizing Montague's theorem on recursive definitions
• Set-theoretic dependence
• A Formal Context for Symmetric Dependencies
• Kripke's fixed points and Leitgeb's semantic dependence
• What truth depends on

This page was built for publication: Formal representations of dependence and groundedness

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