logica
lò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 [...] cablata, che permette la registrazione di programmi nella memoria di un calcolatore, consentendo di cambiarne l'architettura senza modificarne la struttura. ◆ [FAF] L. proposizionale o enunciativa: si occupa dello studio dei connettivi logici che si ...
Leggi Tutto
De Morgan Augustus
De Morgan 〈dë mòghën〉 Augustus [STF] (Madura, India, 1806 - Londra 1871) Prof. di matematica nell'univ. di Londra (1828). ◆ [ALG] Leggi, o teoremi, di D.: nella logica matematica, [...] leggi del calcoloproposizionale che hanno una notevole rilevanza nell'algebra booleana: v. circuiti logici: I 618 f. ...
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 [...] che la sua non esistenza generava una contraddizione. Gödel dimostrerà che una logica proposizionale intuizionista e il classico calcoloproposizionale sono mutuamente traducibili e quindi in un certo senso equivalenti, traendone come conseguenza ...
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 [...] è un bene.
(3) Dunque c’è luce.
Incontriamo qui una prima differenza fondamentale tra la logica crisippea e il calcoloproposizionale classico a cui essa è stata troppo facilmente associata al momento della sua riscoperta: la logica crisippea non è ...
Leggi Tutto
Visione artificiale
Pietro Parodi
(Scuola Internazionale di Studi Superiori Avanzati, Trieste, Italia)
Vincent Torre
(Scuola Internazionale di Studi Superiori Avanzati, Trieste, Italia)
La visione artificiale, [...] , che sia soddisfacibile se e solo se il line drawing è realizzabile. Per chi non ha familiarità con il calcoloproposizionale, conviene ricordare che una proposizione booleana è costruita a partire da un certo numero di variabili logiche Xl, ... Xn ...
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 [...] poiché ¬¬(a ???38??? b) è equivalente a a ≠ b, e non a a ???38??? b.
I quattro connettivi del calcoloproposizionale sono indipendenti. Nessuno di essi può essere definito in termini degli altri tre. Anche i due quantificatori sono indipendenti in ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Le scuole di filosofia della matematica
Solomon Feferman
Le scuole di filosofia della matematica
I più importanti programmi di fondazione della [...] negazione, implicazione e quantificatore universale come operatori logici di base, e conteneva un sistema completo per il calcoloproposizionale e dei predicati del primo ordine. Questi divennero contributi permanenti per la logica moderna, benché in ...
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 [...] 'arimetica' e quindi 'possibile' con 'consistente con l'aritmetica'. Conveniamo di chiamare KT il sistema ottenuto aggiungendo al calcoloproposizionale standard gli assiomi K: □(A⊃B)⊃(□A⊃□B) e T: □A⊃A nonché la cosiddetta regola di necessitazione ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
Andrea Bernardoni
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
All’inizio del Novecento la logica si sviluppa sotto l’egida della problematica circa [...] la dimostrabilità di una formula con quantificatori alla dimostrabilità di una formula senza quantificatori nel calcoloproposizionale. Nel calcolo dei sequenti per la logica classica e intuizionista esistono regole esprimibili senza un esplicito ...
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 [...] seguito un vasto terreno di ricerche. Il lavoro si conclude con alcuni risultati concernenti il calcoloproposizionale esteso, ossia il calcoloproposizionale del secondo ordine (primo scalino, per così dire, della prototetica), in cui cioè è ammessa ...
Leggi Tutto
proposizionale
propoṡizionale agg. [der. di proposizione]. – In logica matematica, che si riferisce a proposizioni: calcolo p., il calcolo delle proposizioni (v. proposizione, n. 2); variabile p., variabile che rappresenta una proposizione.
calcolo1
càlcolo1 s. m. [dal lat. calcŭlus, propr. «pietruzza» (cfr. càlcolo2), attrav. il sign. di «gettone per fare i conti»]. – 1. a. Successione più o meno lunga di operazioni atte a fornire la soluzione di un dato problema aritmetico,...