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

[Niebla <niebla@...>]

Rafael =?iso-8859-1?Q?Budr=EDa?= escribió:

>  Pues ya ves, yo creo que la lógica rige el mundo. Además, resulta que
> la lógica es formalizable.

Pues yo creo que no. ;)

Ahora en serio, la lógica no es formalizable; más bien utiliza reglas de
inferencia y axiomas, los cuales están formalizados. Para utilizar la
lógica (correctamente, se entiende, no el término que se utiliza por
ahí) necesitamos un paso previo que es la "estandarización" (ya que
parece que no te gusta formalización) de las premisas. Por cierto, el
otro día en el irc dije que para hacer lógica se necesita inteligencia
(¿te acuerdas, Pepet?). Ante la objeción de que los ordenadores pueden
realizar deducciones, demostraciones,etc. basándose en las reglas de
inferencia se me olvidó comentar que hay una cosa que todabvía, creo, no
saben hacer los ordenadores: formalizar un problema. Por eso dije yo lo
de la inteligencia.

 Y para que veas lo subjetivo de esta discusión ;) el ejemplo que tú has
puesto me reafirma en mi posición: el hecho de que no haya una sola
lógica sino varias, dependiendo del objeto de estudios, indica más una
adaptación de nuestra manera de entender las cosas a lo que observamos.
A fin de cuentas, cuando utilizamos otra lógica en los fenómenos
cuánticos estamos adaptando nuestra forma de razonar a los mismos. Sin
razonamiento no tiene razón de ser la lógica.

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