Diferencia entre revisiones de «Shahid Rahman»
Contenido eliminado Contenido añadido
Línea 57:
En 1995, en una presentación en el Instituto de Informática Max-Planck en [[Saarbrücken]], [[:en:Dov_Gabbay|Dov Gabbay]] señaló que los nuevos desarrollos en la interfaz entre juegos y lógica (que proporcionan la base técnica para el enfoque dialógico) ofrecen la posibilidad de utilizar los diálogos como un tipo de sistema de deducción para el enfoque pragmático. En 1999, Rahman y Rückert organizaron un taller titulado 'Nuevas perspectivas en lógica dialógica' en Saarbrücken, que resultó en una publicación de ''[[:en:Synthese|Synthèse]]''<ref>''Synthèse'', Vol. 127, No 1-2 abril/mayo, 2001.</ref>. Este libro muestra una reconsideración de los vínculos entre los juegos y la lógica, principalmente en ciencias de la computación e inteligencia artificial.
Patrick Blackburn escribió en ''New Perspectives in Dialogical Logic''<ref>"Modal Logic as Dialogical Logic". P. Blackburn. ''Synthèse'', 2001, vol. 127, No 1-2 avril/mai, pp. 57-93.</ref>en respuesta al artículo de Rahman y Rückert sobre el diálogo en la lógica modal,
En su entrada del libro para el ingreso al Internacional Directory of Logicians, publicado en 2009<ref>Gabbay, Dov M. and Woods, John (2009). International Directory of Logicians. Who's Who in Logic. London: College Publications. Pág. 293-295.</ref>, Rahman argumenta que la lógica tiene un papel central que desempeñar en los programas de investigación de la filosofía de la ciencia del siglo XX. Las críticas históricas y sociológicas de los años sesenta habían desterrado la lógica de la filosofía de la ciencia al acusarla de reducir la ciencia a un conjunto de proposiciones conectadas entre sí por la lógica clásica. Pero eso no significa que la colaboración entre la lógica, la filosofía y la historia de la ciencia deba ser abandonada. Más bien, la lógica debería acercarse a la ciencia con herramientas nuevas y más sofisticadas, capaces de tratar las proposiciones en contexto, describiendo este contexto y su dinámica. Esto es concebible si desarrollamos la interfaz entre los juegos y la lógica, entre la teoría de la revisión de creencias y las teorías de juegos, y entre la teoría de la decisión y la teoría de la argumentación. Esta declaración es la base del proyecto Kluwer-Springer lanzado en 2001 por Rahman y John Symons, cuyo primer volumen se publicó en 2004 en la colección ''Logic, Epistemology and the Unity of Science'', editada por Rahman, Symons y Gabbay.
| |||