PASO 0 PRE SABERES Y NOCIONES DEL PENSAMIENTO LGICO Y

MATEMTICO

Autor: Reservado

Tutor: Adrin Reinaldo Valencia

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

PROGRAMA DE PSICOLOGA

CALI-VALLE DEL CAUCA

03/12/2016

Objetivo

Refrescar los conocimientos o conceptos importantes para el desarrollo del curso de lgica
matemtica, de forma terica, prctica y conceptual.

Objetivos Especficos

Con relacin al pensamiento formal desde la lgica matemtica, se pretende estructurar el

conocimiento referente a ello

Facilitar el proceso de aprendizaje

Apropiar las temticas del curso.

Introduccin

En esta actividad se aborda un poco de historia, acerca de algunos de los precursores de la lgica
matemtica, sus aportes. De forma grfica se ilustran los temas desarrollados en el curso, se da
respuesta a 5 preguntas relacionadas con el tema visto en la unidad.
Con la realizacin del trabajo se busca desarrollar gua de actividades del curso pensamiento
lgico y matemtico, Con la lectura del fragmento se busca analizar y determinar la relacin
entre la matemtica y la lgica filosfica de las situaciones que se viven en el entorno, ya que a
diario todas las personas hacen uso de las matemticas mecnicamente.

MAPA CONCEPTUAL

CURSO DE LGICA
MATEMTICA, CONSTA
DE 3 UNIDADES.

UNIDAD 1

UNIDAD 3
UNIDAD 2

NOCIONES DE TEORA
DE CONJUNTO
LO

LA TEORA DE CONJUNTOS es
una rama de las matemticas que
estudia las propiedades y relaciones
de los conjuntos: colecciones
abstractas de objetos, consideradas
como objetos en s mismas.
SIMBOLOGA
Y
PARADOJAS,
DEFINICIN
DE
OPERACIN
DE
TERMINOLOGA
SOFISMAS,
FALACIAS
CONJUNTOS
CONJUNTOS

LGICA
PROPORCIONAL

INFERENCIA LGICA

REGLAS DE ESTRATEGIA Y
REDUCCIN NATURAL

REGLAS DE
INFERENCIA

La deduccin natural es una aproximacin a

la teora de la demostracin en la que se
busca capturar la manera en que las personas
razonan naturalmente al construir
demostraciones matemticas

Son reglas de
transformacin
sintcticas que se
pueden usar para
inferir una conclusin
a partir de una

ANLISIS DE
ARGUMENTOS
TABLAS DE VERDAD

Por medio de reglas de

inferencia

Valores y funciones de verdad,

Interpretaciones equivalencia lgica

RAZONAMIENTO LGICO
Razonamiento deductivo
Razonamiento deductivo
LAS RESPUESTAS A LAS CINCO PREGUNTAS DETONANTES

1 Es posible concebir un tipo de pensamiento lgico sin incluir la argumentacin para

establecer la veracidad de un enunciado?

Rt/ No, Todo razonamiento es un salto de lo conocido a lo ignoto que se apoya en lo que
ya sabemos. Lo cual sera la argumentacin, Slo puede admitirse como verdadero lo
que se reconoce como evidente y est comprobado (Demostrado). Bruner denomina esta
modalidad de, pensamiento paradigmtico o lgico-cientfica y la diferencia de la
modalidad narrativa, ambas son irreductibles entre s aunque pueden ser
complementarias. Difieren sobre todo, en sus procesos de verificacin: Mientras que en
la argumentacin La verificacin se realiza por medio de procedimientos que permiten
establecer una Prueba formal y emprica, en el otro no se establece la verdad sino la
verosimilitud.

2. El lenguaje natural es cuando nos expresamos dentro de los parmetros de la

comunicacin coloquial, sencilla y propia de la sociedad. El lenguaje formal es aquel en el
que se establecen smbolos, signos y estructuras ordenadas para comunicar. Qu papel
juegan las dimensiones descriptiva, explicativa y demostrativa para transformar el lenguaje
natural en lenguaje formal?

Rt/Para ordenar la experiencia y construir la realidad, se hace necesario utilizar formas

discursivas como la descripcin, la explicacin, la demostracin y la argumentacin.

cuando describimos representamos lingsticamente el mundo real o imaginado y, de esta

manera, expresamos con palabras la forma de percibir el mundo a travs de los sentidos y
a travs de nuestra mente que asocia, recuerda, imagina e interpreta. Cuando
explicamos intentamos proporcionar informacin sobre algo; se trata
de hacer saber, hacer comprender y aclarar un conocimiento que no se
pone en cuestin. Cuando comentamos, explicamos, demostramos o
confrontamos ideas, conocimientos, opiniones, creencia o valoraciones,
vamos tejiendo con el lenguaje una trama argumentativa.

3. El convencer al otro es un proceso que requiere del uso de la lgica, y el persuadir requiere
de un subjetivismo para cautivar al otro; sin embargo quien se deja persuadir o no, est
interpretando la informacin dada por el emisor. Podra decirse que el proceso de persuadir
utiliza una lgica intuitiva a diferencia de la lgica formal que utiliza el proceso de
convencer?

Rt/ La persuasin corresponde al campo de la retrica en la cual los

argumentos elaborados intentan obtener un resultado en el auditorio sin
preocuparse mucho del procedimiento lgico. Para ello, se recurre a los
sentimientos y los argumentos se sitan en unos condicionamientos
temporales y espaciales, y se intenta, en ltimo trmino, que la adhesin se
transforme en una accin. En esta recuperacin de la retrica aristotlica, los
tericos de la argumentacin rememoran las operaciones que se cumplen en
este proceso:

Inventio: es el momento cuando se establecen las pruebas o razones. Desde

la inventio se orientan dos lneas: (a) una lgica: convencer; (b) otra
psicolgica: conmover
Dispositio: es el momento propiamente de la argumentacin, cuando se
ubican las pruebas a lo largo de un discurso siguiendo un orden: (a) exordio:
es el momento es que se descubre el objeto y la finalidad del discurso; (b)
expositio o narratio: est compuesto por hechos y descripciones; (c)
demostratio, prueba o confirmatio: es la exposicin de argumentos; (d)
peroracin o eplogo.
Elocutio: la composicin verbal de los argumentos.
Actio: la puesta en escena del discurso desde el punto de vista del orador,
del mensaje y del auditorio.

 Memoria: el recurso a la memoria de otros textos que sirven de estereotipos

o de referencia.

4. De qu manera los procesos matemticos intervienen en la estructuracin de los

argumentos lgicos para demostrar la veracidad de un suceso?

Rt/Los procesos matemticos que intervienen en un cierto proceso dependen de la

caracterstica que se desea estructurar y argumentar. Un modelo matemtico rene todas
las caractersticas necesaria involucradas en el fenmeno (social, qumico, biolgico,
mdico, estadstico, administrativo, financiero, industrial, fsico, psicolgico.etc.), es
decir, basados en la informacin fundamental del proceso que deseamos argumentar, se
encuentran la variables que deseamos encontrar como incgnitas, para despus, saber si
contamos con datos (para realizar el modelo estadstico, estocstico o en series de
tiempo) o si no contamos con dichos datos y estos suceden a travs del tiempo (como
crecimiento molecular o de poblacin) podemos utilizar ecuaciones diferenciales o en
diferencias.

5. La matemtica posee muchos procesos abstractos que slo competen aun constructo
mental. De cierta manera la matemtica es persuasiva?
Si, las matemticas pueden ser persuasivas, Para persuadir se requiere, argumentos que
focalicen la atencin de quien te escucha, un argumento capaz de convencer.
De estos modos discursivos el ms complejo es aquel que un interlocutor utiliza
para convencer al otro, persuadirlo o provocar su adhesin. Eso lo lleva a dominar
una variedad de habilidades cognitivas-lingsticas. Segn Calsamiglia y Tusn, el
objeto de una argumentacin siempre es un tema dudoso, problemtico, que puede
ser visto desde diferentes puntos de vistas.
En este caso, el locutor desea expresar una forma de interpretar la realidad
tomando posicin y la hace saber a travs de un discurso oral o escrito de carcter
polmico, contraponiendo dos o ms posturas sobre el mismo tema. Generalmente,
el esquema de una argumentacin es el siguiente:
(1) se parte de unos datos iniciales o de una premisa; (2) se proponen
argumentos para defender un nuevo enunciado, que
(2) se deriva de la premisa;
(3) (3) se llega a la conclusin. Siempre hay, implcitamente o explcitamente, un
dilogo porque hay una confrontacin: el que argumenta propone y debe
buscar argumentos para convencer a su oponente de su tesis (en algunas
ocasiones el auditorio somos nosotros mismos y en nuestro interior nos
dividimos en dos interlocutores).

APORTE A LA LGICA MATEMTICA DE LOS CINCO PRECURSORES.

La gran aportacin de los matemticos griegos fue transformar el saber emprico de
civilizaciones anteriores, como la mesopotmica o la egipcia, en una matemtica terica, es
decir, en un saber que prueba o demuestra sus construcciones por deduccin a partir de un
conjunto de axiomas, postulados y definiciones.
Aristteles
La lgica aristotlica supone que la mente reproduce slo la realidad, la existencia de las cosas
tal y como son, por ello es una ciencia objetiva que se dedica a estudiar conceptos,
desglosndolos en predicables y predicamentos.
La lgica analiza juicios y formas de razonamiento y su manera de expresar resultados es el
silogismo o razonamiento deductivo categrico.
La que es conocida como lgica clsica (o tradicional) fue enunciada primeramente por
Aristteles, quien elabor leyes para un correcto razonamiento silogstico. Un silogismo es una
proposicin hecha de una de estas cuatro afirmaciones posibles: Todo A es B (universal
afirmativo), Nada de A es B (universal negativo), Algo de A es B (particular afirmativo) o
Algo de A no es B (particular negativo). Las letras sustituyen a palabras comunes como

perro, animal de cuatro patas o cosa viviente, llamadas trminos del silogismo. Un
silogismo bien formulado consta de dos premisas y una conclusin, debiendo tener cada premisa
un trmino en comn con la conclusin y un segundo trmino relacionado con la otra premisa.
En lgica clsica se formulan reglas por las que todos los silogismos bien construidos se
identifican como formas vlidas o no vlidas de argumentacin.
Hay 4 formas vlidas de silogismo, todas dependiendo de la variacin del trmino medio y de su
funcin en los juicios; listadas a continuacin:
Figura 1
Figura 2
Figura 3
Figura 4
M es P P es M M es P P es M
S es M S es M M es S M es S
S es P S es P S es P S es P
Forma A: Todo A es B. Para todo x, si x es A entonces es B.
Forma E: Algn A es B. Existe al menos un x tal que es A y es B.
Forma I: Algn A no es B. Existe al menos un x que es A y no es B.
Forma O: Ningn A es B. Para todo x, si x es A entonces no es B.A(universal afirmativa)
contraria I (particular negativa.
E(particular afirmativa contraria O (universal negativa)
A contradictoria O
E contradictoria I
A subalterna I

Scrates y platn
Se ocuparon tambin de los problemas de la lgica. En Platn, estos problemas se
Planteaban en relacin con su teora ontolgica de las ideas; en l hallamos un intento de
edificacin de las categoras de ideas y un ensayo donde formula algunas leyes lgicas, en sus
teoras lgicas, estos filsofos se oponen al materialismo defendido por
Demcrito y otros pensadores.
Aunque Platn no fuera un matemtico de relieve, en sus obras toma una posicin clara respecto
a la cuestin ontolgica. Los nmeros y las figuras son entidades ideales, inteligibles, eternas,
inmutables, independientes y separadas de los seres naturales. En sus obras las matemticas se
reafirman en la dimensin cosmolgica y sagrada adquirida con los pitagricos, yendo incluso
hyperouranos, ms all de los cielos. Los nmeros y figuras son los principios eternos que
gobiernan la Naturaleza cambiante y mortal. Las matemticas expresan el orden de la necesidad,
la verdad sobre el mundo, comprensible solo por el alma racional, no por el cuerpo sensible. Al
final de su vida lleg a proponer como religin popular de la polis racional ideal una teologa
astral que se fundaba en la astronoma matemtica.

En las matemticas se halla el origen y fundamento de la teora platnica de las formas o ideas.
En esta la idealizacin de los entes matemticos se transforma en la idealizacin de los entes
fsicos y psquicos. La verdad matemtica, por su invariabilidad en el tiempo, era el modelo a
seguir en todo conocimiento intelectual. El mtodo deductivo, que partiendo de axiomas y
definiciones llegaba a la demostracin de teoremas, era el modelo prestigioso de razonamiento
para todo saber. En el dilogo Menn Scrates, a travs de preguntas y respuestas, hace que un
esclavo alcance por su propio razonamiento una verdad matemtica; as, de una manera popular,
expone Platn que las matemticas estn en el alma humana, ya que en esta se halla presente el
logos que gobierna el mundo material mediante las proporciones aritmticas y geomtricas. Slo
se requiere la introspeccin para volvernos conscientes de ese saber interno.
Gottlob Frege.
Fue un matemtico, lgico y filsofo alemn, padre de la lgica matemtica y la filosofa
analtica. Frege es ampliamente reconocido como el mayor lgico desde Aristteles.
Sus aportaciones:
Lgica simblica.
Lgica matemtica.
Enunciados de la identidad.
Referencia de concepto y objeto.
El sentido y la referencia.
Lgica simblica
La lgica simblica es un sistema formal que analiza los signos y lo que designan.El positivismo
lgico entiende que el significado es la relacin que existe entre las palabras y las cosas, y su
estudio tiene un fundamento emprico: puesto que el lenguaje, idealmente, es un reflejo de la
realidad, sus signos se vinculan con cosas y hechos.
La lgica matemtica es el intento de dar una forma universal al pensamiento, expresndolo
por un sistema unvoco de signos (estos quiere decir, un sistema en el que cada signo tenga un
solo significado en un mismo contexto).
Una pequea explicacin
Frege fue un defensor del logicismo, la tesis de que las matemticas son reducibles a la lgica, en
el sentido de que las verdades de la matemtica son deducibles de las verdades de la lgica.
Logicismo
La teora del significado de Frege se enfrenta a la tradicin psicologista que asigna contenidos
mentales a las palabras como sus significados.Por su parte, en su artculo titulado Sobre el
sentido y la referencia,Frege comienza preguntndose por los enunciados de identidad, de los
cuales distingue dos tipos:
a=a
a=b
Filosofa del lenguaje, Considera la lgica matemtica como punto de partida las relaciones de
inclusin (producto lgico) y de exclusin (suma lgica). Otra aportacin, la lgica
matemtica pretende hacer que todas las relaciones reales se vuelvan formales; pretende
reducirlas a una expresin matemtica que pueda ser calculada como en las matemticas.
Por esa razn es que se le llama tambin lgebra de la lgica.

Tambin las partculas lgicas son aquellas partculas que determinan a las partculas fcticas ya
sea limitndolas (cuantificadores) o bien relacionndolas (funciones).
George Boole.
El gran descubrimiento de Boole fue aplicar una serie de smbolos a elementos y operaciones
lgicas y hacer que estos smbolos y operaciones -por eleccin cuidadosa- tuvieran la misma
estructura lgica que el lgebra convencional. En el lgebra de Boole, los smbolos podan
manipularse segn reglas fijas que produciran resultados lgicos.
En 1854 public Investigacin sobre las leyes del pensamiento, libro que trataba por completo de
la lgica simblica y su lgebra. La influencia de esta lgica matemtica sobre las matemticas
modernas tendra una evolucin lenta: si en un primer momento no pareca ms que un
intrincado juego de palabras, ms adelante se vio que era de lo ms til, y hasta completamente
indispensable para llegar a la matemtica lgica. Boole se cas a la edad de cuarenta aos y tuvo
cinco hijas, a las que no lleg a ver adolescentes.
El lgebra de Boole
Esta forma de clculo desarrollada por George Boole es un sistema mediante el cual ciertos
razonamientos lgicos pueden expresarse en trminos matemticos. Los elementos del lgebra de
Boole son un conjunto de proposiciones, es decir, de hechos expresados mediante oraciones del
lenguaje natural. Tales proposiciones tienen como propiedad ser verdaderas o falsas. Al mismo
tiempo, y prescindiendo de si son verdaderas o falsas, cada proposicin tiene lo que se llama su
proposicin complementaria, que no es sino la negacin de la misma: la negacin de la
proposicin P es la proposicin complementaria P'.
Las consecuencias de estas proposiciones pueden descubrirse realizando operaciones
matemticas sobre los smbolos que las representan. Las dos operaciones bsicas son la
conjuncin y la disyuncin. Su sentido es fcil de comprender si se piensa en las dos partculas
gramaticales correspondientes, la conjuncin copulativa "y" (con idea de adicin o suma) y la
conjuncin disyuntiva "o" (con idea de exclusin). En el lenguaje natural, sin embargo, tales
conjunciones pueden tener otras valores, cosa que obviamente no ocurre en el lgebra de Boole.
Como ejemplo simple, consideremos las dos proposiciones siguientes: "hoy estar en casa" y
"maana estar en casa". Representamos la primera proposicin con el smbolo P y la segunda
con el smbolo Q. Las dos proposiciones pueden combinarse en una de dos formas: por un lado,
P o Q (hoy estar en casa o maana estar en casa), y, por otro P y Q (hoy estar en casa y
maana estar en casa).
Las reglas del lgebra de Boole pueden utilizarse para determinar las consecuencias de las
diversas combinaciones de estas proposiciones en funcin de si las proposiciones son verdaderas
(V) o falsas (F). As, si ambas proposiciones son verdaderas, la combinacin P y Q es tambin
verdadera. Es decir, si la proposicin "hoy estar en casa" (P) es verdadera, y la proposicin
"maana estar en casa" (Q) tambin es verdadera, entonces la combinacin "hoy estar en casa
y maana estar en casa" (P y Q) tambin debe ser verdadera.

CONCLUSIN
El desarrollo de esta tarea, fue interesante, ya 'que se debi leer, analizar y determinar la
importancia del uso de la matemtica en cada momento, pues en el diario vivir de las personas
hacen uso de la matemtica, para medir una superficie, saber cunto tiempo se demora de un
lugar a otro, entre otros aspectos, en el cual los individuos han de moverse a todo instante, y el
razonamiento que debemos utilizar para resolver problemas que se nos presentan en el da a da.