es la lógica que está relacionada con el diálogo y la habilidad de argumentar frente a otros

obtenga es la lógica que está relacionada con el diálogo y la habilidad de argumentar frente a otros de este sitio.

Lógica dialógica

Solemos invitar al mundo a crear la suma de todo el conocimiento humano. En esta ocasión, invitamos al mundo a crear el sonido de todo el conocimiento humano.

[¡Ayúdanos con las traducciones!]

Lógica dialógica

Ir a la navegación Ir a la búsqueda

La lógica dialógica (también conocida como ) ha sido concebida como un enfoque pragmático de la semántica de la lógica que recurre a conceptos de la teoría de juegos como y .

Dado que la lógica dialógica fue la primera en abordar la semántica de la lógica con conceptos de la teoría de juegos, también se la conoce como . Muy a menudo, la semántica formal de juegos de Jaakko Hintikka, conocida como (GTS), y la lógica dialógica se confunden. Sin embargo,aunque GTS y la lógica dialógica comparten ambas una perspectiva lúdica, su contexto filosófico y lógico es muy diferente.

Las publicaciones más recientes extienden la lógica dialógica a un marco general para el estudio del significado, el conocimiento y la inferencia en el curso de la interacción argumentativa. Los nuevos desarrollos incluyen y .

Índice

1 Historia

2 Reglas de un juego de diálogo

2.1 Reglas dialógicas

2.1.1 Reglas de constantes lógicas: significado local

2.1.2 Reglas estructurales: significado global

2.1.2.1 RS 1 (Comienzo de un diálogo o partida)

2.1.2.2 RS 2i (Regla intuicionista)

2.1.2.3 RS 2c (Regla clásica)

2.1.2.4 RS 3 (Finitud de partidas)

2.1.2.4.1 2.1.2.4.2

2.1.2.5 RS 4 (Regla formal)

2.1.2.6 RS5 (Ganador y final de una jugada)

2.1.2.7 Validez e Inferencias Válidas

2.1.2.8 Estrategia ganadora

2.1.2.9 Estrategias ganadoras finitas

3 Desarrollos recientes

4 Bibliografía 4.1 Libros 4.2 Artículos 5 Notas 6 Referencias

Historia[editar]

El filósofo y matemático Paul Lorenzen (Erlangen-Nürnberg-Universität) fue el primero en introducir una semántica de juegos para la lógica a finales de la década de 1950. Lorenzen llamó a esta semántica dialogische Logik, lógica dialógica. Más tarde, fue desarrollada en extenso por su discípulo Kuno Lorenz (Erlangen-Nürnberg Universität, luego Saarland). A su vez, Jaakko Hintikka (Helsinki, Boston) desarrolló un poco posteriormente a Lorenzen un enfoque basado en teoría de modelos conocido como GTS.

Desde entonces, en lógica se han estudiado un número significativo de diferentes semánticas de juegos. A partir de 1993, Shahid Rahman (Universität des Saarlandes, Max Planck Institute for Informatics-Saarbrücken, actualmente en la Universidad Lille) y sus colaboradores han desarrollado la dialógica dentro de un marco general destinado al estudio de nociones lógicas y filosóficas relativas al pluralismo lógico. Específicamente, en 1995 se generó una especie de renacimiento de la dialógica que abrió nuevas e inesperadas posibilidades de investigación lógica y filosófica. Actualmente, los nuevos desarrollos tanto historicós como sistemáticos de la dialógica experimentan un creciente interés por diversas ciencias tales como la cognición, la teoría de la argumentación, el razonamiento jurídico, la informática, la lingüística aplicada y la inteligencia artificial.

Los nuevos resultados de la dialógica son el fruto del estudio de la , la , la y la en matemáticas, en los trabajos, entre otros tantos; de Samson Abramsky, Johan van Benthem, Andreas Blass, Nicolas Clerbout, Matthieu Fontaine, Dov Gabbay, R. Jagadessan, Giorgi Japaridze, Lauren Keiff, Erik Krabbe, Alain Leconte, Rodrigo López-Orellana, Sébasten Magnier, Matthieu Marion, Zöe McConaughey, Henry Prakken, Juan Redmond, Helge Ruckert, Gabriel Sandu, Douglas Walton y John Woods. Tales trabajos han contribuido a ubicar a la dialógica y más generalmente a la interacción, en el centro de una nueva perspectiva epistémica de la lógica, donde la lógica es definida como 'instrumento de inferencia dinámica'.

Hoy en día pueden distinguirse 4 programas de investigación que abordan la interfaz de significado, conocimiento y lógica en el contexto de diálogos, de juegos o más generalmente de interacción. A saber:

El de Paul Lorenzen y Kuno Lorenz, quienes buscaron superar las limitaciones de la Lógica Operativa proporcionándole fundamentos dialógicos. El método de los tablas semánticas para la lógica clásica e intuicionista, introducido por Evert W. Beth (1955), podría identificarse como un método para la notación de estrategias ganadoras de juegos de diálogo particulares (cf. Lorenzen y Lorenz 1978; Lorenz 1981, Felscher 1986). Esto, como se mencionó anteriormente, se ha extendido por Shahid Rahman y sus colaboradores a un marco general para el estudio de lógicas clásicas y no clásicas. Más recientemente, a fin de desarrollar diálogos con contenido, Rahman y su equipo de Lille enriquecieron el marco dialógico con lenguajes totalmente interpretados de la Teoría constructiva de tipos (CTT) de Per Martin-Löf.

La de Jaakko Hintikka (en inglés (GTS)). Este enfoque, comparte los principios teóricos de juego de la lógica dialógica para las constantes lógicas; pero recurre a la teoría veritativo-funcional de modelos estándar cuando el proceso de análisis alcanza el nivel de afirmaciones elementales. En, otras palabras, en el contexto de la GTS las proposiciones elementales son evaluadas mediante una función veritativo-funcional estándar. Mientras que, en los diálogos de la lógica dialógica, una partida que tenga una proposición elemental (o la negación de una proposición elemental) como tesis conduce a la derrota del defensor. Los desarrollos más recientes del enfoque GTS se deben a Johan van Benthem y su grupo de Ámsterdam. En efecto el programa de van Benthem, que combina la GTS, la lógica epistémica y diversas formas de interacción extraídas de la teoría matemática de juegos, es uno de los grupos de investigación más dinámicos en este campo.

fuente : es.wikipedia.org