P. 1
LOGICA SIMBOLICA

LOGICA SIMBOLICA

Ratings:

4.0

(2)
|Views: 202,031|Likes:
Published by galaz2010

More info:

Categories:Types, Resumes & CVs
Published by: galaz2010 on Apr 21, 2010
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

06/08/2014

pdf

text

original

 
 
Lógica simbólica 
 
Lógica simbólica 
i
 
Prefacio.
Resulta interesente observar el gran cúmulo de esfuerzo que ha requerido estadisciplina para lograr el avance con el que hoy lo conocemos, me sorprende queaun después de tanto tiempo y habiendo pasado por tantas modificaciones lasteorías expuestas por hombre como Aristóteles, conserven una muy buena partede validez, y mas que reemplazarlas por otras mas actuales, se han idoadicionando a ellas conceptos, otros grandes hombre como Leibniz, Boole,Russell, por citar solo algunos de ellos.
 
Lógica simbólica 
ii
 
Indice.
1 Introducción.1.1 Definición de lógica simbólica ................................................................. 11.2 El objeto de estudio de la lógica ............................................................. 11.3 Lenguaje natural y lenguaje simbólico .................................................... 21.4 La simbolización del leguaje lógico ......................................................... 3
De la lógica clásica a la lógica simbólica
2 La lógica griega ............................................................................................... 42.1 Aristóteles ............................................................................................... 42.1.1 Cuantificación de los enunciados ................................................... 62.1.2 Oposición entre enunciados ........................................................... 72.1.3 Conversión de enunciados ............................................................. 82.1.4 Silogismos y figuras ........................................................................ 92.1.5 Silogismos: premisas y validez ..................................................... 112.1.6 La inducción y la deducción .......................................................... 122.2 Los estoicos .......................................................................................... 122.2.1 El criterio de verdad ...................................................................... 132.2.2 El asentimiento y la epoché .......................................................... 132.2.3 El nominalismo estoico ................................................................. 132.2.4 La proposición y el razonamiento ................................................. 143 Del medioevo al álgebra lógica ..................................................................... 16
3.1 Boecio y el “cuadrado lógico de la oposición” de las
proposiciones categóricas .................................................................. 173.2 Pedro Hispano ...................................................................................... 203.3 De Llull a Leibniz ................................................................................... 213.3.1 Raimundo Lulio ............................................................................. 223.3.2 Leibniz .......................................................................................... 233.4 La lógica de Port-Royal ......................................................................... 253.5 Kant: lógica formal y lógica trascendental ............................................. 253.6 El siglo XIX ............................................................................................ 264 Boole ............................................................................................................. 275 La lógica simbólica ........................................................................................ 285.1 Gottlob Frege ........................................................................................ 285.2 Giuseppe Peano ................................................................................... 325.2.1 La formalización de la aritmética .................................................. 335.3 Russell y los Principia Matemática ........................................................ 355.3.1 La teoría de los tipos .................................................................... 365.3.2 La teoría de las descripciones ...................................................... 375.3.3 Los Principia Matemática .............................................................. 38

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