Foro SofosAgora

Foro abierto a los intereses de sus usuarios. Debate, aprende y diviértete.
Fecha actual 26 Abr 2018, 04:00

Todos los horarios son UTC + 1 hora [ DST ]




Nuevo tema Responder al tema  [ 56 mensajes ]  Ir a página Anterior  1, 2, 3, 4, 5, 6
Autor Mensaje
 Asunto: Re: ¿Cómo definir formalmente nuestras ideas?
NotaPublicado: 05 Oct 2015, 17:15 
Desconectado
Avatar de Usuario

Registrado: 10 Jun 2011, 21:52
Mensajes: 4298
Nil escribió:
La teoría de la evolución no tiene estas características, y en ese sentido es un poco "blanda", sin embargo, es posible verificar que funciona, al menos como teoría (independientemente de que suceda en la realidad). Esa comprobación se hace precisamente con una formalización de una aproximación (o simplificación) a la teoría, que permite su implementación. Estas simplificaciones se suelen hacer sin pérdida de generalidad, en este caso puede no ser así (p.ej: epigenética), pero es lo que hay.


Mira los dos links.

Personalmente, creo que los lenguajes de programación (o el pseudocódigo como alternativa más abstracta) permiten formalizar algunas ideas con bastante facilidad, puesto que dan una descripción formal (de procesos precisamente) y hay chavales que, sin ser un prodigio, a muy temprana edad ya programan alguna cosilla, y no me los imagino escribiendo teoremas de lógica o matemáticas, ni mucho menos me los imagino definiendo su propio lenguaje formal (eso sí sería ser un prodigio).

Pero ojo, que no digo que sea fácil.


_________________
Spoiler: show
Imagen


Arriba
 Perfil  
Responder citando  
 Asunto: Re: ¿Cómo definir formalmente nuestras ideas?
NotaPublicado: 06 Oct 2015, 00:02 
Desconectado
Avatar de Usuario

Registrado: 20 Sep 2015, 22:59
Mensajes: 994
Citar:
Charleston, haces una descripción que me lleva a volver a pensar que hablabais de un lenguaje concreto.


Yo hago una versión breve de lo que se entiende por lenguaje formal (cualquiera).
El nivel o grado de formalización puede ser amplio, dependiendo del campo que haya que aplicar dicha formalización. Es decir, no se necesita formalizar "todo", sólo lo que resulte operante para el futuro (o se suponga como tal).

Para un punto inicial o de partida, es sencillo ordenar las premisas que se desean que se cumplan en el sistema. Por ejemplo, los esquimales tienen más de una docena de nombres para la 'nieve' y los beduínos del desierto, más de veinte para la 'arena'. En su sistema lingüístico, es importante reconocer las diferencias de la 'nieve' o 'arena'. Es decir, hay que reconocer el sistema que se quiere formalizar.

Si tomásemos la evolución como ejemplo y cifráramos ésta en procesos de cambio, tendríamos que definir (hacer premisas) de todos los procesos de cambio que cabrían en el sistema.


Arriba
 Perfil  
Responder citando  
 Asunto: Re: ¿Cómo definir formalmente nuestras ideas?
NotaPublicado: 06 Oct 2015, 16:11 
Desconectado
Avatar de Usuario

Registrado: 26 May 2012, 17:00
Mensajes: 1460
Charleston escribió:
Si tomásemos la evolución como ejemplo y cifráramos ésta en procesos de cambio, tendríamos que definir (hacer premisas) de todos los procesos de cambio que cabrían en el sistema.

¿Te refieres a cada una de las mutaciones que se han dado en toda la historia de la vida? ¿Quieres decir que dicha teoría no admite formalización?

Nil escribió:
Mira los dos links.

Siempre miro tus links, pero prefiero cuando contestas con tus palabras. Sueles poner demasiados y demasiadas veces en inglés y así me resulta más confuso entenderte. en este caso no veo la relación con la cuetión.

De todas formas la pregunta permite una respuesta sencilla ¿Qué lenguaje utilizarías para describir formalmente la teoría de la evolución? ¿Un lenguaje de programación? Si es así ¿cuál me recomiendas?

Resumiendo y recapitulando, Nil y Charleston, ambos habéis mencionado como punto débil de mis argumentos la falta de formalización. Todavía no sé exactamente como hacer mi propuesta más formal.

Me siento un poco como un saltador de altura al que un veterano le comenta que no está ejecutando correctamente el salto; le pide entonces consejo y este contesta:
-Por supuesto, te daré un consejo: salta más alto.
-Bueno, igual no he hecho bien la pregunta. ¿Podrías darme algún consejo para conseguir saltar más alto?
-Claro, tienes que depurar tu técnica, haciendo efectivas las modificaciones necesarias para que el resultado sea una mayor altura en el salto.

A ver. La respuesta que espero es: empieza la carrera un poco más adelante para acabar más cerca del obstáculo, agáchate un poco más antes de saltar, gira un poco el pie izquierdo hacia adentro en el último momento, levanta más el brazo derecho…

Como he dicho, expresar la teoría de la evolución (biológica) en ese lenguaje que entendéis por formal sería una fabulosa respuesta-ejemplo. Si os parece que “El origen de las especies” es bastante formal, fabuloso, porque lo he leído y podría considerarme respondido por completo con ello. Y si Darwin no se expresó formalmente pero por algún otro motivo lo hizo de forma válida, perfecto. Porque entonces tal vez no sea la formalización el único camino para hacer valida la presentación de la TEG.

Perdonad mi torpeza pero si me estáis respondiendo no lo pillo. Os agradecería que intentarais hacerlo de la forma que sugiero: tomando la teoría de Darwin como ejemplo.

_________________
Aquí tienes la última edición de la T.E.G.


Arriba
 Perfil  
Responder citando  
 Asunto: Re: ¿Cómo definir formalmente nuestras ideas?
NotaPublicado: 06 Oct 2015, 17:51 
Desconectado
Avatar de Usuario

Registrado: 20 Sep 2015, 22:59
Mensajes: 994
Citar:
¿Te refieres a cada una de las mutaciones que se han dado en toda la historia de la vida? ¿Quieres decir que dicha teoría no admite formalización?


No. Los cambios (o mutaciones, o procesos) admiten una división:
- cambios materiales
- cambios históricos
- cambios lingüísticos
- Etcétera.

Es decir, los cambios se pueden agrupar en clases, cuanto más excluyentes entre sí mejor. Es una manera de formalizar. Presentar las cosas de forma excluyente (o existe, o no existe -o perece-), es el modo más sencillo de empezar a realizar premisas y a elaborar un sistema formal. No se trata de un método dialéctico, sino de un método de descarte lógico y ontológico. Aquí no se llega a la "tesis" mediante el enfrentamiento de contrarios u opuestos. Aquí se acepta una de las premisas porque su contraria es imposible. O se existe o no se existe, pero no ambas cosas a la vez. No se admite dialéctica en tal cuestión a no ser que seas un fantasma, zombi o algo parecido (paranormal, en cualquier caso y, por lo tanto, que lo den). Si te viene alguien a decir algo del principio de incertidumbre o de indeterminación de Heissenberg, se refiere a la métrica de una partícula: si calculamos su velocidad más indeterminamos su posición (y viceversa). Pero éso no es extrapolable a lo que te estoy diciendo.


Arriba
 Perfil  
Responder citando  
 Asunto: Re: ¿Cómo definir formalmente nuestras ideas?
NotaPublicado: 18 Oct 2015, 04:54 
Desconectado
Avatar de Usuario

Registrado: 20 Sep 2015, 22:59
Mensajes: 994
Citar:
Me hace gracia porque eso es una lógica aristotélica abstraída de lo que importa realmente (el material)

O soy muy gracioso, o tengo la gracia en el culo; sin embargo esa es la formalización de los Principia de Whitehead y Russell


Arriba
 Perfil  
Responder citando  
 Asunto: Re: ¿Cómo definir formalmente nuestras ideas?
NotaPublicado: 18 Oct 2015, 06:15 
Desconectado
Avatar de Usuario

Registrado: 10 Ago 2011, 20:39
Mensajes: 8050
https://es.wikipedia.org/wiki/Lenguaje_formalizado

Si entendí bien, y es lo que dijo Nil también, la idea es evitar la ambiguedad a la vez que se expresa algo.

Entonces ¿cómo evitar la ambiguedad a la vez que se expresa algo?
Nota: ¿Por qué digo "a la vez que se expresa algo"? Porque evitar la ambiguedad es fácil: Callando. Pero claro esa no es la idea. Moraleja: Evitar la ambiguedad está relacionado con saber detectarla. Y eso está relacionado con saber formas en que "el Diablo" podría cagarte si te cumpliera un deseo, "ten cuidado con lo que deseas", formula bien...
http://worldsr.secrets-stories.com/t156 ... de-otro-xd

Volviendo a la cuestión:
¿Cómo evitar la ambiguedad a la vez que se expresa algo?

En principio, practicando:
Citar:
¿Cómo quieres que vaya de noche a verte si el perro de tu padre sale a morderme?

La frase anterior sólo en el contexto pragmático puede tener un significado determinado; si no es el caso que el autor de la expresión, irónicamente, esté jugando precisamente con la equivocidad y anfibología que da un doble sentido a la expresión en un juego meramente retórico.
Arreglemos eso. Es así:
¿Cómo quieres que vaya de noche a verte si el perro, mascota de tu padre, sale a morderme?
O:
¿Cómo quieres que vaya de noche a verte si tu padre sale a lastimarme?
O:
Quien sabe.

¿Qué hicimos? Básicamente agregamos la palabra mascota por ahí, en un caso, y en otro intentamos quitar las metáforas. Para mí fue difícil, pensé en propiedad pero queda feo (y puede referirse a una personalidad del padre, propiedad de él también) y poseído pero también es ambiguo. Podría ser "al que cuida", "al que alimenta"...

Ahora ¿qué pasa si no tenemos las expresiones para zafar? Bueno, creo que Nil plantea crear un lenguaje, o algo por el estilo.

Me gustaría poder decir más cosas útiles... ejem, pero que no se me cague el deseo xD

_________________
Si no puedes hacerlo, intenta primero hacer algo más simple aunque similar.


Arriba
 Perfil  
Responder citando  
Mostrar mensajes previos:  Ordenar por  
Nuevo tema Responder al tema  [ 56 mensajes ]  Ir a página Anterior  1, 2, 3, 4, 5, 6

Todos los horarios son UTC + 1 hora [ DST ]


¿Quién está conectado?

Usuarios navegando por este Foro: No hay usuarios registrados visitando el Foro y 1 invitado


No puede abrir nuevos temas en este Foro
No puede responder a temas en este Foro
No puede editar sus mensajes en este Foro
No puede borrar sus mensajes en este Foro

Buscar:
Saltar a:  
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group
Traducción al español por Huan Manwë para phpbb-es.com
phpBB SEO