Logic is the study of reasoning and arguments. Arguments can be defined as a method used to deduce conclusions from a set of premises. To begin with, we should know what is a premise and what is a conclusion.
Premises are the propositions or claims that we use to support the conclusion. The conclusion is the proposition that follows of the premises.
e.g. 1) If I go to the college, then I will pay the tuition
2) I am going to the college
3) Therefore, I have to pay tuition.
Notice that 3) comes from 1) and 2), so 1) and 2) are the premises, 3) is the conclusion.
Logic has two main branches:
a) Formal logic: is the study of the connections used in natural language to link the premises with the conclusion, for example: if....then, and, or, all, some, no... We will call it validity. "Validity" has to do with the structure of an argument, It means how the premises fit together and whether they actually lead to the conclusion. A valid argument is one where if the premises were true, then the conclusion MUST be true.
b) Informal logic: is concerned by the contents of the premises and the conclusion, in this branch we will study the "soundness". It can be defined as an argument that is both, valid and the premises are true
A handsome guy |
Here is an example of valid argument:
2) Hell froze over
3) Therefore I will marry Johny Depp
As you can notice, we don´t need that 1) and 2) are true in order to get a valid argument t. It´s just the fact that if they were true, the conclusion would be also true. So the validity of an argument is independent from the truth or falsity of the premises.
And here you have an example of sound argument:
1) If it rains, then my car will get wet
2) It rains
3) thus, my car will get wet.
In this case, we can imagine that it is really raining, and I parked my car outside , so we can conclude that as the premises are true, the conclusion also will be. This argument is valid and sound.
1) If it rains, then my car will get wet
2) It rains
3) thus, my car will get wet.
In this case, we can imagine that it is really raining, and I parked my car outside , so we can conclude that as the premises are true, the conclusion also will be. This argument is valid and sound.
Veamos que significa esta definición:
Razonar consiste en aplicar el filtro de la
razón a nuestras ideas o creencias para someterlas a una revisión crítica,
nuestra mente es como una cesta en la que caben todo tipo de creencias, desde
las sensatas, como que la tierra es redonda, hasta las más fantásticas, como
que la luna es un queso. Nuestra razón actúa tamizando estas creencias para
aceptar solo aquellas que contengan el menor número de errores. La función de
la lógica es analizar la estructura de nuestros razonamientos para determinar
si están correctamente construidos o no.
Normalmente, cuando razonamos, partimos de
unos datos iniciales o información previa que expresamos por medio de unas
afirmaciones llamadas premisas.
Estas premisas nos conducen a una conclusión.
Diremos que un razonamiento es correcto cuando, partiendo de las premisas (y
con independencia de la verdad o falsedad de las mismas), se llega a una
conclusión que es legítima. Por ejemplo:
1-Todos los
dibujos animados son de Walt Disney
2- Blancanieves es un dibujo animado
3- Por lo tanto,
Blancanieves es de Walt Disney
Another handsome guy |
Cuando las premisas no nos autoricen a
extraer la conclusión, entonces diremos que el argumento es incorrecto.
Analicemos este caso:
1- Todos los
dibujos animados son de Walt Disney
2- Blancanieves es un dibujo animado
3- Por lo tanto, Walt
Disney es un dibujo animado
Ahora bien, supongamos que nos hubieran dado
el siguiente argumento:
1- Todos los
dibujos animados son de Walt Disney
2- Shrek es un dibujo animado
3- Por lo tanto, Shrek
es de Walt Disney
¿Diríamos que este argumento es correcto?
Aunque lo que dice es falso (puesto que Shrek no es de Walt Disney) tendríamos
que concluir que el argumento es correcto. ¿Cómo es esto posible?
Eso es precisamente de lo que se ocupa la lógica.