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ę "Gödel" wg kryterium: Temat


Wyświetlanie 1-2 z 2
Tytuł:
Ludwiga Wittgensteina krytyka pierwszego twierdzenia Gödla
Ludwig Wittgenstein’s Critique of Gödel’s First Incompleteness Theorem
Autorzy:
Wierzbińska, Greta
Powiązania:
https://bibliotekanauki.pl/articles/2012892.pdf
Data publikacji:
2010
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
Wittgenstein
I twierdzenie Gödla
sprzeczność
filozofia matematyki
Gödel’s First Incompleteness Theorem
inconsistency
philosophy of mathematics
Opis:
Wittgenstein’s RFM remarks on Gödel’s First Incompleteness Theorem have been widely criticized, ridiculed or dismissed out of hand. The principal reason for this is negative evaluation of Wittgenstein’s critique is not Wittgenstein rejection of the standard interpretation of Gödel’s result but rather an exaggerated reaction to a alleged “mistake” Wittgenstein makes while discussing GIT. The aim of my paper, which due to Wittgenstein’s method is merely a draft, is to pull apart the different and the very distinct strands in these remarks to understand them in the context of Wittgenstein’s own philosophy of mathematics, and to determine what merit they have. To understand Wittgenstein’s attitude I will point out his hostility towards mathematical realism, hostility based on the “rule-following considerations” and his conventionalism. As I shall show, the aim of Wittgenstein’s critique is not a proof itself but it’s certain philosophical interpretation (prose). On a number of occasions this leads Wittgenstein to say that we should simply ‘withdraw’ or ‘give up’ this interpretation as if the contradiction goes away with the natural language interpretation.
Źródło:
Roczniki Filozoficzne; 2010, 58, 2; 207-235
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Zagadnienie konstruowalności logik modalnych i relewantnych
The Problem of Possibility of Construction of Modal and Relevance Logics
Autorzy:
Januszewski, Ernest
Powiązania:
https://bibliotekanauki.pl/articles/2015846.pdf
Data publikacji:
2020-10-15
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
logika modalna
logika relewantna
filozofia logiki
reguła Gödla
reguła koniecznościowania
modal logic
relevance logic
philosophy of logic
Gödel's rule
rule of necessitation
Opis:
In the paper various ways are shown of constructing both modal and relevance logics. An attempt is undertaken of interpreting modal functors occurring in these logics. In the discussion special attention is paid to logical necessity. Connection of this necessity and tautologies of the classical sentential calculus is pointed to. Next, some intuitive considerations are quoted that resulted in accepting or refusing certain theses or rules on the ground of both modal and relevance logics. Especially much attention is paid to Gödel's rule. It is stated that at the moment when modal and relevance logics were constructed satisfactory philosophical considerations were not made. In particular, it was not decided if the constructed systems give correct formalization of modal notions, and if they may be used for formalization of deductive ways of infering.
Źródło:
Roczniki Filozoficzne; 2003, 51, 1; 85-112
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