Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "Friedman-Sheard" wg kryterium: Temat


Wyświetlanie 1-1 z 1
Tytuł:
Comparing Axiomatic Theories of Truth
Autorzy:
Łełyk, Mateusz
Powiązania:
https://bibliotekanauki.pl/articles/561328.pdf
Data publikacji:
2019
Wydawca:
Polskie Towarzystwo Semiotyczne
Tematy:
axiomatic theories of truth
conservativity
Peano Arithmetic
disquotation
Kripke-Feferman
Friedman-Sheard
Opis:
The main aim of our paper was to present three formal tools for comparing various axiomatic theories of truth. In Section 2 we aimed at showing that there are indeed many different approaches to defining a set of axioms for the notion of truth. In Section 3 we introduced three different \measures of strength" of axiomatic theories of truth, i.e. three reflexive and transitive relations (preorders) on the set of axiomatic theories of truth. We have explained the intuition behind each of them. The three relations were called (from the most fine-grained to the coarsest): Fujimoto definability, model-theoretical strength, proof-theoretical strength. Then in the last section we described how they order the truth theories introduced in Section 2. We observed that theories made equivalent by the coarser relation can be strictly ordered by the next one.
Źródło:
Studia Semiotyczne; 2019, 33, 2
0137-6608
Pojawia się w:
Studia Semiotyczne
Dostawca treści:
Biblioteka Nauki
Artykuł
    Wyświetlanie 1-1 z 1

    Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies