1) lógica- En el libro: 1) el límite universal de lo dado de las cosas en el mundo, que a su vez permanece invisible; 2) una técnica para identificar indirectamente este límite.

2) Lógica- La actividad sólo puede proporcionar la mitad de la sabiduría; la otra mitad depende de la inactividad perceptiva. En última instancia, el debate entre quienes basan la lógica en la "verdad" y quienes la basan en la "investigación" surge de una diferencia de valores y, en cierto momento, pierde sentido. En lógica, es una pérdida de tiempo considerar conclusiones relativas a casos particulares; siempre nos ocupamos de implicaciones completamente generales y puramente formales, dejando para otras ciencias el estudio de en qué casos se confirman los supuestos y en cuáles no. Aunque ya no podemos contentarnos con definir los enunciados lógicos como consecuencia de la ley de contradicción, aún podemos y debemos reconocer que forman una clase de enunciados completamente diferente de aquellos que llegamos a conocer empíricamente. Todos ellos tienen una propiedad que acordamos llamar “tautología” justo arriba. Esto, combinado con el hecho de que pueden expresarse únicamente en términos de variables y constantes lógicas (donde una constante lógica es algo que permanece constante en un enunciado incluso cuando todos sus constituyentes cambian), dará la definición de lógica o matemática pura.

3) Lógica - - la doctrina de las conexiones y secuencias del pensamiento humano, las formas de su desarrollo, las diversas relaciones de las formas mentales y sus transformaciones. L. considera cuestiones sobre los medios de existencia del pensamiento, los lenguajes de consolidación, reproducción y traducción de los procesos de pensamiento. En un sentido amplio, la filosofía es un examen de las conexiones no sólo del pensamiento, sino también del ser, es decir, una literatura que revela la "lógica de las cosas", la "lógica de los acontecimientos" y la "conexión de los tiempos". En este aspecto, L. se acerca a la ontología. En sus aspectos sustantivos, la filosofía está asociada a las enseñanzas de la cognición, su desarrollo, funcionamiento y conservación y está directamente incluida en la epistemología. Así, la filosofía es una de las principales subdivisiones de la filosofía y juega constantemente un papel protagonista en el filosofar, ya que este último siempre se ocupa de la cuestión del pensamiento de una forma u otra. En el siglo 19 La filosofía, como ciencia especial, está separada de la filosofía y, como tal, se ocupa del análisis formal del pensamiento y sus lenguajes. Las cuestiones del desarrollo del pensamiento, la evolución de sus medios, su condicionalidad cultural, histórica y social siguen siendo competencia de la filosofía. La filosofía misma, en sus formas sociohistóricas y culturales específicas, se convierte en una rama importante de la investigación filosófica. En el marco de este enfoque, se pueden identificar varias etapas principales en la evolución de la luz y su comprensión. En el mundo antiguo, el desarrollo de problemas lógicos estaba asociado con los procesos de clasificación de cosas artificiales y naturales, herramientas de la actividad humana y actos de interacción humana. L. desarrolla conceptos y técnicas generalizadoras para operar con ellos. Como parte de la filosofía, es una herramienta importante para crear una imagen del mundo y utilizarla en la práctica de la sociedad. En la Edad Media, la literatura se centró en la investigación de las formas de pensamiento y sus relaciones; La cognición significativa se considera desde la perspectiva. su correspondencia con formas lógicas. La doctrina de estructuras estables (o inquebrantables) del pensamiento humano que aseguren su corrección resulta ser un requisito previo importante para los estándares emergentes de racionalidad científica. Cuando, siguiendo las ciencias naturales, la filosofía formal se separa de la filosofía, la cuestión de la racionalidad del pensamiento humano se encuentra en el centro de las polémicas filosóficas. Por un lado, se revela la insuficiencia de la racionalidad formal para las necesidades de la ciencia moderna, para el desarrollo de la personalidad humana y la expansión de sus horizontes espirituales. Por otro lado, se confirma la necesidad de preservar la racionalidad y la filosofía en el sentido más amplio como condiciones para la reproducción de la cultura (neokantismo de Baden). En el siglo XX, la crítica filosófica a la racionalidad (generalmente interpretada como una conexión rígida de formas lógicas) se intensifica y se lleva a cabo desde diferentes posiciones (existencialismo, marxismo, deconstruccionismo). Al mismo tiempo, en filosofía hay una tendencia cada vez mayor a tratar la literatura desde una perspectiva cultural e histórica, a estudiar diversas leyes inherentes a diferentes culturas y tipos de actividad humana. A la luz de estos enfoques, está cambiando el énfasis en la comprensión del contenido de L. Si antes esta cualidad se asociaba principalmente con la aclaración de la orientación objetiva del pensamiento, ahora la atención se centra en la conexión de formas mentales que surge en la interacción de los seres humanos. sujetos, esta interacción se va consolidando y reproduciendo. V. E. Kemerov

4) Lógica- - la ciencia de las leyes y operaciones del pensamiento correcto. Según el principio básico de la lógica, la exactitud del razonamiento está determinada únicamente por su forma o estructura lógica y no depende del contenido específico de las declaraciones incluidas en él. Una característica distintiva del razonamiento correcto es que si las premisas son verdaderas, el pensamiento lógico conduce a una conclusión verdadera (la respuesta a la pregunta). El razonamiento incorrecto puede llevar de premisas verdaderas y falsas a conclusiones verdaderas y falsas (la verdad de la conclusión es una cuestión de azar). Por lo tanto, está claro qué es la lógica: estas son las reglas para utilizar ciertas técnicas mentales al procesar información. Hay lógica formal, lógica humanista, lógica femenina, lógica infantil, lógica esquizofrénica, lógica dialéctica, lógica filosófica, etc. Pero además de la lógica, también está el pensamiento mismo, que puede obedecer sus leyes (pensamiento correcto) y no obedecer (pensamiento incorrecto). ).pensamiento ilógico). Bloque asociativo. Desde nuestro punto de vista, la lógica es un apartado de la teoría del conocimiento que estudia la relación y existencia de las cosas en el pleno sentido de la última palabra.

5) Lógica- (del griego – logos): en el sentido más amplio – la ciencia del pensamiento, la doctrina de las leyes, formas y medios de razonamiento. Muy a menudo, este término se identifica con el término "lógica formal", cuyo fundador fue Aristóteles. El objetivo principal de la investigación lógica es analizar la exactitud del razonamiento, la formulación de leyes y principios, cuya observancia es una condición necesaria para obtener conclusiones verdaderas en el proceso de inferencia. Los procesos lógicos se estudian representándolos en lenguajes formalizados. Cada uno de ellos incluye un conjunto de expresiones (fórmulas) adecuadamente interpretadas, así como métodos para transformar unas expresiones en otras según las reglas de deducción. La lógica moderna se compone de una gran cantidad de sistemas lógicos que describen fragmentos (tipos) individuales de razonamiento. Dependiendo de la base (criterios) de clasificación, actualmente se distinguen la lógica clásica y la no clásica. En el sentido moderno, la lógica es la ciencia de las formas de discurso.

6) Lógica- - etimológicamente se remonta a la antigua palabra griega “logos”, que significa “palabra”, “pensamiento”, “concepto”, “razonamiento”, “ley”. Esta es la ciencia de las leyes y formas del pensamiento humano. Estudia procedimientos mentales. Existe una distinción entre la lógica tradicional, iniciada por Aristóteles, que estudia inferencias, conceptos y operaciones sobre ellos. El uso de métodos de formalización y métodos matemáticos condujo a la creación de la lógica clásica (simbólica o matemática). Lógica no clásica (modal o filosófica), que utiliza métodos formales para analizar realidades significativas. Una comprensión simplificada de la lógica: el flujo del razonamiento, las reglas del razonamiento.

7) Lógica- - la ciencia de las formas y medios de pensamiento generalmente válidos necesarios para el conocimiento racional de cualquier área de la realidad.

8) Lógica - (logos griego - palabra, razonamiento, concepto, mente) - la ciencia de las formas, leyes y métodos de la actividad cognitiva; la capacidad de pensar correctamente (lógicamente). Desde la antigüedad, se ha observado una propiedad importante del pensamiento cognitivo humano: si al principio se hacen algunas afirmaciones, se pueden reconocer otras, pero no ninguna, sino sólo las estrictamente definidas. El pensamiento cognitivo, por tanto, está sujeto a una cierta fuerza obligatoria, sus resultados están determinados y predeterminados en gran medida por el conocimiento previo. Esta propiedad fue muy utilizada por Sócrates en sus diálogos. Planteando hábilmente preguntas, dirigió a su interlocutor a la adopción de conclusiones muy concretas. (Al caracterizar su método, Sócrates explicó que su manera de conversar es similar a lo que hace una partera, que no da a luz ella misma, sino que nace. Por lo tanto, solo pregunta a los demás, contribuyendo al nacimiento de la verdad, pero él mismo no tiene nada que hacer. digamos.) Por lo tanto, Sócrates llamó a su método mayéutica: el arte de la partera.) El alumno de Sócrates, Platón, y luego Aristóteles, hicieron del determinismo del pensamiento un tema de estudio especial. Los resultados de Aristóteles son particularmente impresionantes. Su éxito se debe a que eliminó del razonamiento lo que se puede llamar su contenido, conservando sólo la forma. Lo logró sustituyendo letras (variables) en los juicios en lugar de nombres con contenidos específicos. Por ejemplo, en un argumento implicativo: "Si todas las B son C y todas las A son B, entonces todas las A son B". El enfoque de Aristóteles demostró el hecho de que la confiabilidad de los resultados de razonamientos con diferentes contenidos depende no solo de la verdad de las posiciones iniciales (premisas), sino también de las relaciones entre ellas, el método de su conexión, es decir, sobre la forma del razonamiento. Aristóteles formuló los principios más importantes para la transición de premisas verdaderas a conclusiones verdaderas. Posteriormente, estos principios comenzaron a denominarse leyes de identidad, contradicción y tercero excluido. Propuso el primer sistema teórico de formas de razonamiento: el llamado. Silogística asertórica, que trata de proposiciones de la forma “Todos A son B”, “Algunos A son B”, “Ningún A es B”, “Algunos A no son B”. Así, sentó las bases para la ciencia de los medios y formas de pensamiento generalmente válidos, las leyes del conocimiento racional. Posteriormente esta ciencia empezó a llamarse L.L. no se limitó a aclarar los casos en que la verdad de las premisas garantiza la verdad de la conclusión. Este tipo de razonamiento se convirtió en el tema de una de sus ramas: el deductivo L. Pero Demócrito ya analiza el problema de las inferencias inductivas, a través de las cuales se realiza la transición de enunciados particulares a disposiciones generales de carácter probabilístico. El interés particular por la inducción aparece en los siglos XVII y XVIII. cuando las ciencias experimentales comenzaron a desarrollarse rápidamente. El filósofo inglés F. Bacon hizo el primer intento de comprender teóricamente la inducción, que, en su opinión, podría servir como el único método para comprender los fenómenos naturales y utilizarlos en beneficio de las personas. El deductivismo y el inductivismo fueron las principales direcciones en el desarrollo de la literatura hasta el siglo XIX. Los representantes de la filosofía racionalista (Descartes, Spinoza, Malebranche, Leibniz) prefirieron la deducción, mientras que los representantes de la filosofía empírica (sensualista) (siguiendo a F. Bacon - Hobbes, Locke, Condillac, Berkeley, Hume) eran inductivistas. Wolf, quien propuso un sistema integral, en su opinión, de conocimiento filosófico como "la ciencia de todos los objetos posibles, en la medida de lo posible", intentó conciliar estas direcciones. Siendo, en general, racionalista, destacó enérgicamente la importancia decisiva de la inducción y el conocimiento experimental en determinadas disciplinas científicas (por ejemplo, en la física). Sin embargo, las ideas de Wolff sobre las formas y leyes del pensamiento y los métodos de cognición, que se habían desarrollado en Leningrado en el siglo XIX, no pudieron satisfacer las necesidades de la ciencia y la práctica social en rápido desarrollo. Kant y especialmente Hegel criticaron las limitaciones del método racionalista-metafísico. L. se enfrentó a la tarea de desarrollar medios que permitieran un enfoque consciente del estudio de las relaciones esenciales. Hegel hizo un serio intento de resolver este problema. Su mérito destacado es la introducción de la idea de desarrollo e interconexión en la literatura. Esto le permitió sentar las bases de la literatura dialéctica como teoría del movimiento del pensamiento humano del fenómeno a la esencia, de la verdad relativa a la verdad absoluta, del conocimiento abstracto al conocimiento concreto. A partir de las categorías, principios y leyes de la literatura dialéctica, se desarrollan pautas metodológicas para estudiar el contenido de los objetos en toda su diversidad e inconsistencia. Actualmente, la literatura es una disciplina científica bastante extensa. Su sección más importante y madura es la literatura formal. Debe su nombre al tema que trata desde la antigüedad: formas de pensamiento y razonamiento que aseguran la adquisición de nuevas verdades a partir de otras ya establecidas y, en primer lugar, sobre todo, los criterios de corrección y validez de estos formularios. Durante mucho tiempo, la literatura formal se conoció principalmente en la forma que le dieron Aristóteles y sus comentaristas. De ahí que el nombre correspondiente a esta etapa sea Aristotélico L. La tradición que se remonta a Aristóteles también dio origen a otro término equivalente: filosofía tradicional. La invariabilidad del problema y los métodos para resolverlo en el marco de la filosofía aristotélica durante muchos siglos dieron la base a Kant, quien fue el primero en utilizar el término "filosofía formal". ”, creer que durante los dos mil años transcurridos desde la época de Aristóteles, este L. no ha dado un solo paso adelante y tiene un carácter esencialmente completo. Kant ni siquiera imaginó que apenas medio siglo después de su muerte comenzaría un “segundo aire” en el desarrollo de la lógica formal. Esta etapa cualitativamente nueva se debió a que los problemas planteados por el estudio de los fundamentos lógicos de las matemáticas podrían no puede resolverse mediante la lógica aristotélica. Casi simultáneamente están en marcha los procesos de logicización de las matemáticas y matematización de L. Al resolver problemas lógicos, se utilizan activamente métodos matemáticos y se crea el cálculo lógico. Se están tomando medidas concretas para implementar las ideas de Leibniz sobre el uso de métodos computacionales en cualquier ciencia. J. Boole desarrolla el primer sistema de álgebra L. Gracias al trabajo de O. de Morgan, W. Jevons, E. Schroeder, P.S. Poretsky, Peirce, Frege, J. Peano y Russell crearon las principales secciones de la matemática matemática, que se convirtió en la rama más importante de las matemáticas formales. En el siglo XX, especialmente en los años 20 y 30, en las obras de J. Lukasiewicz, E. Post, K Lewis, S. Yaskovsky, D. Webb, L. Brouwer, A. Heyting, A.A. Markova, A.N. Kolmogorov, G. Reichenbach, S.K. Kleene, P. Detouches-Fevrier, G. Birkhoff y otros sientan las bases de secciones no clásicas de la lingüística formal: la lingüística multivaluada, la modal, la probabilística, la intuicionista, la constructivista y otras. ​​mayor que dos (“verdadero” y “falso”), constituye uno de los rasgos característicos de la lógica no clásica o, como a menudo se les llama, no crisipiana. En la década de 1930, el desarrollo de la lógica formal se asoció con la solución de muchos problemas de metalógica (del griego meta - después, encima), el estudio de los principios de construcción y las propiedades generales de los sistemas formales, por ejemplo, problemas de coherencia, integridad, independencia del sistema de axiomas, solubilidad, capacidad de estos sistemas para expresar teorías significativas, etc. Los fundamentos de los llamados. "máquina de pensar" El estudio de estos problemas estuvo marcado por descubrimientos destacados que tienen un importante significado ideológico y metodológico y están asociados con los nombres de Tarski, K. Gödel, A. Church. El más famoso es el teorema de K. Gödel sobre la incompletitud de los sistemas formalizados, incl. aritmética de números naturales y teoría de conjuntos axiomática. De acuerdo con este teorema, en cada uno de estos sistemas existen proposiciones que dentro de su marco no pueden ser probadas ni refutadas. Así se demostró que ni una sola teoría científica válida puede encajar en el marco del formalismo. A. Church demostró el teorema según el cual no existen algoritmos para resolver muchas clases de problemas, por no hablar de un algoritmo que permita resolver cualquier problema (muchos lógicos y matemáticos destacados soñaron con inventar tal algoritmo). Hoy en día, el desarrollo de la lógica formal avanza en dos direcciones principales: 1) el desarrollo de nuevos sistemas de lógica no clásica (lógica de imperativos, evaluaciones, preguntas, lógica temporal, inductiva, teoría de la implicación lógica, etc.) , el estudio de las propiedades de estos sistemas y las relaciones entre ellos, la creación de su teoría general; 2) ampliación del ámbito de aplicación de la L. formal. El resultado final más importante obtenido en esta dirección es que la L. formal se ha convertido no sólo en un instrumento de pensamiento preciso, sino también en el "pensamiento" del primer instrumento preciso: la computadora. , directamente en el papel de socio incluido por el hombre en el ámbito de la solución de los problemas que le plantea. L. (en la suma de todas sus secciones) se ha convertido en una parte integral de la cultura humana. Sus logros se utilizan en una amplia variedad de áreas de la actividad humana. Se utiliza ampliamente en psicología y lingüística, teoría y pedagogía de la gestión, derecho y ética. Sus secciones formales son la base original de la cibernética, las matemáticas y la tecnología computacionales y la teoría de la información. Sin los principios y leyes de la literatura, la metodología moderna de cognición y comunicación es impensable. Al estudio de L. siempre se le ha dado gran importancia. Parménides ya enseñó a Sócrates, que todavía era inexperto en filosofía: “Tu afán por razonar, ten por seguro, es maravilloso y divino, pero mientras aún eres joven, trata de practicar más en lo que la mayoría considera palabrería ociosa (es decir, operar con conceptos abstractos). - V. B.) de lo contrario la verdad se te escapará." Como vemos, ya en la antigüedad se entendía que la disciplina, que más tarde recibió el nombre de L., desempeña, ante todo, un gran papel metodológico: como medio para encontrar la verdad. V.F. Berkov

9) Lógica- - en un sentido amplio - esta es la ciencia filosófica de las leyes del pensamiento correcto; en un sentido estricto, una secuencia de necesidades construidas en la búsqueda de la verdad.

10) Lógica - (del griego logos - logos) 1) la capacidad de hacerlo correctamente, es decir lógicamente, piensa; 2) la doctrina de la identidad y su negación (G. Jacobi), la doctrina de la coherencia y los métodos de cognición (la ciencia de la lógica). Como "lógica formal elemental", se ocupa de las propiedades más generales inherentes a todos los conceptos (existentes). Básico Las propiedades de los conceptos se expresan en axiomas lógicos (ver Axioma). Primero se considera la doctrina del concepto, luego viene la doctrina del juicio y, finalmente, la inferencia. Las doctrinas de axiomas, conceptos, juicios e inferencias lógicas, en conjunto, forman la lógica pura. La lógica aplicada cubre en la lógica tradicional la doctrina de definición, prueba y método. A menudo va precedido no de enseñanzas científicas-lógicas, sino teóricas-cognitivas y psicológicas sobre la experiencia, la descripción y la formulación (especialmente con la ayuda de un lenguaje y terminología especiales) y la formación de conceptos. A veces se le añade la doctrina del sistema. La lógica (como ciencia) es sólo la doctrina de pensar en conceptos, pero no del conocimiento a través de conceptos; sirve para aumentar la precisión formal de la conciencia y la objetividad del contenido del pensamiento y la cognición. El fundador de la lógica de Europa occidental (como ciencia) es Aristóteles, el "padre de la lógica". La palabra "lógica" apareció por primera vez entre los estoicos; ellos y los neoplatónicos aclararon ciertos aspectos de ella, y en la Edad Media la escolástica la desarrolló hasta el más mínimo detalle, en sutilezas. El humanismo expulsó a la escolástica de la lógica, pero no pudo renovarla. La Reforma adoptó la lógica de Melanchthon, la Contrarreforma, la lógica de Suárez. Habiendo superado en principio la escolástica, Johannes Sturm, de Estrasburgo, desarrolló la lógica; Pierre Ramet se hizo más famoso. Del siglo XVII La influencia en la lógica de las esferas del pensamiento asociadas con las matemáticas se hizo notable, y en el método geométrico de Spinoza fue menor que en Leibniz, quien utilizó métodos mejorados de las ciencias naturales en la lógica. De Leibniz y las matemáticas, así como del neoescolasticismo, surgió la lógica de la escuela de Wolf. La "lógica trascendental" de Kant es en realidad una teoría crítica del conocimiento, una lógica alemana. idealismo (especialmente la lógica de Hegel) - metafísica especulativa. Schopenhauer, Nietzsche, Bergson y los defensores de la filosofía de la vida rechazaron la lógica tradicional. Actualmente, la lógica se ha dividido en muchas direcciones: 1) lógica metafísica (hegelianismo); 2) lógica psicológica (T. Lipps, en parte W. Wundt); 3) lógica epistemológica o trascendental (neokantismo); 4) lógica semántica (Aristóteles, Kulpe, nominalismo moderno); 5) lógica subjetiva (Remke, Meinong, Drish); 6) lógica neoescolástica; 7) lógica fenomenológica; 8) la lógica como metodología (neokantismo) y logística, que está en el centro de los debates sobre la lógica.

11) Lógica- - ver Lógica dialéctica. Lógica matemática, Lógica formal.

Lógicas

En el libro: 1) el límite universal de lo dado de las cosas en el mundo, que a su vez permanece invisible; 2) una técnica para identificar indirectamente este límite.

La actividad sólo puede proporcionar la mitad de la sabiduría; la otra mitad depende de la inactividad perceptiva. En última instancia, el debate entre quienes basan la lógica en la "verdad" y quienes la basan en la "investigación" surge de diferencias de valores y, en cierto momento, pierde sentido. En lógica, es una pérdida de tiempo considerar conclusiones relativas a casos particulares; siempre nos ocupamos de implicaciones completamente generales y puramente formales, dejando para otras ciencias el estudio de en qué casos se confirman los supuestos y en cuáles no. Aunque ya no podemos contentarnos con definir los enunciados lógicos como consecuencia de la ley de contradicción, aún podemos y debemos reconocer que forman una clase de enunciados completamente diferente de aquellos que llegamos a conocer empíricamente. Todos ellos tienen una propiedad que acordamos llamar “tautología” justo arriba. Esto, combinado con el hecho de que pueden expresarse únicamente en términos de variables y constantes lógicas (donde una constante lógica es algo que permanece constante en un enunciado incluso cuando todos sus constituyentes cambian), dará la definición de lógica o matemática pura.

La doctrina de las conexiones y secuencias del pensamiento humano, las formas de su desarrollo, las diversas relaciones de las formas mentales y sus transformaciones. L. considera cuestiones sobre los medios de existencia del pensamiento, los lenguajes de consolidación, reproducción y traducción de los procesos de pensamiento. En un sentido amplio, la filosofía es un examen de las conexiones no sólo del pensamiento, sino también del ser, es decir, una literatura que revela la "lógica de las cosas", la "lógica de los acontecimientos" y la "conexión de los tiempos". En este aspecto, L. se acerca a la ontología. En sus aspectos sustantivos, la filosofía está asociada a las enseñanzas de la cognición, su desarrollo, funcionamiento y conservación y está directamente incluida en la epistemología. Así, la filosofía es una de las principales subdivisiones de la filosofía y juega constantemente un papel protagonista en el filosofar, ya que este último siempre se ocupa de la cuestión del pensamiento de una forma u otra. En el siglo 19 La filosofía, como ciencia especial, está separada de la filosofía y, como tal, se ocupa del análisis formal del pensamiento y sus lenguajes. Las cuestiones del desarrollo del pensamiento, la evolución de sus medios, su condicionalidad cultural, histórica y social siguen siendo competencia de la filosofía. La filosofía misma, en sus formas sociohistóricas y culturales específicas, se convierte en una rama importante de la investigación filosófica. En el marco de este enfoque, se pueden identificar varias etapas principales en la evolución de la luz y su comprensión. En el mundo antiguo, el desarrollo de problemas lógicos estaba asociado con los procesos de clasificación de cosas artificiales y naturales, herramientas de la actividad humana y actos de interacción humana. L. desarrolla conceptos y técnicas generalizadoras para operar con ellos. Como parte de la filosofía, es una herramienta importante para crear una imagen del mundo y utilizarla en la práctica de la sociedad. En la Edad Media, la literatura se centró en la investigación de las formas de pensamiento y sus relaciones; La cognición significativa se considera desde la perspectiva. su correspondencia con formas lógicas. La doctrina de estructuras estables (o inquebrantables) del pensamiento humano que aseguren su corrección resulta ser un requisito previo importante para los estándares emergentes de racionalidad científica. Cuando, siguiendo las ciencias naturales, la filosofía formal se separa de la filosofía, la cuestión de la racionalidad del pensamiento humano se encuentra en el centro de las polémicas filosóficas. Por un lado, se revela la insuficiencia de la racionalidad formal para las necesidades de la ciencia moderna, para el desarrollo de la personalidad humana y la expansión de sus horizontes espirituales. Por otro lado, se confirma la necesidad de preservar la racionalidad y la filosofía en el sentido más amplio como condiciones para la reproducción de la cultura (neokantismo de Baden). En el siglo XX, la crítica filosófica a la racionalidad (generalmente interpretada como una conexión rígida de formas lógicas) se intensifica y se lleva a cabo desde diferentes posiciones (existencialismo, marxismo, deconstruccionismo). Al mismo tiempo, en filosofía hay una tendencia cada vez mayor a tratar la literatura desde una perspectiva cultural e histórica, a estudiar diversas leyes inherentes a diferentes culturas y tipos de actividad humana. A la luz de estos enfoques, está cambiando el énfasis en la comprensión del contenido de L. Si antes esta cualidad se asociaba principalmente con la aclaración de la orientación objetiva del pensamiento, ahora la atención se centra en la conexión de formas mentales que surge en la interacción de los seres humanos. sujetos, esta interacción se va consolidando y reproduciendo. V. E. Kemerov

La ciencia de las leyes y operaciones del pensamiento correcto. Según el principio básico de la lógica, la exactitud del razonamiento está determinada únicamente por su forma o estructura lógica y no depende del contenido específico de las declaraciones incluidas en él. Una característica distintiva del razonamiento correcto es que si las premisas son verdaderas, el pensamiento lógico conduce a una conclusión verdadera (la respuesta a la pregunta). El razonamiento incorrecto puede llevar de premisas verdaderas y falsas a conclusiones verdaderas y falsas (la verdad de la conclusión es una cuestión de azar). Por lo tanto, está claro qué es la lógica: estas son las reglas para utilizar ciertas técnicas mentales al procesar información. Hay lógica formal, lógica humanista, lógica femenina, lógica infantil, lógica esquizofrénica, lógica dialéctica, lógica filosófica, etc. Pero además de la lógica, también está el pensamiento mismo, que puede obedecer sus leyes (pensamiento correcto) y no obedecer (pensamiento incorrecto). ).pensamiento ilógico). Bloque asociativo. Desde nuestro punto de vista, la lógica es un apartado de la teoría del conocimiento que estudia la relación y existencia de las cosas en el pleno sentido de la última palabra.

(del griego - logos): en el sentido más amplio - la ciencia del pensamiento, la doctrina de leyes, formas y medios de razonamiento. Muy a menudo, este término se identifica con el término "lógica formal", cuyo fundador fue Aristóteles. El objetivo principal de la investigación lógica es analizar la exactitud del razonamiento, la formulación de leyes y principios, cuya observancia es una condición necesaria para obtener conclusiones verdaderas en el proceso de inferencia. Los procesos lógicos se estudian representándolos en lenguajes formalizados. Cada uno de ellos incluye un conjunto de expresiones (fórmulas) adecuadamente interpretadas, así como métodos para transformar unas expresiones en otras según las reglas de deducción. La lógica moderna se compone de una gran cantidad de sistemas lógicos que describen fragmentos (tipos) individuales de razonamiento. Dependiendo de la base (criterios) de clasificación, actualmente se distinguen la lógica clásica y la no clásica. En el sentido moderno, la lógica es la ciencia de las formas de discurso.

Etimológicamente se remonta a la antigua palabra griega “logos”, que significa “palabra”, “pensamiento”, “concepto”, “razonamiento”, “ley”. Esta es la ciencia de las leyes y formas del pensamiento humano. Estudia procedimientos mentales. Existe una distinción entre la lógica tradicional, iniciada por Aristóteles, que estudia inferencias, conceptos y operaciones sobre ellos. El uso de métodos de formalización y métodos matemáticos condujo a la creación de la lógica clásica (simbólica o matemática). Lógica no clásica (modal o filosófica), que utiliza métodos formales para analizar realidades significativas. Una comprensión simplificada de la lógica: el flujo del razonamiento, las reglas del razonamiento.

La ciencia de las formas y medios de pensamiento generalmente válidos y necesarios para el conocimiento racional de cualquier área de la realidad.

(logos griego - palabra, razonamiento, concepto, mente) - la ciencia de las formas, leyes y métodos de la actividad cognitiva; la capacidad de pensar correctamente (lógicamente). Desde la antigüedad, se ha observado una propiedad importante del pensamiento cognitivo humano: si al principio se hacen algunas afirmaciones, se pueden reconocer otras, pero no ninguna, sino sólo las estrictamente definidas. El pensamiento cognitivo, por tanto, está sujeto a una cierta fuerza obligatoria, sus resultados están determinados y predeterminados en gran medida por el conocimiento previo. Esta propiedad fue muy utilizada por Sócrates en sus diálogos. Planteando hábilmente preguntas, dirigió a su interlocutor a la adopción de conclusiones muy concretas. (Al caracterizar su método, Sócrates explicó que su manera de conversar es similar a lo que hace una partera, que no da a luz ella misma, sino que nace. Por lo tanto, solo pregunta a los demás, contribuyendo al nacimiento de la verdad, pero él mismo no tiene nada que hacer. digamos.) Por lo tanto, Sócrates llamó a su método mayéutica: el arte de la partera.) El alumno de Sócrates, Platón, y luego Aristóteles, hicieron del determinismo del pensamiento un tema de estudio especial. Los resultados de Aristóteles son particularmente impresionantes. Su éxito se debe a que eliminó del razonamiento lo que se puede llamar su contenido, conservando sólo la forma. Lo logró sustituyendo letras (variables) en los juicios en lugar de nombres con contenidos específicos. Por ejemplo, en un argumento implicativo: "Si todas las B son C y todas las A son B, entonces todas las A son B". El enfoque de Aristóteles demostró el hecho de que la confiabilidad de los resultados de razonamientos con diferentes contenidos depende no solo de la verdad de las posiciones iniciales (premisas), sino también de las relaciones entre ellas, el método de su conexión, es decir, sobre la forma del razonamiento. Aristóteles formuló los principios más importantes para la transición de premisas verdaderas a conclusiones verdaderas. Posteriormente, estos principios comenzaron a denominarse leyes de identidad, contradicción y tercero excluido. Propuso el primer sistema teórico de formas de razonamiento: el llamado. Silogística asertórica, que trata de proposiciones de la forma “Todos A son B”, “Algunos A son B”, “Ningún A es B”, “Algunos A no son B”. Así, sentó las bases para la ciencia de los medios y formas de pensamiento generalmente válidos, las leyes del conocimiento racional. Posteriormente esta ciencia empezó a llamarse L.L. no se limitó a aclarar los casos en que la verdad de las premisas garantiza la verdad de la conclusión. Este tipo de razonamiento se convirtió en el tema de una de sus ramas: el deductivo L. Pero Demócrito ya discute el problema de las inferencias inductivas, a través de las cuales se realiza la transición de enunciados particulares a disposiciones generales de carácter probabilístico. El interés particular por la inducción aparece en los siglos XVII y XVIII. cuando las ciencias experimentales comenzaron a desarrollarse rápidamente. El filósofo inglés F. Bacon hizo el primer intento de comprender teóricamente la inducción, que, en su opinión, podría servir como el único método para comprender los fenómenos naturales y utilizarlos en beneficio de las personas. El deductivismo y el inductivismo fueron las principales direcciones en el desarrollo de la literatura hasta el siglo XIX. Los representantes de la filosofía racionalista (Descartes, Spinoza, Malebranche, Leibniz) prefirieron la deducción, mientras que los representantes de la filosofía empírica (sensualista) (siguiendo a F. Bacon - Hobbes, Locke, Condillac, Berkeley, Hume) eran inductivistas. Wolf, quien propuso un sistema integral, en su opinión, de conocimiento filosófico como "la ciencia de todos los objetos posibles, en la medida de lo posible", intentó conciliar estas direcciones. Siendo, en general, racionalista, destacó enérgicamente la importancia decisiva de la inducción y el conocimiento experimental en determinadas disciplinas científicas (por ejemplo, en la física). Sin embargo, las ideas wolffianas sobre las formas y leyes del pensamiento y los métodos de cognición, que se habían desarrollado en Leningrado en el siglo XIX, no pudieron satisfacer las necesidades de la ciencia y la práctica social en rápido desarrollo. Kant y especialmente Hegel criticaron las limitaciones del método racionalista-metafísico. L. se enfrentó a la tarea de desarrollar medios que permitieran un enfoque consciente del estudio de las relaciones esenciales. Hegel hizo un serio intento de resolver este problema. Su mérito destacado es la introducción de la idea de desarrollo e interconexión en la literatura. Esto le permitió sentar las bases de la literatura dialéctica como teoría del movimiento del pensamiento humano del fenómeno a la esencia, de la verdad relativa a la verdad absoluta, del conocimiento abstracto al conocimiento concreto. A partir de las categorías, principios y leyes de la literatura dialéctica, se desarrollan pautas metodológicas para estudiar el contenido de los objetos en toda su diversidad e inconsistencia. Actualmente, la literatura es una disciplina científica bastante extensa. Su sección más importante y madura es la literatura formal. Debe su nombre al tema que trata desde la antigüedad: formas de pensamiento y razonamiento que aseguran la adquisición de nuevas verdades a partir de otras ya establecidas y, en primer lugar, sobre todo, los criterios de corrección y validez de estos formularios. Durante mucho tiempo, la literatura formal se conoció principalmente en la forma que le dieron Aristóteles y sus comentaristas. De ahí que el nombre correspondiente a esta etapa sea Aristotélico L. La tradición que se remonta a Aristóteles también dio origen a otro término equivalente: filosofía tradicional. La invariabilidad del problema y los métodos para resolverlo en el marco de la filosofía aristotélica durante muchos siglos dieron la base a Kant, quien fue el primero en utilizar el término "filosofía formal". ”, creer que durante los dos mil años transcurridos desde la época de Aristóteles, este L. no ha dado un solo paso adelante y tiene un carácter esencialmente completo. Kant ni siquiera imaginó que apenas medio siglo después de su muerte comenzaría un “segundo aire” en el desarrollo de la lógica formal. Esta etapa cualitativamente nueva se debió a que los problemas planteados por el estudio de los fundamentos lógicos de las matemáticas podrían no puede resolverse mediante la lógica aristotélica. Casi simultáneamente están en marcha los procesos de logicización de las matemáticas y matematización de L. Al resolver problemas lógicos, se utilizan activamente métodos matemáticos y se crea el cálculo lógico. Se están tomando medidas concretas para implementar las ideas de Leibniz sobre el uso de métodos computacionales en cualquier ciencia. J. Boole desarrolla el primer sistema de álgebra L. Gracias al trabajo de O. de Morgan, W. Jevons, E. Schroeder, P.S. Poretsky, Peirce, Frege, J. Peano y Russell crearon las principales secciones de la matemática matemática, que se convirtió en la rama más importante de las matemáticas formales. En el siglo XX, especialmente en los años 20 y 30, en las obras de J. Lukasiewicz, E. Post, K Lewis, S. Yaskovsky, D. Webb, L. Brouwer, A. Heyting, A.A. Markova, A.N. Kolmogorov, G. Reichenbach, S.K. Kleene, P. Detouches-Fevrier, G. Birkhoff y otros sientan las bases de secciones no clásicas de la lingüística formal: la lingüística multivaluada, la modal, la probabilística, la intuicionista, la constructivista y otras. ​​mayor que dos (“verdadero” y “falso”), constituye uno de los rasgos característicos de la lógica no clásica o, como a menudo se les llama, no crisipiana. En la década de 1930, el desarrollo de la lógica formal se asoció con la solución de muchos problemas de metalógica (del griego meta - después, encima), el estudio de los principios de construcción y las propiedades generales de los sistemas formales, por ejemplo, problemas de coherencia, integridad, independencia del sistema de axiomas, solubilidad, capacidad de estos sistemas para expresar teorías significativas, etc. Los fundamentos de los llamados. "máquina de pensar" El estudio de estos problemas estuvo marcado por descubrimientos destacados que tienen un importante significado ideológico y metodológico y están asociados con los nombres de Tarski, K. Gödel, A. Church. El más famoso es el teorema de K. Gödel sobre la incompletitud de los sistemas formalizados, incl. aritmética de números naturales y teoría de conjuntos axiomática. De acuerdo con este teorema, en cada uno de estos sistemas existen proposiciones que dentro de su marco no pueden ser probadas ni refutadas. Así se demostró que ni una sola teoría científica válida puede encajar en el marco del formalismo. A. Church demostró el teorema según el cual no existen algoritmos para resolver muchas clases de problemas, por no hablar de un algoritmo que permita resolver cualquier problema (muchos lógicos y matemáticos destacados soñaron con inventar tal algoritmo). Hoy en día, el desarrollo de la lógica formal avanza en dos direcciones principales: 1) el desarrollo de nuevos sistemas de lógica no clásica (lógica de imperativos, evaluaciones, preguntas, lógica temporal, inductiva, teoría de la implicación lógica, etc.) , el estudio de las propiedades de estos sistemas y las relaciones entre ellos, la creación de su teoría general; 2) ampliación del ámbito de aplicación de la L. formal. El resultado final más importante obtenido en esta dirección es que la L. formal se ha convertido no sólo en un instrumento de pensamiento preciso, sino también en el "pensamiento" del primer instrumento preciso: la computadora. , directamente en el papel de socio incluido por el hombre en el ámbito de la solución de los problemas que le plantea. L. (en la suma de todas sus secciones) se ha convertido en una parte integral de la cultura humana. Sus logros se utilizan en una amplia variedad de áreas de la actividad humana. Se utiliza ampliamente en psicología y lingüística, teoría y pedagogía de la gestión, derecho y ética. Sus secciones formales son la base original de la cibernética, las matemáticas y la tecnología computacionales y la teoría de la información. Sin los principios y leyes de la literatura, la metodología moderna de cognición y comunicación es impensable. Al estudio de L. siempre se le ha dado gran importancia. Parménides ya enseñó a Sócrates, que todavía era inexperto en filosofía: “Tu afán por razonar, ten por seguro, es maravilloso y divino, pero mientras aún eres joven, trata de practicar más en lo que la mayoría considera palabrería ociosa (es decir, operar con conceptos abstractos). - V. B.) de lo contrario la verdad se te escapará." Como vemos, ya en la antigüedad se entendía que la disciplina, que más tarde recibió el nombre de L., desempeña, ante todo, un gran papel metodológico: como medio para encontrar la verdad. V.F. Berkov

En sentido amplio, es una ciencia filosófica sobre las leyes del pensamiento correcto; en un sentido estricto, una secuencia de necesidades construidas en la búsqueda de la verdad.

(del griego logos - logos) 1) la capacidad de hacerlo correctamente, es decir lógicamente, piensa; 2) la doctrina de la identidad y su negación (G. Jacobi), la doctrina de la coherencia y los métodos de cognición (la ciencia de la lógica). Como "lógica formal elemental", se ocupa de las propiedades más generales inherentes a todos los conceptos (existentes). Básico Las propiedades de los conceptos se expresan en axiomas lógicos (ver Axioma). Primero se considera la doctrina del concepto, luego viene la doctrina del juicio y, finalmente, la inferencia. Las doctrinas de axiomas, conceptos, juicios e inferencias lógicas, en conjunto, forman la lógica pura. La lógica aplicada cubre en la lógica tradicional la doctrina de definición, prueba y método. A menudo va precedido no de enseñanzas científicas-lógicas, sino teóricas-cognitivas y psicológicas sobre la experiencia, la descripción y la formulación (especialmente con la ayuda de un lenguaje y terminología especiales) y la formación de conceptos. A veces se le añade la doctrina del sistema. La lógica (como ciencia) es sólo la doctrina de pensar en conceptos, pero no del conocimiento a través de conceptos; sirve para aumentar la precisión formal de la conciencia y la objetividad del contenido del pensamiento y la cognición. El fundador de la lógica de Europa occidental (como ciencia) es Aristóteles, el "padre de la lógica". La palabra "lógica" apareció por primera vez entre los estoicos; ellos y los neoplatónicos aclararon ciertos aspectos de ella, y en la Edad Media la escolástica la desarrolló hasta el más mínimo detalle, en sutilezas. El humanismo expulsó a la escolástica de la lógica, pero no pudo renovarla. La Reforma adoptó la lógica de Melanchthon, la Contrarreforma, la lógica de Suárez. Habiendo superado en principio la escolástica, Johannes Sturm, de Estrasburgo, desarrolló la lógica; Pierre Ramet se hizo más famoso. Del siglo XVII La influencia en la lógica de las esferas del pensamiento asociadas con las matemáticas se hizo notable, y en el método geométrico de Spinoza fue menor que en Leibniz, quien utilizó métodos mejorados de las ciencias naturales en la lógica. De Leibniz y las matemáticas, así como del neoescolasticismo, surgió la lógica de la escuela de Wolf. La "lógica trascendental" de Kant es en realidad una teoría crítica del conocimiento, una lógica alemana. idealismo (especialmente la lógica de Hegel) - metafísica especulativa. Schopenhauer, Nietzsche, Bergson y los defensores de la filosofía de la vida rechazaron la lógica tradicional. Actualmente, la lógica se ha dividido en muchas direcciones: 1) lógica metafísica (hegelianismo); 2) lógica psicológica (T. Lipps, en parte W. Wundt); 3) lógica epistemológica o trascendental (neokantismo); 4) lógica semántica (Aristóteles, Kulpe, nominalismo moderno); 5) lógica subjetiva (Remke, Meinong, Drish); 6) lógica neoescolástica; 7) lógica fenomenológica; 8) la lógica como metodología (neokantismo) y logística, que está en el centro de los debates sobre la lógica.

Lo contrario asimétrico de lo absoluto, caracterizado por la extensión negativa, la antisustancialidad, la autodestructividad...

Lógica formal explora las estructuras invariantes del pensamiento humano, y si bien existe una discrepancia entre el contenido idealizado y la forma material de expresión del pensamiento, es necesario asegurar la verdad del razonamiento con la ayuda de leyes y reglas formales.

La lógica como ciencia incluye la lógica tradicional y la lógica moderna (clásica y no clásica). Por su contenido representan una cronología de las etapas de desarrollo de la ciencia lógica. Se distinguen por los conceptos y métodos básicos que utilizan para construir teorías formales y los problemas que resuelven: lógica tradicional el método de formalización se utiliza en forma semiformal, y moderno- en limpio; V lógica tradicional las categorías centrales son “concepto”, “juicio” e “inferencia”, y en moderno- declaraciones y términos; lógica tradicional forma una cultura de pensamiento, es decir es un método de prueba y refutación, la base de varios tipos de discurso, etc., y moderno explora el funcionamiento del pensamiento en el lenguaje de la ciencia, es decir. analiza los principios de construcción, transformación y justificación de las teorías científicas.

En este caso, nos limitaremos al análisis de la lógica tradicional y, en la medida de lo necesario, consideraremos algunos aspectos de la lógica proposicional (lógica clásica) y de la lógica modal (lógica no clásica).

Lógicas (Griego λογιχή - ciencia del pensamiento, de λόγος - pensamiento, palabra, enseñanza) - es una ciencia filosófica sobre las leyes y formas del pensamiento teórico, sobre la relación entre estas formas y sobre los errores en el proceso de pensamiento y las formas de superarlos.

El estatus y el papel de cualquier ciencia se caracterizan, en primer lugar, por su área objeto-sujeto. Objeto científico representa un área específica de la realidad hacia la que se dirigen los esfuerzos de investigación. Tema de ciencias- este es un cierto lado de un objeto que contribuye a su clarificación cualitativa y cuantitativa.

Objeto lógico - este es el pensamiento humano. Sin embargo lógicas estudia el pensamiento humano no en términos de considerar todas sus formas, teniendo en cuenta su formación y desarrollo, como se hace en el marco filosofía(específicamente - en epistemología), pero toma sólo las formas del pensamiento teórico como existentes en una forma ya preparada, inmutables, inmóviles, idénticas a ellas mismas en cualquier circunstancia sociohistórica y cultural; lógicas explora el pensamiento no con énfasis en sus aspectos de contenido y su condicionamiento por factores fisiológicos y socioculturales, lo cual es típico de psicología, pero destaca en el pensamiento teórico sólo su aspecto formal-estructural, etc. La esencia del análisis lógico. Es la reducción del pensamiento a su estructura y forma mediante la abstracción del contenido. Hay que tener en cuenta que, si bien el análisis de los pensamientos sobre la verdad o falsedad de su contenido, su comprensión, etc. y va más allá de los límites temáticos de la lógica, pero sin ella el pensamiento lógico y la existencia de la lógica como ciencia es imposible. Por lo tanto, para la lógica es importante no solo determinar bien, pero también verdad Formas lógicas de pensamiento (juicios e inferencias). La lógica no pretende derivar conocimiento que sea obviamente falso. Tema de lógica - este es un sistema complejo que une condiciones universales que aseguran la verdad del pensamiento, que debe observarse independientemente del contenido de los pensamientos.

Tema de lógica son:

- formas de pensamiento teórico: concepto, juicio, inferencia;

- leyes generales del pensamiento: identidad, contradicción, tercero excluido y razón suficiente;

- métodos universales de la ciencia, pensamiento teórico en general: análisis, síntesis, abstracción, generalización, formalización, etc.;

- leyes estructurales y reglas de formas individuales de pensamiento: la ley de la relación inversa entre el volumen y el contenido de un concepto, las reglas de premisas y términos, reglas especiales para figuras de un silogismo categórico simple, etc.;

- lenguaje de lógica como un sistema de símbolos especializados para designar formas de pensamiento y sus conexiones;

- términos y definiciones, justificado en lógica;

- errores lógicos, posible en el proceso de pensar.

Pensamiento (abstracto)- esto es indirecto(aquellos. basado en conocimientos previamente adquiridos)y generalizado(aquellos. capturar características esenciales)reflejo de la realidad en el cerebro humano, registrado y transmitido por él en el lenguaje(pensamiento práctico)en el proceso de sus actividades espirituales y prácticas.

Propiedades del pensamiento correcto:

- certeza- exactitud y rigor;

- subsecuencia- sin contradicciones internas;

- validez- centrarse en los motivos por los cuales el pensamiento debe reconocerse como verdadero.

Al pensar distinguen Contenido y forma de pensamiento:

forma de pensar - esta es la estructura del pensamiento, la forma de conectar sus partes significativas(conceptos en juicios, juicios entre sí en juicios complejos, juicios como parte de inferencias).

El pensamiento humano está relacionado con el proceso. razonamiento. Razonamiento - Se trata de una comparación de pensamientos y su unificación para obtener nuevos conocimientos a partir del conocimiento existente.

Los razonamientos suceden correcto e incorrecto.

Razonamiento correcto - este es un razonamiento en el que solo hay pensamientos(conclusiones)necesariamente se derivan de otros pensamientos(paquetes).

Ejemplo:“Todas las estrellas son gigantescas bolas brillantes de gas caliente. El sol es una estrella. Por tanto, el Sol es una gigantesca bola luminosa de gas caliente." En este argumento, dos pensamientos iniciales justifican el tercero: “Si una clase de objetos tiene una determinada propiedad y un determinado objeto pertenece a esa clase, entonces esta propiedad también le es inherente”. O: “Si un objeto tiene una determinada propiedad y todo lo que tiene esa propiedad también tiene alguna otra propiedad, entonces este objeto también tiene esta otra propiedad”:“El sol es una bola luminosa gigante de gas caliente. Todas las gigantescas bolas brillantes de gas caliente generan enormes cantidades de energía. En consecuencia, el Sol produce una enorme cantidad de energía”.

Razonamiento incorrecto - este es un razonamiento en el que se cometen errores lógicos como resultado del incumplimiento de las leyes y reglas de la lógica.

Ejemplo:“Los medicamentos que toma el paciente son buenos. Cuanto más bien hagas, mejor. Esto significa que se deben tomar tantos medicamentos como sea posible”. La falacia de la conclusión se deriva de la identificación infundada de conceptos no idénticos utilizados en los dos pensamientos originales: en el primero el concepto de "bien" se da desde el punto de vista de la utilidad práctica de una sustancia en particular y la corrección de su uso, en el segundo- en términos éticos generales, como lo opuesto al concepto de “mal”.

Al igual que el pensamiento el razonamiento tiene contenido aquellos. información sobre el mundo y forma lógica, es decir. construcción, una forma de conectar sus elementos constitutivos. se debe notar que forma lógica no forma parte del contenido que incluye un pensamiento específico o un razonamiento específico. forma lógica es sólo un medio por el cual las partes constituyentes del contenido se conectan entre sí en la mente o en el razonamiento. Para identificar estos componentes lógicas se abstrae del contenido específico de los pensamientos o razonamientos y se ocupa del análisis y, en primer lugar, de su forma lógica, es decir. Se centra en aquellos componentes que representan el aspecto formal del pensamiento o razonamiento.

Por ejemplo, en la definición “la lógica es una ciencia filosófica”, por un lado, está su contenido específico (pensamientos) independiente de la forma del pensamiento (“algo se afirma sobre algo”), por otro lado, información sobre el método de conectando los elementos estructurales del pensamiento (el sujeto del pensamiento y un signo del sujeto del pensamiento), que es lo que interesa a la lógica como ciencia.

Por ello es necesario distinguir bien Y verdad pensamientos o razonamientos. Concepto corrección formal del pensamiento Se refiere sólo a acciones lógicas y operaciones de pensamiento. Pensamiento correcto- esta es su característica desde el punto de vista de la forma. Desde el punto de vista de la forma, puede ser lógicamente correcto o incorrecto. Bien Los pensamientos o razonamientos son el cumplimiento de las reglas y leyes de la lógica. Si entre las premisas de una conclusión hay una premisa falsa, entonces, sujeto a las reglas de la lógica, en la conclusión se puede obtener tanto la verdad como la falsedad.

Ejemplo:“Todos los metales son sólidos. Mercurio no es un sólido. Por tanto, el mercurio no es un metal." En este caso se viola una de las reglas de la lógica, porque una de las premisas (1ª) es falsa. Pero incluso si dos premisas son verdaderas, se puede llegar a una conclusión tanto verdadera como falsa: “Todos los portátiles tienen una pantalla. Este dispositivo técnico tiene una pantalla. Por tanto, este dispositivo técnico es un ordenador portátil”. Aquí también se viola una de las reglas de la lógica. Por lo tanto, la conclusión no se desprende necesariamente de estas premisas. La conclusión se extrae según la figura II con dos premisas afirmativas, y según las reglas de esta figura, una de las premisas y la conclusión deben ser juicios negativos.

Concepto verdad del pensamiento Se refiere sólo al contenido específico del pensamiento. Verdad hay una correspondencia del pensamiento o razonamiento con el contenido específico de la realidad. Y si el mismo razonamiento refleja correctamente lo que ocurre en la realidad, entonces es verdadero; en caso contrario, es falso.

Ejemplo:"Todos los tecnólogos son especialistas en la tecnología de una determinada rama de producción" es cierto; “Todos los solicitantes son futuros estudiantes” no es cierto.

Todos estos ejemplos muestran la importancia del conocimiento y la aplicación. dos reglas: formal Y significativo.

regla formal - esta es una regla que proporciona sólo la forma(sin referencia al contenido)aquello que se transforma según esta regla. Aquí la verdad de los enunciados y su conexión semántica carecen de importancia. La aplicación de una regla formal se realiza únicamente sobre la base del conocimiento de la forma del enunciado. El proceso de pensar o razonar, llevado a cabo de acuerdo con la regla formal de la lógica, es formal y lógicamente correcto.

Por ejemplo, Tomemos las proposiciones “Kiev es la capital de Francia” y “Si Kiev es la capital de Francia, entonces 22=5”, donde la primera es una proposición simple y la segunda es compleja, formada por la conjunción “si , entonces". Apliquemos una de las reglas formales de la lógica a estos juicios: x, x→y╞en, Dónde X Y en- denotar proposiciones simples, → - denota la conjunción del lenguaje natural “si, entonces”, ╞ - denota la relación de consecuencia. Cuando designamos el primer juicio X, segundo - x→y, entonces en consecuencia aquí y - 22=5. Y no importa si estos juicios son ciertos o si tienen sentido. Por supuesto, la primera proposición es falsa, y la segunda también lo es, y si fuera verdadera (“22 = 4”), entonces no tendría sentido en el sentido habitual. Sin embargo, esto demuestra que Para la aplicación de una regla formal, la verdad de los juicios y su conexión en el significado no son importantes.. Y si esto es así, designar la primera proposición “Kiev es la capital de Francia” como A, y la sentencia “22=5” - EN, entonces obtenemos la fórmula para un juicio complejo "Si Kiev es la capital de Francia, entonces 22 = 5" en la forma de la expresión "si A, Eso EN" Habiendo identificado la forma de los juicios, podemos aplicarles la regla formal “ x, x→y╞en", sin conocer ni el significado ni el significado de las sentencias " A" y si A, Eso EN" Por tanto, cuando de los juicios " A" y si A, Eso EN"Se llega a la conclusión" EN", entonces el razonamiento es formal y lógicamente correcto. En consecuencia, aquí ocurre el razonamiento lógico formal, porque está sujeto a las reglas formales de la lógica. Y cuando el juicio " A" y la proposición "si A, Eso EN" será cierto, entonces ciertamente será cierto y " EN" Si no son verdad, la verdad" EN» no garantizado.

Sin embargo, en el proceso de razonamiento, además de las reglas formales, reglas de contenido(reglas de inducción incompleta, reglas de analogía, etc.). regla de contenido - se trata de una regla que establece precisamente el contenido de lo que se transforma de acuerdo con ella.

Por ejemplo, tomemos la regla de analogía de propiedades, que tiene la forma de fórmula:

◊[(PAG, PAG, PAG (X))(PAG, PAG (y))→(PAG (y))],

que puede leerse de la siguiente manera: “Elemento X tiene propiedades PAG,PAG,PAG, y el elemento en- propiedades PAG, PAG. Por lo tanto el elemento en, probablemente tenga la propiedad PAG».

La dependencia de esta regla del contenido está determinada por el hecho de que su aplicación a un (1) contenido tiene sentido, pero a otro (2) conduce a una conclusión falsa.

(1) "Tierra ( X) es un planeta PAG, orbita alrededor del Sol PAG, brilla con luz reflejada PAG. venus ( en) es un planeta PAG, orbita alrededor del Sol PAG. Por lo tanto, Venus ( en), probablemente brilla con luz reflejada PAG" (2) "Tierra ( X) es un planeta PAG, orbita alrededor del Sol PAG, tiene un satélite PAG. venus ( en) es un planeta PAG, orbita alrededor del Sol PAG. Por lo tanto, Venus ( en), probablemente tenga un satélite PAG", que, como sabemos, Venus no tiene.

2. Lógica y lenguaje.

Una herramienta que permite mostrar la estructura lógica del pensamiento de forma simbólica concisa y breve y así hacer posible formalización(lat. formalis - compilado según la forma) las operaciones lógicas posteriores (acciones con formas racionales de pensamiento) son lenguaje de la lógica. Es el lenguaje que asegura la derivación de unas formas lógicas de otras según las reglas y leyes establecidas en la lógica. Y es esta conclusión la que determina la exactitud del pensamiento teórico. Esto significa que la corrección del pensamiento teórico en lógica está determinada en gran medida por su lenguaje. Así como no existe un lenguaje lógico fuera de las acciones lógicas, así Sin un lenguaje lógico, no es posible realizar acciones lógicas y, en última instancia, pensar correctamente.

Idioma - es una forma social que representa un material natural(lenguaje sonoro, plasticidad del cuerpo humano: poses, gestos, expresiones faciales) y artificiales(el lenguaje de las matemáticas, la lógica, la pintura, la música, la señalización vial, etc.)un sistema de signos-simbólico con la ayuda del cual las personas se comunican, comprenden el mundo y el autoconocimiento, almacenan y transmiten información y controlan el comportamiento de los demás.

El lenguaje proporciona una correlación entre el contenido del pensamiento humano y el mundo objetivo que comprende. El lenguaje reemplaza los objetos materiales que domina en las acciones del pensamiento. Al hacer esto, permite que el pensamiento desempeñe un papel activo, establezca la esencia y los patrones de estos objetos y cree sobre esta base modelos y formas de cambiarlos convenientemente.

Cualquier lengua se compone de signos. . Firmar - este es un elemento del lenguaje que reemplaza y representa los objetos y sus signos en el proceso de pensamiento y cognición.

El signo se caracteriza disponibilidad significado y significado(Latín sensus - significado) . Significado (extensional , lat. extensión - volumen )firmar es un objeto del mundo material representado por este signo. Significado (intensidad , lat. intensio - tensión )firmar - se trata de información transmitida por un signo sobre la presencia o características del objeto designado. así es como se llama literalmente, A diferencia de significado figurado(indicando la similitud de un objeto con otros objetos: “El carbón es el pan de la industria”) y etimológico(explicando el significado literal de la palabra: “Génesis es la doctrina de la existencia”).

Los signos actúan. función representativa (Latín representatio - representación, imagen visual), es decir indicar objetos y sus signos(propiedades y relaciones). Al interpretar los signos, revelando su significado y significado, una persona aprende el mundo objetivo. Después de todo, el mundo mismo, su contenido, no está directamente involucrado en la actividad del pensamiento.

Dependiendo de la extensión (valores) Los signos pueden ser imaginarios o reales.

Signos imaginarios - Se trata de signos cuya extensión no corresponde a ningún objeto existente. Los signos imaginarios reflejan tanto objetos fantásticos (“la sirena del Danubio”, “estado ideal”) como objetos que bien podrían existir, pero que no existen precisamente en el área temática indicada por este signo (“elecciones democráticas libres del Presidente de Ucrania en 2004."). signos reales - son signos cuya extensión corresponde a un determinado objeto o característica(“constitución”, “inflación”, “oligarcas ucranianos”).

Dependiendo de la intensidad (sentido) Los signos pueden ser descriptivos o no descriptivos. Marcas descriptivas - son signos cuya intención contiene información sobre las características del objeto designado - sus propiedades y relaciones(“elecciones libres”, “inflación galopante”, “verdad objetiva”). Marcas no descriptivas - son signos cuya intención no caracteriza al objeto, sino que sólo lo señala(“Estado”, “propiedad”, “democracia”).

Todo signos subdividir en signos lingüísticos Y signos no lingüísticos. Tipos de signos no lingüísticos asignar Por la naturaleza de la conexión entre el signo y los objetos y sus características: signos-imágenes - tener cierta similitud con el objeto correspondiente(mapa, plano del área, dibujo, fotografía); signos índice (índice latino - indicador) - tener una conexión directa con el objeto que designan(el humo es un signo de fuego, un cambio en la altura de la columna de mercurio es un signo de un cambio en la presión atmosférica, un indicador numérico o alfabético: X, X...X, donde 1, 2, n son signos índice); signos-símbolos - Señalan objetos pero no están físicamente conectados a ellos.(las señales de tráfico como símbolos informativos sobre la organización adecuada del tráfico; escudo de armas, bandera, himno como símbolos de la condición de Estado de un determinado país)... Signos del lenguaje representar objetos.

Signos que representan objetos. son nombres de objetos ( o termas). Nombre (lat. nomen - nombre) - es una expresión de lenguaje formalizado, natural o artificial, que denota un objeto o clase de objetos separados. En otras palabras, nombre del árticulo arreglos "lo que está dicho" . A nivel teórico, designar objetos con nombres es una condición no sólo para la comunicación, sino también para el pensamiento. Artículo(lat. res - sujeto, cosa) aquí se entiende En un amplio sentido: son cosas, fenómenos, procesos, propiedades, conexiones, relaciones, etc. tanto la naturaleza como la sociedad, cualquier producto de su existencia.

Los nombres clasifican en soltero Y son comunes. Soltero denotan un objeto y están representados en el lenguaje por un nombre propio(“G.S. Skovoroda”, “Dnepr”). Cuando un nombre propio no se transmite explícitamente, entonces se utiliza operador iota - "el que"(“Quienes desarrollaron los métodos de inducción científica”). Son comunes denotar un conjunto(clase homogénea)objetos y están representados en el lenguaje por un sustantivo común(“libro”, “planeta del sistema solar”). Entre nombres comunes puede ser distinguido simple, en el que no hay partes que tengan significado independiente (“libro”) y complejo, o descriptivo, que consta de partes que tienen un significado independiente (“planeta del sistema solar”: “planeta”, “sistema”, “sistema solar”).

El nombre (como el letrero) tiene significado Y significado. Significado del nombre hay un objeto designado por él. Significado del nombre llamado denotación (lat. denotatus - designado; designado , lat. designatio - designación). Significado del nombre- esta es la forma en que un nombre designa un objeto, es decir cierta información sobre el objeto designado. Significado del nombre llamado concepto. Significado y trascendencia constituir contenido del nombre.

Por ejemplo, formas lingüísticas de expresión como “el país más pequeño es una ciudad-estado”, “una ciudad-estado dentro de la capital de Italia - Roma”, “un país cuya superficie es de 44 hectáreas con una población de aprox. 1.000 personas", "el centro de la Iglesia Católica Romana, la residencia de su jefe, el Papa de Roma" mismo significado(Vaticano), Pero significado diferente, porque representar un país determinado utilizando varias propiedades, es decir, dar información diferente al respecto.

Si un nombre se presenta fuera de contexto, no es fácil determinar su significado. En este caso, es necesario un análisis adicional.

Por ejemplo, La denominación de la palabra "Dnepr" puede ser un río, una motocicleta, un club de fútbol, ​​etc.

si denota(significado)nombre también es un nombre, entonces el nombre original se utiliza en sentido antónimo (“ser” es la “categoría de ser”, “juicio” es el “concepto de juicio”, donde cada segundo ejemplo ilustra el uso antónimo de términos).

en lenguaje natural así llamado "antinomias de la relación de denominación" , en el que, en el caso de sustituir un nombre por otro, idéntico en contenido pero diferente en forma, el significado de la frase cambia.

Por ejemplo, imposible en la enseñanza del francés. filósofo R. Descartes para reemplazar movimiento como atributo universal de la sustancia material y sus elementos en cambiar como atributo universal de la sustancia material y sus elementos, desde el siglo XVII. el cambio no se consideraba un atributo de la materia. La materia, que consta de muchos elementos, según R. Descartes, sólo es capaz de movimiento (mecánico), pero estos elementos en sí mismos, como la materia en su conjunto, no cambian.

Es por eso antinomias de la relación de denominación inaceptable en el conocimiento científico exigir el cumplimiento de los principios inequívoco(es decir, el uso de una expresión (como nombre) sólo en un contexto determinado, como el nombre de un objeto o clase de objetos, y en el mismo sentido), objetividad(es decir, identificar las relaciones que un nombre complejo expresa como relaciones no entre nombres, sino entre objetos que se denotan por nombres simples incluidos en el complejo), intercambiabilidad(en el que reemplazar un nombre simple (con la misma denotación) en un nombre complejo preservará el significado (denotación) del complejo).

Signos que representan atributos: propiedades y relaciones, son llamados predicadores (“blanco”, “más”, “por favor”, “orgulloso”, “predecesor”, “entre”). En otras palabras, predicador arreglos "que se dice" .

Los predicadores se caracterizan Terreno, área de aplicación y área de verdad.

Número de nombres de predicadores llamado terreno. Hay predicadores monoplaza y multiplaza(dos, tres, cuatro... plazas).Si el predicador caracteriza un objeto.(propiedad de un objeto), luego él soltero (“estabilidad macroeconómica”, “presupuesto deficitario”). Si un predicador caracteriza la relación entre dos o más objetos, entonces multiasiento (“Ucrania se unió a la OMC”, donde el predicador "ingresó" es doble).

Clase(latín classis - grupo) sujetos dentro de los cuales tiene sentido utilizar un determinado predicador, llamado alcance del predictor.

Entonces, ámbito de aplicación del predictor "vender" habrá una clase de personas, y "imitar"- clase de animales o clase de plantas.

Disponible Características de las áreas de aplicación de predictores de un solo lugar y de múltiples lugares: región soltero actúa como una de las posibles propiedades de un conjunto de objetos, y multiasiento- relaciones de un objeto establecidas con diferentes clases de objetos.

Por ejemplo, predicador "ama" puede registrar la relación de una persona con otra, con un tipo de actividad, con una determinada cosa, etc.

El volumen de la propiedad o relación representada por el predicador. llamado dominio de verdad del predicador.

Por ejemplo, según las características especificadas, el dominio de verdad del predicador "Hermoso" podría ser una persona, un baile, una flor, etc., "descendiente"- paleoántropo y arcántropo, cosaco y cosaco del Mar Negro, etc.

Expresiones que denotan diversas acciones, operaciones con objetos, como resultado de las cuales surgen nuevos objetos, son llamados signos funcionales (expresiones funcionales de dominio o funtores de dominio , es decir. nombres de las funciones del sujeto: en matemáticas: “√”, “+”, “ ctg a" y etc.; en lenguaje natural: “edad”, “altura”, “masa”, “velocidad”, “distancia”, “profesión”, etc.).

Funtores de elementos (como predictores) hay soltero (“peso”) y multiasiento (“distancia”), y también tienen área de aplicación , es decir. esa clase de objetos donde es aconsejable utilizar un determinado functor (“masa” en física, “log” en matemáticas). Pero la aplicación de un functor (por ejemplo, “edad” a Samarin S.M.) conducirá a la formación de un nuevo objeto (en este caso, a un número con nombre, por ejemplo, 20). En este sentido, podemos decir no sobre el reino de la verdad, y sobre dominio de un funtor de objeto .

Baños termales (nombres de elementos), predicadores y funtores(signos funcionales) , que representan ciertos objetos, hay expresiones constantes: término constante, predicador constante, funtor constante. El lenguaje de la lógica utiliza y expresiones variables , o expresiones con valor variable: variables de tema(para artículos), variables predictoras(para propiedades y relaciones), variables proposicionales(para sentencias), variables de función(para funciones sujetas). Característica de caracteres variables. es que adquieren significado sólo con la indicación de un área temática específica.

Generalmente nombres de elementos (es decir, palabras y frases que denotan objetos individuales y clases de objetos homogéneos), predictores (es decir, palabras y frases que denotan propiedades de objetos o relaciones entre objetos), y signos funcionales (es decir, expresiones que denotan funciones objetivo, operaciones: “√”, “+”, “ ctg a") son descriptivo (del latín descriptio - descripción, descriptivo )términos (latitud . término - frontera).

El idioma también tiene términos lógicos (constantes lógicas o constantes lógicas). términos lógicos Expresar tales palabras y frases de lenguaje natural., Cómo "Y" , "o" , "si, entonces" , "No" , "si y sólo si, entonces" etc., "Todo" ,"alguno" etcétera., "Eso" ,"cual" ,"tal que" y etc.

Términos lógicos "y" , "o" , "si, entonces" , "No" , “si y sólo si, entonces”... capturar las relaciones entre términos descriptivos en medio de declaraciones, entre declaraciones .

Palabras que capturan relaciones. llamado conectivos lógicos . Entre el grupo de conectivos lógicos, no sólo conectivos proposicionales ("Y" , "o" , "si, entonces" , "No" , "si y sólo si, entonces" ), pero también conectivos lógicos, fijándose como la presencia entre objetos de pensamiento. relación("Platón es maestro de Aristóteles), y la presencia del pensamiento en el tema propiedades("Donetsk Hay centro regional"): "Hay" ("No comas" ), "es" ("no es" ), cuya forma plural es "esencia" ("no es la cuestión" ). Si los ligamentos "Hay" ("No comas" ), "es" ("no es" ) expresado en un comunicado propiedades, se les llama atributivo , Si relación - relativo . Los ligamentos pueden expresar existencia objeto y/o sus características y, por tanto, ser existencial. Además, estos ligamentos pueden ser como afirmativo ("Hay" ), y negativo ("No comas" ).

Palabras "Y" , "o" , "si, entonces" etcétera. en el lenguaje ordinario o literario son conjunciones gramaticales. Unen oraciones simples en otras complejas. Son importantes aquí. contenido y significado.

Palabras "Y" , "o" , "si, entonces" etcétera. son y uniones lógicas. Ya no registran conexiones entre oraciones, sino entre declaraciones, donde sólo valores booleanos(verdad y falsedad) de afirmaciones simples que conforman una compleja.

En lógica hay nombres especiales y símbolos de conjunciones lógicas: « Y» - conjunción(), « o» - disyunción(), « si entonces» - implicación(→), « si y sólo si, entonces» - equivalencia- (≡), etc. Su naturaleza se estudia mediante la lógica proposicional. Con su ayuda, los enunciados simples (juicios) se transforman en complejos que llevan el nombre de la conjunción correspondiente: conjunciones, disyunciones etc. Ellos son iguales conjunciones proposicionales, o conectivos proposicionales(Latín propositio - propuesta, declaración).

Términos lógicos "todos" ,"alguno"... dar características cuantitativas en declaraciones simples. Estos términos lógicos representan operadores lógicos, que incluyen cuantificadores (del latín guantum - cuánto): cuantificador general (-"Todo" ) Y cuantificador de existencia (-"alguno" ). Tienen otros análogos del lenguaje natural y otras notaciones.

Términos lógicos "eso" ,"cual" , "tal que..." reflejar expresiones descriptivas de objetos de pensamiento en declaraciones simples.

La estructura de las declaraciones también incluye palabras adicionales que dan a las declaraciones un nuevo estado lógico: operadores modales: “necesario”, “posible”, “accidental”, “válido”, “permitido”, “prohibido”, “obligatorio” etc., que se utilizan en ciertos tipos de modalidades. También tienen (abajo) símbolos para indicarlos.

La propiedad formal de las declaraciones (independientemente de su correspondencia con datos fácticos) de adquirir valor de verdad también tiene una expresión simbólica: 1 (verdadero), 0 (falso). Un enunciado formalmente no sólo puede tener dos valores de verdad, es decir ser doble digito, pero también ambiguo.

Términos lógicos en el lenguaje de la lógica. expresar lo siguiente caracteres:

1. 1) a, b, C- símbolos de nombres únicos o variables temáticas;
2. 2) X, y, z- símbolos de nombres comunes o variables temáticas;
3. 3) PAG, q, R, … PAG, q, R- símbolos de predicadores, que indican su ubicación, o variables predictoras;
4. 4) pag, q, r- símbolos de enunciados o variables proposicionales;
5. 5) - símbolo del cuantificador de generalidad (“todos”, “ninguno”, “cualquiera”, “cualquiera”, “cada uno”, etc.);
6. 6) - símbolo del cuantificador de existencia (“no todos”, “algunos”, “hay tales”, “mayoría”, “minoría”, “parte”, “a veces”, etc.);
7. 7) S, PAG- símbolos del sujeto y predicado de una sentencia;
8. 8) METRO- símbolo del término medio de la inferencia (común a dos premisas);
9. 9) A- un símbolo de un juicio generalmente afirmativo (“TodoS Hay R»);
10. 10) mi- un símbolo de un juicio generalmente negativo (“TodosS No comas R»);
11. 11) I - un símbolo de un juicio afirmativo privado ("AlgunosS Hay R»);
12. 12) ACERCA DE- símbolo de un juicio negativo parcial (“AlgunasS No comas R»);
13. 13) () - signos técnicos de paréntesis izquierdo y derecho, utilizados para escribir, por ejemplo, términos complejos de sentencias;
14. 14) < >- signos entre paréntesis para indicar conjunción y disyunción cerradas o completas;
15. 15) ¬а, ~а, à, - símbolos de negación (“no-a”, “no es cierto que a”);
16. 16) , & - símbolos de conjunción (“y”);
17. 17) - símbolo de la conjunción de una disyunción débil (no estricta) (“o”);
18. 18), - símbolos de la conjunción de una disyunción fuerte (estricta) (“ya sea o”);
19. 19) →, - símbolos de la conjunción de implicación (“si, entonces”);
20. 20) ↔, ≡ - símbolos de la conjunción de equivalencia (“si y sólo si, entonces”);
21. 21) - - símbolo del conectivo lógico de un juicio (“es”, “no es”, “esencia”, “no es la esencia”, “es”, “no es”);
22. 22) - símbolo de la operación lógica de sumar conceptos (clases);
23. 23) - símbolo de la operación lógica de multiplicación o intersección de conceptos;
24. 24) - símbolo de subordinación, inclusión de una clase dentro de una clase;
25. 25) \ - símbolo de la operación lógica de restar conceptos;
26. 26)  - símbolo del operador modal “necesario”;
27. 27) ◊ - símbolo del operador modal “posiblemente”;
28. 28) - símbolo del operador modal “aleatorio”;
29. 29) i - símbolo del operador modal “realmente”;
30. 30) R- símbolo del operador modal “permitido”;
31. 31) F- símbolo del operador modal “prohibido”;
32. 32) ACERCA DE- símbolo del operador modal “obligatorio”;
33. 33) A- símbolo del operador modal “sabe”;
34. 34) EN- símbolo del operador modal “cree” (cuenta);
35. 35) 1, i, t- símbolo "verdadero";
36. 36) 0, X, F- símbolo “falso”;
37. 37) R- símbolo de relación;
38. 38) A, EN, CON- símbolos de declaraciones;
39. 39) df- símbolo de definición (definición).

Lenguaje de símbolos - estos son medios lingüísticos formalizados para fijar la estructura lógica.(formas de comunicacion)pensamientos y estudios de sus propiedades lógicas y relaciones con reglas estrictamente fijadas.

Características del lenguaje de símbolos.(o lenguaje formalizado- el lenguaje de la lógica) es la discrepancia entre la estructura lógica del pensamiento reflejada con su ayuda y la estructura léxico-gramatical del lenguaje ordinario o literario que transmite los mismos pensamientos. lenguaje lógico, Por un lado, corresponde a la naturaleza y esencia de cualquier sistema lingüístico, que está determinada por la idealidad del pensamiento humano y la naturaleza material de los signos lingüísticos que desempeñan funciones representativas y sustitutivas en el proceso de cognición. Por otra parte, el lenguaje de la lógica está diseñado para garantizar la máxima precisión y concisión del pensamiento, estabilidad y objetividad de las conclusiones obtenidas en la actividad cognitiva, lo que se logra en el proceso de formalización abstrayendo el contenido, la inconsistencia y la ambigüedad de las expresiones lingüísticas contenidas en él, su amorfismo y otras contradicciones. inherente al lenguaje ordinario. Es importante observar que Los aspectos esenciales del contenido en un lenguaje lógico no se ignoran, sino que se expresan a través de la forma con la ayuda de símbolos. Esto permite Identificar, registrar y evaluar de forma óptima e inequívoca objetos de pensamiento, sus propiedades y relaciones, así como realizar operaciones con ellos.

Por ejemplo:"Los autóctonos son la población indígena del país". En esta sentencia se pueden identificar dos términos claramente expresados: sujeto (S) - “autóctonos” y predicado (PAG) - “población indígena del país”. El tercer término básico de juicio es conectivo lógico "es"- falta, pero también se puede expresar explícitamente: “Autochthons Hay población indígena del país." perdido y cuantificador general () - "Todo", pero la sentencia implica Todo la población originaria del país. De ahí que la estructura lógica de un juicio categórico atributivo, expresada por una determinada oración narrativa, u otra, más compleja, pero cuyos miembros tienen elementos correspondientes en el lenguaje lógico, se escribe simbólicamente de la siguiente manera: S-R. Esta fórmula se lee según las reglas del lenguaje simbólico: “Todo S Hay R" El contenido y las características gramaticales de la oración correspondiente se omiten por completo. Además, tal lectura reemplaza la engorrosa frase en lenguaje natural sobre un juicio afirmativo general: “En un juicio afirmativo general, cada objeto de un determinado conjunto, que refleja el concepto de sujeto, tiene una propiedad que se refleja en el concepto de un predicado”.

Un conjunto de medios simbólicos que capturan la estructura lógica del razonamiento y las conexiones lógicas de los elementos de esta estructura. es idioma del sujeto , o lenguaje-objeto: "Todo S Hay R" A análisis lógico de la estructura del razonamiento, la conexión de los medios de signo de esta estructura y el procedimiento para su correlación con el significado. ocurre sobre la base metalenguaje: S denota el tema del pensamiento, R- un signo del tema del pensamiento, "Hay" define la relación entre ellos, "Todo"- un determinado conjunto de objetos con sus características inherentes, reflejadas en S(sujeto) y R(predicado).

Estructura del lenguaje natural presentado tres partes de la semiótica (del griego σημειωτικόν - estudio de los signos, del griego σημεϊον - signo) - ciencia de los signos y el lenguaje como sistema de signos: sintaxis (Griego σύνταζις - estructura, combinación; donde se analizan los signos en sí, es decir, se determinan los principios de construcción de signos, las reglas de conexión y la ubicación de los signos lingüísticos en un determinado sistema de signos), semántica (griego σημαντικός - que denota; donde se revela la relación entre signo y significado, se estudia el significado y significado de las expresiones lingüísticas, se analiza el lenguaje como un sistema de signos según las funciones de definición y designación) y pragmática (del griego πραγμα - negocio, acción; donde se considera la relación entre el sistema de signos y su portador, las formas de utilizar los signos y el lenguaje como sistema de signos en situaciones prácticas específicas).

Estructura de un lenguaje formalizado. incluye solo sintáctico (lenguaje objeto) Y semántico (metalenguaje) partes. lenguaje sintáctico utiliza términos como seguir, deducir, probar, etc. Semántico- clase, enunciado, propiedad, relación, verdad y falsedad, valor de verdad de un enunciado, interpretación. lenguaje objeto como sistema de signos, un conjunto de fórmulas fija en forma de signos la estructura lógica del razonamiento, las propiedades lógicas de los elementos constitutivos del razonamiento y las relaciones entre los elementos del razonamiento. Metalenguaje revela las propiedades y relaciones de los medios de signos de un lenguaje objeto, las funciones de las combinaciones y formaciones de los medios de signos de un lenguaje objeto. En el propio metalenguaje se distinguen sintaxis y semántica. La sintaxis de un metalenguaje consta de reglas que describen las características de los sistemas de signos de un lenguaje objeto. La semántica describe los tipos de significados que pueden recibir los signos de un lenguaje objeto y las reglas mediante las cuales estos significados se asignan a los signos correspondientes de un lenguaje objeto.

La importancia de estudiar lógica es que lo hace posible En primer lugar, familiarizarse con las leyes, reglas y métodos de pensamiento que son de naturaleza objetiva; En segundo lugar, basándose en el conocimiento de las leyes y reglas del pensamiento, abordar conscientemente el proceso de pensamiento, ayudar a mejorar la claridad de las acciones al realizar pruebas y refutaciones, establecer analogías, etc.; En tercer lugar, construir conscientemente argumentos no sólo desde el punto de vista de su corrección formal, sino también de la verdad; por cuartos, establecer con precisión la esencia de las palabras utilizadas en el idioma, la forma y estructura de juicios y conclusiones; en quinto lugar, evitar la ambigüedad y la contradicción en el proceso de pensar y razonar; En sexto, encontrar y eliminar errores tanto en su propio razonamiento como en el de sus oponentes; séptimo, familiarizarse con los últimos resultados tanto en el campo de los logros lógicos como en otras áreas de la actividad humana; octavo, aumentar el nivel de eficiencia no solo del conocimiento científico, sino también de la implementación de sus resultados en diversas áreas de la práctica social.

La lógica es un concepto diverso que se ha arraigado firmemente en nuestra vida y cultura del habla. En este artículo veremos qué es la lógica desde un punto de vista científico. La definición, los tipos, las leyes de la lógica y los antecedentes históricos nos ayudarán en esto.

características generales

Entonces ¿qué es la lógica? La definición de lógica es muy multifacética. Traducido del griego significa "pensamiento", "mente", "palabra" y "ley". En la interpretación moderna, este concepto se utiliza en tres casos:

1. Designación de relaciones y patrones que unen las acciones de personas o eventos en el mundo objetivo. En este sentido, se utilizan a menudo conceptos como "cadena lógica", "lógica de los hechos", "lógica de las cosas", etc.
2. Designación de la estricta secuencia y regularidad del proceso de pensamiento. En este caso se utilizan expresiones como “lógica del razonamiento”, “lógica del pensamiento”, “lógica del habla”, etc.
3. Designación de una ciencia especial que estudia formas y operaciones lógicas, así como las leyes del pensamiento asociadas con ellas.

Problemas de lógica

Como puede ver, en cada situación específica puede haber al menos una de varias respuestas a la pregunta: "¿Qué es la lógica?" La definición de problemas lógicos es menos extensa. La tarea principal es llegar a una conclusión basada en premisas y adquirir conocimientos sobre el tema del razonamiento para obtener una comprensión más profunda de sus relaciones con otros aspectos del fenómeno en consideración. En cualquier ciencia, una de las principales herramientas es la lógica. No es sólo una subsección importante de la filosofía, sino que también afecta a algunas enseñanzas matemáticas. "Álgebra de la lógica" es una definición bien conocida en los círculos matemáticos. A veces se confunde con la que es la base de la informática, pero esto no es del todo cierto.

Lógica informal

La lógica se clasifica principalmente en:

1. Informal.
2. Formal.
3. Simbólico.
4. Dialéctico.

La lógica informal es el estudio de la argumentación en el idioma original. Este término es más común en la literatura inglesa. Por tanto, la principal tarea de la lógica informal es el estudio de los errores lógicos en el habla. Una conclusión hecha en lenguaje natural puede tener un contenido puramente formal si se puede demostrar que no es más que una aplicación particular de una regla universal.

Lógica formal y simbólica

El análisis de la inferencia, que revela ese contenido tan formal, se llama lógica formal. Por su parte, explora abstracciones simbólicas que fijan la composición formal de la inferencia lógica.

Lógica dialéctica

La lógica dialéctica es la ciencia del pensamiento que proporciona conocimiento sobre una forma de razonamiento que amplía las posibilidades de inferencia formal. En este caso, el concepto de lógica se puede utilizar tanto en su propio sentido lógico como en forma de una determinada metáfora.

El razonamiento dialéctico se basa parcialmente en las leyes formales de la lógica. Al mismo tiempo, al analizar la dinámica de la transición de conceptos a sus opuestos, permite la coincidencia de los opuestos y, por lo tanto, se guía por leyes dialécticas.

Objeto lógico

La definición de lógica como ciencia implica que su objeto es lo humano, un proceso complejo y multilateral que implica la reflexión generalizada de una persona sobre las cosas y las relaciones en el mundo circundante. Este proceso es estudiado por diversas ciencias: filosofía, psicología, genética, lingüística y cibernética. La filosofía examina el origen y la esencia del pensamiento, así como su identificación con el mundo material y el conocimiento. La psicología controla las condiciones para el funcionamiento normal del pensamiento y su desarrollo, así como la influencia del entorno sobre el mismo. La genética se esfuerza por estudiar el mecanismo de herencia de la capacidad de pensar. La lingüística busca conexiones entre el pensamiento y el habla. Bueno, la cibernética intenta construir modelos técnicos del cerebro y el pensamiento humanos. La lógica misma analiza el proceso de pensamiento desde el punto de vista de la estructura de los pensamientos, así como la corrección o incorrección del razonamiento, haciendo abstracción del contenido y desarrollo de los pensamientos.

Tema de lógica

El tema de este campo del conocimiento es la forma lógica, las operaciones asociadas a ella y las leyes del pensamiento. Lo mejor es considerar el tema del estudio de la lógica a través del proceso de conocimiento humano del mundo circundante. La cognición es el proceso durante el cual un individuo adquiere conocimiento sobre el mundo. Hay dos formas de adquirir conocimientos:

1. Cognición sensorial. Se lleva a cabo utilizando órganos o instrumentos sensoriales.
2. Cognición racional. Se lleva a cabo utilizando el pensamiento abstracto.

La cognición se basa en la teoría de la reflexión. Según esta teoría, los juicios, cosas y fenómenos del mundo objetivo pueden influir en los sentidos humanos y activar el sistema de transmisión de información al cerebro, así como activar el cerebro mismo, como resultado de lo cual aparece una imagen de estas mismas cosas y Los fenómenos se crean en el pensamiento humano.

Cognición sensorial

La imagen sensorial se refiere al conocimiento sobre las propiedades externas de ciertas cosas y fenómenos. La cognición sensorial puede ocurrir de tres formas:

1. Sentimiento. Refleja las propiedades individuales de un objeto.
2. Percepción. Refleja el objeto en su conjunto, representa su imagen holística.
3. Actuación. Esta es una imagen de un objeto conservado en la memoria.

En la etapa de cognición sensorial, la esencia de las cosas y los procesos, sus propiedades internas, no siempre es accesible para una persona. El Principito del cuento homónimo de Exupéry dijo: “Con los ojos no se puede ver lo más importante”. La razón o el pensamiento abstracto acuden en ayuda de los sentidos en tales casos.

cognición racional

El pensamiento abstracto refleja la realidad en términos de propiedades y relaciones básicas. El conocimiento del mundo a través del pensamiento abstracto se produce de forma indirecta y no explícita. No implica recurrir a observaciones y prácticas, sino que se construye sobre la base de razonamientos más profundos sobre las propiedades y relaciones de los objetos y fenómenos. Por ejemplo, siguiendo los pasos de un delincuente se puede recrear la imagen del incidente, con un termómetro se puede saber cómo está el tiempo en la calle, etc.

Una característica importante del pensamiento abstracto es su estrecha conexión con el lenguaje. Cada pensamiento se formaliza mediante palabras y frases, dichas a través del habla interna o externa. Pensar no solo ayuda a una persona a describir el mundo que la rodea, sino que también le permite formular nuevas ideas, abstracciones, pronósticos y predicciones, es decir, resuelve numerosos problemas lógicos. Las definiciones de "lógica" y "pensamiento" a este respecto están estrechamente relacionadas entre sí. El pensamiento, independientemente de si es abstracto o racional, puede ocurrir en tres formas principales: concepto, juicio e inferencia. Considerémoslos por separado.

Concepto

Es una forma de pensamiento con la que una persona crea imágenes mentales sobre los objetos, sus características y relaciones. Un concepto es imposible sin una definición. Pero veremos las reglas de las definiciones en lógica un poco más abajo. En el proceso de formación de conceptos, un individuo se dedica a analizar el objeto que le interesa, compararlo con otros objetos, resaltar sus principales características distintivas, abstraerse de características sin importancia y generalizar diferentes objetos en función de estas características. Como resultado, se crean imágenes mentales de los objetos, sus propiedades y relaciones.

Los conceptos juegan un papel importante en la actividad cognitiva humana. Gracias a ellos, es posible generalizar lo que en realidad existe por separado. En el mundo objetivo no existen conceptos como estudiante, aprendiz, oficinista, atleta, etc.; todos son imágenes generalizadas que sólo pueden existir en un mundo ideal, es decir, en la cabeza de una persona.

Abre la posibilidad de obtener conocimiento sobre objetos y fenómenos a partir de las propiedades básicas de una clase de objetos o fenómenos similares. Jonathan Swift habla sobre cómo sería el mundo si las personas no usaran conceptos al comunicarse entre sí en su historia sobre los viajes de Gulliver. Según la historia, un día un sabio aconsejó a las personas en una conversación que no utilizaran conceptos sobre los objetos, sino los objetos mismos. Muchos siguieron su recomendación, pero para poder mantener una conversación normal con su interlocutor debían llevar bolsas con diferentes cosas al hombro. Por supuesto, una conversación así con una demostración de objetos era muy escasa incluso entre los propietarios de los bolsos más grandes.

Un concepto no puede existir sin una definición. En diferentes ciencias, la definición se puede interpretar con algunas diferencias. La definición de conceptos en lógica es el proceso de asignar un significado específico a un determinado término lingüístico. En esencia, el concepto es infinito, ya que es desarrollado por la mente universal. La definición es finita, ya que representa el resultado de una actividad racional (lógica). Según Hegel, la definición no corresponde a lo Absoluto y corresponde a la representación. es traducir conceptos en representaciones, deshaciéndose de definiciones finitas.

El concepto contiene el significado. Y la definición de conceptos en lógica es una acción encaminada a identificar este significado. Así, un concepto puede denominarse palabra que ha recibido una definición a través de conclusiones lógicas. En consecuencia, sin definición, una palabra no es un concepto, aunque tenga una distribución. Definir un concepto significa describir su significado, aclarando todos los matices principales. Además, si hace esto fuera del marco de un determinado sistema de conocimiento, pueden producirse errores en las definiciones. Cada uno tiene su propia lógica, al igual que su comprensión de una palabra en particular. Por eso, cuando se habla de temas filosóficos, es importante definir conceptos.

Los tipos de definiciones en lógica se presentan de forma muy amplia. La definición es: intensional, real, axiomática, nominal, explícita, implícita, genética, contextual, inductiva y ostensiva.

Juicio

A partir de conceptos sobre los objetos, una persona puede emitir juicios sobre ellos y sacar conclusiones. Un juicio es una forma de pensar en la que se afirma o niega algo sobre el objeto del pensamiento. De un juicio se puede sacar otro. Por ejemplo, partiendo del hecho de que todas las personas son mortales, podemos concluir que quien murió es una persona. Durante la construcción de conceptos, juicios y conclusiones, todo el mundo puede cometer errores, tanto conscientes como inconscientes. Para evitarlos, es necesario conocer los conceptos básicos del pensamiento correcto.

El pensamiento correcto es aquel en el que se obtiene nuevo conocimiento verdadero a partir del conocimiento verdadero. El pensamiento erróneo también puede dar lugar a conocimientos falsos. Por ejemplo, hay dos proposiciones: “Si Iván cometió un robo, es un delincuente” e “Iván no cometió un robo”. La sentencia “Iván no es un delincuente”, obtenida a partir de esta información, puede ser falsa, ya que el hecho de que no haya cometido un robo no indica que no haya cometido otros delitos.

Inferencias

Cuando hablan de la exactitud de las inferencias, los científicos se refieren al cumplimiento de las reglas de su construcción e interrelación. Ésta es la base para la definición de las leyes de la lógica como ciencia del pensamiento. La lógica formal se abstrae del contenido específico y del desarrollo de los pensamientos. Al mismo tiempo, enfatiza la verdad y falsedad de estos pensamientos. Se suele denominar lógica, con énfasis en el nombre de la ciencia que estudia un determinado aspecto del pensamiento.

La cuestión de la verdad o falsedad de los juicios y conclusiones es una cuestión de la correspondencia o incumplimiento de lo que dicen con el mundo objetivo. Un juicio verdadero refleja objetivamente el estado de las cosas en la realidad objetiva. Un juicio falso, por el contrario, no se corresponde con la realidad. La cuestión de qué es la verdad y cómo se relaciona el conocimiento sensorial con el pensamiento abstracto ya no la aborda la lógica, sino la filosofía.

Conclusión

Hoy aprendimos qué es la lógica. La definición de este concepto es muy amplia y multifacética, cubre una amplia área de conocimiento. Esta variedad de manifestaciones de la lógica ilustra su relación con otras ciencias, algunas de las cuales son bastante materialistas. El artículo también examinó los aspectos principales del pensamiento humano: inferencias, juicios, conceptos y definiciones (en lógica). Los ejemplos de la vida real nos ayudaron a comprender este material más fácilmente.

Una persona en la vida cotidiana y en la actividad profesional aprende constantemente sobre el mundo que la rodea, sobre sí misma y las personas que la rodean, adquiriendo diversos tipos de conocimientos.

Conocimiento - Se trata de información que recibe el sujeto, procesada por él a partir de su experiencia personal o práctica social y que le sirve como regulador de su actividad cognitivo-transformadora.

El sujeto lo hace a través de la cognición sensorial y el pensamiento abstracto. A través de la reflexión sensorial (sensaciones, percepciones, ideas), basada en procesos mentales, una persona conoce los objetos individuales y sus propiedades.

Sentimiento - el proceso mental más simple de reflejar las propiedades individuales de los objetos y los estados internos del cuerpo que surgen del impacto directo de los estímulos materiales en los sentidos.

Sobre “Tema”, “Categorías”, “Sobre la refutación de argumentos sofistas”, “Sobre la interpretación”. Los lógicos bizantinos unieron todas las obras enumeradas de Aristóteles bajo el nombre común de "Organon" (Instrumento del conocimiento). - Cm.: Aristóteles. op. T. 2. M., 1978.

Percepción - Este es el proceso de reflejar objetos y fenómenos del mundo objetivo que actualmente afectan a los analizadores humanos.

Actuación - Este es un proceso de reflejo visual y generalizado de objetos y fenómenos (o sus propiedades individuales) que actualmente no afectan nuestros sentidos.

La reflexión sensorial es la base del pensamiento abstracto, que nos permite conocer las leyes del mundo y la esencia de los objetos. El pensamiento abstracto o racional refleja el mundo y sus procesos de manera más profunda y completa que el pensamiento sensorial.

La gente siempre razona, tratando de extraer conocimientos nuevos del conocimiento que tiene. El conocimiento obtenido de esta manera se llama inferencial. El proceso de generación de conocimiento inferencial obedece naturalmente a ciertas leyes lógicas.

El objetivo principal de la lógica es precisamente explorar leyes mentales específicas y desarrollar reglas para obtener conocimiento inferencial.

En consecuencia, el objeto de la lógica como ciencia es el pensamiento humano.

Pero el pensamiento es un proceso complejo y multifacético, la forma más elevada de conocimiento del mundo, característico únicamente del hombre. Y no a todo el mundo le interesa aquí la lógica. La filosofía estudia la esencia del pensamiento, su origen, su relación con el mundo y sus capacidades cognitivas. La fisiología está interesada en cómo el pensamiento depende del estado del cerebro, el sustrato material del pensamiento. La psicología estudia las condiciones para el óptimo desarrollo y funcionamiento del pensamiento, la influencia del entorno sociopsicológico y los sentimientos sobre el mismo. La genética intenta revelar los secretos de cómo los niños heredan de sus padres habilidades para cualquier actividad. Los científicos en cibernética están estudiando las posibilidades técnicas de modelar el pensamiento humano en una computadora con retroalimentación flexible.

La lógica no profundiza en el contenido de los pensamientos, ya que es obvio que en este parámetro los pensamientos de un matemático difieren de los pensamientos de un biólogo, un músico piensa en algo completamente diferente a un juez, un científico usa conceptos y términos en la investigación. que no se utilizan en absoluto en el pensamiento y el lenguaje cotidianos. ¡Y de qué puede hablar una persona!

Sin embargo, en muchos pensamientos que tienen un contenido completamente diferente, se puede encontrar algo esencialmente común. Esta es su estructura o forma. La lógica, al estudiar la estructura de los pensamientos abstrayendo su contenido específico, establece leyes y reglas de razonamiento que conducen de una afirmación verdadera a otra. Tipos principales formas, en los que se expresan los pensamientos, son: concepto, juicio, teoría etc. Los principales tipos de formas en las que se produce el desarrollo del conocimiento son: inferencia, hipótesis, solución, versión, tarea, problema y etc.

Una característica del pensamiento es el hecho de que el conocimiento de la realidad y el desarrollo del conocimiento se llevan a cabo de manera generalizada e indirecta.

Generalizado, porque en pensamientos y conceptos una persona refleja los aspectos de los objetos y fenómenos que le interesan, abstrayéndose del resto, y nuestros conceptos reflejan los signos no solo de un determinado objeto y fenómeno individual, sino también los signos de contenido inherentes a muchos. objetos y fenómenos de una clase determinada. Entonces, cuando utilizamos el concepto de "juez", nos referimos a toda una clase de representantes del poder judicial. Por ejemplo, no sólo el presidente específico del Tribunal Constitucional de la Federación de Rusia, sino también las características generales de los jueces del pasado, presente y futuro.

Indirectamente, porque el pensamiento nos permite adquirir nuevos conocimientos sobre el mundo, no siempre recurriendo directamente a la experiencia, sino apoyándonos en conocimientos previos. Si sabemos con certeza que el poder judicial siempre protege los derechos de los ciudadanos, entonces, utilizando este pensamiento como juicio inicial, podemos obtener una nueva afirmación verdadera: "Los tribunales de la Federación de Rusia también protegen los derechos de los ciudadanos rusos".

El objetivo principal de la lógica es precisamente estudiar las leyes específicas del pensamiento, desarrollar no solo las reglas para lograr un verdadero conocimiento inferencial, sino también determinar las formas, medios y formas de implementar este proceso.

Por tanto, podemos definir la lógica como una ciencia.

Lógicas(del griego aouo

El tema de la lógica como ciencia es estas son formas y medios de pensamiento, las leyes del pensamiento correcto y la obtención de conocimiento inferencial, así como métodos de razonamiento y formulación de conclusiones, generalizaciones, recomendaciones y decisiones verdaderas.

A la lógica a veces se la llama la ciencia del pensamiento correcto. Esta definición de lógica, aunque adolece de cierta vaguedad, tiene una base. De hecho, cuando quieren comprobar la exactitud de cualquier razonamiento, recurren a las leyes y reglas de la lógica. La lógica nos ayuda a pensar de tal manera que lleguemos a conclusiones verdaderas.

Dado que la lógica en sentido estricto está interesada en forma construir pensamientos y se distrae de la información específica contenida en ellos, se llama formal lógica.

Al distraerse del contenido específico de los pensamientos, la lógica no descuida la cuestión de si los enunciados con los que operamos en el pensamiento son verdaderos o falsos. Dependiendo de si las afirmaciones originales son verdaderas o falsas, el resultado puede ser verdadero o falso. Por tanto, la lógica, para ser un medio para descubrir la verdad, debe, a partir del estudio de las estructuras formales del pensamiento, establecer leyes de dependencia entre juicios verdaderos y falsos.

Por ejemplo, las siguientes dos proposiciones:

"Cato el Viejo habló sobre la necesidad de destruir Cartago" y "Plevako, un abogado astuto", no tienen el mismo contenido, pero tienen la misma estructura lógica. En las sentencias primera y segunda se atribuye el objeto del pensamiento. alguna clase de una determinada propiedad. Esquemáticamente se verá así: S es P, donde: S es el tema del pensamiento; (del lat. sujeto- sujeto, en un enunciado-juicio - sujeto lógico); P es una propiedad que se atribuye a este objeto; (del lat. proedicatum - lo dicho en un enunciado-juicio es un predicado).

Para fundamentar nuestra conclusión, consideremos dos argumentos más: “Todos los astronautas son personas valientes. G. Titov - cosmonauta. Por eso G. Titov es un hombre valiente” y “Todos los estudiantes de primer año de la Academia Rusa de Justicia estudian lógica. Tanya Petrova es estudiante de primer año en la Academia de Justicia de Rusia. Por eso,

Tanya Petrova estudia lógica." El contenido de estos argumentos es diferente, pero la estructura lógica (forma) es la misma. En lógica se suele escribir así:

Las proposiciones “M es P” y “S es M” están relacionadas entre sí por su término común “M” (la letra “M” denota un concepto que tiene el mismo contenido en el primer y segundo enunciado. Se llama término medio (del lat. medio- promedio)) y gracias a esto es posible la conclusión: “S es P”.

Resulta que La lógica formal o la lógica en sentido estricto es la ciencia de las conexiones., que surge entre la verdad y la falsedad de cualquier oración en términos de su forma, estructuras, especialmente sobre la conexión entre la continuación de unas frases de otras.

La historia de la lógica se remonta a más de 2.500 años y se divide en dos etapas principales. La primera comenzó con las obras de Aristóteles y continuó hasta principios del siglo XX. El segundo es desde aquella época hasta la actualidad. Es casi imposible enumerar a todos los pensadores destacados que desarrollaron la lógica. Debería dedicarse un curso especial a esta cuestión. Al mismo tiempo, cabe señalar que ya en la Antigua Grecia, los representantes de la escuela "estoica" (Chrinsii) prestaron gran atención a la lógica. Una de las personalidades más destacadas de la cultura lógica de la Edad Media es I. D. Scot. F. Bacon hizo una contribución significativa al desarrollo de la lógica formal como ciencia. Sentó las bases de la doctrina lógica de la inducción, cuyo propósito es descubrir relaciones causales entre los fenómenos del mundo circundante a través de observaciones y experimentos. J. S. Mill desarrolló métodos de inducción científica basados ​​en el establecimiento de relaciones causales. G. Leibniz fundamentó la idea de la posibilidad de presentar una prueba como un cálculo matemático. D. Boole interpretó la inferencia como el resultado de resolver igualdades lógicas. G. Frege utilizó la lógica para estudiar los fundamentos de las matemáticas. Posteriormente, B. Bolzano, O. De Morgan, W. S. Jevons, C. S. Pierce, E. Schroeder y otros hicieron importantes contribuciones al desarrollo de la lógica.

El comienzo del siglo XX marca una especie de revolución en la lógica. Los resultados fundamentales los obtuvieron K. Gödel, D. Gilbert, B. Racel, A. Tarski, A. N. Whitehead, A. Church y otros.

Nuestros compatriotas también hicieron una gran contribución al desarrollo de la lógica. La evolución de las ideas lógicas en Rusia está asociada con una brillante constelación de nombres: estos son los hermanos Likhud, M.V. Lomonosov, P.S. Poretsky, N.A. Vasilyev, A.A. Markov-son, etc. En las últimas décadas, se ha hecho mucho por A. P. Alekseev, L. B. Bazhenov, V. A. Bocharov, E. K. Voishvillo, A. D. Getmanova, D. P. Gorsky, A. A. Ivin, Yu. V. Ivlev, V. I. Kirillov, S. A. Lebedev, V. I. Markin, A. L. Nikiforov, S. I. Povarnin, G. I. Ruzavin, P. Sergeich, V. I. Svintsov, A. A. Starchenko, M. K. Treushnikov, A. I. Uemov y otros.

• A diferencia de la lógica dialéctica, que en cierto sentido coincide con la teoría del conocimiento.