¿Qué es la lógica y cómo usarla?

¿Qué es la lógica y cómo usarla?


Lógica: Definición

logica La lógica es una ciencia formal y una rama de la filosofía que estudia los principios de la demostración e inferencia válida.


Que es


usarla La palabra deriva del griego antiguo λογική (logike), que significa «dotado de razón, intelectual, dialéctico, argumentativo», que a su vez viene de λόγος (logos), «palabra, pensamiento, idea, argumento, razón o principio».


como usarla


lgica La lógica examina la validez de los argumentos en términos de su estructura, (estructura lógica), independientemente del contenido específico del discurso y de la lengua utilizada en su expresión y de los estados reales a los que dicho contenido se pueda referir.

Ejemplo de estructura lógica

¿Qué es la lógica y cómo usarla?

logica Esto es exactamente lo que quiere decir que la lógica es una ciencia «formal».


Que es


usarla Tradicionalmente ha sido considerada como una parte de la filosofía.

como usarla


lgica Pero en su desarrollo histórico, a partir del final del siglo XIX, y su formalización simbólica ha mostrado su íntima relación con las matemáticas; de tal forma que algunos la consideran como Lógica matemática.


¿Qué es la lógica y cómo usarla?


logica En el siglo XX la lógica ha pasado a ser principalmente la lógica simbólica. Un cálculo definido por unos símbolos y unas reglas de inferencia. Lo que ha permitido un campo de aplicación fundamental en la actualidad: la informática.

Hasta entonces la lógica no tuvo este sentido de estructura formal estricta. La tradición aristotélica y estoica, mantuvo siempre una relación con los argumentos del lenguaje natural, concediendo por tanto a los argumentos una transmisión de contenidos verdaderos. Por ello aún siendo formales, no eran formalistas.

Hoy, tras los progresos científicos relativos a la lingüística, y el concepto semántico de verdad en su relación con el lenguaje, tal relación se trata bajo un punto de vista completamente diferente.

La formalización estricta ha mostrado las limitaciones de la lógica tradicional interpretada actualmente como una particularidad de la lógica de clases.


Clases de lógicas

Que es 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:


usarlaLógica proposicional
como usarlaLógica de primer orden
lgica Lógica de segundo orden

¿Qué es la lógica y cómo usarla? En lógica, la lógica proposicional es un sistema formal diseñado para analizar ciertos tipos de argumentos. En lógica proposicional, las fórmulas representan proposiciones y las conectivas lógicas son operaciones sobre dichas fórmulas, capaces de formar otras fórmulas de mayor complejidad. Como otros sistemas lógicos, la lógica proposicional intenta esclarecer nuestra comprensión de la noción de consecuencia lógica para el rango de argumentos que analiza.


logica La lógica de primer orden, también llamada lógica de predicados o cálculo de predicados, es un sistema formal diseñado para estudiar la inferencia en los lenguajes de primer orden. Los lenguajes de primer orden son, a su vez, lenguajes formales con cuantificadores que alcanzan sólo a variables de individuo, y con predicados y funciones cuyos argumentos son sólo constantes o variables de individuo.


Que es La lógica de primer orden tiene el poder expresivo suficiente para definir a prácticamente todas las matemáticas.

usarlaUna lógica de segundo orden es una extensión de una lógica de primer orden en la que se añaden variables para propiedades, funciones y relaciones, y cuantificadores que operan sobre esas variables. Así se expande el poder expresivo del lenguaje sin tener que agregar nuevos símbolos lógicos. Por ejemplo, en una lógica de primer orden es posible decir "esta esmeralda es verde", pero no es posible decir "el verde es un color", porque una lógica de primer orden sirve para hablar acerca de individuos (como esta esmeralda), pero no acerca de propiedades (como verde). En cambio, una lógica de segundo orden no tiene esa limitación.


como usarla Lógicas no clásicas

lgicaLos 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:

¿Qué es la lógica y cómo usarla?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.

logicaLó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.

Que esLó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.

usarlaLógica no monotónica: Una lógica no monotó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.

como usarlaLógica intuicionista: Enfatiza las pruebas, en vez de la verdad, a lo largo de las transformaciones de las proposiciones.

lgica Lógicas modales
¿Qué es la lógica y cómo usarla?
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».


logica Lógica modal: Trata con las nociones de necesidad, posibilidad, imposibilidad y contingencia.

Que esLógica deóntica: Se ocupa de las nociones morales de obligación y permisibilidad.
usarlaLógica temporal: Abarca operadores temporales como «siempre», «nunca», «antes», «después», etc.
como usarlaLógica epistémica: Es la lógica que formaliza los razonamientos relacionados con el conocimiento.
lgicaLógica doxástica: Es la lógica que trata con los razonamientos acerca de las creencias.

Metalógica

¿Qué es la lógica y cómo usarla?Mientras la lógica se encarga, entre otras cosas, de construir sistemas lógicos, la metalógica se ocupa de estudiar las propiedades de dichos sistemas. Las propiedades más importantes que se pueden demostrar de los sistemas lógicos son:

logica Consistencia

Que esUn sistema tiene la propiedad de ser consistente cuando no es posible deducir una contradicción dentro del sistema. Es decir, dado un lenguaje formal con un conjunto de axiomas, y un aparato deductivo (reglas de inferencia), no es posible llegar a una contradicción.

usarla

como usarlaDecidibilidad


lgicaSe dice de un sistema que es decidible cuando, para cualquier fórmula dada en el lenguaje del sistema, existe un método efectivo para determinar si esa fórmula pertenece o no al conjunto de las verdades del sistema. Cuando una fórmula no puede ser probada verdadera ni falsa, se dice que la fórmula es independiente, y que por lo tanto el sistema es no decidible. La única manera de incorporar una fórmula independiente a las verdades del sistema es postulándola como axioma. Dos ejemplos muy importantes de fórmulas independientes son el axioma de elección en la teoría de conjuntos, y el quinto postulado de la geometría euclidiana.

¿Qué es la lógica y cómo usarla? Completitud

logicaSe habla de completitud en varios sentidos, pero quizás los dos más importantes sean los de completitud semántica y completitud sintáctica. Un sistema S en un lenguaje L es semánticamente completo cuando todas las verdades lógicas de L son teoremas de S. En cambio, un sistema S es sintácticamente completo si, para toda fórmula A del lenguaje del sistema, A es un teorema de S o ¬A es un teorema de S. Esto es, existe una prueba para cada fórmula o para su negación. La lógica proposicional y la lógica de predicados de primer orden son ambas semánticamente completas, pero no sintácticamente completas. Por ejemplo, nótese que en la lógica proposicional, la fórmula p no es un teorema, y tampoco lo es su negación, pero como ninguna de las dos es una verdad lógica, no afectan a la completitud semántica del sistema. El segundo teorema de incompletitud de Gödel demuestra que ningún sistema (definido recursivamente) con cierto poder expresivo puede ser a la vez consistente y completo.

Teorema de incompletitud de Gödel:


Que es


ME ESFORZE MUCHO, COMENTA Y PUNTUA GRACIAS!!!

7 comentarios - ¿Qué es la lógica y cómo usarla?

@V1XEN +1
está bueno +10
@Koalacs +4
Este era Manolo que va con Venancio y le pregunta: oye venancio, ¿tu sabes lo que es la lógica?, a lo que venancio contesto que no. Entonces Manolo dice: mira, te voy a explicar lo que es la lógica por medio de un ejemplo ok.
-Venancio, ¿te gusta el mar?
-si, si me gusta el mar
-A! entonces por Lógica, te gustan los peces
-claro,claro que me gustan los peces
-Entonces por logica te gustan las sirenas
-Si, si me gustan las sirenas, son hermosas
-Entonces por logica te gustan las mujeres
-Pues Claro manolo, porsupuesto, las mujeres me encantan
-Entonces por logica eres hombre.
Pues claro manolo, ya lo entendi, ahora se lo que es logica.
Venancio emocionado y con un razonamiento mas amplio fue con pepe toño para explicarle lo que es la logica.
-Hey pepe toño, tu sabes lo que es la logica
-No venancio, no lo se
-Mira te lo voi a explicar con un ejemplo ok.
-Pepe toño, ¿te gusta el mar?
-mmmmmmm.... el mar, el mar.....mmmmm NO, NO me gusta.
-A!!!! bueno, entonces por Logica ERES PUTO.
@elagussmanya +3
me lo llevo a favoritos y despues lo leo parece interesante
@nanopinus
Es el sentido comun, q es el menos comun de los sentidos
@ATVC
En un funeral de su madre una chica se enamora de un chico que estaba alli, al dia siguiente esta mata a su hermana, por qué lo hizo? 10 pts al que lo conteste bien
@ilove_obama +1
la sabia pero me la olvide.. sabes la respuestas? contala
@Sebaswar3 +1
es la única forma de volver a verlo.
@genessis98 +1
porque la chica sopuso que era un amigo de la familia, entonces si mataba a su hermana ella podria volver a ver al tipo
@genessis98
Lógica: Lo que no tienen los videojuegos XD