La seconda rivoluzione scientifica: matematica e logica. L'intuizionismo di Brouwer
Anne L. Troelstra
L'intuizionismo di Brouwer
Nella dissertazione Over de Grondslagen der Wiskunde (I fondamenti della [...] a sistemi più forti. L'immersione di Gödel è formulata per l'aritmetica, ma è evidente la possibilità di adattarla alla logica predicativa. Nella versione di Gentzen formule prime P sono per la prima volta sostituite da ¬¬P e gli operatori …⋁… e ∃x ...
Leggi Tutto
Scrittore, teologo, filosofo (Lucca 1530 circa - ivi 1590); dal 1560 prof. di logica nell'univ. di Pisa; scrisse il Trattato dell'amore umano (1556) e il De hominis felicitate (1563). Fu (1584) tra i fondatori [...] dell'Accademia degli Oscuri ...
Leggi Tutto
particolarizzatore
particolarizzatóre [Der. di particolarizzare] [ALG][FAF] Uno dei due quantificatori della logica matematica (l'altro è il generalizzatore). ...
Leggi Tutto
Filosofo (n. Edimburgo 1856 - m. presso Selkirk 1931), prof. (1891-1919) di logica e metafisica all'univ. di Edimburgo. In polemica con le tendenze predominanti nel pensiero inglese del tempo, specie con [...] l'idealismo assoluto di F. H. Bradley e di B. Bosanquet, teso a riassorbire, coerentemente all'impostazione hegeliana, il soggetto, il singolo, nell'assoluto, fu l'esponente più autorevole di un idealismo ...
Leggi Tutto
sintassi
sintassi [Der. del gr. sy´ntaxis "organizzazione", comp. di sy´n "insieme" e táxis "sistemazione"] [ALG] [FAF] Nella logica matematica, lo studio delle proprietà e delle relazioni formali di [...] regole della s. specificano come vanno costruite le formule e come si deve operare sui simb. e sulle formule stesse (calcolo logico); in partic., rientrano nella s. i concetti di dimostrazione e di teorema, in quanto le regole per essi prescindono da ...
Leggi Tutto
contronominale
contronominale [agg. Comp. di contro- e nominale] [FAF] Proposizione c.: nella logica, per una data proposizione è la proposizione contraria dell'inversa, cioè quella che ha come ipotesi [...] la negazione della proposizione diretta e come tesi la negazione dell'ipotesi di quella; è sempre vera, accanto alla proposizione diretta; per es., proposizione diretta è "se in un triangolo due lati sono ...
Leggi Tutto
minimalizzazione
minimalizzazióne [Der. di minimalizzare "rendere minimo", da minimale] [ALG] [FAF] Nella logica matematica, procedimento mediante il quale, dato un predicato P, si perviene, mediante [...] un apposito operatore di m. (solitamente denotato con μ), a definire una funzione che indica il minimo valore della variabile predicativa x che verifichi il predicato P; per es., la funzione mcm(a,b), ...
Leggi Tutto
Elemento stabile e oggettivo del significato di una unità lessicale (➔ connotazione).
Nella terminologia logica, si parla di d. di un concetto (➔ estensione). ...
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...