La lógica es una ciencia formal y una rama de la filosofía que estudia los principios de la demostración e inferencia válida. La palabra deriva del griego antiguo λογική (logike), que significa «dotado de razón, intelectual, dialéctico, argumentativo», que a su vez viene de λόγος (logos), «palabra, pensamiento, idea, argumento, razón o principio».
La lógica examina la validez de los argumentos en términos de su estructura, (estructura lógica), independientemente del contenidoespecífico del discurso y de la lengua utilizada en su expresión y de los estados reales a los que dicho contenido se pueda referir.
Esto es exactamente lo que quiere decir que la lógica es una ciencia «formal».
Tradicionalmente ha sido considerada como una parte de la filosofía. Pero en su desarrollo histórico, a partir del final del siglo XIX, y suformalización simbólica ha mostrado su íntima relación con las matemáticas; de tal forma que algunos la consideran como Lógica matemática.
En el siglo XX la lógica ha pasado a ser principalmente la lógica simbólica. Un cálculo definido por unos símbolos y unas reglas de inferencia.1 Lo que ha permitido un campo de aplicación fundamental en la actualidad: la informática.
Diferentes acepciones del término «lógica» 1.1 Ciencia argumentativa y propedéutica 1.2 Ciencia del pensar 1.3 Ciencia formal1.4 La Lógica informal
1_
Ciencia argumentativa y propedéutica
El término «lógica», se encuentra en los antiguos peripatéticos y estoicos como una teoría de la argumentación o argumento cerrado;6 De este modo la forma argumentativa responde al principio de conocimiento que supone que representa adecuadamente la realidad.7 Por ello, sin perder su condición de formalidad, no son formalistas y no acaban de desprenderse de las estructuras propias del lenguaje.3
2_
Ciencia del pensar
Los filósofos racionalistas, sin embargo, al situar el origen de la reflexión filosófica en la conciencia, aportaron, a través del desarrollo del análisis como método científico delpensar
3_
Ciencia formal
En el último tercio del siglo XIX la Lógica va a encontrar su transformación más profunda de la mano de las investigaciones matemáticas y lógicas, junto con el desarrollo de la investigación de las estructuras profundas del lenguaje, la lingüística, convirtiéndose definitivamente en una ciencia formal 4_
La Lógica informal
En el lenguaje cotidiano, expresiones como «lógica» o «pensamiento lógico», aporta también un sentido alrededor de un «pensamiento lateral» comparado, haciendo los contenidos de la afirmación coherentes con un contexto, bien sea del discurso o de una teoría de laciencia, o simplemente con las creencias o evidencias transmitidas por la tradición cultural.
_
- ¿Diferencias entre psicología y la lógica?
Existe una gran diferencia ya que la psicología corresponde al estudio de sujeto pensante y de los procesos psicológicos reales que ocurren en él, entre los cuales esta también el proceso de pensar. A diferencia de la lógica que se ocupa del pensamiento elaborado y formulado ya que debe estudiar los pensamientos mismos, analizarlos en sus formas, en su estructura, en sus enlaces y demás caracteres que pueden tener, prescindiendo en absoluto del sujeto que pudo haberlos elaborado .. LA LÓGICA SIMBÓLICA
A) Conectores, funciones de verdad y tablas de la verdad
La lógica tiene como objetivo determinar si los enunciados son verdaderos o falsos. Para ello existen varios principios y tablas de la verdad:-Principio de bivalencia: dice que todo enunciado o es verdadero o es falso, pero no ambas cosas a la vez. Entonces un enunciado tendrá que ser verdadero o falso.
Tablas de la verdad
Cada conector está definido por una tabla de la verdad y le corresponde una función:
-Negación
-Conjunción
-Disyunción
-Condicional
-BicondicionalB) Lógica de enunciados, calculo de juntores
1. Deducción
Argumento deductivoHay argumentos deductivos y argumentos inductivos, aunque este tópico de esta separación de argumentos no es del todo acertado, en los argumentos deductivos se va de lo general a lo particular, y en los enunciados inductivos es al contrario, de lo particular a lo general.
Pero entre los filósofos no hay unanimidad ni un acuerdo concreto de si existen estos dostipos de argumentos.
Hay dos tipos de deducción, directa e indirecta. Las directas son las cuales en las que las premisas llevan la conclusión de un modo directo y positivo. La indirecta se da cuando los intentos de obtener una conclusión directa no dan resultado, entonces se dan como un rodeo, así:
1º) Suponer de antemano que la conclusión que se desea probar es falsa.
2º) Obtener una contradicción a partir de lo que hemos supuesto anteriormente.
3º) No aceptar o rechazar lo que hemos supuesto, al ver el resultado.
4º) y, como consecuencia de esto último, afirmar ya la conclusión deseada.
Formulación de argumentos. Deductor. Reglas de Inferencia
El modo tradicional para exponer los argumentos consiste en ver primero las premisas y luego la conclusión a la que se desea llegar, ligada a ellas por partículas como: “luego”, “por tanto”, “por consiguiente”, etc. Por ejemplo:
Si suben los salarios, entonces suben los precios;
Si suben los precios, entonces baja el poder adquisitivo de la moneda.
Es así que suben los salarios.
Luego baja el poder adquisitivo de la moneda.
Esto, de una primera forma, se podría representar así:
p q
q r
p
Luego r
Pero los símbolos lógicos representan una palabra o frase, algunos de ellos son:
P, q, r, s, t,… = son letras que representan las frases o palabras de las que están compuestas las premisas y la conclusión.
= éste símbolo significa “si…..entonces”
= éste símbolo significa “y”
V = éste símbolo significa “o”
= éste símbolo significa “si sólo si”
= éste símbolo significa “luego..”
Éstos son los símbolos que más adelante nos encontraremos en complicadas deduccionesen las que, a partir de unas premisas dadas, y de una conclusión también dada, habrá que determinar paso a paso la conclusión.
La lógica deductiva estudia y formula de una manera explícita y rigurosa las reglas de las operaciones deductivas. Estas reglas se llaman, reglas de inferencia.
La primera regla deductiva, desde los estoicos, es la del “modus ponems”:
“si de una hipótesis se sigue una consecuencia y esa hipótesis se da, entonces necesariamente, se da la consecuencia”.
Para formular una regla de inferencia se usan variables de fórmulas y símbolos lógicos. Y el resultado se expresa tras una línea horizontal. Por ejemplo, la representación del modus ponems:
A B
A
B
El resultado de una deducción supone las premisas y también las reglas de inferencia, o sea, que tanto las premisas como las reglas de inferencia son supuestos de la deducción.
Las premisas que nos dan son cosas que nos suponemos que son verdad, pero justificar su veracidad es algo que no entra dentro de la lógica formal. Pero hay otro tipo de supuestos, que son provisionales, que sirven provisionalmente de apoyo durante la deducción, pero que están hasta el final de la deducción.
Una deducción que parte de supuestos iniciales (no subsidiarios), es una deducción hipotética, y una deducción axiomática es la que tiene premisas, que se apoya en supuestos privilegiados, los axiomas. Una deducción axiomática es una demostración.
El cálculo lógico
Es un conjunto de reglas ordenado de manera sistemática.Las operaciones de deducción se efectúan con un conjunto de símbolos y reglas para formar fórmulas, al que se añaden los sistemas de las reglas de inferencia.
No hay comentarios:
Publicar un comentario