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

lògica matemàtica

logica simbolica 

logica simbolica → logica.

logica simbolica

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

Carnap, Rudolf

. 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

Enciclopedia Italiana - IV Appendice (1978)

EPISTEMOLOGIA

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

Enciclopedia Italiana - VI Appendice (2000)

Semantica

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",

Pàdoa, Alessandro

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.

Scholz, Heinrich

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

inclusione

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

Jung, Joachim

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

Bocheński, Józef

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, ...

lògica

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 ...