matematica
Walter Maraschini
Il regno dei numeri e delle figure, del calcolo e del ragionamento
La matematica è un sistema simbolico razionale e astratto che permette di orientarsi tra i problemi e [...] . Esige una dimostrazione, cioè un ragionamento condiviso.
Caratteristica importante della matematica è perciò il suo metodo, detto ipotetico-deduttivo: a partire da poche proposizioni iniziali tra loro coerenti (gli assiomi) tutto va dimostrato con ...
Leggi Tutto
La civilta islamica: condizioni materiali e intellettuali. Dal greco all'arabo: trasmissione e traduzione
Roshdi Rashed
Dal greco all'arabo: trasmissione e traduzione
Gli storici delle scienze e della [...] riportata una sorta di storia leggendaria della scienza, la cui origine sia logica sia storica è ascritta all'astrologia Lūqā.
d) Gli Specchi ustori di Diocle di cui soltanto due proposizioni sono state citate da Eutocio. Il libro è perduto in greco ...
Leggi Tutto
Scienza greco-romana. Nascita delle scienze e relazioni tra discipline
Giuseppe Cambiano
Nascita delle scienze e relazioni tra discipline
Sapere globale e distinzioni tra discipline
Nella Grecia antica, [...] della physikḗ come scienza o filosofia della Natura, che le scuole filosofiche dell'età ellenistica rivendicheranno alla propria competenza come una delle parti in cui si articola la filosofia, accanto alla logica determinate proposizioni dimostrate ...
Leggi Tutto
La scienza bizantina e latina: la nascita di una scienza europea. Teoria e pratica nel Medioevo
Guy Beaujouan
Teoria e pratica nel Medioevo
L'Alto Medioevo
Il giudizio negativo, talvolta velato di [...] delle Etimologie, nel quadro della tradizionale suddivisione stoica della filosofia in fisica, etica e logica, erano attribuite alla physica (scienza della già menzionati. Ad alcune figure e proposizioni degli Elementi di Euclide furono attribuite ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. L'analisi numerica
Paolo Zellini
L'analisi numerica
L'analisi numerica moderna comincia a delinearsi verso la metà del XX sec., con le prime [...] proposizionilogiche sono rappresentabili come reti elettroniche o sistemi nervosi idealizzati. Tra logica G è un operatore che associa elementi di uno spazio metrico X a elementi dello stesso spazio. Se con ∥x−y∥ si indica la distanza tra due ...
Leggi Tutto
Medioevo: la scienza siriaca. Matematica e astronomia
Henri Hugonnard-Roche
Matematica e astronomia
Le testimonianze dirette e indirette della produzione astronomico-matematica in lingua siriaca sono [...] Impero sasanide prima dell'epoca araba. Secondo le nostre fonti, egli avrebbe tradotto un'opera logica redatta in pahlavī , di cui restano, in un solo manoscritto (in cattivo stato), le proposizioni del primo libro comprese tra la 1 e la 23, e tra la ...
Leggi Tutto
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 [...] ), ¬¬¬P→¬P, (¬P⋁P→¬Q)→¬Q; egli utilizzò questi teoremi per mostrare l'insostenibilità dell'interpretazione dellalogica di Brouwer, secondo la quale una proposizione può assumere intuizionisticamente tre valori di verità; si tratta di un buon esempio ...
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.:...