Formal representations of dependence and groundedness

DOI10.1017/S1755020319000315zbMATH Open1484.03010OpenAlexW2957202953MaRDI QIDQ5221291FDOQ5221291

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

Recommendations

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

zbMATH Keywords

dependencegroundingmonotone operator

Mathematics Subject Classification ID

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

Cites Work

• Outline of a Theory of Truth
• Grounding, dependence, and paradox
• What truth depends on
• Comparing fixed-point and revision theories of truth
• Title not available (Why is that?)
• A graph-theoretic analysis of the semantic paradoxes
• Title not available (Why is that?)
• Grelling on dependence
• Notes on Leitgeb's Ruitenburg

Cited In (6)

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

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)