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 [...] ’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 di regole di inferenza di T; b) A è l’ultima espressione della successione (cioè A=An). ...
Leggi Tutto
La scienza presso le civilta precolombiane. Pratiche di calcolo nell'antica Mesoamerica
John S. Justeson
Pratiche di calcolo nell'antica Mesoamerica
La matematica mesoamericana si è sviluppata al di [...] tendono a dare luogo a rappresentazioni di altre appropriate conoscenze, e ciò ha importanti conseguenze per i sistemi d'inferenza simbolica, quali sono quelli della matematica. Per esempio, ciò significa che un procedimento additivo che operi su ...
Leggi Tutto
Procedimento logico, mediante il quale si passa dalla considerazione di casi particolari a una conclusione universale.
Nel linguaggio scientifico, in genere, modificazione che determinate proprietà di [...] Goodman), ne ha segnalato il carattere di procedura eminentemente pragmatico-linguistica non ulteriormente riconducibile a qualche forma di inferenza logico-sintattica. Più radicale il punto di vista di K. Popper, che ha invece negato la legittimità ...
Leggi Tutto
sistema Nell’ambito scientifico, qualsiasi oggetto di studio che, pur essendo costituito da diversi elementi reciprocamente interconnessi e interagenti tra loro e con l’ambiente esterno, reagisce o evolve [...] e delle espressioni; b) un insieme di premesse (dette assiomi o postulati); c) un insieme di regole di inferenza che consentono di trarre conclusioni dalle premesse; d) un insieme di espressioni logicamente giuste, in quanto ricavate dalle premesse ...
Leggi Tutto
Diritto
D. nel diritto dell'Unione Europea È una delle fonti derivate del diritto dell’Unione Europea (UE), insieme alle direttive e ai regolamenti (art. 288 del Trattato sul funzionamento dell’UE). [...] formulata da A. Wald (1939) con l’obiettivo di fornire uno schema concettuale capace di unificare la vasta tematica dell’inferenza statistica. Per alcuni aspetti formali la teoria delle d. si ricollega invece ai primi elementi della teoria dei giochi ...
Leggi Tutto
Filosofia
Disciplina che studia le condizioni di validità delle argomentazioni deduttive.
La l. antica
I vocaboli ἡ λογική (τέχνη), τὰ λογικά si stabilizzarono nel significato di «teoria del giudizio [...] compaiono termini (classi) e nelle quali le variabili stanno per i termini, gli stoici individuano schemi d’inferenza, in cui gli elementi costitutivi sono le proposizioni (e le variabili quindi stanno per proposizioni). Particolare rilievo acquista ...
Leggi Tutto
segno Fatto, manifestazione, fenomeno da cui si possono trarre indizi, deduzioni, conoscenze ecc. Qualsiasi oggetto o più spesso figura che sia convenzionalmente assunta come espressione e rappresentazione [...] b) congiunti con le cose significate o separati da esse; c) naturali e inventati.
Il tema del rapporto tra significazione e inferenza, già trattato dagli stoici, ritorna sia in T. Hobbes sia, più tardi, in C. Wolff, mentre la filosofia empiristica di ...
Leggi Tutto
semantica Ramo della linguistica che si occupa dei fenomeni del linguaggio non dal punto di vista fonetico e morfologico, ma guardando al loro significato. Il termine fu coniato da M. Bréal nel 1883 come [...] significato e alla verità delle formule coinvolte, la s. logica è una teoria matematica del modo in cui certe forme d’inferenza preservano la verità, e quindi del modo in cui la verità di premesse e conclusioni è determinata dalla loro struttura. La ...
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 [...] classico ‒ privato dell'identità ‒ introducendo il sistema LK.
Il sistema LK è costituito da tre gruppi di regole di inferenza: Identità, Struttura e Logica, dove Γ, Δ, Λ, ecc. indicano insiemi finiti di formule, eventualmente anche vuoti.
Alcune ...
Leggi Tutto
METAMATEMATICA
Alberto Pasquinelli
Aldo Marruccelli
. Il problema della metamatematica. - Come disciplina specifica, la m. deve la propria genesi (e la propria denominazione) a D. Hilbert, il quale [...] , con dimostrazione generale e assoluta, che, applicando agli assiomi di siffatto sistema le corrispondenti regole d'inferenza, non può mai seguirne contraddizione alcuna. Questo "metateorema d'impossibilità", vertente sulla teoria rappresentata nel ...
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,...