teoria
Enciclopedia on line
Filosofia
Formulazione logicamente coerente di un insieme di definizioni, principi e leggi generali che consente di descrivere, interpretare, classificare, spiegare fenomeni di varia natura.
Le domande [...] certo rilievo presentano alcune recenti analisi semantiche delle t., intese come sistemi assiomatici, nei termini della teoria logico-matematica dei modelli. Tali analisi, per le quali la distinzione teorico-osservativo ha perduto la centralità che ...
Leggi Tutto
CATEGORIA:
TEMI GENERALI
identità
Enciclopedia on line
identità Termine filosofico indicante in generale l’eguaglianza di un oggetto rispetto a sé stesso.
Filosofia
Principio di i. Viene così chiamato il principio che, insieme a quelli di non-contraddizione [...] cose in sé).
Con lo stesso nome (e quindi in dipendenza dal principio metafisico di Leibniz) si indica in logica matematica il principio secondo il quale se due individui hanno esattamente le stesse proprietà allora sono identici. Combinandolo con il ...
Leggi Tutto
combinatorio
Enciclopedia on line
Filosofia
G.W. Leibniz chiamò arte c. quella che R. Lullo aveva battezzato ars magna, e cioè il simboleggiamento dei vari concetti in segni geometrici o algebrici, tale che permettesse di combinarli reciprocamente [...] possibilità di simboleggiare i concetti in segni geometrici o algebrici si rifarà più tardi la logica matematica.
Informatica
Ottimizzazione combinatoria
Locuzione, usata anche nella ricerca operativa, per indicare quei problemi di ottimizzazione ...
Leggi Tutto
Frege, Gottlob
Enciclopedia on line
Filosofo e matematico tedesco (Wismar 1848 - Bad Kleinen, Meclemburgo, 1925); insegnò lungamente a Jena; erano gli anni in cui scienziati illustri come K. Weierstrass, J. W. R. Dedekind, G. Cantor davano [...] lavori di F. hanno notevole importanza, sia dal punto di vista filosofico sia da quello tecnico, nel quadro storico della logica matematica. Il valore della sua opera, pressoché ignorata in vita, fu pienamente riconosciuto solo dopo la sua morte. La ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Badiou, Alain
Enciclopedia on line
Badiou, Alain. – Filosofo, romanziere e drammaturgo francese (n. Rabat 1937). Docente dell’École normale supérieure dal 1999, poi professore emerito, direttore del Collège international de philosophie [...] condizione necessaria per la rinascita della filosofia. A partire da una concezione materialistica del mondo, formalizzabile in una logica matematica, e dal confronto con forme estetiche quali il cinema e il teatro, B. ha elaborato una teoria della ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
spiegazione
Enciclopedia on line
spiegazione In epistemologia, lo scopo distintivo della scienza o comunque uno degli obiettivi fondamentali dell’impresa scientifica. Uno dei meriti indiscutibili del positivismo logico è l’aver elaborato [...] quanto aspira a fornire un modello unico per i vari tipi di s., rigorosa in quanto formulabile nel linguaggio della logica matematica. Secondo la teoria di Hempel, a volte designata come «modello della legge di copertura» (covering law model), una s ...
Leggi Tutto
CATEGORIA:
EPISTEMOLOGIA
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 [...] teoria sui cardinali inaccessibili, in collab. con H. J. Kreisler (1964). Sia dal punto di vista della logica matematica sia da quello filosofico sono risultati fondamentali i suoi contributi alla semantica, originariamente indirizzati a fornire una ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Scholz, Heinrich
Enciclopedia on line
Teologo e logico (Berlino 1884 - Münster 1956). Prof. di teologia sistematica e filosofia della religione a Breslavia (1917-19), insegnò successivamente a Kiel, poi a Münster (dal 1928), dove nel 1943 [...] sostenendo la tesi che soltanto l'applicazione degli strumenti rigorosi della logica matematica ai problemi metafisici può permetterne una formulazione scientifica. In logica matematica si oppose sia al formalismo sia al costruttivismo, aderendo al ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Prior, Arthur Norman
Enciclopedia on line
Logico e filosofo inglese (Masterton 1914 - Oxford 1969), compì i primi studi in Nuova Zelanda. Prof. al Canterbury College di Christchurch (Nuova Zelanda), passò poi in Inghilterra, dove insegnò nell'univ. [...] partic. da J. Łukasiewicz), ha dato importanti contributi di logica matematica e storia della logica. Di grande rilievo le sue ricerche di logica temporale, cioè su quella branca della logica che studia asserzioni con operatori temporali, per es. "è ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Lewis, Clarence Irving
Enciclopedia on line
Filosofo e logico statunitense (n. Stoneham, Massachusetts, 1883 - m. 1964). Laureatosi alla Harvard University (1906), ha insegnato nell'università della California (1911-20) e quindi a Harvard fino al [...] privilegiato la teoria della conoscenza e la logica matematica. In quest'ultimo campo ha legato il suo nome all'introduzione della nozione di implicazione stretta, sulla cui base ha dato l'avvio agli studî di logica modale. Sul piano gnoseologico ed ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE