Cuales son las leyes que rigen el razonamiento correcto

La lógica es la ciencia que se encarga de exponer las leyes, Modos y formas del razonamiento. Se trata de una ciencia formal que no tiene Contenido, pero que se dedica al estudio de las formas válidas de inferencia. Es decir, trata del estudio de los métodos y principios utilizados para Distinguir el razonamiento correcto del incorrecto.
En otras palabras, la lógica es:

"El conjunto de conocimientos que tienen por objeto la Enunciación de las leyes que rigen los procesos del pensamiento humano; así como De los métodos que han de aplicarse al razonamiento y la reflexión para lograr Un sistema de raciocinio que conduzca a resultados que puedan considerarse como Certeros o verdaderos."

El objeto de estudio de esta ciencia son las formas, estructuras o esquemas de Pensamiento; por eso mientras las otras ciencias se centran en las relaciones De su objeto de estudio con diversos fenómenos, la lógica se ocupa de las Relaciones mismas.

Podemos distinguir entre dos tipos generales de lógica:

a) Lalógica Formal, también llamada lógica pura, que es precisamente la “ciencia” que Determina cuáles son las formas correctas y válidas de los raciocinios.

b) Lalógica Material, también llamada lógica aplicada, que es en la cual un proceso de Raciocinio o de pensamiento se analiza en consideración al contenido real de Sus premisas y que por lo tanto debe llevar a una conclusión que sea Concordante con la realidad.

Enlógica, unaconclusiónes unaproposiciónal final De unargumento, luego De laspremisas.¹Si el argumento esválido, las premisas Implican la conclusión. Sin embargo, para que una proposición constituya Conclusión no es necesario que el argumento sea válido: lo único relevante es Su lugar en el argumento, no su «papel» o función.²

Lalógica De clasesanaliza laproposición lógicaconsiderando La pertenencia o nopertenenciade un Elemento o individuo a una determinadaclase. Es la interpretación de una proposición o enunciado Lingüístico bajo la formalización de lateoría de conjuntos, representada porDiagramas de Venny Símbolos delálgebra de conjuntos. La clase tiene sentido aun cuando no existan individuos. Así, la clasehombre, como concepto de hombre, Existe comopropiedadoconceptoaunque no existan los Hombres.

Enlógica, unatautología(delgriegoταυτολογία, "decir lo mismo") es unafórmula bien formadade un Sistema delógica proposicionalque Resulta verdadera para cualquier interpretación; es decir, para cualquier Asignación devalores de verdadque se Haga a susfórmulas atómicas.¹²La construcción De unatabla de verdades unmétodo efectivopara Determinar si una fórmula cualquiera es una tautología o no.²

Unargumento(dellatínargumentum) es una prueba o razón para justificar o refutar algo como Verdadero o falso; es un discurso dirigido a una finalidad.Enlógica, un argumento se define Como un conjunto depremisasseguidas por unaconclusión.³Un Argumento puede ser sólido, (válidoy con premisasverdaderas) o serpersuasivode alguna otra manera.