congiunzione
congiunzióne [Der. del lat. coniunctio -onis "atto ed effetto del congiungere o del congiungersi", dal part. pass. coniunctus di coniungere "congiungere", comp. di cum "insieme" e iungere [...] costituito dagli elementi che si trovano sia in A che in B; si chiama anche intersezione o prodotto logico. ◆ [FAF] C. logica: il connettivo enunciativo "e" (simb. ⌃); collega due enunciati, formandone uno che risulta vero se e solo se entrambi gli ...
Leggi Tutto
Pragmatismo
Antonio Santucci
di Antonio Santucci
Pragmatismo
sommario: 1. Introduzione. La problematica ‛peirciana'. 2. Il pragmatismo di James. 3. Dewey e la teoria dell'indagine. 4. La filosofia europea [...] osservazioni compiute per mezzo degli organi sensoriali e di strumenti tecnici" (Logic: the theory of inquiry, New York 1938, p. 113). C a prove che garantiscono un sapere obiettivo, ma si connettono ai bisogni dell'uomo che se ne riserva il controllo ...
Leggi Tutto
Progresso
Pietro Rossi
di Pietro Rossi
Progresso
Progresso e modernità
L'idea di progresso nasce con la cultura moderna, tra Sei e Settecento, e si diffonde largamente nell'epoca che va dalla pubblicazione [...] e le arti meccaniche sono una specie di tessuto connettivo che garantisce, alla distanza, tale ripresa.Il problema dell'umanità, ha perciò la propria base nella struttura logico-metafisica della realtà, e ne costituisce una specificazione. Esso ...
Leggi Tutto
logica intuizionista
Silvio Bozzi
La più studiata rivale della logica classica sin da quando fu assiomatizzata da Arend Heyting nel 1930. Già Anchei M. Kolmogorov nel 1925 e Vasili I. Glivenko nel 1929 [...] un risultato già provato da Gödel per cui se si traducono nel modo ovvio i connettivi in termini di ∧ e ← tutti i teoremi della logica classica – letti in questo modo – saranno teoremi anche di quella intuizionista. Il risultato estende un ...
Leggi Tutto
bicondizionale
bicondizionale [agg. e s.m. o f. Comp. di bi- e condizionale "che comporta due condizioni"] [FAF] Nella logica, la locuz. "se e soltanto se" (→ anche connettivo: C. logico). ...
Leggi Tutto
logico1
lògico1 (ant. lòico) agg. [dal lat. logĭcus, gr. λογικός, der. di λόγος «discorso, ragionamento»] (pl. m. -ci). – 1. a. Che concerne la logica o la logica matematica: principî l.; linguaggio l.; calcolo l.; o, più genericam., che riguarda...
connettivo
agg. e s. m. [der. di connettere]. – 1. agg. a. Che connette o serve a connettere. In partic., in istologia, tessuto c. (o, come sost., il connettivo), vasto gruppo di tessuti (c. propriamente detto, c. adiposo, c. cordoide o vescicolare,...