Temat: computationalism - Prolib Integro

Skocz do pozycji: 1.

Tytuł:: The Problematic Nature of Gödel’s Disjunctions and Lucas-Penrose’s Theses
Autorzy:: Avron, Arnon
Tematy:: Gödel disjunction
Lucas-Penrose argument
mechanism
mind
computationalism; Pokaż więcej
Wydawca:: Polskie Towarzystwo Semiotyczne
Powiązania:: https://bibliotekanauki.pl/articles/1796961.pdf Link otwiera się w nowym oknie
Opis:: We show that the name “Lucas-Penrose thesis” encompasses several different theses. All these theses refer to extremely vague concepts, and so are either practically meaningless, or obviously false. The arguments for the various theses, in turn, are based on confusions with regard to the meaning(s) of these vague notions, and on unjustified hidden assumptions concerning them. All these observations are true also for all interesting versions of the much weaker (and by far more widely accepted) thesis known as “Gö- del disjunction”. Our main conclusions are that pure mathematical theorems cannot decide alone any question which is not purely mathematical, and that an argument that cannot be fully formalized cannot be taken as a mathematical proof.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 2.

Tytuł:: What does the silent planet tell us? The analysis of selected philosophical themes found in Stanisław Lem’s Solaris
O czym nam mówi milcząca planeta? Analiza wybranych wątków filozoficznych w Solaris Stanisława Lema
Autorzy:: Grabarczyk, Paweł
Tematy:: Stanisław Lem
Solaris
reprezentacje
komputacjonizm
upload
representations
computationalism; Pokaż więcej
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Powiązania:: https://bibliotekanauki.pl/articles/1042245.pdf Link otwiera się w nowym oknie
Opis:: The paper analyses selected philosophical aspects of Stanisław Lem’s Solaris. I argue that there is an interesting similarity between the history of “Solarist studies” –the fictional scientific discipline depicted by Lem and cognitive science. I show that both disciplines go through similar stages as they try to describe their main subject (the planet Solaris and human consciousness respectively). In the further part of the paper, I focus on two problems identified in cognitive science that can be directly related to the themes found in Solaris: the problem of the detection of intelligence and the problem of the notion of mental representations. I finish the paper by looking at the mysterious guests that stalk the main protagonists and show that they can be understood as heuristic models that are taken into account in the theories of mind uploading.
Artykuł bada wybrane filozoficzne aspekty powieści Solaris Stanisława Lema. Twierdzę, że zachodzi interesujące podobieństwo pomiędzy historią „solarystyki” – fikcyjnej dyscypliny naukowej opisywanej przez Lema a historią kognitywistyki. Pokazuję, że obie dyscypliny przechodziły przez podobne etapy, starając się opisać swój przedmiot (odpowiednio, planetę Solaris oraz świadomość ludzką). W dalszej części artykułu skupiam się na dwóch problemach zidentyfikowanych w kognitywistyce, które można bezpośrednio odnieść do wątków obecnych w Solaris: problemie wykrywania istot myślących oraz problemie reprezentacji umysłowych. Kończę artykuł przyglądając się tajemniczym gościom, którzy prześladują bohaterów powieści i pokazuję, że mogą oni być zinterpretowani jako modele heurystyczne rozważane w teoriach uploadu.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 3.

Tytuł:: Objections to Computationalism: A Survey
Autorzy:: MIŁKOWSKI, Marcin
Tematy:: computationalism
computational theory of mind
representation
computation
modeling
komputacjonizm
komputacjonalna teoria umysłu
reprezentacja
komputacja
modelowanie; Pokaż więcej
Wydawca:: Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Powiązania:: https://bibliotekanauki.pl/articles/488675.pdf Link otwiera się w nowym oknie
Opis:: ZARZUTY WOBEC KOMPUTACJONIZMU — PRZEGLĄD
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 4.

Tytuł:: Minds without content. Two directions of critique of the representational theory of mind
Umysły bez treści. Dwa kierunki krytyki reprezentacjonistycznej teorii umysłu
Autorzy:: Partyka, Adam
Opis:: W kognitywistyce w celu opisu działania procesów mentalnych korzysta się z pojęcia reprezentacji mentalnej będącej nośnikiem treści. W niniejszej pracy rozważam dwie koncepcje kwestionujące ten sposób mówienia o naturze umysłu: semantykę interpretacyjną Egan (2014) oraz radykalny enaktywizm (Hutto i Myin, 2013). Obydwie wysuwają zarzuty wobec tradycyjnego ujmowania formy i własności treści mentalnej korzystając z argumentów z naturalizmu, choć ma to odmienne konsekwencje w przypadku każdej z nich. Zastanawiam się nad genezą istniejących pomiędzy nimi różnic i analizując ich zakorzenienie teoretyczne oraz metodologię argumentacji staram się znaleźć ich punkty wspólne. Dochodzę do wniosku, że można znaleźć produktywny sposób ich pogodzenia, mając na uwadze poziom wyjaśniania, jakim operują.
In cognitive science a notion of mental representation carrying content is posited in order to explain the functioning of mental processes. In this paper I consider two theories calling this approach into question: interpretational semantics of Egan (2014) and radical enactivism (Hutto & Myin, 2013). Both present objections to the traditional understanding of form and properties of mental content using arguments from naturalism, albeit it has different consequences in each case. I point to differences between these theories and analising their theoretical grounding and argumentation methodology I try to determine whether they have anything in common. I arrive at the conclusion that they can be productively combined, considering the level of explanation they use.
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Skocz do pozycji: 5.

Tytuł:: On the Anti-Mechanist Arguments Based on Gödel’s Theorem
Autorzy:: Krajewski, Stanisław
Tematy:: Gödel’s theorem
mechanism
Lucas’s argument
Penrose’s argument
computationalism
mind
consistency
algorithm
artificial intelligence
natural number; Pokaż więcej
Wydawca:: Polskie Towarzystwo Semiotyczne
Powiązania:: https://bibliotekanauki.pl/articles/1796977.pdf Link otwiera się w nowym oknie
Opis:: The alleged proof of the non-mechanical, or non-computational, character of the human mind based on Gödel’s incompleteness theorem is revisited. Its history is reviewed. The proof, also known as the Lucas argument and the Penrose argument, is refuted. It is claimed, following Gödel himself and other leading logicians, that antimechanism is not implied by Gödel’s theorems alone. The present paper sets out this refutation in its strongest form, demonstrating general theorems implying the inconsistency of Lucas’s arithmetic and the semantic inadequacy of Penrose’s arithmetic. On the other hand, the limitations to our capacity for mechanizing or programming the mind are also indicated, together with two other corollaries of Gödel’s theorems: that we cannot prove that we are consistent (Gödel’s Unknowability Thesis), and that we cannot fully describe our notion of a natural number.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 6.

Tytuł:: Czy istnieją czynności umysłu, których nie można reprezentować za pomocą maszyn Turinga?
Are there activities of the mind that cannot be represented by Turing machines?
Autorzy:: Fornal, Marzena
Tematy:: komputacjonizm
obliczeniowa teoria umysłu
argument gödlowski
Roger Penrose
maszyna Turinga
Kurt Gödel
John Randolph Lucas
computationalism
computational theory of mind
Gödelian argument
Turing machine; Pokaż więcej
Wydawca:: Akademia Humanistyczno-Ekonomiczna w Łodzi
Powiązania:: https://bibliotekanauki.pl/articles/38425363.pdf Link otwiera się w nowym oknie
Opis:: Artykuł stanowi próbę odpowiedzi na pytanie, czy jesteśmy w stanie wskazać takie czynności umysłu, które nie są możliwe do reprezentacji za pomocą maszyny Turinga? Jest to zatem pytanie o to, czy wszystkie nasze stany mentalne posiadają obliczeniową naturę. Problem ten będzie rozważany w odniesieniu do tak zwanego argumentu gödlowskiego, opierającego się na dwóch twierdzeniach Gödla: 1) o niezupełności oraz 2) o niedowodliwości niesprzeczności, skierowanego przeciwko obliczeniowym teoriom umysłu. Argument ten w wersji zaprezentowanej przez Johna Randolpha Lucasa zostanie poddany krytycznej analizie, która doprowadzi do pozytywnych wniosków zawartych w końcowej części artykułu.
The article is an attempt to answer the question whether we are able to identify such activities of the mind that are not possible to be represented by a Turing machine? Thus, it is a question of whether all our mental states have a computational nature. This problem will be considered in relation to the so-called Gödel argument, based on two Gödel theorems: 1. on incompleteness and 2. on the incompleteness of non-contradiction, directed against computational theories of mind. This argument, as presented by John Randolph Lucas, will be critically analyzed, which will lead to positive conclusions in the final part of the article.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Informacja

Wyszukujesz frazę "computationalism" wg kryterium: Temat