logica
Enciclopedia on line
Filosofia
Disciplina che studia le condizioni di validità delle argomentazioni deduttive.
La l. antica
I vocaboli ἡ λογική (τέχνη), τὰ λογικά si stabilizzarono nel significato di «teoria del giudizio [...] gli assiomi sono in sé privi di riferimenti ad ambiti particolari di esperienza, e quindi non ha senso considerare un sistema formale ‘più vero’ di un altro; ma in quanto la matematica trova diretto fondamento in una intuizione-base, comune a tutti ...
Leggi Tutto
assioma
Enciclopedia on line
Filosofia
Principio certo per immediata evidenza e costituente la base per l’ulteriore ricerca. Kant, nella Critica della ragion pura, chiama a. dell’intuizione alcuni giudizi a priori, di evidenza immediata, [...] ; si parla invece di a. quando si introduce, per comodità di ragionamento e per maggiore generalità di risultati, un sistema formale di proprietà definitorie nella trattazione di problemi relativi a enti o a espressioni che non hanno di per sé ...
Leggi Tutto
dimostrazione
Enciclopedia on line
Filosofia
Processo logico-discorsivo (dal gr. apodissi) in virtù del quale si arriva a garantire la validità di un enunciato.
La nozione di d. venne introdotta da Aristotele che la definì come quella forma [...] , inerenti alle forme stesse della intuizione.
In logica matematica, una successione finita di espressioni A1,..., An di un linguaggio L di un sistema formale T si dice d. di un’espressione A di L se: a) ogni espressione Ai compresa tra A1 e An o è ...
Leggi Tutto
ricorsività
Enciclopedia on line
ricorsività La proprietà di essere ricorsivo, cioè ricorrente. Teoria della r., o della ricorsione, o computabilità, la disciplina che si occupa di fornire una caratterizzazione matematica del concetto [...] per utilizzare la teoria della r. nei problemi di decisione. Infatti, avvenuta l’aritmetizzazione nell’ambito di un opportuno sistema formale del tipo di quello di Peano, constatare se un predicato metateorico, per es., è ‘dimostrabile’, è o meno ...
Leggi Tutto
CATEGORIA:
TEMI GENERALI
Borromini, Francesco
Enciclopedia on line
Architetto (Bissone 1599 - Roma 1667), col suo antagonista G. L. Bernini è una delle due più originali e importanti figure dell'architettura del sec. 17° in Italia. Dopo un soggiorno a Milano, venne forse [...] critica neoclassica e oggi nuovamente apprezzata, è, nei suoi caratteri formali, opposta a quella del Bernini. Al contrario di questo, il dibattito, aperto dal B., sulla validità del sistema formale classico e sul carattere espressivo delle più ardite ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Ramsey, Frank Plumpton
Enciclopedia on line
Filosofo e logico inglese (Cambridge 1903 - ivi 1930). Prof. all'università di Cambridge, conosciuto soprattutto per la sua analisi critica dei Principia mathematica di B. Russell e A. N. Whitehead, R. [...] l'eliminazione dei termini teorici dagli enunciati delle teorie scientifiche, consistente nel sostituire negli assiomi del sistema formale in cui è espressa la teoria tutte le costanti designanti entità teoriche con opportune variabili e applicando ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
teorema
Enciclopedia on line
teorema In matematica e nelle scienze deduttive, ogni enunciato (o formula o proprietà) che può essere dimostrato, cioè che può essere dedotto logicamente dagli enunciati primitivi, detti assiomi o postulati. [...] un insieme organico di enunciati nel quale si può, in generale, cominciare con alcuni o con altri enunciati.
In un sistema formale si chiama t. (o enunciato dimostrabile) l’ultima formula di una dimostrazione, cioè di una sequenza finita di formule ...
Leggi Tutto
CATEGORIA:
TEMI GENERALI
FRANCIA
Enciclopedia Italiana (1932)
FRANCIA
Emmanuel DE MARTONNE
Pino FORTINI
Emmanuel DE MARTONNE
Luigi CHATRIAN
Carlo DE ANGELIS
Giulio COSTANZI
Anna Maria RATTI
Raymond LANTIER
Francesco COGNASSO
Roberto PALAMAROCCHI
Pietro [...] e il re Ludovico e tengono la Francia nell'orbita del sistema politico germanico. La situazione non muta quando a Ludovico succede il autonomia. Le elezioni municipali si ridussero a una pura formalità, finché l'editto del 1692 trasformò la carica di ...
Leggi Tutto
Informatica
Enciclopedia Italiana - VI Appendice (2000)
Informatica
Giorgio Ausiello
Carlo Batini
Vittorio Frosini
(App. IV, ii, p. 189; V, ii, p. 704)
Mentre negli anni 1937-38 venivano pubblicati l'ultimo volume della Enciclopedia Italiana e l'App. I, [...] dall'intero programma.
L'approccio assiomatico alla semantica dei programmi ha portato allo sviluppo di una serie di sistemi formali (logiche della programmazione), per lo più estensioni modali di logiche del prim'ordine. Esempi di tali logiche sono ...
Leggi Tutto
CATEGORIA:
TEMI GENERALI
TEORIE FORMALIZZATE
Enciclopedia Italiana - IV Appendice (1981)
TEORIE FORMALIZZATE
Aldo Marruccelli
. Una t. deduttiva T è un insieme di enunciati espressi in un determinato linguaggio (ordinario o simbolico) suscettibile di interpretazioni su opportuni insiemi [...] risultano veri sotto una certa interpretazione. Si parla di "t. f. in senso stretto" (o anche di "sistema formale" o "formalismo") quando T è costituita soltanto dal suo linguaggio simbolico, dal suo apparato deduttivo (insieme degli assiomi e regole ...
Leggi Tutto