Want to create interactive content? It’s easy in Genially!

Get started free

logica de filosofia

Alexandra Vega

Created on April 4, 2022

Start designing with a free template

Discover more than 1500 professional designs like these:

Essential Map

Akihabara Map

Frayer Model

Create Your Story in Spanish

Microcourse: Key Skills for University

Microcourse: Learn Spanish

Resource Bank

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