Historia de la lógica

Históricamente la palabra «lógica» ha ido cambiando de sentido. Comenzó siendo una modelización de los razonamientos, propuesta por los filósofos griegos, y posteriormente ha evolucionado hacia diversos sistemas formales. Etimológicamente la palabra lógica deriva del término griego Λογικός logikós, que a su vez deriva de λόγος logos 'razón, palabra, discurso'.
En un principio la lógica no tuvo el sentido de estructura formal estricta.

La lógica, como un análisis explícito de los métodos de razonamiento, se desarrolló originalmente en tres civilizaciones de la historia antigua: China, India y Grecia, entre el siglo V y el siglo I a. C.

Lógicas modales

Las lógicas modales están diseñadas para tratar con expresiones que califican la verdad de los juicios. Así por ejemplo, la expresión "siempre" califica a un juicio verdadero como verdadero en cualquier momento, es decir, siempre. No es lo mismo decir "está lloviendo" que decir "siempre está lloviendo".

• Lógica modal: Trata con las nociones de necesidad, posibilidad, imposibilidad y contingencia.
• Lógica deóntica: Se ocupa de las nociones morales de obligación y permisibilidad.
• Lógica temporal: Abarca operadores temporales como "siempre", "nunca", "antes", "después", etc.
• Lógica epistémica: Es la lógica que formaliza los razonamientos relacionados con el conocimiento.
• Lógica doxástica: Es la lógica que trata con los razonamientos acerca de las creencias.

Lógicas no clásicas

Los sistemas lógicos no clásicos son aquellos que rechazan uno o varios de los principios de la lógica clásica. Algunos de estos sistemas son:

• Lógica difusa: Es una lógica plurivalente que rechaza el principio del tercero excluido y propone un número infinito de valores de verdad.
• Lógica relevante: Es una lógica paraconsistente que evita el principio de explosión al exigir que para que un argumento sea válido, las premisas y la conclusión deben compartir al menos una variable proposicional.
• Lógica cuántica: Desarrollada para lidiar con razonamientos en el campo de la mecánica cuántica; su característica más notable es el rechazo de la propiedad distributiva.
• Lógica no monotónica: Una lógica no montónica es una lógica donde, al agregar una fórmula a una teoría cualquiera, es posible que el conjunto de consecuencias de esa teoría se reduzca.

Lógicas clásicas

Los sistemas lógicos clásicos son los más estudiados y utilizados de todos, y se caracterizan por incorporar ciertos principios tradicionales que otras lógicas rechazan. Algunos de estos principios son: el principio del tercero excluido, el principio de no contradicción, el principio de explosión y la monoticidad de la implicación. Entre los sistemas lógicos clásicos se encuentran:

• Lógica proposicional
• Lógica de primer orden
• Lógica de segundo orden
• 

¿Para que sirve el estudio de la lógica?

*Razonamiento humano

*Poder aprender

*Llegar a una conclusion

*Dar una opinión.

Factores del pensamiento

Realidad: Puede ser psiqo-corporal

Actividad: puede ser psiquica

Materia o contenido del pensamiento.

ARISTÓTELES

Se le considera a Aristóteles el filosofo que sistematizo a la lógica y la concibio como un órgano o instrumento útil y necesario para el conocimiento.

Para saber más sobre este tema te recomendamos que veas el video:

http://www.youtube.com/watch?v=WRyHix4e7MQ

Lógica Cientifica

Es aquella que ademas de usar la experiencia tambien hace uso de la razón haciendo juicios con todo lo existente. 
Ej: entonces le doy una explicación al fenómeno de la plancha utilizando las leyes físicas y químicas, la resistencia del cuerpo humano y la razón para comprender a fondo el por qué me quemé. 

Lógica natural

Es aquella que todo ser humano adquiere con la experiencia sensible.
Ej: si me quemo con una plancha encendida, al otro día al ver que la plancha está encendida no tocaré el plato, puesto que por lógica se que me voy a volver a quemar.

Lógica Informal

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.

Principios logicos supremos

Son preposiciones universales, necesarias, evidentes y verdaderas, son leyes que no necesitan demostración alguna y son el inicio de la búsqueda de pensamientos correctos verdaderos en cualquier disciplina.

Principio de identidad: una cosa es identica a si misma. Ej: una silla es una silla.

Principio de contradicción: una cosa no puede ser y no ser al mismo tiempo y bajo las mismas circunstancias. Ej: una manzana no es una naranja en las mismas circunstancias.

Principio de tercer excluido: una cosa es o no es, no cabe un termino medio. 

Principio de razón suficiente: todo ser tiene una razón de ser. Ej: las mareas se producen por la atraccion de la luna en el mar. 

SUJETO PENSANTE: Es el elemento primordial del conocimiento ya que es el que se posesiona de las caracteristicas esenciales y accidentales del objeto.

OBJETO: Es percibido por cualquiera de las facultades del sujeto.

OPERACION: Es el proceso mediante el cual el sujeto se pone en contacto con el objeto.

REPRESENTACIÓN: Es la reproduccion en la mente del sujeto de lo que pasa en el extarior.

EXPRESIÓN: Es la forma en que se manifiesta el pensamiento y se realiza a traves del término, la preposición o la argumentación.

Contenido: Se refiere al objeto o tema al cual se refieren nuestros pensamientos.

Forma: La forma es independiente de lo que se piense, se refiere a la estructura como se presentan los pensamientos, muestra como y de que manera un pensamiento se relaciona con otro. 

Factores del pensamiento: Aquellos aspectos metalógicos que formando parte del pensamiento no son estudiados por nuestra disciplina.

Lógica formal, psicología y gramática.

La psicología es la ciencia que se ocupa del proceso psiquico que se da en la mente. La lógica es una disciplina psicologica ya que el conocer solo se da en la psique y al pensar en ella se realiza un hecho psicologico.

La gramatica son los pensamientos correctos que exigen estar manifestados en un lenguaje claro y presiso. De esta manera el pensamietno se encuentra vinculado al lenguaje.    

Diferencia entre la logica formal y la teoria del conocimiento

Tanto lógica como la teoría del conocimiento abundad en el tema del conocimiento, pero sus enfoques son diferentes. Al centrarse en las formas del pensamietno la lógica prescinde del aspecto material del conocimiento de la relación que se da entre el sujeto cognoscente y el objeto por conocer.

La Lógica en la vida cotidiana

La lógica se vincula para resolver los problemas que el acontecer diario nos plantea, permitiendonos asumir una actitud reflexiva, analítica, crítica y práctica.



Logica Formal en la investigacion cientifica

La lógica se encuentra vinculada en la investigacion cientifica. Puede descubrir e conjunto de sus principios y leyes; pero no significa que se confunda con las ciencias, sino que es un instrumento util para su pleno desarrollo.
Visita el enlace:
http://www.youtube.com/v/-oikvaCid_s?fs=1&amp;hl=es_MX"></param><param o tambien: http://www.youtube.com/v/-oikvaCid_s?fs=1&amp;hl=es_MX"
Este video puede explicarte mejor la relacion entre la ciencia y la lógica.

Logica Formal

Es la parte de la logica que se dedica al estudio de la inferencia mediante la construcción de lenguajes formales sistemas deductivos y semanticas formales.
Su objetivo se refiere a lo pensado, al objeto o tema a que se refieren nuestros pensamientos. Nos muestra como y de que manera un pensamiento se relaciona con otro.

INTRODUCCIÓN A LA LÓGICA

La logica es una ciencia formal y una rama de la filosofia que estudia los principios de la demostracion e inferencia valida.
Lógica procede de la palabra "logos" (razón, pensamiento, discurso)