CARA INTRODUCCION A LA LOGICA Y AL ANALISIS FORMAL© 1964, Eoxcioses Anes, S.A, ‘Barco im, ceitsa: B. 70964 Depinto tsn: B. 27.198:964 heres Titearéioe ARIEL 8. A. Hay algunos importantes conceptos que son hoy de uso frecuente on ‘numerosas cieneias positivas y que tienen cn Ia Jégica formal el Iogear de su primers inodueciéin y aclaracién, Se tzata de concepts como los e sistema deduetivo, algoritmo, modelo, funcién, estructura, Esa primera aclaracién que se encuentra en la légica es, desde luego, muy general, y los concepios en cuestién toman en las diversas ciencias positives que los vusan connotaciones espectficas. Pero una introdnccifin formal a esos con- ceptos en el marco do una iniciacién a le légiea es probablomente itil para toda formecién cientifea que quiera educar también en al espiritu do la tooria, La principal motivacién con que ha sido oserito ests manual © Io de suministrar wn (exto Introductorio que, & diferencia de lo que ‘muy naturalmente suele ocurrir a Tos Hbras de légica, no presuponge on sus lectores ningin interés especial por Ia flosofia ni por Ta matemtica, ‘ni menos una educaciéa universitaria en ellas. El lector tipico tesido pre. sente es més bien el estudisnte de nuesteas facultedes de cienclas posit ‘vas (naturales y sociales). Hsto puedo dar zazén del cardcter ingenvo de 1a informacién y les discusiones sobre temas flosbicos y matcindticos, ast como del abandono de venevables doctrinas tradicionales (por ejemplo: de Ja renunela a un tratamiento sustantivo de Ia silogistica) Lo que aqui se pretende en sustancia es servir a la introduccién del estudio de la ldgica fuera de las secciones de flosotia y de mateméticas, Salvo en las Facultades de Ciencias Econémieas, que cuentan con unos Fundarentos de Filosofia on su primer caso, no es ain nada facil a: canzar ese deseable objetivo, Tal vez una modesta schicién podria con sistir por ahora eo cursllos trimestrales @ cuntrimestastes con alguna soleceidn de temas como Ia compuesta por los siguientes capitules: 1, Hl,111, TV, V, VIL, XLV, XV, XVI, XVII, XVI, (Esta reduccién acartea ta supresiin de derivaciones caleulisticas en Jos eaps. XIV-XVII, que habri «que suplir con razonamientos informales de los que se dan varios efemplos ea el capitulo XV) El Dr, D. José Lébex Urquia, catoditico de Matemiticas de tas ope- ‘aciones financieras en Ia Facultad de Ciencias Econémicas de Barcelona, ha tenido la bondad, que le agradezeo, de leer el toxto en pruebas y su- Serirme retoques de interés didéctico que he llevado a cabo en Ja medida en que lo permitian los limites de espacio y de contenido impuestos al manual M.S, L. Barcelona, octubre de 1984, INDICE PRINGIPALES ERRATAS OBSERVADAS Pag. Linea Dice Debe decir a | a i js ; wal 128 abajo 5 138 8 desde arriba | ; Ale aus 12 desde abajo 1p | desde ua férmule (DR30a) | ey | ay ST | 2 desde arriba | RE | RE be | oe patie ee eC 261 férmola (DRIOT) | jEEeeera 282 | bok 143: las dos Ultimas férmulas de la demostracién estan intoroambiadas. Capitulo TIL — Bt ideal det Bion hecho 15, Las paradojas do la tooria de conjuntos - 88 16. Lenguajos “mal. hechos” a 17, La paradoja de Epiméuides a 18, Lenguajes “bien hechos". Céleulos formoales y lengunjes formal zades. Metal111 IV, V, VI, XIV, XV, XVI, XVI, XVIII, (Esta reduceién acarrea Ta Supresién de desivaciones caleulatieas en les eaps. XIV-XVILL, que habs Sve supix con rezonamtentos informales de los que se dan varios ejemplos en ol capitulo XV.) Kl Dr. D. José Lébez, Urguia, catedritico de Motemdéticas de lus ope- rociones financieras en la Facultad de Ciencias Keonémicas de Barcelona, ha tenido la bondad, que le agradezco, de leet el texto en pruchas y sue [erm retoaues dle intorda- Attia ts INDICE LA LOGICA FORMAL Y LAS CIENCIAS REALES. CATEGORIAS LOGICAS Capitulo 1. — Nooidn de le ligice forme! 2 La falacia de abstraccién 3, La abstraceién basics de le Iigica formal 4, Formas de ponsamionio irelevantes para Ia Iégler formal clisica 5. La forma légica, Esquemas 8 Verdad formal, Esquemas finales. Ua ligics formnel coma cfoncia oteorta 1. Sentido de les verdades formales 8. La logies como arte © tenica Capitulo Hl, — Le Beigica formal en ta ince de fundamentor 9. La euestiéa de los findamentos 10. La “crisis de fundamentos” de las ciencias | LL. Aspectos materiales y formales de una crisis de for 32, La estructura de las tecrias : 18, La precision del objete formal do une teozia ‘| 14, La ulidad bouristice de la investigacidn de Fundamentos Capltulo IN. — Et ideal dat tong bien hecho 15. Las paradojas de le teoxia de confuutos 18. Lenguajes “mal hechos” 1% La paradoja de Epiménides 1B, Lenguajes “bien hechos”. Célevlos formeles y zados. Motalengacje 3 a 7 18 19 22 25 7 aL 32 35 38 a 2 a39, 20, 2h 22, 23 2 28, 27, 28, 29. a0. sl. 35. 36. a 38, inoice, ‘La investigacié de fundamentos en légiea. Sintaxis y seméntica. Los limites del ideal algocitmico . : Los fnutos del programa. algoritiaieo Capitulo IV. —Las eategorias légicas Analisis lice y eategoeias ees Las categorias’ Expresién, Férmula, Euunciads EL nombre: In categoria Constantes. Gonstantes logicas ‘La categoria Variables oy Los cuantificadores ae Categorias compositivas o conjuntivas Funeiones lgicas. Abstraccién funcional EL SISTEMA DE LA LOGICA ELEMENTAL, Seccién primera BL LANCUATE DB LA LOstCA muomETAL, Capitulo V.— La composicién de enunciados, Légice de enuncindos Goncepto de la ligica de envmneiados pee Sfimbolos elementales y primitivos de la légica de enunciados Formulas de Ta ligica de enuncidos, ys ee Esquematizacién de euvnciados del lenguaje comin por éeraulas de la légica de enunciadas .. aan Sobre ta notacidn de las funciones veritativas | Capttulo VIL— Le estructura de tos enunciados atémicos. Légica de predicados Gonoepto del igen de predicados Simon clomentlso pmtvs de I iio de piedcados Fornmlas de la Iglea de predicades de primer ordea : Esquematizacién de ensneiados del longyaje coun por fétnulay de Is loge de predeados de primer orden [a implicactn en la lgica de predeados de primer orden | Sobre la constante Tons ee he 55 56 57 59 aL 88 oL ot 95 WL 102 41, 8 49. 50. Bl. 52. 56. 5. 38. 59, 60, Capitulo VIE. —~ Presontecién. asin Je predirados dep lel oftento EE sistema axfomnitica ‘i Nociones de demostraciéa o devivaci Axiomas y esquemas axiomiticos }. Modelos “isomarfos, Monomorfime y ‘polinorfismo La idea de defiicién implicita EI sistema aximético de Hilbert, Bernays y Ackermann (HB: para Is Iogica elemental . La demostraciéa en el sistema axiomitica capitulo VIIL.—Le deduecién @ partir de pr Las tres concepeiones de la argumenteciéa formal Los problemas de la deduccién natural 7 Las mociones de demostracién y teorema en el cieala de la deduecidn natural aH 7 Los das géneros de opereciones bécions del céleulo de Ja dedue: cidn natural ee eee Tsomorfia de formulas y sustitucién de variables Bl edleulo de la deduecién natural Observaciones a las reglas de Ia deduccién ‘natural Capitulo IX. —Téontce de ta deduectin netoeel Algunoe tore Algunos teoremas de In I6gica de enunciados Algunos teoremas con cuantifcadores Capitulo X.— Formas normales. Co axiomdtico con el edoulo de te dedi ‘Nowlin do formal nornal« Noumalizacién de los functores weit Normalizacién de los euantileadores Jlustificacién de las formas normales en Comparacién del sistema axiomitico con én nstural : El teoroma de deduccidu istema, aviomitico cilele de ta dedue- 103 104 105 406 308 40 id 113 140 148 4150 153 159 16361 a 64 65, 66. 6. 6 70. 2B. TH, w 76. i. 18. cS) inpice LIMITACIONES Y ALCANCE DEL CALCULO LOGICO Secetén primera LAS LiMITACIONES mu. chncoor0 Lboic0 Capitulo XI.— Rendimiento dot edteulo ligicn elemental Lot metateoremas sobre el rendimicnto Consistencia del clleulo ligico elemental Completud del cfleulo légico elemental La Kigica elemental y el programa algeriimico Capitulo XI. — La ligion de predicades de orden superior ¥y 21 toorema de incompletud de Gédel Ta ligien de predicados de orden superior Ta godelizacién El teorema de incompletud de Godel Sobre la significacién del teorems de inoompletud de Cade! para hh teoris de Ia ciencia 7 it El tecrema de ineomplotud de Gédel y ol programa de Hilbert Capitulo XI. — Decibilided en ta légica elemental Decidibilldad de ta Wégien de enunetades La téenice de las tablas veritativas aaah Heduceidn del mémero de funoiones veritativas diddicas ‘Uso de las formas normeles como téenicas de deeisién en la Togica de emmeiados 7 Decisién abreviada por “reduccia al absusdo” seen Decidibilided de las expresiones monidicas de Ia Ligice de pre- dicados 7 . Seocidn segunda EE ALCANCE axALICO met eknew.o Lécte0 Capitulo XIV. —Légica do clases XE Algebrs do clases. 1a logiea general de clases Clase mula y clase universal 1 EL principio de abstracclin y In paradoja de Russell 187 189 192 197 408 201 302 208 209 210 216 223 228 228 583, 83. 91. 89, 93, 98. 95, 96. a7, 98, 28, Relacidn do teoremas y 1 ‘en Tugares distinios de Ins cle sy fntvoeh Bil force, Ta aritmétion: Algunos conceptos fundamentales d dinales; pares ardenados Morfologia de la 1égiea de clases itulo XV.—~ Légion de velactones Las propiedasies poli Relaciones clases Functores do relacones. Conversas Productos y potencias solacionales Dominios Chases de re Relaciones y elases de Univoedad. Isome Alganos cone rerio; fancién nivalenela| struotiras foes Fandanventales: cardinals LOGICA FORMAL ¥ ¥ PODOLOGIA, Capital XVI —La divisiin y Ua Légie formal y neo Neciin meradsigis de i cision Biayontridedy Sscleion sts EI fundamento de una divisién Nacén metodsidgios de Defisiones sinienees Capitulo XVIT.—~ El andtisie formal de ta El planteamiento clisico del problema de Ta indheei El esquema reductive de Lalkesiewiex La relacién de incuccién La postbilidad de une l6gica Induetiva segin Camap Desetipeiones de estado ¥ ambitos semnticos Funciones logieas de riedic Faneiones de. confimccién Idea de una ligica inductiva s ausillares que te en yaa Registro alfalctice 267 268 368 260 213 275 a7 77 379 289, 284 286 280 295 209 B01 203, 307 300 313