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
Logicasimbolica
Un ragionamento è costituito da una serie di ‘passaggi’: si parte da alcune premesse e si arriva a determinate ...
Leggi Tutto
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 logicasimbolica, l'interesse quasi esclusivo per i linguaggi delle scienze empiriche, il rifiuto della metafisica come insieme ...
Leggi Tutto
. 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 logicasimbolica, o logica matematica, o logistica, intrapresa verso la metà dell'Ottocento da G. Boole e A. De Morgan, nonché portata ulteriormente ...
Leggi Tutto
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 logicasimbolica del 1947 inseriva uno stimolante capitolo sul linguaggio quotidiano, e offriva come esempio un'analisi del sistema temporale nelle ...
Leggi Tutto
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 logicasimbolica. Il suo pensiero teologico e metafisico fu profondamente influenzato dai Principia mathematica di A. N. Whitehead e B. Russell, tanto che S. ...
Leggi Tutto
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 logicasimbolica moderna (significativi soprattutto gli ampliamenti della teoria della ...
Leggi Tutto
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 logicasimbolica (1938); La logique de Théophraste (1939); Precis de logique mathématique ...
Leggi Tutto
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 logicasimbolica (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
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
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 logicasimbolica. Russell aveva incontrato Peano nel 1900 e fu colpito dalla precisione del suo approccio. Russell elaborò la propria sintesi ...
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,...
simbolico
simbòlico agg. [dal lat. tardo symbolĭcus, gr. συμβολικός, der. di σύμβολον «simbolo»] (pl. m. -ci). – 1. Che ha natura e valore di simbolo: numeri, segni s.; il linguaggio s. della matematica; un atto, un gesto s.; in partic., azioni...