Abstract
AbstractSubstructural 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.
Funder
Università degli Studi di Torino
Publisher
Springer Science and Business Media LLC
Subject
History and Philosophy of Science,Logic
Reference53 articles.
1. Aczel, P., An introduction to inductive definitions, in J. Barwise, (ed.), Handbook of Mathematical Logic, vol. 90 of Studies in Logic and the Foundations of Mathematics, Elsevier, 1977, pp. 739–782.
2. Aczel, P., and S. Feferman, Consistency of the unrestricted abstraction principle using an intensional equivalence operator, in J.P. Seldin, and J. R. Hindley, (eds.), To H. B. Curry: Essays on combinatory logic, lambda calculus and formalism, Academic Press, New York, 1980, pp. 67–98.
3. Barrio, A., E., F. Pailos, and D. Szmuc, A recovery operator for nontransitive approaches. The Review of Symbolic Logic, 13(1):80–104, 2020.
4. Barrio, A., E., L. Rosenblatt, and D. Tajer, The logics of strict-tolerant logic. Journal of Philosophical Logic, 44(5):551–571, 2015.
5. Barrio, A., E., L. Rosenblatt, and D. Tajer, Capturing naive validity in the cut-free approach. Synthese, 199: 707–723, 2021.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Naïve Truth and the Evidential Conditional;Journal of Philosophical Logic;2024-03-01