se-allora
sé-allóra [ALG] [FAF] Uno dei connettivilogici, e precis. implicazione logica o condizionale logico, di simb. →; agisce su due enunciati A e B trasformandoli nell'unico enunciato A→B, che [...] risulta falso se A è vero mentre B è falso, e vero in ogni altro caso; corrisponde all'"implicazione materiale", già conosciuta da Filone Megarico ...
Leggi Tutto
connettivi generalizzati
Settimo Termini
John von Neumann aveva osservato già nel 1951 che la forma rigida della logica classica poneva una forte limitazione all’espressività di linguaggi di tipo logico [...] ’altro anche lui di una idea di ‘insieme sfumato’, la nozione di ensemble flou – diversi autori propongono vari connettivilogici generalizzati. Questi sviluppi possono vedersi come una parziale realizzazione dell’intuizione di von Neumann a cui si è ...
Leggi Tutto
segno Fatto, manifestazione, fenomeno da cui si possono trarre indizi, deduzioni, conoscenze ecc. Qualsiasi oggetto o più spesso figura che sia convenzionalmente assunta come espressione e rappresentazione [...] dei primi sono i termini che fissano l’ambito di denotazione, come ‘tutti, alcuni ecc.’, dei secondi i connettivilogici, dei terzi i s. d’interpunzione, le intonazioni o modulazioni della voce, quelli che la linguistica moderna classifica come ...
Leggi Tutto
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 [...] preciso, e del resto secondo R. Carnap (Putnam 1988) le regole della logica formale non determinano univocamente l'interpretazione dei connettivilogici. Inoltre, le difficoltà che si incontrano nel cercare di rendere conto dell'operazione ...
Leggi Tutto
Epistemologia
VVincenzo Cappelletti
di Vincenzo Cappelletti
Epistemologia
Sommario: 1. Dalla gnoseologia all'epistemologia. 2. Il mentale tra il soggettivo e l'oggettivo. 3. La scienza del secondo Novecento [...] proposizioni acquistino significato rispetto a Erlebnisse, a vissuti, sensoriali, con l'innesto di connettivilogici che sono considerati, però, tautologie. Tra una logica ridotta a tautologia e un'esperienza vista come percezione non c'è più spazio ...
Leggi Tutto
logicalògica [Lat. logica, dal gr. loġiké (sottinteso téchne "arte"), a sua volta da lógos "discorso, ragionamento"] [ELT] [INF] Il complesso dei circuiti logici che fanno parte di un dispositivo elettronico [...] di cambiarne l'architettura senza modificarne la struttura. ◆ [FAF] L. proposizionale o enunciativa: si occupa dello studio dei connettivilogici che si premettono o si interpongono tra enunciati, senza analizzare all'interno di questi i rapporti tra ...
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
se e solo se
sé e sólo sé [ALG] [FAF] Uno dei connettivilogici, e precis. equivalenza logica o bicondizionale logico, di simb. ↔; agisce su due enunciati A e B trasformandoli nell'unico enunciato (doppia [...] implicazione) A ↔ B che risulta vero se A e B sono entrambi veri o entrambi falsi, e falso in ogni altro caso ...
Leggi Tutto
predicato
predicato [Der. del lat. praedicatum, part. pass. neutro sostantivato di praedicare "rendere noto"] [ALG] [FAF] (a) Ciò che si afferma o si nega intorno a un soggetto; (b) nella logica matematica, [...] delle proposizioni (→ proposizione) quando, oltre alle proposizioni semplici e ai connettivi, si considerano anche p. e quantificatori. ◆ [ALG] [FAF] Logica dei p.: la parte della logica matematica che studia le espressioni (formule) che si possono ...
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...