• Istituto
    • Chi Siamo
    • La nostra storia
  • Magazine
    • Agenda
    • Atlante
    • Il Faro
    • Il Chiasmo
    • Diritto
    • Il Tascabile
    • Le Parole Valgono
    • Lingua italiana
    • WebTv
  • Catalogo
    • Le Opere
    • Bottega Treccani
    • Gli Ebook
    • Le Nostre Sedi
  • Scuola e Formazione
    • Portale Treccani Scuola
    • Formazione Digitale
    • Formazione Master
    • Scuola del Tascabile
  • Libri
    • Vai al portale
  • Arte
    • Vai al portale
  • Treccani Cultura
    • Chi Siamo
    • Come Aderire
    • Progetti
    • Iniziative Cultura
    • Eventi Sala Igea
  • ACQUISTA SU EMPORIUM
    • Arte
    • Cartoleria
    • Design & Alto Artigianato
    • Editoria
    • Idee
    • Marchi e Selezioni
  • Accedi
    • Modifica Profilo
    • Treccani X

induzione

Dizionario di Economia e Finanza (2012)
  • Condividi

induzione


Procedimento logico, mediante il quale si passa dalla considerazione di casi particolari a una conclusione generale. In matematica, un insieme A (o una proprietà P) si dice definito per i. se la sua definizione soddisfa le seguenti condizioni: elementi di uno specifico tipo, detti elementi-base, appartengono ad A (o godono di P); comunque si scelgano elementi che appartengono ad A (che godono di P), i risultati ottenuti applicando a quegli elementi operazioni prefissate appartengono ad A (o godono di P); si esclude che enti diversi da quelli indicati appartengano ad A (o godano di P). Per es., una tipica definizione per i. è quella nell’insieme N dei numeri naturali. L’elemento-base è lo zero, l’operazione è quella di ‘successore’; si dirà allora: zero appartiene a N; se n appartiene a N, anche il successore di n deve appartenere a N; nient’altro appartiene a N.

Dimostrazione per induzione

Data una successione infinita di proposizioni matematiche (A1, A2,...,An,An+1,...), tutte le proposizioni della successione sono vere se risultano verificate le seguenti condizioni: la prima proposizione, A1, è vera; supponendo vera una qualsiasi proposizione della successione, per es. An, se ne deduce la verità della successiva, An+1. È questo il cosiddetto principio di i. completa. Tale principio si incontra in forme diverse, come per es.: «se una proprietà A è vera per il numero 1, e se supponendola vera per un intero n qualsiasi, si deduce che essa è vera anche per il successivo (ossia n+1), essa è vera per tutti i numeri interi».

Il principio di i. fornisce la giustificazione per le cosiddette definizioni ricorsive di funzioni aritmetiche. In generale, esse stabiliscono il valore di una funzione per l’argomento zero (e per eventuali parametri); poi verificano il valore della funzione per l’argomento n+1, in dipendenza (oltre che dai parametri) da n e dal valore della funzione per n, utilizzando, se necessario, altre funzioni già note.

Nelle scienze sperimentali l’i. empirica o i. incompleta consiste nell’enunciare una legge valida in generale, basandosi soltanto su una successione finita di osservazioni, e questa avrà un valore e un senso solo se si suppongono validi certi caratteri di regolarità nel fenomeno studiato.

Vedi anche
verità verità Conformità o coerenza a principi dati o a una realtà obiettiva. filosofia 1. Definizione e criterio di verità Nella storia della filosofia il concetto di verita è stato concepito in almeno due diverse prospettive, l’una ontologica, l’altra strettamente connessa al discorso umano. Nella prospettiva ... logica filosofia Disciplina che studia le condizioni di validità delle argomentazioni deduttive. 1. La logica antica I vocaboli ἡ λογική (τέχνη), τὰ λογικά si stabilizzarono nel significato di «teoria del giudizio e della conoscenza» nell’ambiente protostoico, pur conservando λογικός per tutta la grecità ... Rudolf Carnap Carnap ‹kà-›, Rudolf. - Filosofo tedesco (Ronsdorf, Wuppertal, 1891 - Santa Mon ica, California, 1970). Dal 1909 al 1914 studiò matematica e fisica a Friburgo e Jena, dove seguì le lezioni di logica di G. Frege. Nel 1921 conseguì a Jena il dottorato in fisica con la dissertazione Der Raum. Dopo un lungo ... Francesco Bacóne Bacóne, Francesco (ingl. Francis Bacon). - Filosofo inglese (Londra 1561 - ivi 1626). All'astrattezza del metodo sillogistico-deduttivo della scienza aristotelica, Bacone, Francesco - che sottolinea le finalità pratiche del sapere - contrappone il metodo induttivo fondato sull'esperienza (Novum Organum, ...
Vocabolario
induzióne
induzione induzióne s. f. [dal lat. inductio -onis, der. di inducĕre «indurre», part. pass. inductus; nelle accezioni scient. dei nn. 3 e 4, dal fr. induction e ingl. induction]. – 1. non com. L’atto di indurre, di agire cioè con la persuasione...
induttivo
induttivo agg. [dal lat. tardo inductivus, der. di inducĕre «indurre», part. pass. inductus; nel sign. 2, dal fr. inductif]. – 1. Che concerne l’induzione, nel sign. filosofico del termine: procedimento logico i.; ragionamento i.; metodo...
  • Istituto
    • Chi Siamo
    • La nostra storia
  • Magazine
    • Agenda
    • Atlante
    • Il Faro
    • Il Chiasmo
    • Diritto
    • Il Tascabile
    • Le Parole Valgono
    • Lingua italiana
    • WebTv
  • Catalogo
    • Le Opere
    • Bottega Treccani
    • Gli Ebook
    • Le Nostre Sedi
  • Scuola e Formazione
    • Portale Treccani Scuola
    • Formazione Digitale
    • Formazione Master
    • Scuola del Tascabile
  • Libri
    • Vai al portale
  • Arte
    • Vai al portale
  • Treccani Cultura
    • Chi Siamo
    • Come Aderire
    • Progetti
    • Iniziative Cultura
    • Eventi Sala Igea
  • ACQUISTA SU EMPORIUM
    • Arte
    • Cartoleria
    • Design & Alto Artigianato
    • Editoria
    • Idee
    • Marchi e Selezioni
  • Accedi
    • Modifica Profilo
    • Treccani X
  • Ricerca
    • Enciclopedia
    • Vocabolario
    • Sinonimi
    • Biografico
    • Indice Alfabetico

Istituto della Enciclopedia Italiana fondata da Giovanni Treccani S.p.A. © Tutti i diritti riservati

Partita Iva 00892411000

  • facebook
  • twitter
  • youtube
  • instagram
  • Contatti
  • Redazione
  • Termini e Condizioni generali
  • Condizioni di utilizzo dei Servizi
  • Informazioni sui Cookie
  • Trattamento dei dati personali