Filosofo della scienza (n. Bergamo 1934); allievo di G. Bontadini, è stato prof. di filosofia della scienza dal 1970 nell'univ. di Genova, dal 1979 ordinario e attualmente prof. di filosofia teoretica. [...] Tra le sue opere: La logicasimbolica (1964); Temi e problemi di filosofia della fisica (1969); La geometria non euclidea e i fondamenti della geometria (1978); Il bene, il male e la scienza (1992); Cultura scientifica e interdisciplinarità (1994); ...
Leggi Tutto
Nella logica formale, detto di termine che ha un significato preso isolatamente (contrapposto a sincategorematico). Termini c. sono sostantivi, verbi, aggettivi. Tale distinzione si mantiene nella logica [...] simbolica, salvo varianti terminologiche (talora i termini c. vengono detti propri, e i sincategorematici impropri o incompleti); i termini c. si distinguono in soggetti, predicati, enunciati, quelli sincategorematici in connettivi e operatori. ...
Leggi Tutto
In arte e architettura, persona od oggetto che l’artista ritrae o riproduce, oppure esemplare preparatorio dell’opera finale. Nel linguaggio scientifico, costruzione schematica, puramente ipotetica o realizzata [...] suo linguaggio L si dà un’interpretazione in una struttura costituita da un dominio di individui e, per ciascun simbolo non logico di L, da opportuni enti relativi a quel dominio. Per es., se T è il sistema assiomatico di Peano, T potrà acquistare ...
Leggi Tutto
SIMBOLO (dal gr. συμβάλλω "metto insieme", da cui σύμβ)
Emilio SERVADIO
Gioacchino MANCINI
Nicola TURCHI
Con questo termine s'indica, genericamente, un segno, un'immagine o un oggetto che ne rappresenta [...] logica riassuntiva.
Religione. - In virtù del significato di congiunzione implicito nella sua etimologia, il simbolo vogliono mostrare come l'anima sia giunta al porto della salvezza. Simboli sono anche i varî monogrammi formati o con le iniziali I e ...
Leggi Tutto
Peano
Peano Giuseppe (Cuneo 1858 - Torino 1932) matematico e logico italiano. La sua produzione scientifica (una ventina di libri e oltre quattrocento articoli) tocca in modo originale diversi rami della [...] matematica: dall’analisi alla logica, dalla critica dei principi ai fondamenti della matematica, dalla geometria al calcolo e teoremi con dimostrazione, tutti scritti in forma simbolica con la collaborazione di allievi. Influenzato dall’ideale ...
Leggi Tutto
Cibernetica
Ernest H. Hutten
di Ernest H. Hutten
Cibernetica
sommario: 1. Introduzione storica. 2. L'epistemologia delle macchine. 3. La struttura informativa delle macchine. 4. Sistema, processo, informazione [...] ). Church, nel 1936, ha dimostrato che l'Entscheidungsproblem è insolubile nel caso di un qualsiasi sistema Λ di logicasimbolica che sia ω-coerente e che sia abbastanza forte da consentire certi metodi relativamente semplici di definizione e di ...
Leggi Tutto
Visione artificiale
Pietro Parodi
(Scuola Internazionale di Studi Superiori Avanzati, Trieste, Italia)
Vincent Torre
(Scuola Internazionale di Studi Superiori Avanzati, Trieste, Italia)
La visione artificiale, [...] e sullo sviluppo di sistemi inferenziali analoghi a quelli di grande successo del calcolo dei predicati e della logicasimbolica in generale. Il titolo del lavoro di Huffman, Impossible objects as nonsense sentences (Oggetti impossibili visti come ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Le scuole di filosofia della matematica
Solomon Feferman
Le scuole di filosofia della matematica
I più importanti programmi di fondazione della [...] opere di Cantor e di Peano: dal primo attraverso la sua teoria delle classi; dal secondo mediante la sua logicasimbolica. Russell aveva incontrato Peano nel 1900 e fu colpito dalla precisione del suo approccio. Russell elaborò la propria sintesi ...
Leggi Tutto
CECCATO, Silvio
Felice Accame
Nacque a Montecchio Maggiore (Vicenza) il 25 gennaio del 1914. Secondo figlio dell’avvocato Riccardo Ceccato e di Maria Ferrarin, appartenente a una famiglia di industriali [...] , ma non la diffusione delle idee dei tre fondatori. Non sorprende, allora che, nel 1952, la sezione di logicasimbolica venne abolita e che Methodos venne ribattezzata rivista di metodologia e analisi del linguaggio, formula destinata a cambiare ...
Leggi Tutto
Esorcismo
Marco Margnelli e Vittorio Lanternari
L'esorcismo (dal latino tardo exorcismus, greco ἐξορκισμός, composto di ἐξ, rafforzativo, e ὅρκος, "giuramento") è lo scongiuro mediante il quale con [...] e il mondo dei presupposti mentali su cui poggia appartengono a un pensiero tipicamente mitico, nel quale domina la logicasimbolica, distinta da quella razionale propria del pensiero scientifico-matematico. L'esorcismo avviene, dunque, secondo modi ...
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,...
simbolico
simbòlico agg. [dal lat. tardo symbolĭcus, gr. συμβολικός, der. di σύμβολον «simbolo»] (pl. m. -ci). – 1. Che ha natura e valore di simbolo: numeri, segni s.; il linguaggio s. della matematica; un atto, un gesto s.; in partic., azioni...