CURSO de LOGICA

UNIDAD I Conceptos Introductorios

CURSO de LOGICA

Qu es Lgica

Lo mas valioso no es lo que tienen en sus vidas, si no a quin tienen en sus vidas annimo

QUE ES LOGICA
La Lgica es un trmino que deriva del griego "" (logik-logiks), que a su vez es "" (logos), que significa razn.[1] La Lgica es la ciencia encargada de estudiar el pensamiento a travs de las Formas Mentales. Se considera que Aristteles fue el que fund la Lgica como un medio de conocimiento o Propedutica, una herramienta bsica para todas las Ciencias[2] . La Lgica segn Immanuel Kant es una ciencia formal, es decir, aquella ciencia que estudia las formas del pensamiento prescindiendo de todo contenido.[3] Carl Sagan, en su obra El mundo y sus demonios, presenta a la razn y el uso de la lgica como un modelo de causas-efectos encadenados por una transformacin, que dada la naturaleza de nuestro universo, es eminentemente termodinmica. La lgica plantea certezas y la razn busca la verdad mediante el uso de certezas descritas por la lgica material. La Lgica es ciencia de relaciones porque estudia el pensamiento y, pensar es establecer relaciones. Pero se preocupa no tanto por establecer relaciones (esto es propios de las ciencias...) sino por el estudio de las relaciones mismas, por eso la lgica es una ciencia formal. La lgica es una disciplina cientfica dirigida a satisfacer la necesidad de investigar las leyes o principios que rigen el proceso de la adquisicin del conocimiento en todas sus formas, as como el modo de explicarlos. Los principios lgicos constituyen el fundamento terico de toda indagacin cientfica.

QUE ES LOGICA
Por lo tanto, las ciencias son consideradas, en el fondo, como Lgica aplicada. Debemos recordar que el hecho lgico es anterior a la ciencia misma de la Lgica, pues la Lgica se aprende en la vida comn y corriente y a eso es lo que llamamos concepto pre-cientfico de Lgica. Qu funcin realiza entonces el Tratado de Lgica? Su funcin es vigorizar nuestras facultades mentales. En este aspecto la Lgica es muy parecida a la Gramtica, la cual no nos ensea a hablar (eso lo aprendemos en la vida comn y corriente), pero si nos ensea; a ser ms correctos, precisos y exactos en la expresin hablada y escrita. Lo mismo sucede con las distintas operaciones lgicas que practica el hombre sin haberlas aprendido en los tratados y textos de lgica, sino en las distintas ciencias especiales que se sirven de esta y, de la experiencia cotidiana. La funcin de la lgica es ayudarnos a mejorar nuestro razonamiento, proporcionarnos reglas que nos ayuden a evitar falacias sofismos y paralogismos lgicos, en fin ayudarnos a evitar, errores en la forma o estructura de nuestro pensamiento. Cabe destacar que, en muchos casos, lo evidente y lo lgico son considerado lo mismo aunque lo evidente no tenga un valor absoluto para todos los tiempos ni para todos los sitios.

QUE ES LOGICA
Etimolgicamente hablando el trmino lgica procede de la voz griega logos que quiere decir discursos, tratado, ciencia, palabra, etc. Por eso se ha llegado a afirmar que la Lgica es la ciencia del logos. Es importante sealar que la traduccin ordinaria de logos tratado, no es la principal ni la ms importante a la hora de definir lo que es la Lgica; logos tiene varios significados; y el ms clsico entre los griegos fue el de pensamiento, idea, espritu, razn, en contraste con lo material, lo corpreo, lo orgnico. Por lo tanto debemos afirmar que la palabra logos hace referencia al mundo de la inteligencia, del pensamiento, de la razn, de la idea ese es el campo de la Lgica. En conclusin podramos decir que la definicin nominal (o sea referente a la palabra) de Lgica es ciencia de los pensamientos y de la razn.

Cientficamente hablando, la lgica es un valioso medio para ordenar conceptualmente las ideas que tenemos sobre las cosas y las relaciones que surgen de estas mismas cosas. Es este sentido, la lgica es ciencia y mtodo a la vez.
Adems dentro de su rama puramente formal, la Lgica no es mas que la indagacin sistemtica de los principios de todo razonamiento vlido.

CURSO de LOGICA

Historia de la Lgica

Introduccin

En la filosofa moderna se critica el abuso que la escolstica medieval hizo de la lgica aristotlica.

Naci as la Lgica Informal, o el estudio metdico de los argumentos. Durante varios siglos, slo fue investigada por la retrica, la oratoria y la filosofa, entre otras ramas del conocimiento. Se especializ medularmente en la identificacin de falacias y paradojas, as como en la construccin correcta de razonamientos. A partir de mediados del Siglo XIX la lgica formal comenz a ser estudiada en el campo de las matemticas y posteriormente por las ciencias computacionales, naciendo as la Lgica simblica. La lgica simblica trata de esquematizar los pensamientos de forma clara y sin ambigedades. Para ello usa un lenguaje de signos propio y distinto al verbal.

Introduccin
Leibniz(fines del siglo XVIII), filsofo y matemtico, pensaba que se poda crear un lenguaje simblico tan perfecto que evitara las controversias entre los filsofos y redujera las disputas a meros errores de clculo. Pero su obra no fue conocida en su poca. En el siglo XIX, matemticos como G. Boole y A. De Morgan intentaron expresar la forma de los razonamientos vlidos en un lenguaje matemtico. El desarrollo posterior de la lgica simblica es la obra de G. Peano, C.S. Pierce, G. Frege, B. Russell y A. Whitehead, entre otros. Peano es el primero que expresa lgica matemtica porque vio en la lgica un instrumento para lograr la sistematizacin y fundamentacin de las matemticas. As, en la edad contempornea, la lgica generalmente es entendida para describir razonamiento en una forma prescripta. Esto es, describe cmo el razonar debera tomar lugar. Adems de encontrarle mltiples e importantes usos computacionales y matemticos a la lgica simblica, se ha mantenido la lgica aristotlica, la cual principalmente se ocupa de ensear el buen argumento y es todava enseada, con ese designio, en la poca contempornea. Para la Lgica matemtica y la filosofa analtica la lgica es un objeto de estudio en s mismo, por lo que sta es estudiada a un nivel ms abstracto.

Introduccin
El nacimiento de la lgica: Nacimiento intelectual del ser humano. La lgica emerge como mecanismo espontneo en el enfrentamiento del hombre con la naturaleza, para comprenderla y aprovecharla. Histricamente la palabra ha ido cambiando de sentido. Comenz siendo una modelizacin de los razonamientos, propuesta por los filsofos griegos, y posteriormente ha evolucionado hacia diversos sistemas formales, relacionados con la teora. Para el estudio de la evolucin de la lgica, se han tomado diversos enfoques:

Por etapa
Enfoque cultural

HISTORIA DE LA LOGICA
China, India y Grecia entre el Siglo V y el Siglo I a.C.
En China no dur mucho tiempo: la traduccin y la investigacin escolar en lgica fue reprimida por la dinasta Qin, acorde con la filosofa legista.

En India, la lgica dur bastante ms: se desarroll (por ejemplo con la nyaya) hasta que en el mundo islmico apareci la escuela de Asharite, la cual suprimi parte del trabajo original en lgica. (A pesar de lo anterior, hubo innovaciones escolsticas indias hasta principios del siglo XIX, pero no sobrevivi mucho dentro de la India Colonial).
El tratamiento sofisticado y formal de la lgica moderna aparentemente proviene de la tradicin griega.

CURSO de LOGICA

Historia de la Lgica

Etapas

Clasificacin de la historia de la lgica segn Henri Poncair:

PRIMERO, en Tpicos: del rigor y la formalidad, a la creatividad y el caos:

Etapas:
Revolucin Matemtica.

Revolucin Cientfica.
Revolucin Formal. Revolucin Digital. La prxima y prevista Revolucin Lgica.

REVOLUCIN MATEMTICA
Caractersticas:

REVOLUCIN MATEMTICA
Caractersticas:
Las Matemticas Y La Lgica Del ao 600 AC hasta 300 AC se desarrollan en Grecia los principios formales de las matemticas. Este periodo clsico lo protagonizan Platn, Aristteles y Euclides. Platn propone ideas o abstracciones. Aristteles resuelve sistematizado. el razonamiento deductivo y

Euclides es el autor que establece el mtodo axiomtico.

REVOLUCIN MATEMTICA
Exponentes:
Platn
Platn, 427aC - 347 aC, propone instaurar en Siracusa una utpica repblica dirigida por filsofos. Crea la Academia de Atenas que no era solo una institucin filosfica, sino centro de formacin poltica para jvenes aristcratas. Segn algunos especialistas, Platn edifica su teora del conocimiento con el fin de justificar el poder emergente de la figura del filsofo. Sostiene la existencia de dos mundos -el mundo de las ideas y el de mundo fsico de los objetos. Segn Platn, lo concreto se percibe en funcin de lo abstracto y por tanto el mundo sensible existe gracias al mundo de las ideas. Platn escoge el formato dilogo como forma de transmisin del pensamiento.

REVOLUCIN MATEMTICA
Exponentes:
Aristteles Los tratados de lgica de Aristteles, 384aC - 332 aC, conocidos como Organn, contienen el primer tratado sistemtico de las leyes de pensamiento para la adquisicin de conocimiento. Representan el primer intento serio que funda la lgica como ciencia. Aristteles no hace de la lgica una disciplina metafsica sino que establece correspondencias recprocas entre pensamiento lgico y estructura ontolgica. Se considera a Aristteles ( IV a. C.) el fundador de la lgica. Para Aristteles, la lgica era una propedutica o introduccin al saber general, pues constituye una especie de instrumento de todas las ciencias.

Aristteles fue el primero en emplear el trmino Lgica para referirse al estudio de los argumentos dentro del lenguaje natural. En el Organon Aristteles la define como el arte de la argumentacin correcta y verdadera.

REVOLUCIN MATEMTICA
Exponentes:
Euclides Matemtico alejandrino autor de la universal obra, los clebres Elementos. Uno de los textos matemticos ms relevantes de la historia del pensamiento cientfico hasta del siglo XIX. Los Elementos estn divididos en XIII Libros y constituyen la recopilacin ms exhaustiva de las matemticas conocidas en el ao 300 aC. Su valor universal lo propaga el uso riguroso del mtodo deductivo que distingue entre principios -definiciones, axiomas y postulados-, y teoremas, que se demuestran a partir de los principios. A lo largo de la historia se mantuvo la sospecha de que el quinto postulado era demostrable a partir de los anteriores. El deseo de resolver tal hiptesis ocupa hasta el siglo XIX con la construccin de las geometras no euclidianas y se deduce con ellas la imposibilidad de demostrar el quinto postulado.

REVOLUCIN MATEMTICA
Exponentes:
Apolonio de Perga La obra sobre curvas cnicas de Apolonio de Perga, un gemetra de la poca helenstica-.

REVOLUCIN CIENTFICA
Caractersticas:
La ciencia matemtica
Ante el retroceso de la escuela clsica de los griegos se presentan periodos de autoridad religiosa. El Renacimiento es el inicio de una nueva revolucin que revive la ciencia y las matemticas. Los representantes ms destacados son Descartes, Newton y Leibniz. Este periodo abarca del ao 1500dC al 1800 Dc (Siglo XV-XVIII).

REVOLUCIN CIENTFICA
Exponentes:
Ren Descartes
Filsofo y matemtico francs, 1596-1650 Parte de la duda universal como principio y prescinde de cualquier conocimiento previo que no quede demostrado por la evidencia con que ha de manifestarse el espritu.

Descartes duda de toda enseanza recibida, de todo conocimiento adquirido, del testimonio de los sentidos e incluso de las verdades de orden racional.
Llegado a este punto, halla una verdad de la que no puede dudar: la evidencia interior que se manifiesta en su propio sujeto (pienso, luego existo). Como cientfico, se debe a Descartes, entre otras aportaciones de considerable importancia, la creacin de la geometra analtica a la vez que aporta un corpus cuantitativo al asunto y permite el uso de mtodos algebraicos. La geometra exige ser cuantitativa para ser usada en ciencia e ingeniera, y los mtodos algebraicos permiten el desarrollo ms rpido que los mtodos sistemticos -a su vez ms rigurosos- requeridos por el enfoque axiomtico de la geometra clsica.

Ubi dubium ibi libertas, donde hay duda hay libertad.

REVOLUCIN CIENTFICA
Exponentes:
Isacc Newton A Isacc Newton , 1642-1727, Se le debe el descubrimiento de: La gravitacin universal, el desarrollo del clculo infinitesimal,

importantes descubrimientos sobre ptica,

las leyes que rigen la mecnica clsica que alimentara el nacimiento de la mecnica cuntica. Su obra fundamental, Principios matemticos de la filosofa natural (1686).

REVOLUCIN CIENTFICA
Exponentes:
Gottfried W. Leibniz Filsofo y matemtico alemn, 1646-1716; fund la Academia de Ciencias de Berln, 1700. En Discurso sobre el arte combinatorio enuncia la necesidad de un lenguaje riguroso, exacto y universal puramente formal. Como matemtico, su principal trabajo publicado en 1684 es la memoria Nuevo mtodo para la determinacin de los mximos y los mnimos, en la que expone las ideas fundamentales del clculo infinitesimal, anticipndose unos aos a Newton. Introdujo el smbolo de integral y de diferencial de una variable. En el rea de lgica matemtica publica Generales inquisitiones de analysi notionum et veritatum y Fundamenta calculi logici .

REVOLUCIN CIENTFICA
Exponentes:
Georg Wilhelm Friedrich Hegel
Filsofo alemn, 1770-1831; fascinado por la obra de Kant y de Rousseau. Autor de Ciencia de la lgica se le atribuye con este trabajo la constitucin de la lgica dialctica entendida como principio motor del concepto que disuelve y produce las particularidades de lo universal.

Nikolai I. Lobachevsky Matemtico ruso, 1792-1856;

funda la Geometra No Euclidiana y renueva por ello los fundamentos que hasta ese momento cimentaban la ciencia de la Geometra.
Lleva a cabo su revolucin en el planteamiento que hasta entonces haba utilizado la ciencia Matemtica para resolver el enigma del quinto postulado de Euclides que a su vez sirve de puerta a Lobachevsky para adentrarse en los renovados campos de lo fsico y lo real.

REVOLUCIN FORMAL
Caractersticas:
Formalizacin de las Matemticas Se caracteriza por el resurgimiento de la formalizacin rigurosa de las matemticas, que en la etapa clsica griega fu representativa. El uso de los infenitesimales fue una de las prcticas ms notoria en la poca renacentista, para la cual no se ofreca una justificacin. La rigorizacin del anlisis lleg con la eliminacin de los infinitesimales y la presencia de los lmites como argumento. En este periodo se crea la lgica simblica, la escuela formal, la lgica booleana, el clculo proposicional, la induccin matemtica. Personajes muy notables de esta etapa son: Peano, Hilbert, Frege, Boole, de Morgan, Gentzen, Russell, Gdel y Whitehead. A Rusell y Gdel se deben los planteamientos de las limitantes de la lgica y de la ciencia en general.

REVOLUCIN FORMAL
Exponentes:
Guiseppe Peano La enunciacin de los principios del italiano Guiseppe Peano, 1858-1932, acerca de lgica matemtica y su aplicacin prctica quedaron contenidos en su obra Formulaire de mathematiques. Los axiomas de Peano permiten definir el conjunto de los nmeros naturales.

David Hilbert Matemtico alemn, 1862-1943, aporta grandes avances a campos fundamentales de la relatividad y la mecnica cuntica con la Teora de Invariantes y el concepto de Espacio de Hilbert. A partir de las fuentes griegas de Euclides, publica en 1899 su obra Fundamentos de Geometra, en la que formula sus principios de axiomatizacin de la geometra.

Segn sus teoras, es necesario establecer un conjunto de postulados bsicos antes de plantear de modo ms detallado cualquier tipo de problema fsico o matemtico.

REVOLUCIN FORMAL
Exponentes:
Friedrich G. Frege Junto con Boole y Peano, el matemtico y lgico Friedrich G. Frege, 1848-1925, partiendo del anlisis de los fundamentos de la matemtica lleva a cabo la ms profunda renovacin y desarrollo de la lgica clsica hasta el momento. Es el primero en introducir los cuantificadores u operadores y en elaborar una Teora de la Cuantificacin.

George Boole El lgico y matemtico George Boole, 1815-1864 Aplica el clculo matemtico a la lgica, fundando el lgebra de la lgica. El empleo de smbolos y reglas operatorias adecuados permite representar conceptos, ideas y razonamientos mediante variables y relaciones (ecuaciones) entre ellas. Boole dio un mtodo general para formalizar la inferencia deductiva, representando complicados raciocinios mediante sencillos sistemas de ecuaciones. Su obra principal es Investigacin de las leyes del pensamiento en las que se fundan las teoras matemticas de la lgica y la probabilidad, 1854, usadas hasta la fecha.

REVOLUCIN FORMAL
Exponentes:
Augustus De Morgan La mayor contribucin de Augustus De Morgan (1806-1871) En el estudio de la lgica incluye la formulacin de las Leyes de Morgan y su trabajo fundamenta la teora del desarrollo de las relaciones y la matemtica simblica moderna o lgica matemtica. De Morgan es autor de la mayor contribucin como reformador de la lgica.

Georg F. Cantor
Al matemtico alemn Georg F. Cantor, 1845-1918, se debe la idea del infinito continuo, es decir, la posibilidad de considerar conjuntos infinitos dados simultneamente. Se le considera el creador de la teora de los nmeros irracionales y de los conjuntos.

REVOLUCIN FORMAL
Exponentes:
Gentzen El alemn Gentzen (1909-1945) formul la prueba de la consistencia de un sistema de aritmtica clsica en el cual el mtodo no elemental es una extensin de induccin matemtica a partir de una secuencia de nmeros naturales a un cierto segmento de nmeros ordinales transfinitos.

Bertrand Rusell

Bertrand Rusell (1872-1970) es uno de los creadores de la logstica y uno de los pensadores de mayor influencia en la filosofa cientfica contempornea.
Conociendo los trabajos de Cantor descubre en la Teora de Conjuntos varias paradojas que resuelve mediante la Teora de los Tipos. Establece la teora de la jerarqua de los lenguajes- para eliminar las paradojas semnticas. Siguiendo adems de los trabajos de Cantor, a Peano y Frege, Rusell se propone fundamentar y axiomatizar la matemtica a partir de conceptos lgicos. Este empeo culmina con la publicacin (1910-1913) de los monumentales Principia Mathematica -en colaboracin con Whitehead-, obra que, adems, sienta las bases de la moderna lgica formal.

REVOLUCIN FORMAL
Exponentes:
Kurt Gdel Kurt Gdel (1906-1978) aporta mltiples contribuciones a la lgica matemtica, destacando la demostracin de la consistencia de la hiptesis cantoriana del continuo y el teorema y prueba de incompletez semntica. En Sobre las proposiciones indecidibles de los sistemas de matemtica formal establece que es imposible construir un sistema de clculo lgico suficientemente rico en el que todos sus teoremas y enunciados sean decidibles dentro del sistema. Con este teorema se demostr hay enunciados que no son demostrables ni refutables. Para probar esta asercin se sirvi de la matematizacin de la sintaxis lgica.

REVOLUCIN DIGITAL
Caractersticas:

REVOLUCIN DIGITAL
Exponentes:
Alan Turing

Matemtico y Lgico pionero en Teora de la Computacin que contribuye a importantes anlisis lgicos de los procesos computacionales. Las especificaciones para la computadora abstracta que l idea -conocida como Mquina de Turing-, resulta ser una de sus ms importantes contribuciones a la Teora de la Computacin.
Prueba que es posible construir una mquina universal con una programacin adecuada capaz de hacer el trabajo de cualquier mquina diseada para resolver problemas especficos. La Mquina de Turing es un intento para determinar si la matemtica se puede reducir a algn tipo simple de computacin. Su objetivo fu desarrollar la mquina ms simple posible capaz de realizar computacin.

La mquina propuesta por Turing es un dispositivo relativamente simple, pero capaz de realizar cualquier operacin matemtica.
Turing se ilusion con la idea de que su mquina poda realizar cualquier proceso del cerebro humano, inclusive la capacidad de producir conciencia de uno mismo.

REVOLUCIN DIGITAL
Exponentes:
Norbert Weiner El cientfico norteamricano Norbert Weiner (1894-1964) en 1947 publica su libro ms famoso: Ciberntica, o control y comunicacin en el animal y la mquina; en donde se utiliza por primera vez la palabra Ciberntica. Existen muchas definiciones de Ciberntica -del griego kybernetes, piloto-, y Norbert Weiner da vida a la palabra con una definicin simple: La Ciberntica es la ciencia que estudia la traduccin de procesos biolgicos a procesos que reproduce una mquina. Desde los inicios la Ciberntica se relaciona directamente con ciencias como Neurologa, Biologa, Biosociologa, Robtica e Inteligencia Artificial.

REVOLUCIN DIGITAL
Exponentes:
Luitzen Egbertus Jan Brouwer Matemtico y lgico alemn (1881-1966) conocido como LEJ Brouwer y fundador de la escuela de la Lgica intuicionista Son significativos sus trabajos Life, Art and Mysticism (1905) y Sobre la infiabilidad de los principios lgicos. Alfred Tarski

Matemtico y lgico y filsofo polaco (1902-1983). Emrito profesor de la University of California, Berkeley, Realiza importantes estudios sobre lgebra en general, teora de mediciones, lgica matemtica, teora de conjuntos, y metamatemticas.

El trabajo de Tarski5 incluye respuestas a la paradoja de Banach-Tarski, el teorema de la indefinibilidad de la verdad, las nociones de cardinal, ordinal, relacin y es inductor de las lgebras cilndricas.

REVOLUCIN DIGITAL
Exponentes:
Benoit Mandelbrot

El gran impulsor de la matemtica contempornea y pionero de la geometra fractal6 a quien la computacin pura revela la moderna Geometra de la Naturaleza.
Fractal y geometra fractal son el corpus principal de sus investigaciones adems de los sistemas irreversibles.

LA PRXIMA Y PREVISTA REVOLUCIN LGICA.

Caractersticas:
La siguiente Revolucin Lgica incorpora la fusin entre matemticas y computacin. Las computadoras tienden a explorar datos inteligentemente transfiriendo informacin de las bases de datos a las bases de conocimiento interconectadas a travs de la Red a escala infinitesimal. La lgica evoluciona pues como un gen hacia la culminacin del conocimiento libre que nace del rigor formal de la Matemtica griega; emerge renovadamente de etapas de persecucin tan oscuras como la Edad Media y otros intentos ms recientes; hasta el intercambio constante y continuo de datos en la moderna era de estructura de redes que Internet proporciona a modo neuronal a la Humanidad.

Mientra vivas Levanta tu mirada al cielo y acuerdate de tu creador, valora el don maravilloso de la vida y atrevete a ser feliz con lo que Dios te ha dado, recuerda que cada dia es un Presente que debemos aprovecharal maximo y que los momentos dificiles son oportunidades para fortalecernos. Y si hoy aparece obscuro tu cielo no olvides que maana el SOL BRILLARA PARA TI......

CURSO de LOGICA

Relacin de la Lgica con Otras Ciencias

CLASIFICACIN DE LAS CIENCIAS

Ciencias Puras

Clasificaciones de las ciencias

Son las diferentes tcnicas que se apoyan en las ciencias puras.

Ciencias Aplicadas

Estadstica Ciencias forenses Otras

La lgica se identifica dentro de las ciencias puras.

DEFINICIONES APLICADAS DE LA LGICA

Aplicada a las ciencias Aplicada a los procesos Aplicada a las matemticas

Trabajar en

grupo y hacer
un ensayo sobre la aplicacin de

la Lgica.

DEFINICIONES APLICADAS DE LA LGICA Aplicada a las ciencias

Se relaciona con todas las ciencias. Todo las ciencias porque todas ellas trabajan sobre diversos lenguajes simblicos Todas establecen relaciones de pensamiento entre varias ideas. Lgica es una ciencia de relaciones y (sobre todo) la ciencia que estudia las relaciones,

OBJETO FORMAL Y OBJETO MATERIAL

El objeto formal caracteriza a una ciencia y el objeto material estrecha relaciones entre dos o ms ciencias. La Lgica tiene relacin con todas las ciencias pero tiene una relacin especial con algunas de ellas. Todas las ciencias poseen un objeto formal distinto a las otras, esta particularidad es como la huella digital que los identifica. A travs del objeto formal podemos identificar y distinguir las disciplinas del saber aunque posean ciertas similitudes. El objeto material por su parte puede ser compartido por varias ciencias. Un claro ejemplo de esto lo representan la Lgica, la Gramtica, la Teora del Conocimiento y la Psicologa las cuales poseen el mismo objeto material: el pensamiento.

LGICA
Aplicada a las ciencias
La lgica estudia los problemas del movimiento del hombre hacia el conocimiento certero. Para la lgica lo central es aclarar qu es una certeza y cmo se alcanza.

La lgica no entra en definir qu es verdad y qu es mentira. Esos conceptos, al tener cierta carga moral, son competencia del razonamiento. Por tanto, la ciencia no define qu es verdad o mentira: define certezas. Estas ltimas, son indispensables para todas las ciencias.
La filosofa es la disciplina que se encarga de ensear a elaborar y proponer metodologas de cmo falsar las certezas firmes, a travs de los razonamientos: ya sean deductivos, inductivos abductivos.

DEFINICIONES APLICADAS DE LA LGICA Aplicada a los procesos

La lgica es el "proceso de reflejo del mundo objetivo en la conciencia del hombre y de verificacin de la correccin de este reflejo por la prctica, es generada histricamente por la vida de los hombres concretos, cuando se separan de los fenmenos de la naturaleza

CONOCIMIENTO
SISTEMAS

Sub Sistemas

CIENCIAS

Procesos Acciones

DEFINICIONES APLICADAS DE LA LGICA Aplicada a las matemticas

El hombre de hoy se relaciona ms frecuentemente con la lgica matemtica que se refiere a un sistema deductivo en el que existen ciertos axiomas bsicos y ciertas reglas de deduccin. Ese sistema est formado por un conjunto de expresiones (o smbolos) que permiten construir determinadas proposiciones (o secuencias de signos dotables de significado), las reglas deductivas permiten reconocer cuales son las afirmaciones deducibles de los axiomas mediante las reglas de deduccin y cules no.

Matematizacin de la lgica.
Primero inicia la lgica formal, desde los tiempos de Aristteles.. Esto se da a mediados del siglo XIX; a travs de los lenguajes simblicos. La clave de los cambios se encuentra en Boole y Frege, autores de lo conocido como matematizacin de la lgica. Con este trmino se entiende la subordinacin de una ciencia al mtodo de las matemticas.