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
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
La logica e i fondamenti della matematica tra Ottocento e Novecento
Mario Piazza
I fondamenti della geometria
Nella seconda metà dell’Ottocento, in tutta Europa il baricentro delle ricerche geometriche [...] che Peano ci mette del suo, restringendo gli orizzonti dellalogica (non una «scienza a sé ma strumento per esprimere e analizzare le proposizioni matematiche», Delleproposizioni esistenziali, in Proceedings of the fifth international congress of ...
Leggi Tutto
La scienza bizantina e latina: la nascita di una scienza europea. L'infinito e l'eternita del mondo
Johannes M.M.H. Thijssen
L'infinito e l'eternità del mondo
La questione dell'infinito si è imposta [...] e, di conseguenza, sul suo contenuto di verità.
I logici medievali svilupparono alcune tecniche di analisi linguistica miranti a esplicitare il significato delleproposizioni ambigue. La più importante di queste tecniche era quella chiamata ...
Leggi Tutto
La scienza bizantina e latina prima dell'influsso della scienza araba. Aritmetica e geometria
Menso Folkerts
Aritmetica e geometria
Le discipline matematiche del quadrivio
Tra il 500 e il 1100 ca., [...] comunque a tradurre in latino importanti testi greci di logica e di scienze naturali: le Categoriae di Aristotele, Libro I, la maggior parte delleproposizioni dei Libri I-IV e le dimostrazioni soltanto delle prime tre proposizioni del Libro I. A ciò ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. I fondamenti della geometria
Umberto Bottazzini
I fondamenti della geometria
Verso la metà del XIX sec. Georg Friedrich Bernhard Riemann (1826-1866) [...] . Nella concezione di Peano il metodo assiomatico non rappresenta altro che un'analisi delleproposizioni fondamentali effettuata con gli strumenti dellalogica matematica. Chiunque può premettere le ipotesi che vuole e svilupparne le conseguenze ...
Leggi Tutto
PADOA, Alessandro
Clara Silvia Roero
PADOA, Alessandro. – Nacque a Venezia il 14 ottobre 1868 da Pellegrino, commerciante, e da Pasqua Levi.
Dopo aver compiuto gli studi superiori nella sezione fisico-matematica [...] più riprese di conseguire la libera docenza per titoli: nel 1902 in logica matematica a Torino (v. lettere di Padoa a Giovanni Vailati, 24 deduttiva, definiva l’indipendenza assoluta delleproposizioni («quando esse sono ordinatamente indipendenti ...
Leggi Tutto
enunciato
enunciato [Der. del part. pass. enuntiatus del lat. enuntiare, comp. di ex "fuori" e nuntiare "annunciare" e quindi "annunciare pubblicamente, esternare"] [FAF] [ALG] Secondo la definizione [...] . ◆ [FAF] E. protocollari: v. epistemologia: II 436 a. ◆ [ALG] Calcolo degli e., o delleproposizioni: nella logica matematica, sistema deduttivo (costituito da un linguaggio, da un insieme di assiomi e da regole di derivazione) che, oltre ai simb ...
Leggi Tutto
predicato
predicato [Der. del lat. praedicatum, part. pass. neutro sostantivato di praedicare "rendere noto"] [ALG] [FAF] (a) Ciò che si afferma o si nega intorno a un soggetto; (b) nella logica matematica, [...] che assume il calcolo delleproposizioni (→ proposizione) quando, oltre alle proposizioni semplici e ai connettivi, si considerano anche p. e quantificatori. ◆ [ALG] [FAF] Logica dei p.: la parte dellalogica matematica che studia le espressioni ...
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.:...