[escepticos] RE De la existencia (Pepet)

[Pepe Arlandis]

El 2 de agosto de 2008 4:35, Jose Ramón Brox<ambroxius en terra.es>escribió:

> Pepet:
>
> >Aplico la siguiente definición de igualdad: "Diremos que dos objetos A y B
> >son iguales  si para toda proposicion p, p(A) tiene el mismo valor de
> verdad
> >que p(B)
>
> Por curiosidad, ¿cómo generalizarías la definición para incluir
> proposiciones no
> decidibles? ¿Qué harías si los valores de verdad de p(A) y de p(B) no
> pudieran ser
> determinados? ¿Y si p(A) fuera indecidible pero no p(B), y para el resto de
> proposiciones
> q se tuviera que q(A)=q(B)?
>
> Saludos intrigantes
> Jose
>
¿Qué harías si los valores de verdad de p(A) y de p(B) no pudieran ser
determinados? Pues no podría afirmar si A y B son iguales o no lo son.

>
> ¿Y si p(A) fuera indecidible pero no p(B), y para el resto de proposiciones
> q se tuviera que q(A)=q(B)? Pues habría una proposición la cual los valores
> de verdad no serían iguales luego no serían al mismo objeto.


saludos pepet

>
> Escepticos mailing list
> Escepticos en dis.ulpgc.es
> http://correo.dis.ulpgc.es/mailman/listinfo/escepticos
>
>