lògica matemàtica
Enciclopedia on line
lògica matemàtica Branca della logica, che utilizza un linguaggio simbolico e adotta un sistema di calcolo di tipo algebrico per esaminare le espressioni di un discorso deduttivo. Queste ultime possono [...] assiomi, mediante le dimostrazioni, le formule dimostrabili, dette anche teoremi o tesi logiche. L'interpretazione è una rappresentazione (applicazione) dei simboli sugli elementi dell'insieme che costituisce l'universo (o dominio) di interpretazione ...
Leggi Tutto
CATEGORIA:
LOGICA MATEMATICA
logica simbolica
Enciclopedia della Matematica (2013)
logica simbolica
logica simbolica → logica. ...
Leggi Tutto
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
Pàdoa, Alessandro
Enciclopedia on line
Matematico (Venezia 1868 - Genova 1937), docente nell'univ. di Genova. Allievo di G. Peano, fu uno dei suoi più stretti collaboratori per quel che concerne lo studio dei fondamenti dell'aritmetica e l'istituzione [...] di una rigorosa logica simbolica. P. dimostrò, tra l'altro, l'indipendenza degli "assiomi di Peano" e propose l'importante metodo o principio di P.; eseguì la riduzione delle idee primitive della logica a tre nozioni fondamentali (di "uguaglianza", ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
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
inclusione
Enciclopedia on line
Botanica
Sostanza o soluzione complessa racchiusa nei vacuoli delle cellule, detta anche incluso cellulare; può essere liquida, come le goccioline di oli, o solida, come la drusa .
CHIMICA
Composto di [...] J. Pedersen, hanno mostrato che essi possono dar luogo, sotto determinate condizioni, a reazioni altamente stereospecifiche.
Matematica
In matematica e logica simbolica, relazione di i. è quella tra due insiemi A e B, dove B è incluso in A se e solo ...
Leggi Tutto
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