Filosofo ebreo (Nieśwież, Polonia, 1754 - Niedersiegersdorf, Slesia, 1800). Gli fu dato, o assunse, il nome di Maimon perchè studioso di questo filosofo medioevale, che influì molto sulla formazione del [...] la "cosa in sé" è raffrontabile a un numero immaginario. Soltanto nell'ambito del pensiero puro, nella matematica e nella logica, attraverso il principio di determinabilità (base per M. di una ricostruzione dei giudizî e delle categorie kantiane ...
Leggi Tutto
Letterato e patriota italiano (Cosenza 1759 - Parigi 1832). Sacerdote, tenne posizioni illuministiche e anticuriali; nel 1792 entrò nella Società patriottica napoletana e si rifugiò quindi, lasciata la [...] provvisorio; riparato in Francia dopo il ritorno dei Borboni, tornò in Italia dopo Marengo e insegnò a Brera dapprima logica e matematica, quindi storia e diritto. Nel 1815 fu segretario di G. Murat. Visse i suoi ultimi anni a Parigi, adoperandosi ...
Leggi Tutto
Filosofo russo naturalizzato statunitense (Minsk 1880 - Washington 1947). Emigrò giovanissimo negli USA. Insegnò filosofia e matematica prima a New York, poi (1938) a Chicago. Risentendo in particolare [...] empirica. Per quanto riguarda lo studio della condotta umana il metodo scientifico così inteso avrebbe dovuto permettere un'analisi logica dei giudizî di valore impliciti nelle scelte. Con questa sua proposta e con il suo rigoroso antidogmatismo C ...
Leggi Tutto
Filosofo (Vienna 1896 - Oxford 1959). Dapprima collaboratore di M. Schlick e membro del Circolo di Vienna, si trasferì poi in Inghilterra insegnando a Cambridge (1937) e a Oxford (1939). W. rifiuta in [...] Einführung in das mathematische Denken (1936; trad. it. 1939) la riduzione della matematica a logica. Influenzata dall'ultimo Wittgenstein è una serie di scritti pubblicati postumi (The principles of linguistic philosophy, 1965; trad. it. 1969; How I ...
Leggi Tutto
Scienziato e letterato (Bologna 1748 - ivi 1802), lettore di logica, quindi (1788) di fisica e infine (1800) di matematica applicata nell'univ. di Bologna. Membro dell'Accademia bolognese delle scienze, [...] dove insegnò nautica (1771), ne fu dal 1797 segretario. È autore di opere scientifiche (Sugli accidenti che s'osservano nel suono ...; Del suono e specialmente dell'intensità di esso, ecc.) e letterarie ...
Leggi Tutto
Matematico e alchimista (castello di Cadillac 1512 - Bordeaux 1594), vescovo di Aire (1578). È noto soprattutto per la traduzione e il commento di Euclide (1566). Fu tra i primi a far uso delle definizioni [...] nominali (in contrapposto alle definizioni reali) oggi alla base della moderna sistemazione logica della matematica. Nelle edizioni successive della sua opera aggiunse alcuni libri riguardanti i solidi regolari. Fondò la cattedra di geometria all' ...
Leggi Tutto
Filosofo danese (n. Aulum-Haderup 1894 - m. 1969), professore all'università di Copenaghen. Di ispirazione neoempirista, si è occupato di logica formale studiandone le relazioni con la matematica e la [...] filosofia. Tra i suoi scritti: A treatise of formal logic (3 voll., 1931; 2a ed. 1962); Den logiske Empirismes Udvikling (1948; trad. it. in Neopositivismo e unità della scienza, 1958). ...
Leggi Tutto
Filosofo tedesco (Berlino 1895 - Praga 1943), di impostazione neo-positivista, fece parte del "Berliner Gruppe" e insegnò dal 1931 alla Technische Hochschule di Berlino. Lavorò particolarmente intorno [...] alla logica formale e ai fondamenti della matematica. Tra i suoi scritti: Über die sogenannten analytischen und synthetischen Urteile (1926); Die Definition (1926); Die Philosophie der Mathematik in der Gegenwart (1932); Naturphilosophie (1933). ...
Leggi Tutto
Matematico e fisico (Presburgo 1704 - Halle 1777), dapprima medico, poi prof. di matematica e fisica nell'univ. di Gottinga, quindi di Halle. Scrisse di logica (sui fondamenti dell'analisi infinitesimale), [...] di matematica, fisica e medicina. Ebbe risonanza una sua polemica con Ch. Wolff, durante la quale S. richiamò per primo l'attenzione sull'orientamento delle figure solide. ...
Leggi Tutto
Logico e filosofo austriaco (Graz 1923 - Salisburgo 2015), docente (1962-85) alla Stanford University (California). Si è occupato dei problemi relativi ai fondamenti della matematica, nonché di logica [...] intuizionista, di teoria della dimostrazione e di teoria della ricursione. Tra i suoi scritti: Eléments de logique mathématique. Théorie des modèles (1967, in collaborazione con J. L. Krivine) ...
Leggi Tutto
logica
lògica (ant. lòica) s. f. [dal lat. logĭca, gr. λογική (sottint. τέχνη «arte»), dall’agg. λογικός: v. logico1]. – 1. Nel pensiero greco classico, la scienza del logos, ossia del pensiero in quanto viene espresso; in partic., in Aristotele,...
logico1
lògico1 (ant. lòico) agg. [dal lat. logĭcus, gr. λογικός, der. di λόγος «discorso, ragionamento»] (pl. m. -ci). – 1. a. Che concerne la logica o la logica matematica: principî l.; linguaggio l.; calcolo l.; o, più genericam., che riguarda...