Logica e filosofia della scienza - scienze cognitive

Scienze cognitive

Def. Ricerche interdisciplinari finalizzate allo studio scientifico della mente umana -> Esagono Cognitivo. Di recente, lo studio scientifico della cognizione (inteso come insieme di processi di acquisizione e elaborazione di informazioni) è stato esteso anche a sistemi non umani/artificiali.

Teoria scientifica della mente

Le scienze cognitive servono a dare un contributo per la costruzione di una teoria scientifica della mente. Il concetto moderno di mente è il suo aspetto più razionale, che è al centro della riflessione di Cartesio (importante ruolo durante la Rivoluzione scientifica). Egli si chiese "qual è il posto della Mente nella Natura?". Egli operò su due piani:

• Della scienza -> fu un contributo per la matematica, la cinematica moderna e per la meccanicistica.
• Delle indagini filosofiche sulla mente -> primo che pensò la mente = luogo esclusivo di razionalità (affrontò in modo esplicito il rapporto mente/corpo).

Obiettivi di Cartesio:

• Giustificazione della conoscenza
• Fondamenti dell'attività razionale.

Egli vuole dimostrare -> la mente esiste, la mente è indipendente dalla materia.

Comportamentismo

(900) (descrizione fisica della MT o del cervello) Oggetto studio: il comportamento osservabile della mente, analizzato in termini di stimolo/risposta. --> Atteggiamento empirista. Watson -> psicologia = scienza oggettiva, suo scopo -> controllo del comportamento.

Modello di analisi: Input(stimolo) --> MENTE(scatola nera) --> Output(risposta comportamentale). Modello inadeguato per lo studio dell'apprendimento del linguaggio!

Chomsky: non si può lasciare la mente come una scatola nera, bisogna considerare il livello mentale (interno).

Modello di analisi: Input --> LIVELLO DELLE RAPPRESENTAZIONI (regole, simboli..) --> Output. Questo livello intermedio serve a spiegare la varietà del comportamento umano e l'aspetto creativo del linguaggio. --> Contributo alla concezione computazionale della mente.

Computare= rielaborare un insieme di dati al fine di presentarli in una forma di + diretta comprensione.

Macchina di Turing

(1937) è un computer che realizza un modello di calcolo e ha una proprietà importante per le scienze cognitive ->l'Universalità. --> La MTU può simulare la computazione di MT con argomento qualsiasi x. "Se MTU può codificare qualsiasi possibile istruzione di MT, allora in questo caso la computazione di MTU(x)=MT(x)". Qualunque calcolatore con memoria capiente può manipolare dei simboli e quindi recitare la parte di MTU. Conseguenza per la teoria della computabilità -> è irrilevante quale MT calcola!

Implicazione: se la mente ha una struttura computazionale, allora essa è indipendente dalle sue basi materiali.

Tesi alle origini delle scienze cognitive

1. Natura computazionale della cognizione, processi cognitivi = elaborazioni computazionali di info.
2. Carattere astratto delle computazioni, tale elaborazione non dipende dal supporto materiale.

Ciò implica: --> Principio di Realizzabilità Multipla (PRM): un processo cognitivo si può realizzare in più sistemi cognitivi (umani e artificiali). Tale principio favorisce la ricerca per l'Intelligenza Artificiale (filone di scienze cognitive che riproduce le nostre capacità cognitive con programmi adeguati). Slogan --> hardware:software = cervello:mente (INDIPENDENZA della mente dalla sua struttura materiale).

Alan Turing e IA

Affronta il problema del rapporto menti/macchine con un esperimento ideale: Gioco dell'Imitazione: "Possono pensare le macchine?" Se la macchina riesce a rispondere istintivamente come se fosse un uomo allora le macchine pensano. Finora nessuna macchina ha superato il Test di Turing.

Procedimento effettivo (algoritmo)

È un concetto intuitivo, un procedimento per essere descrivibile deve avere una combinazione di un numero finito di sottoprocedimenti. Solo le teorie ricorsive sono calcolabili tramite procedimenti effettivi. E la macchina di Turing sa calcolare qualsiasi funzione ricorsiva. --> Tesi di Church: qualunque procedimento effettivo è eseguibile da una macchina di Turing.