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ę "T-sentences" wg kryterium: Temat


Wyświetlanie 1-1 z 1
Tytuł:
Alfreda Tarskiego schemat T jako równość definicyjna
Alfred Tarski’s T-Scheme as a Definitional Equivalence
Autorzy:
Kublikowski, Robert
Powiązania:
https://bibliotekanauki.pl/articles/2013929.pdf
Data publikacji:
2005
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
Umowa P (Konwencja T)
schemat T
T-równoważności
prawda
definicja
definicja cyrkularna
cyrkularność
rewizja
rewizyjna teoria definicji
rewizyjna teoria prawdy
Convention T
T-scheme
T-sentences
truth
definition
circular definition
circularity
revision
revision theory of definition
revision theory of truth
Opis:
The goal of this paper is to present a way of reading Alfred Tarski’s T-scheme as a definitional – and not material – equivalence. Anil Gupta and Nuel Belnap in their book The Revision Theory of Truth (MIT 1993), develop a theory of truth and a theory of definition, which are called Revision Theories – of Truth (RTT) and of Definition (RTD). They accept Tarski’s T-sentences (such as: “snow is white” is true iff snow is white) and their central role for the signification of truth. According to RTT and RTD the centrality of Tarski’s T-sentences can be maintained only by accepting interdependent definitions. Gupta and Belnap claim that it is worthy to read the T-scheme as a definitional equivalence rather than as a material equivalence, for the former understanding allows us to solve the Liar paradox. To obtain this result, it is important to notice a structural similarity between the T-scheme and the general scheme of definition. Gupta and Belnap reject Tarski’s demand for formal correctness of definitions and claim that it is logically justified to accept circular definitions. This is why they modify a general scheme of definition by adding a predicate which is being defined (definiendum) – e.g. an arbitrary predicate G – to the definiens, i.e. to the defining formula which occurs on the right side of the definitional scheme. A circular definition, which is constructed in such a way, is helpful in showing that different patterns of behaviour of the predicate G are similar to respective patterns of behaviour of the predicate “true”. Such a result suggests that the concept of truth is itself circular.
Źródło:
Roczniki Filozoficzne; 2005, 53, 1; 143-156
0035-7685
Pojawia się w:
Roczniki Filozoficzne
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