lineare
lineare [agg. Der. del lat. linearis, da linea] [LSF] Inerente a una linea, in partic : (a) che è costituito o è schematizzabile da una linea (per lo più retta) o che si sviluppa prevalentemente [...] anche dell'informatica) che si propone un'analisi più profonda dei connettivi e dei quantificatori (per es., i connettivi della logica l. permettono di precisare l'ordine secondo cui vanno enunciate le ipotesi di un'implicazione e il numero di volte ...
Leggi Tutto
chiusura
chiusura [Der. del lat. clausura, dal part. pass. clausus di claudere "chiudere", "atto ed effetto del chiudere" e anche "ciò con cui si chiude"] [ALG] C. algebrica: v. varietà algebrica: VI [...] : è definita dai relativi assiomi di c. (v. oltre). ◆ [ALG] [FAF] C. universale di un'espressione: nella logica matematica, data un'espressione contenente certe variabili libere è la nuova espressione che si ottiene da quella universalizzando (cioè ...
Leggi Tutto
tavola
tàvola [Der. del lat. tabula] [LSF] Termine usato con i signif. di tabella, di cui è allora sinonimo. ◆ [ASF] T. astronomiche: tabelle di dati astronomici, spec. di effemeridi di astri. ◆ [ANM] [...] ha per primo elemento gk si scrive il prodotto ghgk. ◆ [ALG] [FAF] T. di verità: mostra il risultato di un'operazione logica binaria ("vero" e "falso" oppure 0 e 1) in funzione dei valori dei termini; per le t. di verità delle principali operazioni ...
Leggi Tutto
soggetto Argomento, tema oppure la persona o la cosa che viene presa in considerazione per determinati motivi. filosofia Come termine filosofico, s. ha assunto un significato che per certi aspetti è esattamente [...] accidenti’, che a essa ineriscono. E siccome il rapporto reale che connette l’attributo alla sostanza si rispecchia in quello logico che collega i due termini del giudizio, così s’intende come il termine designante il ‘sostrato’ delle affezioni venga ...
Leggi Tutto
Badiou, Alain. – Filosofo, romanziere e drammaturgo francese (n. Rabat 1937). Docente dell’École normale supérieure dal 1999, poi professore emerito, direttore del Collège international de philosophie [...] come condizione necessaria per la rinascita della filosofia. A partire da una concezione materialistica del mondo, formalizzabile in una logica matematica, e dal confronto con forme estetiche quali il cinema e il teatro, B. ha elaborato una teoria ...
Leggi Tutto
Filosofo francese (Parigi 1754 - ivi 1836). Di formazione illuministica, fu assertore di una nuova scienza, l'ideologia, "analisi delle sensazioni e delle idee", intese come fatti psichici in generale.
Vita
Deputato [...] , memoria, giudizio, volontà). Di particolare interesse sono gli sviluppi dell'ideologia del D. nel campo della logica e soprattutto della grammatica generale (inclusa negli Éléments d'idéologie), studiata astraendo dalle particolarità delle singole ...
Leggi Tutto
Storico della filosofia (Parigi 1905 - Montréal 2005). Studioso di filosofia medievale, costruì un saldo vincolo tra questa e la storia dell'arte e delle idee, come magistralmente attesta il saggio Saturn [...] ; prof. nell'Istituto di studî medievali dell'univ. di Montreal dal 1947 al 1968 e, fino al 1975 titolare di logica e metafisica alla McGill University della stessa città.
Opere
Particolarmente notevole è l'opera di K. come editore di testi. Iniziò ...
Leggi Tutto
ARISTOTELISMO
C. Gentili
Di un'influenza aristotelica nelle concezioni medievali dell'arte non si può parlare prima del sec. 13°, quando ha grande rilievo - in rapporto al modo di concepire l'opera [...] tempo, fu ancora sull'opera di Boezio quale filosofo e traduttore che, nel sec. 12°, si esercitò un'altra 'autorità logica', quella di Pietro Abelardo (1079-1142).Dopo Boezio, la traduzione e, con essa, la diffusione di Aristotele conobbero un lungo ...
Leggi Tutto
algoritmo
algoritmo [Der. del lat. mediev. algorithmus o algorismus, dal nome d'origine al-Huwa-rizmī- del matematico arabo Muhammad ibn Mu-sa, del 9° sec.] [ALG] [INF] Qualunque schema o procedimento [...] → Markov, Andrej AndreevicŠ Senior. ◆ [ALG] [FAF] A. ricorsivo: → ricorsivo. ◆ [INF] Teoria degli a.: è una delle basi teoriche dell'informatica, che ha trovato una sistemazione nell'ambito della logica solo nel 20° sec.: v. algoritmi, teoria degli. ...
Leggi Tutto
Storico italiano della filosofia (Urbino 1923 - Firenze 2012). Il nucleo centrale dei suoi interessi è costituito dalla storia delle idee dal Rinascimento all'Illuminismo, con particolare attenzione ad [...] le opere: Giacomo Aconcio (1952); Francesco Bacone: dalla magia alla scienza (1957; 2a ed. 1974); Clavis Universalis. Arti mnemoniche e logica combinatoria da Lullo a Leibniz (1960; 2a ed. 1983); I filosofi e le macchine (1962; 3a ed. 1980); Storia e ...
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,...
logicismo
s. m. [der. di logica, logico1]. – 1. a. In senso ampio, ogni dottrina che pone la logica a fondamento della filosofia, o le assegna comunque un posto preponderante in questa disciplina. b. In filosofia della matematica, indirizzo...