La seconda rivoluzione scientifica: matematica e logica. Il Bourbakismo
Jean-Paul Pier
Il Bourbakismo
L'avvento e l'influenza di Bourbaki costituiscono uno dei fenomeni più sorprendenti nella matematica [...] libro sulla teoria degli insiemi è indispensabile per i lettori desiderosi di sapere come si possano superare le difficoltà logiche create dalla presenza di tali termini non definiti [...]. Il lettore non mancherà di osservare che il punto di vista ...
Leggi Tutto
Medioevo: la scienza siriaca. La tradizione della logica aristotelica
Henri Hugonnard-Roche
La tradizione della logica aristotelica
Della letteratura siriaca profana, scientifica o filosofica, ci [...] siriaco, "Atti del R. Istituto Veneto di scienze, lettere ed arti", 85, 1926, pp. 319-344.
‒ 1926-27: Furlani, Giuseppe, La logica nei Dialoghi di Severo bar Shakkô, "Atti del R. Istituto Veneto di scienze, lettere ed arti", 86, 1926-1927, pp. 289 ...
Leggi Tutto
metasimbolo
metasìmbolo [Comp. di meta- e simbolo] [ALG] [FAF] Nella logica matematica, simb. non appartenente all'alfabeto di una teoria e che viene introdotto con funzione ausiliaria per semplificare [...] l'esposizione della teoria medesima ...
Leggi Tutto
Termine designante, secondo Aristotele (Topica, VIII, 11, 162 a 17-18), uno dei quattro aspetti che, dal punto di vista della sua funzione dimostrativa, può avere il sillogismo, e precisamente quello che esso assume quando serve a dedurre due conclusioni fra loro contraddittorie. Per gli altri tre aspetti, v. filosofema, epicherema, sofisma ...
Leggi Tutto
non
non nella lingua italiana, avverbio di negazione cui, in logica matematica, corrisponde il connettivo rappresentato dal simbolo ￢ e detto appunto, → negazione. Dato un enunciato A, la sua negazione [...] è l’enunciato ￢A che si legge «non A» ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La probabilita
Eugenio Regazzini
La probabilità
Evoluzione della nozione di probabilità
La grande difficoltà in cui si dibattevano i cultori [...] che è vero se e solo se B ed E si verificano congiuntamente, falso se E si verifica e B non si verifica, privo di valore logico se E non si verifica: è un modo diverso per dire che IB∣E è la restrizione di IB a E. L'unica e ovvia restrizione nelle ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Geometria algebrica
Jeremy Gray
Geometria algebrica
Agli inizi del XX sec. la scuola di punta in geometria algebrica era quella italiana, guidata [...] da Guido Castelnuovo, Federigo Enriques e Francesco Severi impegnati prevalentemente nella teoria delle superfici algebriche, allora in espansione, e nella classificazione delle superfici, in particolare ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Geometria differenziale
Jeremy Gray
Geometria differenziale
La geometria differenziale è lo studio dei problemi geometrici mediante i metodi [...] dell'analisi. Le origini risalgono al XVII sec., e nel XIX era una delle branche più attive della matematica. I problemi tipici studiati dai geometri differenziali dell'epoca riguardavano curve nel piano ...
Leggi Tutto
Herbrand, teorema di
Herbrand, teorema di o teorema di Herbrand-Tarski, in logica, altra denominazione del teorema di deduzione, dimostrato da J. Herbrand nella sua opera del 1930, ma già delineato da [...] . Tarski nell’anno precedente. Il teorema stabilisce un collegamento tra una teoria logica contenente anche assiomi non logici, ma specifici, e la teoria logica generale, indipendente da essi (→ deduzione, teorema di). Con la denominazione teorema di ...
Leggi Tutto
diallele
diallele termine (dal greco diállelos, «ragionamento reciproco») usato in logica per indicare un circolo vizioso, cioè un ragionamento in cui le premesse si fondano sulle conseguenze e viceversa, [...] cosicché c’è solo una parvenza di dimostrazione. Secondo i filosofi scettici, il sillogismo stesso sarebbe un diallele, perché la premessa universale («tutti gli uomini sono mortali») presuppone accertata ...
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...