Shahid Rahman

Shahid Rahman Imagem na Infobox. Biografia
Aniversário 20 de outubro de 1956
Nova Delhi, Índia
Nacionalidades Alemão
argentino
Treinamento Universidad Nacional del Sur, Friedrich-Alexander-Universität Erlangen-Nürnberg, Universität des Saarlandes
Atividade Filósofo e matemático
Período de actividade 1993 -
Cônjuge Cheryl Lobb
Filho Laura Milena, Djamal-Alexander
Outra informação
Supervisor Kuno Lorenz ( d )

Shahid Rahman , nascido em 1956 em Nova Delhi , é um filósofo e matemático com dupla nacionalidade argentina e alemã, professor de lógica e epistemologia na Universidade Lille III .

Ele é particularmente conhecido por seu desenvolvimento da lógica do diálogo .

Biografia

Rahman estudou filosofia na Argentina. Ele então obteve um mestrado em Filosofia e Matemática e Filologia (1986-1989) na Friedrich-Alexander-Universität Erlangen-Nürnberg , Alemanha.

Shahid Rahman é doutor em filosofia, psicologia e filologia pela Universidade de Saarland , Saarbrücken, Alemanha. Sua tese, sob orientação de Kuno Lorenz (discípulo de Paul Lorenzen ), em 1993, foi sobre a lógica do diálogo do ponto de vista da teoria das categorias . A sua Habilitation à la Direction de Recherche, em 1997, foi dedicada a Hugh MacColl , os problemas das ficções, a lógica conectada e a história das lógicas não clássicas.

De 1996 a 1998, ele foi pesquisador associado da Universidade de Saarland . Entre 1997 e 2000 foi pesquisador do Instituto Max-Planck de Informática e do Deutsches Forschungszentrum für Künstliche Intelligenz , Alemanha. Em 1999, ele foi diretor em exercício do departamento de filosofia da Universidade de Saarland.

Desde 2001, ele é professor titular de lógica e epistemologia na Universidade de Lille (França). Ele também é pesquisador da UMR CNRS 8163: STL. Membro (2016-2018) do Conselho Científico das Casas da Rede Nacional de Ciências Humanas , França. Membro da comissão do Instituto Eric Weil , Diretor (para a França) do projeto franco-alemão ANR-DFG franco-alemão 2012-2015 Lille (Treillis) / Konstanz, Prof M. Armgardt: “Théorie du Droit et Logique / Jurisprudenz und Logik "(" Teoria do direito e lógica / Jurisprudência e lógica ").

Obra de arte

Seu trabalho cobre a lógica, a filosofia da lógica e sua história, incluindo uma perspectiva dialógica na teoria dos tipos construtivos. É o principal estudioso da área de Design Dialógico de Lógica, para a qual tem contribuído para publicações sobre lógicas não clássicas, raciocínio jurídico, filosofia e lógica de Aristóteles, lógica e epistemologia árabe, entre outras áreas.

Na perspectiva dialógica, conhecimento, significado e verdade são concebidos como o resultado de uma interação social, onde a normatividade não é entendida como uma espécie de operador pragmático que atua em um núcleo proposicional que supostamente expressa conhecimento e significado, mas sim o inverso: tipo de normatividade que emerge da interação social ligada ao conhecimento e significado é constitutiva dessas noções. Ou seja, de acordo com a concepção do quadro dialógico, o entrelaçamento dos direitos de pedir os motivos, por um lado, e os deveres de dar esses motivos , por outro, fornece as raízes do conhecimento, do sentido. .e a verdade.

Lógica dialógica

A parte mais importante de seu trabalho diz respeito à lógica dialógica, também chamada de lógica do diálogo . A sua principal contribuição foi assim sistematizá-la para permitir o desenvolvimento e a combinação de diferentes lógicas. Desde o início dos anos 1950, seus criadores, Paul Lorenzen e Kuno Lorenz , desenvolveram a lógica dialógica para fundar a lógica intuicionista . Em 1987, durante uma intervenção na Universidade de Saarland, Rahman sugeriu pela primeira vez a ligação entre os diálogos e os topoi da teoria das categorias , ainda que na época essa ligação se referisse apenas aos fundamentos da lógica intuicionista. A segunda parte de sua tese de doutorado, publicada em 1993, desenvolveu essa sugestão, enquanto a primeira parte foi dedicada ao primeiro estudo sistemático das relações entre diálogos, tabelas e sua metateoria.

Rahman e suas equipes de pesquisa (primeiro na Universidade de Saar com Helge Rückert, depois em Lille com o grupo de pragmatismo dialógico , fundado em colaboração com Laurent Keiff, propuseram uma redescoberta da lógica dialógica em um momento em que estava desaparecendo. Progressivamente na filosofia agenda de pesquisa .

Sob a influência de Rahman, a lógica do diálogo foi convertida em um arcabouço teórico geral que foram estudados, entre outros, lógica livre, lógica modal normal, lógica modal híbrida, lógica modal não normal, lógica modal de primeira ordem, lógica paraconsistente , lógica linear , lógica relevante ou a lógica conexiva ( lógica conexiva ).

Uma vantagem dessa abordagem é que a lógica dialógica pode ser usada como uma ponte entre a teoria do modelo e a teoria da prova , mas também como um método para gerar tabelas para lógicas cuja semântica não seja óbvia, como a lógica linear ou lógica relacionada. A perspectiva dialógica das lógicas não clássicas foi a ocasião para ricas discussões.

Em 1995, em palestra no Instituto Max Planck de Ciências da Computação em Saarbrücken , Dov Gabbay destacou que os novos desenvolvimentos na interface entre jogos e lógica (que fornecem a base técnica para a abordagem dialógica) oferecem a possibilidade de usar o diálogo como um tipo de sistema de dedução para a abordagem pragmática. Em 1999, Rahman e Rückert organizaram um workshop intitulado New Perspectives in Dialogical Logic in Saarbrücken, que resultou na publicação de Synthesis. Este livro atesta uma reconsideração das ligações entre jogos e lógica, principalmente nas ciências da computação e inteligência artificial.

Patrick Blackburn escreveu em New Perspectives in Dialogical Logic em resposta ao artigo de Rahman e Rückert sobre a dialógica da lógica modal, um artigo publicado na Logique et Analyze onde ele estabelece uma relação entre os diálogos encontrados em linguagens híbridas e uma das descobertas mais interessantes na lógica modal contemporânea: a noção de bi-simulação. No mesmo volume, Gabriel Sandu apresentou outro importante desenvolvimento de um trabalho sobre a interface entre jogos e lógica, o da lógica linear. A lógica linear e sua generalização, projeto lúdico de Jean-Yves Girard, é uma das preocupações do grupo Lille.

No projecto elaborado para a sua entrada no Directório Internacional dos lógicos, Rahman diz que a lógica tem um papel central nos programas da filosofia da ciência de pesquisa XX th  século. Os críticos históricos e sociológicos dos anos 60 baniram a lógica da filosofia da ciência, acusando-a de reduzir a ciência a um conjunto de proposições ligadas entre si pela lógica clássica. Mas isso não significa que a colaboração entre lógica, filosofia e história da ciência deva ser abandonada.

Em vez disso, a lógica deve abordar a ciência com ferramentas novas e mais sofisticadas, capazes de lidar com proposições em um contexto, descrevendo esse contexto e sua dinâmica. Isso é possível se desenvolvermos a interface entre jogos e lógica, entre teoria da revisão de crenças e teorias dos jogos, e entre teoria da decisão e teoria do argumento. Esta afirmação é a base do projeto Kluwer-Springer lançado em 2001 por Rahman e John Symons e o primeiro volume do qual foi publicado em 2004 na coleção Logic, Epistemology and the Unity of Science , editada por Rahman, Symons e Gabbay.

Os projetos editoriais de Rahman visam fornecer à comunidade filosófica as ferramentas adequadas para que ela possa resolver os problemas clássicos da filosofia da ciência, com a ajuda dos desenvolvimentos atuais em lógica matemática e, mais particularmente, em sua ligação com a teoria dos jogos. É esta mesma ambição que move as outras coleções de Publicações do Colégio, por exemplo, os Cahiers de Logique et d'Épistémologie e sua versão em espanhol, o Cuadernos de Lógica, Epistemología y Lenguaje , ou a coleção "Diálogos" na Publicação do Colégio e a Lógica , Coleção Argumentation and Reasoning na Springer.

São, portanto, essas perspectivas que inspiram o trabalho de Rahman, seus colaboradores e seus alunos, em uma grande diversidade de abordagens, incluindo a lógica em Aristóteles, a lógica Jain, a lógica árabe e a Argumentação, a lógica linear, a da revisão das crenças , a teoria da argumentação , lógica e direito, ou a abordagem dialógica da Teoria Construtiva dos Tipos de Per Martin Löf . Muitos desses desenvolvimentos resultam do estudo das consequências semânticas e lógicas da modificação das regras estruturais e / ou da extensão do conjunto de constantes lógicas. Na verdade, eles mostram como implementar a ' concepção dialógica de regras estruturais de inferência' , como enfraquecimento e contração. As publicações mais recentes mostram como desenvolver ' diálogos materiais' (ou seja, diálogos para linguagens interpretadas) em vez de diálogos limitados à validade lógica. Essa nova abordagem dos diálogos com o ' conteúdo' , chamada de raciocínio imanente , é o resultado mais importante da abordagem dialógica da teoria dos tipos construtivos. Entre as aplicações do raciocínio imanente estão a elucidação do papel da dialética na silogística de Aristóteles e a formulação de diálogos cooperativos para o direito. e raciocínio por paralelismo ou analogia.

Trabalho

Alguns trabalhos

Autor

editor

1999: Wege zur Vernunft . S. Rahman / K. Buchholz / I. Weber (ed). Frankfurt, Nova York: Campus Verlag.

2001: Novas Perspectivas em Lógica Dialógica . S. Rahman / H. Rückert (ed.): Synthesis (vol. 125).

2004: Lógica, epistemologia e unidade da ciência . S. Rahman / J. Symons / D. Gabbay. Dordrecht: Kluwer.

2007: A influência da genética no pensamento contemporâneo . A. Fagot-Largeault, S. Rahman, JM Torres (eds.). Incluye contribuciones de: F. Jacob –Nobel Prize (1965), F. Ayala, C. Debru, A. Fagot-Largeault, J. Gayon, K. Matsuno, M. Morange .. Kluwer-Springer, 2007.

2008: A Unidade da Ciência na Tradição Árabe . S. Rahman (Lille3), Tony Street (Cambridge), Hassan Tahiri (Lille3) (ed.), Kluwer-Springer, 2008.

2008: Verdade, Unidade e o Mentiroso . S. Rahman, T. Tulenheimo, E. Genot (eds) Kluwer Springer 2008.

2010: Atos de Conhecimento . S. Rahman, G. Primiero (eds). Publicações da faculdade, 2010.

2010: Abordagens para a racionalidade legal Gabbay , DM; Canivez, P.; Rahman, S.; Thiercelin, A. (Eds.) Dordrecht: Springer.

2011: Padrões e Ficção . S. Rahman / J. Sievers. Londres: King's Collegue.

2012: O debate (anti) realismo na era das lógicas alternativas . S Rahman / M. Marion / G. Primiero. Springer 2012.

2012: Ciências Especiais e a Unidade das Ciências . O. Pombo / JM Torres / J. Symons / S. Rahman, Springer.

2014: Da escrita à oratura . Ch. Z. Bowao / S. Rahman, London-King's College: College Publications.

Artigos

Bibliografia

Notas e referências

  1. https://univ-lille3.academia.edu/ShahidRahman/CurriculumVitae
  2. Esta formulação visa vincular a perspectiva de Robert Brandom à da lógica do diálogo. Para uma discussão sobre o que eles têm em comum e o que os diferencia, ver S. Rahman, Z. McConaughey, A. Klev, N. Clerbout: Imanent Reasoning Or Equality in Action. Um Plaidoyer para o nível Play . Springer (2018), pp. 10-12 e 268-272
  3. S. Rahman, Über Dialogue protologische Kategorien und andere Seltenheiten . Frankfurt 1993 ( ISBN  3-631-46583-1 )
  4. “Sobre Diálogos e Ontologia. A abordagem dialógica da lógica livre ”. S. Rahman / M. Fishmann / H. Rückert. Logic and Analysis , 1997, vol. 160. pp. 357-374.
    “No pesadelo de Frege. Uma combinação de lógica intuicionista, livre e paraconsistente ”. S. Rahman. Em H. Wansing (ed.), Essays on Non-Classical Logic, World Scientific, New Jersey, Londres, Cingapura, Hong Kong, 2001, pp. 61-85.
    “Domínios Ontológicos de Hugh MacColl”. Journal of Philosophy and Science , 2010, novembro, pp. 7-24.
    “Rumo a uma semântica para a teoria artefatual da ficção e além” S. Rahman / M. *Fonte. Synthesis , 2014, vol. 191 (3), pp. 499-516.
  5. “Dialogische Modallogik (für T, B, S4, und S5)”. S. Rahman / H. Rückert. Logic and Analysis , 1999, vol. 167-168.
    “O diálogo temporal ou Patrick Blackburn sozinho”. Rahman, S., Damien, L. e Gorisse, MH Philosophia Scientiae , 2004, 8 (2), pp. 39–59.
  6. “A abordagem dialógica da paraconsistência”. S. Rahman / W. Carnielli, Synthese , 2001, vol 125, No. 1-2. 201-232.
    “Dialogical Connexive Logic. Rahman, S. e Rückert, H. Synthese , 2001, vol 125, No. 1-2., Pp. 105–139.
    “Un desafío para las teorías cognitivas de la competencia lógica: los fundamentos pragmáticos de la semántica de la lógica linear”. S. Rahman Manuscrito , vol. XXV-2, pp. 383-432.
    “Uma lógica não normal para um mundo maravilhoso e muito mais”. S. Rahman. Em J. van Benthem et alia The Age of Alternative Logics . Kluwer-Springer, pp. 311-334.
    "Negação na lógica do recrutamento de primeiro grau e Tonk. Um estudo dialógico". Em G. Primiero et alii (ed.). (Anti) Realismo. O debate realismo-realismo na era das lógicas alternativas . Springer, 2012, pp. 175-202.
    “Apresentando consistência em uma estrutura dialógica para lógica paraconsistente”. Eduardo Barrio, Nicolas Clerbout e Shahid Rahman,. IGPL-Oxford University Press , 2018. Online primeiro em https://doi.org/10.1093/jigpal/jzy069
  7. "Novas Perspectivas em Lógica Dialógica.". S. Rahman, H. Rückert (ed.). Synthesis , vol. 127, No 1-2 de abril / maio de 2001.
  8. “Dos jogos aos diálogos e vice-versa: em direção a um quadro geral de validade”. S. Rahman e T. Tulenheimo. Em O. Majer, A. Pietarinen e T. Tulenheimo (eds.), Games: Unifying Logic, Language, and Philosophy , Primavera, 2006, pp. 153-208.
    “O Besouro na Caixa: Explorando Diálogos IF”. S. Rahman e C. Degremont. Philosophica Fennica , 2006, ( ISBN  951-9264-57-4 ) ., Pp. 91-122
  9. "Lógica modal como lógica dialógica". P. Blackburn. Synthesis , 2001, vol. 127, n ° 1-2 de abril / maio, pp. 57-93.
  10. “Dialogische Modallogik (für T, B, S4, und S5)”. S. Rahman / H. Rückert. Logic and Analysis , 1999, vol. 167-168.
  11. Gabbay, Dov M. e Woods, John (2009). Diretório Internacional de Lógicos. Quem é quem na lógica. Londres: Publicações da faculdade. pp. 293-295.
  12. Também no contexto de 'diálogos cooperativos para a busca de regras estruturais' - ver Keiff (2007). Esses resultados parecem ter sido negligenciados no artigo Paradoxos e regras estruturais de uma perspectiva dialógica . Catarina Dutilh Novaes e Rohan French. Philosophical Issues 28 (1), pp. 129-158 (2018).
  13. Isso responde a novas e velhas críticas à abordagem dialógica, como as de C. Duthil-Novaes, (2015). "" A Dialogical, Multiagent Account of the Normativity of Logic ". Dialectica , 69 (4), pp. 587-609, e W. Hodges (2001)." Dialogue foundations: A skeptical look ". Aristotelian Society Supplementary , 75 ( 1), pp. 17-32.
  14. "Aristóteles e a Questão da Completude. O Modelo Formal de Kurt Ebbinghaus". Filosofia Antiga . S. Rahman e C. Lion, 2018, vol. 18, Octubre.
    "A Dialogical Semmantics for Bonanno's System of Belief Revision". S. Rahman / V. Fiutek / H. Rückert. In: Construções . P. Bour et alii (ed.), College Publications, 2010, pp. 315-334.
    “Context Sensitivity in Jain Philosophy. Um estudo dialógico do comentário de Siddharsigani sobre o manual de lógica ”. S. Rahman / N. Clerbout / MH Gorisse. Journal of Philosophical Logic , 2011, volume 40, número 5, pp. 633-662.
    "Abordagem de Ibn Sina para a igualdade e a unidade". Cambridge Journal for Arabic Sciences and Philosophy . S. Rahman / J. Granström / Z. Salloum. 4 (02), 2014, pp. 297-307.
    "On Hypothetical Judgments and Leibniz's Notion of Conditional Right ". In M. Armgardt P. Canivez. S. Chassagnard-Pinet (ed.): GW Leibniz: Past and Present Interactions in Legal Reasoning , Springer, 2015, pp. 109-168.
    " The Dialogical Take on Martin -Löf's Proof of the Axiom of Choice. ”Rahman, S. / Jovanovic, R. / Clerbout, N. 2015. South American Journal of Logic , 2015, pp. 179-208.
    “ Armonía Dialógica. Tonk ,, Teoría Constructiva de Tipos y Reglas para Jugadores Anônimos ”(Harmonia dialógica: Tonk, Teoria dos tipos construtivos e regras para jogadores anônimos”). Theoria . S. Rahman / J. Redmond, 2016, 31/1, pp. 27-53.
    "Desdobrando o raciocínio paralelo na jurisprudência islâmica. Significado epistêmico e dialético dentro do Sistema de Inferências Co-Relacionais do Fator Ocasionante de Abū Isḥāq al-Shīrāzī". Shahid Rahman. Muhammad Iqbal. Cambridge Journal of Arab Sciences and Philosophy . 2018, vol. 28, pp. 67-132.
    Raciocínio Imanente e o Dialógico ou Igualdade de Ação. Um Plaidoyer para o nível Play . Com Ansten Klev, Zoe McConaughey e Nicolas Clerbout., 2018, Springer.

links externos