Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more
Download
Standard view
Full view
of .
Save to My Library
Look up keyword or section
Like this
22Activity
P. 1
Lógica General 2012

Lógica General 2012

Ratings: (0)|Views: 4,547 |Likes:
Published by Edgar Gutiérrez

More info:

Published by: Edgar Gutiérrez on Apr 18, 2012
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

07/22/2013

pdf

text

original

 
1
LA LÓGICA FORMALDefinición.
Es la ciencia formal que estudia la validez de la inferencia. Es formal porquehace abstracción del contenido para ocuparse únicamente de su estructura o conexionesentre sus partes. Es el estudio de las diversas operaciones, leyes y principios de la validez dela inferencia.
Historia de la lógica
. El desarrollo de la lógica está íntimamente ligado al de lamatemática. Podemos distinguir tres grandes etapas del desarrollo de la lógica: la antigua oclásica, la escolástica o medieval y la moderna.El iniciador de la lógica, en la etapa antigua, fue Aristóteles, quien elaboró la silogística y elplanteamiento de la investigación según el método deductivo. En esta misma etapa, losestoicos
(Los estoicos proclamaron que se puede alcanzar la libertad y la tranquilidad tan sólo siendoajeno a las comodidades materiales, la fortuna externa, y dedicándose a una vida guiada por los principios de la razón y la virtud (tal es la idea de la imperturbabilidad o ataraxia)
se dedicaban a una lógica deproposiciones, precursora de la lógica proposicional actual.
En la época medieval
contribuyeron al desarrollo de la lógica los escolásticos
(La 
escolástica (del latín scholasticus, y éste a su vez del griego σχολαστικός [aquel que pertenece a la es 
cuela]),es el movimiento teológico y filosófico que intentó utilizar la filosofía grecolatina clásica para comprender la revelación religiosa del cristianismo. Dominó en las escuelas catedralicias y en los estudios generales que dieron lugar a las universidades medievales europeas, en especial entre mediados del siglo XI y mediados del  XV.)
Duns Escoto, Guilermo de Ockham, Alberto de Sajonia y Raimundo Llull.
 Juan Duns Scoto
(1266-1308) fue un teólogo escocés perteneciente a la escolástica.Ingresó en la orden franciscana y estudió en Cambridge, Oxford y París; fue profesor enestas dos últimas universidades. La sutileza de sus análisis le valió el sobrenombre de"Doctor Sutil". Se le consideró santo y se le veneró sin mediar canonización. El 20 demarzo de 1993 el Papa Juan Pablo II confirmó su culto como beato.Entre sus obras destacan Ordinatio (Opus oxoniense) y Reportata parisiensa (Opusparisiense). Respecto a sus obras menores, la de mayor trascendencia es Tratado del primerprincipio. En ella, utilizando la aplicación de la lógica deductiva en el terreno metafísico,intenta demostrar la existencia de Dios y la de sus atributos fundamentales. Sus argumentosgiran alrededor de las esencias, los inteligibles y el orden ontológico que se puede establecerentre ellos. Uno de los aspectos más interesantes es la agudeza con que demuestra que el
 
2
Primer Principio (Primer Eficiente o Causa Incausada), por ser infinito, por su propianaturaleza, está dotado no sólo de inteligencia, sino también de voluntad. Con lo cual laCreación no es un acto de necesidad metafísica, sino de plena libertad divina.
Guillermo de Ockham
, (1280/1288
 – 
1349) fue un fraile franciscano y filósofoescolástico inglés, oriundo de Ockham, un pequeño pueblo de Surrey, cerca de EastHorsley. Como franciscano, Guillermo estuvo dedicado a una vida de pobreza extrema.Occam murió a causa de la peste negra.Ockham ha sido llamado «el mayor nominalista que jamás vivió» y tanto él como DunsScoto, su homólogo en el bando realista, han sido considerados por algunos como las dos«mentes especulativas más grandes de la edad media» entre los pensadores pertenecientes a
la escuela franciscana. Por ello, se ha escrito que son “dos de los metafísicos másprofundos que jamás vivieron”. En sus razonamientos
hizo frecuente uso del principio deeconomía de entes, conocido en el ámbito cultural anglosajón como principio deparsimonia; por ello, aunque es muy anterior a él -ya lo utilizaban los antiguos griegos y aparece en el Organon aristotélico-, fue bautizad
o como “Navaja de Ockham”.
 
Beato Raimundo Lulio
(en catalán: Ramon Llull) (1232 - 1315), fue un laico próximo alos franciscanos (pudo haber pertenecido a la Orden Tercera de los frailes Menores),filósofo, poeta, místico, teólogo y misionero mallorquín del siglo XIII. Fue declarado beatoy su fiesta se conmemora el 29 de marzo.Los estudiosos cristianos del siglo XIII celebraron el hallazgo de Lulio, a pesar de quepronto detectaron los problemas del razonamiento luliano. Si bien es cierto quenormalmente ambas ciencias están de acuerdo
 — 
porque lo que es cierto en filosofía nopuede ser falso para el teólogo
 — 
ambas llegan a la verdad por caminos diversos: la teologíase apoya en la razón y la revelación divina, mientras que el filósofo está solo frente alproblema, provisto únicamente de su propia razón. Los árabes fueron un paso más allá:criticaban a la Ars Magna expresando que, según ellos, lo que es falso en filosofíaperfectamente puede ser verdadero en teología, porque nada es imposible para Dios y Élmuy bien puede pasar por encima de las limitaciones de la ciencia. Este concepto se conocecomo "Verdad de Doble Nivel".
La lógica moderna
, en la que destacan importantes lógicos, tiene sus antecedentes, entreotros, a Francisco Bacon (1561-1626), en cuyos trabajos reivindica la importancia delmétodo inductivo dándole nuevos fundamentos (la inducción incompleta), en su obra
 
3
Novum Organum. Se considera como precursor de la lógica moderna a Leibniz (1646-1716), quien fue el primero en formular la idea de un cálculo lógico. Cabe mencionartambién a Leonhard Euler (1707-1783), quien popularizo el uso de los diagramas circularespara análisis del silogismo.La lógica simbólica se inicia con el álgebra de la lógica de George Boole (1815-1864). John Venn (1834-1923) utilizó diagramas que se trasladan para el análisis de esta lógica. A fines del siglo XIX, la preocupación de los matemáticos estaba centrada en buscar en lalógica un fundamento para sus conceptos y procedimientos demostrativos. Los trabajos deGottlob Frege (1848-1925) estuvieron entre ellos. Él aportó la distinción entre variables y constantes, el concepto de función lógica y el uso de los cuantificadores por lo cual se leconsidera padre de la lógica moderna. Su obra principal es conceptografía.
 En 1879, Frege  publicó su revolucionaria obra titulada Conceptografía (Begriffsschrift), en la que sentó las bases de la lógica matemática moderna, iniciando una nueva era en esta disciplina que había permanecido prácticamente inalterada desde Aristóteles. Mediante la introducción de una nueva sintaxis, con la inclusión de los llamados cuantificadores («para todo» o «para al menos un»), permitió formalizar una enorme cantidad de nuevos argumentos. También fue el primero en distinguir la caracterización formal de las leyes lógicas de su contenido semántico.
Giussepe Peano (1858-1925) creó un lenguaje simbólico para las demostracionesmatemáticas: empleó puntos en lugar de los signos de agrupación y simbolizó loscuantificadores y otros signos, aportes que fueron acogidos posteriormente en principiamathematica, la obra de B. Russell y Alfred N. Whitehead. Ellos realizan la síntesis de todala teoría de la inferencia y los tipos de inferencia empleados en la demostración de teoremasde la matemática anteriores en su obra conjunta Principia mathematica.
David Hilbert
(1862-1934), luego de analizar Principia mathematica y detectar algunosdefectos en ella cometidos por Russell y Whitehead, debido a la falta de rigor en el lenguajeusado al estudiar la inferencia, creó un nuevo método, actualmente conocido como
“metateoría”
(Una metateoría es una teoría que se dedica al estudio de otra teoría o conjunto de teorías. En sentido general podría ser llamada teoría de las teorías. Si A es una teoría de B y B es en sí misma una teoría, entonces A es una metateoría. Sin embargo, una teoría general no puede ser una metateoría desde que no se dedica en particular a una o a un conjunto de teorías)
 
o “metalenguaje”, el cual permite la
elaboración rigurosa de los sistemas axiomáticos.

You're Reading a Free Preview

Download
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->