Logica formal
Páginas: 24 (5904 palabras)
Publicado: 23 de octubre de 2014
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.
Tipos de lógica formal
Dentro de la lógica formal clásica podemos distinguir:
Lógica de enunciados Lógica de predicados
Lógica de clases
Lógica de relaciones
Estudia lavalidez de los razonamientos teniendo en cuenta únicamente el valor de verdad (verdadero o falso) de cada enunciado tomando los enunciados en bloque sin analizarlos previamente. Analiza la estructura interna de los enunciados atribuyendo una propiedad al sujeto. Al contrario de la lógica de predicados, esta atribuye individuos y clases a las características. Incorpora a su lenguaje los elementos,símbolos y reglas que son necesarios para expresar un enunciado.
1.1.- Concepto de Lógica Formal.
“La palabra lógica, de origen griego, se deriva del vocablo lógos (= pensamiento, razón, inteligencia), complementado con la terminación ica (= relativo a); es, por lo tanto, el estudio del pensamiento, o sea, de la razón, por la que se llega a conocer.” Villalpando (1983, p. 41).
Aristóteles estimabaa la Lógica como dialéctica (del verbo dialegeszai, significa disputar, discurrir) de donde se deduce que la Lógica es el arte de discurrir, de disputar. Alatorre Padilla (1988). Se le da el significado de arte, en sentido amplio, al conjunto de leyes que dirigen algunas actividades a un fin cierto.
En la Edad Media Santo Tomás la definía como: ars directiva ipsius actus rationis, per quamscilicet homo in ipso actu rationis ordinate, faciliter et sine procedat.
La Lógica es el arte que dirige el acto de la razón y por el cual el hombre procede fácilmente y sin error.
La escuela tradicional definió la Lógica como la directora de las operaciones racionales.
Renato Descartes (1596-1650), Lógica: claridad y distinción en las ideas.
Kant, la Lógica es una disciplina formalista,que expresa conceptos y relaciones a priori, extraños a la realidad de las cosas.
Kart Marx (1818-1883) considera que la Lógica se determina socialmente.
Entre otras concepciones de la Lógica podemos citar las siguientes: Edmund Husserl (1859-1938), representa a la Lógica fenomenológica.
Hermann Cohen (1842-1918), realiza un estudio de los conceptos científicos y en su libro “Lógica delconocimiento Puro”, presenta la imposibilidad de probar la independencia de los axiomas en un sistema formal.
Benedetto Croce (1866-1952), en su obra “La Lógica como ciencia del Concepto Puro”, sigue los procedimientos de Hegel, que introduce el estudio dialéctico de las categorías lógicas; aplica la dialéctica a la teoría del conocimiento y formula las leyes de la negación de la negación.Friedrich Engels (1820-1895), precisa las leyes dialécticas.
Albert Einstein (1879-1955), formula la teoría de la relatividad restringida.
Para San Agustín la lógica o arte de razonar es la parte de la ciencia que enseña el método para alcanzar la verdad.
Según Stuart Mill la lógica es el arte de pensar correcto.
Para Hegel la lógica es la ciencia de la idea pura.
Para Wundt la lógicaes el estudio de las leyes que operan en el conocimiento científico.
Definición de Lógica. Alatorre Padilla (1988).
Logos
Pensamiento.
Etimológica Ica
Perteneciente a
Formal Ciencia Conocimiento por demostración.
Del pensamiento Lo producido por la actividad del pensar.
Correcto
Acorde con la sintaxis.
Verdadero Conformidad de la mente con la cosa.
Concepciones de la...
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.
Tipos de lógica formal
Dentro de la lógica formal clásica podemos distinguir:
Lógica de enunciados Lógica de predicados
Lógica de clases
Lógica de relaciones
Estudia lavalidez de los razonamientos teniendo en cuenta únicamente el valor de verdad (verdadero o falso) de cada enunciado tomando los enunciados en bloque sin analizarlos previamente. Analiza la estructura interna de los enunciados atribuyendo una propiedad al sujeto. Al contrario de la lógica de predicados, esta atribuye individuos y clases a las características. Incorpora a su lenguaje los elementos,símbolos y reglas que son necesarios para expresar un enunciado.
1.1.- Concepto de Lógica Formal.
“La palabra lógica, de origen griego, se deriva del vocablo lógos (= pensamiento, razón, inteligencia), complementado con la terminación ica (= relativo a); es, por lo tanto, el estudio del pensamiento, o sea, de la razón, por la que se llega a conocer.” Villalpando (1983, p. 41).
Aristóteles estimabaa la Lógica como dialéctica (del verbo dialegeszai, significa disputar, discurrir) de donde se deduce que la Lógica es el arte de discurrir, de disputar. Alatorre Padilla (1988). Se le da el significado de arte, en sentido amplio, al conjunto de leyes que dirigen algunas actividades a un fin cierto.
En la Edad Media Santo Tomás la definía como: ars directiva ipsius actus rationis, per quamscilicet homo in ipso actu rationis ordinate, faciliter et sine procedat.
La Lógica es el arte que dirige el acto de la razón y por el cual el hombre procede fácilmente y sin error.
La escuela tradicional definió la Lógica como la directora de las operaciones racionales.
Renato Descartes (1596-1650), Lógica: claridad y distinción en las ideas.
Kant, la Lógica es una disciplina formalista,que expresa conceptos y relaciones a priori, extraños a la realidad de las cosas.
Kart Marx (1818-1883) considera que la Lógica se determina socialmente.
Entre otras concepciones de la Lógica podemos citar las siguientes: Edmund Husserl (1859-1938), representa a la Lógica fenomenológica.
Hermann Cohen (1842-1918), realiza un estudio de los conceptos científicos y en su libro “Lógica delconocimiento Puro”, presenta la imposibilidad de probar la independencia de los axiomas en un sistema formal.
Benedetto Croce (1866-1952), en su obra “La Lógica como ciencia del Concepto Puro”, sigue los procedimientos de Hegel, que introduce el estudio dialéctico de las categorías lógicas; aplica la dialéctica a la teoría del conocimiento y formula las leyes de la negación de la negación.Friedrich Engels (1820-1895), precisa las leyes dialécticas.
Albert Einstein (1879-1955), formula la teoría de la relatividad restringida.
Para San Agustín la lógica o arte de razonar es la parte de la ciencia que enseña el método para alcanzar la verdad.
Según Stuart Mill la lógica es el arte de pensar correcto.
Para Hegel la lógica es la ciencia de la idea pura.
Para Wundt la lógicaes el estudio de las leyes que operan en el conocimiento científico.
Definición de Lógica. Alatorre Padilla (1988).
Logos
Pensamiento.
Etimológica Ica
Perteneciente a
Formal Ciencia Conocimiento por demostración.
Del pensamiento Lo producido por la actividad del pensar.
Correcto
Acorde con la sintaxis.
Verdadero Conformidad de la mente con la cosa.
Concepciones de la...
Leer documento completo
Regístrate para leer el documento completo.