Balázs, Béla
Marco Vallora
Pseudonimo di Hermann Bauer, scrittore, teorico del cinema e sceneggiatore ungherese, nato a Szeged il 4 agosto 1884 e morto a Budapest il 17 maggio 1949. Con capillare completezza [...] stessi concetti e riuscendo a modularli con preziose variazioni formali, riadattando gli argomenti ai contesti cambiati, ponendo in scena il tessuto problematizzato della sua logica in progress. Adottando una prospettiva antropologico-culturale, fu ...
Leggi Tutto
geometria non euclidea
geometria non euclidea geometria basata sulla negazione di uno o più postulati euclidei. La locuzione è tuttavia generalmente riservata, per le notevoli implicazioni storiche, [...] e quindi decade. In realtà egli non ha trovato incongruenza logica tra le premesse poste come base del processo deduttivo e le è stato riformulato da F. Klein nelle seguenti teorie formali:
• geometria parabolica o geometria euclidea, che comprende ...
Leggi Tutto
I cristianesimi nella storia
Alberto Melloni
Ogni sete di conoscenza, inclusa quella di conoscenza storica, nasce da una spinta complessa: intellettuale, politica, psicologica, spirituale, che la pratica [...] un libro di storia accurato, con dedica e clausole formali per raccontare ordinatamente la storia di Gesù nel suo percorso alla riproposizione di una conoscenza del passato unificata da logiche confessionali o di potere confessionale. È su questo ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
Luigi Carlo Schiavi
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
Tentare una ricognizione a largo raggio della storia del design è piuttosto pericoloso; [...] , oggetti d’uso e gioielli di altissima qualità formale e pensati per un pubblico altoborghese e sofisticato. a essere fabbricati in serie nel 1856, e le cui logiche produttive trovano un’applicazione oltreoceano nel settore automobilistico con l’ ...
Leggi Tutto
predicati, linguaggio dei
predicati, linguaggio dei linguaggio formale in cui è possibile rappresentare simbolicamente frasi espresse nel linguaggio naturale aventi una struttura più elaborata degli [...]
Il linguaggio dei predicati costituisce l’apparato linguistico del calcolo dei → predicati, sistema formale che, traducendo una argomentazione logica in un procedimento deduttivo formalizzato, permette di studiare il processo di ragionamento in ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
Maria Conforti
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
I teoremi d’incompletezza di Gödel del 1931 sono i risultati più profondi e spettacolari [...] i due teoremi d’incompletezza decretano il duplice fallimento del progetto fondazionale del logicismo e del formalismo: il primo teorema infirma il progetto logicista di Gottlob Frege e poi di Bertrand Russell di esprimere tutti i concetti matematici ...
Leggi Tutto
quantificatore
quantificatore in logica, termine che indica il corrispettivo formale di locuzioni quali «per ogni», «esiste», «esiste un» ecc. L’introduzione di quantificatori in una scrittura formale [...] è stato un giorno di marzo in cui non è piovuto». Si ottengono quindi le seguenti equivalenze logiche:
• ￢∀xP(x) equivale a ∃x￢P(x)
• ￢∃xP(x) equivale a utili per la semplificazione delle scritture formali. Tra questi, il particolare quantificatore ...
Leggi Tutto
logica intuizionista
logica intuizionista teoria logica nata nel contesto dell’→ intuizionismo, filosofia della matematica elaborata da L.E.J. Brouwer nel 1907. Secondo Brouwer in matematica sono da [...] del sequente è: «dalle premesse Γ segue la conclusione B».
Nel calcolo dei sequenti vengono rappresentate formalmente le dimostrazioni della logica intuizionista nel modo seguente: si parte da uno o più assiomi e si arriva, applicando le regole ...
Leggi Tutto
interpretazione
Il termine copre una molteplicità di usi, tutti più o meno riconducibili a un procedimento di decodifica di un testo (per es., della Bibbia), di un simbolo o anche di un comportamento [...] un approccio semantico al linguaggio (Introduction to semantics, 1942), ma solo in quella prospetti- va formale (➔ oltre: Interpretazione e logica) che Morris intendeva appunto ampliare in una più comprensiva visione pragmatica del problema del ...
Leggi Tutto
Godel, teorema di
Gödel, teorema di teorema che riguarda l’incompletezza di un’ampia classe di teorie formali, tra cui la teoria formale dell’aritmetica (→ aritmetica, sistema formale per la). Costituisce [...] contributo di K. Gödel alla logica del Novecento. Si tratta in realtà di due teoremi che concernono: a) l’incompletezza delle teorie formali, b) l’impossibilità di dimostrare all’interno delle teorie formali la loro coerenza. Il primo risultato ...
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...