LOGICA MATEMATICA
Aldo Marruccelli
Alberto Pasquinelli
(XXI, p. 398; App. II, 11, p. 226; III, 1, p. 999).
Princìpi di logica matematica.
È opportuno premettere all'articolo che dà notizia dei progressi [...] del prim'ordine. - Linguaggio del prim'ordine. - Alfabeto: È costituito dai seguenti simboli: 1°) Costanti logiche, cioè connettivi e parentesi come per il linguaggio enunciativo, inoltre il quantificatore universale ???S-104??? (da leggere "per ogni ...
Leggi Tutto
enunciato
enunciato [Der. del part. pass. enuntiatus del lat. enuntiare, comp. di ex "fuori" e nuntiare "annunciare" e quindi "annunciare pubblicamente, esternare"] [FAF] [ALG] Secondo la definizione [...] linguaggio, da un insieme di assiomi e da regole di derivazione) che, oltre ai simb. dei connettivilogici (negazione, congiunzione, alternativa, implicazione, equivalenza) ammette solo espressioni enunciative; nel calcolo degli e., cioè, si studia ...
Leggi Tutto
E
E [Forma maiusc. della lettera e] [ASF] Una delle componenti della corona (←) solare. ◆ [GFS] Simb. del punto cardinale est. ◆ [CHF] Simb. dell'elemento chimico einsteinio. ◆ [FAF] (a) Simb. del connettivo [...] (←) logico; (b) una E ribaltata, ∃, è simb. del quantificatore (←) esistenziale. ◆ [MTR] Simb. del prefisso metrologico SI exa-. ◆ [ALG] E(x) indica la parte intera del numero x. ◆ [ASF] E₂ è il simb. della riga spettroscopica di Fraunhofer di ...
Leggi Tutto
non
nón [Lat. non] [LSF] Avv. di negazione, usato anche, con valore negativo, davanti ad altre parole, sia staccato da esse (com'è usuale in questa Enciclopedia), sia unito con un trattino oppure unito [...] direttamente, a formare una parola composta (che qui si troverà, in genere, separata nei suoi elementi). ◆ [ALG] [FAF] Connettivologico di negazione: → connettivo: C. logico. ...
Leggi Tutto
Metodo
GGerard Radnitzky
di Gerard Radnitzky
Metodo
sommario: 1. Introduzione. 2. Concetto e definizione di procedimento metodico, metodo e metodologia. a) Distinzione tra i vari livelli. b) Definizione [...] ., che nascono dalla definizione della cosiddetta implicazione materiale, del connettivo ⊃ nei Principia mathematica. M. Bunge chiama non-problems questo genere di problemi dell'empirismo logico (v., per es., Archives de l'Institut International des ...
Leggi Tutto
Logiche non standard
Claudio Pizzi
Alcune famiglie di logiche non standard sono costituite da logiche che sono estensioni assiomatiche di quella standard, mentre altre constano di logiche rappresentabili [...] insiemi sfumati si diranno identici se gli stessi oggetti appartengono a essi con lo stesso grado di appartenenza. I connettivilogici riproducono le operazioni insiemistiche e la logica che ne risulta ammette infiniti valori intermedi tra 0 e 1. La ...
Leggi Tutto
Dimostrazione, teoria della
Jean-Yves Girard
La teoria della dimostrazione nasce negli anni Venti del Novecento come strumento di realizzazione del programma di David Hilbert per la fondazione della [...] intuizionista
Sin dal 1935 Gentzen aveva affiancato a LK un calcolo LJ per la logica intuizionista ottenibile da LK con due sole modifiche: 1) non prendendo ⌝ come connettivo primitivo ma definendo A come (A⇒); 2) limitandosi a sequenti del tipo Γ⇒A ...
Leggi Tutto
L'Ottocento: matematica. Algebra della logica
Massimo Mugnai
Algebra della logicaLogica e matematica: pensare e calcolare
Sia nell'Antichità sia durante il Medioevo, la logica e la matematica si configurano [...] puro"), è indubbio che anche le sue scoperte si connettono a una situazione determinata in gran parte dall'attività del sistema booleano è il procedimento per sviluppare una data funzione logica f(x), f(x,y), ecc., sviluppo che Boole concepisce ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La scuola di Leopoli-Varsavia
Ettore Casari
La scuola di Leopoli-Varsavia
Gli inizi
La singolare vicenda intellettuale divenuta nota come 'Scuola [...] confini della problematica proposizionale, rivolgendo l'attenzione a quel ben più complesso oggetto logico che sono le proposizioni strutturate non solo in connettivi, ma anche in soggetti, predicati e quantificatori. Dice Tarski:
La diffidenza dei ...
Leggi Tutto
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
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,...