Re: [escepticos] =?x-user-defined?q?Interpretaci=F3n?= de Copenhage

[Niebla <niebla@...>]

Rafael =?iso-8859-1?Q?Budr=EDa?= escribi�:
> 
> Niebla escribi�:
> 
> > Ahora en serio, la l�gica no es formalizable; m�s bien utiliza reglas de
> > inferencia y axiomas, los cuales est�n formalizados.
> 
>  De acuerdo, m�s a mi favor.

No veo el por qu�. La l�gica no es formalizable mediante la l�gica
(ning�n sistema puede describirse a s� mismo, si no recuerdo mal), se
necesita un metalenguaje para describir el lenguaje objeto. Pero sigo
sin ver por qu� te da la raz�n (ni a mi, ojo).
 
>  No te preocupes que llegar�n a hacerlo. De todos modos no entiendo muy
> bien qu� quieres decir con que los ordenadores no saben formalizar un
> problema. En principio, creo que s�, lo que pasa es que nosotros lo
> hacemos mucho mejor. Y lo hacemos mejor s�lo en general.
[...]
> que yo creo es que la capacidad de formalizar un problema es cuesti�n de
> reglas de pensamiento adaptables y complejas, no importa que medie un
> lenguaje de programaci�n, con s�mbolos y reglas de inferencia
> formalizadas, para lograrlo.

A un ordenador se le da todo mascado, s�lo tiene que calcular. Para que
me atreva a afirmar que un ordenador sabe formalizar un problema, ser�
necesario que �ste sea capaz de generar nuevos algoritmos ante nuevas
experiencias.

>  Es curioso pero creo que a la l�gica que tiene el mundo le pasa como a
> las cosas, que no hace falta que nadie las piense para que existan. A mi
> modo de ver, nos vemos obligados a usar la l�gica si queremos entender
> el mundo. Si resulta que la l�gica que hay que aplicar depende del
> �mbito en el que la usamos (el macr�sc�pico o el micr�sc�pico) la
> condici�n m�nima ser� que la l�gica depende tanto de c�mo sea el mundo
> como de c�mo sea la mente humana. Yo soy m�s restrictivo y creo que
> simplemente ocurre que el camino de la evoluci�n nos ha llevado a mosno
> esteparios como nosotros al "descubrimiento" (o posibilidad de uso) de
> la l�gica.
 
>  No veo subjetiva la discusi�n. M�s bien es un tema dif�cil.

Sobre todo porque creo que no seamos capaces nunca de discernir si la
l�gica es algo impl�cito en el Universo o no. Sin embargo (me estoy
metiendo en terrenos resbaladizos) s� creo que toda l�gica que se
desarrolle se basar� en el causa-efecto (Quietos todos, no me refiero a
un universo causal) en el sentido que toda acci�n implica (Modus Ponens)
una consecuencia.

>  Un saludo.

Un saludete. 
__________________________________________________________ 
 __________
|=========/        El tiempo previsto para hoy: 
  |=====_/              Niebla en toda Espa�a
  |==__/
   \/