Statistico e sociologo italiano (Motta di Livenza 1884 - Roma 1965); prof. univ. dal 1910, ha insegnato a Cagliari, Padova e Roma (dal 1925 al 1954); fondatore e preside (dal 1936 al 1954) della facoltà [...] collettivi (1948); Lezioni di statistica (ultima ed. aggiornata 1955); Economia lavorista. Problemi del lavoro (1956); Le medie (1958); Ricchezza e reddito (1959); Transvariazione (1960); Organismo e società (1960); La logica nella statistica (1962). ...
Leggi Tutto
Diritto
C. e qualifiche professionali Sistema di classificazione volto a identificare e raggruppare i vari profili professionali, in modo da delineare il regime giuridico ed economico cui è sottoposto [...] In questo senso, la dottrina delle c. è dottrina tanto logica quanto metafisica.
Completamente diversa è invece la dottrina moderna delle , in Kant, le stesse forme in cui la logica classica distingueva i giudizi, ma interpretate come funzioni attive ...
Leggi Tutto
Matematico ungherese naturalizzato statunitense (Budapest 1903 - Washington 1957). I suoi contributi hanno caratterizzato numerosi aspetti del pensiero matematico e scientifico del 20° sec. e spesso le [...] tra i fondatori della teoria degli anelli di operatori, ha anche fornito notevoli contributi allo studio della logica degli elaboratori elettronici. N. è inoltre autore del trattato Mathematische Begründung der Quantenmechanik (1932), nel quale ...
Leggi Tutto
Matematico e logico matematico britannico (Londra 1912 - Wilmslow, Cheshire, 1954). Pioniere della scienza dell'informazione e dell'intelligenza artificiale, ha legato il suo nome, in particolare, a un [...] una determinata n-pla di numeri. Il nome di T. è legato anche ad altri importanti risultati di logica matematica, come una dimostrazione dell'indecidibilità del calcolo predicativo puro e alla dimostrazione dell'insolubilità del problema della parola ...
Leggi Tutto
Filosofia
L’analisi e la determinazione del contenuto di un concetto, espresse in un giudizio in cui il soggetto è il concetto da definire e il predicato è costituito dal complesso dei termini che nel [...] è la d. della grandezza mediante l’indicazione del procedimento che consente la misurazione della grandezza stessa.
Matematica
In logica matematica s’incontrano due tipi di d.: metalinguistiche e linguistiche. Data cioè una certa teoria formale T e ...
Leggi Tutto
Arte e architettura
Movimento d’avanguardia che si sviluppò in Russia nel complesso clima d’impegno ideologico e culturale degli anni successivi alla Rivoluzione del 1917. Sulla base di stimoli e suggestioni [...] nelle illimitate possibilità della tecnica, svincolata dalla logica del profitto, rimane il progetto di Tatlin provare l’esistenza. Un c. meno spinto (accettato da molti logici e matematici) si ricollega ai concetti di computabilità, decisione ecc., ...
Leggi Tutto
Matematica
Proprietà di postulati e di proposizioni che si mutano in altri postulati e altre proposizioni ove a certi enti se ne sostituiscano determinati altri.
Principio di dualità
Nella geometria proiettiva [...] dagli altri mediante un opportuno procedimento, codificato appunto nel principio di dualità.
Si hanno così un principio di dualità in logica matematica (sia enunciativa sia dell’ordine): se le formule A e B sono equivalenti, anche le formule duali A ...
Leggi Tutto
Odifreddi, Piergiorgio. - Matematico e scrittore italiano (n. Cuneo 1950). Laureato in matematica a Torino (1973), ha proseguito gli studi negli Stati Uniti presso le università dell’Illinois e della [...] Dalla Terra alle lune (2017); La democrazia non esiste. Critica matematica della ragione politica (2018); Il dio della logica. Vita geniale di Kurt Gödel matematico della filosofia (2018); Il genio delle donne. Breve storia della scienza al femminile ...
Leggi Tutto
Botanica
Qualifica di organi appartenenti a uno stesso verticillo, più o meno fusi insieme. Sono c. (o coesi) i sepali dei calici gamosepali (Lamiacee) o i carpelli che costituiscono un ovario unico. Se [...] condizione indispensabile al verificarsi di fenomeni di interferenza tra grandezze ondulatorie che queste siano coerenti.
Matematica
In logica matematica, una teoria formalizzata viene detta c. o non contraddittoria, se in essa non sono dimostrabili ...
Leggi Tutto
GRANDI, Guido
Ugo Baldini
Nacque a Cremona il 10 ott. 1671 da Pietro Martire, ricamatore in oro, e Caterina Legati. Battezzato con il nome di Francesco Lodovico, lo mutò in Guido quando entrò tra i [...] d'arrivare"; il matematico gesuita, però, non fu suo docente. Del corso filosofico (privo della matematica) il G. seguì solo la logica, perché verso il Natale del 1687, forse per l'esempio del Canneti e la tendenza agli studi, entrò nel monastero ...
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...