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ę "definicja prawdy" wg kryterium: Temat


Wyświetlanie 1-2 z 2
Tytuł:
On the Philosophical-Logical Views of Ludwik Borkowski
O poglądach filozoficzno-logicznych Ludwika Borkowskiego
Autorzy:
CZERNECKA-REJ, Bożena
Powiązania:
https://bibliotekanauki.pl/articles/488523.pdf
Data publikacji:
2018-06
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
Ludwik Borkowski
systemy założeniowe
zasada dwuwartościowości
modalności
definicja prawdy
natural deduction
principle of bivalence
modalities
definition of truth
Opis:
Dzięki zdobytej wiedzy filozoficznej Ludwik Borkowski widział problemy formalne w szerszym kontekście. Był w uprawianiu logiki kontynuatorem tradycji szkoły lwowsko-warszawskiej. Podejmował problemy podstawowe dla szeroko pojętej logiki oraz mające doniosłe konsekwencje filozoficzne, np. logiki nieklasyczne, teoria prawdy, metoda założeniowa, teoria konsekwencji, teoria definicji. Dbał o intuicyjną interpretację swych wyników logicznych, a samą logikę traktował jako naukę autonomiczną, która ma pełnić funkcję służebną wobec innych nauk. Choć nie pisał typowych dzieł filozoficzno-logicznych, dociekanie filozoficznych źródeł, inspiracji i konsekwencji wyników logiki towarzyszyło mu przez cały czas twórczej aktywności.
Ludwik Borkowski’s vast knowledge of philosophy allowed him to put his logical studies in a philosophical context. As a logician, he continued the tradition of the Lvov-Warsaw school. He dealt with the basic issues of the widely understood logic as well as with those having strong philosophical implications (e.g. non-classical logics, the theory of truth, natural deduction, the theory of consequence). He also worked on the theory of definition and the intuitive interpretation of logical results. For Borkowski, logic was an autonomous science whose function is supposed to be ancillary towards the other sciences. Although he did not write any typical philosophical-logical works, investigating philosophical sources, inspirations and the implications of logical results was something he did throughout the whole period of his creative activity.
Źródło:
Roczniki Filozoficzne; 2018, 66, 2; 149-171
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
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-2 z 2

    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