Introduccion A La Logica Y Al Analisis Formal

Citation preview

INTRODUCCION A LA LOGICA Y AL ANALISIS FORMAL

© 1964, Ediciones Ariel, S, á . B a r c e lo n a

Núm. registro: E 5 / 8 - 1 9 6 4 Depósito legai: B. 2 9 . 1 9 8 - 1 9 6 4

Talleres Tipográficos ARH.ÍL, S. A. - Berlín, •16-50 - Barcelona

Hay algunos importantes conceptos que son hoy de uso frecuente en numerosas ciencias positivas y que tienen en la lógica formal el lugar de su primera introducción y aclaración. Se trata de conceptos como los de sistema deductivo, algoritmo, modelo, función, estructura. Esa primera aclaración que se encuentra en la lógica es, desde luego, muy general, y los conceptos en cuestión toman en las diversas ciencias positivas que: los usan connotaciones especificas, Pero una introducción termal a esos con­ ceptos en el marco de una iniciación a la lógica es probablemente útil para toda formación científica que quiera educar también en el espíritu de la teoría. L a principal motivación con que lia sido escrito feste manual es la de suministrar un texto introductorio que, a diferencia de lo que muy naturalmente suele ocurrir a los libros de lógica, no presuponga en sus lectores ningún interés especial por la filosofía ni por la matemática, ni menos una educación universitaria en ellas. El lector típico tenido pre­ sente es más bien el estudiante de nuestras facultades de ciencias positi­ vas (naturales y sociales). Esto puede dar razón del carácter ingenuo de la información y las discusiones sobre tenias filosóficos y matemáticos, así como del abandono de venerables doctrinas tradicionales (por ejemplo: de la renuncia a un tratamiento sustantivo de la silogística). Lo que aquí se pretende en sustancia es servir a la introducción del estudio de la lógica fuera de las secciones de filosofía y de matemáticas. Salvo en las Facultades de Ciencias Económicas, que cuentan con unos Fundamentos de F ilosofía en su primer curso, no es aún nada fácil al­ canzar ese deseable objetivo. Tal vez una modesta solución podría con­ sistir por ahora en cursillos trimestrales o cuatrimestrales con alguna selección de temas como la compuesta por los siguientes capítulos: I, II,

III, IV, V, VII, XIV, XV, XVI, XVII, XV IIII. (Esta reducción acarrea la supresión de derivaciones calculísticas en los caps. XIV-XVIII, que habrá que suplir con razonamientos informales de los que se dan varios ejemplos en el capítulo XV.) El Dr. D. José Lóbez Urquía, catedrático de M atemáticas d e las op e­ raciones financieras en la Facultad de Ciencias Económicas de Barcelona, ha tenido la bondad, que le agradezco, de leer el texto en pruebas y su­ gerirme retoques de interés didáctico que he llevado a cabo en la medida en que lo permitían los límites de espacio y de contenido impuestos al manual. M. S, L. Barcelona, octubre de 1964,

Pág.

Línea

Dice

Debe decir

121

última

iy/A

128

10 desde abajo

¿T

[ y / *] ‘K

136

8 desde arriba

R