filosofia analitica
Enciclopedia on line
Orientamento di pensiero sviluppatosi soprattutto in Inghilterra dagli inizi del 20° sec., e volto prevalentemente allo studio del linguaggio nei suoi vari aspetti (scientifici, quotidiani, etici, logici [...] ). Per altra via, partendo da indagini di tipo matematico e riprendendo spunti dall’opera di G. Frege e G. Peano e dall’insegnamento matematico di A. Whitehead, senza tuttavia trascurare teorie come quelle di A. Meinong sugli ‘oggetti’, B ...
Leggi Tutto
ŁUKASIEWICZ, Jan
Enciclopedia Italiana - III Appendice (1961)
ŁUKASIEWICZ, Jan
Alberto PASQUINELLI
Filosofo, nato a Leopoli il 21 dicembre 1878, morto a Dublino il 13 febbraio 1956. Insegnò filosofia e logica all'univ. di Varsavia e, dopo la seconda guerra mondiale, [...] , nonché alla coerenza e completezza dell'intero sistema. Introdusse un nuovo simbolismo ritenuto più semplice di quello di G. Peano e B. Russell. Sempre al livello delle proposizioni elementari, il Ł. elaborò per primo, accanto alle tavole di verità ...
Leggi Tutto
La seconda rivoluzione scientifica: introduzione. Filosofia e pratica matematica
Storia della Scienza (2004)
La seconda rivoluzione scientifica: introduzione. Filosofia e pratica matematica
Umberto Bottazzini
Filosofia e pratica matematica
Quando si parla di 'seconda rivoluzione' scientifica si pensa di solito [...] sugli insiemi di punti, le profonde connessioni tra la teoria della misura degli insiemi e l'integrazione sono state indagate da Peano e da Jordan. Le loro definizioni non si applicano tuttavia a molti insiemi di grande interesse come, per esempio, l ...
Leggi Tutto
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 [...] dei numeri. ◆ [STF] [ALG] [FAF] Nella teoria degli insiemi e nella logica matematica vi fu la tendenza (G. Peano) a introdurre una particolare n., includente pressoché tutte le proposizioni e le concatenazioni logiche, in modo da escludere quasi ...
Leggi Tutto
CATEGORIA:
FISICA DEI SOLIDI
–
FISICA MATEMATICA
–
STORIA DELLA FISICA
–
TEMI GENERALI
–
ALGEBRA
–
ANALISI MATEMATICA
–
EPISTEMOLOGIA
–
METAFISICA
Hauptsatz di Gentzen
Enciclopedia della Scienza e della Tecnica (2008)
Hauptsatz di Gentzen
Silvio Bozzi
Con questo nome (che significa teorema fondamentale) nella letteratura logica si indica una classe di teoremi il cui prototipo è dato dal risultato ottenuto da Gerhald [...] queste teorie fornirebbe una dimostrazione finitista di coerenza. Come provato da Gentzen nel 1936 nel caso dell’aritmetica di Peano, il teorema vale ma richiede sul piano metateorico il ricorso all’induzione aperta sull’ordinale . Il discorso si può ...
Leggi Tutto
CATEGORIA:
LOGICA
numero
Enciclopedia on line
Ciascuno degli enti astratti che costituiscono una successione ordinata e che, fatti corrispondere ciascuno a ciascun oggetto preso in considerazione, servono a indicare la quantità degli oggetti costituenti [...] 0, 1, 2, 3, … La nozione di n. naturali è stata presentata in forma assiomatica da vari autori, tra cui G. Peano che, utilizzando le ricerche e i risultati di R. Dedekind e tralasciando ogni indagine sulla genesi del concetto di n., assume come ...
Leggi Tutto
modalità
Enciclopedia on line
Matematica
Nella logica, ciascuno dei modi con cui può configurarsi il nesso fra soggetto e predicato.
Nella sillogistica aristotelica, i giudizi erano distinti a seconda che il nesso che univa il soggetto [...] logica deontica, al cui sviluppo ha contribuito notevolmente G.H. von Wright), ‘p è dimostrabile nell’aritmetica di Peano’ (enunciati trattati nella logica della dimostrabilità), o ‘dopo che il programma termina, si ha p’ (enunciati trattati nella ...
Leggi Tutto
CATEGORIA:
LOGICA
Russell, Bertrand Arthur William, conte
Enciclopedia on line
Filosofo e logico britannico (Trelleck, Galles, 1872 - Pernhyndeudraeth 1970). Tentò di risolvere i paradossi da lui stesso individuati nei progetti di fondazione logica dell'aritmetica, ed elaborò - risentendo [...] il tentativo di R. di portare a compimento i progetti di fondazione logica dell'aritmetica già intrapresi da G. Cantor, G. Peano e G. Frege. Nelle sue opere (A critical exposition of the philosophy of Leibniz, 1900, trad. it. 1972; The principles of ...
Leggi Tutto
WROŃSKI Józef Maria
Enciclopedia Italiana (1937)
WROŃSKI (Hoene-Wroński) Józef Maria
Pensatore polacco, nato a Wolsztyn presso Poznań il 24 agosto 1778, morto a Neuilly il 9 agosto 1853. Partecipò giovanissimo, quale ufficiale d'artiglieria, all'insurrezione [...] e all'estero), Varsavia 1929; Z. L. Zaleski, Un dispensateur de l'absolu, J. M. H.-W., in Attitudes et destinées, Parigi 1932; F. Bertinaria, La psicologia fisica ed iperfisica di H. W., Torino 1877; G. Peano, Sul determinismo wronskiano, Roma 1897. ...
Leggi Tutto
scelta
Enciclopedia on line
Libero atto di volontà per cui, tra due o più offerte, proposte, possibilità o disponibilità, si manifesta o dichiara di preferirne una (in qualche caso anche più di una), ritenendola migliore, più adatta [...] Cantor aveva fatto uso in alcune dimostrazioni di un ragionamento che equivale logicamente all’assioma di scelta. Nel 1890 G. Peano incidentalmente diede una formulazione di questo assioma. Nel 1902 B. Levi lo enunciò come principio a sé stante. Nel ...
Leggi Tutto