LOGICA
La palabra “lógica” viene del griego “logos” que puede traducirse de distintas maneras: palabra, pensamiento, argumento, principio o razón son algunas de las principales. En este sentido la lógica es el estudio de los principios y de los razonamientos.
Lógica simbólica
Lógica predicativa o de primer orden:
También conocida como lógica tradicional o lógica filosófica, se trata del estudio de las inferencias con contenido puramente formal y explícito. Se trata de analizar los enunciados formales (lógicos o matemáticos), cuyo significado no es intrínseco sino que sus símbolos tienen sentido por la aplicación útil que se les da. La tradición filosófica de la cual deriva esto último se llama precisamente “formalismo”.
Lógica formal
se trata de un sistema formal compuesto por fórmulas y variables cuantificables
Tal como su nombre lo indica, lógica simbólica analiza las relaciones entre símbolos. En ocasiones se sirve del lenguaje matemático complejo, ya que se encarga de estudiar problemas que la lógica formal tradicional encuentra complicados o difíciles de abordar. Suele dividirse en dos subtipos:
Proposicional:
se trata de un sistema formal compuesto por proposiciones, que son capaces de crear otras proposiciones a través de conectores
Lorem ipsum dolor sit amet
Por su parte, la lógica informal es una disciplina más reciente, que estudia, evalúa y analiza los argumentos desplegados en el lenguaje natural o cotidiano. De ahí que reciba la categoría de “informal”. Puede tratarse tanto de lenguaje hablado como escrito o bien, cualquier tipo de mecanismo e interacción utilizada para comunicar algo. A diferencia de la lógica formal, que por ejemplo aplicaría para el estudio y desarrollo de los lenguajes informáticos; el lenguaje formal hace referencia a los idiomas y las lenguas.
Dependiendo del autor que la describe, la lógica matemática puede considerarse un tipo de lógica formal. Otros consideran que la lógica matemática incluye tanto la aplicación de la lógica formal a las matemáticas, como la aplicación de los razonamientos matemáticos a la lógica formal.
Lógica informal
Lógica matemática
logica de filosofia
Alexandra Vega
Created on April 4, 2022
Start designing with a free template
Discover more than 1500 professional designs like these:
View
Body Parts
View
Choice Board Flipcards
View
January School Calendar
View
Genial Calendar 2026
View
School Calendar 2026
View
January Higher Education Academic Calendar
View
School Year Calendar January
Explore all templates
Transcript
LOGICA
La palabra “lógica” viene del griego “logos” que puede traducirse de distintas maneras: palabra, pensamiento, argumento, principio o razón son algunas de las principales. En este sentido la lógica es el estudio de los principios y de los razonamientos.
Lógica simbólica
Lógica predicativa o de primer orden:
También conocida como lógica tradicional o lógica filosófica, se trata del estudio de las inferencias con contenido puramente formal y explícito. Se trata de analizar los enunciados formales (lógicos o matemáticos), cuyo significado no es intrínseco sino que sus símbolos tienen sentido por la aplicación útil que se les da. La tradición filosófica de la cual deriva esto último se llama precisamente “formalismo”.
Lógica formal
se trata de un sistema formal compuesto por fórmulas y variables cuantificables
Tal como su nombre lo indica, lógica simbólica analiza las relaciones entre símbolos. En ocasiones se sirve del lenguaje matemático complejo, ya que se encarga de estudiar problemas que la lógica formal tradicional encuentra complicados o difíciles de abordar. Suele dividirse en dos subtipos:
Proposicional:
se trata de un sistema formal compuesto por proposiciones, que son capaces de crear otras proposiciones a través de conectores
Lorem ipsum dolor sit amet
Por su parte, la lógica informal es una disciplina más reciente, que estudia, evalúa y analiza los argumentos desplegados en el lenguaje natural o cotidiano. De ahí que reciba la categoría de “informal”. Puede tratarse tanto de lenguaje hablado como escrito o bien, cualquier tipo de mecanismo e interacción utilizada para comunicar algo. A diferencia de la lógica formal, que por ejemplo aplicaría para el estudio y desarrollo de los lenguajes informáticos; el lenguaje formal hace referencia a los idiomas y las lenguas.
Dependiendo del autor que la describe, la lógica matemática puede considerarse un tipo de lógica formal. Otros consideran que la lógica matemática incluye tanto la aplicación de la lógica formal a las matemáticas, como la aplicación de los razonamientos matemáticos a la lógica formal.
Lógica informal
Lógica matemática