assiomatica
assiomatica o teoria del metodo assiomatico o del metodo deduttivo, l’insieme delle questioni concernenti la metodologia delle teorie definite attraverso assiomi. Si è soliti distinguere [...] il metodo assiomatico in contenutistico (o antico) e formale (o moderno). Il primo risale al matematico greco Euclide, il secondo nasce e si afferma nel secolo xix.
Secondo l’approccio assiomatico contenutistico, ...
Leggi Tutto
sistema formale
Sistema costituito da un linguaggio formale e un apparato deduttivo. Un esempio di s. f. è quello K per la logica proposizionale classica dato dalla coppia (LK; DK) dove LK è il linguaggio [...] alle clausole (1) e (2) (dove α, β, γ sono metavariabili che variano sulle formule ben formate di K). L’apparato deduttivo è costituito dall’insieme degli assiomi e delle regole logiche del sistema. L’insieme di assiomi per il s. f. K considerato è ...
Leggi Tutto
Filosofo inglese (Londra 1561 - ivi 1626). All'astrattezza del metodo sillogistico-deduttivo della scienza aristotelica, B. - che sottolinea le finalità pratiche del sapere - contrappone il metodo induttivo [...] aveva messo in evidenza la fallacia dello stesso concetto aristotelico di scienza come fondata su procedimenti sillogistico-deduttivi. All'inutilità di questo metodo che sostituiva parole a cose, processi verbali a processi reali, B. contrappone ...
Leggi Tutto
formalizzazione
Rappresentazione rigorosa di una teoria da un punto di vista espressivo e deduttivo. Tale rappresentazione viene considerata necessaria per escludere sia la presenza di assunzioni occulte [...] che specificano le combinazioni possibili di simboli per formare espressioni complesse, regole semantiche che stabiliscono il significato delle espressioni, e, infine, regole inferenziali che fissano le relazioni deduttive tra gli enunciati. ...
Leggi Tutto
realta, postulato di
realtà, postulato di in logica, proprietà di ogni enunciato di un sistema ipotetico deduttivo S (così come definito da Aristotele) consistente nel fatto che ogni enunciato di questo [...] tipo deve riferirsi a uno specifico insieme di enti reali ...
Leggi Tutto
euclideo
euclidèo [agg. Der. di Euclide] [ALG] [FAF] Qualifica di ente matematico o di sistema ipotetico-deduttivo che soddisfi i postulati di Euclide. ◆ [ALG] Algoritmo e. delle divisioni successive: [...] procedimento per calcolare il massimo comun divisore di due numeri, e anche di due polinomi, attraverso un numero finito di operazioni di divisione: → algoritmo. ◆ [ALG] Connessione e.: v. connessione: ...
Leggi Tutto
sillogismo (silogismo)
Cesare Vasoli
Termine tecnico della logica, è usato da D. a denotare l'argomento deduttivo, che procede cioè dal generale al particolare secondo precise regole operative. Nel s. [...] il poeta, con tutta la tradizione logica medievale, distingue una ‛ materia ' e una ‛ forma ': materia sono le affermazioni specifiche che fungono da premesse nell'ambito di una certa scienza; forma è ...
Leggi Tutto
deduttivo
agg. [dal lat. tardo deductivus, der. di deducĕre «dedurre»]. – Che riguarda la deduzione (come procedimento logico): metodo d., quello che procede per deduzione, usando cioè soltanto il ragionamento senza far ricorso all’esperienza...
sistema
sistèma s. m. [dal lat. tardo systema, gr. σύστημα, propr. «riunione, complesso» (da cui varî sign. estens.), der. di συνίστημι «porre insieme, riunire»] (pl. -i). – 1. Nell’ambito scientifico, qualsiasi oggetto di studio che, pur...