tipo Insieme di oggetti, elementi, individui conformi a un determinato schema o modello, aventi caratteri simili che li accomunano tra loro e insieme li distinguono da altri.
Biologia
Specie tipica è [...] di evitare il presentarsi di paradossi. In effetti B. Russell, dopo che ebbe scoperto nel sistema logicista elaborato da G. Frege (➔ logica) l’insorgere di un’antinomia, si propose di mettere a punto una nuova teoria che senza rinunciare all’ideale ...
Leggi Tutto
Whitehead
Whitehead Alfred North (Ramsgate, Kent, 1861 - Cambridge, Massachusetts, 1947) logico, matematico e filosofo inglese. Conseguita la laurea presso il Trinity College di Cambridge, insegnò nello [...] con B. Russell alla stesura dei Principia mathematica (3 volumi, 1910-13), che traggono origine dall’opera di G. Frege e che, partendo da un insieme definito di assiomi e di regole logiche, costituiscono un importante tentativo di sistematizzazione ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
Umberto Eco
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
Numerosi sono stati i campi di attività del filosofo inglese Bertrand Russell: dalla logica [...] in particolare, si accorge che gli assiomi da cui Frege si proponeva di derivare la matematica generavano una importante nome di “paradosso di Russell”): secondo gli assiomi di Frege è possibile costruire un insieme che è membro di se stesso ...
Leggi Tutto
Church, Alonzo
Logico e matematico statunitense (Washington 1903 - Hudson, Ohio, 1995). Prof. di matematica (1947-61), poi di matematica e filosofia (1961-67) a Princeton, insegnò dal 1967 matematica [...] , il LISP. Da ricordare anche l’importante contributo di Ch. alla semantica logica, sviluppo originale della teoria di Frege sul senso e la denotazione delle espressioni linguistiche (A formulation of the logic of sense and denotation, 1951). ...
Leggi Tutto
inferenzialismo semantico
inferenzialismo semàntico locuz. sost. m. – Teoria del filosofo R. Brandom, definita semantic inferentialism, secondo la quale i contenuti di un enunciato sono definiti dalle [...] Lepore nel 2001). Mediante l’i. s. Brandom realizza una costruzione sistematica in cui, integrando le tesi di Wittgenstein e di Frege, e rimodulando prospettive kantiane e hegeliane, analizza l’oggettività e la struttura normativa della razionalità. ...
Leggi Tutto
Il termine predicato (lat. praedicātu(m) «ciò che è affermato [di qualcosa]») compare per la prima volta all’inizio del medioevo nel commento di Boezio al De interpretatione aristotelico. Aristotele aveva [...] linguistic theory, edited by E. Bach & R.T. Harms, New York, Holt, Rinehart & Winston, pp. 1-88.
Frege, Gottlob (1892) Über Begriff und Gegenstand, «Vierteljahrs-schrift für wissenchaftliche Philosophie» 16, pp. 192-205 (trad. it. Concetto e ...
Leggi Tutto
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 [...] basi empiriche doveva sfruttare gli strumenti messi a disposizione dai rivoluzionari sviluppi ottenuti nel campo della logica da G. Frege, B. Russell, A.N. Whitehead e, in seguito, dalla scuola logica polacca. Tale connubio tra positivismo e logica ...
Leggi Tutto
aritmetica
aritmetica parte della matematica che studia le proprietà dei numeri, in particolare dei numeri naturali. L’aritmetica comprende le più elementari operazioni con i numeri che si studiano fin [...] di teorizzazione di questi ultimi e di fondazione logica del concetto di numero naturale si deve al tedesco G. Frege.
Poiché tutti gli insiemi numerici fondamentali sono costruibili, per successivi ampliamenti, a partire dall’insieme N dei numeri ...
Leggi Tutto
formalizzazione
Rappresentazione rigorosa di una teoria da un punto di vista espressivo e deduttivo. Tale rappresentazione viene considerata necessaria per escludere sia la presenza di assunzioni occulte [...] di un enunciato dipendessero dalla sua struttura logica. Il primo sostanziale progresso in questa direzione si deve a Frege, che in Begriffsschrift (1879) fornisce i mezzi per la f. di teorie matematiche: un linguaggio simbolico, regole sintattiche ...
Leggi Tutto
Insieme delle scienze che studiano in modo ipotetico-deduttivo entità astratte come i numeri e le misure: la m. pura studia i problemi matematici indipendentemente dalla loro utilizzazione pratica; alla [...] Mill sull’origine empirica dell’aritmetica; questo programma, noto con il nome di logicismo (➔ logica), fu perseguito da Frege sulla base della fondazione insiemistica dell’aritmetica, per essere poi messo in crisi da Russell, che pure ne condivideva ...
Leggi Tutto
frega
fréga s. f. [der. di fregare]. – 1. non com. Fregagione; solo al plur.: far le freghe. 2. Fregola, in senso proprio, con riferimento soprattutto ai pesci; fig., ant., desiderio incontenibile, voglia smaniosa: all’arrogante Passò la f....