Scienza cognitiva
Antonio Rainone
Con la locuzione scienza cognitiva, dalla fine degli anni Settanta, si è soliti designare l'insieme delle discipline che hanno per oggetto lo studio dei processi cognitivi [...] (come, per es., nell'epistemologia genetica di J. Piaget) di quelle regole e procedure formali o sintattiche codificate dalla logica classica -, quanto piuttosto sulla costruzione di modelli provvisti di contenuto semantico. Così, il primo passo ...
Leggi Tutto
LINGUAGGI PROGRAMMATIVI
Carlo Ghezzi
I l. p. (o linguaggi di programmazione) costituiscono il mezzo linguistico tramite cui gli elaboratori possono essere programmati. Essi costituiscono pertanto lo [...] ed è prassi ormai consueta che essa venga definita in maniera formale, per es. ricorrendo alla BNF, la semantica è a tutt se a queste operazioni non appare facile attribuire un significato logico in quanto operazioni su una lunghezza. I linguaggi di ...
Leggi Tutto
Informatica teorica
Giorgio Ausiello
Con l'espressione informatica teorica ci si riferisce a un complesso di discipline scientifiche aventi per oggetto lo studio formale degli strumenti, dei metodi [...] negli anni Settanta e Ottanta, gli anni Novanta hanno visto le prime concrete applicazioni dei metodi basati sulla logicaformale a casi reali di dimensioni medio-grandi (come le verifiche di correttezza di microprogrammi), grazie alla realizzazione ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
La cibernetica
Roberto Cordeschi
Teresa Numerico
Le origini
Il termine cibernetica fu coniato dal matematico Norbert Wiener (1894-1964), che nel 1948 pubblicò negli Stati Uniti un libro destinato ad [...] loro natura specifica (cervelli, organismi sociali, reti logiche,...) (Premessa, «La ricerca scientifica», cit., p 1992). Procuste avrebbe dovuto essere in grado di analizzare in modo formale ‘parole’ di un linguaggio nel senso più lato (quelle di ...
Leggi Tutto
logica
lògica (ant. lòica) s. f. [dal lat. logĭca, gr. λογική (sottint. τέχνη «arte»), dall’agg. λογικός: v. logico1]. – 1. Nel pensiero greco classico, la scienza del logos, ossia del pensiero in quanto viene espresso; in partic., in Aristotele,...
logicismo
s. m. [der. di logica, logico1]. – 1. a. In senso ampio, ogni dottrina che pone la logica a fondamento della filosofia, o le assegna comunque un posto preponderante in questa disciplina. b. In filosofia della matematica, indirizzo...