Introduccion a la logica formal

PARTE I
1.1 PENSAR
Es aquel acto que pone en funcionamiento el cerebro humano para permitir conocer, imaginar, abstraer, analizar o comparar el mundo que lo rodea o inventarse fantasías.
1.2 PENSAMIENTO
Es el producto de un proceso psicológico. Es aquel que se desprende de las relaciones entre los objetos y procede de la propia elaboración del individuo. El pensamiento lógico es indispensablepara solucionar los problemas cotidianos y para el avance de la ciencia, pues significa, sacar conclusiones de las premisas contenidas en ellas, pero no observables en forma directa.
2.1 CONTENIDO Y FORMAS DEL PENSAMIENTO
En cada pensamiento debemos distinguir la materia y la forma. La materia es el contenido, el objeto acerca del cual se piensa. Es el dato de la experiencia sencilla. La forma,en cambio, es el modo por el cual el pensamiento se convierte en propiedad de nuestro intelecto.
Tanto la materia como la forma son conceptos correlativos, de manera que ninguno de ellos puede existir sin el otro. No hay conocimiento sin forma, ni tampoco puede darse una forma una forma vacía, desprovista de contenido. Sin embargo, somos capaces de considerar uno de los términos independientesde la determinación particular del otro.
2.1.1 EL CONCEPTO
Es en cierto sentido, abstracto: un pensamiento. Se alcanza partiendo de lo inmediato, de la impresión sensible y del contenido. Lo inmediato es cierto sentido, es lo concreto. El concepto es un pensamiento que para formarlo hay que superar lo inmediato, la apariencia y descubrir la unidad esencial de los fenómenos, su conexión, que noaparece inmediatamente. El concepto es un producto mas elevado de la actividad pensante.
2.1.2 LAS PROPOSICIONES
Es un producto lógico del pensamiento que se expresa mediante el lenguaje, sea este un lenguaje común, cuando adopta la forma de oración gramatical, o simbólico, cuando se expresa por medio de signos o símbolos. En lógica tradicional se distingue la proposición y el juicio, por cuantola primera es el producto lógico del acto por el cual se afirma o se niega algo de algo, mientras que ese acto constituye el juicio.
2.1.3 EL JUICIO
Es el acto del entendimiento que compara dos conceptos y afirma la relación de conveniencia o disconveniencia entre ellos, se dice que es el acto de entendimiento, porque efectivamente es la segunda operación del espíritu que sigue a la simpleaprehensión que nos permite formarnos el concepto.
2.1.4 EL RAZONAMIENTO.
Es una operación lógica mediante la cual, partiendo de uno o más juicios, se deriva la validez, la posibilidad o la falsedad de otro juicio distinto. El estudio de los argumentos corresponde a la lógica, de modo que a ella también le corresponde indirectamente el estudio del razonamiento. Por lo general, los juicios en que sebasa un razonamiento expresan conocimientos ya adquiridos o, por lo menos, postulados como hipótesis.

PARTE II
1.1 LÓGICA
La denominación de la lógica, está directamente relacionada con la palabra griegalogos, cuyo significado en griego antiguo es equivalente a “pensamiento” o “razón”, pero también “palabra” o “conocimiento”; y logiké era “lo relativo al logos” En definitiva, se trata delestudio de la forma en que funciona la facultad humana de pensar y razonar.
La lógica formal también llamada lógica pura - que es la lógica propiamente dicha - es precisamente la “ciencia” (en cuanto conocimiento) que determina cuáles son las formas correctas y válidas de los raciocinios; pero lo hace considerándolos en sí mismos y con prescindencia de los contenidos concretos de los razonamientos, esdecir, considerando esos contenidos como entes lógicos abstractos, de tal manera que las leyes a aplicar tengan validez para cualquier contenido concreto.
1.2 SILOGISMO Y TIPOS
Un silogismo es un razonamiento en el cual la conclusión es deducida a partir de dos premisas. Por este motivo, en la lógica clásica se los denomina inferencias mediatas
• El silogismo categórico es el que se compone...