A lo largo del estudio de la inferencia lógica se ha examinado la forma lógica o estructura de proposiciones moleculares, pero no se ha analizado la estructura lógica de las proposiciones atómicas. Nos podemos plantear la siguiente cuestión: «Las reglas de inferencia hasta ahora consideradas, ¿permiten hacer todas las inferencias y deducir todas las conclusiones que se pueden pensar como válidas?». No es difícil encontrar ejemplos que contesten a esta cuestión con un «no». Consideremos el razonamiento siguiente: Premisa: Todos los pájaros son animales. Premisa: Todos los ruiseñores son pájaros. Conclusión: Todos los ruiseñores son animales. Parece, efectivamente, ser un razonamiento correcto. Se puede escribir en la forma general siguiente: Premisa: Todos los B son A. Premisa: Todos los R son B. Conclusión: Todos los R son A. Sean A, B y R objetos cualesquiera libremente elegidos. Siempre que las premisas sean ciertas se encontrará una conclusión cierta. Por otra parte se puede simbolizar este razonamiento como se ha hecho en capítulos anteriores. Sea P = «Todos los pájaros son animales» Q = «Todos los ruiseñores son pájaros» p _ «Todos los ruiseñores son animales».
Subscribe by Email
Follow Updates Articles from This Blog via Email
No Comments