Unidad 1: INTRODUCCION

1.1 Concepto de la Lógica formal. Objeto del estudio de la Lógica

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 lasinferencias válidas en los lenguajes naturales, pero que al ser estructuras formales y susceptibles de aná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 es una ciencia formal y una rama de la filosofía que estudia losprincipios de la demostración e inferencia válida. 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". La lógica examina la validez de los argumentos en términos de su estructura, independientemente del contenido específico delos estados reales a los que aquéllos se puedan referir. En este sentido se habla de la lógica como ciencia «formal». La lógica es una disciplina de la filosofía, las matemáticas y la informática.

1.2 Factores del pensamiento

el pensamiento es cualquier proceso que tiene lugar en la mente, así pues, uno puede pensar sin hacer razonamientos. Podemos imaginar, recordar o lamentarnos dealgo, sin necesariamente hacer razonamientos. Podemos hacer asociaciones libres de pensamientos y dejar que sigan su curso en un estado de ensueño.

Pensamos en mil cosas: imágenes, sentimientos, hechos, recuerdos, voliciones, razonamientos, objetos, personas, etc. Todo esto se puede agrupar de la siguiente forma:

a) Objetos reales: todo lo que ocupa un lugar en el espacio.
b) [continua]

Leer Ensayo Completo

Cite este ensayo

APA

(2010, 09). Concepto de la logica formal. BuenasTareas.com. Recuperado 09, 2010, de http://www.buenastareas.com/ensayos/Concepto-De-La-Logica-Formal/769164.html

MLA

"Concepto de la logica formal" BuenasTareas.com. 09 2010. 2010. 09 2010 <http://www.buenastareas.com/ensayos/Concepto-De-La-Logica-Formal/769164.html>.

MLA 7

"Concepto de la logica formal." BuenasTareas.com. BuenasTareas.com, 09 2010. Web. 09 2010. <http://www.buenastareas.com/ensayos/Concepto-De-La-Logica-Formal/769164.html>.

CHICAGO

"Concepto de la logica formal." BuenasTareas.com. 09, 2010. consultado el 09, 2010. http://www.buenastareas.com/ensayos/Concepto-De-La-Logica-Formal/769164.html.