este capítulo proporciona una visión general del concepto de lógica. La lógica puede ser identificada como el estudio de inferencias y relaciones inferenciales. El uso práctico de la lógica es, en cualquier caso, razonar bien y sacar buenas conclusiones. La transición de una premisa o un número de premisas a la conclusión se rige por una regla de inferencia. Si la inferencia está de acuerdo con la regla apropiada, se llama válida. Las reglas de inferencia son a menudo consideradas como el alfa y omega de la lógica., Las inferencias pueden ser deductivas, es decir, necesariamente preservar la verdad, o ampliativas, es decir, no necesariamente preservar la verdad. Los filósofos generalmente consideran el razonamiento deductivo como el tipo paradigmático de inferencia. Sin embargo, existe una opinión generalizada entre los no filósofos que podría llamarse la visión de Sherlock Holmes. De acuerdo con todo, el buen razonamiento, incluido el razonamiento Ampliativo, se convierte en «deducciones» y «lógica.»Se discuten conceptos relacionados con lógica e inferencia, inferencia deductiva e información, inferencias analíticas e inferencia ampliativa., Se proporcionan detalles de sistematización lógica y extralógica. También discute conceptos relacionados con la sintaxis y la semántica.