Professional Documents
Culture Documents
Filosofa
Filsofos
Esteticistas
Epistemlogos
Los lgicos
Los metafsicos
Analtico
Continental
Oriental
Islmico
Platnico
Escolar
Perodos
Antiguo
Medieval
Moderno
Contemporneo
Literatura
Esttica
Epistemologa
tica
Lgica
Metafsica
La filosofa poltica
Sucursales
Esttica
Epistemologa
tica
Lgica
Metafsica
La filosofa social
La filosofa poltica
Listas
ndice
Perfilar
Aos
Teoras
Glosario
Filsofos
Filosofa portal
Historia de la ciencia
Antecedentes[mostrar]
En poca[mostrar]
Por cultura[mostrar]
Ciencias naturales[mostrar]
Matemticas[mostrar]
Ciencias sociales[mostrar]
Tecnologa[mostrar]
Medicina[mostrar]
Pginas de navegacin[mostrar]
[2]
El progreso en la lgica matemtica en las primeras dcadas del siglo XX, particularmente derivadas del
trabajo de Gdel y Tarski , tuvo un impacto significativo en la filosofa analtica y la lgica filosfica ,
sobre todo a partir del 1950, en temas como la lgica modal , lgica temporal , lgica dentica y la lgica
relevancia .
Contenido
[ ocultar ]
1 Prehistoria de la lgica
[ editar ]Prehistoria
de la lgica
Razonamiento vlido se ha empleado en todas las pocas de la historia humana. Sin embargo, la lgica
estudia los principios del razonamiento vlido inferencia y demostracin. Es probable que la idea de
demostrar una conclusin surgi por primera vez en relacin con la geometra , que originalmente
significaba lo mismo que "la medicin de la tierra".
[3]
En particular, el antiguo
[ editar ]La
[ editar ]Antes
de Platn
Mientras que los antiguos egipcios empricamente descubierto algunas verdades de la geometra, el
gran logro de los antiguos griegos fue la de sustituir los mtodos empricos de estudio demostrativo
science.The sistemtico de esto parece haber comenzado con la escuela de Pitgoras en el siglo VI aC
tarde. [ 4 ] Los tres principios bsicos de la geometra son ciertas proposiciones que deben ser aceptados
como verdaderos sin demostracin de que todas las otras proposiciones del sistema se derivan de ellas,
y que la derivacin debe ser oficial , es decir, independiente de la materia en cuestin .
[4]
Los
fragmentos de las pruebas iniciales se han conservado en las obras de Platn y Aristteles,
[7]
y la idea
[8]
[ edit ]lgica
Platn academia
de Platn
[9]
Ninguno de los trabajos de la supervivencia del gran filsofo del siglo IV, Platn (428-347) incluir
elementos de la lgica formal, [ 10 ] pero incluyen importantes contribuciones al campo de la lgica
filosfica . Platn plantea tres preguntas:
La primera pregunta que surge en el dilogo Teeteto , donde Platn identifica con el pensamiento o la
opinin de conversacin o discurso ( logos ). [ 11 ]La segunda cuestin es el resultado de Platn teora de
las ideas . Las formas no son las cosas en el sentido comn, ni estrictamente las ideas en la mente, sino
que corresponden a lo que los filsofos llaman ms tarde los universales , es decir, una entidad
abstracta comn a cada conjunto de cosas que tienen el mismo nombre. Tanto en La Repblica y El
Sofista , Platn sugiere que la conexin necesaria entre las premisas y la conclusin de un argumento
corresponde a una conexin necesaria entre "formas".
[ 12 ]
La tercera pregunta se
refiere definicin . Muchos de los dilogos de Platn se refieren a la bsqueda de una definicin de
algn concepto importante (la justicia, la verdad, el bien), y es probable que Platn estaba impresionado
por la importancia de la definicin de las matemticas.
[ 13 ]
forma platnica , la naturaleza comn presentes en diferentes cosas particulares. As, una definicin
refleja el objeto ltimo de nuestra comprensin, y es el fundamento de toda inferencia vlida. Esto tuvo
una gran influencia en Aristteles, en particular nocin aristotlica de la esencia de una cosa, el "qu es
ser" una cosa particular de un cierto tipo.
[ edit ]lgica
[ 14 ]
de Aristteles
La lgica de Aristteles , y en particular su teora del silogismo , ha tenido una enorme influencia en el
pensamiento occidental . [ 15 ] Sus obras lgicas, llamadas el Organon , son el primer estudio formal de la
lgica que han llegado hasta los tiempos modernos. Aunque es difcil determinar las fechas, el orden
probable de la escritura de obras lgicas de Aristteles es:
Los temas (con un apndice llamado Refutaciones sofsticas ), una discusin de la dialctica.
Estas obras son de gran importancia en la historia de la lgica. Aristteles fue el lgico primero en
intentar un anlisis sistemtico de la sintaxis lgica, en nombre (o trmino ), y el verbo. En
las Categoras , trat de todas las cosas posibles que un trmino puede referirse. Esta idea subyace su
obra filosfica, la metafsica , que tambin tuvo una profunda influencia en el pensamiento occidental. l
fue el primero en tratar con los principios de contradiccin y de tercero excluido de una manera
sistemtica. Fue el primer lgico formal(es decir, le dio los principios del razonamiento usando variables
para mostrar el subyacente forma lgica de los argumentos). l estaba buscando relaciones de
dependencia que caracterizan inferencia necesaria, y se distingui la validez de estas relaciones, de la
verdad de las premisas (la solidez del argumento). Los Analticos contiene su exposicin del "silogismo",
donde tres importantes principios se aplican por primera vez en la historia: el uso de variables, un
tratamiento puramente formal, y el uso de un sistema axiomtico. En los temas y las refutaciones
sofsticas tambin desarroll una teora del aprendizaje no formal lgica (por ejemplo, la teora de las
falacias). [ 16 ]
[ editar ]lgica
estoica
Crisipo de Soli
La otra gran parte de la lgica griega es la de los estoicos . [ 17 ] rastros lgica estoica sus races se
remontan a finales de los aos filsofo quinto siglo aC, Euclides de Megara , discpulo de Scrates y un
poco ms viejo contemporneo de Platn. Sus alumnos y sucesores fueron llamados " Megara ", o"
Eristics ", y ms tarde los" dialcticos ". Los dos dialcticos ms importantes de la escuela de Megara
se Diodoro Cronos y Philo que estaban activos en el siglo cuarto tarde. Los estoicos adoptaron la lgica
de Megara y sistematizado ella. El miembro ms importante de la escuela era Crisipo(c. 278-c. 206 aC),
que fue su tercera, y que formaliza la mayor parte de la doctrina estoica. Se supone que se han escrito
ms de 700 obras, incluyendo por lo menos 300 en la lgica, casi ninguno de los cuales
sobreviven. [ 18 ] [ 19 ] A diferencia de Aristteles, no tenemos obras completas por parte del Megarians o
los primeros estoicos, y tienen que depender sobre todo en cuentas (a veces hostil) por las fuentes
posteriores, incluyendo prominentemente Digenes Laercio , Sexto Emprico , Galen , Aulo
Gelio , Alejandro de Afrodisias y Cicern . [ 20 ]
Tres importantes contribuciones de la escuela estoica fueron (i) su cuenta de modalidad , (ii) su teora
del condicional material , y (iii) su cuenta designificado y verdad . [ 21 ]
[ 23 ]
Diodoro
es tambin famoso por su supuesto argumento principal , que las tres proposiciones "todo lo que ha
pasado es verdadera y necesaria", "lo imposible no se sigue de lo posible" , y "Qu no es, ni ser,
es posible" son inconsistentes. Diodoro utilizado la verosimilitud de los dos primeros para demostrar
[ 24 ]
[ 25 ]
Sentencias condicionales . Los lgicos primera para debatir las sentencias condicionales eran
Diodoro y su discpulo Filn de Megara. Sexto Emprico se refiere tres veces a un debate entre
Diodoro y Filn. Philo argument que un verdadero condicional es aquella que no comienza con
una verdad y terminar con una mentira. por ejemplo, "si es de da, entonces yo estoy
hablando". Pero Diodoro argument que un verdadero condicional es lo que no podra comenzar
con una verdad y terminar con la mentira - por lo tanto la condicin citada anteriormente puede ser
falsa si fuera de da y me convert en silencio. Criterio de Filn de la verdad es lo que ahora se
conoce como verdad-funcional definicin de "si ... entonces". En una segunda referencia, Sexto
dice: "Segn l, hay tres formas en que un condicional puede ser verdad, y en el que puede ser
falsa". [ 26 ]
[ editar ]Lgica
en Asia
[ editar ]Lgica
en India
[ 28 ]
[ 30 ]
[ 29 ]
Medhatithi
El Mahabharata ( 12.173.45),
alrededor del siglo quinto antes de Cristo, se refiere a los anviksiki y tarka escuelas de la
lgica. Pnini (c. siglo quinto aC) desarroll una forma de lgica (para que la lgica booleana tiene
algunas similitudes) para su formulacin de la gramtica snscrita . La lgica es descrito
por Chanakya (c. 350-283 aC) en su Arthashastra como un campo de investigacin
independiente anviksiki . [ 31 ]
[ 33 ]
budista alcanz su altura. Su anlisis se centr en la definicin de la lgica necesaria vinculacin ",
vyapti", tambin conocido como concomitancia invariable o impregnacin.
doctrina conocida como "apoha" o diferenciacin se ha desarrollado.
[ 35 ]
[ 34 ]
[ 37 ] [ 38 ]
el efecto de la Hinduizing intenso de tres hombres como Babbage, De Morgan y Boole George en el
ambiente matemtico de 1830-1865 "
En Aristote Russell La Logique et son histoire d 'a (Armand Colin 1970) Robert Blanch , el autor
de Estructuras intellectuelles (Vrin, 1966) menciona que Jzef Maria Bochenski habla de una especie de
tringulo lgico indio para ser comparado con el cuadrado de Aristteles (o cuadrado de Apuleyo), en
otras palabras, con el cuadrado de oposicin . Este tringulo lgico anuncia elhexgono lgico de
Blanche. Con este tringulo lgica, la lgica de la India propone un enfoque interesante para el
problema planteado por las proposiciones particulares del lenguaje natural. Si hexgono lgico Robert
Blanche es algo ms completo y por lo tanto ms potente en cuanto a la comprensin de la relacin
entre la lgica y del lenguaje natural, puede ser que en un punto muy importante, la lgica indio es
superior a la lgica de Aristteles.
[ editar ]La
lgica de China
[ editar ]lgica
[ editar ]Lgica
medieval
en el Oriente Medio
Las obras de Al-Farabi , Avicena , Al-Ghazali , Averroes y otros lgicos musulmanes se basa en la lgica
aristotlica y fueron importantes en la comunicacin de las ideas del mundo antiguo al medieval
occidental. [ 39 ] Al-Farabi 873 (Alfarabi) ( -950) fue un lgico aristotlico que discuti los temas de los
futuros contingentes , el nmero y la relacin de las categoras, la relacin entre la lgica y la gramtica ,
y la no-aristotlica formas deinferencia . [ 40 ] Al-Farabi tambin se consideran las teoras de
la condicional silogismos y de inferencia analgica , que formaban parte de la estoicatradicin de la
lgica aristotlica, en lugar de la. [ 41 ]
Ibn Sina (Avicena) (980-1037) fue el fundador de la lgica de Avicena , que sustituy a la lgica
aristotlica como sistema dominante de la lgica en el mundo islmico,
[ 42 ]
importante influencia en los escritores occidentales medievales como Albertus Magnus . [ 43 ] Avicena
escribi en el silogismo hipottico [ 44 ] y en el clculo proposicional , que eran parte de la tradicin lgica
estoica. [ 45 ] l desarroll una teora original de "temporalmente modalizada "silogstico [ 40 ] e hizo uso
de inductivo lgica , como los mtodos de acuerdo, la diferencia y variacin concomitante que son
crticos para el mtodo cientfico . [ 44 ] Una de las ideas de Avicena tuvo una influencia muy importante
sobre los lgicos occidentales, comoGuillermo de Ockham . Avicena palabra un significado o concepto
( ma'na ), fue traducido por los lgicos escolsticos como el latn intentio . En la lgica medieval y la
epistemologa , esto es una seal en la mente que naturalmente representa una cosa.
[ 46 ]
Esto fue
crucial para el desarrollo de Ockham conceptualismo . Un trmino universal (por ejemplo, "hombre") no
significa una cosa que existe en la realidad, sino ms bien un signo en la mente ( intentio in intellectu ),
que representa muchas cosas en la realidad. Ockham cita el comentario de Avicena en Metafsica V en
apoyo de esta opinin. [ 47 ]
Fajr al-Din al-Razi (nacido en 1149) critic "de Aristteles primera figura ", y formul un sistema de
principios de la lgica inductiva, presagiando el sistema de la lgica inductiva desarrollada porJohn
Stuart Mill (1806-1873). [ 48 ] Al-Razi trabajo fue visto por los eruditos islmicos posteriores como marcar
un nuevo rumbo para la lgica islmica, hacia una lgica post-Avicena . Esto se desarroll ms
ampliamente por su alumno Afdaladdn al-Khnaj (muerto en 1249), que desarroll una forma de lgica
que gira en torno a la materia de concepciones y asiente . En respuesta a esta tradicin, Nasir al-Din alTusi (1201-1274) comenz una tradicin de Neo-Avicena lgica que se mantuvo fiel a la obra de Avicena
y exista como una alternativa a la ms dominante Post-Avicena escuela durante los siglos
siguientes. [ 49 ]
La escuela Illuminationist , fundada por Shahab al-Din Suhrawardi (1155-1191), quien desarroll la idea
de la "necesidad decisiva", que se refiere a la reduccin de todas las modalidades
(necesidad , posibilidad , contingencia y la imposibilidad ) para el modo de un solo por
necesidad . [ 50 ] Ibn al-Nafis (1213-1288) escribi un libro sobre la lgica de Avicena, que fue un
comentario de Avicena Al-Isharat ( Las Seales ) y Al-Hidayah ( La Gua ). [ 51 ] Ibn Taymiyyah (1263 1328), escribi el ala Ar-Radd al-Mantiqiyyin , donde argument en contra de la utilidad, aunque no la
validez del silogismo [ 52 ] y en favor del razonamiento inductivo . [ 48 ] Ibn Taymiyyah tambin argument
en contra de la seguridad de argumentos silogismos y en favor de la analoga . Su argumento es que los
conceptos fundados en la induccin de s mismos no son ciertas, pero slo probable, y as un silogismo
basado en tales conceptos no es ms seguro que un argumento basado en la analoga. Denunci
adems que la induccin en s se basa en un proceso de analoga. Su modelo de razonamiento
[ 53 ] [ 54 ]
[ 55 ]
de pginas "en la lgica fueron escritos entre los siglos 14 y 19, aunque slo una fraccin de los textos
escritos durante este perodo han sido estudiados por los historiadores, por lo tanto, poco se sabe
acerca de la obra original en la lgica islmica producida durante este ltimo perodo.
[ editar ]La
[ 49 ]
"Lgica medieval" (tambin conocida como "lgica escolstica") generalmente se entiende la forma de la
lgica aristotlica desarrollada en la Europa medieval durante todo el perodo 1200-1600 c.
[ 56 ]
Durante
siglos despus de la lgica estoica haba sido formulada, era el sistema dominante de lgica en el
mundo clsico. Cuando el estudio de la lgica reanud despus de las Edades Oscuras , la fuente
principal fue la obra del filsofo cristianoBoecio , que estaba familiarizado con algunos de la lgica de
Aristteles, pero casi ninguno de los trabajos de los estoicos.
[ 57 ]
[ 58 ]
de los alumnos, tales como Juan de Salisbury fue genial, y su mtodo de aplicacin de anlisis lgico
riguroso a la teologa forma a la manera que la crtica teolgica desarrollada en el perodo que
sigui. [ 59 ]
En el siglo XIII las obras restantes de Aristteles Organon (incluyendo los Analticos , Analticos y
las refutaciones sofsticas ) haban sido recuperadas en el Oeste y fue revivido por Santo Toms de
Aquino . [ 60 ] trabajo lgico hasta entonces era sobre todo parfrasis o comentario en la obra de
Aristteles. [ 61 ] El perodo comprendido entre mediados del XIII hasta mediados del siglo XIV, fue uno de
los acontecimientos importantes en la lgica, en particular en tres reas que eran original, con poco
fundamento en la tradicin aristotlica que vino antes . Estos fueron: [ 62 ]
La teora de la suposicin . Ofertas suposicin de la teora con la forma en que los predicados
(por ejemplo, "hombre") Rango de ms de un dominio de individuos (por ejemplo, todos los
hombres). [ 63 ] En la proposicin todo hombre es un animal, tiene rango de" hombre "o el trmino
ms ' supposit para 'los hombres que existen en la actualidad? O es que el rango de incluir a los
hombres pasados y futuros? Puede un supposit plazo para los no-existentes individuos? Algunos
medievalistas han argumentado que esta idea fue un precursor de la lgica moderna de primer
orden. [ 64 ] "La teora de la suposicin con las teoras asociadas de copulatio (signo capacidad de
trminos adjetivales), ampliatio (ampliacin del dominio referencial) yDistributio constituyen uno de
los logros ms originales de la lgica occidental medieval ".
[ 65 ]
Las ltimas grandes obras de esta tradicin son la Lgica de John Poinsot (1589-1644, conocido
como Juan de Santo Toms ), los Disputationes metafsica de Francisco Surez (1548-1617), y
la Logica demostrativa de Giovanni Girolamo Saccheri (1667-1733 ).
[ editar ]La
lgica tradicional
[ editar ]La
La lgica tradicional generalmente significa la tradicin libro de texto que comienza con Antoine
Arnauld y Pierre Nicole 's Logic, o el arte de pensar , ms conocida como la Lgica de PortRoyal . [ 67 ] Publicado en 1662, fue la obra ms influyente en la lgica de Inglaterra hasta el siglo
XIX. [ 68 ] El libro presenta una doctrina cartesiana libremente (que la proposicin es una combinacin de
ideas ms que en trminos, por ejemplo) dentro de un marco que es ampliamente derivado de
aristotlica y medieval lgica plazo . Entre 1664 y 1700 hubo ocho ediciones, y el libro tuvo una
influencia considerable despus de eso.
[ 68 ]
el ensayo es esencialmente el de Port-Royal: "proposiciones verbales, que son palabras, [son] los
signos de nuestras ideas, poner juntos o separados en oraciones afirmativas o negativas. As que la
propuesta consiste en juntar o separar estas seales, segn que las cosas que se destacan por estar de
acuerdo o en desacuerdo ". (Locke, Ensayo sobre el entendimiento humano , IV. 5. 6)
Otra obra influyente fue el Novum Organum de Francis Bacon , publicado en 1620. El ttulo se traduce
como "nuevo instrumento". Esta es una referencia a Aristteles 's trabajo Organon . En este trabajo,
Bacon rechaz el mtodo silogstico de Aristteles a favor de un procedimiento alternativo ", que por el
trabajo lento y fiel recopila informacin de las cosas y la lleva al entendimiento".
[ 69 ]
Este mtodo se
conoce como razonamiento inductivo. El mtodo inductivo comienza a partir de la observacin emprica
y procede a menores axiomas o proposiciones. De los axiomas inferiores los ms generales pueden ser
derivados (por induccin). En la bsqueda de la causa de una naturaleza espectacular , como el calor,
hay que enumerar todas las situaciones en las que el calor se encuentran. Entonces otra lista debe
elaborarse, enumerando las situaciones que son similares a los de la primera lista excepto por la falta de
calor. Una tercera tabla se enumeran las situaciones donde el calor puede variar. La naturaleza de la
forma , o la causa, de calor debe ser lo que es comn a todas las instancias de la primera tabla, se
carece de todas las instancias de la segunda tabla y vara segn el grado de los casos de la tercera
tabla.
Otras obras en la tradicin de libros de texto incluyen Isaac Watts ' Logick: O bien, el uso correcto de la
razn (1725), Richard Whately 's Lgica(1826), y John Stuart Mill 's un sistema de lgica (1843). Aunque
este ltimo fue una de las ltimas grandes obras de vista de la tradicin, de Mill de que los fundamentos
de la lgica laicos en la introspeccin
[ 70 ]
una rama de la psicologa, una aproximacin al tema que domin la siguiente cincuenta aos de su
desarrollo, especialmente en Alemania.
[ editar ]La
[ 71 ]
[ editar ]La
lgica y la psicologa
Entre la obra de Mill y Frege extendi medio siglo durante el cual se trat ampliamente la lgica como
ciencia descriptiva, un estudio emprico de la estructura de razonamiento, y por lo tanto esencialmente
como una rama de la psicologa . [ 73 ] El psiclogo alemn Wilhelm Wundt para, ejemplo, discuti derivar
"la lgica de las leyes psicolgicas de pensamiento", destacando que "el pensamiento psicolgico es
siempre la forma ms completa de pensamiento".
[ 74 ]
filsofos alemanes de la poca: Theodor Lipps lgica descrita como " una disciplina especfica de la
psicologa ", [ 75 ] Christoph von Sigwart entendido necesidad lgica como basado en la coaccin del
individuo a pensar de una determinada manera,
[ 76 ]
[ 78 ]
[ 77 ]
por Gottlob Frege . Esto tambin fue sometido a una extensa crtica y destructiva por Edmund
Husserl en el primer volumen de sus Investigaciones lgicas (1900), un asalto que ha sido descrito
como "abrumadora". [ 79 ] Husserl argument con fuerza que la lgica de conexin a tierra en las
observaciones psicolgicas implcitas que todas las verdades lgicas qued sin probar, y que el
escepticismo y el relativismo son consecuencias inevitables.
Tales crticas no respondi de inmediato extirpar el llamado " psicologismo ". Por ejemplo, el filsofo
norteamericano Josiah Royce , si bien reconoce la fuerza de la crtica de Husserl, se mantuvo "no se
puede dudar" de que el progreso de la psicologa estara acompaada por el progreso en la lgica, y
viceversa. [ 80 ]
[ editar ]La
El perodo entre el siglo XIV y principios del siglo XIX haba sido en gran medida una de decadencia y
abandono, y es generalmente considerado como estril por los historiadores de la lgica.
[1]
El
renacimiento de la lgica se produjo en la segunda mitad del siglo XIX, en el el inicio de un periodo
revolucionario en que el sujeto se convirti en una disciplina rigurosa y formalista cuyo modelo era el
mtodo exacto de la prueba utilizada en las matemticas . El desarrollo de la moderna llamada lgica
[ 81 ]
un clculo cuyas normas de funcionamiento se determinan slo por la forma y no por el significado de la
smbolos que emplea, como en matemticas. Muchos lgicos quedaron impresionados por el "xito" de
las matemticas, en que no haba habido ningn conflicto prolongado sobre cualquier resultado
verdaderamente matemtico. CS Peirce seal [ 82 ] que a pesar de un error en la evaluacin de una
integral definida por Laplace inducido a un error relativa a la rbita de la luna que persisti durante casi
50 aos, el error, una vez descubierto, se corrigi sin ningn conflicto serio. Peirce contrasta esto con la
discusin y la incertidumbre en torno a la lgica tradicional, y sobre todo razonamiento en la
metafsica . Sostuvo que una verdadera "exacta" lgica dependera de matemtica, es decir,
"esquemtica" o "icnica" pensamiento. "Aquellos que siguen estos mtodos se ... escapar de todo
error, sino en tanto que rpidamente se corrige despus de haberlo sospechado una vez". La lgica
moderna tambin es "constructiva" en lugar de "abstraccin", es decir, en lugar de la abstraccin y
formalizacin de los teoremas derivados del lenguaje ordinario (o de intuiciones psicolgicas acerca de
la validez), construye teoremas mediante mtodos formales, a continuacin, busca una interpretacin en
lenguaje ordinario. Es muy simblico, lo que significa que incluso las constantes lgicas (que los lgicos
medievales llamados " syncategoremata ") y los trminos categricas se expresan en smbolos.
[ editar ]Los
[ 83 ]
El perodo embrionario desde Leibniz hasta 1847, cuando la nocin de un clculo lgico fue
discutido y desarrollado, sobre todo por Leibniz, pero hay escuelas se formaron, y aislados intentos
peridicos fueron abandonados o pas desapercibido.
El perodo algebraica de Boole 's Anlisis de Schrder 's Vorlesungen . En este perodo hubo
ms practicantes, y una mayor continuidad del desarrollo.
primeros Wittgenstein . [ 84 ] Lo que culmina con el Principia , una importante obra que incluye un
examen completo y intento de solucin de las antinomias que haban sido un obstculo para el
progreso anterior.
El perodo metamathematical desde 1910 hasta la dcada de 1930, que vio el desarrollo
de metalgica , en el finitista sistema de Hilbert , y el sistema no finitista de Lwenheim y Skolem, la
combinacin de la lgica y metalgica en el trabajo de Gdel y Tarski . Gdel teorema de
incompletitud de 1931 fue uno de los mayores logros en la historia de la lgica. Ms tarde, en la
dcada de 1930 Gdel desarroll la nocin de constructibilidad teora de conjuntos .
[ edit ]perodo
embrionario
La idea de que la inferencia puede ser representado por un proceso puramente mecnico se encuentra
ya en Raymond Llull , quien propuso un mtodo (un poco excntrica) de sacar conclusiones por un
sistema de anillos concntricos. El trabajo de los lgicos, tales como las calculadoras Oxford [ 85 ]condujo
a un mtodo de uso de letras en vez de escribir los clculos lgicos ( calculationes ) en palabras, un
mtodo utilizado, por ejemplo, en lamagna Logica de Paul de Venecia . Trescientos aos despus de
Llull, filsofo y lgico Ingls Thomas Hobbes sugiere que toda la lgica y el razonamiento se podra
reducir a las operaciones matemticas de suma y resta.
[ 86 ]
de Leibniz , que haba ledo tanto Llull y Hobbes, y que argument que la lgica puede representarse a
travs de un proceso combinatorio o clculo. Pero, como Llull y Hobbes, no logr desarrollar un sistema
detallado o exhaustivo, y su trabajo sobre este tema no se public hasta despus de su muerte. Leibniz
dice que las lenguas ordinarias estn sujetas a un sinnmero de "ambigedades" y no son adecuadas
para un clculo, cuya tarea es exponer errores en la inferencia que surgen de las formas y estructuras
de las palabras, [ 87 ] por lo tanto, se propuso identificar un alfabeto del pensamiento humano que
comprende los conceptos fundamentales que podran estar compuestas para expresar ideas
complejas, [ 88 ] y crear un ratiocinator clculo que hara razonamiento "tan tangible como las de los
matemticos, para que podamos encontrar nuestro error de un vistazo, y cuando hay disputas entre
personas, podemos simplemente decir:. Vamos a calcular "
[ 89 ]
Gergonne (1816), dijo que el razonamiento no tiene que ser acerca de los objetos sobre los que
tenemos las ideas perfectamente claras, ya que las operaciones algebraicas se puede llevar a cabo sin
que tengamos alguna idea del significado de los smbolos en cuestin.
[ 90 ]
[ editar ]perodo
Algebraica
Mltiplos booleanas
[ 93 ]
frmulas algebraicas se pueden utilizar para expresar relaciones lgicas.Esta idea surgi a Boole en su
adolescencia, trabajando como acomodador en una escuela privada en Lincoln, Lincolnshire . [ 94 ] Por
ejemplo, Sean X e Y representan las clases que el smbolo = significa que las clases tienen los mismos
miembros, xy reposar durante la clase que contiene todos y slo los miembros de X e Y y as
sucesivamente. Boole llama a estos smbolos electivos , es decir smbolos que seleccionan ciertos
[ 95 ]
denomina funcin electiva , y una ecuacin de la que los miembros son funciones electivas, es
una ecuacin electiva . [ 96 ] La teora de las funciones electivas y su "desarrollo" es esencialmente la idea
moderna de las funciones de verdad y su expresin en forma normal disyuntiva . [ 95 ]
Sistema de Boole admite dos interpretaciones, en la lgica de clases y la lgica proposicional. Boole
distingue entre "proposiciones primarias" que constituyen el objeto de la teora silogstica, y
"proposiciones secundarias", que son el objeto de la lgica proposicional, y mostr cmo en diferentes
"interpretaciones" del sistema algebraico mismo podra representar ambos. Un ejemplo de una
proposicin principal es "Todos los habitantes son o europeos o asiticos." Un ejemplo de una
proposicin secundaria es "O todos los habitantes son europeos o todos son asiticos".
[ 97 ]
Estos se
distinguen fcilmente en el clculo proposicional moderna, donde tambin es posible demostrar que el
primero se desprende de la segunda, pero es una desventaja significativa que no hay manera de
representar esto en el sistema booleano.
[ 98 ]
En su Symbolic Logic (1881), John Venn utiliza diagramas de superposicin de reas de expresar las
relaciones entre las clases booleanas o la verdad-condiciones de proposiciones. En 1869 Jevons se dio
cuenta de que los mtodos de Boole puede ser mecanizada, y construy una "mquina lgica", que se
present a la Royal Society el ao siguiente. [ 95 ] En 1885 Allan Marquandpropuso una versin elctrica
de la mquina que todava existe ( imagen en la Biblioteca Firestone ).
Los defectos en el sistema de Boole (como el uso de la letra v para las proposiciones existenciales) se
resolvieron todos por sus seguidores. Jevons public Lgica Pura, o la lgica de la Calidad aparte de
cantidad en 1864, en la que sugiri un smbolo para significar exclusivo o , lo que permiti el sistema de
Boole se simplifica enormemente. [ 99 ] Esto fue aprovechado tilmente por Schrder cuando sali
teoremas en columnas paralelas en su Vorlesungen (1890-1905). Peirce (1880) demostr cmo todas
las funciones booleanas electivos podra ser expresada por el uso de una operacin binaria primitivo
nico ", ni ... ni ... " e igualmente " no tanto ... y ... ", [ 100 ] Sin embargo, como muchas de las innovaciones
de Peirce, este sigue siendo desconocido o inadvertida hasta Sheffer lo redescubri en 1913. [ 101 ] los
primeros trabajos de Boole tambin carece de la idea de la suma lgica que se origina en Peirce
(1867), Schrder (1877) y Jevons (1890), [ 102 ] y el concepto de inclusin , en primer lugar sugerido por
Gergonne (1816) y claramente articulada por Peirce (1870).
El xito del sistema algebraico de Boole sugiri que toda la lgica debe ser capaz de representacin
algebraica, y hubo intentos de expresar una lgica de las relaciones en la forma, de los cuales el ms
ambicioso fue monumental Schrder Vorlesungen ber die Algebra der Logik ("Conferencias sobre la
Algebra of Logic ", Vol. III 1895), aunque la idea original se prevea otra vez por Peirce.
[ edit ]perodo
logicista
[ 103 ]
Despus de Boole, los grandes avances posteriores fueron hechas por el matemtico alemn Gottlob
Frege . Objetivo de Frege fue el programa de logicismo , es decir, lo que demuestra que la aritmtica es
idntica a la lgica. [ 104 ] Frege fue mucho ms lejos que cualquiera de sus predecesores en su enfoque
riguroso y formal de la lgica, y su clculo o Begriffsschrift es importante. [ 104 ] Frege Tambin trat de
mostrar que el concepto de nmero se puede definir por medios puramente lgicos, por lo que (si estaba
en lo cierto) incluye lgica aritmtica y todas las ramas de las matemticas que se pueden reducir a la
aritmtica. No era el primer escritor que sugieren esto. En su trabajo pionero Die Grundlagen der
Arithmetik (Los fundamentos de la aritmtica), secciones 15-17, que reconoce los esfuerzos de
Leibniz, JS Mill , as como Jevons, citando pretensin de esta ltima que "el lgebra es una lgica muy
desarrollada, y el nmero pero discriminacin lgico ".
[ 105 ]
Este anlisis funcional del lenguaje ordinario de sentencias ms tarde tuvo un gran impacto en
la filosofa y la lingstica .
Esto significa que en el clculo de Frege, "primarias" de Boole proposiciones pueden ser
representadas de una manera diferente de "secundarios" proposiciones. "Todos los habitantes son
o europeos o asiticos" es
(X) [I (x) -> (E (x) v A (x))]
mientras que "Todos los habitantes son europeos o son todos los habitantes asiticos" es
(X) (I (x) -> E (x)) v (x) (I (x) -> A (x))
Como Frege coment en una crtica del clculo de Boole:
"La diferencia real es que debo evitar [el Booleano] divisin en dos partes ... y dar una
presentacin homognea de todos. Boole En las dos partes de correr al lado de otros, por lo
que uno es como la imagen especular de la otra, pero por esa misma razn no est en relacin
orgnica con l " [ 109 ]
Adems de proporcionar un sistema unificado e integral de la lgica, clculo de Frege
tambin resuelto el antiguo problema de la generalidad mltiple . La ambigedad de
"todas las chicas besado a un chico" es difcil de expresar en la lgica tradicional, pero
la lgica de Frege capta esto a travs de la diferente alcance de los
cuantificadores. As
(X) [girl (x) -> E (y) (boy (y) y bes a (x, y))]
significa que para todas las chicas le corresponde un chico (cualquiera sirve) que
la chica bes. Sino
E (x) [boy (x) & (y) (chica (y) -> besado (y, x))]
significa que hay un chico en particular los que todas las chicas un beso. Sin
este dispositivo, el proyecto de logicismo habra sido dudoso o
imposible. Gracias a l, Frege ofrece una definicin de la relacin ancestral ,
de la relacin de muchos-a-uno , y por induccin matemtica . [ 110 ]
Este perodo coincide con el trabajo de la llamada "escuela matemtica", que
inclua
a Dedekind , Pascua , Peano , Hilbert , Zermelo , Huntington , Veblen y Heyti
ng . Su objetivo era la axiomatizacin de las ramas de las matemticas como
la teora de la geometra, la aritmtica, el anlisis y ajuste.
El proyecto logicista recibi un revs casi fatal con el descubrimiento de una
paradoja en 1901 por Bertrand Russell . Esto demostr que la de
Frege teora ingenua de conjuntos condujo a una contradiccin. Teora de
Frege es que para cualquier criterio formal, hay un conjunto de todos los
objetos que cumplen con el criterio. Russell mostr que un conjunto que
contiene exactamente los conjuntos que no son miembros de s mismos
contradice su propia definicin (si no es un miembro de s mismo, es un
miembro de s misma, y si es un miembro de s misma, no es) .
[ 111 ]
Esta
[ edit ]perodo
metamathematical
Alfred Tarski
[ 117 ]
[ editar ]La
Mundial
Saul Kripke
Abraham Robinson