Bienvenido, Invitado
Nombre de Usuario: Contraseña: Recordarme

TEMA: Acertijos de Lógica

Re: Acertijos de Lógica 18 Dic 2011 18:22 #5765

  • Nolano
  • Avatar de Nolano
  • DESCONECTADO
  • Escolástico
  • Mensajes: 4001
  • Gracias recibidas 3980
La propuesta de Kripke intenta resolver algunos problemas que las otras dos propuestas no acaban de solucionar. De forma muy resumida, la solución de Tarski sólo proscribe la autorreferencialidad, el caso en que se formulan proposiciones, en un lenguaje objeto, sobre la verdad de proposiciones en ese mismo lenguaje objeto. Kripke intenta resolver casos no sólo de reflexividad, sino también de reciprocidad.

Por ejemplo: tú afirmas en un libro una serie de proposiciones que son todas verdaderas y, además, afirmas esta proposición: "Nolano nunca dice la verdad". Y una de las proposiciones que yo afirmo es: "Fulano siempre dice la verdad".

Entonces, para que mi proposición sea verdadera, la tuya ha de ser falsa, lo que hace que mi proposición sea a su vez falsa; entonces mi proposición sería verdadera y falsa a la vez. A diferencia de Tarski, que sólo contemplaba las proposiciones autorreferenciales, al moverse en los dos ámbitos fijos y separados del lenguaje-objeto y del metalenguaje, Kripke advierte que para uno puede ser lenguaje-objeto lo que para otro es metalenguaje y viceversa, dando más amplitud al territorio en que se puede producir la paradoja del mentiroso. Por eso habla de proposiciones fundadas y no fundadas, dependiendo del ámbito de alcance de dichas proposiciones, atendiendo al conjunto de situaciones al que se aplican.

Pero, como decía, esas complejidades están más allá de nuestro "sencillo" ejemplo.

A mí también me da la impresión que la doctrina de Kripke a este respecto es un poco lo de las muñecas rusas que van una dentro de la otra hasta no terminar nunca.
Bin ich doch kein Philosophieprofessor, der nöthig hätte, vor dem Unverstande des andern Bücklinge zu machen.
No soy un profesor de Filosofía, que tenga que hacer reverencias ante la necedad de otro (Schopenhauer).


Jesús M. Morote
Ldo. en Filosofía (UNED-2014)
Esta dirección electrónica esta protegida contra spam bots. Necesita activar JavaScript para visualizarla
Última Edición: 03 May 2012 22:54 por Moderador.
El administrador ha desactivado la escritura pública.
Los siguientes usuarios han agradecido:

Re: Acertijos de Lógica 18 Dic 2011 18:31 #5766

  • Nolano
  • Avatar de Nolano
  • DESCONECTADO
  • Escolástico
  • Mensajes: 4001
  • Gracias recibidas 3980
PROBLEMA 3

Advertencia: Spoiler! [ Clic para expandir ]



"A" sólo puede decir esa frase si él es caballero y B escudero.
Bin ich doch kein Philosophieprofessor, der nöthig hätte, vor dem Unverstande des andern Bücklinge zu machen.
No soy un profesor de Filosofía, que tenga que hacer reverencias ante la necedad de otro (Schopenhauer).


Jesús M. Morote
Ldo. en Filosofía (UNED-2014)
Esta dirección electrónica esta protegida contra spam bots. Necesita activar JavaScript para visualizarla
Última Edición: 19 Dic 2011 00:31 por Nolano.
El administrador ha desactivado la escritura pública.

Re: Acertijos de Lógica 19 Dic 2011 11:51 #5769

  • Kierkegaard
  • Avatar de Kierkegaard
  • DESCONECTADO
  • Escolástico
  • Mensajes: 2185
  • Gracias recibidas 1790
La misma solución que vosotros, con una aproximación diferente:

Advertencia: Spoiler! [ Clic para expandir ]
Javier Jurado
@jajugon
Anímate a suscribirte
jajugon.substack.com/
El administrador ha desactivado la escritura pública.

Re: Acertijos de Lógica 20 Dic 2011 09:40 #5785

  • pboest
  • Avatar de pboest
  • DESCONECTADO
  • Platónico
  • Mensajes: 259
  • Gracias recibidas 109
Pongo el siguiente:

Nuevamente tenemos tres personas, A, B, C, cada una de las cuales es o caballero o escudero. A y B dicen lo siguiente:

A: Todos nosotros somos escuderos.

B: Uno de nosotros, y sólo uno es un caballero.

¿Podéis decir qué son cada uno?
El administrador ha desactivado la escritura pública.

Re: Acertijos de Lógica 20 Dic 2011 10:42 #5787

  • Rafel
  • Avatar de Rafel
  • DESCONECTADO
  • Aristotélico
  • Mensajes: 567
  • Gracias recibidas 561
Me uno a la fiesta. Espero estar a la altura.

Advertencia: Spoiler! [ Clic para expandir ]
Última Edición: 20 Dic 2011 10:43 por Rafel.
El administrador ha desactivado la escritura pública.

Re: Acertijos de Lógica 20 Dic 2011 10:55 #5788

  • Kierkegaard
  • Avatar de Kierkegaard
  • DESCONECTADO
  • Escolástico
  • Mensajes: 2185
  • Gracias recibidas 1790
Mi solución:

A es escudero
B es caballero
C es escudero

Por qué:

Advertencia: Spoiler! [ Clic para expandir ]
Javier Jurado
@jajugon
Anímate a suscribirte
jajugon.substack.com/
El administrador ha desactivado la escritura pública.

Re: Acertijos de Lógica 20 Dic 2011 13:42 #5789

  • Nolano
  • Avatar de Nolano
  • DESCONECTADO
  • Escolástico
  • Mensajes: 4001
  • Gracias recibidas 3980
Coincido con vuestras soluciones, Rafel y Kierkegaard. Pero, para rizar el rizo, argumentaré la solución en orden inverso al que habéis utilizado vosotros.

Advertencia: Spoiler! [ Clic para expandir ]
Bin ich doch kein Philosophieprofessor, der nöthig hätte, vor dem Unverstande des andern Bücklinge zu machen.
No soy un profesor de Filosofía, que tenga que hacer reverencias ante la necedad de otro (Schopenhauer).


Jesús M. Morote
Ldo. en Filosofía (UNED-2014)
Esta dirección electrónica esta protegida contra spam bots. Necesita activar JavaScript para visualizarla
Última Edición: 20 Dic 2011 13:45 por Nolano.
El administrador ha desactivado la escritura pública.

Re: Acertijos de Lógica 20 Dic 2011 14:43 #5790

  • pboest
  • Avatar de pboest
  • DESCONECTADO
  • Platónico
  • Mensajes: 259
  • Gracias recibidas 109
Bueno, veo que os vais animando. Pongo el siguiente (ya no quedan muchos... vamos a tener que tirar del libro)

Vuelve a haber 3 habitantes:

Supóngase que A y B dicen lo siguiente:
A: Todos nosotros somos escuderos.
B: Uno de nosotros, y sólo uno, es escudero.

¿Podéis determinar lo que son cada uno?
El administrador ha desactivado la escritura pública.

Re: Acertijos de Lógica 20 Dic 2011 15:21 #5791

  • Kierkegaard
  • Avatar de Kierkegaard
  • DESCONECTADO
  • Escolástico
  • Mensajes: 2185
  • Gracias recibidas 1790
Este ejercicio es muy parecido al anterior, aunque no encierra una única solución:

A es escudero.
B es escudero o caballero.
C es caballero.

Por qué:

Advertencia: Spoiler! [ Clic para expandir ]
Javier Jurado
@jajugon
Anímate a suscribirte
jajugon.substack.com/
Última Edición: 20 Dic 2011 15:22 por Kierkegaard.
El administrador ha desactivado la escritura pública.

Re: Acertijos de Lógica 20 Dic 2011 15:35 #5793

  • Kierkegaard
  • Avatar de Kierkegaard
  • DESCONECTADO
  • Escolástico
  • Mensajes: 2185
  • Gracias recibidas 1790
Para atender a tu demanda, pboest, y para que tú también te diviertas, os lanzo esta variante de tus problemas, pero en versión dialéctica:

“En tu camino llegas a una bifurcación en la que te encuentras con un caballero y un escudero, pero no sabes cuál es cual. Tienes que seguir por el camino correcto, pero como no sabes por dónde tienes que ir, tienes que servirte de alguno de esos dos habitantes, porque sólo puedes hacer una pregunta. ¿Cuál harías?”
Javier Jurado
@jajugon
Anímate a suscribirte
jajugon.substack.com/
Última Edición: 20 Dic 2011 15:40 por Kierkegaard.
El administrador ha desactivado la escritura pública.
Los siguientes usuarios han agradecido: pboest
Tiempo de carga de la página: 0.177 segundos