La Lgica Formal

La lgica formal es la parte de la lgica que, a diferencia de la lgica

informal, se dedica al estudio de la inferencia mediante la construccin
de lenguajes formales, sistemas deductivos y semnticas formales. La idea
es que estas construcciones capturen las caractersticas esenciales de las
inferencias vlidas en los lenguajes, pero que al ser estructuras formales y
susceptibles
de
anlisis
matemtico,
permiten
realizar demostraciones rigurosas sobre ellas.
La lgica formal no debe ser confundida con la lgica matemtica, antes
llamada lgica simblica, que es una su disciplina de la lgica formal

Lgica de enunciados

Lgica de
predicados

Lgica de clases

Estudia la validez de los

razonamientos teniendo

Analiza la

en cuenta nicamente el

estructura

valor de verdad

interna de los

(verdadero o falso) de

enunciados

cada enunciado tomando

atribuyendo

los enunciados en

una propiedad

bloque sin analizarlos

al sujeto.

previamente.

Lgica de
relaciones

Incorpora a su
Al contrario de la

lenguaje los

lgica de

elementos,

predicados, esta

smbolos y

atribuye individuos

reglas que son

y clases a las

necesarios para

caractersticas.

expresar un
enunciado.

LOGICA FORMAL: la podemos definir como la disciplina filosfica que tiene

como objeto de estudio los principios y mtodos que se emplean para
distinguir o diferenciar el razonamiento correcto del incorrecto ya que es
una disciplina muy antigua que naci al amparo de la filosofa (amor a la
sabidura).

Razonamiento
Hemos destacado el carcter formal de la lgica para caracterizarla, sin
embargo tambin hay otras caracterizaciones y definiciones que la
conciben.
Como una disciplina que estudia los mtodos y principios utilizados para
distinguir un razonamiento correcto de uno incorrecto o mal estructurado;
as mismo se le ha considerado como una ciencia que estudia las leyes del
pensamiento y que por lo tanto le confiere legalidad a los pensamientos y
razonamientos.
Por lo tanto, respecto de proposiciones lgicas que utilicen esos conceptos,
las leyes de la lgica formal solamente sern aplicables con especial
precaucin. De tal manera, las leyes de la lgica formal solamente resultarn
aplicables con alcance estricto en el campo de las ciencias puramente
exactas y abstractas, tales como las matemticas, la propia lgica, la
mecnica, y aquellas disciplinas exclusivamente normativas y abstractas
tales como la interpretacin jurdica.
Histricamente la palabra ha ido cambiando de sentido. Comenz siendo
una modelizacin de los razonamientos propuesta por los filsofos griegos
y posteriormente ha evolucionado hacia diversos sistemas formales,
relacionados con la teora matemtica de conjuntos.
Se refiere al 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 lgica, la formal, no debe ser confundida con
la lgica matemtica o simblica, la cual es slo un tipo de lgica que se
encuentra dentro del campo de la clase lgica.
Hay varios sistemas lgicos formales que son capaces de formalizar
cualquier razonamiento vlido.

Utilidad de la Lgica

Es la construccin de las teoras cientficas, la lgica tiene varias funciones

importantes las cuales son:
El razonamiento valido, establecido y examinado por la lgica formal, es
utilizado, ya sea para concluir o para derivar conocimientos contenidos
La sistematizacin de las ciencias es posible gracias a la lgica, que
permite el establecimiento de ciertos postulados bsicos relacionados
lgicamente entre s
Con la lgica formal, adems, es posible probar indirectamente ciertos
conocimientos a partir de conocimientos previamente establecidos y
verificados, los cuales sirven de premisas de las que pueden inferirse a los
otros como conclusiones validas
La lgica informal, que pretende no solo examinar la correccin de las
argumentaciones sino ensearnos a argumentar y ser ms racionales
La lgica de investigacin se interesa por la verdad y la manera de
obtenerla y fundamentarla, estudiando la practica cientfica
La finalidad de la lgica formal es analizar las correcciones de los diferentes
argumentos y que estos sean racionales.
La tarea esencial de lgica investigativa tiene como finalidad descubrir la
verdad y la manera de obtenerla, y as mismo fundamentarse. Uno de sus
estudios es la prctica cientfica.
Este arte es anlogo al arte de la gramtica, pues entre el arte de la lgica y
el entendimiento y los inteligibles existe la misma relacin que entre el arte
de la gramtica y la lengua y las palabras: todas las leyes que la ciencia de
la gramtica nos da respecto de las palabras, son anlogas a las que la
ciencia de la lgica nos da respecto de las ideas

Razonamiento Lgico
En un sentido restringido, se llama razonamiento lgico al proceso mental
de realizar una inferencia de una conclusin a partir de un conjunto de
premisas. La conclusin puede no ser una consecuencia lgica de las
premisas y aun as dar lugar a un razonamiento, ya que un mal razonamiento
an es un razonamiento en sentido amplio, no en el sentido de la lgica. Los
El Razonamientos pueden ser vlidos (correctos) o no vlidos (incorrectos)
dando por todo.
En general, se considera vlido un razonamiento cuando sus premisas
ofrecen soporte suficiente a su conclusin. Puede discutirse el significado
de "soporte suficiente", aunque cuando se trata de un razonamiento no
deductivo no podemos hablar de validez sino de "fortaleza" o "debilidad" del
razonamiento dependiendo de la solidez de las premisas, la conclusin
podr ser ms o menos probable pero jams necesaria, solo es aplicable el
trmino "vlido" a razonamientos del tipo deductivo. En el caso del
razonamiento deductivo, el razonamiento es vlido cuando la verdad de las
premisas implica necesariamente la verdad de la conclusin.
Los razonamientos no vlidos que, sin embargo, parecen serlo, se
denominan falacias.
El razonamiento nos permite ampliar nuestros conocimientos sin tener que
apelar a la experiencia. Tambin sirve para justificar o aportar razones en
favor de lo que conocemos o creemos conocer. En algunos casos, como en
las matemticas, el razonamiento nos permite demostrar lo que sabemos.
El trmino razonamiento es el punto de separacin entre el instinto y el
pensamiento, el instinto es la reaccin de cualquier ser vivo. Por otro lado el
razonar nos hace analizar, y desarrollar un criterio propio, el razonar es a su
vez la separacin entre un ser vivo y el hombre.

Anexos

Recomendaciones
(1)- Aplicar la lgica a cualquier cosa de nuestra vida. Si algo no es lgico o
nos chirra demasiado, posiblemente sea falso. Esto sirve tanto para
cualquier cosa que nos digan como las que leamos.
(2)- Revisar nuestra escala de valores propia (la inseguridad ciudadana y el
terrorismo suelen ser valores inculcados por el estado para justificar sus
acciones). Por ejemplo, si la salud est en los primeros lugares y te quitan la
atencin medica y te eliminan medicamentos, eso significa que te estn
quitando lo ms bsico. Toma nota, qudate con sus caras y si puedes,
denuncia.
(3)- Si no tienes otro remedio que ver o leer las noticias, sospecha de todas
y cada una de ellas. Si ves una opinin, no es una noticia. Si ataca a alguien
o a algo, no es una noticia, simplemente interesa a alguien. Si hacen la
pelota a alguien, tampoco es noticia, son favores que se pagan o que se
cobraran. El resto tendrs que confirmarlas en varios medios para ver si
realmente ocurri as (a no ser que todas vengan de la misma fuente).
(4)-Resolver los problemas a conciencia: Creo que es el punto ms
importante. Si no resuelven los problemas a conciencia les quedar ms
difcil entender el tema. La prctica hace al maestro.
(5)-Lo primero de todo, es comprender el problema, asegrate que entiendes
perfectamente cada una de las partes del planteamiento y no dejes atrs
ningn detalle que por insignificante pueda ser la llave de la solucin.
Recopila informacin y si es posible haz preguntas.
(6)-Dale tiempo. No te rindas fcilmente, la satisfaccin ser mayor cuanto
ms esfuerzo le dediques. Si no lo resuelves, djalo para otro momento, o
incluso da. A veces la solucin despus de darle muchas vueltas llega en el
momento ms inesperado.
(7)-Busca analogas e intenta recordar cmo has solucionado otros
problemas similares.
(8)-Antes de dar respuestas sin reflexionar sobre ellas, comprueba que
cumplen cada una de las condiciones que se establecen en el problema. Dar
respuestas impulsivamente no ayudan en nada a resolverlo si no a
entorpecer an ms el proceso reflexivo y genera frustracin por las
continuas respuestas errneas.

Misin
La lgica Tiene como objetivo hablar sobre todos los pensamientos
humanos ya sean personales o propios, o bien que tengan razn ya que era
generalmente empleado como conocimiento o bien razn de cada uno por
lo que en un sentido general lgica significa la relacin que existe entre el
pensamiento, la razn, nos remite a una definicin completa como es la
racionalidad.

Visin
La lgica se toma como punto de referencia de algn tema en particular, la
secuencia lgica ayuda a mantener cierto orden por deduccin,
generalmente utilizados la lgica o sentido comn para movernos y
manejarnos en la vida. Siempre que se piensa, se piensa en algo; el
pensamiento reconoce siempre un objeto al que refiere todos los productos
de la actividad reflexiva. El pensamiento siempre atribuye una caracterstica,
alguna cualidad, alguna carencia o algn defecto, a la cosa sobre la que se
ha pensado.

Objetivos
Estudiar las condiciones normales de la ciencia
tener como enseanza todas las filosofas
Comprender el pensamiento humano
Crear un sentido comn para resolver problemas de manera automtica
Ensea las reglas para que el razonamiento sea el correcto
El estudio de la lgica nos permite como ciencia conocer las leyes, reglas
y procedimientos de nuestro pensamiento o cuales tienen carcter como
objetivo.

Conocer y comprender las nociones bsicas del anlisis lgico del

lenguaje, y en concreto del anlisis mediante sistemas formales.
reflexionar sobre alguno de los problemas filosficos suscitados por el
anlisis lgico.
Conocer algunas de las figuras clave en la historia de la lgica, y su
aportacin al desarrollo de esta disciplina.

Bibliografa

https://es.wikipedia.org/wiki/L%C3%B3gica_formal

https://es.wikipedia.org/wiki/Razonamiento

https://www.google.com.gt/#q=logica+objetivo

http://www.filosofia.org/cla/isl/farabi2.htm

https://es.answers.yahoo.com/question/index?qid=20061205065831AAjw7sL

Conclusiones
Lo que podemos entender por lgica, es que es la ciencia de la palabra o
del discurso que significa logos, o mejor, sobre el orden que ha de tener
el pensamiento, pues nos indica las operaciones del entendimiento en su
trabajo para encontrar la Verdad. Entendimos tambin que vienes siendo
tambin un arte que nos presenta los principios del movimiento de la
mente. El objeto de la Lgica, que son los actos y operaciones de la
mente, nos sirven para que el entendimiento llegue sin error a la verdad.
Pero este sistema y orden tiene como objeto la rectitud, la correccin del
entendimiento en su marcha hacia la verdad, por lo que la lgica debe
entenderse como la ciencia de la rectitud de las operaciones y actos del
Entendimiento o de la mente.
La Lgica es la ciencia que determina cules son las formas correctas del
razonamiento humano. Y con nuestros conceptos, podemos decir que la
Lgica es la ciencia que nos ensea cmo debe ser y es la mente en los
rasgos de la verdad.
La lgica natural, que es la inclinacin innata de la naturaleza humana, la
aptitud del entendimiento para discurrir y razonar, y la lgica artificial o
cientfica, que es el esfuerzo organizado para descubrir las leyes que
gobiernan esa inclinacin natural.
La formulacin de premisas y la identificacin segn sea la aplicacin del
mtodo deductivo e inductivo en la bsqueda de conclusiones para la
determinacin de soluciones a planteamientos se puede determinar
como un objetivo fundamental en el campo de la investigacin.
Lo importante es que nuestro propsito es obtener y comunicar
informacin y deseamos evitar los malentendidos el lenguaje ms til es
el que tiene menos impacto emotivo. Si nuestro inters es de carcter
cientfico, haremos bien en evitar el lenguaje expresivo y en cultivos un
conjunto de trminos que sean, desde el punto de vista emotivo lo ms
neutro posible. Es en las ciencias fsicas donde se ha hecho esto con
mayor con mayor amplitud, los trminos ms antiguos y con estmulos
emotivos, como "noble" y "bajo" para caracterizar metales, han sido
desplazados por una jerga especial o, a travs del tiempo se ha llegado a

divorciarlos completamente de sus anteriores asociaciones honorficas o

despectivas. Este ha sido en factor que ha contribuido al progreso
cientfico.

Introduccin

La lgica nace en el seno de la filosofa pero tal como ocurri con otras
disciplinas su mbito de estudio y de conocimiento dej de ser parte
exclusiva de la filosofa, para integrarse al campo general de la ciencia. Sin
embargo, hoy por hoy el discurso argumentativo es el vehculo de expresin
bsico en el quehacer filosfico, por lo tanto se puede decir que la lgica es
una de las pocas herramientas de anlisis y crtica de que dispone el
filsofo. Varias discusiones filosficas presuponen el uso de principios
lgicos bsicos y el uso del anlisis lgico puede ayudar a esclarecer los
planteamientos de varios problemas filosficos, de ah la importancia de
estudiar lgica en el campo de la filosofa

Pretende pues, proporcionar a los participantes; los conocimientos tericos

primordiales en el campo de la lgica, que le permitan el desarrollo de
habilidades y actitudes bsicas para el aprecio y buen uso de la lgica en el
terreno filosfico.

Desarrollar conocimientos sobre la abstraccin del conocimiento lgico y

sus alternativas de desarrollo para el pensamiento, por medio de un proceso
de elaboracin de campos de diferenciacin y anlisis, lo que permite
resolver problemticas de diversos tipos de acuerdo a planteamientos
lgicos especficos lo que le ayuda a reconocer la diversidad de
pensamientos.