Kompiuterinė proto teorija: iš ko ji susideda?

Yra įvairių teorinių modelių, kuriais bandoma paaiškinti žmogaus proto veikimą. Vienas iš jų yra skaičiavimo modelis arba proto teorija, kuriai naudojama kompiuterio metafora pagrįsti mintį, kad mūsų pažintinė sistema informaciją apdoroja taip pat, kaip ir a kompiuteris.

Šiame straipsnyje mes kalbame apie skaičiavimo proto teoriją, kokias kitas teorines ir filosofines sistemas jis remiasi, kokie žymiausi jo autoriai ir kokios kritikos jis sulaukė.

Kompiuterinės proto teorijos pagrindas

Kompiuterinė proto teorija yra sudaryta kognityvinė psichologija, kuris yra atsakingas už žmogaus pažinimo veikimo tyrimą; tai yra, kaip žmonės kuria, transformuoja, koduoja, saugo, atgauna ir naudoja informaciją, kurią gauna iš savo aplinkos.

Kompiuterizmas, kurį pasiūlė Hilary Putnam šeštajame dešimtmetyje, yra kognityvinės psichologijos sritis ir supranta, kad funkcinė žmogaus pažinimo architektūra yra artima tai, kaip ji suprantama iš informacijos apdorojimo ir intelekto modelių dirbtinis.

Formalūs skaičiavimo proto teorijos pagrindai, viena vertus, yra pagrįsti formalizmu matematikas, sumanęs tokią discipliną kaip matematika kaip menas manipuliuoti simboliais, pagrįstais taisyklėmis formalus; ir, kita vertus, Alano Turingo eksperimentuose, kuris įgyvendino matematinį modelį, kurį sudarė automatas, galintis sukonstruoti bet kokią matematinę problemą, išreikštą algoritmais.

Kompiuterizme klesti ir dviejų filosofinių pozicijų sintezė: intencinis realizmas ir fizikalizmas.. Pirmasis postuluoja psichinių būsenų egzistavimą ir vidinį intencionalumą kaip natūralios tvarkos dalį dalykus, taip pat teigiamą požiūrį ar žmonių elgesį pasiūlymai; o fizikizmas daro prielaidą, kad viskas, kas egzistuoja, turi fizinę ir materialinę esybę.

Pagrindiniai skaičiavimo principai

Skaičiavimo modelis pagrįstas daugybe pagrindinių principų, kurie gali padėti geriau suprasti, kaip jis veikia. Pažiūrėkime, kas jie yra:

• Žmogaus protas yra sudėtinga biologinė mašina, atsakinga už simbolių apdorojimą.

• Pažinimas suprantamas kaip sistema, kuri nuosekliai apdoroja simbolinę informaciją iš taisyklių rinkinio, saugomo forma. "Logikos programos".

• Pažintinės sistemos ir kompiuteriai informaciją priima, koduoja, transformuoja, saugo ir gauna sekdami tam tikros skaičiavimo taisyklės, veikiančios su skaitmeniniu kodu, kaip pasitaiko vaizduojant teiginys.

• Žmogaus pažinimas ir kompiuteris yra skirtingos struktūros (materialiniu požiūriu), tačiau funkciškai lygiavertės.

• Teikiant informaciją apie kompiuterį ir žmogaus protą, vykdomas nuoseklus procesas ir kai kurios skaičiavimo taisyklės (algoritmai).

Noamo Chomsky darbai

Proto skaičiavimo modelis iš pradžių buvo pagrįstas teoriniais pasiūlymais Noam chomsky ir jos generatyvinė gramatika, pagrįsta idėja, kad kartu su konkrečiomis kiekvienam tinkamomis sakinių konstravimo taisyklėmis kalba, yra ir daugiau pagrindinių taisyklių (įgimtų ir bendrų visoms kalboms), kurios paaiškina, kaip lengvai mokomės kalbos vaikai.

Pasak Chomsky, visi sakiniai turi gilią struktūrą (kurioje yra jų reikšmė) ir kitą paviršutinišką struktūrą (sakinio pateikimo būdas, kai jis išreiškiamas). Gili struktūra būtų abstrakti, o paviršinė atitiktų fizinę ar materialią kalbos tikrovę.

Chomsky taip pat išskyrė asmens sugebėjimą susieti garsus ir reikšmes su tam tikromis nesąmoningomis taisyklėmis ir automatinis ir kalbinis atlikimas ar vykdymas, kuris reiškia sakinio ar kalbos interpretavimo ir supratimo būdą ypač.

Su viskuo, populiaraus garsaus kalbininko teorijos buvo pagrindas skaičiavimo teorijai kas išsivystė Džeris Fodoras ir kad pamatysime toliau.

Fodoro skaičiavimo proto teorija

Kompiuterinė proto teorija teigia, kad žmogaus protas veikia panašiai, kaip sukurtas kompiuteryje, Būdamas smegenys informacijos apdorojimo sistemos aparatūrą. Ši teorija sujungia paaiškinimą, kaip mes samprotaujame ir kaip veikia psichinės būsenos, ir dar vadinama „reprezentacine proto teorija“.

Pasak filosofo Jerry'io Fodoro, vieno iš didžiausių teorijos atstovų, mentalas yra tyčinis ir jį galima susiaurinti iki fizinio. Šiam autoriui žmogaus protas primena skaitmeninį kompiuterį; tai yra į prietaisą, kuriame saugomos simbolinės reprezentacijos ir jais manipuliuojama per daug sintaksinių taisyklių.

Tuomet mintys būtų minties reprezentacijos, kurios savo ruožtu veikia kaip „minties kalbos“ simboliai; o psichiniai procesai ar būsenos būtų priežastinės sekos, vadovaujamos simbolių sintaksinėmis (ir nesemantinėmis) savybėmis. Fodoras taip pat gynė įgimtos privačios kalbos, kuri skiriasi nuo kitų natūralių kalbų ar žmonių kalbų, egzistavimą.

Vidinė kalba vs. natūralus

Asmeninė ir įgimta kalba būtų naudojama atliekant skaičiavimus ir skaičiavimus, kurie yra žmogaus elgesio pagrindas.. Norėdami paaiškinti savo egzistavimą, Fodoras naudoja panašumą su kalbomis, kurias vartoja kompiuteris: įvesties kalba (įvestis) ir išvestis (išvestis), kurias mes naudojame įvesti duomenis ir nuskaityti tuos, kuriuos pateikia kompiuteris grįžti; tai yra tai, kaip kompiuteris bendrauja su savo aplinka.

Šios dvi įvesties ir išvesties kalbos yra priešingos mašininei kalbai, kurią kompiuteris supranta ir su kuria atlieka skaičiavimus bei operacijas. Tarp abiejų kalbų yra vadinamosios kompiliatorių programos, kurios veikia kaip tarpininkai ar vertėjai tarp jų.

Fodorui asmeninę žmonių kalbą galima palyginti su mašinų kalba; todėl viešosios kalbos arba natūralios kalbos (ispanų, anglų, prancūzų ir kt.) būtų panašios į kompiuterių programavimo kalbas. Na, ši minties kalba būtų vidinė ir prieš viešąsias ar natūralias kalbas, kaip tai atsitinka su kompiuterio kalba, kuri turi būti anksčiau įdiegta į bet kurią įvesties / išvesties kalbą.

Teorijos kritika

Fodor ir apskritai skaičiavimo idėjos pastaruosius kelerius metus nebuvo kritikos.. Nors yra priimta mintis, kad psichinės būsenos yra tyčinės, kai kuriems mokslininkams taip yra diskutuotina tai, kad šiais vaizdais manipuliuojama atliekant skaičiavimus ir skaičiavimai.

Filosofas Danielis Dennettas mano, kad skaičiavimo proto teorija yra empiriškai maža tikėtina, nes smegenys, manipuliuojančios skaičiavimo simboliais, neatrodo visiškai biologinis. Tačiau jis pasisako už „neuroninį determinizmą“, kuris reiškia prielaidą, kad neuronų veikla yra prieš „laisvus“ sprendimus ir kad sąmonė tai tik epifenomenas, kuris geriausiu atveju turi evoliucinę funkciją - prisitaikymo prie proceso kontrolės ir priežiūros mechanizmas. pusė.

Kita vertus, filosofas Patricia S. Bažnyčios kraštas taip pat kritiškai vertina skaičiavimo postulatus ir mano, kad įgimtos minties kalbos atsiradimas to nedaro atrodo labai jautrus evoliucijos sumetimams, nes sistema turi veikti formaliomis ar sintaksinėmis taisyklėmis manipuliuoti reprezentacijomis, o kiekvienas simbolio reikšmės aspektas, turintis įtakos psichologiniam apdorojimui, turi būti oficialus užkoduota.

Jei kognityvinė sistema veikia išimtinai pagal sintaksinius principus, ji negali prieiti prie jos kontekstai, kurie natūralia kalba padeda pašalinti dviprasmybes skirtingomis " baigtas. Taip pat, jei kiekvieną psichinę būseną reikia suprasti kaip tam tikrą sakinio saugojimo ar apdorojimo formą Mąstymo kalba žmonėms reikėtų begalinio skaičiaus sakinių, saugomų mūsų protas.

Trumpai tariant, išlieka intencionalumo pobūdžio problema, kuri dar nėra iki galo išspręsta., nepaisant skaičiavimo teorijos bandymų proto / kompiuterio metafora parodyti, kad fizinės sistemos gali atsirasti dėl tyčinių būsenų.

Bibliografinės nuorodos:

• Horstas, S. (1999). Simboliai ir skaičiavimas yra kompiuterinės proto teorijos kritika. Protas ir mašinos, 9 (3), 347-381.

• Horstas, S. (2011). Kompiuterinė proto teorija. Stanfordo filosofijos enciklopedija.

• Ludwigas, K. ir Schneideris, S. (2008). Fodoro iššūkis klasikinei skaičiavimo proto teorijai. Protas ir kalba, 23 straipsnio 1 dalis, 123–143.

• Pinker, S. (2005). Taigi, kaip veikia protas? Protas ir kalba, 20 straipsnio 1 dalis, 1–24.