Deduzione: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
No2 (discussione | contributi) Fix link |
m virgole |
||
Riga 2:
{{nota disambigua|il concetto di deduzione in [[economia]]|deduzione fiscale}}
[[File:Filos segundo logo.JPG|upright=1.1|thumb|Il ragionamento deduttivo umano assimilato a un meccanismo]]
Il '''metodo deduttivo''' o '''deduzione''' è il procedimento [[ragione|razionale]] che fa derivare una certa conclusione da premesse più generiche, dentro cui quella conclusione è implicita. Il termine significa letteralmente «condurre da», perché proviene dal [[lingua latina|latino]] ''"de"'' (traducibile con ''da'', preposizione indicante provenienza, o moto di discesa dall'alto verso il basso)
Questo metodo parte da [[postulati]] e princìpi primi e, attraverso una serie di rigorose concatenazioni logiche, procede verso determinazioni più particolari attinenti alla [[realtà]] tangibile.
Riga 8:
== Definizioni ==
Una definizione di deduzione nella [[logica]] moderna può essere:
* Una ''deduzione'' della [[formula]] α, dall'insieme ''M'' di assunzioni, è un ragionamento articolato in un numero finito di [[inferenza|passi inferenziali]] che dà evidenza del fatto che α segue logicamente da ''M''.
Oppure:
* Una ''deduzione'' è un insieme ordinato di formule (che ha come ultimo elemento la conclusione) ottenute per applicazione di un ragionamento formale basato su regole inferenziali prefissate.
La deduzione in senso moderno riguarda solamente il [[sintassi|livello sintattico]] del linguaggio
== Storia del metodo ==
| |||