lògica matemàtica Branca della logica, che utilizza un linguaggio simbolico e adotta un sistema di calcolo di tipo algebrico per esaminare le espressioni di un discorso deduttivo. Queste ultime possono [...] . Dopo aver stabilito il linguaggio, si costituisce il calcolo, fissando un insieme di postulati costituito da assiomi e regolediinferenza; applicando queste regole si possono ottenere, a partire dagli assiomi, mediante le dimostrazioni, le formule ...
Leggi Tutto
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 [...] formale T si dice d. di un’espressione A di L se: a) ogni espressione Ai compresa tra A1 e An o è un assioma di T, o è ottenuta da espressioni precedenti nella successione per applicazione diregolediinferenzadi T; b) A è l’ultima espressione ...
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 [...] 0 e 1. La logica sfumata ha proprietà sfumate, tavole di verità sfumate e regolediinferenza sfumate, rendendo evanescente l'applicazione dei concetti tradizionali di assiomatizzabilità, consistenza, completezza. Tali proprietà peraltro interessano ...
Leggi Tutto
Dimostrazione, teoria della
Jean-Yves Girard
La teoria della dimostrazione nasce negli anni Venti del Novecento come strumento di realizzazione del programma di David Hilbert per la fondazione della [...] ; limitiamoci per ora al caso del primo ordine classico ‒ privato dell'identità ‒ introducendo il sistema LK.
Il sistema LK è costituito da tre gruppi diregolediinferenza: Identità, Struttura e Logica, dove Γ, Δ, Λ, ecc. indicano insiemi finiti ...
Leggi Tutto
Fondamenti della matematica e teoria algoritmica dell'informazione
Gregory J. Chaitin
Ciò che possiamo dimostrare intorno ai fondamenti della matematica usando i suoi stessi metodi costituisce la metamatematica, [...] un linguaggio artificiale e si sceglie un insieme fisso di assiomi e regolediinferenza (regoledi deduzione); ciò viene fatto con tanta precisione che si può stabilire un algoritmo di verifica per le dimostrazioni. Definiremo teoria assiomatica ...
Leggi Tutto
Linguistica
Processo mediante il quale si crea una forma (tema o parola) da una radice o da una parola preesistente. Si distinguono comunemente una d. primaria, quando da una radice o base si formano [...] ultima delle quali è H, e ognuna delle quali è una delle espressioni di M o un assioma, o è ottenuta da espressioni precedenti della successione mediante una delle regole d’inferenza. Una d. nel senso ora definito è dunque una successione linearmente ...
Leggi Tutto
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, [...] di a. e diregole d’inferenza. Sistemi assiomatici che hanno, o hanno avuto, una notevole importanza sono quelli di origine, presso i Greci, l’a. in quanto nozione generale evidente di per sé, non dimostrabile, che sta a fondamento delle varie scienze ...
Leggi Tutto
Metodo
GGerard Radnitzky
di Gerard Radnitzky
Metodo
sommario: 1. Introduzione. 2. Concetto e definizione di procedimento metodico, metodo e metodologia. a) Distinzione tra i vari livelli. b) Definizione [...] quale sono state derivate, e ne accrescono così la probabilità. Si è cercato anzi di costruire con le regoledi queste inferenze induttive di probabilità un intero sistema di ‟logica induttiva" (v. Carnap, 1952). Ma già Hume aveva mostrato che è ...
Leggi Tutto
Simulazione, modelli di
Italo Scardovi
Modelli e simulazioni nella scienza
Secondo l'etimo latino, 'simulare' sta per 'render simile', come vuole la sua derivazione da similis; e tuttavia il verbo ha [...] di insiemi attraverso le proprietà di sottoinsiemi casuali. Dunque, problemi diinferenza induttiva, di stima statistica: stima dei valori incogniti di empiria simulata (il modello formale). Non esistono regole fisse, criteri oggettivi (che non sia l' ...
Leggi Tutto
inferenza
inferènza s. f. [der. di inferire nel sign. 2; cfr. illazione]. – 1. Nel linguaggio filos., ogni forma di ragionamento con cui si dimostri il logico conseguire di una verità da un’altra; sinon. quindi di illazione. Regole d’i., in...
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,...