Cerca in:
assiomatica
Enciclopedia della Matematica (2013)
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
Dizionario di filosofia (2009)
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
Bacóne, Francesco
Enciclopedia on line
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
CATEGORIA:
BIOGRAFIE
evidenza per termini, postulato di
Enciclopedia della Matematica (2013)
evidenza per termini, postulato di
evidenza per termini, postulato di → sistema ipotetico deduttivo. ...
Leggi Tutto
evidenza per enunciati, postulato di
Enciclopedia della Matematica (2013)
evidenza per enunciati, postulato di
evidenza per enunciati, postulato di → sistema ipotetico deduttivo. ...
Leggi Tutto
formalizzazione
Dizionario di filosofia (2009)
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
distinctiones
Enciclopedia on line
Raccolte di ragionamenti formulati da giuristi medievali su norme giustinianee e condotti con metodo logico deduttivo. ...
Leggi Tutto
CATEGORIA:
STORIA E FILOSOFIA DEL DIRITTO
realta, postulato di
Enciclopedia della Matematica (2013)
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
Dizionario delle Scienze Fisiche (1996)
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
Enciclopedia Dantesca (1970)
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