Anda di halaman 1dari 50

UNIVERSIDAD PERUANA LOS ANDES

Facultad de Ingeniera

Tema: Cmo la lgica formal influye en el desarrollo del pensamiento humano?

Escuela Profesional: Ingeniera Civil

Ciclo: I

Curso: Matemtica Bsica

Profesora: Luz Mara Pelaiza

Integrantes:

CAMAC ARZAPALO, Jhosep Pierd K00499D

KAM BROCOS, Franklin Piero K00906A

VILLASANA SAENZ, Jhakelyne Pilar K10641B

VILLAVICENCIO LA ROSA, Nicol Alexandra

2017- HYO-PER
Dedicatoria

Dedicamos este trabajo en primer lugar a Dios que nos permiti estar con vida para elaborar

nuestros trabajos, a las personas que nos guiaron para la elaboracin de esta monografa y a

nosotros mismos por poner el esfuerzo para el cumplimento de esta monografagg.

2
Agradecimientos

Agradezco a las personas que nos ayudaron en la elaboracin de la monografa como a la

Lic. Mara Pelaiza por dejarnos hacer el trabajo como tambin a las personas que contribuyeron

en la elaboracin del trabajo.

3
PRESENTACION DEL TEMA

El tema de la siguiente monografa es Como la lgica formal influye en el desarrollo del

pensamiento humano? Como sabemos el pensamiento lgico es aquel que se desprende de las

relaciones entre los objetos y procede de la propia elaboracin del individuo. Surge a travs de la

coordinacin de las relaciones que previamente ha creado entre los objetos.

Es importante tener en cuenta que las diferencias y semejanzas entre los objetos slo

existen en la mente de aquel que puede crearlas. Por eso el conocimiento lgico no puede ensearse

de forma directa. En cambio, se desarrolla mientras el sujeto interacta con el medio ambiente.

El pensamiento lgico segn: Inhelder y Piaget proponen dos tipos de caractersticas del

pensamiento operatorio formal:

El pensamiento lgico es aquel que se desprende de las relaciones entre los objetos y

procede de la propia elaboracin del individuo. Surge a travs de la coordinacin de las relaciones

que previamente ha creado entre los objetos.

Es importante tener en cuenta que las diferencias y semejanzas entre los objetos slo

existen en la mente de aquel que puede crearlas. Por eso el conocimiento lgico no puede ensearse

de forma directa. En cambio, se desarrolla mientras el sujeto interacta con el medio ambiente.

4
INDICE

CARATULA.1

DEDICATORIA....2

AGRADECIMIENTO...3

PRESENTACION DEL TEMA............................................................................................4

INDICE..5

INTRODUCCION ....7

1. OBJETIVO GENERAL.8

2. OBJETIVO ESPECIFICO.8

CAPITULO I: EL PENSAMIENTO ....9

1. ORIGEN DEL PENSAMIENTO......9

2. NIVELES DE PENSAMIENTO....11

3. HABILIDADES DEL PENSAMIENTO...14

CAPITULO 2: APRENDIZAJE....17

1.QUE ES EL APRENDISAJE.17

2. ESTRATEGIAS DEL APRENDISAJE.18

CAPITULO 3: LA LOGICA .21

3.1 DEFINICION DE LA LOGICA...21

3.2 UTILIDAD DE LA LOGICA..21

3.3 DIVICION DE LA LOGICA23

3.4 TIPOS DE LOGICA 25

3.5 LEYES DE LA LOGICA..27

3.6 PRINCIPIOS DE LA LOGICA31

5
CAPITULO 4: LA LOGICA FORMAL..35

4.1 DEFINICION DE LOGICA FORMAL.....35

4.2 DIVISION DE LA LOGICA FORMAL36

4.3 CARACTERISTICAS DE LA LOGICA FORMAL.37

4.4 TIPOS DE LA LOGICA FORMAL..38

4.5 IMPORTANCIA DE LA LOGICA FORMAL.45

4.6 OBJETIVO DE LA LOGICA FORMAL.47

4.7 APLICACIN DE LA LOGICA FORMAL EN LA VIDA DIARIA..48

CONCLUCION...........................................................................................................................49

BIBLIOGRAFIA ....50

6
INTRODUCCION

El desarrollo humano no solo no solo se basa en lo fsico sino tambin en su desarrollo de

su pensamiento pero para ese desarrollo existen ciencias que lo estudian tales como la psicologa,

la Lgica formal, la lgica dialctica, la matemtica, entre otras pero en este trabajo nos vamos

enfocar en la segunda alternativa que es la Lgica formal que es una ciencia que no solo influye

en trabajar en la lgica prcticamente que est dada por premisas ya demostradas dando as a

entender que su propsito es necesaria para que el individuo o la persona sea capaz de solucionar

los problemas cotidianos de nuestra vida y que pueda sacar una premisa propia.

Como tambin es importante la manera de pensar ya que el individuo pueda que a su

manera pueda solucionar los problemas de su entorno adems la ciencia o la carrera que acompaa

es la pedagoga ya que lo demuestra el padre de la psicologa moderna Jean Piaget que seala que

el pensamiento lgico es el que no existe por s mismo en la realidad (en los objetos). La fuente de

este razonamiento est en el sujeto y ste la construye por abstraccin reflexiva. De hecho se deriva

de la coordinacin de las acciones que realiza el sujeto con los objetos seala Piaget.

La monografa se inicia recordando que antes que naciera el hombre, ya las ciencias

naturales demostr que en la Tierra, se haba originado procesos orgnicos producto de los

fenmenos inorgnicos. Es decir, el pensamiento del hombre es producto de la transformacin del

mono al hombre, producto de trabajo y su relacin con el medio social. La prctica social fue la

principal fuerza motriz, para el surgimiento del desarrollo del hombre, como ser pensante. Todo

conocimiento humano surge con la prctica, el cual se halla vinculado con la sensacin la

percepcin y la representacin, las mismas que contribuyen a reflejar en el pensamiento el medio

mundo material, el mundo exterior.

7
PROBLEMA

Cmo la lgica formal influye en el desarrollo del pensamiento humano?

OBJETIVOS ESPECIFICOS

Conocer como la lgica formar logra influir a nuestro desarrollo como personas ya que nos

permite desarrollar y solucionar los problemas.

Investigar y desarrollar diversas tcnicas de investigacin para adquirir diversas

habilidades para investigar y adquirir los conocimientos.

OBJETIVO GENERAL

Investigar a fondo y rebuscar informacin confiable en diversas fuentes confiables para

conocer ms sobre el tema que es La Influencia de la Lgica Formal en el Desarrollo del

Pensamiento Humano.

8
CAPITULO I

EL PENSAMIENTO

1. ORIGEN DEL PENSAMIENTO

El pensamiento es una funcin superior del cerebro.

Nace como una actividad especializada de un grupo de neuronas localizadas en el lbulo frontal

de la masa enceflica. De los procesos integrativos de mximo nivel, el pensar constituye la mayor

expresin del alcance evolutivo del ser humano como ente superior a todas las especies. Detrs de

todo lo que se ha inventado en el mundo, siempre ha existido primero una idea. La invencin del

carro, la construccin de una casa o la organizacin ms compleja de cualquier sociedad, son

circunstancias que estuvieron precedidas por una idea que las origin.

Como definicin, el pensamiento es la aparicin de una serie de ideas que se generan para resolver

una tarea o un problema. Cada ocasin que el hombre ha enfrentado cualquier situacin, en su

mente se elaboraron como respuesta a esa situacin una serie de ideas para resolverla.

Por ejemplo estoy con mi carro parado frente a un semforo cuya luz est en rojo, de repente la

luz roja cambia a verde y decido acelerar para continuar mi marcha. Analicemos cerebralmente

esto el cambio al color verde del semforo es el estmulo o la tarea. Este estmulo se integra en

mi lbulo frontal y prontamente nacen en mis neuronas una serie de ideas cuyo resultado hace que

yo acelere el carro para continuar mi marcha. A la percepcin, integracin, organizacin y

respuesta a ese estmulo, tarea o problema, las ideas que se generaron como su consecuencia, los

neuropsiquiatras la denominamos el pensamiento. Este proceso dinmico e incontenible, se forma

por dos etapas que lo llevan a una finalidad. La primera fase en su construccin se denomina la

etapa del pensamiento concreto. Esta comienza en la infancia y se caracteriza porque en su

9
contenido solo se tienen ideas concretas que se basan en la denominacin de las propiedades fsicas

de los objetos. As, el nio cuando comienza a pensar dice mam, pap, casa, perro, etc.

Este pensamiento lo que hace es concretizar las cosas y darles su significado por su nombre, pero

sin analizar para qu sirven o cul es su funcin. No analiza las propiedades, ni hace asociaciones

de ideas entre ellas. Slo las denomina por lo que son. Este es el pensamiento concreto o de la edad

infantil. Cuando el hombre crece y llega a evolucionar en su madurez intelectual, aparece el

pensamiento abstracto, que es caracterstico de la segunda etapa del pensar o de la edad adulta. En

este proceso el sujeto no slo piensa en las cosas por sus propiedades fsicas o su nombre, sino que

haciendo abstraccin de ellas, las analiza y las compara. Las ideas provenientes de este anlisis

constituyen la capacidad de abstraccin del pensamiento, que es el sinnimo de madurez

intelectual o pensamiento abstracto del adulto.

Estas dos etapas del pensamiento se alternan en el cerebro humano como un juego.

Concretizar

Analizar

Conceptualizar

Comparar.

La finalidad de este complejo proceso de ideas y su anlisis, es la creacin de smbolos que

permitan al hombre relacionarse adecuadamente con su medio ambiente para comprenderlo.

As por ejemplo, si me dicen que la Luna es un satlite del Universo, lo primero que pasa por mi

mente es la idea de la Luna (redonda, brillante, etc.) por sus propiedades fsicas. Lo segundo es

que le doy la connotacin de satlite (astro, funcin especfica) y tercero, mi mente crea un smbolo

10
que me permite conceptualizar a la Luna, imaginndomela cmo creo que es y a qu distancia se

encuentra, pero sin haber estado nunca ah.

En este proceso us la concretizacin y abstraccin de mi pensamiento con la finalidad de crear un

smbolo que me permiti relacionarme con mi medio circundante y entender aquello que no pude

tocar. El ser humano tiene en su pensamiento el patrimonio ms grande de la creacin. El intelecto

y sus ilimitados alcances hacen inimaginable el futuro del hombre y garantiza la conquista del

Universo. Pensar y repensar ideas, pensamientos.

Los procesos intelectivos que generamos en nuestro cerebro y lo que podamos lograr con ellos,

constituyen el mayor legado que se ha conferido a la raza humana. No son el producto azaroso del

desorden o la suerte fortuita de un proceso evolutivo. Son el mejor testimonio y la prueba tangible

de que somos hechos a imagen y semejanza de quin nos cre.

2. LOS NIVELES DEL PENSAMIENTOS

Los niveles o etapas que distingue el psiclogo Piaget segn su intelecto y capacidad para

percibir las relaciones maduran los seres humanos.

Etapa sensoria motora.

Esta etapa tiene lugar entre el nacimiento y los dos aos de edad, conforme los nios

comienzan a entender la informacin que perciben sus sentidos y su capacidad de interactuar con

el mundo. Durante esta etapa, los nios aprenden a manipular objetos, aunque no pueden entender

la permanencia de estos objetos si no estn dentro del alcance de sus sentidos. Es decir, una vez

11
que un objeto desaparece de la vista del nio o nia, no puede entender que todava existe ese

objeto (o persona). Por este motivo les resulta tan atrayente y sorprendente el juego al que muchos

adultos juegan con sus hijos, consistente en esconder su cara tras un objeto, como un cojn, y luego

volver a aparecer. Es un juego que contribuye, adems, a que aprendan la permanencia del

objeto, que es uno de los mayores logros de esta etapa: la capacidad de entender que estos objetos

continan existiendo aunque no pueda verlos. Esto incluye la capacidad para entender que cuando

la madre sale de la habitacin, regresar, lo cual aumenta su sensacin de seguridad. Esta capacidad

suelen adquirirla hacia el final de esta etapa y representa la habilidad para mantener una imagen

mental del objeto (o persona) sin percibirlo.

Etapa pre operacional

Comienza cuando se ha comprendido la permanencia de objeto, y se extiende desde los dos

hasta los siete aos. Durante esta etapa, los nios aprenden cmo interactuar con su ambiente de

una manera ms compleja mediante el uso de palabras y de imgenes mentales. Esta etapa est

marcada por el egocentrismo, o la creencia de que todas las personas ven el mundo de la misma

manera que l o ella. Tambin creen que los objetos inanimados tienen las mismas percepciones

que ellos, y pueden ver, sentir, escuchar, etc. Un segundo factor importante en esta etapa es la

Conservacin, que es la capacidad para entender que la cantidad no cambia cuando la forma

cambia. Es decir, si el agua contenida en un vaso corto y ancho se vierte en un vaso alto y fino, los

nios en esta etapa creern que el vaso ms alto contiene ms agua debido solamente a su altura.

Esto es debido a la incapacidad de los nios de entender la reversibilidad y debido a que se centran

en slo un aspecto del estmulo, por ejemplo la altura, sin tener en cuenta otros aspectos como la

anchura.

12
Etapa de las operaciones concretas

Esta etapa tiene lugar entre los siete y doce aos aproximadamente y est marcada por una

disminucin gradual del pensamiento egocntrico y por la capacidad creciente de centrarse en ms

de un aspecto de un estmulo. Pueden entender el concepto de agrupar, sabiendo que un perro

pequeo y un perro grande siguen siendo ambos perros, o que los diversos tipos de monedas y los

billetes forman parte del concepto ms amplio de dinero.

Slo pueden aplicar esta nueva comprensin a los objetos concretos (aquellos que han

experimentado con sus sentidos). Es decir, los objetos imaginados o los que no han visto, odo, o

tocado, continan siendo algo mstico para estos nios, y el pensamiento abstracto tiene todava

que desarrollarse.

Etapa de las operaciones formales

En la etapa final del desarrollo cognitivo (desde los doce aos en adelante), los nios

comienzan a desarrollar una visin ms abstracta del mundo y a utilizar la lgica formal. Pueden

aplicar la reversibilidad y la conservacin a las situaciones tanto reales como imaginadas. Tambin

desarrollan una mayor comprensin del mundo y de la idea de causa y efecto. Esta etapa se

caracteriza por la capacidad para formular hiptesis y ponerlas a prueba para encontrar la solucin

a un problema.

13
Otra caracterstica del individuo en esta etapa es su capacidad para razonar en contra de los hechos.

Es decir, si le dan una afirmacin y le piden que la utilice como la base de una discusin, es capaz

de realizar la tarea.

3. HABILIDADES DEL PENSAMIENTO

Las habilidades del pensamiento se dan en la relacin aprendiz autnomo o sea mediante

procesos cognitivos que operan o sucede automticamente frente a una situacin para mejora las

habilidades y destrezas como tambin adquieren nuevos conocimientos y caracterstica como la

fluidez, la rapidez, la automaticidad, la simultaneidad. En consecuencia, para fortalecer las

habilidades del pensamiento, se necesita ejercitar cada uno de los procesos que permitan obtener

las metas propuestas.

Estas habilidades son las siguientes:

3.1.Habilidad de Conceptualizacin

3.2.Habilidad de Comprensin

3.3.Habilidad de Generalizacin

3.4.Habilidad de Clasificacin

3.5.Habilidad de Secuenciacin

3.6.Habilidad de comparacin y contrastacin

3.7.Habilidad de anlisis

3.8.Habilidad de sntesis

3.9.Habilidad de abstraccin

3.10. Habilidad de resolucin de problemas

3.11. Habilidad de toma de decisiones

14
Esta son todas las habilidades de un pensamiento que adquiere solo y autnomo la persona.

3.1. Habilidad de Conceptualizacin

Los conceptos son la estructura inicial del pensamiento, por lo tanto, la conceptualizacin como

proceso, corresponde a la percepcin por medio de los sentidos de la imagen del objeto, mediante

la observacin, atencin y percepcin.

3.2.Habilidad de Comprensin

Cuando el aprendiz autnomo toma el dominio global, formal, material del objeto del aprendizaje;

bajo tres niveles: comprensin-traduccin, comprensin-interpretacin, comprensin-

extrapolacin.

3.3.Habilidad de Generalizacin

Cuando se relacionan dos o ms conceptos provenientes de una idea y para expresar algo de un

objeto. Es decir abstraer lo comn de varias cosas y ampliar el significado de la verdad.

3.4. Habilidad de Clasificacin

Proceso de agrupacin de ideas en categoras de atributos comunes. Se realiza de forma grfica.

3.5. Habilidad de Secuenciacin

Organizar ideas, eventos de forma lgica, ordenada y de acuerdo a su naturaleza: alfabtico,

procedimental, cronolgico.

3.6. Habilidad de comparacin y contrastacin

Consiste en identificar y articular al mismo tiempo semejanzas y diferencias entre varias ideas o

eventos.

15
3.7.Habilidad de anlisis

Consiste bsicamente en descomponer el objeto de aprendizaje que implica una serie de etapas

que al final de todo, construyen el anlisis mismo: ubicacin, identificacin, comparacin,

clasificacin.

3.8. Habilidad de sntesis

Es el resultado de la confrontacin entre tesis y anttesis. Debe caracterizarse por ser diferente al

concepto inicial, de manera que forme una estructura que responda: qu es?, de qu elementos

consta?, qu funcin desempea?

3.9. Habilidad de abstraccin

Consiste en ocultar las caractersticas de un objeto y obviarlas; de manera que solamente

utilizamos el nombre del objeto en nuestro programa acadmico.

3.10. Habilidad de resolucin de problemas

Promueve en las personas el pensamiento creativo, tanto en la exploracin y bsqueda de

alternativas de accin y opciones de solucin a los problemas y dificultades que presenta el mbito

de actuacin.

3.11 Habilidad de toma de decisiones

Es un acto de voluntad mediante el cual se acoge una entre varias alternativas, con el propsito de

alcanzar una meta. Esta demanda la definicin de una u otra forma condicionan el xito de la

decisin .Entre ellos: definicin de alternativas existentes, identificacin clara de la decisin que

se quiere tomar.

16
CAPITULO 2

EL APRENDIZAJE

1. QUE ES EL APRENDIZAJE

En las estrategias de aprendizaje ay autores que defiendan pero qu relacin hay entre el

aprendizaje y el pensamiento es fcil ya que en el anterior sub tema ya hemos tratado sobre las

habilidades del pensamiento y esto a corto plazo o largo es individuo o la persona est

desarrollando diversas manera de adquirir conocimientos y al adquirir estos conocimientos la

persona logra aprender ya de la manera experimental o terico.

Los siguientes autores que citare a continuacin son personas con investigaciones firmes.

PIAGET, J. (1971): en su teora de aprendizaje: es en definitiva un proceso continuo de

equilibraran (adaptacin, asimilacin y acomodacin) que se produce entre el sujeto cognoscente

y el objeto por conocer. Afirma que los nios crean de forma activa su propio conocimiento del

mundo y atraviesan cuatro fases dentro del desarrollo cognitivo. Pero no slo organizamos nuestras

observaciones y experiencias, sino que tambin adaptamos nuestro pensamiento para incluir

nuevas ideas porque la informacin adicional fomenta la comprensin.

VYGOTSKY, L.S. (1979). El pensamiento del nio se va estructurando de forma gradual, la

maduracin influye en que el nio pueda hacer ciertas cosas o no, por lo que l consideraba que

hay requisitos de maduracin para poder determinar ciertos logros cognitivos, pero que no

necesariamente la maduracin determine totalmente el desarrollo. No solo el desarrollo puede

afectar el aprendizaje, sino que el aprendizaje puede afectar el desarrollo. Todo depende de las

relaciones existentes entre el nio y su entorno, por ello debe de considerarse el nivel de avance

del nio, pero tambin presentarle informacin que siga propicindole el avance en sus desarrollo.

17
AUSUBEL, David. P. (2000 con la teora de Aprendizaje Significativo es el mecanismo humano,

por excelencia, para adquirir y almacenar la inmensa cantidad de ideas e informaciones

representadas en cualquier campo de conocimiento. La enseanza y el aprendizaje se enfocaban

en trminos de estmulos, respuestas y refuerzos, no de significados. En esta interaccin es,

tambin, en la que el conocimiento previo se modifica por la adquisicin de nuevos significados.

Ahora viendo las diferentes teoras sobre los aprendizajes de tres diferentes autores reconocidos

que son Piaget, Vygotsky y Ausubel que cada uno muestra sus teoras como que el aprendizaje

tiene que ser significativo para Ausubel, Vygotsky seala que el aprendizaje debe ser experimental

sea con la prctica y para Piaget el nio desarrolla su propio desarrollo con el desarrollo cognitivo.

2. ESTRATEGIAS DEL APRENDISAJE

El Instituto de una Educacin de Calidad (Educa: 2002), presenta planteamientos acerca de las

estrategias de aprendizaje, que a continuacin se presenta:

Se llaman estrategias de aprendizaje al conjunto de procedimientos cognitivos, afectivos, sociales

y motrices que el estudiante pone en juego, de manera liberada, sistemtica y flexible al enfrentarse

a una situacin de aprendizaje para desarrollar las capacidades y actitudes esperadas.

Si las estrategias de aprendizaje se limitan a una simple recepcin pasiva de informacin, su

aprendizaje ser limitado y poco significativo. Pero, si su estrategia de aprendizaje, promueven

actividades que desencadenan procesos mentales variados o conflictos cognitivos, entonces sus

aprendizaje el estudiante ser significativo y profundo.

Las estrategias de aprendizaje merecen atencin especial porque su aplicacin genera procesos

mentales y afectivos de anlisis, sntesis, inferencia, generalizacin, crtica, asuncin de

compromisos, etc., que desarrollan estas capacidades y actitudes.

18
Existen dos tipos de estrategias las cuales son:

2.1.Estrategias cognitivas:

- Estrategias para alcanzar el sentido y recordarlo: explorar, acceder al conocimiento,

comparar, formular hiptesis, monitorear el avance, ensayar y estudiar, entre otras.

- Estrategias para la produccin del conocimiento: Resolver problemas y tomar decisiones,

acceder al conocimiento.

- Estrategias de composicin: Planificar, hacer un borrador, revisar.

2.2.Estrategias Meta cognitivas:

- Estrategias para dominar variables de la tarea: Analizar la tarea, disear estrategias

adecuadas de la tarea.

- Estrategias para dominar variables personales: Analizar variables como creencias,

motivaciones, etc.

- Dominio de variables estratgicas: Evaluar estrategias para adquirir sentido y recordarlo;

seleccionar estrategias para adquirir dominio.

- Estrategias para dominar variables ambientales: Analizar factores ambientales, seleccionar

estrategias en relacin con el entorno.

3. PROCEDIMIENTOS Y TECNICAS

Procedimientos

Sus procedimientos son formas de ordenar, organizar, secuenciar una serie de acciones concretas

orientadas al desarrollo de tal o cual capacidad o actitud.

19
Tcnicas

Es el conjunto de formas especficas que toman las acciones de aprendizaje. Mencionaremos

algunas de ellas:

a. Mapas: Mapa conceptual, mapa semntico, mapa mental

b. Cuadro sinptico

c. Lnea de tiempo

d. Resumen

e. El subrayado

20
CAPITULO 3

LA LOGICA

1. QU ES LA LGICA?

El Pensamiento es el resultado de una forma peculiar de accin. Por lo general se pone en

marcha esa accin ante una situacin paralela en la que no hay una respuesta inmediata, pero que

exige solucin; el resultado de pensar es una situacin individual ms o menos innovadora a la

situacin concreta a la que se origina y producido por una mente que elabora la informacin

sensible y construye representaciones ms generales y abstractas que simbolizan y construyen a

los objetos.

La Lgica es una ciencia formal y una rama de la Filosofa que estudia los principios de la

demostracin e inferencia vlida. La palabra deriva del griego antiguo (logike), que

significa dotado de razn, intelectual, dialctico, argumentativo,

2. UTILIDAD DE LA LOGICA

La lgica estudia algunos aspectos de la argumentacin. La lgica nos permite:

1) Distinguir los argumentos correctos de los incorrectos

2) comprender por qu algunos son correctos y otras no.

3) evitar cometer falacias o sofismas en nuestro razonamiento.

Una falacia o sofisma es un argumento incorrecto que parece correcto. Un argumento correcto es

un conjunto de afirmaciones organizadas de tal manera que una de ellas (la conclusin) es

21
compatible con las dems (las premisas). Un argumento incorrecto es aquel en el que las premisas

no apoyan la conclusin.

El papel de la lgica se hace evidente cuando nos damos cuenta de que los filsofos buscan,

implcita o explcitamente, argumentos slidos y pertinentes para defender sus ideas. Pero para

saber si un argumento es slido y relevante se necesita saber si es vlido. Y es la lgica que nos

ayuda a saber si un argumento dado es vlido o no.

La lgica tiene dos funciones en la filosofa: clarificar nuestro pensamiento y ayudarnos a evitar

errores en el razonamiento. La filosofa se identifica por un conjunto de problemas. Los filsofos,

a lo largo de la historia, han respondido a estos problemas, tratando de resolverlos. Para ello,

presentan teoras y argumentos.

Necesitamos la lgica para evaluar de manera crtica los problemas de la filosofa. Si alguien quiere

reflexionar sobre el problema filosfico de saber por qu razones las ideas verdes no son saladas,

lo mejor que podemos hacer es mostrar que este es un falso problema. Para ello necesitamos

argumentos.

Necesitamos la lgica para evaluar crticamente las teoras de los filsofos. Una propuesta terica

ser plausible? Cmo podemos defenderla? Cules son sus debilidades y cules son sus puntos

fuertes? Y por qu?

Necesitamos la lgica para evaluar crticamente los argumentos de los filsofos ya que nos

permiten encontrar unos verdaderos argumentos en estas preguntas. Son sus argumentos slidos?

O son errores sutiles de razonamiento? O se basan en premisas tan discutibles como sus

conclusiones?

22
Por lo tanto, para que nuestros estudiantes puedan enfrentar los problemas de la filosofa de forma

creativa, tienen que dominar las herramientas crticas elementales que les permitan formular

claramente los problemas, las teoras y los argumentos de la filosofa, y que les permitan adoptar

una postura crtica defendiendo sus propias ideas con argumentos. El arte de la filosofa es el

arte de la fundamentacin de nuestras ideas con argumentos slidos, creativos e inteligentes. El

dominio de este arte consiste en tener la capacidad de distinguir los argumentos con esas

caractersticas de los que no lo tienen, y tener la capacidad de cambiar de opinin cuando somos

incapaces de defenderlas con argumentos bien fundamentados. El pensamiento lgicamente

disciplinado no impide, por tanto, la creatividad; por el contrario, la promueve. La lgica nos ayuda

a pensar en las diferentes posibilidades. Para determinar si un argumento es vlido debemos

determinar si hay alguna manera en el que las premisas sean verdaderas y la conclusin falsa. Una

falacia es precisamente un argumento que parece vlido para una persona sin formacin lgica

porque no es capaz de ver que es posible que las premisas sean verdaderas y la conclusin falsa

(es decir, no es capaz de ver que la conclusin no es una consecuencia la lgica de las premisas).

El estudio de la lgica contribuye as de manera decisiva a la creatividad filosfica, ya que

acostumbra al estudiante a pensar en nuevas circunstancias que de otro modo no tendra en

consideracin.

3. DIVISION DE LA LOGICA

La lgica es un lenguaje artificial, pero formal, es decir le interesa la forma, no slo los

contenidos. Es un lenguaje abstracto que quiere analizar los razonamientos. Ahora bien, si por

"lenguaje" se entiende un "sistema de signos", hay muchos tipos de lenguajes (no verbales, el arte

23
etc.). Todo ello es estudiado por la ciencia de los signos, llamada semitica, y se estudia desde tres

puntos de vista: el sintctico, el semntico y el pragmtico.

Sintctico, son las relaciones de las palabras entre s.

El semntico son las relaciones de las palabras con su significado.

Finalmente, la palabra es pronunciada por uno y dirigida a otro. Aqu existe una relacin a la que

se le llama pragmtica.

Estos tres tipos de relaciones estn vinculados entre s. La relacin pragmtica supone la semntica

y la sintctica; La semntica supone la sintctica. Una palabra sin sentido no puede ser entendida

y para que tenga sentido debe estar relacionada con otras palabras. En cambio, la relacin sintctica

no supone de las otras dos y es posible la semntica sin entender la pragmtica.

3.1.Lgica formal y material:

La lgica formal tambin llamada lgica pura que es la lgica apropiadamente dicha es

precisamente la ciencia que determina cuales son las formas correctas y validas de los raciocinios

pero lo hace considerndolos en si mismos y con prescindencia de los contenidos concretos de los

razonamientos, es decir, considerando esos contenidos como entes lgicos abstractos, de tal

manera que las leyes a aplicar tengan validez para cualquier contenido concreto.

La lgica material tambin llamada lgica aplicada es aquella en que un proceso de raciocinio o

de pensamiento se analiza en consideracin al contenido real de sus premisas y por lo tanto debe

conducir a una verdad material, una conclusin que sea concorde con la realidad .

3.2.Lgica dialctica

24
Originariamente designaba un mtodo de conversacin o argumentacin anlogo a lo que

actualmente se llama lgica. De manera ms esquemtica puede definirse la dialctica como el

discurso en el que se contrapone una determinada concepcin o tradicin, entendida como tesis, y

la muestra de los problemas y contradicciones, entendida como anttesis. De esta confrontacin

surge, en un tercer momento llamado sntesis, una resolucin o una nueva comprensin del

problema. Este esquema general puede concretarse como la contraposicin entre concepto y cosa

en la teora del conocimiento, a la contraposicin entre los diferentes participantes en una discusin

y a contraposiciones reales en la naturaleza o en la sociedad, entre otras.

4. TIPOS DE LGICA

Como sabemos la lgica tambin se puede distinguir o diferenciar por sus tipos ya que existen

diferentes maneras de la logia y son:

4.1. Lgica natural: Es aquella que toda persona asimila por la experiencia sensible. Es el

empirismo ms primitivo, nace de la razn innata del ser humano y se ejecuta a modo de

prevencin. De all el dicho el hombre es el nico animal que tropieza dos veces con la misma

piedra. Se presume que si bien las personas son permeables de reincidir en sus errores, se

considera que aprenden de sus actos y de las consecuencias de los mismos. Luego por lgica

natural efectan las prevenciones necesarias.

4.2.Lgica cientfica: Es la que se sirve de la experiencia emanada de la lgica natural, pero adems

le adhiere la razn, generando planteos de todo lo existente. Siguiendo el famoso dicho

annimo de la piedra, el hombre por lgica natural evitara pasar por el camino en el que est

la piedra para no tropezarse, pero a su vez establecer por medio de la lgica cientfica porqu

esa piedra le genera el traspi.

25
4.3.Lgica formal: Es el contrapunto de la lgica material. Aborda el estudio de la capacidad de

razonamiento desde el aspecto ms adecuado y desde las asociaciones, sin importar si es vlido

o no. Es una lgica pasiva, en cierto punto, ya que es reacia a los cuestionamientos.

4.4. Lgica material: Su estudio es abordado desde la epistemologa, una de las ramas modernas

de la filosofa. El objeto de la lgica material es basarse en la validez de un pensamiento

determinado siguiendo la realidad. Es una lgica activa, ya que se cuestiona y va ms all,

dejando lugar a la incertidumbre al no concluir sin dudar. En un ejemplo de lgica material, si

el cielo est nublado puede ser que llueva, como puede que no. Por lo que el pensamiento de

que tal vez llovizne es correcto, pero no tiene validez (si tendra para la lgica formal), ya que

no es seguro que suceda.

4.5.Lgica matemtica: Es un sector de la lgica consistente en el estudio matemtico de la misma,

y en la aplicacin del estudio a todas las reas de las matemticas. Es, por otro lado, la lgica

que se utilizada en las ciencias de la comunicacin. Estudia los sistemas formales con nociones

matemticas como conjuntos, nmeros y demostraciones. Es importante entender que la lgica

matemtica no constituye la lgica de las matemtica como abordaje de las ciencias exactas,

sino la matemtica de la lgica

4.6. Lgica de clases: Se encarga de analizar una proposicin lgica en base a la pertenencia o no

pertenencia de un elemento especfico o de un individuo particular a una determinada clase.

La lgica de clases sienta sus principios para abordar el estudio desde la teora de conjuntos.

Se entiende por clase al conjunto de individuos que tienen en comn alguna propiedad

particular. La propiedad es la que define a la clase, y no al individuo. Al analizar el conjunto

no es lo mismo decir Scrates era un hombre, que Scrates perteneca a la clase de los

hombres.

26
5. LEYES DE LA LOGICA

5.1. Ley de Identidad

Una de las leyes bsicas del pensamiento correcto, cuya observancia contribuye a la

certidumbre, la precisin y la claridad en el empleo de conceptos y juicios. El razonamiento. En el

pensamiento, la ley de identidad es una regla normativa (principio) que estipula que en el proceso

de raciocinio no se puede cambiar una idea por otra, un concepto por otro, pues de lo contrario

surgiran los errores lgicos llamados "suplantacin del concepto" o "suplantacin de la tesis". La

ley de identidad significa asimismo que no se puede hacer pasar las ideas idnticas por distintas y,

viceversa, las distintas por idnticas, es decir, que una cosa es idntica a s misma, lo que es, es; lo

que no es, no es: ("A es A", o "no A es no A")

Los individuos que utilicen trminos y conceptos en un sentido distinto al habitual, sin prevenir de

ello, violarn la ley de identidad. Se cometen a menudo errores lgicos al utilizarse homnimos o

palabras de igual forma y de distinto sentido. Es imprescindible observar la ley de identidad en

todas partes: en la ciencia, el arte, la enseanza, la vida cotidiana, etctera. La violacin de la ley

de identidad provoca chistes, retrucanos y ambigedades. El cumplimiento de esta ley en el

pensamiento ayuda a evitar la incomprensin.

5.2. Ley de no contradiccin

En los objetos del mundo real son imposibles la presencia y la ausencia simultneas de una

propiedad o relacin (Por ejemplo: es imposible que usted est en este momento en casa y no est

en casa). Por eso, en sus pensamientos y juicios el hombre no debe afirmar algo respecto al objeto

A y, simultneamente, negar lo mismo, pues de otro modo surgir una contradiccin lgica formal.

27
Siguiendo esta ley es imposible afirmar y negar que una cosa es y no es al mismo tiempo y bajo la

misma circunstancia ("A" no es "no A").

O bien, tambin puede enunciarse que dos proposiciones contradictorias no pueden ser a la vez

verdaderas. No surge una contradiccin si se trata de diferentes objetos o de un mismo objeto

tomado en distintas situaciones u observados en diferente tiempo (Por ejemplo: "Esta camisa es

nueva" (al comprar); " Esta camisa ya est usada" (la camisa anterior usada despus de la compra)

no se contradicen si se trata de una misma camisa observada en momentos diferentes.

No se puede decir: "el 17 es un numero primo y el 17 es divisible por 2 y 3". En el segundo caso

es compuesto que es antinmico de primo en el conjunto de enteros positivos mayores que 1. Pero

en la geometra eucldea se expresa que "por un punto exterior a una recta pasa nicamente una

recta paralela": Mientras que otra geometra dice por un punto exterior a una recta pasa una

infinidad de paralelas". Una tercera dice que "por un punto exterior a una recta pasan exactamente

dos rectas paralelas". En este caso no interviene el tiempo, sino la capacidad y necesidad de

construir sistemas axiomticos de diversas geometras, que ciertamente tienen aplicaciones en la

realidad.

En muchos manuales de lgebra aparece la proposicin 00 no est definida. Sin embargo, dos

matemticos han demostrado que 00 = 1, usando combinatoria y el principio de induccin

matemtica; adems, dicha potencia resulta 1, como un lmite lateral de (1/ n)n, cuando n se

aproxima a 0, por la derecha, n es entero positivo. La ley de no contradiccin califica la

contradiccin lgica formal de grave error, incompatible con el pensamiento lgico.

28
5.3.Ley del tercero excluido

En los objetos del mundo objetivo est presente o ausente un indicio. Por eso, en los juicios

del hombre que reflejen una determinada situacin deben corresponderse sus ideas con el estado

real de las cosas. La ley del tercero excluido fue formulada por Aristteles:

No es posible que haya un trmino intermedio entre los dos trminos de una contradiccin, sino

que es necesario afirmar o negar una cosa de otra cualquiera.

La ley del tercero excluido se formula as:

Uno de dos juicios contradictorios es verdadero y el otro falso, y no es posible un tercero.

Es decir, una cosa es o no es, no cabe un trmino medio :("A es B", o "A no es B").

O bien, tambin puede enunciarse como no hay medio entre dos proposiciones contradictorias. En

el pensamiento la ley del tercero excluido supone una opcin precisa por una de las dos alternativas

que se eliminan recprocamente ("s" o "no"). Por otra parte, la accin de esta ley est limitada por

la indeterminacin del conocimiento. El reflejo del mundo objetivo en cierta etapa del

conocimiento siempre es incompleto, inexacto, pues solo corresponde a esta etapa de los

conocimientos del hombre sobre el mundo. Por ejemplo, respecto a ciertos acontecimientos

singulares futuros (incluidas las eventuales catstrofes).

La ley del tercero excluido no rige cuando se introduce un tercer valor veritativo de los juicios

(enunciados), "indeterminado" (Por ejemplo, en las encuestas sociolgicas se proponen respuestas:

"s", "no" y "no s"; en la votacin se contempla las posiciones: "a favor", "en contra" y

"abstenciones"). En semejantes situaciones nos hallamos en el campo de accin de la lgica

trivalente.

29
5.4. Ley de la razn suficiente

Esta ley, formulada en forma evidente en el siglo XVII por Leibniz, seala que ningn

fenmeno puede ser real y ninguna afirmacin, verdadera, sin la razn suficiente de por qu las

cosas son as y no de otro modo.

Toda idea verdadera debe tener suficiente fundamentacin.

Gottfried Wilhelm Leibniz

Solo se trata de fundamentar una idea verdadera, pues es imposible fundamentar suficientemente

una tesis (juicio) falsa. A diferencia de las leyes de identidad, de no contradiccin y del tercero

excluido, las cuales tienen una formulacin sustancial como principios del pensamiento y en la

lgica se expresan con frmulas, la ley de la razn suficiente no tiene frmula, pues solo posee

carcter substancial.

En la demostracin para fundamentar una tesis verdadera sirven de argumentos hechos singulares

constatados, definiciones de conceptos, axiomas y postulados, leyes cientficas y teoremas. Ya que

la causa y el efecto real no siempre coinciden con el antecedente lgico y la consecuencia lgica,

a menudo la inferencia se hace de las consecuencias deduciendo de ellas la causa de tal o cual

fenmeno. As proceden, por ejemplo, los mdicos, al diagnosticar una enfermedad van de las

consecuencias reales a las causas reales. El problema de la demostrabilidad de las tesis propuestas

es esencial para cualquier proceso creador, porque la ley de la razn suficiente protege nuestro

pensamiento de la gratitud y la falta de motivacin.

30
6. LOS PRINCIPIOS DE LA LOGICA

Los principios lgicos constituyen las verdades primeras, evidentes por s mismas, a partir de

las cuales se construye todo el edificio formal del pensamiento, segn la Lgica tradicional.

Dentro de una consideracin ms moderna de la Lgica Formal, los principios lgicos sern los

preceptos o reglas operantes que rigen toda forma correcta de pensamiento.

El modo de considerar estos principios ha variado a travs de la Historia de la Lgica y del

pensamiento cientfico, pero la Lgica Formal ha coincidido en la formulacin de cuatro principios

lgicos, aunque el cuarto no es aceptado por todos los lgicos.

Tales principios son:

6.1. Principio de identidad.

6.2.Principio de Contradiccin (o Principio de no-Contradiccin).

6.3. Principio de Exclusin del trmino medio (o Principio del medio excluido o Principio del

tercero excluido o Principio del Tercer trmino excluido)

6.4. Principio de Razn Suficiente.

Desde un punto de vista psicolgico (aunque no desde la Psicologa Cientfica sino de la Psicologa

Racional), los principios lgicos seran las leyes generales de operacin del pensamiento, es

decir, las leyes que fundamentan los procesos lgicos.

Desde un punto de vista ontolgico o metafsico, estos principios seran las determinaciones ms

generales del ser an ms generales que las categoras.

31
Pero desde un punto de vista estrictamente lgico, slo pueden ser considerados como las

proposiciones fundamentales que cimientan toda otra proposicin en el pensamiento

formalmente correcto.

6.1. EL PRINCIPIO DE IDENTIDAD.

El principio de Identidad fue formulado por primera vez como parte de una teora de la realidad

del ser. Ese principio afirmaba algo tan general como que El ser es; esto puede ser explicado

diciendo que todo objeto es idntico a s mismo.

Estas afirmaciones no son todava lgicas, pero con el tiempo, se reflexion sobre las

implicaciones lgicas de ese principio, logrando la formulacin lgico-formal del primer principio.

Esa formulacin consisti en la afirmacin de la verdad de un juicio cuyo objeto sea idntico al

predicado (ese tipo de juicio se ha llamado juicio analtico). El primer principio lgico se ha

resumido con la frmula: A es A

6.2. EL PRINCIPIO DE CONTRADICCIN.

Este principio ha sido llamado tradicional e incorrectamente principio de contradiccin, cuando

lo que se enuncia es la imposibilidad de contradiccin en el pensamiento.

Se trata del principio fundamental de la Lgica clsica que descarta cualquier posibilidad de

contradiccin en el pensamiento y en la realidad (esta implicacin ha sido y es uno de los

obstculos ms fuertes que ha encontrado toda consideracin dialctica de la realidad y el

pensamiento).

La forma ms plena del segundo principio es la que se refiere a la no-contradiccin entre dos

juicios, tal como se expresa en la frmula: A es A y A no es A no son ambos verdaderos que

32
se lee: El juicio A es A y su contradictorio, el juicio A no es A no pueden ser verdaderos a la

vez. La forma original de este segundo principio es tambin ontolgica y se formulaba de la

siguiente manera: El ser es y no puede a la vez no ser.

6.3. EL PRINCIPIO DE EXCLUSIN DEL TRMINO MEDIO.

Como un complemento necesario del principio de no contradiccin, se formula el principio de

exclusin del trmino medio. En su forma original, se refera tambin a una estructura de la

realidad y consista en la afirmacin de que no hay trmino medio entre el ser y el no-ser.

En su forma lgica, este principio debe entenderse como afirmando que dos juicios contradictorios

no pueden ser ambos falsos, tal como se sintetiza en la frmula: A es A y A no es A no son

ambos falsos que se lee: El juicio A es A y su contradictorio, el juicio A no es A no pueden

ser falsos a la vez.

6.4 EL PRINCIPIO DE RAZN SUFICIENTE.

Este es, de los cuatro principios lgicos, el ms discutido, pues no todos los lgicos clsicos lo

acepten.

Su formulacin fue muy posterior a la de los otros, pues mientras los primeros tres se atribuyen a

Parmnides de Elea quien vivi en el siglo V antes de nuestra era-, el cuarto principio fue

formulado por Gottfried Wilhelm Leibniz aproximadamente en 1666, en plena Edad Moderna.

El cuarto principio se enuncia: Nada es sin una razn suficiente.

33
Ahora citare a un autor que es Christian Wolf en 1712 distingui entre tres modos de entender este

principio:

a) Como razn de ser,

b) Como razn de llegar a ser

c) Como razn de conocer.

Dentro de la Lgica tradicional, se ha entendido este cuarto principio en el tercero de los

significados que propuso Wolf. Desde ese punto de vista, el principio puede ser formulado: Todo

conocimiento tiene que estar fundado ye ah deduce sus dos principios aparte de los dados

anteriormente.

PRINCIPIO DE RAZONAMIENTO SUFICIENTE: Establece que cualquier cosa que

suceda lo hace por una razn definida. Este principio muestra la necesidad de justificar los

conocimientos de una forma razonada, ordenada y lgica. Solo es verdadero lo que se

puede probar adecuadamente, con base en otros conocimientos o razones ya explicadas.

PRINCIPIO DE CASUALIDAD: Es el principio que muestra la relacin entre la causa y

el efecto. Gracias al encuentra una solucin o problemas muy importantes tales como: La

existencia de Dios, el conocimiento de la naturaleza de las cosas, la determinacin de las

leyes naturales.

34
CAPITLULO 4

LA LOGICA FORMAL

1. QU ES LA LGICA FORMAL?

El uso desmedido de la palabra lgica, dificulta su definicin, aunque los contenidos de las

pginas precedentes puedan de alguna forma ayudarnos a encontrarla. Seguiremos tambin con

ella el trato debido a cualquiera definicin.

1.1 Definicin Nominal:

La definicin nominal es la que comnmente conocemos como timo-lgica. Se hace por el origen

y significado del nombre o de la palabra. La Lgica sera, de entrada, la ciencia o la doctrina del

Logos. Como este concepto griego significa palabra, discurso, idea e histricamente los trminos

lgica y dialctica han sido coincidentes, podramos ver en su significado un sistema de

reglas por el que el entendimiento hade regirse para proceder con orden en sus operaciones. El

carcter discursivo con que cuenta la dialctica como arte del dilogo y de la disertacin, le obliga

a prestar atencin a las reglas, mientras que la lgica, como ciencia del ordenamiento, se fija ms

en los principios y las leyes. El trmino logos, etimolgicamente, nos lleva a la expresin lo qu

que indica las operaciones de la mente, no en s mismas, sino en su movimiento hacia la verdad.

Por eso podra valer aqu la definicin que hace Santo Toms de la Lgica: cierta arte directiva

de los actos de razn, por la cual el hombre, en el mismo acto de razn, procede ordenada mente,

fcilmente y sin error. Este sin error se refiere a la forma y no al contenido. Porque, como bien

sabe usted, a la Lgica lo que le interesa objetivamente es la verdad formal o la rectitud del proceso

de pensar. No tiene que haber error en la forma en que son estructurados los pensamientos. Ya

35
advertimos, recurdelo, que puede existir la verdad formal o rectitud, sin que se d necesariamente

la verdad formal. En la definicin tomista reseada se reconoce que la Lgica es simultneamente

arte y ciencia. Se afirma en efecto que es cierta arte, la cual al ser directiva necesaria mente

adquiere la naturaleza de ciencia, pues presupone y necesita de principios, leyes y mtodos.

Definicin Real:

Las definiciones reales de las ciencias se hacen de acuerdo al objeto delas mismas. El objeto que

le hemos sealado a la Lgica Formal es la rectitud y el orden de los pensamientos. Est constituido

por los actos y operaciones de la mente en su aspecto formal. Es cierto que la psicologa tambin

se ocupa de esos actos y operaciones, pero en su naturaleza y origen, es decir como facultad. Y lo

mismo la gnoseologa, en cuanto al valor relacionado con la verdad real. En resumen: La Lgica

es la ciencia de la rectitud de los actos y operaciones de la mente. Es la ciencia que nos ensea a

estructurar correctamente los pensamientos pensados y a relacionarlos con orden, con facilidad y

sin errores de forma. Hay muchas otras definiciones de Lgica formal. Esta nos parece la mejor y

prescindimos de las dems, nicamente para evitar confusiones. Considere que lo que tiene en sus

manos son Apuntes y no un tratado.

2. DIVISION DE LA LOGICA FORMAL

Es importante saber cul va ser el objeto de nuestro aprendizaje durante el presente curso. Si el

objeto de la Lgica Formal es la rectitud o la ver-dad formal, procuraremos que la divisin de la

materia de estudio sea lo ms ordenada posible. Tendr que ir, por supuesto, de lo ms simple en

el proceso de pensar a lo ms complejo. La Lgica, considerada as y en s misma, como Lgica

Menor o de la razn correcta, tiene tres partes:

a) La semitica o Lgica de los conceptos y su expresin por medio de la palabra.

36
b) La apofntica o Lgica de los juicios y su expresin por medio de las proposiciones.

c) La algoritmia o Lgica de los razonamientos y su expresin por medio de la argumentacin.

Todas estas partes, hemos dicho, se refieren a la Lgica en s misma. Pero como encerrada en ella

misma y siendo un fin en s carecera de sentido, habra que aadir una cuarta parte: Lgica

metodolgica. Por eso, en el Apndice, fuera ya de lo que es la Lgica Formal en s misma, nos

detendremos brevsimamente en esta cuarta parte de la Lgica, considerndola, como en efecto es,

ciencia auxiliar y necesaria para el estudio y aplicacin de los principales mtodos demostrativos

en cualquiera otra disciplina.

3. CARACTERISTICAS DE LA LOGICA FORMAL

Como toda disciplina cientfica, la lgica formal tiene un objeto de estudio material (lo que estudia)

y un objeto de estudio formal (la manera en que lo estudia). La lgica formal tiene por objeto

material de estudio el pensar, y la manera en que estudia el pensar es explicando la estructura o las

condiciones para que ese pensar sea correcto, objeto de estudio formal.

Una de las disciplinas filosficas que llega a confundirse con la lgica formal es la teora del

conocimiento, que como su nombre lo indica estudia el conocimiento, sentido, significado,

alcances y lmites del conocer.

La lgica formal se relaciona con disciplinas como la matemtica, la psicologa y la gramtica.

Con la matemtica tiene relacin porque ambas estudian estructuras, pero se distingue de ella

porque la matemtica se centra en los nmeros y la lgica estudia el pensar.

37
Con respecto a la psicologa, podemos sealar que a ambas les interesa estudiar el pensamiento,

pero a la psicologa le importa este pensar en cuanto explica su relacin con las acciones y a la

lgica slo le importa explicar la estructura del pensar.

Por ltimo, la lgica se relaciona con la gramtica en tanto que ambas trabajan con el producto del

pensar que es el lenguaje, pero a la gramtica le interesa el lenguaje para explicar aspectos

semnticos y fonticos de las palabras, en cambio a la lgica le interesa el lenguaje como estructura

del pensar.

4. TIPOS DE LGICA FORMAL

Dentro de la lgica formal clsica podemos distinguir:

4.1.Lgica de enunciados

La lgica de enunciados o de proposiciones es el nivel ms bsico de anlisis lgico. Se analizan

las relaciones que se dan entre los enunciados o las proposiciones; es, pues, una lgica

interproposicional, no interproposicional. En este nivel se simboliza de la misma manera

proposiciones o enunciados de contenido tan diferente como: "ahora llueve", "algunos das llueve"

o "todos los das llueve".

Qu es uno enunciando o una proposicin?

Una oracin declarativa que puede ser verdadera o falsa. Los enunciados dicen de las cosas y,

consecuentemente, pueden ser verdaderos o falsos. No son enunciados las expresiones lingsticas

interrogativas, exclamativas o imperativas.

38
Los enunciados o proposiciones pueden ser atmicos o simples, los que no se pueden descomponer

en otros; y moleculares o complejos, los que s se pueden descomponer.

4.1.1. Elementos de la lgica de enunciados o proposicional

El lenguaje o vocabulario de la lgica proposicional o de enunciados consta de tres clases de

elementos o smbolos: variables, constantes y auxiliares.

4.1.1.1.Variables

Variables o variables proposicionales son los smbolos que sustituyen las proposiciones o

enunciados. Se llaman variables porque su significado va cambiando en las diferentes

argumentaciones o expresiones. Se han acordado cinco variables o letras como smbolos: p, q, r,

s, t. Si hacen falta ms variables, se recorre a subndices:

Una variable como por ejemplo p puede simbolizar "La Tierra es un planeta" o "Todos los planetas

giran entorno all Sol" o cualquier otra proposicin. Por ello, siempre es preciso indicar la

proposicin que se simboliza con la variable. As, p = La Tierra es un planeta.

4.1.1.2.Constantes

Constantes o conectores proposicionales son las partculas de significado no variable que tienen la

funcin de alterar, relacionar o conectar enunciados atmicos hacindolos complejos. Los ms

frecuentes son la negacin, la conjuncin, la disyuncin, el condicional y el bicondicional.

Negacin: . (Tambin: -, ~)

Representa la partcula lingstica no o cualquier otra partcula que incluyan la idea de negacin.

Por ejemplo: no es el caso que, no pasa que, ni, etc. Tambin prefijos que indican esta idea como

imposible.

39
As, la formalizacin de "La luna no tiene satlites", ser p ; habiendo definido "La luna tiene

satlites" con la letra p.

Conjuncin: . (Tambin: , &)

Representa la partcula lingstica y o cualquier otra que indique la idea de uni, como tambin,

igualmente, pero. As, la formalizacin de "Marte tiene satlites y Jpiter tambin", considerando

"Marte tiene satlites" = p y "Jpiter tiene satlites" = q, ser p q.

Disyuncin: .

Representa la partcula lingstica o. Es preciso advertir que esta partcula tiene dos sentidos: un

inclusivo y otro exclusivo. En sentido inclusivo equivale a y/o, o sea, que incluye la verdad de los

dos enunciados de la disyuncin o bien slo la de uno de los dos. El sentido exclusivo expresa la

idea que la verdad de un miembro es incompatible con la verdad del otro: o uno o el otro, pero no

los dos. El sentido inclusivo es lo que, en general, se adopta a lgica.

As, la formalizacin de "Se aprende lgica escuchando a clase o estudiando", siendo "Se aprende

lgica escuchando a clase" = p y "Se aprende lgica estudiante" = q, ser p q .

Condicional: . (Tambin: )

Representa las partculas lingsticas si entonces... o cualquiera otros que indiquen la idea de

condicin, como cuando entonces..., entonces o una simple "coma". La partcula entonces o

equivalente separa el antecedente del consecuente. As, la formalizacin de "Si llueve, entonces la

tierra se moja", con p simbolizando "Llueve" y q, "La tierra se moja", ser p q.

40
Bicondicional: . (Tambin: )

Representa las partculas lingsticas si y slo si o cualquier otra que indique doble condicin,

como equivale, cuando y slo cuando, nicamente. Se trata de una condicin necesaria y suficiente.

As, la formalizacin de "Es de noche si y slo si se ha post el sol", con p simbolizando "Es de

noche" y q "Se ha post el sol", ser p q.

4.1.1.3.Smbolos auxiliares

Smbolos auxiliares o parntesis que no tienen ningn significado lgico pero que se usan con el

objetivo de clarificar la comprensin de los enunciados. Los smbolos auxiliares parntesis (...) y

corchetes [...] evitan ambigedades y facilitan la lectura. Parntesis y corchetes clarifican el

siguiente enunciado molecular: "Si [(cantas y bebes) o (bailas y comes)] entonces no puedes hacer

ninguna de las cosas bien".

4.2.Lgica de predicados

La lgica de predicados estudia las frases declarativas con mayor grado de detalle, considerando

la estructura interna de las proposiciones. Se tomara como elemento bsico los objetos y las

relaciones entre dichos objetos. Es decir, se distingue:

Que se afirma(predicado o relacin)

De quien se afirma(objeto)

Definimos a continuacin las reglas sintcticas para construir frmulas:

El alfabeto de la lgica de predicados estar formado por los siguientes conjuntos simblicos:

Conjunto de Smbolos de Variables (VAR): Es un conjunto de las ltimas letras del

alfabeto en minsculas. Se utilizan subndices, por ejemplo: x, y, z, x_1, y_1, z_1 \in VAR
41
Conjunto de smbolos de Constantes (CONS): Este conjunto lo forman las primeras letras

del alfabeto en minsculas, tambin utilizaremos subndices: a, b, c, a_1, b_1, c_1 \in

CONS

Conjunto de letras de funcin(FUNC): Representaremos a este conjunto por las letras

f,g,h,L. Incluimos subndices para poder diferenciar las funciones: f,g,h,L,f_1,g_1,h_1 \in

FUNC

Conjunto de letras de Predicado (PRED): Se representan mediante letras maysculas, P, Q,

R, K \in PRED

Smbolos de conectivas:

= Negacin

= Conectiva o

= Conectiva y

= implicacin

= Doble implicacin o equivalencia

Cuantificadores:

=existencial

=Universal

42
4.3. Lgica de clases

Se entiende por clase una pluralidad o conjunto de individuos que tienen una misma propiedad o

propiedades. Segn el diagrama de la introduccin a la lgica, en la lgica proposicional, hemos

estudiado las oraciones o juicios, las proposiciones y los razonamientos. En la lgica de clases,

nos ocupamos de los conceptos que designan un grupo de objetos con las mismas propiedades o

caractersticas. Estos grupos de objetos, son las clases.

En el lenguaje formal las clases se representan con letras maysculas empezando por la A.

4.3.1. Elementos de una clase

Cada uno de los objetos integrantes de una clase, es un elemento o miembro de la clase. La relacin

existente entre un elemento y la clase de la que es miembro, se llama relacin de pertenencia, el

elemento pertenece a la clase, se simboliza: []; este smbolo deriva de la palabra griega est, que

significa es. Por ejemplo Madrid pertenece a las capitales europeas. Madrid C.

En general x C, quiere decir que x es un elemento de C. Cuando quiero expresar que un elemento

no pertenece a una clase, utilizo el smbolo: Por ejemplo Mxico C, quiere decir que Mxico

no pertenece a las capitales europeas.

Las clases se pueden definir por extensin y comprensin. Por extensin enumerando sus

elementos; por comprensin expresando sus propiedades comunes. La comprensin expresa su

definicin en trminos de idea o concepto, es decir el significado de la clase o del concepto. La

extensin hace referencia a sus elementos o bien de forma total: o bien de forma parcial: .

43
4.4. Lgicas de relaciones

Funciones proposicionales binarias.

A un predicado puede ir unido ms de un sujeto o trmino, como por ejemplo:

"Platn fue alumno de Scrates"

Este tipo de predicados expresa una relacin entre los objetos o trminos. Aqu vemos dos trminos

que son Platn y Scrates; sin embargo en este caso los trminos no ocupan el lugar del sujeto

gramatical puesto que "Scrates" hace parte del predicado gramatical.

Cuando, como en el ejemplo, la relacin se hace entre dos individuos, se le llama binaria o ditica.

Otras relaciones pueden establecerse entre tres o ms individuos. Por ejemplo: "x est entre a y b".

La proposicin "Platn fue alumno de Scrates", la cual se simboliza Aps o pAs es el resultado de

una sustitucin dentro de la funcin proposicional: "x fue alumno de y" esta funcin proposicional

se simboliza Axy o xAy.

Cuando se efecta la sustitucin es necesario conservar el orden en la escritura de acuerdo a que

el trmino que entra a sustituir la variable ocupe el lugar de sta. Por ejemplo, si en lugar de escribir

Aps escribimos Asp, la proposicin ser. "Scrates fue alumno de Platn" Cuando se tiene una

funcin proposicional en dos variables, es posible convertirla en una proposicin sustituyendo

cada una de las variables por un trmino especifico o aadiendo un cuantificador a cada variable.

44
5. IMPORTANCIA DE LA LOGICA FORMAL

La lgica es la disciplina que estudia el razonamiento. El antiguo filsofo Aristteles fue quien

primero trat con ella. La palabra lgica proviene del vocablo griego 'logos', que significa 'razn'

o 'pensamiento'.

Aristteles defini al ser humano como un animal racional. Si nos guiamos por esta definicin,

llegamos a la conclusin de que la lgica es imprescindible para que el ser humano pueda vivir de

acuerdo a su naturaleza.

Los componentes principales de todo proceso lgico son tres: las premisas, el razonamiento,

tambin conocido como argumento lgico, y la conclusin. La lgica nos garantiza que, si

utilizamos premisas verdaderas, mediante un razonamiento vlido podemos llegar a conclusiones

verdaderas.

Es imposible exagerar la importancia de sostener premisas verdaderas. De eso depende la validez

de todas las conclusiones a las que un humano pueda llegar mediante razonamiento. Deberamos

tener esto en cuenta antes de decidir si vamos a creer o no en la existencia de un Dios: la eleccin

incorrecta nos hara vivir cometiendo errores, por ms que razonemos correctamente.

Un elemento importante de la lgica es el Silogismo. Se trata de un tipo especial de razonamiento

en el que se infiere una conclusin a partir de dos premisas. Tanto las conclusiones como las

premisas son tipos de proposiciones. Este concepto nos es til para introducir un ejemplo simple

de la aplicacin de la lgica:

Premisa mayor: Todos los humanos son mortales.

Premisa menor: Scrates es humano.

45
Conclusin: Scrates es mortal.

Este es un ejemplo simple, y hasta puede parecer evidente para algunos, pero sera un grave error

subestimar a la lgica: aseguro que al observar la lista completa de todos los silogismos correctos

posibles muchos de ellos no son para nada evidentes, y sin embargo son totalmente vlidos.

Sin un conocimiento riguroso de la lgica las personas pueden tener problemas para razonar. Esto

no significa que estemos inhabilitados para razonar hasta que aprendamos lgica; significa que

aprendiendo lgica podemos razonar ms efectivamente, algo esencial para nuestra supervivencia

como humanos.

Hay algunos filsofos que se niegan a razonar porque no simpatizan con la rama aristotlica de la

filosofa (triste pero real). Incluso hay corrientes filosficas enteras que niegan el razonamiento ya

que niegan la existencia de la mente humana (ejemplo: el Materialismo, base del Comunismo y

del Socialismo). Las consecuencias de tomar esta actitud son funestas para la vida del hombre: la

Cuba comunista y la URSS son slo dos ejemplos en los cuales los hombres vivieron como

hormigas del totalitarismo como consecuencia de negar la existencia de la razn. Lamentablemente

estas filosofas anti racionalistas, y en consecuencia antihumanas, todava presentan cierta

influencia en casi todos los pases del mundo. En el caso de Cuba sigue vigente como forma de

Gobierno.

Tambin hay otra corriente filosfica, llamada Lgico-Positivismo, que niega la existencia de las

verdades, afirmando que no existen las verdades absolutas. Una persona que no cree en la

existencia de verdades absolutas est incapacitada para razonar, ya que las premisas necesitan ser

verdades para que, mediante razonamiento, la conclusin sea verdad. Adems, esta filosofa est

46
violando un principio de la lgica, el de no contradiccin: se afirma que es una verdad absoluta

que no existen las verdades absolutas.

A pesar de estas tragedias filosficas que todava nos afectan, el futuro es prometedor. Si uno

analiza la historia, la razn siempre termin ganando. El redescubrimiento de unos pocos textos

de Aristteles bast para romper con cientos de aos de misticismo y ocultismo en los que la

humanidad estuvo sumergida durante la Edad Media, triste situacin de la que la que podra no

haber logrado escapar.

La clave del xito de la razn es que est sostenida en la realidad misma. Citando a Ayn Rand,

gran pensadora aristotlica de nuestra poca: "podemos evadir la realidad, pero no podemos evadir

las consecuencias de evadir la realidad". Podemos elegir no razonar, pero no podemos evitar las

consecuencias de esa eleccin.

6. OBJETIVO DE LA LOGICA FORMAL

Su Objeto Material es la estructura del pensamiento en sus tres formas: concepto, juicio y

razonamiento.

Su Objeto Formal es la forma o estructura de los razonamientos para distinguir los

"correctos" de los "incorrectos", no hace referencia a su contenido o materia (o sea, si son

"verdaderos" o "falsos").

47
7. APLICACIN DE LA LGICA FORMAL EN LA VIDA DIARIA

Hablemos por lo pronto de Lgica Formal, que como hemos dicho, se interesa por el razonamiento

correcto, que es lo mismo que decir coherente y ordenado. Un razonamiento de esta naturaleza es

posible si la conclusin que se obtiene se deriva por necesidad de otros pensamientos previamente

planteados llamados premisas. Esto es, todo razonamiento o argumento est estructurado con

premisas y conclusin. Qu es una premisa? Es un pensamiento que funciona como punto de

partida o sustento para derivar otro al cual llamamos conclusin; y qu es una conclusin? Es un

pensamiento derivado por necesidad de otro(s) que llamamos premisa(s). Para que un

razonamiento sea correcto debe existir una conexin tan estrecha entre las premisas que haga

necesaria la existencia de la conclusin. Pero, qu se entiende en Lgica por necesario? Esto: lo

necesario es aquello que es y ocurre de una manera y no puede ser ni ocurrir de otra. Por ejemplo,

si yo sostengo un objeto pesado y despus lo suelto sin que haya ningn obstculo entre mi mano

y el piso es de toda necesidad que caiga hasta el suelo, en condiciones naturales no puede ser de

otro modo. Eso es lo necesario, lo que no puede ser de otra manera, aquello que no deja opcin

para que suceda de otro modo. As, un razonamiento incorrecto ocurre cuando no existe un vnculo

de necesidad entre su(s) premisa(s) y la conclusin, por ejemplo: Est nublado y por tanto va a

llover, este es un pensamiento ilgico o incorrecto por la sencilla razn de que del hecho de que

est nublado no se deriva por necesidad que tenga que llover, ya que todo el da puede permanecer

totalmente nublado y sin embargo no caer una sola gota de lluvia. En cambio, un razonamiento

correcto sera el siguiente: Todos los hermanos de Juan son varones, Too es hermano de Juan,

por lo tanto, Too es varn, como es evidente, que Too siendo hermano de Juan sea varn no

podra ser de otra manera, pues la primera premisa ha establecido categricamente que todos los

hermanos de Juan son varones.

48
CONCLUSIONES

1. El aprendizaje es la manera en que el hombre adquiere conocimientos de diferente manera

ya que tiene diferentes formas como los sustentas Ausubel, Vygotsky y Piaget pera para

adquirir este conocimiento debe haber un pensamiento que es la base para una lgica, la

lgica formal se encarga de producir premisas que mediante una investigacin tienes

solucin cientfico, en nuestra vida estamos rodeados de premisas que nosotros nos

proponemos a diario y que ah veces para solucionarlo se nos hace difcil sin saber que hay

ya sustento cientfico dado.

49
BIBLIOGRAFIA

1. Antezana Iparraguirre Rgulo.(2012) PENSAMIENTO LGICO FORMAL, Per,

https://reguloantezana.files.wordpress.com/2013/07/pensamiento-lc3b3gico-formal-

pdf.pdf

2. Campistrous, Luis. (1993) Lgica y procedimientos lgicos del pensamiento. Documento

digital. La Habana, https://www.ecured.cu/Pensamiento_l%C3%B3gico

3. Julin Prez Porto y Mara Merino. (2008) Definicin de pensamiento lgico

4. Muoz Gutierrez, Carlos (1993) Introduccin a la lgica

5. Universidad Nacional de La Plata (2004) Lgica formal y argumentacin como disciplinas

complementarias, Argentina.

6. Aula Facil(2017) LOS PRINCIPIOS LGICOS,

http://www.aulafacil.com/cursos/l8553/arte-humanidades/filosofia/filosofia-facil/los-

principios-logicos

7. Hilario Rodrguez Lozano (2012) APUNTES PRCTICOS DE LGICA FORMAL,

Madrid https://es.scribd.com/document/330531034/APUNTES-DE-LOGICA-FORMAL-

pdf

8. Investigaciones lgicas (1929) Revista de Occidente, t. I, Madrid

9. GALAGOVSKY KURMAN, L. (1993): Hacia un nuevo rol docente. Troquel. Buenos

Aires.

50