Systems for Non-Reflexive Consequence

Studia Logica 111 (6):947-977 (2023)
  Copy   BIBTEX

Abstract

Substructural logics and their application to logical and semantic paradoxes have been extensively studied. In the paper, we study theories of naïve consequence and truth based on a non-reflexive logic. We start by investigating the semantics and the proof-theory of a system based on schematic rules for object-linguistic consequence. We then develop a fully compositional theory of truth and consequence in our non-reflexive framework.

Other Versions

manuscript Nicolai, Carlo; Rossi, Lorenzo (manuscript) "Systems for non-reflexive consequence".

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,551

External links

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

Through your library

Analytics

Added to PP
2023-08-18

Downloads
35 (#649,724)

6 months
12 (#304,424)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Carlo Nicolai
King's College London
Lorenzo Rossi
Università di Torino

Citations of this work

Naïve Truth and the Evidential Conditional.Andrea Iacona & Lorenzo Rossi - 2024 - Journal of Philosophical Logic 53 (2):559-584.

Add more citations

References found in this work

Outline of a theory of truth.Saul Kripke - 1975 - Journal of Philosophy 72 (19):690-716.
Paradoxes and Failures of Cut.David Ripley - 2013 - Australasian Journal of Philosophy 91 (1):139 - 164.
Tolerant, Classical, Strict.Pablo Cobreros, Paul Egré, David Ripley & Robert van Rooij - 2012 - Journal of Philosophical Logic 41 (2):347-385.

View all 34 references / Add more references