El razonamiento inductivo o inducción es una forma de razonamiento en que la verdad de las premisas apoyan la conclusión, pero no la garantizan. Un ejemplo clásico de razonamiento inductivo es:

Todos los cuervos observados hasta el momento han sido negros
Por lo tanto, todos los cuervos son negrosEn principio, podría ser que el próximo cuervo que se observe no sea negro. En contraste a los razonamientos deductivos, los razonamientos inductivos tienen la ventaja de ser ampliativos, es decir que la conclusión contiene más información de la que hay contenida en las premisas. Dada su naturaleza ampliativa, los razonamientos inductivos son muy útiles y frecuentes en la ciencia y en la vida cotidiana. Sin embargo, dada su naturaleza falible, su justificación resulta problemática. ¿Cuándo estamos justificados en realizar una inferencia inductiva, y concluir, por ejemplo, que todos los cuervos son negros a partir de una muestra limitada de ellos? ¿Qué distingue a un buen argumento inductivo de uno malo? Estos y otros problemas relacionados dan lugar al problema de la inducción, cuya vigencia e importancia continúa desde hace siglos.
La lógica inductiva estudia las maneras de medir la probabilidad de que una conclusión sea verdadera, así como las reglas para construir argumentos inductivos fuertes. A diferencia de los razonamientos deductivos, en los razonamientos inductivos no existe acuerdo sobre cuándo considerar un argumento como válido. De este modo, se hace uso de la noción de «fuerza inductiva» que hace referencia al grado de probabilidad de que una conclusión sea verdadera cuando sus premisas son verdaderas. Así, un argumento inductivo es fuerte cuando es altamente improbable que su conclusión sea falsa si las premisas son verdaderas.[1]​
Tradicionalmente se consideraba, y en muchos casos todavía se considera, que la inducción es un método «bottom-up», o que «va de lo particular a lo general». Es decir, es una modalidad de razonamiento que, a partir de premisas que contienen datos particulares o individuales, obtiene conclusiones generales. Por ejemplo, a partir de la observación repetida de objetos o eventos de la misma índole se establece una conclusión general para todos los objetos o eventos de dicha naturaleza.[2]​[3]​[4]​ Esto, en oposición a la deducción, que sería un método «top-down», o que «va de lo general a lo particular».
Sin embargo, esa definición ha caído en desuso. Si con estas definiciones de deducción e inducción se quiere decir que en un argumento inductivo válido las premisas son siempre todas afirmaciones particulares y la conclusión es una afirmación general (esto es, cuantificacional).[5]​[6]​ Lo anterior, es dado porque es posible tanto enunciar proposiciones inductivas en forma «deductiva»[7]​ como de manera que no corresponden formalmente a lo que clásicamente se consideraba razonamiento inductivo.[8]​ Cuando en este método se parte de algunos casos, la inducción se denomina «incompleta»; por el contrario, cuando se enumeran todas las cosas para llegar a una conclusión general, esta inducción se conoce como «completa».
Consecuentemente, en el presente, «mucho de la inferencia sintética o contingente ahora se toma como inductiva, algunas autoridades van tan lejos como a considerar toda inferencia contingente como inductiva.»[9]​ Véase Juicios analíticos y sintéticos y Peirce en La inducción como probabilidad más abajo.
Muchos consideran que aunque la inducción no se puede validar (ver Problema de la inducción y más abajo), dado que expande nuestro conocimiento del mundo real, es parte indispensable del método científico:[10]​ «La gran ventaja de la inducción no es que se puede justificar o validar, como puede la deducción, pero que, con cuidado y un poco de suerte, puede corregirse, como otros métodos no lo hacen.»[9]​