ta Tlosofia se ha interesado practicamente desde sus origenes por los aspectos for- males del razonamiento. Aistoteles fue el primero en desarrolar una teoria de la argu. ceeneacion deductiva, por lo que se le considera con justicia el creador de la I6gica como aisciplina, La légica permanecio esencialmente en el mismo estado en que la delo Arist6teles hasta mediados de! siglo xx, cuando iniclé un nuevo desarrollo, base do en gran medida en su capacidad para analizar con ayuda de métodos matentices {unas de razonamiento de las que la légica aristotlica no podia dar cuenta, en per. Sfular aauellas en que intervienen expresiones cuantiicacionales mltiples y expre- Siones relacionales. Para el tratamiento sistematico de estas formas de razon, Inlento, se desarrollaron a finales del siglo wx principios del ax la teoria de lee vel clones ¥ la de la cuantificacién. Estas dos teorfas, junto con el célculo proposicional Coe aluslo iniciaron los légicos megaricos y estoicos, constituyen el cuerpo bast Co de conocimientos de la lgica, una disciplina que a lo largo del siglo x se he dae, rrollado considerablemente y que esta todavia en expansién. Fate libro es un manual de introduccién a la l6gica, escrito especialmente para estu- Clantes de flosofia, pero también para aquellas personas con formacion tment, leresadias en materias que requieran conocimientos l6gicos, como la lingufst ca la ciencia cognitiva. En él se exponen los conceptos y resultados bAsicos de log {a logica proposicional y, sobre todo, la cuantificacional se introducen de forma au- Sada en los primeros capitulos del libro. El concepto de infinitud, que tradicionatinen: {e ha sido objeto de reflexion flosofica, es un concepto propio de la teorla de conjuntos ‘que el lector también encontrara caracterizado con rigor en estos caprtulos REED: //wiw.ariel.es : 934132-6 ANNRaq] Ariel Filosofia | Calixto Badesa | Ignacio Jané Ramon Jansana Elementos de légica formal Editorial Ari. SA.»isso cube Nacho Seriano 1 edie: septiembre 1998 {© 1098: Callas Badess Cortés, gntio Jn Pala, Raton Fansana Ferree Derechos exclusives de ec en espaol reservados para aoe! mundo: © 199: Editorial Ae, SA, Crcega, 27008008 Baredions ISBN: RA-3A47489 Dept legal B. 34452-1998 pres en pas Ninguna arte de pubis, ndad eo Avner pda erred scr ags ‘hime sen prism media yen con ‘unico, mais, pon fo ato ade cop Stn pris revo del ear Prélogo Introduecién, INDICE PRIMERA PARTE NOCIONES DE TEOR{A DE CONJUNTOS Carituto 1, El concepto de conjunto 1. El principio de extensionalidad 2, La relacién de inclusién 3. El principio de separacién ... 4, Bjercicios. Capfruto 2. Operaciones con conjuntos 1, Las operaciones bisicas Complementacién 3. El conjunto potencia 4 5 6 ‘Uniones e interso Sobre la existenci Ejercicios ..... ciones generalizadas de conjuntos B B 16 wy a1 4 4 29 32 33 36 37