Il termine connettivo indica in linguistica ciascuna delle forme invariabili (congiunzioni, locuzioni, ecc.), che indicano relazioni che strutturano ‘logicamente’ i significati della frase e del testo [...] .
A un livello di analisi inferiore, ogni periodo è articolato al suo interno da particolari relazioni logiche segnalate da altrettanti connettivi: il primo periodo è costruito attorno a una relazione di motivazione indicata da siccome; gli altri ...
Leggi Tutto
In arte e architettura, persona od oggetto che l’artista ritrae o riproduce, oppure esemplare preparatorio dell’opera finale. Nel linguaggio scientifico, costruzione schematica, puramente ipotetica o realizzata [...] f, c ∈ L.
Per qualsiasi interpretazione i connettivi enunciativi e i quantificatori sono applicati sulle corrispondenti si dice valida in una teoria T se è conseguenza degli assiomi non logici di T o, equivalentemente, se è vera in ogni m. di ...
Leggi Tutto
(A. T., 22-23, 24-25-26, 24-25-26 bis, 27-28-29, 29 bis).
Il nome. - Secondo Antioco di Siracusa (Dion. Halic., I, 35), il nome d' Italia derivava da quello di un potente principe di stirpe enotrica, Italo, [...] di governo, a elaborare istituzioni che siano come tessuto connettivo entro gli elementi in vario modo sottoposti all'autorità del sostenere la monarchia nelle sue guerre. Così, sia per logica estensione, sia per l'azione di altri fermenti locali, ...
Leggi Tutto
Informatica
Fabrizio Luccio
Franco P. Preparata
Carl-Erik Fröberg
Piero Sguazzero
Piero Dell'Orco e Tomaso Poggio
Teoria della computazione di Fabrizio Luccio
SOMMARIO: 1. Origine e motivazioni. [...] tutti del complesso di Edipo' dalla psicanalisi, ecc.
Di competenza della logica è invece il ‛calcolo' del valore di verità che un enunciato, composto tramite i connettivi, assume, in funzione dei valori di verità degli enunciati che lo compongono ...
Leggi Tutto
STORIA DELLA MATEMATICA
Luigi Borzacchini
STORIA DELLA MATEMATICA
Il tempo della scienza senza tempo
La matematica è la più antica e la più immutabile delle discipline. Si può dire che la matematica [...] ricorda quella antica tra analisi e sintesi, ma viene posta in termini di argomentazione logica più che matematica: il sillogismo è la classica procedura per connettere il suo termine inferiore a quello superiore utilizzando il medio, ma se scopo ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
La logica antica
Walter Cavini e Luca Castagnoli (*)
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
Dalla tarda Antichità all’Età Moderna la logica [...] Aristotele in poi, non ha dovuto fare alcun passo indietro […]. Nella logica è ancora degno di nota il fatto che sino ad oggi essa non più volte) collegati da uno o più connettivi. Il connettivo principale viene sempre posto all’inizio dell’enunciato ...
Leggi Tutto
Intuizionismo
AArend Heyting
di Arend Heyting
Intuizionismo
sommario: 1. Concetti fondamentali. 2. Aritmetica elementare. 3. Il principio del terzo escluso. 4. I numeri reali. 5. Ineguaglianza e separazione [...] delle costanti logiche
Noi usiamo le seguenti notazioni: ⋀ (congiunzione), ⋁ (disgiunzione), ¬ (negazione), → (implicazione), ∀ (quantificatore universale), ???29??? (quantificatore esistenziale). Questi connettivi si interpretano stabilendo ...
Leggi Tutto
La grande scienza. Automi e linguaggi formali
Dominique Perrin
Automi e linguaggi formali
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. [...] però un'origine strettamente matematica; essa risale ai lavori di logici dei primi decenni del Novecento, quali Emil L. Post, che sono del tipo
[1] (x∨¬y)∧(¬x∨z)∧…,
comprendono connettivi booleani e la negazione con le variabili x,y,… Per ogni ...
Leggi Tutto
Automi e linguaggi formali
Dominique Perrin
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. Tali successioni si presentano in situazioni [...] monoide sintattico è localmente idempotente e commutativo.+1
Automi e logica
Si deve a Richard Büchi l'idea di introdurre gli [1] (x ∨ ⌝ y) ∧ (⌝ x ∨ z) ∧…
comprendono connettivi booleani e la negazione con le variabili x, y,… Per ogni scelta dei ...
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
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,...
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...