La scienza bizantina e latina: la nascita di una scienza europea. Le discipline matematiche
Menso Folkerts
Richard P. Lorch
Anne Tihon
Le discipline matematiche
La matematica nell'Europa latina
di [...] procedimento dimostrativo, cercando di conferirgli una logica stringente. Questa attenzione per le ipotesi in questi scritti, rappresentano un tentativo di giustificare alcune delleproposizioni del De canonio sulla bilancia a bracci disuguali. In ...
Leggi Tutto
Scienza greco-romana. Euclide e la matematica del IV secolo
Reviel Netz
Euclide e la matematica del IV secolo
Sappiamo del IV sec. a.C. più di quanto non sappiamo del V, ma è sempre molto poco. Fra [...] la coerenza logicadell’opera, ma anche l’importanza del modo in cui le deduzioni sono presentate; occorre non soltanto che le cose siano coerenti, ma anche che siano nel giusto ordine.
Ancora più importante è il fatto che le proposizioni, pur ...
Leggi Tutto
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 [...] cui si opera. Il punto di partenza è costituito dalla logica formale e dalla teoria degli insiemi. Le strutture sono classificate trattato e renderà quasi immediata la maggior parte delleproposizioni enunciate in tale fascicolo. La lettura del libro ...
Leggi Tutto
L'Ottocento: matematica. Algebra dellalogica
Massimo Mugnai
Algebra dellalogicaLogica e matematica: pensare e calcolare
Sia nell'Antichità sia durante il Medioevo, la logica e la matematica si configurano [...] si rifà consapevolmente, aveva sviluppato una trattazione sistematica dellalogicadelle relazioni in On the syllogism (edito negli anni sia l'implicazione tra proposizioni, in modo da sviluppare, contemporaneamente al calcolo delle classi, un vero e ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La scuola di Leopoli-Varsavia
Ettore Casari
La scuola di Leopoli-Varsavia
Gli inizi
La singolare vicenda intellettuale divenuta nota come 'Scuola [...] deduttive' presentando i postulati e le definizioni che caratterizzarono addirittura un'epoca dellalogica del Novecento. Stabilito che l'insieme S delleproposizioni doveva essere 'al massimo numerabile', fissò che l'operazione ℂ che assegna a ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Le logiche modali
Fabio Bellissima
Paolo Pagli
Le logiche modali
L'Organon di Aristotele, atto di nascita dellalogica formale, comprende, oltre [...] materiale' dei Principia mathematica per la mancanza di connessione tra i significati delleproposizioni coinvolte, e alcuni anni dopo, in A survey of symbolic logic (1918), propone il concetto di implicazione stretta. Poiché 'A implica strettamente ...
Leggi Tutto
tavola matematica T. (o tabella) di composizione (o di moltiplicazione, o di Cayley) di un gruppo Specchio, o quadro, che contiene i prodotti degli elementi del gruppo a due a due. Se il gruppo è finito, [...] iniziale gh e della colonna che ha per primo elemento gk si scrive il prodotto gh gk.
Nella logica matematica, t. di verità (o tabella di verità) di un connettivo, tabella schematica che permette di stabilire se una proposizione A costruita con ...
Leggi Tutto
Il Rinascimento. Il metodo e l'ordine del sapere
Cesare Vasoli
Il metodo e l'ordine del sapere
Prodromi di un dibattito
La ricostruzione del lungo dibattito cinquecentesco sui criteri fondamentali [...] notevole fortuna:
Vi è infatti l'arte delleproposizioni e delle conoscenze (comprehensionum) universali (perpetuarum), e la questo loro dogma, sbarrano la via a una discussione logicadell'argomento che, oltre tutto, è estranea alle loro discipline ...
Leggi Tutto
La civilta islamica: antiche e nuove tradizioni in matematica. Filosofia della matematica
Roshdi Rashed
Filosofia della matematica
Gli storici della filosofia islamica dimostrano un interesse molto [...] di esposizione degli Elementi coincide con l'ordine logicodelle dimostrazioni ma differisce da quello di scoperta. segue una modale delleproposizioni. Essa è effettuata secondo vari criteri: numero delle soluzioni, delle ipotesi, loro compatibilità ...
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,...
proposizione
propoṡizióne s. f. [dal lat. propositio -onis, propr. «il mettere innanzi», der. di proponĕre: v. proporre]. – 1. In genere, ciò che si enuncia, si dichiara, si afferma, e la frase stessa che contiene l’enunciato. In partic.:...