logica matematica
Enciclopedia dei ragazzi (2006)
logica matematica
Walter Maraschini
Simboli per ragionare correttamente
Quando due amici discutono non sempre sono d’accordo: possono avere intenzioni e gusti diversi, oppure opinioni contrastanti sul [...] con i ragionamenti come con i calcoli per poter stabilire, con certezza, quando sono corretti e quando sono errati
Logica simbolica
Un ragionamento è costituito da una serie di ‘passaggi’: si parte da alcune premesse e si arriva a determinate ...
Leggi Tutto
CATEGORIA:
LOGICA
Carnap, Rudolf
Enciclopedia on line
Filosofo tedesco (Ronsdorf, Wuppertal, 1891 - Santa Mon ica, California, 1970). Dal 1909 al 1914 studiò matematica e fisica a Friburgo e Jena, dove seguì le lezioni di logica di G. Frege. Nel 1921 conseguì [...] cui riprendeva e sviluppava alcuni temi caratteristici del nascente neopositivismo come l'insistenza sull'importanza della logica simbolica, l'interesse quasi esclusivo per i linguaggi delle scienze empiriche, il rifiuto della metafisica come insieme ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
EPISTEMOLOGIA
Enciclopedia Italiana - IV Appendice (1978)
. Assumendo la parola "epistemologia" nel senso di "riflessione critica generale intorno alla conoscenza scientifica", il presente tentativo di sintesi problematica delle acquisizioni epistemologiche post-ottocentesche [...] alla metamatematica. - Negli ultimi anni del 19° secolo e all'inizio del 20°, l'edificazione della logica simbolica, o logica matematica, o logistica, intrapresa verso la metà dell'Ottocento da G. Boole e A. De Morgan, nonché portata ulteriormente ...
Leggi Tutto
Semantica
Enciclopedia Italiana - VI Appendice (2000)
Semantica
Giulio Lepschy
(XXXI, p. 334; App. III, ii, p. 692; IV, iii, p. 298)
Ciò che caratterizza gli studi di s. negli ultimi decenni del 20° secolo è la convergenza di due filoni di ricerca precedentemente [...] si sono dimostrati più ottimisti. Si pensi in particolare a H. Reichenbach, che nel suo manuale di logica simbolica del 1947 inseriva uno stimolante capitolo sul linguaggio quotidiano, e offriva come esempio un'analisi del sistema temporale nelle ...
Leggi Tutto
CATEGORIA:
LINGUISTICA GENERALE
Scholz, Heinrich
Enciclopedia on line
Teologo e logico (Berlino 1884 - Münster 1956). Prof. di teologia sistematica e filosofia della religione a Breslavia (1917-19), insegnò successivamente a Kiel, poi a Münster (dal 1928), dove nel 1943 [...] fondò l'Institut für mathematische Logik und Grundlagenforschung e tenne l'insegnamento di logica simbolica. Il suo pensiero teologico e metafisico fu profondamente influenzato dai Principia mathematica di A. N. Whitehead e B. Russell, tanto che S. ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Jung, Joachim
Enciclopedia on line
Naturalista, matematico e filosofo (Lubecca 1587 - Amburgo 1657); godette di altissima stima tra i contemporanei. In contrapposizione alle dottrine scolastiche, fu fautore del metodo sperimentale e matematico, [...] . Notevole anche la sua attività nel campo della logica formale, che segna, grazie alla sua opera, alcuni dei maggiori progressi prima dell'avvento della logica simbolica moderna (significativi soprattutto gli ampliamenti della teoria della ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Bocheński, Józef
Enciclopedia on line
Filosofo e storico della filosofia polacco (Czuszów, Katowice, 1902 - Friburgo, Svizzera, 1995). Domenicano (1927), prof. di filosofia all'Angelicum di Roma (1934-40), poi (1945-72) di storia della filosofia [...] la teoria della deduzione e alcuni momenti cruciali del pensiero logico; si è occupato anche di filosofia sovietica. Tra le sue opere: Nove lezioni di logica simbolica (1938); La logique de Théophraste (1939); Precis de logique mathématique ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Agazzi, Evandro
Enciclopedia on line
Filosofo della scienza (n. Bergamo 1934); allievo di G. Bontadini, è stato prof. di filosofia della scienza dal 1970 nell'univ. di Genova, dal 1979 ordinario e attualmente prof. di filosofia teoretica. [...] Tra le sue opere: La logica simbolica (1964); Temi e problemi di filosofia della fisica (1969); La geometria non euclidea e i fondamenti della geometria (1978); Il bene, il male e la scienza (1992); Cultura scientifica e interdisciplinarità (1994); ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
categorematico
Enciclopedia on line
Nella logica formale, detto di termine che ha un significato preso isolatamente (contrapposto a sincategorematico). Termini c. sono sostantivi, verbi, aggettivi. Tale distinzione si mantiene nella logica [...] simbolica, salvo varianti terminologiche (talora i termini c. vengono detti propri, e i sincategorematici impropri o incompleti); i termini c. si distinguono in soggetti, predicati, enunciati, quelli sincategorematici in connettivi e operatori. ...
Leggi Tutto
CATEGORIA:
LOGICA
La seconda rivoluzione scientifica: matematica e logica. Le scuole di filosofia della matematica
Storia della Scienza (2004)
La seconda rivoluzione scientifica: matematica e logica. Le scuole di filosofia della matematica
Solomon Feferman
Le scuole di filosofia della matematica
I più importanti programmi di fondazione della [...] opere di Cantor e di Peano: dal primo attraverso la sua teoria delle classi; dal secondo mediante la sua logica simbolica. Russell aveva incontrato Peano nel 1900 e fu colpito dalla precisione del suo approccio. Russell elaborò la propria sintesi ...
Leggi Tutto