Lgica 1 (2014-1)

Mtro. Cristian A. Gutirrez Grupo de Facebook: www.facebook.com/groups/421458981307158/ Tarea 8 Fecha de entrega: martes 15 de octubre. Nombre:___________________________________________________________________________
INSTRUCCIONES: La tarea debe estar completamente resuelta, tiene que ser contestada a computadora, tiene que ser entregada el da que se indica arriba y tiene que estar engrapada.

1. Considera la siguiente afirmacin: La lgica depende de la cultura y/o de la estructura biolgica de los individuos. Da un argumento a favor de esta afirmacin y uno en contra (se espera que sean buenos argumentos) los argumentos pueden ser del tipo que quieras, indica de qu tipo de argumento se trata (1 Punto por cada Argumento, en total 2 puntos) Argumento a favor: __________________________________________________________________ ___________________________________________________________________________________ ___________________________________________________________________________________ ___________________________________________________________________________________ ___________________________________________________________________________________ ___________________________________________________________________________________ ___________________________________________________________________________________ ___________________________________________________________________________________ Tipo de argumento:___________________________________________________________________ Argumento en contra:_________________________________________________________________ ___________________________________________________________________________________ ___________________________________________________________________________________ ___________________________________________________________________________________ ___________________________________________________________________________________ ___________________________________________________________________________________ ___________________________________________________________________________________ ___________________________________________________________________________________ Tipo de argumento:___________________________________________________________________

2. Contesta las siguientes preguntas(1/4 punto cada una, para un total de 5 puntos):
I. Elige la mejor simbolizacin para la siguiente oracin: Pedro dice que apoya a los movimientos sociales, pero nunca hace nada para ayudarlos. Diccionario: P: Pedro dice que apoya a los movimientos sociales, P: Pedro hace algo para apoyar a los movimientos sociales. a) (P P) b) (P ~P) c) ~(P P) d) (~P P) II. Elige la mejor simbolizacin para la siguiente oracin: Pedro no dice que apoya a los movimientos sociales, pero hace algo para ayudarlos. Diccionario: P: Pedro dice que apoya a los movimientos sociales, P: Pedro hace algo para apoyar a los movimientos sociales. a) ~(P P) b) (~P P) c) (~P ~P) d) (P ~P) III. Elige la mejor simbolizacin para la siguiente oracin: No es cierto que: Pedro dice que apoya a los movimientos sociales, pero nunca hace nada para ayudarlos. Diccionario: P: Pedro dice que apoya a los movimientos sociales, P: Pedro hace algo para apoyar a los movimientos sociales. a) ~(P P) b) ~(~P P) c) (~P P) d) ~(P ~P) IV. Elige la mejor simbolizacin para la siguiente oracin: Pedro dice que no apoya a los movimientos sociales, pero hace algo para ayudarlos. Diccionario: P: Pedro dice no que apoya a los movimientos sociales, P: Pedro hace algo para apoyar a los movimientos sociales. a) (P P) b) (~P P) c) (~P ~P) d) (P ~P) V. Elige la mejor simbolizacin para la siguiente oracin: Jos cree que los seres humanos son malos por naturaleza, pero tambin cree que el mundo puede ser un lugar mejor. Diccionario: P: Jos cree que los seres humanos son malos por naturaleza, P: Jos cree que el mundo puede ser un lugar mejor. a) (P P) b) (~P P) c) (~P ~P) d) (P ~P)

VI . Elige la mejor simbolizacin para la siguiente oracin: Jos ni cree que los seres humanos son malos por naturaleza, ni cree que el mundo puede ser un lugar mejor. Diccionario: P: Jos cree que los seres humanos son malos por naturaleza, P: Jos cree que el mundo puede ser un lugar mejor. a) ~(~P ~P) b) ~(P P) c) (~P ~P) d) (P P) VII. Elige la mejor simbolizacin para la siguiente oracin: Jos cree que los seres humanos no son malos por naturaleza, sin embargo, cree que el mundo no puede ser un lugar mejor. Diccionario: P: Jos cree que los seres humanos no son malos por naturaleza, P: Jos cree que el mundo no puede ser un lugar mejor. a) ~(~P ~P) b) ~(P P) c) (~P ~P) d) (P P) VIII. Elige la mejor simbolizacin para la siguiente oracin: Jos ni cree que los seres humanos no son malos por naturaleza, ni cree que el mundo no puede ser un lugar mejor. Diccionario: P: Jos cree que los seres humanos no son malos por naturaleza, P: Jos cree que el mundo no puede ser un lugar mejor. a) ~(P P) b) ~(~P ~P) c) (~P ~P) d) (P P) IX. Elige la mejor simbolizacin para la siguiente oracin: Slo si Jos cree que los seres humanos no son malos por naturaleza, cree que el mundo puede ser un lugar mejor. Diccionario: P: Jos cree que los seres humanos no son malos por naturaleza, P: Jos cree que el mundo puede ser un lugar mejor. a) (P P) b) (P' ~P) c) (P ~P) d) (P' P) X. Elige la mejor simbolizacin para la siguiente oracin: Si Jos cree que los seres humanos no son malos por naturaleza, entonces no cree que el mundo no puede ser un lugar mejor. Diccionario: P: Jos cree que los seres humanos no son malos por naturaleza, P: Jos cree que el mundo no puede ser un lugar mejor. a) (P P) b) (P ~P) c) (P' P) d) (~P' P)

XI. Elige la mejor simbolizacin para la siguiente oracin: Si el mundo no es finito, entonces es posible que sea infinito. Diccionario: P: El mundo es finito, P: Es posible que el mundo sea infinito. a) ~(P P) b) (~P ~P) c) (~P P) d) (P ~P) XII. Elige la mejor simbolizacin para la siguiente oracin: Slo si no es posible que el mundo sea infinito, el mundo es finito. Diccionario: P: Es posible que le mundo sea infinito, P: El mundo es finito. a) (P' ~P) b) (~P P) c) (~P P) d) ~(P P) XIII. Elige la mejor simbolizacin para la siguiente oracin: Es suficiente que sea posible que Dios exista, para que de hecho Dios Exista. Pero Dios existe, slo si es necesario que Dios exista. Diccionario: P: Es posible que Dios exista, P': Dios existe, P'': Es necesario que Dios exista. a) (P' P) (P P'') b) (P' P) (P'' P') c) (P P') (P' P'') d) (P P') (P'' P') XIV. Elige la mejor simbolizacin para la siguiente oracin: Slo si la mente no es reducible a estados cerebrales y existen los qualia, el dualismo de la mente es cierto. Diccionario: P: La mente es reducible a estados cerebrales, P': Existen los qualia, P'': El dualismo de la mente es cierto. a) (~P P') P'' b) P'' (~P P') c) (~P P') P'' d) P (P' P'') XV. Elige la mejor simbolizacin para la siguiente oracin: Si es necesario que Dios exista, entonces si Arnulfo cree que existe, es racional. Diccionario: P: Es necesario que Dios exista, P': Arnulfo cree que Dios existe, P'': Arnulfo es racional. a) (P P') P'' b) P (P' P'') c) P (P' P'') d) P'' (P P')

XVI. Elige la mejor simbolizacin para la siguiente oracin: Juan demostrar que Dios no existe y lograr convencer a todos de ello, incluso si su familia lo odia. Diccionario: P: Juan demostrar que Dios no existe, P': Juan lograr convencer a todos de que Dios no existe, P'': La familia de Juan odia a Juan. a) P P' b) P'' (P P') c) ~P'' (P P') d) (P P') P'' XVII. Elige la mejor simbolizacin para la siguiente oracin: Si es cierto que el tiempo se explica en trminos de pasado, presente y futuro, entonces el tiempo no es real; afortunadamente, no es cierto que el tiempo se explica en trminos de pasado, presente y futuro. Diccionario: P: El tiempo se explica en trminos de pasado, presente y futuro, P: El tiempo es real. a) (P ~P) ~P b) (P P) ~P c) ~P d) (P ~P) ~P XVIII. Elige la mejor simbolizacin para la siguiente oracin: Slo si el naturalismo es la metodologa ms adecuada en filosofa, la lgica no es normativa o su normatividad depende de la estructura biolgica de los seres humanos. Diccionario: P: El naturalismo es la metodologa ms adecuada en filosofa. P': La lgica es normativa. P'': la normatividad de la lgica depende de la estructura biolgica de los seres humanos . a) (P ~P') P'' b) P (~P' P'') c) P'' (P ~P') d) (~P' P'') P XIX. Elige la mejor simbolizacin para la siguiente oracin: Javier ser muy famoso de viejo, a menos que muera joven. Diccionario: P: Javier ser muy famoso de viejo, P': Javier morir joven. a) P ~P' b) P ~P' c) P P' d) P P' XX. Elige la mejor simbolizacin para la siguiente oracin: La vida poltica del pas es nefasta y es condicin necesaria que los actores polticos se preparen mejor para que la vida poltica del pas mejor en el futuro. Desafortunadamente, nadie tiene la intencin de mejorar la preparacin de los actores polticos. Diccionario: P: La vida poltica del pas es nefasta, P': Los actores polticos se preparan mejor, P'': La vida poltica del pas ser mejor en el futuro, P''': Nadie tiene la intencin de mejorar la preparacin de los actores polticos. a) (P (P' P'')) P''' b) (P (P'' P')) P''' c) (P (P'' P')) P''' d) (P (P' P'')) P'''

3. Formaliza las siguientes oraciones, incluye el diccionario en cada caso. (1/4 punto cada una, para un total de 2 puntos): a) Juan cree que Platn es mejor filsofo que Aristteles. Diccionario: P: Juan cree que Platn es mejor filsofo que Aristteles. Formalizacin: P b) Juan no cree que Platn es mejor filsofo que Aristteles. Diccionario: P: Juan cree que Platn es mejor filsofo que Aristteles. Formalizacin: ~P c) Juan cree que Platn no es mejor filsofo que Aristteles. Diccionario: P: Juan cree que Platn no es mejor filsofo que Aristteles. Formalizacin: P d) Juan no cree que Platn no es mejor filsofo que Aristteles. Diccionario: P: Juan cree que Platn no es mejor filsofo que Aristteles. Formalizacin: ~P e) Juan cree que Platn es mejor filsofo que Aristteles y Scrates es mejor filsofo que Platn. Diccionario: P: Juan cree que Platn es mejor filsofo que Aristteles. Q: Juan cree que Scrates es mejor filsofo que Platn. Formalizacin: PQ f) Juan no cree que Platn es mejor filsofo que Aristteles y que Scrates es mejor filsofo que Platn. Interpretacin 1: Diccionario: P: Juan cree que Platn es mejor filsofo que Aristteles. Q: Juan cree que Scrates es mejor filsofo que Platn. Formalizacin: ~(P Q) Interpretacin 2: Diccionario: P: Juan cree que Platn es mejor filsofo que Aristteles. Q: Juan cree que Scrates es mejor filsofo que Platn. Formalizacin: ~P ~Q

g) Juan cree que no es cierto que: Platn es mejor filsofo que Aristteles y Scrates es mejor filsofo que Platn. Diccionario: P: Juan cree que no es cierto que: Platn es mejor filsofo que Aristteles y Scrates es mejor filsofo que Platn. Formalizacin: P h) Juan cree que o Platn es mejor filsofo que Aristteles o Scrates es mejor filsofo que Platn. Diccionario: P: Juan cree que o Platn es mejor filsofo que Aristteles o Scrates es mejor filsofo que Platn. Formalizacin: P 4. Formaliza el siguiente argumento, tienes que incluir diccionario, numerar las premisas e indicar claramente cul es la conclusin. (1 punto) Si ni la serie A ni la serie B pueden dar cuenta del cambio, entonces el tiempo no es real. La serie B no da cuenta del cambio. La serie A nos lleva a contradicciones y no da cuenta del cambio. Por lo tanto, el tiempo no es real. Interpretacin 1 Diccionario: P: La serie A puede dar cuenta del cambio, Q: La serie B puede dar cuenta del cambio, R: El tiempo es real, S: La serie A nos lleva a contradicciones. Formalizacin: 1. (~P ~Q) ~R 2. ~Q 3. S ~P / ~R Interpretacin 2 Diccionario: P: La serie A puede dar cuenta del cambio, Q: La serie B puede dar cuenta del cambio, R: El tiempo es real, S: La serie A nos lleva a contradicciones, T: La serie A da cuenta del cambio, U: La serie B da cuenta del cambio. Formalizacin: 4. (~P ~Q) ~R 5. ~U 6. S ~T / ~R La diferencia radica en que una interpretacin no distingue en poder dar cuenta del cambio y dar cuenta del cambio. 5. Bonus para oos ( punto): Qu proposicin es equivalente a la negacin de: Si yo soy mortal
entonces, no soy eterno o no soy una deidad? a) No soy mortal o no soy eterno o no soy una deidad. b) No soy mortal y no soy eterno y no soy una deidad. c) Soy mortal o soy eterno o soy una deidad. d) Soy mortal y soy eterno y soy una deidad. e) Si soy eterno y soy una deidad, entonces no soy mortal.

6. Ejercicio para medio punto extra: Presentar un argumento filosfico deductivo, indicar de dnde fue extrado, indicar de manera clara cules son las premisas y cul es la conclusin. ( punto para el examen 4)