1

UNIVERSIDAD TECNOLGICA DE PEREIRA FACULTAD DE BELLAS ARTES Y HUMANIDADES PROGRAMA DE LICENCIATURA EN FILOSOFA LGICA CUESTIONARIO-TALLER DE REPASO. I. Lleve o traduzca las siguientes expresiones a su forma lgica exacta (A, E, I, O): a. No hay agua potable. b. Los filsofos mienten demasiado. c. Salvo en unos pocos casos, ningn cido es capaz de disolver el oro. d. El poltico falleci. e. El mundo social est transido de eventos bochornosos. f. Hay filosofas que ms parecen ayudas de cmara de la moral. g. No todas las hiptesis de la cuntica han sido comprobadas. h. Cada miembro de la clase de los diputados es un ciudadano. i. Concurrieron al evento menos expositores de los previstos. j. El hroe domin a los Lotfagos. II. A. Si la proposicin Toda moral es una psicologa del error es verdadera, determine, con base en las reglas de inferencia inmediata, los valores de verdad de las siguientes expresiones (y establezca el procedimiento mediante el cual han sido derivadas): Ninguna moral es una psicologa de la verdad. Ninguna psicologa del error es moral. El asociacionismo es una psicologa del error, pero no es una forma de moral. Toda psicologa del error es una moral. Toda psicologa de la verdad es una no moral. No hay moral que no sea una psicologa del error. El estoicismo es una moral pero no es una psicologa del error.

B. Si Todos los cientficos son filsofos es una proposicin verdadera, qu puede inferirse acerca de la verdad o falsedad de las siguientes proposiciones? 1. Ningn no-filsofo es cientifico.

2. Algunos no-filsofos no son no-cientfcos. 3. Todos los no-cientficos son no-filsofos. 4. Ningn cientfico es no-filsofo. 5. Ningn no-cientitico es no-filsofo. 6. Todos los filsofos son cientficos. 7. Algunos no-filsofos son cientfcos. 8. Algunos no-filsofos son no-cientficos. 9. Algunos cientficos no son filsofos. 10. Ningn filsofo es no-cientifico. III. Establezca MODO y FIGURA de los siguientes silogismos: I, Ningn poltico es un mrtir, pues ningn poltico es idealista y todos los mrtires son idealistas. 2, Ningn hombre de accin es un filsofo puro y todos los soldados son hombres de accin; luego, ningn filsofo puro es soldado. 3. Algunas ideas son cosas explosivas, pues algunas ideas son armas y algunas armas son cosas explosvas. 4, Ningn criminal es miembro de una iglesia; todos los criminales son parsitos; por consiguiente, ningn miembro de una iglesia es un parsito, 5. Ningn submarino es un barco de recreo, pues todos los submarinos son barcos de guerra y ningn barco de recreo es un barco de guerra. 6. Todos los criminales son personas inspidas; luego, ninguna persona inspida fue explorador, pues ningn explorador fue criminal. 7. Algunos msicos no son fanticos del bisbol, pero todos los ciudadanos son fanticos del bisbol; luego, algunos msicos no son ciudadanos. 8. Algunos metodistas no son catlicos, pues ningn protestante es catlico y todos los meto distas son protestantes. 9. Algunos polticos activos son fervorosos liberales; luego, algunos dirigen les obreros son polticos activos, pues todos los dirigentes obreros son fervorosos liberales. 10. Algunos fervorosos liberales son ricos; luego, algunos dirigentes obreros son ricos, pues todos los liberales fervorosos son dirigentes obreros. IV. Determine, mediante el uso de los diagramas de Venn-Euler, la validez o invalidez de las siguientes formas silogsticas: a. b. c. d. e. EAE-3 AOO-1 IAI-4 EIO-2 AII-1

V. Establecer, mediante el uso de las tablas de verdad, si las siguientes expresiones simblicas son tautologas, contradicciones o contingencias: 1. (p q) [~(~p v q)] 2. (A.B) C 3. ~(A.B) (~A v ~B) VI. Exprese simblicamente, por medio de cuantificadores, de conectores y de literales, estas proposiciones: 1. Los leones son carnvoros. 2. La oveja no es carnvora. 3. Muchos corazones valientes duermen en las profundidades. 4. Nada importante es tambin fcil. 5. Conocerla es amarla. 6. Nada que valga la pena tener puede obtenerse fcilmente. 7. Si la discordia penetra en una casa, sta se disgrega. 8. Aquel que no est conmigo est contra m. 9. No debe comprarse ninguna vestimenta innecesaria, y si un chaleco es innecesario, pues no debe comprarse ningn chaleco. 10. Una respuesta suave disip la ira. 11. Bendito sea aquel que respeta al pobre. 12. Solamente los estudiantes tienen acceso por la puerta lateral. 13. Heidegger habita la casa del Ser, y Sartre la (casa) de al lado. 14. Los estudiantes solamente pueden usar la puerta lateral. 15. La mayora de los candidatos no tienen ninguna probabilidad de ser elegido". 16. Solo se admiten socios. 17. No todo lo que brilla es oro. 19. El que renuncia a algo cierto por algo incierto no es una persona juiciosa. 20. Todo lo humano degenera, si no avanza. 21. Los hechos son testarudos. 22. Los errores de opinin pueden ser tolerados si se deja a la razn la libertad de combatirlos. 23. Solo se burla de las cicatrices aquel que nunca ha sido herido. 24. Muy pocos son los que han escalado el Monte Everest. 25. Un hombre envidioso no se satisface fcilmente. 26. Nada secreto dejar de hacerse pblico. 27. Cada uno debe soportar su propia carga. 28. Sea lo que fuere lo que una persona siembre, eso mismo ser lo que coseche. 29. Al menos un testigo dijo la verdad. 30. Si los reyes son tiranos por prudencia, entonces los sbditos son rebeldes por principio.

VI. Demuestre la validez de los siguientes argumentos, mediante la aplicacin de las reglas de inferencia: A. 1) ( A v B) ( E . D) 2) (E v F ) [ A ( D E )] 3) A . P /.. D E Simpl. Adic. MP Simpl. Adic. MP MP B. 1. J ( E . R) 2. (E . R) ( Q V F) 3. P. [~(Q v F)] / .. ~J Simpl. MT MT C. 1. (Z .B) v H 2. (K v F) . ~H 3. (Z . B) ( F T) 4. T / .. F Simpl. SD MP SH

D. 1. D ( I v N) 2. ( I v N ) R 3. ~ R v F 4. ~ F . W/ .. ~ D v L Simpl. SD MT MT

Adic. E. 1. G ( Y C) 2. Y . ~ Z 3. ( G v Z) . (G v Y) / Simpl. Simpl. SD MP Simpl. MP F. 1. A B

2. 3. 4. 5. BC CD ~D A v E / :. E

.. C

G. 1. A B 2. A v C 3. C D 4. (B v D) ( F)

5. (A D) . (F G) / :. E G

VII. Represente simblicamente el siguiente razonamiento, y demuestre su validez o su carcter tautolgico mediante la aplicacin de las reglas de implicacin: 1. El mundo es finito o slo percibimos lo finito 2. (Pero) si slo percibimos lo finito o nicamente lo finito se presenta como objeto de la experiencia, entonces el mundo es cuantificable. 3. (Ahora bien), si el mundo es cuantificable o finito, entonces tiene un comienzo y un trmino. 4. (Sin embargo), (y aunque) no sea el caso de que el mundo sea finito, podemos concluir que el mundo tiene un comienzo y un trmino.