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.

Categories

Keywords

Reprint years

DOI

10.1007/s11229-022-04028-8

Links

PhilArchive

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Towards a theory of ground-theoretic content.Stephan Krämer - 2018 - Synthese 195 (2):785-814.
Towards a theory of ground-theoretic content.Stephan Krämer - 2016 - Synthese:1-30.
Pure logic of iterated full ground.Jon Erling Litland - 2018 - Review of Symbolic Logic 11 (3):411-435.
Prospects for a Theory of Decycling.Jon Erling Litland - 2020 - Notre Dame Journal of Formal Logic 61 (3):467-499.
Dag Prawitz on Proofs, Operations and Grounding.Antonio Piccolomini D’ Aragona - 2019 - Topoi 38 (3):531-550.
Decidability in Proof-Theoretic Validity.Will Stafford - 2022 - In Igor Sedlár (ed.), The Logica Yearbook 2021. College Publications. pp. 153-166.
Proof-theoretic semantics, paradoxes and the distinction between sense and denotation.Luca Tranchini - forthcoming - Journal of Logic and Computation 2014.
Pure Logic of Many-Many Ground.Jon Erling Litland - 2016 - Journal of Philosophical Logic 45 (5):531-577.
Axiomatic Theories of Partial Ground I: The Base Theory.Johannes Korbmacher - 2018 - Journal of Philosophical Logic 47 (2):161-191.
Proof-Theoretic Semantics and Inquisitive Logic.Will Stafford - 2021 - Journal of Philosophical Logic 50 (5):1199-1229.
Axiomatic Theories of Partial Ground II: Partial Ground and Hierarchies of Typed Truth.Johannes Korbmacher - 2018 - Journal of Philosophical Logic 47 (2):193-226.
What Social Construction Isn’t.Emilie Pagano - 2021 - Philosophia 49 (4):1651-1670.
Ground-theoretic equivalence.Stephan Krämer - 2019 - Synthese 198 (2):1643-1683.
Revisiting Dummett's Proof-Theoretic Justification Procedures.Hermógenes Oliveira - 2017 - In Pavel Arazim & Tomáš Lávička (eds.), The Logica Yearbook 2016. London: College Publications. pp. 141-155.
Proof-theoretic pluralism.Filippo Ferrari & Eugenio Orlandelli - 2019 - Synthese 198 (Suppl 20):4879-4903.

Analytics

Added to PP
2022-12-20

Downloads
342 (#59,130)

6 months
136 (#26,988)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Jon Litland
University of Texas at Austin

Citations of this work

Add more citations

References found in this work

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

Add more references