Lógica formal y sus leyes básicas
Lógica: la ciencia de los métodos, leyes y formaspensando. La lógica formal fue desarrollada por los antiguos griegos mucho antes de nuestra era. Fueron los griegos quienes primero construyeron una sociedad democrática, donde las decisiones y leyes fueron adoptadas en las congregaciones populares. Han creado, en un nivel primitivo, la ciencia de llevar a cabo un litigio. Y la ocupación favorita de la juventud aristocrática fueron las discusiones con filósofos. De ahí el amor universal por el desarrollo de las ciencias teóricas. Los griegos simplemente necesitaban una enseñanza sobre cómo costar evidencia científica.
El primer curso de los fundamentos de la lógica fue desarrollado por Aristóteles. Llamó la atención sobre el hecho de que cualquier razonamiento se basa en leyes generales, cuya violación conduce a conclusiones erróneas. La lógica formal de Aristóteles se basó en tales leyes:
- Si los juicios son afirmativos, la conclusión extraída de ellos no puede ser negativa.
- Si una de las declaraciones es negativa, entonces la conclusión general siempre será negativa.
Por lo tanto, se deduce que la lógica formal esconocimiento de los principios y leyes de la construcción efectiva y correcta del razonamiento, teniendo en cuenta la forma de su construcción (formas de conectar partes separadas del razonamiento general).
Todos los fenómenos y objetos están interconectados. Los enlaces pueden ser objetivos o subjetivos, generales o privados, necesarios o accidentales. El más esencial de estos enlaces se llama leyes. Todos ellos reflejan la misma realidad, por lo tanto, no pueden contradecirse entre sí de ninguna manera. Todas las leyes del pensamiento humano están conectadas con las leyes del desarrollo de la naturaleza.
Las leyes del pensamiento representan una conexión interna estable entre los pensamientos. Si una persona no puede conectar sus pensamientos, no llegará a la conclusión correcta y no podrá transmitirla a los demás.
Leyes básicas de lógica formal - estas son las leyes de consistencia, identidad,la exclusión de la tercera y la ley de motivos suficientes. El desarrollo de los primeros tres pertenece a Aristóteles y Platón, el último a Leibniz. Las violaciones de estas leyes (especialmente las tres primeras) conducen a contradicciones, lo que hace que sea imposible distinguir la verdad de la mentira. La última ley es menos normativa y se aplica de manera más restrictiva.
Las leyes no básicas de la lógica son reglasjuicios y conceptos operativos, obteniendo una verdadera conclusión en el silogismo, aumentando la probabilidad de conclusiones de inferencia inductiva y de naturaleza transductiva.
La ley de la coherencia significa que el pensamiento no debe ser contradictorio, sino que debe reflejar la certidumbre cualitativa de las cosas.
La ley del tercero excluido no prescribebuscar entre las dos declaraciones contradictorias pero verdaderas algo tercero, y reconocer la verdad de solo una de ellas. Uno de los componentes de la contradicción es necesariamente cierto.
La ley de la identidad de la lógica formal trata comoel requisito de exactitud de pensamiento, es decir, bajo cualquier término que necesite para comprender con precisión su definición y significado. La esencia de los conceptos y juicios no puede distorsionarse a voluntad.
La ley de la buena razón es,que cualquier pensamiento verdadero debe ser justificado por otros pensamientos verdaderos, y es imposible justificar pensamientos falsos. El desarrollo de juicios debe reflejar una relación causal. Solo en este caso se puede probar su validez.
Forma lógica de pensamiento y formas de determinar las formascualquier pensamiento se expresa con la ayuda de términos lógicos, a los que los sindicatos "y", "o", "si ..., luego ...", niegan "no es cierto que" ("no"), las palabras "algunos", " todo "(" ninguno "), un montón de" esencia "(en el sentido de" es "), etc. Identificar la forma lógica del juicio se puede distraer del significado de los términos ilógico, que entran en la expresión verbal de este juicio. En otras palabras, la lógica formal expresa la estructura del pensamiento. La forma lógica es siempre informativa e informativa.
Dependiendo de sus formas, los pensamientos se dividen en clases: conceptos, inferencias y juicios. Un concepto es un pensamiento que generaliza objetos sobre la base de sus características básicas. El juicio es un pensamiento que afirma la existencia (ausencia) del estado de cosas. La inferencia es un pensamiento que refleja la adquisición de conocimiento expresado en juicios de otro conocimiento.
</ p>
