La lógica formal es el estudio de argumentos racionales de forma estrictamente organizada y esquematizada. Tiene como objetivo mejorar el razonamiento mediante el análisis de relaciones abstractas entre ideas. No debe confundirse con la lógica matemática, que es un tipo de lógica formal. La lógica se aplica en diferentes contextos y ha modificado nuestra comprensión del universo.

1. INDAGAR ACERCA DE:
Lógica formal:estudio de argumentos racionales en forma estrictamente esquematizada y organizada. Parte de
la base que uno razona bien e intenta mejorar a niveles superiores el razonamiento. Forma relaciones altamente
abstractas entre las ideas. Esta lógica, la formal, no debe ser confundida con la lógica matemática o simbólica,
la cual es sólo un tipo de lógica que se encuentra dentro del campo de la lógica formal.
La existencia de una gran cantidad de concepciones distintas de la lógica implica que ésta no es estudiada en
el vacío, sino que es usada en un contexto. Es decir, que puede ser usada por las otras ciencias. Esto no es
menor, ya que nos significó una modificación increíble de nuestra manera de mirar el universo y el mundo:
Pasamos de creer en teoría de los cuatro elementos y en que el mundo era plano, a creer en las teorías de
relatividad general y de mecánica cuántica.
*Lógica: dotado de razón, intelectual, dialéctico, argumentativo», que a su vez viene de λόγος (logos), «palabra,
pensamiento, idea, argumento, razón o principio». El objeto de estudio de la lógica es la inferencia. La inferencia
es el proceso por el cual se derivan conclusiones a partir de premisas.La lógica investiga los principios por los
cuales algunas inferencias son aceptables, y otras no. Cuando una inferencia es aceptable, lo es por su
estructura lógica, y no por el contenido específico del argumento o el lenguaje utilizado. Por esta razón la lógica
se considera una ciencia formal, como la matemática, en vez de una ciencia empírica.
Falacias informales[editar]
Son razonamientos no válidos que pueden parecer ciertos. En este caso las estudia la lógica informal y podemos
distinguir varios tipos:
TIPOS EXPLICACIÓN EJEMPLOS
Falacia ad
verecundiam
Defiende una teoría debido a que ha sido dada
por algún personaje famoso en el tema.
"Los filósofos de la Antigüedad Clásica
afirman que la Tierra está quieta. Por lo
tanto la Tierra está quieta"
Falacia ad
hominem
Se intenta rebatir una afirmación/negación
debido a que se está en contra de la persona.
"Tú no eres mi amigo así que debes estar
mintiéndome."
Falacia ad populum
Se llega a una conclusión apelando los
sentimientos, emociones o prejuicios.
"Estoy en contra de los inmigrantes
porque nos quitan el trabajo."
Falacia ad
ignoratiam
Es defender algo que es totalmente erróneo por
el simple hecho de carecer de respuestas.
"Como nadie ha visto a Dios, no existe."
Falacia ad baculum
o al garrote
Se presiona a alguien mediante amenazas o
coacciones para aceptar un razonamiento.
"Si haces eso así, suspenderás."
Falacia semántica Expresa una confusión de términos lingüísticos.
"Si un gato se usa para levantar un
coche, traeré a mi mascota para que lo
haga."
Falacia circular
Se llega a una conclusión mediante una
respuesta inválida.
"La Tierra se mueve porque no está
quieta."
Generalización
indebida
El razonamiento es incierto debido a su escasez
de ejemplos o estudios.
"Todos los seres vivos que viven bajo el
mar son peces"
Falsa causa
Es una de las más notables y es que se
corresponde a aquella respuesta que no es
admitida de forma coherente.
"Tengo mala suerte porque rompí un
espejo"
Razonamiento:Acción de pensar o relacionar ideas, pensamientos o razones como medio de conocimiento. La
facultad que permite resolver problemas, extraer conclusiones y aprender de manera consciente de los hechos,
estableciendo conexiones causales y lógicas necesarias entre ellos. En sentido más restringido se puede hablar
de diferentes tipos de razonamiento:
El razonamiento argumentativo en tanto actividad mental se corresponde con la actividad lingüística de
argumentar. En otras palabras, un argumento es la expresión lingüística de un razonamiento.
El razonamiento lógico o causal es un proceso de lógica mediante la cual, partiendo de uno o más juicios,
se deriva la validez, la posibilidad o la falsedad de otro juicio distinto. El estudio de los argumentos
corresponde a la lógica, de modo que a ella también le corresponde indirectamente el estudio del
razonamiento. Por lo general, los juicios en que se basa un razonamiento expresan conocimientos ya
adquiridos o, por lo menos, postulados como hipótesis.1 Es posible distinguir entre varios tipos de
razonamiento lógico. Por ejemplo el razonamiento deductivo(estrictamente lógico), el razonamiento

2. inductivo (donde interviene la probabilidad y la formulación de conjeturas) y razonamiento abductivo,
entre otros.
Tesis: Establecimiento, proposición, colocación', aquí en el sentido de «lo propuesto, lo afirmado, lo que se
propone»; originalmente de tithenai, 'archivar') es el inicio de un texto argumentativo, una afirmación cuya
veracidad ha sido argumentada, demostrada o justificada de alguna manera. Generalmente enuncia una
proposición científica, un axioma o un hecho demostrable.
Derivada del método científico, una tesis es la aseveración concreta de una idea que, de manera
fundamentada, se expone públicamente. También puede llamársele teoría científica toda vez que un sustento
teórico puede ser considerado como parte del conocimiento establecido. Normalmente en un texto
argumentativo es la opinión que tiene el articulista sobre el tema del que está hablando. Después de eso el
articulista defiende su tesis con argumentos.
Es la idea, propuesta por Hegel originalmente, de que el pensamiento procede sintetisando dos tesis opuestas.
Según Hegel cuando pensamos, consideramos una proposición (tesis), consideramos también su opuesto
(antítesis) y sacamos como conclusión una tercera proposición (la síntesis) con las virtudes de la tesis y la antítesis.
A esto le llamó Hegel lógica dialéctica, porque según él nuestro pensamiento sostiene un diálogo consigo mismo
para sacar conclusiones intermedias
La idea es totalmente absurda y nunca se avanzó gran cosa en el estudio de la lógica dialéctica formal por ser
totalmente incoherente. Habría desaparecido de la historia de la filosofía como una ocurrencia fallida si no fuera
porque Marx y Engels la adoptaron como modelo de su materialismo dialéctico.
Premisas:En un argumento válido, las premisas implican la conclusión, pero esto no es necesario para que una
proposición sea una premisa: lo único relevante es su lugar en el argumento, no su rol.2 Al ser proposiciones, las
premisas siempre afirman o niegan algo y pueden serverdaderas o falsas.
Considérese el siguiente argumento:
1. O es martes o es miércoles.
2. Si es martes, entonces tengo que ir a trabajar.
3. Si es miércoles, tengo que ir a trabajar.
4. Por lo tanto, tengo que ir a trabajar.
En este argumento, las proposiciones 1, 2 y 3 son las premisas, y la proposición 4 es la conclusión. Un argumento
puede tener cualquier número (en general finito) de premisas, incluso 0 (en cuyo caso la conclusión suele ser
un teorema y una verdad lógica).3
1. Todos los hombres tienen el cabello corto.
2. David es hombre.
3. Por lo tanto, David tiene el cabello corto.
Hay razonamientos de una premisa (hubo al menos un testigo o Juan lo vio todo), y razonamientos con más de
una premisa. Así sucede con los silogismos ordinarios de dos premisas: una «premisa mayor» (que contiene el
término mayor, predicado de la conclusión) y una «premisa menor» (que contiene el término menor, que hace
de sujeto en la conclusión). Por ejemplo:
1. Todos los mamíferos son animales de sangre caliente. (Premisa mayor)
2. Todos los humanos son mamíferos. (Premisa menor)
3. Por tanto, todos los humanos son animales de sangre caliente. (Conclusión)
Silogismo: argumento compuesto por tres proposiciones; de ellas, la última es la que se deduce siempre de las
anteriores. El vocablo deriva del concepto latino syllogĭsmus que, a su vez, halla su origen en una palabra griega.
Hay que subrayar que el padre de silogismo es el gran pensador y filósofo griego Aristóteles. Así, este fue el
primero en utilizar dicho término partiendo o estableciendo lo que se conoce con el nombre de juicios
aristotélicos. En concreto, bajo esa denominación se encuentra una serie de términos que se unen y que dan
lugar a la llamada lógica.
Está compuesto por tres proposiciones que incluyen un término medio (el cual es común a la dos premisas y se
descarta en la conclusión) y dos extremos. Uno de los ejemplos más usuales es el siguiente:

3. “Todos los seres humanos son mortales”
“Aristóteles es un ser humano”
“Por lo tanto, Aristóteles es mortal”.
Aristóteles consideraba la lógica como lógica de relación de términos. Los términos se unen o separan en los
juicios. Los juicios aristotélicos son considerados desde el punto de vista de unión o separación de dos términos,
un sujeto y un predicado. Hoy se hablaría de proposición.
La diferencia entre juicio y proposición es importante. La proposición afirma un hecho como un todo, que es o
no es, como contenido lógico del conocimiento. El juicio, en cambio, atribuye un predicado a un sujeto lógico
del conocimiento otorgando a los términos al mismo tiempo una función lingüística de significado (semántica) y
una función formal lógica (sintáctica). Esto tiene su importancia en el concepto mismo del contenido de uno, el
juicio, y la otra, la proposición, especialmente en los casos de negación, como se considera, más adelante, en la
problemática de la lógica silogística.
Hipótesis:Es una idea que puede no ser verdadera, basada en información previa. Su valor reside en la
capacidad para establecer más relaciones entre los hechos y explicar por qué se producen. Normalmente se
plantean primero las razones claras por las que uno cree que algo es posible. Y finalmente ponemos: en
conclusión. Este método se usa en el método científico, para luego comprobar las hipótesis a través de los
experimentos.
Supuestos:Que no es verdadero pero se pretende hacer pasar por cierto.
Suposición es la realización de conjeturas sobre alguna cosa (hechos, causas que los han originado, entre otras),
que se realizan en base a indicios o a analogías frente a hechos o causas similares.
La suposición puede llegar a ser confundida con la hipótesis, que en términos epistemológicos - hipótesis
(método científico)- es un paso posterior: la conclusión provisional que se ha obtenido como consecuencia de la
observación y precede a la experimentación.
Los supuestos previos a un razonamiento son las premisas. Si son en los que se basa toda una ciencia son los
axiomas.
Existe un uso estereotipado del término "supuesto", para indicar la sospecha, o al menos la posibilidad de que lo
que se va a añadir a continuación no sea cierto o sea impropio decirlo; equivalente al uso estereotipado del
término "presunto" como salvaguardia jurídica (presunción).
Se dan datos reales.
Este dato, siempre se da por seguro.
No necesita investigación alguna.
Las consecuencias se derivan de los datos dados.
Dichas consecuencias sólo tienen valor si no hay impedimentos.
Se basa en opiniones y especulaciones.