La lógica es un método de comprensión del mundo objetivo para todas las ciencias.

La ciencia de la lógica, a partir de su tema y métodos de conocimiento en relación con otras ciencias, se formó como una esfera de su aplicación, una esfera de interpretación de diversos tipos y direcciones de la investigación lógica. En este sentido, la lógica es una ciencia aplicada, a la que se le llama “lógica de la ciencia”.

En el proceso histórico de interacción entre la lógica y las ciencias específicas se determinó el tema de investigación de la lógica de la ciencia. Entonces esto es:

Detalles específicos del objeto de la ciencia (objetos empíricos y abstractos, constructos teóricos);

Características del conocimiento científico (niveles y estructura del conocimiento científico);

Conocimiento científico (estructura del conocimiento científico, criterios para el conocimiento científico, construcción formal de sistemas de conocimiento científico);

Tipología del conocimiento científico;

Discurso científico (lenguaje objetivo de la ciencia y metalenguaje, discurso formalizado e informal, fundamental y aplicado);

Teoría científica (principios y estructura de la construcción de teorías científicas, funciones, tipología);

Buscar los fundamentos de ciencias específicas.

Debido a la especificidad de la ciencia de la lógica, que estudia las formas universales, las leyes del pensamiento racional-lógico abstracto, los métodos para construir sistemas de conocimiento y formalizar el conocimiento, se convierte en un método de pensamiento científico. Este pensamiento se basa en los principios de racionalidad, formulados por primera vez por Aristóteles. Dichos principios del pensamiento racional incluyen: precisión, falta de ambigüedad en la expresión de los pensamientos, coherencia, coherencia en el razonamiento, validez, rigor y corrección de la derivación del conocimiento, prueba de las declaraciones de verdad. En la ciencia de la lógica, se ha desarrollado un procedimiento para la implementación de estos principios del pensamiento racional: la formulación de reglas para llevar a cabo operaciones lógicas de acuerdo con estos principios, métodos para fundamentar y probar el conocimiento y probar su verdad.

A partir de estos principios se produce el proceso del conocimiento científico, el proceso de búsqueda de la verdad, cuyo resultado es el conocimiento científico.

En el contexto histórico de las oraciones, determine cómo uno u otro tipo de lógica (sistema lógico de conocimiento) desempeñó una función metodológica en el conocimiento científico. En el marco de la lógica tradicional, generalizó y sistematizó el conocimiento sobre las peculiaridades del pensamiento racional-lógico abstracto y desarrolló una teoría de la inferencia lógica del conocimiento (la silogística de Aristóteles), que luego fue interpretada como una teoría de la inferencia del conocimiento. en ciencia. En el marco de la misma lógica, se desarrollaron la lógica deductiva de Descartes y la lógica inductiva de F. Bacon: la lógica del conocimiento científico y el descubrimiento científico.

G. Descartes interpretó la deducción (lógica deductiva) como un método de conocimiento científico. su esencia radica en la estricta derivación de nuevas disposiciones a partir de determinadas disposiciones iniciales (axiomas, principios, postulados), y si las disposiciones iniciales son verdaderas, entonces la posición deducida también lo es. El método deductivo ha sido brillantemente confirmado en matemáticas. Las matemáticas son una ciencia deductiva, donde el método principal para obtener verdades matemáticas es la inferencia lógica más que el experimento. El criterio para la verdad de las consideraciones matemáticas es su impecabilidad lógica, el cumplimiento exacto de las reglas de la lógica formal en todas las etapas de las consideraciones (Ya. Khromoy).

Las posibilidades del método deductivo en las ciencias naturales, técnicas y otras en el nivel actual de desarrollo del conocimiento científico se determinan sobre la base de un análisis metacientífico y metalógico de la metodología de la investigación científica.

En las ciencias naturales, el conocimiento se obtiene a partir de observaciones y experimentos. Aquí surgió históricamente en primer plano la inducción científica, cuyos principios fueron formulados por F. Bacon.

La esencia de la inducción científica:

Observar los objetos que se están estudiando y realizar experimentos (crear una situación artificial para estudiar las propiedades de ciertos objetos que no se pueden estudiar en condiciones naturales);

Basándose en observaciones y experimentos, recopilar tantos hechos (datos fácticos) como sea posible sobre el objeto de estudio;

Resumir y sistematizar hechos;

Determinar los fenómenos y procesos generales, esenciales, recurrentes y derivar la ley;

Crear una teoría para explicar aquellos objetos (objetos, fenómenos, procesos) que se están estudiando y predecir su desarrollo posterior.

Por ejemplo, basándose en investigaciones empíricas sobre fenómenos naturales como vibraciones de ondas, sonidos, luz, mareas marinas, etc., los físicos formularon una posición teórica general: "Cualquier fenómeno que tenga una naturaleza periódica puede medirse". Basado en la observación empírica del movimiento de los planetas y la generalización teórica de los datos fácticos obtenidos. Kepler (1571-1630) formuló las leyes del movimiento planetario.

F. Bacon también interpretó la inducción científica (lógica inductiva) como un método de conocimiento científico de las relaciones de causa y efecto y un método de descubrimiento científico. Entonces, definamos qué es una relación de causa y efecto.

Una causa es algo (objeto, fenómeno, evento) que naturalmente conlleva la ocurrencia de otra cosa (objeto, fenómeno, evento), que es su consecuencia. Formalmente, A es la causa de B. Por ejemplo, los físicos que estudian el Universo (el sistema de galaxias) han descubierto el fenómeno del "agujero negro" (ya lo hemos mencionado), un cuerpo cósmico cuyo campo gravitacional es tan fuerte. que absorbe cualquier otro cuerpo cósmico. Una definición clara de la relación causa-efecto de este fenómeno: si el campo gravitacional de un determinado cuerpo cósmico es muy grande (A), entonces es capaz de absorber cualquier otro cuerpo cósmico (B).

Las relaciones de causa y efecto son universales. En consecuencia, se puede argumentar que cualquier fenómeno o evento identificado en el proceso de observaciones y experimentos en el mundo natural o social tiene su propia causa.

En ciencia, se han desarrollado métodos especiales para establecer relaciones de causa y efecto. La descripción y clasificación de estos métodos fueron realizadas por primera vez por los filósofos y lógicos ingleses F. Bacon y J. Mill. Estos métodos incluyen:

1. Método de similitud única, basado en el principio: si dos o más casos del fenómeno en estudio (a menudo son notablemente diferentes entre sí) son similares en una sola circunstancia, entonces es probable que sea la causa de este fenómeno. Este método tiene otro nombre: "el método de encontrar similares en diferentes".

Esquema para sacar una conclusión basada en este método:

2. El método de diferencia simple se basa en la comparación de dos o más casos cuando el fenómeno en estudio ocurre en un caso y no en el otro, y si, por lo tanto, el segundo caso difiere del primero en una sola circunstancia, entonces Probablemente será la causa de este fenómeno.

El método de diferencia única tiene otro nombre: "el método para encontrar la diferencia en cosas similares". Esquema para sacar una conclusión basada en este método:

3. El método combinado de semejanza y diferencia, basado en el principio de encontrar similares en diferentes y diferencias en similares. Esquema para sacar una conclusión basada en este método:

4. El método de acompañar los cambios se basa en el principio: si un determinado fenómeno a cambia cada vez con un cambio en el fenómeno C que lo precede, entonces estos fenómenos están en una relación causal. Esquema para sacar una conclusión basada en este método:

5. El método residual se basa en el principio: si se sabe que la causa del fenómeno en estudio no son las circunstancias necesarias para ello, salvo una, entonces esta circunstancia probablemente sea la causa del fenómeno mencionado. La aplicación de este método está asociada al establecimiento de la causa que determina una determinada parte de un fenómeno complejo, siempre que ya se conozcan las razones que determinan otras partes de dicho fenómeno. Esquema para sacar una conclusión basada en este método:

La lógica inductiva ha desempeñado un papel importante en el conocimiento científico, sin perder su importancia en la etapa actual de desarrollo de la ciencia.

La lógica deductiva en la etapa actual se interpreta como la lógica de las ciencias matemáticas, y la lógica inductiva (en el contexto de la lógica probabilística moderna) se interpreta como la lógica de las ciencias naturales, sociales y "conductuales", cuando los datos fácticos se recopilan sobre la base. de observaciones y experimentos científicos. Los investigadores, al analizar datos fácticos, hacen generalizaciones teóricas y derivan ciertos patrones empíricos.

La lógica simbólica (matemática) ha adquirido especial importancia en ciencias específicas como método para formalizar el conocimiento científico y como método para crear sistemas de conocimiento formal de acuerdo con los principios de construcción de dichos sistemas (ver 4.1). En cada ciencia específica se determinan las posibilidades de formalizar el conocimiento científico, es decir, su plasmación en el lenguaje de la lógica simbólica y la construcción de sistemas formales.

En la etapa actual, la función metodológica de la ciencia de la lógica en el campo de ciencias específicas se implementa en las siguientes direcciones:

Análisis lógico de sistemas de conocimiento científico utilizando métodos de lógica simbólica moderna;

Análisis lógico del lenguaje científico, a partir del cual se formulan los términos de la ciencia moderna "objeto empírico", "objeto abstracto", "ley científica", "hecho científico", "problema científico", "hipótesis", "teoría", " verdad", "falso", "verificado", "falsificado", etc.;

Explicación lógica de los paradigmas y principios originales de la construcción de sistemas de conocimiento en la ciencia;

Construcción de modelos formales en diversas ciencias mediante el método de formalización;

Desarrollo de criterios lógicos para la verdad del conocimiento científico;

Justificación de los fundamentos de ciencias específicas;

Un medio para obtener nuevos conocimientos en ciencia;

Un medio de descubrimiento científico.

Con el surgimiento de una multiplicidad de teorías lógicas modernas, que se resume en el concepto de “lógica no clásica”, se está redefiniendo su función metodológica. La aplicación de una determinada teoría lógica en un campo específico de la ciencia se interpreta como su interpretación.

La interpretación (latín - explicación, presentación) es un modelo lógico-semántico que se crea con el objetivo de revelar el significado de los símbolos de un lenguaje formalizado (cálculo lógico). La interpretación de una determinada teoría lógica en el campo de la ciencia significa construir un modelo lógico-semántico adecuado con el fin de representar simbólicamente el conocimiento sobre el objeto que se estudia y dotar a este conocimiento de un verdadero significado por medios lógicos. Ejemplos de tal interpretación son la construcción de la lógica trivalente de Reichenbach en la física cuántica y la lógica trivalente de Brouwer-Heyting en matemáticas.

En el proceso de interpretación de una teoría lógica particular en el campo de ciencias específicas, vale la pena determinar las capacidades de la lógica misma como método de cognición, método de descubrimiento científico y método para construir sistemas formales de conocimiento. La determinación de estas posibilidades está asociada a los siguientes factores objetivos en el desarrollo de la ciencia moderna:

1. Se ha vuelto más clara y expresiva la metodología de la investigación científica en el campo de las ciencias naturales, humanas, técnicas, así como de las ciencias que no encajan en este esquema tradicional de división de las ciencias. Así surgieron ciencias que fueron llamadas "conductuales" y "límites"; surgieron nuevas ciencias: la informática, la teoría de la inteligencia artificial, la semiótica, etc. Por ejemplo, las ciencias de la naturaleza y las ciencias de la sociedad, el hombre, los artefactos culturales y otras necesitan una metodología de investigación única y una lógica especial para describir y construir un modelo de conocimiento sobre los objetos que estudian. Es aconsejable determinar las posibilidades del método deductivo de cognición en las ciencias del comportamiento y las ciencias sociales. La lógica más probable también puede considerarse como una metodología universal para todas las ciencias.

En el campo de las humanidades y las ciencias humanas, es posible interpretar lógicas intensionales: la lógica del significado, la lógica de la comprensión, la lógica de la cognición simbólica. La formación de tales lógicas es una nueva etapa en el desarrollo de la lógica moderna no clásica.

2. La tendencia a la integración de las ciencias, el surgimiento de nuevas ciencias sintéticas, es decir, ciencias que se forman en la frontera de la investigación científica específica. Para ellos, el objeto de la investigación puede ser el mismo y los métodos de investigación pueden ser específicos de cada ciencia. Ejemplos de tales ciencias integradoras: ecología, bioquímica, psicogenética, heurística, etc. Los métodos lógicos en este aspecto parecen ser necesarios, pero no los únicos, ni los métodos universales de cognición.

El surgimiento de las ciencias sintéticas, que forman nuevos tipos y tipos de conocimiento, requiere un cambio en el paradigma analítico de la propia ciencia de la lógica, la creación de tal paradigma para que el sistema lógico construido sobre su base sea interpretado en el campo de la ciencias sintéticas.

3. Los últimos descubrimientos en el campo de la física, la cosmología, la biología, la genética, el surgimiento de la nanotecnología a finales del siglo XX y principios del XXI. Requieren la construcción de un nuevo tipo de conocimiento científico, cuyo análisis mediante métodos lógicos conducirá a la necesidad de crear un nuevo tipo de lógica.

Lógica: un libro de texto para facultades de derecho Demidov I. V.

§ 2. La materia de la ciencia de la lógica.

§ 2. La materia de la ciencia de la lógica.

El principal tipo de pensamiento es conceptual (o lógico abstracto). Esto es lo que explora la lógica. Pensamiento abstracto- este es el proceso de reflexión racional del mundo objetivo en conceptos, juicios, conclusiones, hipótesis, teorías, que permite penetrar en la esencia, en las conexiones naturales de la realidad y transformarla creativamente, primero en teoría y luego en la práctica.

Como sabes, todos los objetos, fenómenos y procesos tienen tanto contenido como forma. Nuestros pensamientos no son una excepción a esta regla. El contenido del pensamiento humano es infinitamente diverso: podemos pensar y hablar de política y arte, de amor y odio, de reforma del sistema político y del sentido de la vida. Al mismo tiempo, es bastante obvio que, en términos de contenido, el pensamiento de un matemático difiere del pensamiento de un abogado, piensa en algo completamente diferente al de un constructor; Y el científico utiliza en su razonamiento conceptos y términos que, por regla general, no se utilizan en el pensamiento y el lenguaje cotidianos.

En este sentido, la actividad de un abogado, por ejemplo, está asociada al pensamiento de carácter jurídico. El pensamiento jurídico, sin importar en qué áreas se manifieste: en la elaboración de normas, en las actividades de investigación, en la práctica judicial, en teoría, en el trabajo de asesoramiento jurídico, tiene una serie de características generales estables. La base para distinguir el pensamiento jurídico como un tipo separado es la independencia del derecho como realidad social. El pensamiento jurídico no sólo refleja los fenómenos jurídicos y, a través de ellos, todos los tipos principales de relaciones humanas, sino que también construye una imagen única de la existencia social. La coherencia de esta imagen también está asegurada por medios lógicos.

En pensamientos que tienen diferentes contenidos, puedes encontrar algo esencialmente común. Se caracteriza no por el contenido específico de estos pensamientos, sino por su tipicidad, patrón y método de construcción. Al mismo tiempo, toda la diversidad de contenidos cabe en un número relativamente pequeño de formas mentales. El hecho es que la estructura lógica del pensamiento humano tiene una propiedad muy importante: no importa qué capa verbal adopten nuestros pensamientos, no importa en qué lenguaje se expresen, necesariamente deben tomar formas universales. Sin esto, es imposible el intercambio de pensamientos entre personas de diferentes generaciones y profesiones, así como el entendimiento mutuo entre representantes de países y pueblos.

Nuestro conocimiento de la forma es bastante diverso. Hablan, por ejemplo, de la forma de llevar un registro de los interrogatorios. Distinguimos entre una forma de gobierno, una forma de estructura territorial-estatal y una forma de régimen político, que en conjunto constituyen la forma de un Estado. La forma de Estado es una forma de organizar el poder estatal, el orden de formación de los órganos estatales, su estructura y relaciones en un solo mecanismo. En los ejemplos dados, la forma refleja así la forma en que se conectan las partes del contenido.

La forma lógica también se entiende de diversas formas. Nuestros pensamientos se componen de ciertas partes significativas. La forma en que están conectados representa la forma de pensamiento.

Así, varios objetos se reflejan en el pensamiento abstracto de la misma manera: como una determinada conexión de sus características esenciales, es decir, en forma de concepto. La forma de los juicios refleja las relaciones entre los objetos y sus propiedades. Los cambios en las propiedades de los objetos y las relaciones entre ellos se reflejan en forma de inferencias. En consecuencia, cada una de las principales formas de pensamiento abstracto tiene algo en común que no depende del contenido específico de los pensamientos, a saber: la forma de conectar los elementos del pensamiento: características en un concepto, conceptos en un juicio y juicios en una inferencia. . El contenido de los pensamientos determinado por estas conexiones no existe por sí solo, sino en determinadas formas lógicas: conceptos, juicios y conclusiones, cada uno de los cuales tiene su propia estructura específica.

Tomemos, por ejemplo, dos afirmaciones: "Algunos abogados son profesores" y "Algunos actos socialmente peligrosos son delitos contra la propiedad personal de los ciudadanos". Reemplacemos todos sus componentes significativos con símbolos. Digamos que lo que pensamos es la letra latina S, y lo que pensamos sobre S es la letra latina P. Como resultado, en ambos casos obtenemos los mismos elementos de pensamiento: "Algunas S son P". Ésta es la forma lógica de las sentencias anteriores. Se obtiene como resultado de la abstracción de un contenido específico.

De este modo, forma lógica(o una forma de pensamiento abstracto) es una forma de conectar los elementos del pensamiento, su estructura, gracias a la cual el contenido existe y refleja la realidad.

En el proceso real del pensamiento, el contenido y la forma del pensamiento existen en una unidad inextricable. No hay contenido puro y sin forma, ni formas lógicas puras y sin contenido. Por ejemplo, la forma lógica anterior de la proposición “Algunos S son P” todavía tiene cierto contenido. De él aprendemos que cada objeto de pensamiento, denotado por la letra S, tiene una característica, denotada por la letra P. Además, la palabra "algunos" muestra que la característica P pertenece sólo a una parte de los elementos que componen el sujeto. de pensamiento. Este es "contenido formal".

Sin embargo, a efectos de un análisis especial, podemos abstraernos del contenido específico de un pensamiento, haciendo de su forma el tema de estudio. El estudio de las formas lógicas, independientemente de su contenido específico, es la tarea más importante de la ciencia de la lógica. De ahí su nombre: formal.

Hay que tener en cuenta que la lógica formal, al estudiar las formas de pensamiento, no ignora su contenido. Los formularios, como ya se ha cancelado, están llenos de contenido específico y están asociados con un área temática muy específica y específica. Fuera de este contenido específico, la forma no puede existir y por sí misma no determina nada desde un punto de vista práctico. La forma siempre es significativa y el contenido siempre está formalizado. La distinción entre su verdad y su corrección está relacionada con estos aspectos del pensamiento. La verdad se refiere al contenido de los pensamientos y la corrección se refiere a su forma.

Considerando la verdad del pensamiento, la lógica formal (bivalente) parte del hecho de que la verdad se entiende como el contenido del pensamiento que corresponde a la realidad misma. El concepto de “verdad” en el ámbito jurídico está estrechamente relacionado con el concepto de “verdad” (“¡Me comprometo a decir la verdad y sólo la verdad!”). Veraz no sólo es verdad, sino también correcto, honesto, justo. Si el pensamiento en su contenido no se corresponde con la realidad, entonces es falso. Desde aquí verdad del pensamiento- ésta es su propiedad fundamental, manifestada en la capacidad de reproducir la realidad tal como es, de corresponderle en su contenido. A falsedad- la propiedad del pensamiento de distorsionar este contenido, de pervertirlo.

En el ámbito jurídico, distinguir entre tipos de falsedad, por ejemplo, “desinformación”, “conceptos erróneos” y “calumnias”, es de gran importancia práctica. La desinformación es la transmisión de conocimiento (objetivamente) falso como verdadero o de conocimiento (objetivamente) verdadero como falso. Un concepto erróneo es una discrepancia involuntaria entre juicios o conceptos y el objeto. La calumnia es la difusión de información deliberadamente falsa que desacredita el honor y la dignidad de otra persona o socava su reputación. Ocultar la verdad también es un tipo de falsedad. Es por eso que la ley determina el alcance de la responsabilidad de una persona por construcciones mentales falsas deliberadas, porque una mentira es social, no está relacionada con el objeto de conocimiento.

Otra característica importante del pensamiento es su corrección. Pensamiento correcto- ésta es su propiedad fundamental, que también se manifiesta en relación con la realidad. Significa la capacidad del pensamiento para reproducir la estructura objetiva del ser en la estructura del pensamiento, para corresponder a las relaciones reales de los objetos y fenómenos. Por el contrario, el pensamiento incorrecto significa su capacidad de distorsionar las conexiones estructurales y las relaciones del ser.

La lógica formal se abstrae del contenido específico de los pensamientos y no del contenido en general. Por tanto, tiene en cuenta la verdad o falsedad de las sentencias que se estudian. Sin embargo, ella cambia el centro de gravedad hacia el pensamiento correcto. Además, las propias estructuras lógicas se consideran independientemente de su contenido lógico. Dado que la tarea de la lógica incluye el análisis del pensamiento precisamente correcto, también se le llama lógica con el nombre de esta ciencia. El pensamiento correcto (lógico) tiene las siguientes características esenciales: certeza, coherencia, coherencia y validez.

Certeza- Esta es la propiedad del pensamiento correcto de reproducir en la estructura del pensamiento los signos y relaciones reales de los objetos y fenómenos mismos, su relativa estabilidad. Encuentra su expresión en la precisión y claridad del pensamiento, la ausencia de confusión y confusión en los elementos del pensamiento y en los pensamientos mismos.

Consistencia - la propiedad del pensamiento correcto de evitar contradicciones en la estructura del pensamiento que no existen en la realidad reflejada. Se manifiesta en la inadmisibilidad de las contradicciones lógicas en el razonamiento estricto.

Subsecuencia- la propiedad del pensamiento correcto de reproducir mediante la estructura del pensamiento aquellas conexiones y relaciones estructurales que son inherentes a la realidad misma, la capacidad de seguir la "lógica de las cosas y los eventos". Se revela en la coherencia del pensamiento consigo mismo.

Validez Existe la propiedad del pensamiento correcto de reflejar relaciones objetivas de causa y efecto y relaciones entre objetos y fenómenos del mundo circundante. Se manifiesta al establecer la verdad o falsedad de un pensamiento a partir de otros pensamientos cuya verdad fue previamente establecida.

Los signos esenciales indicados del pensamiento correcto no son arbitrarios. Son el resultado de la interacción humana con el mundo exterior. No pueden identificarse con las propiedades fundamentales de la realidad misma ni separarse de ellas. El pensamiento correcto, que refleja, ante todo, las leyes objetivas del mundo, surge y existe espontáneamente, mucho antes de que surjan reglas. Las reglas lógicas en sí mismas son solo hitos en el camino hacia la comprensión de las características del pensamiento correcto, las leyes que operan en ellos, que son inmensamente más ricas que cualquier conjunto de reglas, incluso el más completo. Pero las reglas se desarrollan sobre la base de estas leyes precisamente para regular la actividad mental posterior, para garantizar conscientemente su corrección.

Por tanto, la corrección lógica del razonamiento está determinada por las leyes del pensamiento abstracto. La violación de los requisitos que de ellos surgen conduce a errores lógicos. Ley del pensamiento- Esta es una conexión de pensamientos necesaria, esencial y estable en el proceso de razonamiento. Estas leyes son las mismas para todas las personas, independientemente de su origen social y nacional. Las leyes lógicas operan independientemente de la voluntad de las personas y no se crean según sus deseos. Son un reflejo de las conexiones entre las cosas en el mundo objetivo. En este caso, una persona no sólo entra en la esfera de acción de una determinada ley lógica, no sólo se somete pasivamente a su influencia reguladora, sino que también desarrolla una actitud consciente hacia los procesos de pensamiento que ocurren objetivamente. El conocimiento de las leyes de la lógica, la determinación de su base objetiva nos permite proponer y formular sus principios. Los principios de la lógica formal, como los principios de cualquier ciencia, representan la unidad de lo objetivo y lo subjetivo. Por un lado, expresan el contenido objetivo de las leyes de la lógica; por otro, actúan como reglas de la actividad mental humana. Es a través de la formulación consciente de principios que las leyes de la lógica se convierten en reguladores de la actividad mental de las personas.

Así, la lógica formal, para ser un medio para descubrir la verdad, debe, a partir del estudio de las estructuras formales del pensamiento abstracto, preservar y tener en cuenta la corrección lógica del razonamiento determinada por leyes lógicas.

¿Qué aspectos del pensamiento abstracto estudia la lógica formal? En primer lugar, considera el pensamiento abstracto como una herramienta para comprender el mundo, como un medio para obtener un conocimiento formalmente verdadero.

En segundo lugar, le interesa la eficacia práctica y la corrección del conocimiento indirecto (inferencial) obtenido a partir de verdades previamente establecidas y verificadas sin recurrir a la experiencia, pero sólo como resultado de tener en cuenta las leyes lógicas formales y aplicar las reglas correspondientes del pensamiento abstracto.

En tercer lugar, el pensamiento abstracto se considera un proceso formal que tiene su propia estructura especial, que difiere de la estructura del contenido objetivamente verdadero del pensamiento.

Es por eso que la lógica formal permite abstraerse del contenido de un objeto y centrar la atención sólo en las formas en las que ocurre tal o cual proceso de pensamiento. Estos aspectos de la interdependencia de la lógica y el pensamiento determinan las características de la lógica formal como ciencia.

Entonces, lógica formal- es la ciencia de las formas y medios de pensamiento generalmente válidos necesarios para el conocimiento racional de la existencia y sus tipos específicos. Las formas de pensamiento generalmente significativas incluyen conceptos, juicios e inferencias. Los medios de pensamiento generalmente válidos son reglas (principios), operaciones lógicas, técnicas y procedimientos, leyes lógicas formales subyacentes, es decir, todo lo que sirve para implementar el pensamiento abstracto correcto.

En consecuencia, el tema de la lógica formal es:

1) formas del proceso de pensamiento: concepto, juicio, inferencia, hipótesis, evidencia, etc.;

2) las leyes a las que está sujeto el pensamiento abstracto en el proceso de conocimiento del mundo objetivo y del pensamiento mismo;

3) métodos para obtener nuevos conocimientos inferenciales: similitudes, diferencias, cambios que los acompañan, residuos, etc.;

4) formas de probar la verdad o falsedad del conocimiento adquirido: confirmación directa o indirecta, refutación, etc.

Así, la lógica en la comprensión más amplia de su tema explora la estructura del pensamiento abstracto y revela los patrones subyacentes. Sin embargo, el pensamiento abstracto, generalizado, que refleja indirecta y activamente la realidad, está indisolublemente ligado al lenguaje. Las expresiones lingüísticas son aquella realidad, cuya estructura y método de uso nos da conocimiento no solo sobre el contenido de los pensamientos, sino también sobre su forma, sobre las leyes del pensamiento. Por tanto, la lógica ve una de sus principales tareas en el estudio de las expresiones lingüísticas y las relaciones entre ellas.

CONFERENCIA No. 4 Tema de la lógica 1. Sensación, percepción y representación como formas de conocimiento del mundo circundante El tema de la lógica es entendido de manera diferente por diferentes científicos. Algunos señalan (2) como tema de discusión, otros se adhieren a una interpretación más amplia y

1. Planteamiento de la cuestión: la lógica del sujeto y el sujeto de la lógica Como ciencia que coincide con la lógica y la teoría del conocimiento, la dialéctica examina la cuestión de la relación del pensamiento con el ser no sólo desde el lado del contenido, sino también desde el lado de la forma, desde el punto de vista de la coincidencia de formas

Capítulo II. Materia de la ciencia 1. Unidad de los diversos. Empírico y teórico El conocimiento científico-teórico no se reduce a un simple registro de lo que se da en la contemplación directa. Representa una actividad activa consistente en el procesamiento de datos.

1. La materia de la filosofía de la ciencia Se suele llamar filosofía de la ciencia a la rama de la filosofía analítica que estudia la ciencia y afirma la validez científica de sus conclusiones. No es ningún secreto que la vida de una persona moderna está relacionada en gran medida con ella.