Seguici    
Accedi

Effettua il LOGIN

Hai dimenticato la password?
REGISTRATI ADESSO!

oppure accedi tramite...

 

Roncaglia: il valore in logica.

Roncaglia: il valore in logica.

Gino Roncaglia spiega come in logica il concetto di valore sia strettamente legato a quello di variabile. La variabile è un segno a cui, attraverso una certa interpretazione, viene assegnato un valore all'interno di un dominio di valori possibili. Il logico Willard Quine affermava che “l'esistenza ...

Leggi tutto

Lorenzo Magnani: logica e possibilità

Lorenzo Magnani: logica e possibilità

Di cosa si occupa, fondamentalmente, la logica? Secondo Lorenzo Magnani si occupa di studiare i ragionamenti in modo che, partendo da premesse vere, si arrivi a conclusioni ugualmente vere. Ci sono argomentazioni umane che hanno a che fare con locuzioni del tipo “è possibile che...“ oppure “è necessario ...

Leggi tutto

Numerico: la verità dalla logica al linguaggio.

Numerico: la verità dalla logica al linguaggio.

Teresa Numerico spiega come i risultati negativi ottenuti da Gödel e da Turing (rispetto al programma fondazionalista di Hilbert) portarono von Neumann e lo stesso Turing a conclusioni profondamente diverse da quelle di Hilbert, in particolare tramite i loro studi sulla computazione.  Il test ...

Leggi tutto

Tagliagambe: il tramonto della verità.

Tagliagambe: il tramonto della verità.

Nell'intervista il filosofo dell scienza Silvano Tagliagambe spiega come nel corso del tempo si sia passati da una concezione statica della verità a una concezione dinamica, vista come processo di accrescimento e di approssimazione al vero.  Da tale punto di vista non ha tanto importanza dire se ...

Leggi tutto

Tagliagambe: verità semiotica sintattica

Tagliagambe: verità semiotica sintattica

Silvano Tagliagambe, filosofo della scienza, ci parla della differenza tra la nozione semantica di verità e quella sintattica. “Una proposizione è vera se dice della realtà ciò che deve essere detto”, dice Aristotele, ma poiché il nostro accesso alla realtà e all'esperienza è sempre mediato dal linguaggio, ...

Leggi tutto

La Macchina di Turing.

La Macchina di Turing.

Concepita negli anni Trenta per rispondere al problema della decidibilità di David Hilbert, la Macchina di Turing (o MdT) è un congegno teorico per manipolare dati che scorrono su un nastro di lunghezza infinita, secondo uno schema stabilito di regole. Nonostante la (o grazie alla) sua semplicità, ...

Leggi tutto

Il test di Turing: una macchina può pensare?

Il test di Turing: una macchina può pensare?

Nel 1950 il logico Alan Turing scrisse un articolo intitolato Computing machinery and intelligence. Vi si chiedeva: come stabilire se una macchina può pensare? Uno dei primi quesiti su quella che poi verrà chiamata Intelligenza Artificiale. Con la locuzione macchina intelligente Turing intendeva una ...

Leggi tutto

Alan Turing. L`uomo e la Macchina.

Alan Turing. L`uomo e la Macchina.

In Inghilterra si festeggia il centenario della nascita dell'uomo che ha posto le basi dell'informatica: Alan Mathison Turing, nato a Londra il 23 giugno 1912. Insieme con Teresa Numerico – autrice di Alan Turing e l'intelligenza delle macchine (FrancoAngeli, 2005) e ricercatrice in Logica e Filosofia ...

Leggi tutto

I misteri dei numeri

I misteri dei numeri

Da dove nasce la matematica? I cerchi, i triangoli, i numeri esistono come entità autonome e sono lì per essere scoperte o siamo noi ad averle inventate? Un platonista come René Thom, matematico e filosofo, sostiene l’esistenza delle entità numeriche indipendentemente dalla nostra mente. Tale “realismo ...

Leggi tutto

Storia dei numeri

Storia dei numeri

Una delle conquiste più importanti dell’uomo è senza dubbio la scrittura dei numeri. Poiché i numeri sono infiniti, non si può avere un simbolo per ogni numero. Perciò sono stati inventati, in tempi diversi e in popolazioni diverse, molti sistemi di numerazione. Con queste parole Luciano Onder introduce ...

Leggi tutto