Lullo, Raimondo
Enciclopedia on line
Filosofo, teologo, mistico e missionario catalano (Palma di Maiorca 1233/1235 - forse Isola di Maiorca 1315), detto doctor illuminatus. Le sue numerose opere sono scritte in catalano, latino e arabo. Elemento [...] della missione per convertire gli ebrei e gli islamici al cristianesimo: in questa prospettiva elaborò la sua ars, una logica universale, capace di scoprire e dimostrare la verità partendo dai termini semplici e combinandoli in modo matematico. La ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
compattezza
Dizionario delle Scienze Fisiche (1996)
compattezza
compattézza [Der. di compatto "l'essere compatto" nei vari signif. del termine (→ compatto)] [FAF] Teorema di c.: uno dei più importanti risultati della teoria dei modelli: un insieme di [...] formule non contraddittorio ha un modello se, e solo se, ogni suo sottoinsieme finito ha un modello: v. logica: III 485 d. ...
Leggi Tutto
Prawitz, Dag
Enciclopedia on line
Logico e filosofo svedese (n. Stoccolma 1936), prof. di filosofia all'univ. del Michigan (1969), di Stanford (1970), di Oslo (1971-77) e (dal 1976) di filosofia teoretica all'univ. di Stoccolma; membro [...] e noto come deduzione automatica, alla teoria del significato e alla teoria della dimostrazione: a quest'ultima branca della logica ha dato un contributo decisivo in Natural deduction (1965), mettendo poi in evidenza il nesso tra teoria generale ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
FARDELLA, Michelangelo
Dizionario Biografico degli Italiani (1994)
FARDELLA, Michelangelo
Franco Aureluio Meschini
Nacque a Trapani nel 1650, da Iacopo e Brigida (Brigitta) Magliocco, entrambi nobili.
Conclusi a tredici anni gli studia humanitatis, intraprese quelli [...] lettera di B. Ramazzini ad A. Magliabechi (30 luglio 1682) permette di stabilire che già nell'anno 1681-1682 vi lesse logica e matematica.
È lo stesso Rainazzini a sottolineare la novità delle dottrine insegnate dal F., "con grande plauso" (ibid.), e ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Aristòtele
Enciclopedia on line
Filosofo greco (Stagira 384-83 a. C. - Calcide 322 a. C.). Fu, con Socrate e Platone, uno dei più grandi pensatori dell'antichità e di tutti i tempi. Nato da una famiglia di medici, si formò nell'Accademia [...] di quelli validi da quelli non validi occupa la maggior parte degli Analitici primi e costituisce un sistema di logica "formale", in quanto questa determina le forme onde il pensiero si vale per dedurre necessariamente verità più particolari da ...
Leggi Tutto
Spinèlli, Francesco Maria, dei principi di Scalea
Enciclopedia on line
Filosofo cartesiano (Morano Calabro 1686 - Napoli 1752). Formatosi alla scuola di Gregorio Caloprese, si dedicò alla diffusione della filosofia cartesiana. Prese le difese dei suoi amici cartesiani accusati [...] , governatore di Napoli, e polemizzò contro P. M. Doria che sosteneva essere lo spinozismo una conseguenza logica del cartesianesimo (Riflessioni sopra di solidissimi argomenti tratti dalla prima filosofia, 1733). Notevoli anche De origine mali ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Woodbridge, Frederick James Eugene
Enciclopedia on line
Filosofo (Windsor, Antaris, 1867 - New York 1940). Insegnò all'univ. del Minnesota (1894-1902) e alla Columbia University (1902-37), esercitando notevole influenza. Formatosi come neokantiano, divenne [...] 'ambito della filosofia statunitense, di una forma di realismo vicino alle suggestioni della riflessione aristotelica (per es., unità di logica e ontologia). Opere principali: The purpose of history (1916); The realm of mind (1926); The son of Apollo ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Dummett, Michael Anthony Eardley
Enciclopedia Italiana - VI Appendice (2000)
Logico e filosofo inglese del linguaggio, nato a Londra il 27 giugno 1925. Reader di filosofia della matematica nell'università di Oxford (1961-74), dove è stato successivamente professore di logica (1979-92), [...] dalle nostre capacità di riconoscerlo come tale), D. è pervenuto a partire dall'individuazione di profonde connessioni fra logica intuizionista e teoria del significato, che lo hanno condotto a sostenere una sofisticata forma di antirealismo che è ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Scienza e filosofia: Geymonat e Preti
Il Contributo italiano alla storia del Pensiero: Filosofia (2012)
Scienza e filosofia: Geymonat e Preti
Massimo Mugnai
La valorizzazione del pensiero scientifico in funzione antidealistica
Nell’immediato dopoguerra, a partire all’incirca dal 1945, Ludovico Geymonat [...] ciò che in ultima istanza conferisce il suo senso a tutti i nostri discorsi (p. 482).
Tale linguaggio, dal punto di vista logico, è privo di una sintassi e di una semantica vere e proprie: è un mero strumento, immerso nell’esperienza vissuta e parte ...
Leggi Tutto
Kant, Immanuel
Enciclopedia on line
Filosofo (Königsberg 1724 - ivi 1804). Di genitori pietisti, K. ricevette, specie dalla madre, una severa educazione etico-religiosa: frequentò il Collegium Fridericianum, diretto dal pastore F. A. Schultz, [...] la teoria delle forme pure dell'intuizione, già sistematizzata nello scritto del 1770: la parte originale è peraltro la Logica trascendentale, suddivisa a sua volta in Analitica e Dialettica. Nella prima parte dell'Analitica si delinea la struttura ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE