UNAD.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

Escuela de Ciencias Bsicas, Tecnologas e Ingenieras

Ingeniera Electrnica

PENSAMIENTO LOGICO MATEMATICO

Grupo: 200611_101

Fase O: PRESABERES

Preparado por:

JOSE DANIEL OCHOA

Cdigo: 1.096.211.141

Presentado a:
CRISTIAN JAVIER CUBILLOS

BARRANCABERJA. COLOMBIA
28 DE JUNIO DEL 2017
 OBJETIVOS

Conocer la importancia de aquellos precursores que ayudaron al desarrollo del

pensamiento lgico matemtico y reconocer que la argumentacin es la base para
explicar y entendimiento el enunciados.

Objetivos Especficos

Con relacin al pensamiento formal desde la lgica matemtica,

se pretende estructurar el conocimiento referente a ello
Facilitar el proceso de aprendizaje
Apropia las temticas del curso.
 INTRODUCCION

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.
 Fase socio-humanstica

Actualizacin de los datos y Reconocimiento de actores:

Nombres y apellidos completos.

Jos Daniel Ochoa Moya
Nmero de cdula.
1.096.211.141 de Barrancabermeja (Santander)
Nmero de Grupo Colaborativo.
200611_101
Correo electrnico personal.
Jdochoa_09@hotmail.com
Usuario de Skype.
Daniel.jdom91
Nmero de celular.
3102139764
CEAD de la UNAD al que pertenece (indicar la ciudad).
Barrancabermeja (Santander)
Programa de estudio en la UNAD
INGENIERIA ELECTRONICA
 Identificacin de tutor

Identificacin de los integrantes del grupo

2. Diligenciamiento de los datos Personales

Usos de la base de datos

Falta- no encontr el link para realizar actualizacin de datos pertinente;
1. Es posible concebir un tipo de pensamiento lgico sin incluir la argumentacin
para establecer la veracidad de un enunciado?

Despus de leer este fragmento y explorar en el amplio mundo que es el internet, puedo
deducir que concebir un tipo de pensamiento lgico sin incluir la argumentacin para
establecer la veracidad de un enunciado es poco probable, porque si se tratara de separar
un pensamiento que es lgico de las leyes que lo hacen lgico, sera como quitarle el
sentido o la razn de ser a lo lgico, y pretender que siga existiendo como si no hubiera
cambiado.

Pienso que el problema que se esconde detrs de esta pregunta es: Se le puede dar
veracidad a algo que no es lgico? A lo cual no puedo dar como concebible ya que algo
que no es lgico, como podra ser cierto o veraz. Un ejemplo para poder encontrar un
mejor enfoque seria: La muerte es algo lgico porque irremediablemente todos llegaremos
a eso, pero podemos dar la veracidad a que nosotros podemos llegar a controlar cundo
podremos morir, es decir, en palabras ms comprensibles, Nosotros podremos burlar a la
muerte
Por eso para que estas palabras sean aceptadas como verdad por todos los que la lean,
debe contener las claves para ese reconocimiento y eso solo puede existir bajo una
argumentacin que otros aparte de m que soy el que lo plantea sean capaces de recrear.

Esto ltimo me lleva a preguntarme cmo puedo recrear tal argumentacin no solo con lo
planteado si no con muchas cosas que suceden y que nuestra comprensin no es capaz
de asimilar, ya que esa recreacin se da gracias al hecho de que los humanos tenemos la
capacidad de razonar y por lo tanto, si algo debe ser tratado por ese mtodo deber haber
sido creado tambin por ese mtodo y as permitir su recreacin en otras mentes que
debern confirmar o rechazar el procedimiento empleado para llegar a la conclusin.

Si bien, es tambin cierto que no se puede limitar la verdad solo a aquellas cuestiones
susceptibles de ser demostradas mediante una lgica argumentada, porque las mayores
verdades de este mundo que estn fuera de toda lgica concebible, todava permanecen
ocultas a nuestra comprensin.

Esto me lleva a pensar que al final de todo, ideas en este mundo hay muchas, pero toda
idea que no puede ser materializada o enseadas a los dems, conlleva a que no pueda
ser creble, puede ser que en algn momento eso cambie ya que como muchos sabemos
la razn nos puede privar de realizar acciones o cosas fuera de nuestra comprensin,
pero ms que pensar que todo lo que no es lgico es un milagro o algo sin explicacin,
debemos pensar que si se puede lograr, solo que no hay en estos momentos la forma de
deducir y explicar cmo llegar a eso, por lo cual vuelvo y lo repito, no es probable decir
que algo que no es lgico pueda ser verdad.

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?
LENGUAJE NATURAL: el lenguaje natural, no fue fundamentado sobre una verdad
racional a priori, pero fue desarrollado y organizado, a partir de la experiencia humana, en
el mismo proceso en que esta experiencia humana, fue organizada. En su forma actual,
los lenguajes naturales, tienen un gran poder expresivo y pueden ser utilizados para
analizar situaciones altamente complejas y razonar muy sutilmente. La riqueza de su
componente semntico, y su cerrada relacin con los aspectos prcticos de los contextos
en los cuales son usados, da a los lenguajes naturales, su gran poder expresivo y su valor
como una herramienta para razonamiento sutil.

LENGUAJES FORMALES: Los lenguajes formales son, por todo esto, necesariamente
exentos de cualquier componente semntico fuera de sus operadores y relaciones, y es
gracias a esta ausencia de significado especial, que los lenguajes formales pueden ser
usados para modelar una teora de la mecnica, de la ingeniera electrnica, etc., en la
lingstica u otra naturaleza, la cual asume el estatus del componente semntico de tal
lenguaje. Esto equivale a decir, que durante la concepcin de lenguajes formales, toda la
ambigedad anteriormente expuesta respecto a la semntica de una palabra, es anulada,
es como si esta reduccin al significado nico debe manifestarse por s mismo, como la
eliminacin del mundo de significados en el proceso de construir las frmulas, al tiempo
que se toca el nivel abstracto de estas construcciones el significado de smbolos es
determinado exclusivamente por la sintaxis, sin referencia a ningn contenido semntico.
Una funcin y una frmula, puede designar cualquier cosa, solamente los operadores y
relaciones que nos permiten escribir una frmula como por ejemplo la igualdad,
desigualdad, pertenencia, no pertenencia, conectivos lgicos, etc., y operadores
algebraicos +, *, etc., tienen significados especiales.

LENGUAJE NATURALES VS LENGUAJES FORMALES:

En un lenguaje, se tiene que los elementos ms simples, son los smbolos llamados letras
que constituyen un alfabeto , que es un conjunto finito de smbolos { 1, 2,..., n}.
Con la concatenacin de las letras, formaremos palabras que determinan un conjunto *.
El conjunto de palabras que tengan un significado, constituirn el diccionario del lenguaje
(por ejemplo el Webster, diccionario del ingls). A partir de lo anterior, tendremos que un
lenguaje se considera como un conjunto de oraciones, que usualmente es infinito y, se
forman con palabras del diccionario. En este punto, podemos distinguir entre dos clases
de lenguajes; los lenguajes naturales como el castellano o el ingls, y los lenguajes
formales como las matemticas y la lgica.

El lenguaje es signo del pensamiento Cuando decimos no consigo la palabra que

exprese lo que estoy pensando, estamos implcitamente dando a entender que
elaboramos nuestros pensamientos, La experiencia de la lectura. Estudios sobre
literatura y formacin. Nuestra intimidad y luego los expresamos en signos lingsticos. El
lenguaje se convierte as en el signo del pensamiento, el que traduce lo que pensamos.
En este caso, es como si tuviramos en nuestra mente conceptos, esencias o categoras
que son expresadas por las palabras. Se trata de una concepcin mentalista en la cual el
lenguaje ocupa un lugar secundario porque slo sirve para acompaar de forma exterior
al pensamiento, como un caparazn.
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?

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?

Se debe ordenar la experiencia que se ha llevado en la vida, como construir una realidad
que vale de formas como los son la descripcin, explicacin, y la argumentacin. En el
momento que describimos el mundo real o imaginado, expresamos el mundo a travs de
los sentidos y nos damos entender lo estamos realizando de una manera Lgica y
argumentativa.

Al momento de generar argumentos y demostrar la verdad de un suceso o que una

afirmacin es verdadera, miramos todos los casos posibles para demostrar que es vlida,
se emplea la lgica.

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) 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).

Un poco de historia: anlisis de la pertinencia de los aportes dados por los

Precursores de la Lgica Matemtica

ARISTTELES

Para Aristteles, la lgica era una herramienta necesaria para adentrarse en el mundo de
la filosofa y la ciencia. Sus propuestas ejercieron una influencia sin par durante ms de
dos milenios, a tal punto que en el siglo XVIII.

La nocin central del sistema lgico de Aristteles es el silogismo (o deduccin,

sullogismos) Un silogismo es, segn la definicin de Aristteles, un discurso (logos) en el
cual, establecidas ciertas cosas, resulta necesariamente de ellas, por ser lo que son, otra
cosa diferente.

Un ejemplo clsico de silogismo es el siguiente:

Todos los hombres son mortales.

Todos los griegos son hombres.
Por lo tanto, todos los griegos son mortales.
En este ejemplo, tras establecer las premisas (1) y (2), la conclusin (3) se sigue por
necesidad. La nocin de silogismo es similar a la nocin moderna de argumento
deductivamente vlido, pero hay diferencias.6

En los Primeros analticos, Aristteles construy la primera teora de la inferencia vlida.7

Conocida como la silogstica, la teora ofrece criterios para evaluar la validez, o no, de
ciertos tipos muy especficos de silogismos, los silogismos categricos.7 Para definir lo
que es un silogismo categrico, primero es necesario definir lo que es una proposicin
categrica. Una proposicin es categrica si tiene alguna de las siguientes cuatro formas:
Todo S es P.
Ningn S es P.
Algunos S son P.
Algunos S no son P.

SCRATES.
Se dice que este precursor de la filosofa occidental haba asistido a las clases de Prdico
y, dado que este persegua las definiciones de las cosas sobre todo en asuntos ticos y
morales, seguramente esto influenci profundamente su pensamiento.
Estas investigaciones llevadas a cabo mediante el debate y la argumentacin, son
retratadas en los escritos de Platn, destacando la importancia del rigor en el lenguaje
(precursor de la lgica del lenguaje). Habr quien diga que la lgica para este filsofo
griego solo se redujera a ser un instrumento para profundizar en la tica, para saber la
naturaleza comn de las palabras.
Tambin se dice que usaba un mtodo de reduccin al absurdo para refutar a sus
oponentes pero tampoco tenemos certeza que haya teorizado sobre estas figuras de
razonamiento. Scrates afirmaba que era un PARTERO DE ESPIRITUS ya que mediante
este mtodo de preguntas y respuestas ayudaba a clarificar los razonamientos de sus
interlocutores motivndolos a la investigacin, a la bsqueda de la verdad.
Tambin deca que la base de sus enseanzas y lo que inculc, fue la creencia en una
comprensin objetiva de los conceptos de justicia, amor y virtud y el conocimiento de uno
mismo.

PLATN

Ha sido una de los filsofos que mayor influjo atenido en la historia del pensamiento y las
matemticas, fue el inspirador de casi toda la actividad matemtica de su poca. Siendo
uno de los hombres ms sabios de su tiempo. Donde uno de sus objetivos fue cuestionar
los conceptos y las reglas de deduccin en las matemticas constituyendo la lgica una
verdadera matemtica.

Platn funda la academia en el ao 387 A.C inspirada en la comunidad pitagrica, platn

crea el centro ms importante de matemtica y filosofa de la antigedad donde, as pues,
buena parte de los estudios y campos de investigacin de la academia tendran que ver
con las cuatro materias como se presentan; Aritmtica, Geometra, Astronoma y Msica.
Todas ellas disciplinas matemticas que constituan un aprendizaje superior para la
poca.

Platn dio a las matemticas en general, y a la Geometria en particular un inmenso

impulso gracias a sus escritos llenos de discursos matemticos en la academia donde
salieron los principales investigadores del siglo IV A.C celebres matemticos.

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.

George Boole fue un matemtico britnico que fund su propia escuela de enseanza,
Public algunos artculos sobre la combinacin del lgebra y el clculo, desarroll un
lgebra propia, y fue el iniciador de la lgica simblica, que representa los procesos del
razonamiento mediante smbolos matemticos.

El lgebra de Boole, el cual es uno de los pilares de la lgica matemtica y de la

computacin, es una de los mtodos que puede aplicarse directamente a la teora de
conjuntos, donde las dos operaciones anteriores son la unin y la interseccin. Tambin
se aplica a la lgica, donde el conjunto en cuestin tiene slo dos elementos,
correspondientes a los valores de verdad (verdadero y falso), y las dos operaciones son la
conjuncin (Y) y la disyuncin (O).
Esta versin del lgebra de Boole tuvo insospechadas aplicaciones en la conmutacin
telefnica y en los computadores electrnicos, que trabajan tambin con entidades que
slo pueden tomar dos valores posibles, que usualmente se representan mediante los
nmeros 0 y 1. Boole trat asimismo de aplicar su lgebra al desarrollo de una lgica
probabilstica.
George Boole mientras fundo y trabajo en su escuela fue capaz de incorporar la lgica al
campo de las matemticas, la cual era una disciplina propiamente de la filosofa,
estableciendo en sus estudios sus reglas y axiomas ms importantes.

Un ejemplo muy sencillo para demostrar su trabajo en el campo de la lgica y de porque

se le considera el padre de la lgica matemtica es el siguiente:

Todos los mamferos respiran mediante pulmones.

Los perros son mamferos.
Los perros respiran mediante pulmones.

Uno de los avances ms importantes que nos dejo fue entender que existen "clases" que
podan agrupar a todos los individuos definidos por una palabra.

Para aplicar y explicar el ejemplo nosotros podremos formar estos grupos y llamarlos
"mamferos" y "perros".
En sus estudios planteo que estos grupos podan denotarse por letras como "x" e "y" las
cuales llegaran a representar a las clases mencionadas en cualquier ejercicio que se
pueda desarrollar. Por lo cual tomando el ejemplo anterior, podramos decir:
Todos los x respiran mediante pulmones.
Los y son x.
Los y respiran mediante pulmones.

Adems, tambin plante que podran utilizarse "xy" para nombrar a la clase de
elementos o piezas que pertenecen al mismo tiempo tanto al grupo "x" como al grupo
"y". Sus aportaciones quedaron plasmadas en el trabajo Investigacin sobre las leyes del
pensamiento, publicado en 1854, que reuni a disciplinas tan distintas como las
matemticas y la filosofa y fundamentan las teoras matemticas de la lgica y la
probabilidad.
 CONCLUSION

En nuestra vida diaria la mayora de las veces no somos conscientes de que aplicamos la
lgica para la solucin de muchos problemas y conflictos, es interesante ver y estudiar a
la luz de muchos autores donde se apoyan en la Lgica Matemtica para la resolucin de
problemas de orden filosfico, social, cientfico etc.

Mi opinin personal en este caso, en los estudios que se imparten normalmente de Lgica
Matemtica se enfocan en la parte de la terica, 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, y nuestra vida profesional.
 Bibliografa

Docencia UDEA. (2014). Razonamiento logico. Septiembre 2,2016, de

UDEA Sitio web: http://docencia.udea.edu.co/cen/logica/capitulo3.htm
Elisabetta Di Castro Strngher. (2006). La verdad en el argumento.

Septiembre 2,2016, de Universidad Nacional Autnoma de Mxico Sitio web:

http://www.conocimientosfundamentales.unam.mx/vol2/filosofia/anexo/t0
2/0202.html