STORIA DELLA MATEMATICA

Enciclopedia della Matematica (2013)

STORIA DELLA MATEMATICA Luigi Borzacchini STORIA DELLA MATEMATICA Il tempo della scienza senza tempo La matematica è la più antica e la più immutabile delle discipline. Si può dire che la matematica [...] , un alfabeto del pensiero umano», connaturata all’arte umana della scoperta, l’ars inveniendi, quasi un metalinguaggio rispetto al linguaggio aritmetico o algebrico. Anche per Leibniz gli infinitesimi non esistono realmente, tuttavia l’infinitamente ... Leggi Tutto

TAGS: PHILOSOPHIAE NATURALIS PRINCIPIA MATHEMATICA – METODO DEI MOLTIPLICATORI DI LAGRANGE – ACCADEMIA DELLE SCIENZE DI BERLINO – TEOREMA FONDAMENTALE DELL’ALGEBRA – MEDITATIONES DE PRIMA PHILOSOPHIA

I GENERI MUSICALI

XXI Secolo (2009)

La querelle sui generi musicali che ha caratterizzato il ventennio a cavallo tra la fine del 20° e i primi anni del 21° sec. può essere ricondotta a una serie di ragioni che investono livelli diversi del [...] il superamento dei generi tradizionali per crearne di nuovi, concepiti ad hoc, quando la sintesi è operata da un metalinguaggio condiviso – la tonalità –, da forme familiari a livello mondiale per la loro diffusione commerciale – la canzone pop, le ... Leggi Tutto

CATEGORIA: TEMI GENERALI

Diritto, filosofia e teoria generale del

Enciclopedia delle scienze sociali (1993)

Diritto, filosofia e teoria generale del Riccardo Guastini Il campo della disciplina Le mobili frontiere della filosofia del diritto "Il cercare una qualsiasi definizione di filosofia del diritto - [...] questo modo la giurisprudenza e la teoria del diritto vengono da Bobbio ridotte a "discorsi sopra un discorso": metalinguaggi descrittivi, il cui linguaggio-oggetto è il discorso prescrittivo del legislatore (v. Bobbio, in Scarpelli, 1976; v. anche ... Leggi Tutto

CATEGORIA: DIRITTO CIVILE

TAGS: FILOSOFIA DELLA SCIENZA – SEPARAZIONE DEI POTERI – DIRITTO COSTITUZIONALE – ORDINAMENTO GIURIDICO – FILOSOFIA ANALITICA

Tarski, Alfred

Enciclopedia on line

Logico, matematico e filosofo di origine polacca (Varsavia 1901 - San Francisco 1983), naturalizzato statunitense. Considerato uno dei massimi esponenti della Scuola logica polacca, fu autore di fondamentali [...] di "enunciato vero" rispetto a un linguaggio-oggetto dato e a elaborare i conseguenti problemi relativi al metalinguaggio (Der Wahrheitsbegriff in den formalisierten Sprachen, in Studia philosophica, vol. I, 1935-36; una formulazione divulgativa e ... Leggi Tutto

CATEGORIA: BIOGRAFIE

TAGS: TEORIA DEGLI INSIEMI – LOGICA MATEMATICA – LINGUAGGI FORMALI – METAMATEMATICA – SAN FRANCISCO

MODERNITÀ

Enciclopedia del Cinema (2004)

Modernità Giorgio De Vincenti La modernità nel cinema Il concetto di m. applicato al cinema è stato a lungo sinonimo di modernizzazione: il cinema è l'arte moderna per eccellenza in quanto si basa su [...] della m., la caduta di ogni fideistica certezza, il dissolvimento di 'tutto ciò che è solido'. Bipolarità riproduzione/metalinguaggio: Zavattini e Pasolini Si può dire che la solidità questo cinema la trovi ‒ modernamente ‒ nel gesto problematico da ... Leggi Tutto

CATEGORIA: MOVIMENTI CORRENTI E TEORIE

TAGS: NEOREALISMO CINEMATOGRAFICO – RAINER WERNER FASSBINDER – MICHELANGELO ANTONIONI – SCUOLA DI FRANCOFORTE – JUNGER DEUTSCHER FILM

semantica

Enciclopedia on line

semantica Ramo della linguistica che si occupa dei fenomeni del linguaggio non dal punto di vista fonetico e morfologico, ma guardando al loro significato. Il termine fu coniato da M. Bréal nel 1883 come [...] cose stanno appunto così». Secondo Tarski, per evitare paradossi come il ‘mentitore’ è necessario formulare la definizione in un metalinguaggio distinto dal linguaggio oggetto al quale si applica il concetto di verità. Non si definisce la verità in ... Leggi Tutto

CATEGORIA: LINGUISTICA GENERALE – LOGICA MATEMATICA

TAGS: TEORIA DELLA DIMOSTRAZIONE – FILOSOFIA DEL LINGUAGGIO – GRAMMATICA GENERATIVA – TEORIA DEGLI INSIEMI – LOGICA INTUIZIONISTA

sistema ipotetico deduttivo

Enciclopedia della Matematica (2013)

sistema ipotetico deduttivo sistema ipotetico deduttivo locuzione con cui si indica una determinata modalità di strutturare una teoria scientifica. In un sistema ipotetico deduttivo sono assunti come [...] , fra cui l’assenza di una vera e propria distinzione fra il linguaggio oggetto della teoria in esame e il metalinguaggio (cioè il linguaggio utilizzato per parlare della teoria stessa) e fra l’aspetto semantico e l’aspetto sintattico del sistema ... Leggi Tutto

TAGS: GEOMETRIE NON EUCLIDEE – CALCOLO COMBINATORIO – ASSIOMI DI → HILBERT – SISTEMA ASSIOMATICO – GEOMETRIA EUCLIDEA

Scienza indiana. La scienza nella cultura indiana

Storia della Scienza (2001)

Scienza indiana. La scienza nella cultura indiana Frits Staal La scienza nella cultura indiana Il concetto di scienza e la classificazione delle scienze Per designare le conoscenze sistematiche indiane [...] yaṇ aci. Questo caso elementare dimostra che Pāṇini, al contrario dei matematici indiani, seppe conferire al metalinguaggio della sua grammatica un elevato grado di artificialità, elaborando una serie di costituenti artificiali, creando un meccanismo ... Leggi Tutto

CATEGORIA: FILOSOFIA DEL LINGUAGGIO – TEMI GENERALI – STORIA DELLA MATEMATICA – STORIA DEL PENSIERO FILOSOFICO

La seconda rivoluzione scientifica: matematica e logica. Le logiche modali

Storia della Scienza (2004)

La seconda rivoluzione scientifica: matematica e logica. Le logiche modali Fabio Bellissima Paolo Pagli Le logiche modali L'Organon di Aristotele, atto di nascita della logica formale, comprende, oltre [...] 'sempre', 'talvolta', e così via). In tale corrispondenza le modalità equivalgono a quantificazioni sui modelli e hanno luogo quindi nel metalinguaggio. Se però ci riferiamo a un singolo modello M, allora una tautologia è vera in M come lo è una ... Leggi Tutto

CATEGORIA: STORIA DELLA MATEMATICA

modalità

Enciclopedia on line

Matematica Nella logica, ciascuno dei modi con cui può configurarsi il nesso fra soggetto e predicato. Nella sillogistica aristotelica, i giudizi erano distinti a seconda che il nesso che univa il soggetto [...] H») viene abbreviata con MH o con ◊H (si legge «è possibile che H»); cioè la m. di possibilità è definita nel metalinguaggio a partire dalla m. di necessità e dalla negazione. Nei vari sistemi di logica modale enunciativa gli assiomi e le regole sul ... Leggi Tutto

CATEGORIA: LOGICA

TAGS: LINGUAGGIO FORMALE – LOGICA MATEMATICA – ETNOMUSICOLOGIA – SILLOGISTICA – ARISTOTELICA