INSTITUTO UNIVERSITARIO DE TECNOLOGIA INDUSTRIAL RODOLFO LOERO ARISMENDI EXTENCION PUERTO ORDAZ TURNO: NOCTURNO SEGUNDO SEMESTRE SECCIN 1

DISEO GRFICO

LGICA FORMAL

LA LGICA COMO CIENCIA

Bachiller:
Profesor: Francisco Macas

Aronico Vanessa CI 20.807.667 Brito M Enexis E CI 16.625.688 Gabas Daniela CI 20.507.077

1

Marylin R. Valente CI 23.638.957

Ciudad Guayana, 11 de Octubre del 2011

NDICE
Introduccin El conocimiento como reflejo de la ciencia Niveles psicolgicos y lgicos del conocimiento Sensaciones, percepciones, y representaciones Conceptos, juicios y raciocinio Pensamiento y lenguaje Definicin de lgica Campos de estudio de la lgica Formas de estructuras del pensamiento Los mtodos Las leyes de la Lgica Divisiones de la lgica Mtodos de estudio dela historia de la lgica Historia de la lgica en el mundo Logica en Mesopotamia Logica en Grecia Logica en India Logica en china Logica en la filosofa islamica Logica en la europa medieval Logica Tradicional El advenimiento de la lgica Moderna 3 4 6 6 7 7 9 10 10 10 12 18 19 21 21 22 22 23 23 24 25 25 27 28 29

Conclusin Anexos Bibliografa

INTRODUCCIN
El lenguaje nos proporciona las herramientas mentales, la habilidad para dar razones de lo que sabemos. En la experiencia diaria, esperamos que las personas tengan razones para lo que dicen o hacen; es decir buscamos un principio de racionalidad una lgica. Lo que parece una buena razn, puede variar de acuerdo con las circunstancias y costumbres. La lgica en cambio, busca tipos particulares de demostraciones racionales que fundamenten las conclusiones y respalden nuestra ciencia y conocimiento en general. Aunque durante siglos ha sido considerado un saber filosfico, puede definirse la lgica como el conjunto de conocimientos que tienen por objeto la enunciacin de las leyes que rigen los procesos del pensamiento humano; as como de los mtodos que han de aplicarse al razonamiento y la reflexin para lograr un sistema de raciocinio que conduzca a resultados que puedan considerarse como certeros o verdaderos. Sealando que la evidencia que emerge en cuanto a la trascendental importancia que la lgica reviste en todos los rdenes de las actividades y del conocimiento humano; siendo demostrativa del estrecho vnculo que existe entre sus remotos orgenes filosficos, su absoluta conexin con los fundamentos del conocimiento de las matemticas y, por esa va, su clara incidencia en los fundamentos tericos y conceptuales de la computacin. sta, a su vez, alcanza una repercusin trascendental no solamente en la informtica en s misma, sino en todas sus aplicaciones en la vida cotidiana; ya sea a nivel de la industria, las comunicaciones, y an en una enorme variedad de elementos de uso y consumo cotidiano. Teniendo clara conciencia de la forma en que, desde el fondo de los siglos, se proyecta hacia nosotros el esfuerzo intelectual de Aristteles para habilitarnos a pensar correctamente; el empleo de las reglas de la lgica en otros campos, tales como las decisiones en el orden de la vida personal, poltica, econmica y jurdica, que debera ser una importante preocupacin para todos. Siendo el objetivo principal de la presente investigacin el establecimiento de las leyes de la lgica, sus campos y mtodos de estudio, as como tambin la explicacin de la relacin entre pensamiento y lenguaje, y todos aquellos aspectos fundamentales relacionados con esta ciencia de estudio aplicados al razonamiento y reflexin humana, fundamental para el proceso de comunicacin y expresin cotidiana entre otros factores.

LA LGICA COMO UNA CIENCIA

La ciencia como reflejo de la realidad El hombre y los animales, al igual que todas las dems formaciones materiales, se hallan en constante interdependencia con el medio. Numerosos son los objetos y fenmenos de la realidad circundante que actan sobre los rganos sensoriales de los seres vivos y provocan la aparicin de productos ideales o subjetivos que constituyen un reflejo de esa realidad. Dichos productos ideales constituyen los pilares de la organizacin del comportamiento en los seres vivos superiores. Como se ha expuesto anteriormente, los seres vivos, en general, utilizan los productos del reflejo del medio en que se desenvuelven como materia prima para la realizacin de su actividad vital, sin embargo, aun cuando los animales son capaces de obtener un reflejo ms o menos adecuado de la realidad que los rodea, las races identifican las variedades de plantas que las intoxican, los perros distinguen a sus dueos de otras personas, entre otros sucesos, el conocimiento como forma superior de reflejo de la realidad alcanza su mxima expresin en el hombre. En los animales, aun los superiores, el conocimiento de la realidad ocurre en lo relacionado fundamentalmente con la esfera biolgica o vital de la subsistencia. Dicho conocimiento slo se trasmite entre generaciones diferentes mediante los mecanismos hereditarios y no existe un lenguaje con suficiente capacidad como para designar la realidad y expresar sus experiencias, producto principal de la influencia del medio sobre ellos. En el hombre, estas experiencias son el resultado de la actividad deliberada o consciente por conocer el medio que los rodea a fin de transformarlo y hacerlo ms adecuado a la vida. El conocimiento en el hombre, como proceso y producto histrico social del reflejo de la realidad, posee un carcter subjetivo y acta como un intermediario de las relaciones del ser humano con el mundo exterior. Su principal objetivo es la obtencin de un reflejo adecuado de los objetos y fenmenos de la realidad. Como resultado de este reflejo se realiza el "traslado" de los objetos y fenmenos materiales del mundo exterior al mundo interior del individuo en forma de imgenes, representaciones o modelos ideales de dichos objetos o fenmenos materiales. El conocimiento constituye un momento necesario de la actividad prctica porque slo es posible a partir del conocimiento de las propiedades,

funciones de los objetos y los fenmenos, as como de sus relaciones. El proceso del reflejo de la realidad en el hombre atraviesa por diferentes etapas o momentos psicolgicos, cada uno de los cuales constituyen escalones en el proceso de aproximacin de dicho reflejo a la realidad. El momento inicial del reflejo de la realidad lo constituye la sensacin. En esta se captan slo cualidades aisladas de los objetos y fenmenos del mundo material, que actan directamente sobre los rganos de los sentidos. La integracin de dichas cualidades en complejos psicolgicos denotan un nivel cualitativamente superior del conocimiento: la percepcin, sin embargo, en esta etapa, el reflejo de la realidad aparece como "envoltura" externa de los objetos y fenmenos, como efecto sumario de interacciones desconocidas. A este tipo de conocimiento se le denomina sensorial. Esta forma de conocimiento no permite al hombre comprender el "porqu de las cosas", las relaciones entre los distintos fenmenos y objetos materiales e ideales. En este caso, la misin del conocimiento es diferenciar, en el entretejido de lo subjetivo y lo objetivo tal y como se percibe directamente, la realidad objetiva, como existe, independientemente de la conciencia. Para este propsito sirve el pensamiento como funcin cualitativa superior que permite aislar y revelar las propiedades y relaciones sujetas a leyes que existen entre los objetos y fenmenos reales. Dicho nivel en el conocimiento permite prever con mayor certeza el curso de los procesos, el cambio lgico y consecuente de los fenmenos, y pronosticar mejor los resultados de las acciones de los individuos en la sociedad antes de impulsar determinados cambios. El conocimiento de lo general es indispensable para realizar cualquier actividad con un fin determinado. Si el hombre no conociera ms que objetos y fenmenos aislados no podra dominar la naturaleza y modificar la realidad. El pensamiento constituye un proceso en virtud del cual se pasa de la subjetividad y de la percepcin inmediata a la objetividad del conocimiento cientfico. Tanto el pensamiento como la sensacin son dos fases, dos momentos inseparables de un solo proceso, del proceso del conocimiento de la realidad que nace con el conocimiento sensorial y alcanza su mxima expresin en el conocimiento racional.

Niveles Psicolgicos y lgicos del conocimiento La Sensacin: La sensacin se refiere a experiencias inmediatas bsicas, generadas por estmulos aislados simples (Matlin y Foley 1996). La sensacin tambin se define en trminos de la respuesta de los rganos de los sentidos frente a un estmulo (Feldman, 1999). La Percepcin: La percepcin incluye la interpretacin de esas sensaciones, dndoles significado y organizacin (Matlin y Foley 1996). La organizacin, interpretacin, anlisis e integracin de los estmulos, implica la actividad no slo de nuestros rganos sensoriales, sino tambin de nuestro cerebro (Feldman, 1999)

Caractersticas: 1. 2. 3. 4. 5. 6. 7. Proceso bipolar: sujeto (el que capta), objeto (lo captado) Subjetiva: no todos percibimos lo mismo. Selectiva: percibimos solo lo que queremos. Permite la adaptacin al medio. Nos pueden engaar (ilusiones pticas, realidad virtual) Relacin entre sensacin y percepcin. Sensacin: manera concreta de cmo el estmulo afecta nuestros rganos sensoriales (receptores). 8. Percepcin: informacin que captamos, la manera de cmo interpretamos la sensacin.

Concepto y definicin: Para comprender lo que es una definicin, ante todo debemos definirla. Para Aristteles es una frase que significa la esencia de una cosa. R. Robinson en su obra "Definition" (1950) distingue dieciocho tipos de definiciones. En la prctica, es frecuente contentarnos con definir mediante smbolos e incluso a travs de ejemplos, pero la verdadera definicin recurre a las propiedades del concepto. La definicin es ontolgica. Ahora bien, como hemos visto, el concepto es una representacin racional, que abarca los atributos esenciales de una clase de fenmenos o de objetos. Se observa, pues, que definicin y concepto son, si no sinnimos, al menos vocablos relacionados. Por esta razn ambos sufrirn las consecuencias de los diversos puntos de vista relativos a lo que se define, es decir, depender de la nocin de realidad.

 Representacin: El objetivo de la representacin del conocimiento es expresar ste en forma manejable por la computadora, de manera que se la pueda utilizar como un auxiliar para el buen desempeo de los agentes. Un lenguaje para la representacin del conocimiento consta de dos aspectos: o La sintaxis del lenguaje, explica las posibles configuraciones mediante las cuales se forman las oraciones. o La semntica determina los hechos del mundo a los que hacen alusin las oraciones. Mediante la semntica, cada oracin expresa algo relacionado con el mundo. Juicio: El juicio atribuye un predicado a un sujeto lgico del conocimiento otorgando a los trminos al mismo tiempo una funcin lingstica de significado (semntica) y una funcin formal lgica (sintctica). Raciocinio: La razn es la facultad en virtud de la cual el ser humano es capaz de identificar, comparar y clasificar conceptos relacionando unos con otros segn sus semejanzas y diferencias; cuestionando su significado y el sentido de su uso; hallando coherencias o contradicciones entre ellos y as inducir o deducir otros conceptos nuevos y distintos de los que ya conoce. La razn humana, ms que descubrir certezas es la capacidad de establecer o descartar nuevos conceptos concluyentes o conclusiones, en funcin de su coherencia con respecto de otros conceptos de partida o premisas.

Pensamiento y Lenguaje Pensar: Proceso psquico racional, subjetivo e interno de conocer, comprende juzgar y razonar los objetivos y hechos. El pensar produce el pensamiento. Pensamiento: Fenmeno psquico racional. Objetivo y externo derivado del pensar para la solucin de problemas. Lenguaje: Es le funcin de expresin del pensamiento en forma oral y escrita para la comunicacin y el entendimiento de los seres humanos.

Relacin entre lenguaje y pensamiento. La relacin entre pensamiento y lenguaje es fundamental en todo proceso de construccin del desarrollo personal. Una de las principales herramientas que el sujeto va a utilizar como vehculo favorecedor en el aprendizaje es el signo, es lo simblico, es el lenguaje, donde el papel del docente, la familia y los iguales es vital pues actuarn como dadores de modelos de imitacin que posteriormente sern interiorizados por el alumno a fin de darles un significado, un pensamiento. Si estudiamos por separado cualquier funcin psquica superior (atencin, memoria, pensamiento, lenguaje, etc.) estamos creando un modelo de persona alejado de cualquier rasgo social, de cualquier matiz interaccional y global, pero somos realmente as? Desde nuestro punto de vista pensamos que no, pues el ser humano es una criatura social desde que nace, donde el lenguaje es clave para su relacin con los dems y consigo mismo. Vigotsky hizo hincapi en este tema con una nueva psicologa donde la interaccin y las claves sociales, como el lenguaje, han de servirnos como parte integral y fundamental de nuestra formacin y desarrollo. De igual manera no podemos dejar de nombrar el concepto de zona de desarrollo prximo que da Vigostky puesto que en la educacin es importante que el docente distinga entre aquello que el alumno es capaz de aprender por s solo y lo que es capaz de aprender con ayuda de otras personas (amigo, adulto, compaero, etc.) de ah la vital importancia de la interaccin social en el proceso de adquisicin del lenguaje y del pensamiento. Para finalizar sealaremos que el lenguaje servir de herramienta al individuo para interiorizar cualquier aspecto de la sociedad en la que se halla inmerso, igualmente contribuir a la regulacin de su comportamiento y de esta forma podremos adelantar el aprendizaje al desarrollo de cada uno pretendiendo con esto atender las necesidades educativas especficas y crear en l un verdadero aprendizaje significativo. El problema del pensamiento y el lenguaje es tan antiguo como la propia psicologa; sin embargo, la relacin entre el lenguaje y el pensamiento es el aspecto que resulta menos estudiado. El anlisis atomista y funcional, que domin la psicologa cientfica a lo largo de la ltima dcada, dio lugar a considerar las funciones psquicas de forma aislada y a elaborar y perfeccionar mtodos de investigacin psicolgica aplicados al estudio de esos procesos aislados y separados entre s. Por lo anterior, debemos segmentar el complicado conjunto en unidades. Por unidad entendemos el
8

resultado del anlisis que, a diferencia de los elementos, goza de todas las propiedades fundamentales caractersticas del conjunto y constituye una parte viva e indivisible de la totalidad. Entonces, una psicologa que desee estudiar las unidades complejas tiene que comprender que debe sustituir los mtodos de descomposicin en elementos por un mtodo de anlisis que segmente en unidades. Definicin de Lgica La lgica es la ciencia que expone las leyes, modos y formas del conocimiento cientfico. Se trata de una ciencia formal que no tiene contenido, sino que se dedica al estudio de las formas vlidas de inferencia. Es decir, se trata del estudio de los mtodos y los principios utilizados para distinguir el razonamiento correcto del incorrecto. La palabra lgica viene del griego logos que significa tratado, palabra, razn, etc. la lgica la usamos diariamente aunque uno no se d cuenta, estudia la estructura del pensamiento, que es todo lo que contiene el pensamiento o el recipiente donde esta contenido. Para que all un pensamiento es necesario de estos factores: Sujeto.- lo estudia la antropologa. Para que all un pensamiento es necesario un sujeto, un hombre que piense. Actividad psquica.- lo estudia la psicologa. Cuando pensamos mezclamos el pensamiento junto con vivencias, percepciones e imgenes. Objeto.- lo estudia la antologa. Es la realidad o el contenido del pensamiento. El lenguaje.- lo estudia la lingstica. Es como se expresa el pensamiento La forma o estructura del pensamiento.- lo estudia la lgica. Es el recipiente donde esta contenido el recipiente y lleva varios pasos: concepto, juicio, raciocinio.

Campos de Estudio de la Lgica

Formas de Estructura del Pensamiento: La estructura del pensamiento es la forma de articular y distribuir las partes del pensamiento. Nos sirve para traer a la mente el pensamiento por medio de una imagen, smbolo, concepto o lenguaje. Su importancia es que por medio de la estructura del pensamiento podemos crear nuevas ideas, arte, historias para poder tomar decisiones, transmitirlos y comunicarnos.

Elementos del la estructura del pensamiento: Imagen: es nuestra principal fuente para construir nuestros conceptos, se puede manipular, es poder de visualizacin, permite representar nociones complejas o abstractas. Smbolos: es una representacin mental, se deriva mas por la abstraccin, representa a travs de un objeto, para representar un objeto o cualidad. Nos permite relacionar con lo que no est presente, ir al pasado, al futuro o la imaginacin. Concepto: son categoras para clasificar personas, objetos o hechos especficos. Nos permite diferenciar objetos semejantes o distintos accidentales, mientras ms preciso seas con tus conceptos tienes mayor dominio para dar tus resultados. Lenguaje: son los signos orales que emplean una comunidad para entenderse. Mismos que representan objetos o ideas, incluyendo: lengua, palabras, semntica, sntesis.

Leyes de la lgica Como punto de partida del estudio de las leyes que rigen el proceso del razonamiento, se han establecido ciertas leyes fundamentales, que se consideran generales, que son producto de la intuicin (resultado de un conocimiento directo e inmediato), y sobre los cuales se fundamentan todas las restantes normativas lgicas. Estos principios se consideran verdades axiomticas, evidentes por s mismas, que no tienen que, ni necesitan, demostrarse.

10

Son cuatro principios, los tres primeros enunciados por Aristteles y el cuarto agregado por Leibnitz.

El principio de Identidad: Desde el punto de vista del ser, (ontolgico) se enuncia expresando que todo objeto (de conocimiento) es igual a s mismo. Sin embargo, desde el punto de vista lgico, su enunciado se relaciona con la estructura de las proposiciones, expresando que el principio de identidad se verifica cuando en una proposicin verdadera el concepto contenido en el predicado es total o parcialmente idntico al concepto contenido en el sujeto: el tringulo tiene tres lados. El Principio de (no) Contradiccin: Tambin tiene una formulacin ontolgica conforme a la cual un objeto (de conocimiento) no puede ser y al mismo tiempo no-ser. Desde el punto de vista lgico, este principio se enuncia expresando que dos proposiciones contradictorias no pueden ser ambas verdaderas; o que toda contradiccin encierra una falsedad: Si es verdad que el tringulo tiene tres lados, no puede ser verdad que el tringulo no tiene tres lados En relacin a la lgica aristotlica, o clsica, puede decirse que el principio de no contradiccin es el fundamental de todos; al punto de que existen quienes lo consideran el nico principio, del cual se extraen los otros. El Principio de Tercero Excluido: Este principio est estrechamente vinculado con el de no contradiccin, al punto que a veces se lo distingue de ste expresando que mientras el de no contradiccin expresa que dos proposiciones contradictorias no pueden ser ambas verdaderas, el de tercero excluido expresa que dos proposiciones contradictorias no pueden ambas ser falsas. Sin embargo, es ms apropiado referir este principio al concepto de valor de verdad de la lgica clsica, conforme al cual una proposicin solamente puede tener valor de verdadera o de falsa; y por lo tanto, entre la verdad o la falsedad, no existe una tercera posibilidad. En consecuencia, la relacin con el principio de no contradiccin queda mejor expresada en cuanto al principio de tercero excluido, si se enuncia en el sentido de que de dos proposiciones contradictorias, necesariamente una a ser verdadera y la otra ha de ser falsa. El Principio de Razn Suficiente: Este principio fue enunciado por Leibnitz en un sentido ontolgico expresando que todo lo que existe tiene su razn de ser. Algunos filsofos le han dado una enunciacin en sentido lgico, expresando que todo juicio es falso o verdadero, por alguna razn; y por lo

11

tanto ha de ser posible justificar su veracidad o su falsedad por medio de la razn. De este principio, se considera derivado l: El Principio de Causalidad: Este principio, ms propiamente ontolgico, implica que todo lo que existe tiene una causa; por lo cual todo lo que es efecto de una causa puede convertirse a su vez en causa de otro efecto.

Los Mtodos

Mtodo lgico deductivo Mediante ella se aplican los principios descubiertos a casos particulares, a partir de un enlace de juicios. El papel de la deduccin en la investigacin es doble: a. Primero consiste en encontrar principios desconocidos, a partir de los conocidos. Una ley o principio puede reducirse a otra ms general que la incluya. Si un cuerpo cae decimos que pesa porque es un caso particular de la gravitacin b. Tambin sirve para descubrir consecuencias desconocidas, de principios conocidos. Si sabemos que la formula de la velocidad es v=e/t, podremos calcular la velocidad de un avin. La matemtica es la ciencia deductiva por excelencia; parte de axiomas y definiciones. Mtodo deductivo directo inferencia o conclusin inmediata. Se obtiene el juicio de una sola premisa, es decir que se llega a una conclusin directa sin intermediarios. Ejemplo: "Los libros son cultura" "En consecuencia, algunas manifestaciones culturales son libros" Mtodo deductivo indirecto inferencia o conclusin mediata - formal. Necesita de silogismos lgicos, en donde silogismo es un argumento que consta de tres proposiciones, es decir se comparan dos extremos (premisas o trminos) con un tercero para descubrir la relacin entre ellos. La premisa mayor contiene la proposicin universal, la premisa menor contiene la proposicin particular, de su comparacin resulta la conclusin. Ejemplo:

12

"Los ingleses son puntuales" "William es ingles" "Por tanto, William es puntual"

Mtodo hipottico-deductivo Un investigador propone una hiptesis como consecuencia de sus inferencias del conjunto de datos empricos o de principios y leyes ms generales. En el primer caso arriba a la hiptesis mediante procedimientos inductivos y en segundo caso mediante procedimientos deductivos. Es la va primera de inferencias lgico deductivo para arribar a conclusiones particulares a partir de la hiptesis y que despus se puedan comprobar experimentalmente.

Mtodo lgico inductivo Es el razonamiento que, partiendo de casos particulares, se eleva a conocimientos generales. Este mtodo permite la formacin de hiptesis, investigacin de leyes cientficas, y las demostraciones. La induccin puede ser completa o incompleta. Induccin completa. La conclusin es sacada del estudio de todos los elementos que forman el objeto de investigacin, es decir que solo es posible si conocemos con exactitud el nmero de elementos que forman el objeto de estudio y adems, cuando sabemos que el conocimiento generalizado pertenece a cada uno de los elementos del objeto de investigacin. Las llamadas demostraciones complejas son formas de razonamiento inductivo, solo que en ellas se toman muestras que poco a poco se van articulando hasta lograr el estudio por induccin completa. Ejemplo: "Al estudiar el rendimiento acadmico de los estudiantes del curso de tercero de administracin, estudiamos los resultados de todos los estudiantes del curso, dado que el objeto de estudio es relativamente pequeo, 25 alumnos. Concluimos que el rendimiento promedio es bueno. Tal conclusin es posible mediante el anlisis de todos y cada uno de los miembros del curso."

13

Induccin incompleta: Los elementos del objeto de investigacin no pueden ser numerados y estudiados en su totalidad, obligando al sujeto de investigacin a recurrir a tomar una muestra representativa, que permita hacer generalizaciones. Ejemplo: "los gustos de los jvenes colombianos en relacin con la msica"

El mtodo de induccin incompleta puede ser de dos clases: a. Mtodo de induccin por simple enumeracin o conclusin probable. Es un mtodo utilizado en objetos de investigacin cuyos elementos son muy grandes o infinitos. Se infiere una conclusin universal observando que un mismo carcter se repite en una serie de elementos homogneos, pertenecientes al objeto de investigacin, sin que se presente ningn caso que entre en contradiccin o niegue el carcter comn observado. La mayor o menor probabilidad en la aplicacin del mtodo, radica en el nmero de casos que se analicen, por tanto sus conclusiones no pueden ser tomadas como demostraciones de algo, sino como posibilidades de veracidad. Basta con que aparezca un solo caso que niegue la conclusin para que esta sea refutada como falsa. b. Mtodo de induccin cientfica. Se estudian los caracteres y/o conexiones necesarios del objeto de investigacin, relaciones de causalidad, entre otros. Este mtodo se apoya en mtodos empricos como la observacin y la experimentacin. Ejemplo: "Sabemos que el agua es un carcter necesario para todos los seres vivos, entonces podemos concluir con certeza que las plantas necesitan agua".

En el mtodo de induccin encontramos otros mtodos para encontrar causas a partir de mtodos experimentales, estos son propuestos por Mill: Mtodo de concordancia: Compara entre s varios casos en que se presenta un fenmeno natural y seala lo que en ellos se repite, como causa del fenmeno. Mtodo de diferencia: Se renen varios casos y observamos que siempre falta una circunstancia que no produce el efecto, permaneciendo siempre

14

todas las dems circunstancias, concluimos que lo que desaparece es la causa de lo investigado. Mtodo de variaciones concomitantes: Si la variacin de un fenmeno se acompaa de la variacin de otro fenmeno, concluimos que uno es la causa de otro. Mtodo de los residuos: Consiste en ir eliminando de un fenmeno las circunstancia cuyas causas son ya conocidas. La circunstancia que queda como residuo se considera la causa del fenmeno.

Mtodo lgico: la analoga Consiste en inferir de la semejanza de algunas caractersticas entre dos objetos, la probabilidad de que las caractersticas restantes sean tambin semejantes. Los razonamientos analgicos no son siempre validos.

El mtodo histrico Est vinculado al conocimiento de las distintas etapas de los objetos en su sucesin cronolgica, para conocer la evolucin y desarrollo del objeto o fenmeno de investigacin se hace necesario revelar su historia, las etapas principales de su desenvolvimiento y las conexiones histricas fundamentales. Mediante el mtodo histrico se analiza la trayectoria concreta de la teora, su condicionamiento a los diferentes perodos de la historia. Los mtodos lgicos se basan en el estudio histrico poniendo de manifiesto la lgica interna de desarrollo, de su teora y halla el conocimiento ms profundo de esta, de su esencia. La estructura lgica del objeto implica su modelacin. Mtodo sinttico Es un proceso mediante el cual se relacionan hechos aparentemente aislados y se formula una teora que unifica los diversos elementos. Consiste en la reunin racional de varios elementos dispersos en una nueva totalidad, este se presenta ms en el planteamiento de la hiptesis. El investigador sintetiza las superaciones en la imaginacin para establecer una explicacin tentativa que someter a prueba. Mtodo analtico

15

Se distinguen los elementos de un fenmeno y se procede a revisar ordenadamente cada uno de ellos por separado. La fsica, la qumica y la biologa utilizan este mtodo; a partir de la experimentacin y el anlisis de gran nmero de casos se establecen leyes universales. Consiste en la extraccin de las partes de un todo, con el objeto de estudiarlas y examinarlas por separado, para ver, por ejemplo las relaciones entre las mismas. Estas operaciones no existen independientes una de la otra; el anlisis de un objeto se realiza a partir de la relacin que existe entre los elementos que conforman dicho objeto como un todo; y a su vez, la sntesis se produce sobre la base de los resultados previos del anlisis.

Mtodo de la abstraccin Es un proceso importantsimo para la comprensin del objeto, mediante ella se destaca la propiedad o relacin de las cosas y fenmenos. No se limita a destacar y aislar alguna propiedad y relacin del objeto asequible a los sentidos, sino que trata de descubrir el nexo esencial oculto e inasequible al conocimiento emprico. Mtodo de la concrecin Mediante la integracin en el pensamiento de las abstracciones puede el hombre elevarse de lo abstracto a lo concreto; en dicho proceso el pensamiento reproduce el objeto en su totalidad en un plano terico. Lo concreto es la sntesis de muchos conceptos y por consiguiente de las partes. Las definiciones abstractas conducen a la reproduccin de los concreto por medio del pensamiento. Lo concreto en el pensamiento es el conocimiento ms profundo y de mayor contenido esencial. Mtodo gentico Implica la determinacin de cierto campo de accin elemental que se convierte en clula del objeto, en dicha clula estn presentes todos los componentes del objeto as como sus leyes ms trascendentes. Mtodo de la modelacin Es justamente el mtodo mediante el cual se crean abstracciones con vistas a explicar la realidad. El modelo como sustituto del objeto de investigacin. En el modelo se revela la unidad de lo objetivo y lo subjetivo. La modelacin es el mtodo que opera en forma prctica o terica con un objeto, no en forma directa, sino utilizando cierto sistema intermedio, auxiliar, natural o artificial.

16

Mtodo sistmico Est dirigido a modelar el objeto mediante la determinacin de sus componentes, as como las relaciones entre ellos. Esas relaciones determinan por un lado la estructura del objeto y por otro su dinmica. Mtodo dialctico La caracterstica esencial del mtodo dialctico es que considera los fenmenos histricos y sociales en continuo movimiento. Dio origen al materialismo histrico, el cual explica las leyes que rigen las estructuras econmicas y sociales, sus correspondientes superestructuras y el desarrollo histrico de la humanidad. Aplicado a la investigacin, afirma que todos los fenmenos se rigen por las leyes de la dialctica, es decir que la realidad no es algo inmutable, sino que est sujeta a contradicciones y a una evolucin y desarrollo perpetuo. Por lo tanto propone que todos los fenmenos sean estudiados en sus relaciones con otros y en su estado de continuo cambio, ya que nada existe como un objeto aislado. Este mtodo describe la historia de lo que nos rodea, de la sociedad y del pensamiento, a travs de una concepcin de lucha de contrarios y no puramente contemplativa, ms bien de transformacin. Estas concepciones por su carcter dinmico exponen no solamente los cambios cuantitativos, sino los radicales o cualitativos. Aunque no existen reglas infalibles para aplicar el mtodo cientfico, Mario Bunge considera las siguientes como algunas de las ms representativas: Formulacin precisa y especfica del problema Proponer hiptesis bien definidas y fundamentadas Someter la hiptesis a una contrastacin rigurosa No declarar verdadera una hiptesis confirmada satisfactoriamente Analizar si la respuesta puede plantearse de otra forma

Mtodos empricos Definidos de esa manera por cuanto su fundamento la percepcin directa del objeto de investigacin y del problema radica en

17

Divisiones de la lgica Podemos clasificar los tipos de lgica desde dos puntos de vista, la lgica clsica y la moderna. Sin embargo dicha clasificacin slo sirve para efectos histricos, de ah que mejor proponemos dividir, los distintos tipos de lgica, respecto a los objetos que trata. La Lgica Formal Es conocida tambin como lgica clsica o aristotlica, Se imputa al filosofo Aristteles ser el creador de la misma, aunque ya existan antecedentes en Parmenides y Zeleo. As mismo con el paso del tiempo, con la evolucin de algunas corrientes matemticas, especficamente las aportaciones realizadas por los matemticos Euler y Boole, a la lgebra, se da inicio a la Lgica Moderna, Matemtica, Simblica o Logstica. De esta lgica moderna, se desprende la semitica, lgica dentica, modal, cuantificacional y proposicional. La Semitica Es la lgica de los smbolos y se divide en tres partes: sintaxis, semntica y pragmtica. La primera trata de las relaciones de los smbolos entre s, prescindiendo de su contenido. La segunda trata de las relaciones entre el smbolo y lo que significa. La tercera trata de las relaciones entre el smbolo y el sujeto que lo utiliza. La lgica dentica Se formaliza a travs de conceptos relacionados con el deber. Este tipo de lgica se utiliza en el Derecho, infirindose del mismo, la denominada lgica de las normas. La lgica modal Lo hace en los conceptos de necesidad y posibilidad. La lgica de clases Relaciona conceptos con propiedades (sujeto y predicado), estudia adems las implicaciones de unas clases con otras, las cuales suelen ser representados grficamente mediante crculos (mejor conocidos como diagramas de Venn) empleando la denominada lgebra booleana. La lgica cuantificacional Que estudia de manera ms detallada los predicados a travs del uso de cuantificadores que expresan cantidad (todos o algunos ).
18

La lgica proposicional Analiza los razonamientos formalmente vlidos partiendo de proposiciones y conectivas proposicionales (operadores lgicos). Esta lgica simblica De la que nos estamos refiriendo, emplea un lenguaje artificial en la que simboliza las proposiciones generalmente con las letras p, q, r, s, t utilizando de operadores lgicos, tambin llamados conectores, functores, juntores, para poder construir formulas operando sobre las variables proposicionales y las proposiciones complejas

Mtodos de estudio de la historia de la lgica Historia de la Lgica Histricamente la palabra "lgica" ha ido cambiando de sentido. Comenz siendo una modelizacin de los razonamientos, propuesta por los filsofos griegos, y posteriormente ha evolucionado hacia diversos sistemas formales, relacionados con la teora. Etimolgicamente la palabra lgica deriva del trmino griego logiks derivado de logos 'razn'. Histricamente se considera a Aristteles el fundador de la lgica como propedutica o herramienta bsica para todas las Ciencias, ya que fue el primero en formalizar completamente el campo. La lgica formal, como un anlisis explcito de los mtodos de razonamientos, se desarroll originalmente en tres civilizaciones de la historia antigua: China, India y Grecia entre el Siglo V y el Siglo I a. C. En China no dur mucho tiempo: la traduccin y la investigacin escolar en lgica fue reprimida por la dinasta Qin, acorde con la filosofa legista. En India, la lgica dur bastante ms: se desarroll (por ejemplo con la nyaya) hasta que en el mundo islmico apareci la escuela de Asharite, la cual suprimi parte del trabajo original en lgica. (A pesar de lo anterior, hubo innovaciones escolsticas indias hasta principios del siglo XIX, pero no sobrevivi mucho dentro de la India Colonial). El tratamiento sofisticado y formal de la lgica moderna aparentemente proviene de la tradicin griega. Aristteles fue el primero en emplear el trmino Lgica para referirse al estudio de los argumentos dentro del "lenguaje apofntico" como manifestador de la verdad en la ciencia. Pensaba que la verdad se manifiesta en el juicio verdadero y el argumento vlido en el silogismo: Silogismo es un
19

argumento en el cual, establecidas ciertas cosas, resulta necesariamente de ellas, por ser lo que son, otra cosa diferente. Naci as la lgica formal. Aristteles formaliz el cuadro de oposicin de los juicios y las formas vlidas del silogismo. Kant en el siglo XVIII pensaba que Aristteles haba llevado la lgica formal a su perfeccin, por lo que bsicamente hasta entonces no haba habido prcticamente modificaciones de importancia. Y lo justificaba al considerar que siendo la lgica una ciencia formal, era por ello analtica y a priori, lo que justifica su necesidad y su universalidad, pues es la razn la que trata consigo misma respecto a sus leyes del pensar, sin contenido de experiencia alguno. En la filosofa tradicional, por otro lado, la Lgica Informal, o el estudio metdico de los argumentos probables fue investigada por la retrica, la oratoria y la filosofa, entre otras ramas del conocimiento. Se especializ medularmente en la identificacin de falacias y paradojas, as como en la construccin correcta de los discursos. Aristteles asimismo consider el argumento inductivo, base de lo que constituye la ciencia experimental, cuya lgica est ligada al progreso de la ciencia y al mtodo. A partir de mediados del Siglo XIX la lgica formal comenz a ser estudiada en el campo de las matemticas y posteriormente por las ciencias computacionales, naciendo as la Lgica simblica. La lgica simblica trata de esquematizar los pensamientos de forma clara y sin ambigedades. Para ello usa un lenguaje formalizado constituido como clculo. De este modo, en la edad contempornea, la lgica generalmente es entendida como un clculo y se aplica a los razonamientos en una forma prescripta mediante aplicacin de reglas de inferencia como un clculo lgico o matemtico. Hoy da se considera una nica ciencia lgico-matemtica cuya expresin ms importante en el campo de la ciencia es la creacin de modelos gracias sobre todo a la aplicacin tcnica en los circuitos lgicos que hacen posible la informtica y el clculo numrico. Si bien a lo largo de este proceso la lgica aristotlica pareci intil e incompleta, Luckasiewicz mostr que, a pesar de sus grandes dificultades, la lgica aristotlica era consistente, si bien haba que interpretarse como lgica de clases, lo cual no es pequea modificacin. Por ello la silogstica prcticamente no tiene uso actualmente.
20

Para la Lgica matemtica y la filosofa analtica la lgica es un objeto de estudio en s mismo, por lo que esta es estudiada a un nivel ms abstracto. Existen muchos otros sistemas lgicos, como la lgica dialctica, lgica difusa, lgica probabilstica, lgica modal y la lgica no montona. Martin Heidegger discpulo de Edmund Husserl, se aparta de estas lneas de consideracin de la lgica aunque sin despreciarlas y comprendiendo su alcance (pero tambin sus lmites), planteando que una lgica ms originaria se podra encontrar en un plano previo a las proposiciones, sentencias, declaraciones o juicios. Tomar en cuenta eso podra llevar a un replanteamiento de la lgica de la proposicin o la lgica del juicio, puesto que nos conducira a movernos en las races de la lgica tal como ha sido habitualmente entendida, races que hasta ahora han sido insuficientemente atendidas. Para l, la lgica tendra que partir de una suficiente meditacin del (lgos), el cual debera ser distinguido de la ratio (razn), que, en rigor, significa algo distinto. Historia de la Lgica en el mundo La historia de la lgica documenta el desarrollo de la lgica en varias culturas y tradiciones a lo largo de la historia. Aunque muchas culturas han empleado intrincados sistemas de razonamiento, e, incluso, el pensamiento lgico estaba ya implcito en Babilonia en algn sentido, la lgica como anlisis explcito de los mtodos de razonamiento ha recibido un tratamiento sustancial solo originalmente en tres tradiciones: la china, la india y la griega. Aunque las dataciones exactas son inciertas, particularmente en el caso de la India, es probable que la lgica emergiese en las tres sociedades hacia el siglo IV a. C. El tratamiento formalmente sofisticado de la lgica proviene de la tradicin griega, especialmente de la lgica aristotlica, que sera ms tarde desarrollada por los lgicos islmicos y, luego, por los lgicos de la Edad Media europea. El descubrimiento de la lgica india entre los especialistas britnicos en el siglo XVIII influy tambin en la lgica moderna. La Lgica en Mesopotamia En Mesopotamia, el Manual de diagnstico mdico de Esagil-kin-apli, escrito en el siglo XI a. C., se bas en un conjunto lgico de axiomas y asunciones, entre las que se incluyen la visin moderna de que, a travs del examen e inspeccin de los sntomas de un paciente, es posible determinar el problema del mismo, su etiologa y su desarrollo futuro, y las posibilidades de recuperacin.

21

Durante los siglos VIII y VII, los astrnomos babilonios empezaron a utilizar una lgica interna en sus sistemas de prediccin planetaria, que fue una importante contribucin a la lgica y la filosofa de la ciencia. El pensamiento babilnico tuvo una considerable influencia en el pensamiento de la Grecia arcaica. La Lgica en Grecia En Grecia, emergieron dos tradiciones lgicas opuestas. La lgica estoica estaba enraizada en Euclides de Megara, pupilo de Socrates, y con su concentracin en la lgica proposicional es la que quizs est ms prxima a la lgica moderna. Sin embargo, la tradicin que sobrevivi a las influencias de culturas posteriores fue la peripattica, que tuvo su origen en el conjunto de obras de Aristteles conocido como rganon, "instrumento", la primera obra griega sistemtica sobre lgica. El examen de Aristteles del silogismo permite interesantes comparaciones con el esquema indio de la inferencia y la menos rgida discusin china. A travs del latn en Europa occidental y de distintas lenguas orientales, como el rabe, armenio y georgiano, la tradicin aristotlica fue considerada de forma especial para la codificacin de las leyes del razonamiento. Solo a partir del siglo XIX cambi este enfoque. La Lgica en la India Dos de las seis escuelas indias de pensamiento estn relacionadas con la lgica: Nyaya y Vaisheshika. Los Nyaya Sutras de Aksapada Gautama constituyen el ncleo de textos de la escuela Nyaya, una de las seis escuelas ortodoxas de filosofa hind. Esta escuela realista trabaj con un rgido esquema de inferencia de cinco miembros que engloba una premisa inicial, una razn, un ejemplo, una aplicacin y una conclusin. La filosofa budista idealista se convirti en la principal oponente de los Naiyayikas. Nagarjuna, el fundador del camino intermedio Madhyamika, desarroll un anlisis conocido como "catuskoti" o tetralemma. Esta argumentacin de cuatro aspectos examin y rechaz sistemticamente la afirmacin de una proposicin, su negacin, la afirmacin conjunta y negacin, y finalmente, el rechazo de su afirmacin y negacin. Pero fue con Dignaga y su sucesor Dharmakirti con quienes la lgica budista alcanz su mayor altura. Su anlisis, centrado en la definicin de la implicacin necesariamente lgica, "vyapti", conocida tambin como concomitancia o penetracin invariable. A este fin, fue desarrollada una doctrina conocida como "apoha" o diferenciacin. Comprende lo que se podra llamar la inclusin y exclusin de propiedades definitorias. Las dificultades concernientes a esta empresa, en
22

parte, estimularon a la escuela neo escolstica de Navya-Nyya, que introdujo un anlisis formal de la inferencia en al siglo XVI. La Lgica en China En China, un contemporneo de Confucio, Mozi, "Maestro Mo", es considerado como el fundador de la escuela Mohista (mohsmo), cuyos principios estn relacionados con temas como la inferencia vlida y las condiciones de las conclusiones correctas. En particular, una de las escuelas que siguieron al mohsmo, los lgicos, es considerada por varios expertos como la primera que investig la lgica formal. Desafortunadamente, debido a la rgida normativa legal durante la dinasta Qin, esa lnea de investigacin desapareci de China hasta la introduccin de la filosofa india por parte del budismo. La Lgica en la filosofa Islmica Durante un tiempo tras la muerte de Mahoma, la ley islmica consider importante formular estndares para los argumentos, lo que dio lugar a una nueva aproximacin a la lgica en Kalam, pero esta aproximacin fue ms tarde desplazada por ideas tomadas de la filosofa griega y helenstica con el auge de los filsofos de la escuela Mu'tazili, que valoraron extraordinariamente el rganon de Aristteles. Las obras de los filsofos islmicos con influencias helensticas fueron cruciales para la recepcin de la lgica aristotlica en la Europa medieval, junto con los comentarios sobre el rganon elaborados por Averroes. Las obras de al-Farabi, Avicenna, alGhazali y otros lgicos musulmanes que en ocasiones criticaron y corrigieron la lgica aristotlica e introdujeron sus propias formas de lgica, tambin desempearon un papel central en el subsecuente desarrollo de la lgica europea medieval. La lgica islmica no solo incluye el estudio de modelos formales de inferencia y su validacin, sino tambin elementos de la filosofa del lenguaje y elementos de epistemologa y metafsica. Debido a disputas con gramticos rabes, los filsofos islmicos estuvieron muy interesados en trabajar en el estudio de las relaciones entre lgica y lenguaje, y dedicaron muchas discusiones a la cuestin del objeto de inters y objetivos de la lgica en relacin con el razonamiento y el habla. En el rea del anlisis lgico-formal, elaboraron la teora de los trminos, proposiciones y silogismos. Consideraron el silogismo como la forma a la que toda argumentacin racional poda reducirse, y consideraron la teora silogstica como el punto central de la lgica. Incluso, la potica fue considerada, en

23

ciertos aspectos, como un arte silogstico por muchos de los ms importantes lgicos islmicos. Entre los ms importantes desarrollos realizados por los lgicos musulmanes est el de la lgica de Avicena como sustituta de la lgica aristotlica. El sistema lgico de Avicena fue responsable de la introduccin del silogismo hipottico, de la lgica modo-temporal, y de la lgica inductiva. Otro importante desarrollo en la filosofa islmica es el de una estricta ciencia de la cita, la isnad o "revisin", y el desarrollo de un mtodo cientfico de investigacin abierta para poner en cuestin determinadas afirmaciones, la ijtihad, que poda aplicarse normalmente a muchos tipos de cuestiones. Desde el siglo XII, a pesar de la sofisticacin lgica de al-Ghazali, el auge de la escuela Asharite al final de la Edad Media limit poco a poco la obra original sobre lgica en el mundo islmico, aunque continu posteriormente en el siglo XV. La Lgica en la Europa medieval Se entiende habitualmente por "lgica medieval" (tambin conocida como "lgica escolstica") la forma de la lgica aristotlica desarrollada en la Europa medieval en el periodo de c 1200 1600. Esta tarea comenz tras las traducciones al latn del siglo XII, cuando textos rabes sobre lgica aristotlica y la lgica de Avicena fueron traducidos a la lengua de Roma. Aunque la lgica de Avicena tuvo influencia en los primeros lgicos medievales europeos tales como Alberto Magno, la tradicin aristotlica se convirti en la dominante debido a la importante influencia del averrosmo. Tras la fase inicial de traducciones, la tradicin de la lgica medieval fue desarrollada en manuales como el de Petrus Hispanus (fl. siglo XIII), de identidad desconocida, que fue autor de un manual estndar sobre lgica, el Tractatus, que fue bien conocido en Europa durante varios siglos. La tradicin alcanz su punto ms alto en el siglo XIV, con las obras de Guillermo de Ockham (c. 12871347) y Jean Buridan. Un rasgo del desarrollo de la lgica aristotlica se conoce con el nombre de teora de la suposicin, un estudio de la semntica de los trminos de la proposicin. La ltimas grandes obras de esta tradicin son Logic de John Poinsot (1589 1644, conocido como John of St Thomas), y Disputas metafsicas de Francisco Surez (15481617).

24

La Lgica tradicional La expresin "lgica tradicional" hace referencia, habitualmente, a la tradicin de manuales que comienza con Logic, or the Art of Thinking de Antoine Arnauld y Pierre Nicole, ms conocido como Lgica de Port-Royal. Publicada en 1662, fue la ms influyente obra sobre lgica en Inglaterra hasta el Sistema Lgico de Mill de 1825 [N4]. El libro presenta una muy libre doctrina cartesiana (que la proposicin es una combinacin de ideas antes que de trminos, por ejemplo) dentro de un marco que se deriva ampliamente de la lgica de trminos aristotlica y medieval. Entre 1664 y 1700 se publicaron ocho ediciones, y el libro tuvo considerable influencia. Fue frecuentemente reeditado en Inglaterra hasta finales del siglo XIX. El tratamiento que realiza Locke de la proposicin en el Ensayo es, esencialmente, el de Port-Royal: "Las proposiciones verbales, que son palabras, [son] los signos de nuestras ideas, ya vayan juntas o separadas en oraciones afirmativas o negativas. As, pues, la proposicin consiste en juntar o separar esos signos, de acuerdo con las cosas con las que estn de acuerdo o en desacuerdo." (Locke, An Essay Concerning Human Understanding, IV. 5. 6) Los trabajos ms conocidos dentro de esta tradicin son los de Isaac Watts, Logick: Or, the Right Use of Reason (1725), Richard Whately, Logic (1826), y John Stuart Mill, A System of Logic (1843), que fue una de las ltimas grandes obras de la tradicin.

El advenimiento de la Lgica moderna Histricamente, Descartes puede que haya sido el primer filsofo en haber tenido la idea de usar el lgebra, especialmente sus tcnicas para resolver cantidades desconocidas en las ecuaciones, como vehculo para la exploracin cientfica. La idea de un clculo de razonamiento fue tambin cultivada por Gottfried Wilhelm Leibniz. Leibniz fue el primero en formular la nocin de un sistema de lgica matemtica aplicable de forma generalizada. Sin embargo, los documentos relevantes al respecto no fueron publicados hasta 1901 y muchos de ellos siguen sin estar publicados, y la actual comprensin del poder de los descubrimientos de Leibniz no empez a desarrollarse hasta los aos ochenta. Gottlob Frege en su Begriffsschrift (1879) extendi la lgica formal ms all de la lgica proposicional para incluir constructores como "todo" y "algunos". Mostr cmo introducir variables y cuantificadores para revelar la estructura
25

lgica de las oraciones, que podra estar ocultas tras su estructura gramatical. Por ejemplo, "Todos los seres humanos son mortales" se convierte en "Toda cosa x es tal que, si x es un ser humano entonces x es mortal." La peculiar doble notacin dimensional de Frege hizo que su obra fuese ignorada durante muchos aos. En un magistral artculo de 1885 ledo por Peano, Ernst Schrder y otros, Charles Peirce introdujo el trmino "Lgica de segundo orden" proporcionando la mayor parte de la moderna notacin lgica, incluyendo los smbolos prefijados para la cuantificacin universal y existencial. Los lgicos de finales del siglo XIX y de comienzos del XX estuvieron ms familiarizados con el sistema lgico de Peirce-Schrder, aunque generalmente se reconoce que Frege es el Padre de la lgica moderna. En 1889 Giuseppe Peano public la primera versin de la axiomatizacin lgica de la aritmtica. Cinco de los nueve axiomas son conocidos como axiomas de Peano. Uno de estos axiomas fue una formalizacin del principio de la induccin matemtica.

26

CONCLUSIN
La lgica es una ciencia.- la lgica tiene la categora de conocimiento cientfico, con todas las cualidades que se le suelen asignar a este tipo superior de conocimiento, como son: el rigor, la exactitud, la universalidad, la necesidad, la sistematizacin. Ciencia es un conocimiento cierto de las causas. Ciencia es un conocimiento seguro, solido, firme. Un conocimiento cientfico, en la medida en que d las razones de lo que afirma. La lgica es tambin un arte? El objeto material de una ciencia es la cosa, el contenido, el tema (o materia) que trata dicha ciencia. La lgica es una ciencia cuyo objeto material est constituido por los pensamientos? Pensamiento es toda representacin mental de cualquier objeto. La lgica estudia el pensamiento en general? Es estudiar los pensamientos en cuanto a sus formas mentales; o tambin estudiar las formas mentales de los pensamientos. Lgica es la ciencia que estudia los pensamientos en cuanto a sus formas mentales para facilitar el raciocinio correcto y verdadero.

27

ANEXOS

Aristteles. Euclides.

28

BIBLIOGRAFIA
Viernes 30-09-11 http://webcache.googleusercontent.com/search?q=cache:PZlO2pI9vIgJ:bvs.s ld.cu/revistas/aci/vol11_4_03/aci02403.htm+El+conocimiento+como+reflejo+ de+la+realidad&cd=1&hl=es&ct=clnk&gl=ve Sbado 01-10-11 http://www.monografias.com/trabajos7/sepe/sepe.shtml http://www.ucsm.edu.pe/rabarcaf/fividu05.htm http://www.angelfire.com/ia3/aisite/raz_logico.htm http://wwwhttp://es.wikipedia.org/wiki/Raz%C3%B3n http://html.rincondelvago.com/lenguaje-ypensamiento.html.prepafacil.com/enp/Main/ConceptoDeLogicaFormal http://eduardom1im8.blogspot.es/ Lunes 03-10-11 http://www.liceodigital.com/filosofia/logica.htm http://www.educared.org/wikiEducared/Introducci%C3%B3n_a_la_l%C3%B3 gica_formal.html http://www.tuobra.unam.mx/publicadas/050707190037-Tipos.html http://es.wikibooks.org/wiki/Aprende_L%C3%B3gica/Historia

29