geometria euclidea
geometria euclidea locuzione con la quale si intende in primo luogo la sistemazione su basi ipotetico-deduttive della geometria del piano e dello spazio operata da Euclide (sec. III [...] equivalenti a esso. Uno dei tentativi più importanti è dovuto a G. Saccheri che seguì uno schema logico differente. Saccheri partì dalla negazione del quinto postulato, sicuro di giungere a una contraddizione. In tal modo il postulato sarebbe stato ...
Leggi Tutto
quantita
quantità
La proprietà e la condizione per cui un singolo ente o elemento, concreto o astratto, può essere misurato e quindi la sua grandezza, eventualmente espressa in termini numerici.
La [...] analisi del concetto di q. che Aristotele svolge sul piano logico-dianoetico, laddove alle due forme principali del giudizio qualitativo, qualitativamente, il giudizio in cui il segno della negazione è connesso non con la copula ma direttamente col ...
Leggi Tutto
Frege
Frege Friedrich Ludwig Gottlob (Wismar, Meclemburgo-Pomerania Occidentale, 1848 - Bad Kleinen, Meclemburgo-Pomerania Occidentale, 1925) logico e matematico tedesco. Il disegno complessivo di tutta [...] onorario.
Frege intendeva basarsi soltanto su verità logiche non viziate da intuizioni, che si sarebbero Frege introduce il quantificatore universale e, attraverso la sua negazione, il quantificatore esistenziale. Frege introduce poi due nuove ...
Leggi Tutto
Godel, teorema di
Gödel, teorema di teorema che riguarda l’incompletezza di un’ampia classe di teorie formali, tra cui la teoria formale dell’aritmetica (→ aritmetica, sistema formale per la). Costituisce [...] in S esiste una formula A tale che né A né la sua negazione (indicata con il simbolo ￢A) sono dimostrabili. Ciò significa che se si al processo di formalizzazione e di costruzione su basi logiche dell’insieme delle teorie matematiche. Tale limite si ...
Leggi Tutto
PROLOG
PROLOG acronimo di programmation en logique (programmazione logica), indica un linguaggio di programmazione elaborato nel 1972 nell’ambito dell’università di Aix-Marseille sulla base dell’impostazione [...] ← e come congiunzione se posta alla sua destra, in base alla seguente catena di equivalenze logiche:
Una scrittura del tipo ← A, B va interpretata come una negazione e sarà letta «non (A e B)», essendo tale clausola la riscrittura, in questa ...
Leggi Tutto
convenzionalismo
Concezione filosofica secondo cui alcuni principi o proposizioni, sia conoscitivi sia etico-politici, sono delle convenzioni basate su un accordo o una scelta (anche in forma implicita), [...] geometrie non euclidee (sec. 19°) e alla conseguente negazione del carattere di verità evidenti agli assiomi geometrici. Le Peano, Hilbert, M. Pieri ecc.) e dalle ricerche degli empiristi logici (Carnap, Ayer, Hempel, ecc.). Con la prima il concetto ...
Leggi Tutto
sequenti, calcolo dei
sequenti, calcolo dei calcolo logico introdotto da G. Gentzen negli anni Trenta del xx secolo i cui elementi sono i sequenti, vale a dire espressioni del tipo Γ ⊢ Δ in cui Γ e Δ [...] dedotto dal sequente Γ ⊢ A, Δ. Di seguito sono riportate le regole logiche del calcolo dei sequenti, dove Π indica anch’esso una sequenza finita di formule sinistra
• Negazione
introduzione della negazione a destra
introduzione della negazione a ...
Leggi Tutto
implicazione
implicazione connettivo logico che corrisponde, nella lingua italiana, all’espressione «se... allora» e si indica con il simbolo ⇒. Dati due enunciati A e B, l’enunciato A ⇒ B (si legge [...] il connettivo dell’implicazione è legato alla derivazione logica dal teorema di deduzione, che stabilisce che se pari» si parte dalla negazione del conseguente: «n non è pari» cioè «n è dispari»; se ne deduce la negazione dell’antecedente («n è ...
Leggi Tutto
BALDI, Giovanni dei Tambeni
Riccardo Capasso
Nato nella seconda metà del sec. XIV dai Tambeni di Faenza, è tuttavia esplicitamente ricordato come cittadino di Firenze e comunemente noto sotto il cognome [...] dal 1385 al 1389 insegnò filosofia naturale (dal 1388 al 1389 anche logica) nell'università di Bologna e - stando a quel che dice egli volere che sia negato l'intelletto, ma esige invece la negazione della volontà. Il B. aggiunge che i canoni della ...
Leggi Tutto
verita
verità nella logica proposizionale, proprietà di una formula ben formata esprimibile attraverso due possibili valori: l’uno corrispondente all’attribuzione di tale proprietà, l’altro alla sua [...] presente, futuro), epistemici (sapere, credere, conoscere), e nelle logiche di stampo costruttivista (che rifiutano principi classici come quello del terzo escluso e della doppia negazione), la nozione di verità risulta ancora più complessa. Solo in ...
Leggi Tutto
negazione
negazióne s. f. [dal lat. negatio -onis]. – 1. a. L’atto del negare, e l’espressione con cui si nega (il contrario di affermazione): una n. recisa, timida, ostinata; la n. di una verità, di un fatto, di un concetto; la n. dell’evidenza;...
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...