modus ponens
Dizionario delle Scienze Fisiche (1996)
modus ponens
modus ponens 〈mòdus pònens〉 [Lat. "modo che afferma"] [FAF] Inferenza della sillogistica classica del tipo: se sussiste p allora vale q; sussiste p; allora vale q. La regola di deduzione [...] corrispondente compare nei più diffusi calcoli logici moderni. Nella logica matematica è chiamata più frequentemente regola di separazione o di distacco e si enuncia così: "A una sequenza di espressioni in cui occorrono sia l'espressione H sia l' ...
Leggi Tutto
Casari
Enciclopedia della Matematica (2013)
Casari
Casari Ettore (Smarano, Trento, 1933) logico e filosofo della matematica italiano. Avviato agli studi di logica da L. Geymonat, ha insegnato filosofia della scienza nelle università di Cagliari [...] 1967) e (dal 1998) logica presso la Scuola normale superiore di Pisa, contribuendo alla rinascita della logica matematica in Italia. Tra le sue opere: Questioni di filosofia della matematica (1964), La logica del Novecento (1981), Introduzione alla ...
Leggi Tutto
neopositivismo
Enciclopedia on line
Movimento filosofico (anche detto positivismo logico, neoempirismo, empirismo logico) sorto, sviluppatosi ed esauritosi tra il terzo e il sesto decennio del 20° secolo.
I primi sviluppi
La data di nascita [...] formale del n. è il 1928, allorché un gruppo di studiosi di varie discipline – filosofia, fisica, logica, matematica, sociologia, psicologia – si raccolse nel Verein Ernst Mach, poi detto Wiener Kreis (➔ Vienna), con lo scopo di diffondere una « ...
Leggi Tutto
pragmatismo
Enciclopedia on line
Indirizzo di pensiero sorto negli USA intorno al 1870 e diffusosi più tardi in Europa, dove ebbe il maggior successo nei primi decenni del Novecento.
C.S. Peirce: dal pragmatismo al pragmaticismo
Il termine [...] in luce numerosi punti di contatto tra il metodo del p. e gli sviluppi più recenti della logica matematica, sottolineando il carattere ipotetico delle proposizioni generali e mostrando interesse per lo sviluppo storico delle ricerche scientifiche ...
Leggi Tutto
CATEGORIA:
DOTTRINE TEORIE E CONCETTI
Gödel, Kurt
Enciclopedia on line
Matematico e filosofo (Brno 1906 - Princeton 1978). Libero docente di matematica all'univ. di Vienna (1933-38), fu uno degli studiosi che si riunivano attorno a M. Schlick nel Verein Ernst Mach, poi (1929) [...] Princeton) e dell'Association for symbolic logic. Si è occupato prevalentemente di logica matematica, di teoria degli insiemi e of the axiom of choice and of the generalized continuum hypothesis (1940); Russell's mathematical logic (1944). ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
uguaglianza
Enciclopedia on line
(o eguaglianza) Condizione di cose o persone che siano tra loro identiche, o abbiano le stesse qualità, gli stessi attributi in ordine a determinate relazioni. In particolare, condizione per cui più persone [...] In generale, in algebra il concetto di u. si riduce a quello di isomorfismo.
In logica matematica il concetto di u. si basa sul concetto logico di identità. È possibile definire esplicitamente l’identità mediante il linguaggio predicativo del secondo ...
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
Novikov, Pëtr Sergeevič
Enciclopedia on line
Matematico russo (Mosca 1901 - ivi 1975). Il suo nome è legato a ricerche di algebra, di teoria della misura, di teoria degli insiemi, di logica matematica, di teoria degli algoritmi, di matematica intuizionista [...] negativamente il problema di W. Burnside sui gruppi periodici. Membro effettivo dell'Accademia delle scienze dell'URSS dal 1960. Tra le sue opere ricordiamo gli Elementy matematičeskoj logiki (1959; trad. it. Elementi di logica matematica, 1975). ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
connettivo
Enciclopedia on line
Linguistica
Termine con il quale si indicano gli elementi (specialmente avverbi o locuzioni avverbiali e congiunzioni coordinanti o subordinanti) che hanno la funzione di collegare le parti di un testo [...] , avversativi, concessivi, temporali, causali, finali.
Medicina
Per il tessuto connettivo ➔ connettivo, tessuto.
Matematica
Connettivi enunciativi
In logica matematica, termini sincategorematici che o si premettono a un enunciato (negazione) o si ...
Leggi Tutto
Lèvi, Beppo
Enciclopedia on line
Matematico italiano (Torino 1875 - Rosario, Argentina, 1961), prof. di geometria analitica e analisi algebrica (dal 1906) nelle univ. di Cagliari, Parma, Bologna. Nel 1938, in seguito ai provvedimenti [...] (1935-38 e dal 1945). Autore di significativi contributi alla geometria algebrica (scioglimento delle singolarità delle superfici, forme cubiche ternarie), ai fondamenti della geometria e dell'analisi, alla logica matematica (postulato di Zermelo). ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE