Peano, Giuseppe
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
Giuseppe Peano
Clara Silvia Roero
Negli ultimi decenni dell’Ottocento e nei primi del Novecento le ricerche matematiche, logiche e linguistiche di Giuseppe Peano ebbero una straordinaria eco internazionale. [...] delle matematiche elementari. Nella stampa del 1908 esso raccoglieva oltre quattromila proposizioni scritte in simboli, con l’enunciato esplicito delle di logica della quinta edizione del Formulario, e Clarence Irving Lewis (1883-1964) dell’Università ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Saccheri, Giovanni Girolamo
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
Giovanni Girolamo Saccheri
Vincenzo De Risi
Il matematico Girolamo Saccheri è considerato il primo scopritore (seppure suo malgrado) delle geometrie non euclidee. Nella sua opera principale, Euclides [...] e assai nuova nei metodi e nella struttura logica, del fatto che se in un solo quadrilatero vale una delle tre ipotesi, allora in tutti i quadrilateri deve valere la medesima ipotesi (proposizioni 5-7, detti complessivamente talvolta «secondo teorema ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
scienze
Enciclopedia dei ragazzi (2006)
scienze
Paolo Casini
Le mappe del sapere
La conoscenza umana è un intreccio di teorie e di pratiche in continua crescita e anche il termine scienza ha avuto via via significati mutevoli. Per orientarsi [...] che segue il percorso inverso, dai casi particolari alle proposizioni universali; e sa ben ricondurre ai principi le analisi tratteggiò nel Nuovo organo i criteri di una logica della ricerca rigorosamente induttiva, che dai casi particolari ...
Leggi Tutto
CATEGORIA:
TEMI GENERALI
notazione
Dizionario delle Scienze Fisiche (1996)
notazione
notazióne [Der. del lat. notatio -onis, dal part. pass. notatus di notare, a sua volta da nota] [LSF] L'atto e l'effetto dell'apporre o dell'usare note, insieme di segni e simboli adottati [...] particolare n., includente pressoché tutte le proposizioni e le concatenazioni logiche, in modo da escludere quasi, decimale (se presente) n=-1 (decimi) per la prima cifra a destra della virgola, n=-2 (centesimi) per la seconda cifra, ecc. ◆ [ALG ...
Leggi Tutto
CATEGORIA:
FISICA DEI SOLIDI
–
FISICA MATEMATICA
–
STORIA DELLA FISICA
–
TEMI GENERALI
–
ALGEBRA
–
ANALISI MATEMATICA
–
EPISTEMOLOGIA
–
METAFISICA
linguaggio
Dizionario delle Scienze Fisiche (1996)
linguaggio
linguàggio [Der. di lingua] [LSF] Il mezzo con cui gli uomini si scambiano reciprocamente informazioni; tale scambio, i cui veicoli (vocaboli) sono simboli di significato noto agli interlocutori, [...] sono alla base delle varie teorie logiche; sono costruiti a partire da un ben definito alfabeto, che è costituito da simboli di termini categorematici (come variabili e costanti enunciative per denotare le proposizioni, individuali per denotare ...
Leggi Tutto
CATEGORIA:
FISICA MATEMATICA
–
STORIA DELLA FISICA
–
TEMI GENERALI
–
ALGEBRA
–
EPISTEMOLOGIA
–
METAFISICA
–
ELETTRONICA
metamatematica
Enciclopedia on line
Scienza che ha per oggetto l’analisi formale delle strutture matematiche, e che si può identificare con la logica matematica. Con significato più ristretto la m., o teoria della dimostrazione (Beweistheorie), [...] il corrispettivo in una proposizione deducibile nella teoria formale. Nella scelta del calcolo logico da includere nella teoria agli altri assiomi della teoria degli insiemi, dell’assioma zermeliano della scelta e dell’ipotesi cantoriana del ...
Leggi Tutto
CATEGORIA:
LOGICA MATEMATICA
teoria
Enciclopedia on line
Filosofia
Formulazione logicamente coerente di un insieme di definizioni, principi e leggi generali che consente di descrivere, interpretare, classificare, spiegare fenomeni di varia natura.
Le domande [...] dell’esperienza?; qual è lo status conoscitivo di una t.? P. Duhem ed E. Mach intendevano per t. un sistema di proposizioni in un insieme di oggetti, detto ‘universo dell’interpretazione’ (➔ logica).
Le diverse t. deduttive si distinguono ...
Leggi Tutto
CATEGORIA:
TEMI GENERALI
Frege, Gottlob
Enciclopedia on line
Filosofo e matematico tedesco (Wismar 1848 - Bad Kleinen, Meclemburgo, 1925); insegnò lungamente a Jena; erano gli anni in cui scienziati illustri come K. Weierstrass, J. W. R. Dedekind, G. Cantor davano [...] fondamentali debbono essere esprimibili mediante concetti logici; vi sono cioè certi tipi di proposizioni e di operazioni inferenziali, quelle "puramente logiche", che sono privilegiate rispetto alle proposizioni delle teorie per così dire "applicate ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
conseguenza
Enciclopedia on line
In logica, relazione che si instaura tra un gruppo di proposizioni e una proposizione quando quest’ultima è detta seguire logicamente dalle prime. Si distinguono vari tipi di c. a seconda delle particolari [...] affermazione che qualcosa ‘segua’ da qualcos’altro.
In logica matematica, relazione di c. è una particolare relazione interpretazione di quest’insieme debba essere anche un’interpretazione dell’espressione considerata.
Funzione di c. La funzione che ...
Leggi Tutto
CATEGORIA:
LOGICA
La civiltà islamica: condizioni materiali e intellettuali. Dal greco all'arabo: trasmissione e traduzione
Storia della Scienza (2002)
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