Keynes, John Neville
Enciclopedia on line
Economista inglese (n. Salisbury 1852 - m. 1949); padre di John Maynard; prof. di logica e di economia nell'università di Cambridge; autore di Scope and method of political economy (1891), che ebbe larga, [...] meritata notorietà. Diffusissimi nei paesi d'area inglese anche gli Studies and exercices in formal logic (1884). ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Jaskowski
Enciclopedia della Matematica (2013)
Jaskowski
Jaśkowski Stanisław (Varsavia 1906-65) logico polacco. Allievo di J. Łukasiewicz e membro della scuola di logica di Leopoli-Varsavia, si occupò di → logica paraconsistente. Si iscrisse alla [...] questo egli cerca sistemi formali che permettano di esaminare tali incoerenze, attraverso una teoria che ne contenga una. Se una logica paraconsistente L è estesa a una teoria contenente una contraddizione, la teoria risultante T = L ∪ {A, ¬A} non è ...
Leggi Tutto
ortocomplementato
Dizionario delle Scienze Fisiche (1996)
ortocomplementato
ortocomplementato [agg. Comp. di orto- e complementato] [ALG] [FAF] Insieme o.: v. logica quantistica: III 488 a. ...
Leggi Tutto
Beccari, Iacopo Bartolomeo
Enciclopedia on line
Medico, chimico e naturalista (Bologna 1682 - ivi 1766), all'università di Bologna insegnò logica (1709), medicina (1712) e, infine, chimica (la prima cattedra istituita in Italia, 1737); fu più volte [...] presidente dell'Accademia delle scienze e delle arti di Bologna e membro della Royal Society di Londra. Compì importanti studî sulle funzioni sessuali, sulla fosforescenza, sull'azione della luce sopra ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
La seconda rivoluzione scientifica: matematica e logica. La scuola di Leopoli-Varsavia
Storia della Scienza (2004)
La seconda rivoluzione scientifica: matematica e logica. La scuola di Leopoli-Varsavia
Ettore Casari
La scuola di Leopoli-Varsavia
Gli inizi
La singolare vicenda intellettuale divenuta nota come 'Scuola [...] 'unico assioma: ∀pq{[p→q]→∀f[f(p,f(p,∀r(r)))→∀s(f(q,s)→(q→p))]}.
La teoria delle leggi logiche che governano le entità appartenenti anche alle categorie comprendenti quella dei nomi è l'ontologia. Intuitivamente parlando, i 'nomi' dell'ontologia sono ...
Leggi Tutto
CATEGORIA:
STORIA DELLA MATEMATICA
suppositio
Dizionario di filosofia (2009)
suppositio
Sostantivo lat., propr. «supposizione». Con questo termine si fa riferimento alla dottrina logica medievale che designa la proprietà di un termine categorematico all’interno di una proposizione. [...] la s. materiale e ritiene che sia possibile usare il termine solo in s. personale. Poiché la proposizione è studiata dal logico in quanto afferma o nega qualcosa di qualcos’altro con verità o falsità, la dottrina della s. fornisce la chiave per l ...
Leggi Tutto
protasi
Dizionario di filosofia (2009)
protasi
Dal lat. tardo protasis, gr. πρότασις, der. di προτείνω «protendere, proporre». Nella logica aristotelica, indica la premessa, maggiore o minore, del sillogismo (➔). ...
Leggi Tutto
Schmalzgrueber, Franz Xavier
Enciclopedia on line
Canonista (Griesbach, Baviera, 1663 - Dillingen 1735). Entrato nella Compagnia di Gesù (1679), insegnò logica (1698) e morale (1702) nell'univ. di Ingolstadt, quindi diritto canonico all'accademia di Dillingen [...] (1705) e all'univ. di Ingolstadt (1709). A Roma (1724-26) fu revisore generale dei libri. La sua fama è legata alla sua opera fondamentale Ius ecclesiasticum universum (7 voll., 1717-27; ripubblicata in ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Amalrico di Bène
Enciclopedia on line
Filosofo e teologo (n. Bène, presso Chartres - m. Parigi 1206). Insegnò a Parigi logica e arti liberali, e in seguito teologia. Accusato di eresia nel 1204, si appellò a Innocenzo III che confermò la condanna, [...] onde A. fu costretto ad abiurare i proprî errori. Ma la tradizione del suo insegnamento (del quale non abbiamo dirette testimonianze) sopravvisse alla sua morte; e nel 1210 i seguaci, detti amalriciani ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Poreckij, Platon Sergeevič
Enciclopedia on line
Matematico, astronomo, logico russo (Elizavetgrad 1846 - Žoved 1907), P. è ricordato soprattutto per i notevoli contributi alla logica moderna. Laureatosi a Tartu in matematica, studiandone i fondamenti [...] ravenstv i ob obratnom sposobe matematičeskoj logiki ("Sulle possibilità di risoluzioni di equazioni logiche e sulla conseguente possibilità di una logica matematica", 1884), nel quale, riprendendo le idee di Boole, P. avviò la trattazione ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE