Silne i słabe własności pojęcia prawdy
Tom 30 Nr 2 (2016), Rozprawy
Tom 30 Nr 2 (2016)

Silne i słabe własności pojęcia prawdy

Rozprawy
Opublikowano stycznia 8, 2020
Mateusz Łełyk
Uniwersytet Warszawski, Wydział Filozofii i Socjologii
Bartosz Wcisło
Uniwersytet Warszawski, Wydział Filozofii i Socjologii
PDF

Słowa kluczowe

aksjomatyczne teorie prawdy
arytmetyka Peana
konserwatywność
granica Tarskiego

Abstrakt

DOI: http://doi.org/10.26333/sts.xxx2.07

Niniejsza praca stanowi przegląd niedawnych wyników, zarówno opublikowanych, jak i jeszcze czekających na publikację, dotyczących różnych pojęć słabości i siły pojęcia prawdy, a także próbę ich systematyzacji i ukazania na tle szerszego nurtu badań. Omawiamy pojęcie granicy Tarskiego oddzielającej słabe i silne teorie prawdy. Omawiamy znane twierdzenia dotyczące niekonserwatywnych rozszerzeń podstawowej kompozycyjnej teorii prawdy oraz opisujemy pewną naturalną silną teorię prawdy, którą można scharakteryzować wieloma pozornie ze sobą niezwiązanymi układami aksjomatów. Na koniec przytaczamy inne możliwe eksplikacje pojęcia „siły” aksjomatycznych teorii prawdy.

PDF

Bibliografia

Cantini, A. (1990), A Theory of Formal Truth Arithmetically Equivalent to ID1, Journal of Symbolic Logic” 55(1), s. 244–259.

Cieśliński, C. (2017, w przygotowaniu), The Epistemic Lightness of Truth. Deflationism and Its Logic, Cambridge: Cambridge University Press.

Cieśliński, C. (2010), Deflationary Truth and Pathologies, „Journal of Philosophical Logic” 39(3), s. 325–337.

Cieśliński, C. (2010), Truth, Conservativeness, and Provability, „Mind” 119(474), s. 409–422.

Enayat, A., Visser, A. (2015), New Constructions of Satisfaction Classes, w: T. Achourioti, H. Galinon, J.M. Fernández (eds.), Unifying the Philosophy of Truth, s. 321–335, Dordrecht: Springer Netherlands.

Franzen, T. (2003), Inexhaustibility. A Non-Exhaustive Treatment, Association for Symbolic Logic.

Fujimoto, K. (2010), Relative Truth Definability of Axiomatic Truth Theories, „Bulletin of Symbolic Logic” 16(3), s. 305–344.

Halbach, V. (2011), Axiomatic Theories of Truth, Cambridge: Cambridge University Press.

Kaye, R. (1991), Models of Peano Arithmetic, New York: Clarendon Press.

Kaufmann, M., Schmerl, J. (1987), Remarks on Weak Notions of Saturation in Models of Peano Arithmetic, „Journal of Symbolic Logic” 52(1), s. 129–148.

Ketland, J. (1999), Deflationism and Tarski’s Paradise, „Mind” 108(429), s. 69–94.

Kotlarski, H. (1986), Bounded Induction and Satisfaction Classes, „Zeitschrift für mathematische Logik und Grundlagen der Mathematik” 32(31–34), s. 531–544.

Kotlarski, H., Krajewski, S., Lachlan, A. (1981), Construction of Satisfaction Classes for Nonstandard Models, „Canadian Mathematical Bulletin” 24, s. 283–293.

Leigh, G. (2015), Conservativity for Theories of Compositional Truth via Cut Elimination, „Journal of Symbolic Logic” 80(3), s. 845–865.

Łełyk, M., Wcisło, B. (2017), Notes on Bounded Induction for the Compositional Truth Predicate, „The Review of Symbolic Logic”.

Łełyk, M., Wcisło, B. (2017), Models of Weak Theories of Truth, „Archive for Mathematical Logic”.

Shapiro, S. (1998), Proof and Truth: Through Thick and Thin, „Journal of Philosophy” 95(10), s. 493–521.