Pre saberes y Nociones de Lgica Matemtica

Cilenia Andrea Madrigal Arroyave

418
1.042.767.756

Profesor
ENRIQUE RODRIGUEZ BONILLA

Universidad Nacional Abierta y a Distancia

Pensamiento Lgico y Matemtico
Chiquinquir
Septiembre 03 del 2017
Objetivos

Establecer la influencia de la lgica en el pensamiento humano

Reconocer el aporte Friedrich Ludwig Gottlob Frege a la lgica matemtica

Identificar los aportes de a lgica a la informtica.

Estudiar los diferentes precursores de la Lgica Matemticas.

 Introduccin

El presente trabajo se realiz con el fin de dar a conocer los Pre saberes y

Nociones de Lgica Matemtica

En la actualidad se ve como esta lgica intercede en mtodos como en la

generacin de nuevas tecnologa, generacin de inventos basados en ordenamientos

qumicos adaptacin de sistemas a cambios de nuestro planeta.

La lgica es una ciencia que ayuda a resolver de forma matemticamente sobre

planteamientos que pueden definir si algo es verdadero o falso. Es importante

determinar cmo influye la lgica en el pensamiento humano.

A lo largo de la historia han existido autores que han dejado su legado en varias

ciencias y en especial de la lgica, desde los antiguos filsofos hasta Friedrich Ludwig

Gottlob Frege quien es considerado como el padre de la filosofa analtica por los

escritos que ha realizado sobre la filosofa del lenguaje y matemticas.

La lgica dicta la forma en la que razonamos, verificando por medio de reglas y

tcnicas si una tesis tiene validez. La lgica ha sido aplicada en la filosofa,

matemticas, fsica, etc. En la filosofa por ejemplo se han diseado una serie de

mtodos para interpretar una expresin o afirmacin de diferentes maneras y verificar

si tiene veracidad o no. En las matemticas para solucionar de una manera ms fcil

problemas relacionados con la geometra, el lgebra y problemas actuales de la

ingeniera. En la fsica para entender el origen del universo y el porqu de cmo se

comporta.
Pantallazo perfil actualizado
 La matemtica posee muchos procesos abstractos que slo competen aun

constructo mental. De cierta manera la matemtica es persuasiva?

S, porque influye en todo momento en todas las rea, en nuestro entorno.

Esta ms que claro que la matemtica es el lenguaje universal y es el logro ms

grande que ha tenido la civilizacin, estamos bajo el mando de las operaciones

matemticas, podemos decir que es un misterio saber porque las matemticas hacen

funcionar tambin al mundo; de ah surge la pregunta son las matemticas humanas?

O quiz la medida de la proporcin que da sentido a algo, pues el mundo est

destinado a vivir bajo un rgimen exacto que bien o mal sigue siendo necesario en la

vida cotidiana; el ser humano quiere respuestas o buscarlas de alguna manera lo que

quiere decir que la matemticas se encuentra inmersa en todos los campos de la vida,

cada vivencia, situacin, lugar, momento se reviste de una solucin de forma

matemtica, desde dormir, despertar, baarme, comer, caminar, trabajar etc. Me obliga

a utilizar algn arquetipo de clculo. En otro punto partiendo desde la lgica formal se

presenta una persuasin en la que se logra una respuesta falsa o verdadera, cada

respuesta que se logre obtener dentro de la vida del ser humano puede llegar a afirmar

algo o se puede decir que las respuestas seran las correctas esta es una forma de

persuadir bajo los efectos matemticos incluso dentro de la lgica difusa. El ser

humano busca la manera de responder a las situaciones en el grado de verdadero o

falso con el fin de obtener una respuesta conveniente obtenida de observaciones

clasificaciones, verificaciones, que nos permitan comprobar la veracidad o no del

concepto, utilizando los recursos que estn a nuestro alcance es decir, lo concreto lo

cual nos permitir abstraer el concepto y darle aplicabilidad en otras situaciones y luego

si generalizar y construir formulas y/o reglas que obran bajo la persuasin.

 Friedrich Ludwig Gottlob Frege (1879)

Gottlob Frege (1.848 - 1.925) siempre estuvo orientado hacia temas de la lgica

y de la matemtica y ha hecho importantes contribuciones a los fundamentos de la

matemtica; l es generalmente considerado como el padre de la filosofa analtica por

los escritos que ha realizado sobre la filosofa del lenguaje y matemticas.

A continuacin hablaremos de las aportaciones que realizo Gottlob Frege sobre

lgica simblica, lgica matemtica, enunciados de la identidad, referencia de concepto

y objeto, el sentido y la referencia; no muy lejos de ser el mayor Lgico desde

Aristteles este exponente afirma que la labor del matemtico est subyugada por la

deduccin y la definicin, acciones que estn en manos de de las leyes lgicas; debido

a esto, la matemtica est ms sujeta a la razn que a cualquier otra ciencia. De ah

que considerase a las matemticas como una extensin impregnada hace parte del

desarrollo lgico. Por ejemplo su programa de fundamentacin dice que la matemtica

pura consista en demostrar que stas tratan nicamente con unas concepciones

reducibles a un pequeo nmero de nociones lgicas.

Explicando ms afondo el aporte realizados por este precursor de la lgica

matemtica, da como base las siguientes

Lgica simblica: es un procedimiento que analiza los signos y lo que

designan. Por ejemplo si se analiza desde el significado dar como resultada que es la

relacin que existe entre las palabras y las cosas, seguido de esto se fundamenta el

estudio basado en lo emprico pues el leguaje, imaginativamente, asume el reflejo de la

realidad vinculando as sus signos con objetos y hechos.

 Lgica Matemtica: al experimentar la lgica tradicional, comprobamos que la

relacin esencial que se estudia es la del verbo ser, es decir que se tiene como un

objetivo claro para la misma y se menciona de este modo porque la lgica clsica parte

del anlisis de las proporciones en sus trminos que de acuerdo a la matemticas

busca dar una forma ms ecumnica al pensamiento articulndolo por un sistema

univoco de signos es decir asociando cada elemento de un conjunto con uno o un

sistema en el que cada signo tenga un solo significado en un mismo argumento.

Enunciados de la identidad: lo que se conoce como el principio de identidad, el

principio de no contradiccin, el principio del ten exclusin y el principio de que todo

ser tiene una razn de ser y que los enunciados de identidad respecto a un mismo

objeto, expresan la misma propuesta.

Referencia de concepto y objeto: vemos como las expresiones de objeto y

concepto tienen una resea (un objeto al que se refiere) y un sentido para (una forma

de hablar de ese objeto). Por ejemplo estos dos trminos pueden concebirse como

compuestos de dos partes que pueden verse como completas mientras que la otra

parte requiere saturacin.

El sentido y la referencia: Segn Frege, el sentido y la referencia son dos

aspectos distintos del significado. Para l tanto las expresiones de objeto como las de

concepto tienen una referencia (un objeto al que se refiere) y un sentido (una forma de

hablar de ese objeto). Ahora se puede estudiar ms detenidamente lo que trata de

decir Frege ya que se implanta en el tema partiendo del esbozo y el anlisis de lo que

denomina la paradoja de la identidad. Frege denomina a la referencia a la cosa

designada por la expresin, y llama sentido a la manera de designar a esa cosa, es

decir, al modo de darse la referencia. Dicho de otra forma, es el carcter o manera de

consignar que tiene un enunciado u oracin.

En cuanto a las Ciencias Jurdicas y Sociales Frege public en el ao de 1879

su obra titulada Concepto grafa o Escritura de conceptos en la cual sent las bases de

la lgica matemtica moderna y donde inicio una nueva era en esta disciplina la cual

produjo mediante una nueva reunin la introduccin de los llamados cuantificadores,

esto permito formalizar una gran cantidad de nuevos argumentos, Tambin fue el

primero en distinguir la caracterizacin formal de las leyes lgicas de su contenido

semntico donde elabora un clculo lgico perfecto, con escritura artificial original lo

que permiti formalizar la lgica elemental y establecer formalmente las tablas de la

verdad, donde desarrolla de manera rigurosa la aritmtica mediante la lgica

simblica, tambin investiga las relaciones lgicas necesarias para fundamentar la

aritmtica, y formula la implicacin material. Seguido de esto introdujo una modificacin

de sus sentencias, lo que lo llev al fin de actividad acadmica, pas despus al

anonimato, para que ms tarde fuese Russell quien valorara su trabajo tras haber

llegado a los mismos resultados que Frege de manera independiente. A pesar de que

la Paradoja de Russell arruin el proyecto logicista de Frege, continu trabajando y

public el pensamiento: una nueva investigacin lgica, obra en la que examina el

contenido de las proposiciones

 Conclusiones

Con lo anterior puedo concluir que podemos observar cmo se puede entrenar

de diferentes formas, y como se puede aplicar la lgica matemtica a varios aspectos

de la vida, ya que es algo innato del ser humano el resolver problemas de diferente

calibre.

La matemtica logra establecer una escala de persuasin en el pensamiento

humano.

Gottlob Frege fue unos de los mayores exponentes de la lgica matemtica;

afirma que la labor del matemtico est dominada por la deduccin y la definicin, dos

actividades que dependen de leyes lgicas; debido a esto, la matemtica se haya

ligada ms estrechamente a la lgica que a cualquier otra ciencia.

Algunos de los principales problemas que ofreca el anlisis clsico provenan

del uso constante de lenguajes naturales. Por ejemplo, la ambigedad del uso del

verbo 'ser'. Este verbo, segn Frege, es multvoco, pues puede indicar por lo menos

tres tipos de relaciones, al decir que la Ley es multvoca, quiere decir que no tiene un

significado nico e inequvoco, tiene varias representaciones que hacen equvoco

cualquier intento por definirlo.

 Bibliografas

Extrado el 1 septiembre de 2017 desde: http://www.infoamerica.org/teoria/frege1.htm

Extrado el 1 septiembre de 2017 de:

https://www.google.com/search?q=El+pensamiento%3A+una+investigaci%C3%B3n+l%

C3%B3gica&ie=utf-8&oe=utf-8

1879. Conceptografa: un lenguaje de frmulas, semejante al de la aritmtica, para el

pensamiento puro. Versin en espaol en Gottlob Frege: Conceptografa,

Mxico, Universidad Autnoma de Mxico, 1972.

1892. Sobre sentido y significado. En Revista de filosofa y crtica filosfica, 100, pp. 25

- 50. Versin en espaol en Gottlob Frege: Escritos Lgico-Semnticos, pp. 31 -

52.