contraddizione
Enciclopedia on line
Come termine specifico di logica, la c. è il rapporto vigente tra un’affermazione e una negazione di egual soggetto e di egual predicato. In questa antitesi, vero essendo un termine, l’altro deve essere [...] qualifica un soggetto con un attributo che è escluso dalla natura stessa del soggetto (per es. sfera cubica).
In logica matematica il principio di c. è espresso dalla formula ¬ (p ⋀ ¬ p). Questo principio, in relazione a un calcolo logistico, impone ...
Leggi Tutto
CATEGORIA:
LOGICA
Łukasiewicz, Jan
Enciclopedia on line
Studioso di logica (Leopoli 1878 - Dublino 1956). Tra i maggiori esponenti della cosiddetta Scuola logica polacca, svolse importanti ricerche sulla logica aristotelica e stoica. Considerando insoddisfacente [...] ) e di Varsavia (1920), dal 1945 prof. di logica matematica all'univ. di Dublino. Ł. ha svolto ricerche storiche, specie sulla logica antica, giungendo a una netta distinzione tra la logica peripatetica ("logica dei predicati o delle classi" che si ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Albèrto di Sassonia
Enciclopedia on line
Filosofo (n. 1316 - m. Halberstadt 1390), insegnò a Parigi (rettore della Sorbona, 1353); fu primo rettore dell'università di Vienna (1365), e vescovo di Halberstadt (dal 1366). Scrisse di logica, matematica, [...] fisica, ed etica; occamista - seguace diretto di Buridano - nei suoi trattati logici riassume ed espone i temi centrali della logica modernorum, assicurando ad essi larga diffusione (tra l'altro, distinguendo la certezza del principio di ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Couturat, Louis
Enciclopedia on line
Filosofo francese (Parigi 1868 - Ris-Orangis, Essonne, 1914). Insegnò nelle univ. di Tolosa e di Caen e nel Collège de France. Propugnatore di una lingua internazionale artificiale, tentò quella riforma [...] dell'esperanto che condusse alla creazione della lingua internazionale detta ido. Contribuì allo sviluppo della logica matematica, o "logistica". Tra le opere: De l'infini mathématique (1896); Les nouvelles langues internationales (1900); La logique ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Burali-Fòrti, Cesare
Enciclopedia on line
Matematico (Arezzo 1861 - Torino 1931). Insegnò (dal 1887) all'Accademia d'artiglieria e genio di Torino. È noto particolarmente per i suoi lavori sul calcolo vettoriale e la logica matematica, nell'indirizzo [...] di G. Peano. Collaborò con quest'ultimo al Formulario mathematico ed è autore, tra l'altro, del vol. Logica matematica (1894, 2a ed. 1919), la migliore esposizione sistematica della logica di Peano. ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
decisione
Enciclopedia on line
Diritto
D. nel diritto dell'Unione Europea È una delle fonti derivate del diritto dell’Unione Europea (UE), insieme alle direttive e ai regolamenti (art. 288 del Trattato sul funzionamento dell’UE). [...] se il predicato conviene o no a ciascun individuo, oppure gruppo di individui. Per i sistemi formali deduttivi della logica matematica il problema della d. può essere posto sotto due diversi aspetti: a) se sia decidibile l’insieme degli assiomi ...
Leggi Tutto
sillogismo
Enciclopedia on line
sillogismo Termine filosofico con cui Aristotele designò la forma fondamentale di argomentazione logica (s. categorico), costituita da tre proposizioni dichiarative connesse in modo tale che dalle prime [...] quella della trattatistica ottocentesca, che precede, in sostanza, i moderni manuali di logica matematica. Nel quadro della logica formale contemporanea fa parte della logica elementare (e può essere espressa nel linguaggio del cosiddetto calcolo dei ...
Leggi Tutto
Varsavia
Enciclopedia on line
(pol. Warszawa) Città capitale della Polonia (1.767.798 ab. nel 2018). Sorge in un punto in cui si raccordano vie commerciali e di comunicazione storiche e attuali, sulle due rive della Vistola, lungo [...] di K. Twardowski come reazione all’irrazionalismo metafisico dei romantici polacchi; la scuola s’interessò soprattutto di logica matematica, affiancandosi al Circolo di Vienna negli anni tra le due guerre mondiali. Suo fondatore è considerato J ...
Leggi Tutto
formula
Enciclopedia on line
Chimica
Notazione che utilizza simboli e indici per dare informazioni relative alla composizione atomica e alla struttura di una molecola. Infatti a seconda del grado di dettaglio utilizzato è possibile [...] (per es.: f. di addizione, di bisezione ecc., in trigonometria) o dal matematico che per primo le stabilì (per es.: formule di Cardano, di Taylor ecc.).
In logica matematica, f. ben formata (spesso abbreviata in f.b.f. o fbf), espressione di ...
Leggi Tutto
Xenakis, Iannis
Enciclopedia on line
Xenakis 〈ġʃenakìs〉, Iannis. - Compositore (Brăila, Romania, 1922 - Parigi 2001), di origine greca, naturalizzato francese. Studiò ingegneria ad Atene, e durante la seconda guerra mondiale entrò nelle file [...] H. Scherchen a Gravesano. Nel 1954 introdusse nella musica la teoria delle probabilità (musica stocastica), nel 1960 la logica matematica (musica simbolica) e la teoria dei jeux (strategia musicale). Nel 1966 fondò a Parigi l'Équipe de mathématique ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE