Ground first: against the proof-theoretic definition of ground

Synthese 201 (1):1-26 (2023)
  Copy   BIBTEX

Abstract

This paper evaluates the proof-theoretic definition of ground developed by Poggiolesi in a range of recent publications and argues that her proposed definition fails. The paper then outlines an alternative approach where logical consequence relations and the logical operations are defined in terms of ground.

Analytics

Added to PP
2022-12-20

Downloads
419 (#4,952)

6 months
141 (#130,813)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Jon Litland
University of Texas at Austin

References found in this work

Contingent Grounding.Nathaniel Baron-Schmitt - 2021 - Synthese 199 (1-2):4561-4580.

Add more references