connettivo
Dizionario delle Scienze Fisiche (1996)
connettivo
connettivo [agg. e s.m. Der. di connettere (→ connesso) "elemento di congiunzione, di collegamento"] [FAF] C. logico: nella logica matematica, tipo di funzione di verità, cioè termine che [...] (negazione, congiunzione, disgiunzione, implicazione, ecc.) che alla verità o falsità di una o più proposizioni associa la verità o falsità di un'altra proposizione, costruita a partire dalle precedenti tramite il c. stesso: v. logica: III 483 c. ...
Leggi Tutto
Russell, Bertrand Arthur William, conte
Enciclopedia on line
Filosofo e logico britannico (Trelleck, Galles, 1872 - Pernhyndeudraeth 1970). Tentò di risolvere i paradossi da lui stesso individuati nei progetti di fondazione logica dell'aritmetica, ed elaborò - risentendo [...] , 1914, trad. it. 1966; The analysis of mind, 1921, trad. it. 1955; The analysis of matter, 1927, trad. it. 1964; Logic and knowledge: essays 1901-1950, 1956, trad. it. 1961). L'ulteriore filosofia di R. più che elaborare precise teorie fu dedicata ...
Leggi Tutto
Frege Gottlob
Dizionario delle Scienze Fisiche (1996)
Frege Gottlob
Frege 〈frég✄e〉 Gottlob [STF] (Wismar 1848 - Bad Kleinen, Meclemburgo, 1925) Prof. di matematica nell'univ. di Jena (1896). ◆ [FAF] Logica di F.: programma di riduzione della matematica [...] alla logica, esposto inizialmente da F. nel 1879 e poi sviluppato nei due volumi dei Grundgesetze der Arithmetik (1893, 1903): v. logica: III 482 d. ...
Leggi Tutto
Il Rinascimento. Il metodo e l'ordine del sapere
Storia della Scienza (2001)
Il Rinascimento. Il metodo e l'ordine del sapere
Cesare Vasoli
Il metodo e l'ordine del sapere
Prodromi di un dibattito
La ricostruzione del lungo dibattito cinquecentesco sui criteri fondamentali [...] del diritto, una sorta di filo di Teseo per orientarsi nel labirinto delle leggi e delle costituzioni e ancor più lo sarà la logica popolare, adattata all'uso della vita umana, di cui Ramo ci ha fatto dono (un dono divino), in una lingua chiarissima ...
Leggi Tutto
bicondizionale
Dizionario delle Scienze Fisiche (1996)
bicondizionale
bicondizionale [agg. e s.m. o f. Comp. di bi- e condizionale "che comporta due condizioni"] [FAF] Nella logica, la locuz. "se e soltanto se" (→ anche connettivo: C. logico). ...
Leggi Tutto
conseguenza
Dizionario delle Scienze Fisiche (1996)
conseguenza
conseguènza [Der. del lat. consequentia, da consequi (→ conseguente)] [FAF] Conclusione che si deduce da una premessa. Una formula a è c. logica di un insieme F di formule se a è vera in [...] 485 d. ◆ [FAF] Funzione di c.: la funzione logica che associa a ogni insieme di espressioni la totalità delle espressioni che sono c. dell'insieme medesimo. ◆ [FAF] Relazione di c.: particolare relazione tra un'espressione e un insieme di espressioni ...
Leggi Tutto
Smith, Adam
Enciclopedia on line
Economista e filosofo (Kirkcaldy, Scozia, 1723 - Edimburgo 1790). Educato nelle università di Glasgow e di Oxford, divenne professore di logica (1751) e poi di filosofia morale (1752) nell'università di [...] Glasgow. Negli anni 1764-66 viaggiò in Francia al seguito del giovane duca di Buccleuch, del quale era precettore. Ritornato in Inghilterra, si ritirò per dieci anni a Kirkcaldy, dedicandosi interamente ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
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 [...] da D. Hilbert studia le dimostrazioni come oggetti formali senza badare al significato e alla verità delle formule coinvolte, la s. logica è una teoria matematica del modo in cui certe forme d’inferenza preservano la verità, e quindi del modo in cui ...
Leggi Tutto
inferènza
Enciclopedia on line
inferènza Nel linguaggio filosofico, ogni forma di ragionamento deduttivo, che dimostra come una proposizione derivi logicamente da un'altra. In logica matematica, si dicono 'regole d'i.' l'insieme delle [...] regole in base alle quali in un sistema deduttivo possono essere derivati enunciati e teoremi a partire da assiomi o da altri enunciati ...
Leggi Tutto
CATEGORIA:
DOTTRINE TEORIE E CONCETTI
Dingler, Hugo
Enciclopedia on line
Filosofo e matematico tedesco (Monaco 1881 - ivi 1954), prof. alla Technische Hochschule di Darmstadt (1932-34), si occupò soprattutto di logica e metodologia delle scienze, tendendo ad avvicinare il convenzionalismo [...] scientifico al kantismo. Tra le sue opere: Geschichte der Naturphilosophie (1932; trad. it. 1949); Die Methode der Physik (1938; trad. it. 1953); Über die Geschichte und das Wesen des Experimentes (1952) ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE