tag:blogger.com,1999:blog-5918791314866668362.post6572719461301702845..comments2023-11-02T10:39:14.940+01:00Comments on A bordo del Otto Neurath: ALGO MÁS QUE PALABRAS: LA PARADOJA DE GRELLING-NELSONJesús P. Zamora Bonillahttp://www.blogger.com/profile/07054631110263426886noreply@blogger.comBlogger32125tag:blogger.com,1999:blog-5918791314866668362.post-69572517477918972382009-12-19T14:52:52.926+01:002009-12-19T14:52:52.926+01:00Jesús:
Estamos en otra versión de la paradoja de ...Jesús:<br /><br />Estamos en otra versión de la paradoja de Russell del barbero que afeita a los que no se afeitan a sí mismos = adjetivo heterológico.<br /><br />Una barbero que se afeita a sí mismo, si se afeita se afeita y si no se afeita, no. Es una tautología.<br /><br />"Autológico" es autológico sí y sólo si es autológico. Si "autológico" no es autológico, "autológico" no es autológico.<br /><br />Un barbero que afeita a todos los que no se afeitan a sí mismo es una contradicción.<br /><br />"Heterológico" es autológico implica que es heterológico, y esto, que es autológico.<br /><br /><br /><br />"los números se definen como conjuntos, algunos de cuyos elementos -o todos- son también conjuntos"<br /><br />Es que no hay inconveniente en que un conjunto tenga elementos que sean conjuntos. Ya puse el ejemplo del conjunto de las docenas: docenas famosas, como los meses del año, los signos del zodiaco, los apóstoles de Jesús, los caballeros de la mesa redonda o las horas del día, son conjuntos, pero elementos del conjunto de las docenas.<br /><br />Sin embargo, los elementos de cada docena no son elementos del conjunto de las docenas pues ni enero, ni aries, ni Pedro son docenas.Sursum corda!https://www.blogger.com/profile/13339894026445974845noreply@blogger.comtag:blogger.com,1999:blog-5918791314866668362.post-86574716420652832412009-12-16T13:41:36.110+01:002009-12-16T13:41:36.110+01:00Francisco:
la solución es aceptable: es, de hecho,...Francisco:<br />la solución es aceptable: es, de hecho, la solución de Bertrand Russell: crear una JERARQUÍA de conjuntos (o, en este caso, de adjetivos); lo feo en este caso es que parece que, al fin y al cabo, tanto los adjetivos como los meta-adjetivos (y los meta-meta-adjetivos, etc., pues la paradoja la puedes repetir en cualquier nivel), SON lo que normlmente llamamos "adjetivos", ¿no?<br />Es decir, si yo defino "super-adjetivo" como algo que, o bien es un adjetivo, o bien un meta-adejtivo, o bien un meta-meta-adejtivo, etc., entonces los superadjetivos están sometidos a la paradoja.Jesús P. Zamora Bonillahttps://www.blogger.com/profile/07054631110263426886noreply@blogger.comtag:blogger.com,1999:blog-5918791314866668362.post-34627202794464260272009-12-16T02:00:15.525+01:002009-12-16T02:00:15.525+01:00Desde pequeño me enseñaron: "No existen contr...Desde pequeño me enseñaron: "No existen contradicciones en la realidad. Si hay contradicción entre dos de tus premisas, es que algo falla. Las paradojas nos sirven para señalar esos fallos de planteamiento, y ayudarnos a corregirlos".<br /><br />Recuerdo aquella paradoja en la que un rey pedía a todos los visitantes que indicasen a los guardias el motivo que les llevaba a visitar la ciudad, bajo pena de ser colgados bajo el puente si mentían. Llegó un sabio y, cuando le preguntaron, respondió: "Vengo a morir ahorcado en el puente". Si no le ahorcaban, habría mentido, por lo que habrían tenido que ahorcarle. Si le ahorcaban, habría dicho la verdad, por lo que no tendrían que haberle ahorcado. La solución de la paradoja es que aquella era una mala ley.<br /><br />Considero que Jorgito ha dado ya en el clavo. La solución a esta paradoja es que el planteamiento está mal, y por lo tanto es una mala clasificación. La única forma que se me ocurre de rodear ese planteamiento es inventar un nuevo tipo de palabra, los meta-adjetivos (palabras que designan cualidades de palabras que designan cualidades de palabras). Ambas palabras serían meta-adjetivos, y por lo tanto no entrarían dentro de la clasificación. Es decir, podrían definir el conjunto desde el exterior.elmorenohttps://www.blogger.com/profile/10674989386123753470noreply@blogger.comtag:blogger.com,1999:blog-5918791314866668362.post-32818721821402628012009-12-10T13:08:51.627+01:002009-12-10T13:08:51.627+01:00Jesús:
Formalizar es depurar un lenguaje de maner...Jesús:<br /><br />Formalizar es depurar un lenguaje de manera que los significados sean unívocos y se reduzca al mínimo el número de afirmaciones independientes.<br /><br />Cuando hablas de conjuntos no hablas de algo radicalmente diferente a lo que designa el que pide en el restaurante un par de huevos fritos con patatas. Ni al axiomatizar la aritmética se inventa el concepto de número que ya está en que el cliente pida dos y se extrañe si le traen uno.<br /><br />La diferencia entre el sentido común y la rama más depurada de la filosofía no está en lo que hacen sino en que la filosofía elimina los embrollos, ambigüedades y equívocos en que nos metemos inadvertidamente. Si habla de otra cosa no tiene ningún interés para la humanidad.Sursum corda!https://www.blogger.com/profile/13339894026445974845noreply@blogger.comtag:blogger.com,1999:blog-5918791314866668362.post-19909918959695453072009-12-09T23:54:36.374+01:002009-12-09T23:54:36.374+01:00Sursum:
(quería decir RECTAS paralelas).
En fin, a...Sursum:<br />(quería decir RECTAS paralelas).<br />En fin, al grano: el problema no es SÓLO si la noción "de sentido común" de "conjunto" es consistente o no (esa es una cuestión que el sentido común no puede DEMOSTRAR; lo que hace falta es una PRUEBA FORMAL DE CONSISTENCIA, y eso requiere, para empezar, formular explícitamente los AXIOMAS que piensas que definen esa noción... lo que te lleva inevitablemente a hacer teoría de conjuntos, y no sólo parloteo en la huevería -por lo de la docena-).<br />Digo que el problema no es SÓLO ese (si la noción "de sentido común" de "conjunto" es consistente o no), sino TAMBIÉN si las EXTENSIONES de esa noción que utilizamos para hacer matemáticas son consistentes o no. P.ej., en la aritmética se define a los números como conjuntos: 0 es el conjunto vacío, 1 es el conjunto cuyo único elemento es el conjunto vacío, 2 es el conjunto formado por el 0 y el 1, y n es el conjunto formado por todos los números hasta n-1. Esta es sólo UNA de las definiciones posibles (hay a patadas), pero en todas las que yo conozco (aunque supongo que habrá otras), los números se definen como conjuntos, algunos de cuyos elementos -o todos- son también conjuntos (bueno, en la teoría de tipos de Russell esto no es posible, así que supongo que define los números de alguna otra manera).Jesús P. Zamora Bonillahttps://www.blogger.com/profile/07054631110263426886noreply@blogger.comtag:blogger.com,1999:blog-5918791314866668362.post-29559362808108357542009-12-09T23:00:18.247+01:002009-12-09T23:00:18.247+01:00Jesús:
No hay ninguna chapuza en "póngame un...Jesús:<br /><br />No hay ninguna chapuza en "póngame un par de huevos fritos con unas patatas" ni en "deme todos los libros del fantástico escritor Jesús Zamora".<br /><br />Podemos definir conjuntos en la medida en que podemos asignar cualidades a más de un objeto. Todo lo demás se basa sobre ese hecho fundamental.<br /><br />Tampoco es una chapuza decir que dos paralelas no se juntan si esa es la definición de paralelas. Y el caso de la tierra plana o inmóvil es algo que concierne a hechos no a definiciones. Un conjunto es lo que es porque tenemos una definición de ello. Sin nuestra definición no hay docena de huevos sino sólo huevos.<br /><br />La jerarquía de tipos es evidente en nuestro lenguaje pues hay dos maneras de estar dentro de un conjunto: como pertenece el elemento y como un conjunto está incluido en otro. Los españoles pertenecen al conjunto de los europeos y Jesús Zamora es un europeo, pero el conjunto de los españoles no es un europeo ni pertenece al conjunto de los europeos sino que es un conjunto incluido en el de los europeos, no un elemento. Sería un elemento del conjunto de nacionalidades de Europa.<br /><br />Algo similar pero a la inversa a que si los doces apóstoles son doce, Pedro no es doce.Sursum corda!https://www.blogger.com/profile/13339894026445974845noreply@blogger.comtag:blogger.com,1999:blog-5918791314866668362.post-75247196480759083462009-12-09T17:25:21.709+01:002009-12-09T17:25:21.709+01:00Lo malo de las "primeras ideas intuitivas&quo...Lo malo de las "primeras ideas intuitivas" de cualquier cosa es que suelen ser una chapuza de las muchas que produce nuestro cerebro para salir del paso. También nuestra "primera idea intuitiva" sobre el espacio dice que las paralelas nunca se juntan, y que la tierra es plana y no se mueve.<br />La ciencia progresa criticando y analizando las ideas intuitivas, en la mayor parte de los casos.Jesús P. Zamora Bonillahttps://www.blogger.com/profile/07054631110263426886noreply@blogger.comtag:blogger.com,1999:blog-5918791314866668362.post-52864998053347396742009-12-09T11:16:06.763+01:002009-12-09T11:16:06.763+01:00Jesús:
Sí, pero eso es posterior a la primera ide...Jesús:<br /><br />Sí, pero eso es posterior a la primera idea intuitiva de conjunto.<br /><br /> <br />Cuando decimos "una docena de huevos" o "la pareja de vecinos del quinto ce" aplicamos una noción de conjunto que precede a todas las demás posibles y que podemos formalizar a base de la teoría de tipos: los apóstoles pertenecen a un docena, como los huevos, los caballeros de la tabla redonda, los signos del zodiaco, los meses del año o las horas del día; y los conjuntos que son docenas son de ese tipo, y forman un conjunto de docenas para el cual cada docena es un elemento, pero no cada huevo, cada apóstol, caballero, signo, etcétera.Sursum corda!https://www.blogger.com/profile/13339894026445974845noreply@blogger.comtag:blogger.com,1999:blog-5918791314866668362.post-58621037802016550692009-12-09T09:23:31.384+01:002009-12-09T09:23:31.384+01:00Sursum:
es que los conjuntos no pertenecen a otros...Sursum:<br /><i>es que los conjuntos no pertenecen a otros conjuntos del mismo nivel de descripción</i><br />Eso depende de la TEORÍA de conjuntos que estemos utilizando. Efectivamente, la paradoja de Russell (y ésta) surgieron por la ingenua idea de que no había límites a lo que podía ser un conjunto, pero hay muchas formas de limitar los conjuntos "admisibles", además de las basadas en la teoría de tipos (como haces tú).<br />Lo importante es ver que no hay una "esencia" que corresponda a la noción de conjunto, sino que hay muchas definiciones matemáticas internamente consistentes de nociones PARECIDAS, y cada un de ellas nos lleva a una "teoría de conjuntos" diferente.Jesús P. Zamora Bonillahttps://www.blogger.com/profile/07054631110263426886noreply@blogger.comtag:blogger.com,1999:blog-5918791314866668362.post-61756053199889697272009-12-08T21:22:41.090+01:002009-12-08T21:22:41.090+01:00Tenemos el mismo caso del conjunto de los conjunto...Tenemos el mismo caso del conjunto de los conjuntos que no se pertenecen a sí mismos.<br /><br />Pero es que los conjuntos no pertenecen a otros conjuntos del mismo nivel de descripción. El conjunto de los europeos no está formado por el conjunto de los españoles, el conjunto de los alemanes etcetera, sino por los españoles, los alemanes etcétera.<br /><br />Un conjunto está incluido en otro y, por defecto, en sí mismo. Pero un conjunto no se pertenece a sí mismo. El conjunto de los tres mosqueteros está formado por Athos, Porthos y Aramits, sin más elementos. El conjunto no incluye otros elementos como el conjunto de los tres mosqueteros, el mosquetero de más edad, el mosquetero al que más le gusta la cerveza y así en general.<br /><br />Así que un conjunto de conjuntos no contiene los mismos elementos que la unión de todos los conjuntos que pertenecen a él. El conjunto de conjuntos de doce miembros reúne al conjunto de los apóstoles o de los caballeros de la mesa redonda, pero no a Pedro ni a Lancelote.Sursum corda!https://www.blogger.com/profile/13339894026445974845noreply@blogger.comtag:blogger.com,1999:blog-5918791314866668362.post-74293713347223759032009-12-08T20:22:45.639+01:002009-12-08T20:22:45.639+01:00Jorgito:
la paradoja se puede "resolver"...Jorgito:<br />la paradoja se puede "resolver" de muchas maneras (como, en realidad, es un caso de las paradojas de teorías de conjuntos, la forma "estándar" de resolverla es utilizando una teoría de conjuntos que no te permita aceptar la existencia de un conjunto sólo porque puedas dar una condición de pertenencia a dicho conjunto).<br />.<br />Tu forma de resolverlo es aceptable, por supuesto: puedes establecer reglas que limiten lo que, PARECIENDO un adjetivo, no lo es "en realidad". Lo que pasa es que el lenguaje natural, al contrario que el lenguaje lógico, es muy flexible, y no acepta sin protestas ese tipo de restricciones (y por eso está lleno de paradojas, que tampoco importan mucho a la gente). Por cierto, tener la propiedad de tener cinco letras es también una "MERA COINCIDENCIA", y puedes hablar de "adjetivos pentalétricos"; que poseer una cualidad sea una coincidencia, no implica que no podamos definir en qué consiste poseer esa cualidad, ni darle una palabra (o sea, un adjetivo).<br /><br />.<br />Sobre tu argumento siguiente, va aquí con mi comentario:<br />.<br /><i><br />1) tendría la propiedad que designa <br />2) pero como designa la propiedad de la heterología,<br />3) se seguiría que no sería autológico (si asumes que un adjetivo sólo puede tener una u otra propiedad)<br />lo cual es erróneo porque designar una propiedad no equivale a tenerla</i><br />.<br />Es que la conclusión no se sigue de que "designar la propiedad sea equivalente a tenerla"; se sigue de que HACEMOS LA SUPOSICIÓN de que "heterológico es autológico" (y luego la contraria), y sustituimos "es autológico" por la DEFINICIÓN de "ser autológico", lo que nos da "heterológico tiene la propiedad que designa".<br />.<br />En resumen, la paradoja surge al pensar en las DOS alternativas posibles: o bien "heterológico" es autológico, o bien no lo es.<br />.<br />De hecho, no confundo "a y b": lo único correcto es "a" (poner la palabra de la que estás hablando, entre comillas).<br />.<br /><i>¿Que un adjetivo tenga la propiedad de la autología implica que su significado tenga que denotar la autología o que el adjetivo no pueda denotar la heterología sin tenerla (cuando justamente la heterología es no tener la propiedad predicada)? No,<br /></i><br />Obviamente. Pero no hace falta suponer eso para inferir la paradoja. Lo ÚNICO relevante es preguntarse "¿'heterológico' es autológico, o no lo es?".Jesús P. Zamora Bonillahttps://www.blogger.com/profile/07054631110263426886noreply@blogger.comtag:blogger.com,1999:blog-5918791314866668362.post-80368735548795350232009-12-08T18:29:03.296+01:002009-12-08T18:29:03.296+01:00"""Lo que hace que X sea un adjetiv..."""Lo que hace que X sea un adjetivo es que podemos construir la expresión "a es X" o "tiene la propiedad de ser X"."""<br /><br />Pero si lo que muestras con la paradoja es justo la negación de ambos criterios, ¿cómo y con qué validez definiste esos criterios en un primer momento?<br /><br />La paradoja, en mi opinión, debería hacernos concluir no que el adjetivo "heterológico" no sea heterológico, sino que no es un adjetivo bajo una definición de adjetivo en la que todo adjetivo es heterológico o autológico (que sería obviamente falsa en este caso -según tus premisas, vamos).<br /><br />La definición de adjetivo en Lingüística está muy clara, del mismo modo que en Lingüística no es pertinente invocar lo auto o heterológico porque que un adjetivo denote una propiedad que pueda tener es una mera coincidencia, no obedece a ninguna propiedad relevante de los adjetivos (es como ponerle un nombre al hecho de que alguien te pise en el autobús número 67 un lunes antes de las 8:15 cuando *no* vas camino del trabajo).<br /><br />En el plano puramente de estos dos conceptos, cuando descartaste que "heterológico" fuera autológico lo hiciste, creo entender, sobre la base de que en ese caso<br /><br />1) tendría la propiedad que designa <br />2) pero como designa la propiedad de la heterología,<br />3) se seguiría que no sería autológico (si asumes que un adjetivo sólo puede tener una u otra propiedad)<br /><br />lo cual es erróneo porque designar una propiedad no equivale a tenerla:<br /><br />1) "heterológico" es autológico<br />2) "heterológico" tiene la propiedad que designa<br />3) "heterológico" designa la heterología (?)<br />4) la heterología consiste en no tener la propiedad designada,<br />5) "heterológico" tiene la propiedad de no tener la propiedad que designa (versus: "heterológico" tiene la propiedad de no designar la propiedad que designa)<br /><br />Es decir, creo que confundes a) y b):<br /><br />a) "heterológico" es autológico<br />b) heterológico es autológico<br /><br />¿Que el adjetivo que denota la heterología tenga la propiedad de la heterología implica que tiene la propiedad de la autología? Sí. ¿Que un adjetivo tenga la propiedad de la autología implica que su significado tenga que denotar la autología o que el adjetivo no pueda denotar la heterología sin tenerla (cuando justamente la heterología es no tener la propiedad predicada)? No, por todos los adjetivos autológicos que designan otra cosas (v.gr. tus propios ejemplos, e.g. "castellano").Jorgitonoreply@blogger.comtag:blogger.com,1999:blog-5918791314866668362.post-29204054267271283552009-12-08T16:45:34.829+01:002009-12-08T16:45:34.829+01:00Jorgito, lo que hace de algo un adjetivo no es que...Jorgito, lo que hace de algo un adjetivo no es que sea autológico o heterológico (eso lo deducimos luego). Lo que hace que X sea un adjetivo es que podemos construir la expresión "a es X" o "tiene la propiedad de ser X".Jesús P. Zamora Bonillahttps://www.blogger.com/profile/07054631110263426886noreply@blogger.comtag:blogger.com,1999:blog-5918791314866668362.post-66650014411312215782009-12-07T21:54:02.692+01:002009-12-07T21:54:02.692+01:00Jesus,
La respuesta esta implicta en tus premisas...Jesus,<br /><br />La respuesta esta implicta en tus premisas. Si defines el caracter heterologico y su contrario como propiedades de los adjetivos (condicion indispensable para fundamentar luego la paradoja), al concluir que el adjetivo "heterologico" no es ni lo uno ni lo otro lo unico que estas concluyendo es que, en contra de tu asuncion, "heterologico" NO es un adjetivo (ya que, por tus propias premisas, para que una palabra sea un adjetivo tiene que ser o heterologica o autologica). Tendrias que cambiar las premisas para poder plantear la paradoja, pero si las cambias ya no habra paradoja, asi que todos contentos.<br /><br />Estas confundiendo la categoria gramatical de "heterologico" en castellano con la naturaleza de su significado. Que "heterologico" se use como un adjetivo en nuestra lengua (como algunos amigos mios usan nombres de bandas de heavy metal, v.gr. "Esto es un poco Rolling Stones") no tiene por que implicar que sea un adjetivo (bajo la definicion de adjetivo de "algo que es o autologico o heterologico").<br /><br />No me metas nociones en la cabeza que estaba teniendo un lunes la mar de tranquilo ;-)Jorgitonoreply@blogger.comtag:blogger.com,1999:blog-5918791314866668362.post-17664063951001449242009-12-06T11:05:28.190+01:002009-12-06T11:05:28.190+01:00Iteration is human; recursion is divine.Iteration is human; recursion is divine.Fremanhttps://www.blogger.com/profile/04572180910027254976noreply@blogger.comtag:blogger.com,1999:blog-5918791314866668362.post-91409354518441469772009-12-04T17:18:51.219+01:002009-12-04T17:18:51.219+01:00perosiesque la realidad nos da sopas con ondas:
ht...perosiesque la realidad nos da sopas con ondas:<br />http://maldicion-sisifo.blogspot.com/search/label/recursividadµßionoreply@blogger.comtag:blogger.com,1999:blog-5918791314866668362.post-76685624538857615622009-12-03T23:16:14.669+01:002009-12-03T23:16:14.669+01:00Los niveles cognitivos superiores del lenguaje (di...Los niveles cognitivos superiores del lenguaje (dicción / contradicción) son binarios. Contraponemos dos ideas para comprender la realidad, y de éstas casi siempre descartamos una. Cuando no podemos descartar ninguna, como en el caso de la autorreferencia, llega la aparente antinomia.José Manuelhttps://www.blogger.com/profile/15184447105122305592noreply@blogger.comtag:blogger.com,1999:blog-5918791314866668362.post-74333663340181277742009-12-03T20:52:22.994+01:002009-12-03T20:52:22.994+01:00Pedir la demostración de ALGO ya supone aceptar el...<i>Pedir la demostración de ALGO ya supone aceptar el principio de bivalencia</i><br /><br />Claro, que se pueda demostrar implica que es verdadero. Eso te pido :-P<br /><br />Pero bueno, el minipunto para Sursum que vio el problema en su justo ámbito. Yo pensé que ibas verdaderamente, como dijo el anónimo, a recular del principio de bivalencia. <br /><br />Por cierto, gracias por los links aunque mi inglés suspirosHéctor Medahttps://www.blogger.com/profile/05080741918146495160noreply@blogger.comtag:blogger.com,1999:blog-5918791314866668362.post-62720439407271966702009-12-03T20:45:39.918+01:002009-12-03T20:45:39.918+01:00tampoco es para ponerse así
:) 'Xacto. Por es...<i>tampoco es para ponerse así</i><br /><br />:) 'Xacto. Por eso, además, traía a colación el unicornio.<br /><br />Para beneficios de aquellos que no ven los enlaces completos:<br /><br /><a href="http://www.linguistics.ucla.edu/people/schlenker/anselm.pdf" rel="nofollow">Anselm's Argument and Berry's Paradox</a><br />.<br /><a href="http://www.umcs.maine.edu/~chaitin/unm2.html" rel="nofollow">The Berry Paradox</a> (por Chaitin, un tipo que se ha dedicado a investigar la complejidad algorítmica, y es famoso por haber descubierto el número omega)<br /><br /><a href="http://www.research.ibm.com/people/b/bennetc/Onrandom.ps" rel="nofollow">http://www.research.ibm.com/people/b/bennetc/Onrandom.ps</a> (en formato PostScript)Fremanhttps://www.blogger.com/profile/04572180910027254976noreply@blogger.comtag:blogger.com,1999:blog-5918791314866668362.post-15492487121650460762009-12-03T20:34:50.105+01:002009-12-03T20:34:50.105+01:00Tanto Kurt Grelling (foto derecha) como Leonard Ne...Tanto Kurt Grelling (foto derecha) como Leonard Nelson son dos tipos interesantes. El primero, sobre todo, como destacado positivista, miembro "de segunda fila" del Círculo de Berlín (paralelo del círculo de Viena, cuya figura principal fue Hans Reichenbach). Grelling no consiguió huir de la Alemania nazi, y murió en las cámaras de gas.<br />.<br />Biografía de Grellin: http://gestalttheory.net/archive/kgbio.html<br />.<br />Biografía de Nelson:<br />http://www.friesian.com/nelson.htm<br />.<br />"El método socrático", por Nelson:<br />http://www.friesian.com/method.htm<br />.Jesús P. Zamora Bonillahttps://www.blogger.com/profile/07054631110263426886noreply@blogger.comtag:blogger.com,1999:blog-5918791314866668362.post-88915845345789072992009-12-03T20:24:26.109+01:002009-12-03T20:24:26.109+01:00Pedir la demostración de ALGO ya supone aceptar el...Pedir la demostración de ALGO ya supone aceptar el principio de bivalencia: al fin y al cabo, consiste en pedir "demuéstrame que se cumple X, o sea, <i>que NO se cumple no-X</i>".<br />.<br />Por otro lado, definimos "X es heterológico" como sinónimo de "X no es autológico", lo que quiere decir que consideramos A como el conjunto de todos los palabros autológicos, y el complemento de A (dentro del conjunto de todos los palabros) es el conjunto de palabros heterológicos. Esto indica que la paradoja de Grelling y Nelson es meramente una versión de la paradoja de Russell sobre la noción de conjunto, y puede recibir soluciones parecidas. O sea: no hace falta negar la bivalencia; basta con poner límites a las construcciones que tienen un significado.Jesús P. Zamora Bonillahttps://www.blogger.com/profile/07054631110263426886noreply@blogger.comtag:blogger.com,1999:blog-5918791314866668362.post-12695465124699102552009-12-03T20:19:37.469+01:002009-12-03T20:19:37.469+01:00Freman:
tampoco es para ponerse así.
http://www....Freman:<br /><br />tampoco es para ponerse así.<br /><br />http://www.research.ibm.com/people/b/bennetc/Onrandom.ps<br /><br />http://www.umcs.maine.edu/~chaitin/unm2.html<br /><br />Aunque seguro que prefieres esto:<br />http://www.linguistics.ucla.edu/people/schlenker/anselm.pdfJesús P. Zamora Bonillahttps://www.blogger.com/profile/07054631110263426886noreply@blogger.comtag:blogger.com,1999:blog-5918791314866668362.post-12042275537572272202009-12-03T19:32:49.727+01:002009-12-03T19:32:49.727+01:00Conoceréis el cuento de Borges sobre el libro de a...Conoceréis el cuento de Borges sobre el libro de arena (que tenía un número infinito de páginas). ¿Cómo se las arregló el impresor con los números de página? A partir de cierta página, el número de la misma, si se escribe en notación decimal, ocupa toda la superficie de la misma... excepto si se utilizan trucos. Por ejemplo, escribir 1000^2 en vez de 1000000... ahorrando dos caracteres, que no parece mucho, pero pensad en 1000^1000.<br /><br />Algunos números podrían "comprimirse" describiéndolos como "el primer número que desmiente la conjetura de Goldbach" (puede que ese número sea como los unicornios). ¿Existe algún límite para este truco? Repitiendo la pregunta: ¿cuál es el menor número natural que no puede expresarse con menos de trece palabras?Fremanhttps://www.blogger.com/profile/04572180910027254976noreply@blogger.comtag:blogger.com,1999:blog-5918791314866668362.post-46435684726851914172009-12-03T17:41:30.173+01:002009-12-03T17:41:30.173+01:00"¿Por qué? ¿Me puedes demostrar que el princi..."¿Por qué? ¿Me puedes demostrar que el principio de bivalencia ("Toda proposición o bien es cierta o bien es falsa") es cierto?<br /><br /><br /><br />Pero si lo que hace es demostrar lo contrario:<br />suponiendo que todos los adjetivos o son autológicos o no, se llega a la conclusión de que heterológico no es ni autológico ni heterológico, luego la suposición es falsa (con lo que eso quiera decir, o bien que hay adjetivos auto y heterológicos y/o bien autológico no es un adjetivo, como se verá más adelante).<br /><br />Es más, autológico aplicado a sí mismo no quiere decir nada:<br /><br />* Un adjetivo, p. ej. verde, es autológico si cumple con la propiedad que denota, en este caso ser verde.<br /><br /><br />* Un adjetivo, p. ej. autológico, es autológico si cumple con la propiedad que denota, en este caso si es autológico (lo definido entra en la definición, es decir, no hay definición).<br /><br />Y por tanto, al no aplicársele ese concepto, ni es autológico ni heterológico o es ambas cosas y no hay ninguna paradoja.Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-5918791314866668362.post-17677589540713194432009-12-03T16:29:04.533+01:002009-12-03T16:29:04.533+01:00Y también es análoga a la primera prubea de Cantor...Y también es análoga a la primera prubea de Cantor de que no hay biyección entre cada elemento de N y cada elemento de las partes de N:<br /><br />Si a cada elemento de las partes de N le asignamos un número N, o N está contenido en él = autólogo, o no lo está = heterólogo. Pero tomemos el conjunto de números de N que son heterólogos... etcétera.Sursum corda!https://www.blogger.com/profile/13339894026445974845noreply@blogger.com