Lógica natural:

Es aquella que toda persona asimila por la experiencia sensible. Es el

empirismo más primitivo, nace de la razón innata del ser humano y se ejecuta a
modo de prevención. De allí el dicho “el hombre es el único animal que tropieza
dos veces con la misma piedra”. Se presume que si bien las personas son
permeables de reincidir en sus errores, se considera que aprenden de sus
actos y de las consecuencias de los mismos. Luego por lógica natural efectúan
las prevenciones necesarias.

Ejemplos:
1- Si reprobamos un examen sabemos que nos castigaran, entonces nos
preparamos mejor para el próximo examen que tengamos, así no nos
castigan.
2- Una tarde gris vemos al cielo y decimos: hay nubes negras en el cielo
luego va a llover
3- Si un adulto nos dice que nos podemos hacer daño por estar molestado,
dejamos de molestar porque sabemos que por su experiencia él tiene
razón
Lógica científica:
Es la que se sirve de la experiencia emanada de la lógica natural, pero además
le adhiere la razón, generando planteos de todo lo existente. Siguiendo el
famoso dicho anónimo de la piedra, el hombre por lógica natural evitaría pasar
por el camino en el que está la piedra para no tropezarse, pero a su vez
establecerá por medio de la lógica científica porqué esa piedra le genera el
traspié.
Ejemplos:
1- Si- se cambia a - entonces-
¿debería ser?. Como aplicamos experiencia entonces sabemos que es
igual a –
2- Si tenemos 3 naranjas y le sumamos 2 naranjas. Nos da como
resultado 5 naranjas.
3- Si la aguja pequeña del reloj apunta a las 5 y la aguja grande apunta a
las 12. Sabemos que son las 5 en punto
Lógica formal:
Es el contrapunto de la lógica material. Aborda el estudio de la capacidad de
razonamiento desde el aspecto más adecuado y desde las asociaciones, sin
importar si es válido o no. Es una lógica pasiva, en cierto punto, ya que es
reacia a los cuestionamientos.
Ejemplos:
1- La vaca tiene cuatro patas, la vaca es un rumiante, por tanto todos los
rumiantes son cuadrúpedos.
2- Mi gato es negro. El gato de mi vecina es blanco, por lo tanto todos los
gatos son blancos y negros.
3- Los tigres son felinos con rayas. Todos los gatos amarillos con rayas son
felinos. Por lo tanto todos os gatos amarillos con rayas son tigres.
Lógica simbólica:
también llamada lógica de primer orden, es el acto de la creación de un
"lenguaje" artificial para hacer frente a los complejos argumentos lógicos. Es
una de las formas más simples de la lógica, su propósito es ahorrar tiempo en
la argumentación y ayudar a prevenir la confusión, imprecisión y la ambigüedad
de la palabra. Se utiliza en lingüística, filosofía, informática y, sobre todo, en
matemática.
Ejemplos:
1- p=>q: si estudio apruebo matemática
2- q~: no aprove matematica
3- p~: entonces no estudie
La lógica modal:
intenta acercarse más al pensamiento humano y
del lenguaje natural, y lo hace complementando la lógica de
predicados (una cualquiera) con modalidades que indican las condiciones en
las que
es cierta o falsa cada proposición. Por ejemplo, añade palabras
como puede, podría, quizás,
ha de, posiblemente, necesariamente, a
veces, etc.

Pero esto da muchas complicaciones, ya que el lenguaje natural

es muy ambiguo (y a veces lejano a los conceptos en los que
pensamos).
Ejemplos:
1- Veo unas cuantas nubes. Podría estar lloviendo ahí
fuera''
2- El pc va lento. Puede estar infectado con virus.
 3- De no haber sido por el filtro anti-spam tu pc podría haberse
infectado de virus.

La lógica informa:
o lógica no formal, es el estudio de los argumentos naturales y en oposición al
estudio de los argumentos en una forma técnica o artificial (lógica formal). Esta
parte de la lógica se dedica principalmente a diferenciar entre formas correctas
e incorrectas en que se desarrolla el lenguaje y el pensamiento cotidiano, en
especial al estudio de los procesos para obtener conclusiones a partir de
información dada, sin importar su forma lógica. Parte del principio que el
pensamiento y el lenguaje humano es a menudo incorrecto, o tendencioso. Se
le atribuyen sus inicios a Aristóteles, que hizo el primer estudio de las falacias
lógicas, que se encuentran en la vida cotidiana. La disciplina académica
moderna se estableció en América del Norte en la década de 1970.

Ejemplos:
B
1- Todo A es B. A

2- Ningún A es B A B

3- Algún A es B A B

4- Algún A no es B A B

Lógica binaria

La lógica binaria es la que trabaja con variables binarias y operaciones lógicas

del Álgebra de Boole. Así, las variables sólo toman dos valores discretos: V
(verdadero) y F (falso); aunque estos dos valores lógicos también se pueden
denotar como sí y no, o como 1 y 0 respectivamente.

Es la base de los Sistemas Digitales y ello implica también, la base de la

estructura de los computadores.

Ejemplos:

1- 5 2 Binario 101 decimal 5

1 2 2
0 1 2
1 1
 2- 3 2 Binario 11 decimal 3
1 1 2
1 1

3- 10 2 Binario 1010 decima 10

0 5 2
1 2 2
0 1 2
1 1

Lógica tradicional

Es aquella que ha sido cultivada desde Aristóteles a Kant.

Ejemplos.

1- El perro tiene pelo.

2- Las aves vuelan.
3- Los la tortuga tiene caparazón.
4- Kant:
fue parteaguas histórico, no de una filosofía,sino de liberar la
razón de las ataduras metafísicas de lo que el poeta kantiano
Schiller, en versos inmortales escribió: “No está fuera/Ahí lo
busca el loco./Está dentro de ti/Tú lo creas perennemente”.
Beethoven, como creador de música, comprendió mejor sus
creaciones al estudiar a Kant, pues éste plantea no enseñar una
filosofía, sino a filosofar y pensar por uno mismo; lo que explica
en su celebradísimo ensayo: Respuesta a la pregunta: ¿qué es la
ilustración, de su libro Filosofía de la Historia. El libro de esta
reseña apareció en 1800 cuando Kant, biológicamente, ya no
existía (1724-1804). Fue resultado de “anotaciones marginales,
observaciones y desarrollos propios” del texto de Georg Friedric
Meier, Compendio de la doctrina de la razón, con el que Kant
impartió el curso de lógica en la Universidad de Königsberg, ya
habiendo publicado sus tres críticas: la de La Razón Pura (1781);
de La Razón Práctica (1788); y, La Crítica del Juicio (1790).
Lógica temporal
es la lógica momentánea que aplicamos a través de circunstancias del tiempo.

Ejemplos:

1- Me va a gustar el futbol de ahora en adelante.

2- Es posible que me guste el futbol algún día.
3- Siempre es posible que de pronto empiece a tener gusto por el futbol
para el resto de mi vida.

La lógica proposicional:
o lógica de orden cero es un sistema formal cuyos elementos más simples
representan proposiciones, y cuyas constantes lógicas, llamadas conectivas
lógicas, representan operaciones sobre proposiciones, capaces de formar otras
proposiciones de mayor complejidad.

Ejemplos:

1- P: el pentágono tiene cuatro lados - F

2- q: el gato es un felino - V
3- r: la tierra es redonda – V

Lógica de clases:
Se encarga de analizar una proposición lógica en base a la pertenencia o no
pertenencia de un elemento específico o de un individuo particular a una
determinada clase. La lógica de clases sienta sus principios para abordar el
estudio desde la teoría de conjuntos. Se entiende por clase al conjunto de
individuos que tienen en común alguna propiedad particular. La propiedad es la
que define a la clase, y no al individuo. Al analizar el conjunto no es lo mismo
decir “Sócrates era un hombre”, que “Sócrates pertenecía a la clase de los
hombres.

Ejemplos:

1- Sócrates pertenecía a la clase de hombres.

2- El rebaño de ovejas tiene lana.
3- Los cítricos son ácidos.