Fulvio Irace
Auditorium
Dove il progetto dello spazio sposa l'arte del suono
Le architetture per la musica di Renzo Piano
di Fulvio Irace
21 aprile
Si inaugura a Roma, con un concerto dell'orchestra e [...] di conseguenza il tempo di riverberazione dei suoni, modificando l'invaso dello spazio. Assoggettata all'esterno alla rigorosa logicaformale della fabbrica di Mattè Trucco, la sala del Lingotto sfrutta dunque la sorpresa di un ambiente prezioso per ...
Leggi Tutto
Cognitivi, processi
Domenico Parisi
La psicologia cognitiva
Il termine 'cognitivo', benché derivato originariamente dal latino, è stato importato nella letteratura scientifica italiana dalla lingua [...] azione complessiva. Infine, mentre le radici storiche dell'intelligenza artificiale e della stessa informatica sono nella logicaformale o simbolica e negli studi sui fondamenti della matematica, il connessionismo sembra ispirarsi piuttosto, oltre ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Il Bourbakismo
Jean-Paul Pier
Il Bourbakismo
L'avvento e l'influenza di Bourbaki costituiscono uno dei fenomeni più sorprendenti nella matematica [...] enunciare correttamente le regole del gioco, il contesto in cui si opera. Il punto di partenza è costituito dalla logicaformale e dalla teoria degli insiemi. Le strutture sono classificate in ordine di complessità crescente. È così che all'inizio ...
Leggi Tutto
La grande scienza. Automi e linguaggi formali
Dominique Perrin
Automi e linguaggi formali
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. [...] teoria degli automi finiti a parole infinite (v. oltre); l'altra, lo studio dei legami tra teoria degli automi e logicaformale. In questo quadro, Büchi ha dimostrato che i linguaggi razionali sono precisamente quelli che si possono definire in un ...
Leggi Tutto
Automi e linguaggi formali
Dominique Perrin
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. Tali successioni si presentano in situazioni [...] l'estensione della teoria degli automi finiti a parole infinite, l'altra lo studio dei legami tra teoria degli automi e logicaformale. In questo quadro, Büchi ha dimostrato che i linguaggi razionali sono proprio quelli che si possono definire in un ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero: Filosofia (2012)
Girolamo Cardano
Guido Canziani
Nell’opera di Cardano sono rappresentate tutte le discipline di cui si compone la cultura rinascimentale, secondo un ambizioso disegno enciclopedico, che include la filosofia [...] ), a cura di M. Baldi, G. Canziani, Milano 2003.
F. La Nave, Logicaformale e dialettica nella filosofia di Girolamo Cardano, Romae 2004.
F. La Nave, Logica e metodo scientifico nelle “Contradictiones logicae” di Girolamo Cardano con l’aggiunta del ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
Paideia
Giuseppe Cambiano
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
Con il termine paideia si indica il processo educativo dei giovani nell’antica [...] modalità con le quali i vari specialisti costruiscono le proprie argomentazioni o dimostrazioni e quindi la struttura logicaformale dei loro discorsi. In questo senso il pepaideumenos è avvicinabile al dialettico, che non costruisce scientificamente ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
Paradossi e antinomie
Roberto Limonta e Rolando Longobardi
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
Accanto all’analisi sistematica delle teorie [...] tra le molte lacune, appare chiaro come Crisippo respinga la soluzione aristotelica (cfr. Questioni logiche, Pherc307, in J. M. Bochenski, La logicaformale dai presocratici a Leibniz, Torino, Einaudi, 1972, p. 179).
Le molteplici varianti, in forma ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
Umberto Eco
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
La tradizione scolastica prosegue durante tutto il Seicento. I luoghi in cui si sviluppa [...] vertono principalmente sull’analisi filosofica del linguaggio; pochi sono gli sviluppi della logicaformale. Per quanto riguarda le fonti, fermo restando che la base resta l’Organon, e in particolare gli Analitici di Aristotele, le grandi conquiste ...
Leggi Tutto
Espressione con la quale comunemente si indica l’ambito della ricerca filosofica che ha per oggetto la riflessione critica sulla natura, le metodologie e le implicazioni culturali, politiche, morali, religiose, [...] fisica quantistica e relativistica, del procedere dell’indagine sui fondamenti della matematica e sull’assiomatizzazione della logicaformale, fu formulato dal gruppo assai composito di filosofi e scienziati che si raccolsero, nel primo dopoguerra ...
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,...
formale1
formale1 agg. [dal lat. formalis]. – 1. Nel linguaggio filos., della forma, che concerne la forma o è inerente alla forma, in stretta connessione con il sign. e lo svolgimento di questo termine in filosofia. a. Nella distinzione aristotelica...