barbarita 1







MINISTERIO DE EDUCACION
CENTRO EDUCATIVO LABORAL BELLAS LUCES






NOMBRE:
BARBARA RODRIGUEZ






DOCENTE:

ANTONIO ARBOLEDA



ASIGNATURA:
LOGICA





PERIODO LECTIVO:
11°


1.Concepto de la lógica formal
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, sistemasdeductivos y semánticas formales. La idea es que estas construcciones capturen las características esenciales de la diferencias 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 unasubdisciplina de la lógica formal. La ciencia que se basa en las leyes, modalidades y formas del conocimiento científico se conoce bajo el nombre de lógica. Se trata de una ciencia de carácter formal que carece de contenido ya que hace foco en el estudio de las alternativas válidas de inferencia. Es decir, propone estudiar los métodos y los principios adecuados para identificar al razonamientocorrecto frente al que no lo es.
La etimología permite saber que el término ‘lógica’ tiene su origen en el vocablo latín logĭca, que a su vez deriva del griego logikós (de logos, “razón” o “estudio”). El filósofo griego Aristóteles, cuentan los expertos en cuestiones históricas, fue pionero al emplear la noción para nombrar el chequeo de los argumentos como indicadores de la verdad dentro de laciencia, y al presentar al silogismo como argumento válido.

1.2.Objeto de estudio de la lógica formal

La ciencia se clasifica, según Bunge, en dos bloques, las ciencias formales y las ciencias fácticas, es así que la lógica es ubicada dentro de las ciencias formales y esto que quiere decir, de acuerdo a Mario Bunge, “...la lógica y la matemática – esto es, los diversos sistemas de lógica formal ylos diferentes capítulos de la matemática pura- son racionales, sistemáticos y demostrables, pero no son objetivos, no nos dan informaciones acerca de la realidad: simplemente, no se ocupan de los hechos. La lógica y la matemática tratan de entes ideales; estos entes, tanto los abstractos como los interpretados, sólo existen en la mente humana...” (Bunge, Mario, 1995. pp.8 y 9) Entonces diríamos quela lógica al igual que la matemática se encuentran ubicadas dentro del bloque de las ciencias formales que se diferencian de las ciencias fácticas en esencia por su objeto de estudio, pues toda ciencia que se asume como tal tiene su objeto de estudio, dicho objeto de estudio es parte de la realidad, una realidad que la definimos epistemológicamente como todo aquello que existe independientementedel hombre, ahora bien el objeto de estudio de las ciencias fácticas son objetos concretos y su método es la experimentación y la observación, de ahí que a las ciencias fácticas también se les conozca como ciencias empíricas o experimentales.




1.3.Factores del pensamiento, su forma y contenido
Como ya habíamos visto, el pensamiento es cualquier proceso que tiene lugar en la mente, así pues, unopuede pensar sin hacer razonamientos. Podemos imaginar, recordar o lamentarnos de algo, 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) Objetos ideales: conceptos abstractos (no ocupan un lugar en el espacio).
c) Objetos ficticios: inventados por el hombre.
d) Sentimientos o hechos de la conciencia: experiencias privadas y exclusivas del sujeto que las padece (dolor/placer, emociones, etc.).


A la lógica no le importa saber qué o por qué pensamos lo que pensamos,...