logica

La lógica formal es la parte de la lógica que, a diferencia de la lógica informal, se dedica al estudio de la inferencia mediante la construcción de lenguajes formales, sistemas deductivos y semánticas formales. La idea es que estas construcciones capturen las características esenciales de las inferencias válidas en los lenguajes naturales, pero que al ser estructuras formales y susceptibles deanálisis matemático, permiten realizar demostraciones rigurosas sobre ellas.
La lógica formal no debe ser confundida con la lógica matemática, antes llamada lógica simbólica, que es una subdisciplina de la lógica formal.
La lógica informal, 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. 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.
La lógica aristotélica es la lógica basada en los trabajos del filósofo griego Aristóteles, quien es ampliamente reconocido como el padre fundador de la lógica. Sus trabajos principales sobre la materia tradicionalmentese agrupan bajo el nombre Órganon(«herramienta»), y constituyen la primera investigación sistemática acerca de los principios del razonamiento válido o correcto.1Para Aristóteles, la lógica era una herramienta necesaria para adentrarse en el mundo de la filosofía y la ciencia. Sus propuestas ejercieron una influencia sin par durante más de dos milenios, a tal punto que en el siglo XVIII, ImmanuelKant llegó a afirmar:
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.1 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 constanteso variables de individuo.2
La lógica de primer orden tiene el poder expresivo suficiente para definir a prácticamente todas las matemáticas.
Una 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, ycuantificadores que operan sobre esas variables.1 Así se expande el poder expresivo del lenguaje sin tenerque agregar nuevos símbolos lógicos.1La lógica de segundo orden tiene un poder expresivo mayor que la lógica de primer orden. Ese mayor poder expresivo permite axiomatizar sistemas matemáticos más complejos. Es decir, hay proposiciones no formalizables exactamente utilitizando el formalismo de la lógica de primer orden que sí pueden ser formalizadas correctamente con la lógica de segundo orden. Sinduda ese último hecho constituye una ventaja, sin embargo, el uso de lógicas de segundo orden comporta ciertas dificultades:
La lógica booleana es una lógica de conjuntos y nos sirve, principalmente, para definir formas de interseccion entre conjuntos.
En este caso, los conjuntos serian lo que quedan definidos por una palabra, es decir, serian conjuntos definidos por intensión. Si uso la palabra"psicoanálisis", esta recubre todo el conjunto de elementos, para el caso, páginas web, en las que dicha palabra se encuentre incluída. Así, a partir de diferentes palabras se definen conjuntos de páginas agrupadas por el hecho de incluir (o no) esa determinada palabra. Estos conjuntos tendrán, entre si, elementos en común, y elementos que no. Una manera de precisar o afinar nuestra búsqueda...