La seconda rivoluzione scientifica: matematica e logica. Le logiche modali
Fabio Bellissima
Paolo Pagli
Le logiche modali
L'Organon di Aristotele, atto di nascita della logica formale, comprende, oltre [...] e costituiscono, con le relative inferenze, l'oggetto tradizionale della logica classica. Essa è caratterizzata dal fatto che gli operatorilogici (congiunzione, disgiunzione, implicazione, negazione) sono 'verofunzionali': il loro comportamento è ...
Leggi Tutto
Le congiunzioni sono elementi invariabili del discorso (➔ parti del discorso) che uniscono (lat. coniunctio, da coniungĕre «unire insieme») due elementi sintattici: elettivamente due frasi; nel caso delle [...] ; disgiuntive, come o, se indicano separazione ed esclusione o alternativa.
Queste congiunzioni sono studiate anche dalla logica col nome di operatorilogici o booleani, a ognuno dei quali è assegnato un simbolo algebrico. Si noti che nell’ambito ...
Leggi Tutto
NEOPOSITIVISMO (App. III, 11, p. 235)
Paolo Filiasi Carcano
R. Carnap e l'eredità del positivismo logico. - Il n. nel senso stretto della parola (come, cioè, quel movimento di logica e filosofia della [...] così dalle semplici tautologie. Un altro importante contributo di Hintikka è la sua interpretazione dei quantificatori (cioè degli operatorilogici che appaiono nel linguaggio sotto la forma di "esistono alcuni " o "tutti"): da un punto di vista ...
Leggi Tutto
Maurizio Costa e Fabio Ciotti
e-book
Dalla pagina di carta alla pagina elettronica: il libro cambia formato
Gli e-book e la nuova frontiera del libro digitale
di Maurizio Costa
17 maggio
Si inaugura [...] effettuare la ricerca occorre specificare, mediante l'uso dell'interfaccia, una serie di termini chiave, eventualmente connessi mediante operatorilogici, o di restrizione del campo di ricerca (per es., le pagine in una data lingua, o appartenenti a ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. L'intuizionismo di Brouwer
Anne L. Troelstra
L'intuizionismo di Brouwer
Nella dissertazione Over de Grondslagen der Wiskunde (I fondamenti della [...] di uno spazio topologico T ordinato per inclusione, dove U→V:=Interno (V (T U)). Le operazionilogiche ∧, ⋁, →, ¬ corrispondono alle operazioni di reticolo ∧, ⋁, → e all'operazione definita ¬a:=a→0, dove 0 è l'elemento minimo del reticolo (un'algebra ...
Leggi Tutto
logicalogica teoria dell’inferenza valida, cioè studio della correttezza dei ragionamenti, qualunque sia l’universo di discorso cui essi si riferiscano. Si riserva usualmente il termine «logica», privo [...] primitive di inferenza (o gli assiomi), dimostrandone la validità in base al significato degli operatorilogici.
La logica dei greci
Le teorie logiche aristoteliche, esposte nel corpus successivamente chiamato Organon, si basano su una analisi della ...
Leggi Tutto
operatorelogicooperatorelogico in un’algebra di → Boole, sinonimo di operazione su variabili booleane. Gli operatorilogici fondamentali sono gli operatori and, per il prodotto logico, or, per la [...] 1, perché agisce su un solo argomento ed è quindi un operatore unario, mentre and e or sono operatori binari. Gli operatorilogici dell’algebra di Boole, detti anche operatori vero-funzionali, sono quelli a cui più frequentemente si fa riferimento ...
Leggi Tutto
quantificazione
In generale nelle scienze empiriche, processo che associa a proprietà di un certo sistema osservato una costante numerica (processo di misurazione). In logica con tale termine si fa riferimento [...] all’utilizzazione nel linguaggio formale di operatorilogici detti quantificatori che quantificano variabili riguardanti individui, proprietà, funzioni ecc. I quantificatori denotano espressioni sincategorematiche come ‘esiste un’, ’qualcuno’, ‘per ...
Leggi Tutto
espressione
espressione scrittura formale che coinvolge un numero finito di numeri, lettere (dotate di valore simbolico) e operazioni. Un’espressione algebrica è un’espressione che coinvolge solamente [...] è anche detta espressione frazionaria. Un’espressione in cui intervengano operatori differenziali o integrali è detta differenziale; un’espressione logica è un’espressione in cui intervengono operatorilogici, quali connettivi o quantificatori. ...
Leggi Tutto
information retrieval
information retrieval insieme delle tecniche informatiche per il recupero mirato di informazioni in un sistema di memorizzazione elettronica. Può essere astrattamente considerato [...] può essere effettuata tramite apposite procedure usando una o più parole chiave connesse tra di loro tramite gli operatorilogici and, or, not. Ciò aumenta considerevolmente l’efficienza degli algoritmi di ricerca, potendo sia ottenere un risultato ...
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...
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,...