Entonces, ¿qué es la lógica? En pocas palabras, podríamos definir la lógica como el estudio de los principios del razonamiento correcto. Esta es una definición aproximada, porque cómo se debe definir correctamente la lógica es en realidad un asunto bastante controvertido. Sin embargo, para el propósito de este recorrido, pensamos que sería útil darle al menos una idea aproximada de la materia que estudiará. Así que esto es lo que intentaremos hacer en esta página.
§1., La lógica no es la psicología del razonamiento
una cosa que debe tener en cuenta acerca de esta definición es que la lógica se refiere a los principios del razonamiento correcto. Estudiar los principios correctos del razonamiento no es lo mismo que estudiar la psicología del razonamiento. La lógica es la antigua disciplina, y nos dice cómo debemos razonar si queremos razonar correctamente. Si la gente realmente sigue estas reglas de razonamiento correcto es un asunto empírico, algo que no es la preocupación de la lógica.
La psicología del razonamiento, por otro lado, es una ciencia empírica., Nos habla de los hábitos reales de razonamiento de las personas, incluyendo sus errores. Un psicólogo que estudia el razonamiento podría estar interesado en cómo la capacidad de las personas para razonar varía con la edad. Pero tales hechos empíricos no son de interés para el lógico.
§2. Los principios de la lógica
entonces, ¿cuáles son estos principios de razonamiento que son parte de la lógica? Hay muchos de estos principios, pero lo principal (no lo único) que estudiamos en lógica son los principios que rigen la validez de los argumentos – si ciertas conclusiones se derivan de algunos supuestos dados., Por ejemplo, considere los siguientes tres argumentos:
Estos tres argumentos aquí son obviamente buenos argumentos en el sentido de que sus conclusiones se derivan de las suposiciones. Si las suposiciones del argumento son verdaderas, la conclusión del argumento también debe ser verdadera. Un lógico nos dirá que todos son casos de una forma particular de argumento conocido como «modus ponens»:
Si P, entonces Q. P. Por lo tanto, Q.
volveremos a discutir la validez más adelante. Hay que señalar que la lógica no se limita a la validez de los argumentos., La lógica también estudia la consistencia, y las verdades lógicas, y las propiedades de los sistemas lógicos como la integridad y la solidez. Pero veremos que estos otros conceptos también están muy relacionados con el concepto de validez.
§3. Neutralidad del tema
Modus ponens podría usarse para ilustrar dos características sobre las reglas de reasignación en lógica. La primera característica es su neutralidad temática. Como sugieren los cuatro ejemplos, modus ponensse puede utilizar en el razonamiento sobre diversos temas. Esto es cierto para todos los principios del razonamiento en la lógica., Las leyes de la biología pueden ser verdaderas solo para los seres vivos, y las leyes de la economía solo son aplicables a las colecciones de agentes que intervienen en las transacciones financieras. Pero los principios de la lógica son principios universales que son más generales que la biología y la economía. Esto es en parte lo que está implícito en las siguientes definiciones de lógica por dos lógicos muy famosos:
… el nombre de una disciplina que analiza el significado de los conceptos comunes a todas las ciencias, y establece las leyes generales que rigen los conceptos.,
Para descubrir verdades, es tarea de todas las ciencias; corresponde a la lógica de discernir thelaws de la verdad. … Le doy a la lógica la tarea de descubrir las leyes de la verdad, no de la afirmación o del pensamiento.
§4. Necesidad en la lógica
una segunda característica de los principios de la lógica es que no son contingentes, en el sentido de que no dependen de ninguna característica accidental particular del mundo., La física y las otras ciencias espirituales investigan cómo es el mundo en realidad.Los físicos podrían decirnos que ninguna señal puede viajar más rápido que la velocidad de la luz, pero si las leyes de la física han sido diferentes, entonces esto no habría sido cierto. Del mismo modo, los biólogos podrían estudiar cómo los delfines se comunican entre sí, pero si el curso de la evolución hubiera sido diferente, entonces tal vez los delfines no hubieran existido. Así que las teorías en las ciencias empíricas son contingentes en el sentido de que podrían haber sido de otra manera., Los principios de la lógica, por otro lado, se derivan utilizando solo el razonamiento, y su validez no depende de ninguna característica contingente del mundo.
por ejemplo, la lógica nos dice que cualquier declaración de la forma «IfP then P.» es necesariamente verdadera. Este es un principio de la segunda clase que el estudio lógico. Este principio nos dice que una declaración como» si está lloviendo, entonces está lloviendo » debe ser verdad. Podemos ver fácilmente que este es el caso, ya sea que esté lloviendo o no.,Por otra parte, incluso si las leyes de la física o los patrones climáticos fueron cambiados, esta afirmación seguirá siendo cierta. Así decimos que las verdades científicas (aparte de las matemáticas) son contingentes mientras que las verdades lógicas son necesarias. Una vez más, Esto muestra cómo la lógica es diferente de las ciencias empíricas como la física, la química o la biología.
§5. Lógica Formal e informal
a veces se hace una distinción entre lógica informal y lógica formal.El término «lógica informal» se usa a menudo para significar lo mismo pensamiento crítico., A veces se utiliza para referirse al estudio de las razones y falacias en el contexto de la vida cotidiana. La «lógica Formal» se refiere principalmente a los sistemas formales de lógica. Estos son sistemas especialmente construidos para llevar a cabo pruebas, donde los lenguajes y las reglas del razonamiento se definen con precisión y cuidado. La lógica sentencial (también conocida como «lógica proposicional») y la lógica predicada son ejemplos de sistemas formales de lógica.
Hay muchas razones para estudiar la lógica formal., Una es que formallogic nos ayuda a identificar patrones de buen razonamiento y patrones de mal razonamiento, para que sepamos cuáles seguir y cuáles evitar. Es por esto que estudiar la lógica formal básica puede ayudar a mejorar el pensamiento crítico. Los sistemas formales de lógica también son utilizados por los lingüistas para estudiar las lenguas naturales.Los científicos de la computación también emplean sistemas formales de lógica en la investigación relacionada con la Inteligencia Artificial. Finalmente, muchos filósofos también quieren usar la lógica formal cuando tratan con problemas filosóficos complicados, con el fin de hacer su razonamiento más explícito y preciso.
§6., Otras lecturas
- entradas en logicin The Stanford Encyclopedia of Philosophy. Estos son artículos difíciles sobre la filosofía de la lógica.
- supongamos que descubrimos que las personas razonan mejor cuando no están bajo estrés. ¿Debería contarse esto como un principio de lógica?respuesta
- ¿En qué se diferencia la ciencia de la lógica?respuesta
- ¿En qué se diferencia la matemática de la lógica?respuesta