Shahid Rahman

Shahid Rahman Bilde i infoboks. Biografi
Fødsel 20. oktober 1956
New Delhi, India
Nasjonaliteter Argentinsk tysk
Opplæring Universidad Nacional del Sur, Friedrich-Alexander-Universität Erlangen-Nürnberg, Universität des Saarlandes
Aktivitet Filosof og matematiker
Aktivitetsperiode 1993 -
Ektefelle Cheryl lobb
Barn Laura Milena, Djamal-Alexander
Annen informasjon
Veileder Kuno Lorenz ( d )

Shahid Rahman , født i 1956 i New Delhi , er en filosof og matematiker med dobbelt argentinsk og tysk nasjonalitet, professor i logikk og epistemologi ved Lille III universitet .

Han er spesielt kjent for sin utvikling av dialogens logikk .

Biografi

Rahman studerte filosofi i Argentina. Deretter oppnådde han en mastergrad i filosofi og matematikk og filologi (1986-1989) ved Friedrich-Alexander-Universität Erlangen-Nürnberg , Tyskland.

Shahid Rahman er doktorgrad i filosofi, psykologi og filologi fra University of Saarland , Saarbrücken, Tyskland. Hans avhandling, under veiledning av Kuno Lorenz (disippel av Paul Lorenzen ), i 1993, handlet om logikken i dialog fra kategoriets teori . Hans Habilitation à la Direction de Recherche, i 1997, ble viet til Hugh MacColl , problemene med fiksjoner, tilknyttet logikk og historien til ikke-klassisk logikk.

Fra 1996 til 1998 var han førsteamanuensisforsker ved Saarlands universitet . Mellom 1997 og 2000 var han forsker ved Max-Planck Institute for Informatics og Deutsches Forschungszentrum für Künstliche Intelligenz , Tyskland. I 1999 var han fungerende direktør for filosofiavdelingen ved Saarlands universitet.

Siden 2001 har han vært professor i logikk og epistemologi ved Universitetet i Lille (Frankrike). Han er også forsker ved UMR CNRS 8163: STL. Medlem (2016-2018) av Scientific Council of the Houses of the National Network of Human Sciences , Frankrike. Medlem av komiteen til Eric Weil Institute , direktør (for Frankrike) for det fransk-tyske ANR-DFG fransk-tyske prosjektet 2012-2015 Lille (Treillis) / Konstanz, prof M. Armgardt: “Théorie du Droit et Logique / Jurisprudenz und Logik "(" Teori om lov og logikk / Rettspraksis og logikk ").

Kunstverk

Hans arbeid dekker både logikk, logikkfilosofi og dens historie, inkludert et dialogisk perspektiv på konstruktiv typeteori. Han er hovedforsker innen feltet Dialogic Design of Logic, som han har bidratt til publikasjoner om ikke-klassisk logikk, juridisk resonnement, Aristoteles filosofi og logikk, arabisk logikk og epistemologi., Blant andre områder.

I følge det dialogiske perspektivet blir kunnskap, mening og sannhet oppfattet som et resultat av et sosialt samspill, der normativitet ikke blir forstått som en slags pragmatisk operatør som handler på en proposisjonell kjerne som skal uttrykke kunnskap og mening, men snarere det motsatte: den type normativitet som kommer frem fra den sosiale interaksjonen knyttet til kunnskap og mening, er konstituerende for disse forestillingene. I følge oppfatningen av det dialogiske rammeverket gir sammenveving av rettighetene til å be om årsakene på den ene siden, og pliktene til å oppgi disse grunnene , på den annen side røttene til kunnskap, mening og sannheten.

Dialogisk logikk

Den viktigste delen av arbeidet hans gjelder dialogisk logikk, også kalt dialoglogikk . Dens viktigste bidrag var således å systematisere den for å tillate utvikling og kombinasjon av forskjellige logikker. Siden begynnelsen av 1950-tallet hadde skaperne, Paul Lorenzen og Kuno Lorenz utviklet dialogisk logikk for å finne intuisjonistisk logikk . I 1987, under en intervensjon ved Universitetet i Saarland, foreslo Rahman for første gang koblingen mellom dialogene og topoi for kategoriteori , selv om denne lenken på det tidspunktet bare gjaldt grunnlaget for intuisjonistisk logikk. Den andre delen av doktorgradsavhandlingen, publisert i 1993, utviklet dette forslaget, mens den første delen ble viet til den aller første systematiske studien av forholdet mellom dialoger, tabeller og deres metateori.

Rahman og hans forskerteam (først ved University of Saar med Helge Rückert, deretter i Lille med den dialogiske pragmatismegruppen , grunnlagt i samarbeid med Laurent Keiff, foreslo en gjenoppdagelse av dialogisk logikk i en tid da den forsvant. Gradvis på filosofien. forskningsagenda .

Under påvirkning av Rahman ble dialogens logikk omgjort til et generelt teoretisk rammeverk som ble studert, blant annet fri logikk, modalogikk normal, hybrid modalogikk, ikke-normal modalogikk , modalogikk første orden, parakonsistent logikk , lineær logikk , relevant logikk eller den sammenhengende logikken ( sammenhengende logikk ).

En fordel med denne tilnærmingen er at dialogisk logikk kan brukes som en bro mellom modellteori og bevissteori , men også som en metode for å generere tabeller for logiske hvis semantikk ikke er åpenbar, som lineær logikk eller relatert logikk. Det dialogiske perspektivet på ikke-klassisk logikk var anledningen til rike diskusjoner.

I 1995, i en tale ved Max Planck Institute of Computer Sciences i Saarbrücken , Dov Gabbay påpekte at nye utbygginger i grensesnittet mellom spill og logikk (som gir det tekniske grunnlaget for den dialogiske tilnærmingen) tilbyr muligheten for å bruke dialog som en slags fradragssystem for den pragmatiske tilnærmingen. I 1999 organiserte Rahman og Rückert en workshop med tittelen New Perspectives in Dialogical Logic i Saarbrücken, som resulterte i publiseringen av Synthesis. Denne boken vitner om en revurdering av koblingene mellom spill og logikk, hovedsakelig innen datavitenskap og kunstig intelligens.

Patrick Blackburn skrev i New Perspectives in Dialogical Logic som svar på Rahman og Rückerts papir om dialogen om modal logikk, en artikkel, publisert i Logique et Analyze hvor han etablerer et forhold mellom dialogene som finnes i hybridspråk og en av de mest interessante oppdagelsene. i moderne modalogikk: forestillingen om bi-simulering. I samme bind presenterte Gabriel Sandu en annen viktig utvikling av arbeidet med grensesnittet mellom spill og logikk, den lineære logikken. Lineær logikk og generalisering av den, det lekne prosjektet til Jean-Yves Girard, er en av bekymringene til Lille-gruppen.

I utkastet som ble utarbeidet for sin oppføring i International Directory Of Logicians, sier Rahman at logikk har en sentral rolle i forskningsprogrammene i vitenskapsfilosofien XX -  tallet. De historiske og sosiologiske kritikerne fra sekstitallet forviste logikken fra vitenskapens filosofi ved å beskylde den for å redusere vitenskapen til et sett med proposisjoner knyttet sammen av klassisk logikk. Men det betyr ikke at samarbeidet mellom logikk, filosofi og vitenskapshistorie skal forlates.

Snarere må logikken nærme seg vitenskapen med nye og mer sofistikerte verktøy, som er i stand til å håndtere proposisjoner i en sammenheng, ved å beskrive denne sammenhengen og dens dynamikk. Dette er mulig hvis vi utvikler grensesnittet mellom spill og logikk, mellom teori om revisjon av tro og spillteorier, og mellom beslutningsteori og argumentteori. Denne uttalelsen er grunnlaget for Kluwer-Springer-prosjektet som ble lansert i 2001 av Rahman og John Symons, og hvis første bind ble publisert i 2004 i Logic, Epistemology and the Unity of Science-samlingen , redigert av Rahman, Symons og Gabbay.

Rahmans publiseringsprosjekter tar sikte på å gi det filosofiske samfunnet de riktige verktøyene, slik at det kan løse de klassiske problemene med vitenskapsfilosofien, ved hjelp av den aktuelle utviklingen innen matematisk logikk, og mer spesielt i forbindelse med spillteori. Det er den samme ambisjonen som driver de andre samlingene av College Publications, for eksempel Cahiers de Logique et d'Épistémologie og dens spanske versjon, Cuadernos de Lógica, Epistemología y Lenguaje , eller "Dialogues" -samlingen ved College Publication og Logic , Argumentation and Reasoning collection på Springer.

Det er derfor disse perspektivene som inspirerer arbeidet til Rahman, hans samarbeidspartnere og hans studenter, om et stort mangfold av tilnærminger, inkludert logikk i Aristoteles, Jain-logikk, arabisk logikk og argumentasjon, lineær logikk, den om revisjon av tro , teori om argumentasjon. , logikk og lov, eller den dialogiske tilnærmingen til den konstruktive teorien om typer av Per Martin Löf . Det meste av denne utviklingen skyldes studiet av de semantiske og logiske konsekvensene av modifikasjonen av strukturelle regler og / eller utvidelsen av settet med logiske konstanter. Faktisk viser de hvordan man implementerer den ' dialogiske oppfatningen av strukturelle regler for inferens' som svekkelse og sammentrekning. De siste publikasjonene viser hvordan man utvikler ' materielle dialoger' (dvs. dialoger for tolket språk) i stedet for dialoger begrenset til logisk gyldighet. Denne nye tilnærmingen til dialoger med ' innhold' , kalt immanent resonnement , er det viktigste resultatet av den dialogiske tilnærmingen til konstruktiv typeteori. Blant anvendelsene av immanent resonnement er belysningen av dialektikkens rolle i Aristoteles syllogistikk og formuleringen av samarbeidsdialoger for loven. og resonnement ved parallellitet eller analogi.

Virker

Noen fungerer

Forfatter

Redaktør

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

2001: Nye perspektiver i dialogisk logikk . S. Rahman / H. Rückert (red.): Syntese (bind 125).

2004: Logikk, epistemologi og vitenskapens enhet . S. Rahman / J. Symons / D. Gabbay. Dordrecht: Kluwer.

2007: Innflytelsen av genetikk på moderne tenking . A. Fagot-Largeault, S. Rahman, JM Torres (red.). Incluye contribuciones de: F. Jacob –Prix Nobel (1965), F. Ayala, C. Debru, A. Fagot-Largeault, J. Gayon, K. Matsuno, M. Morange .. Kluwer-Springer, 2007.

2008: Vitenskapens enhet i den arabiske tradisjonen . S. Rahman (Lille3), Tony Street (Cambridge), Hassan Tahiri (Lille3) (red.), Kluwer-Springer, 2008.

2008: Sannhet, enhet og løgner . S. Rahman, T. Tulenheimo, E. Genot (red.) Kluwer Springer 2008.

2010: Kunnskapshandlinger . S. Rahman, G. Primiero (red.). College Publications, 2010.

2010: Approaches to Legal Rationality Gabbay , DM; Canivez, P. Rahman, S.; Thiercelin, A. (Red.) Dordrecht: Springer.

2011: Standarder og skjønnlitteratur . S. Rahman / J. Sievers. London: King's Collegue.

2012: (Anti-) realismedebatten i alderen med alternative logikker . S Rahman / M. Marion / G. Primiero. Springer 2012.

2012: Spesialvitenskap og vitenskapens enhet . O. Pombo / JM Torres / J. Symons / S. Rahman, Springer.

2014: Fra skriving til oratur . Ch. Z. Bowao / S. Rahman, London-King's College: College Publications.

Artikler

Bibliografi

Merknader og referanser

  1. https://univ-lille3.academia.edu/ShahidRahman/CurriculumVitae
  2. Denne formuleringen tar sikte på å knytte Robert Brandoms perspektiv til dialoglogikken . For en diskusjon om hva de har til felles og hva som skiller dem, se S. Rahman, Z. McConaughey, A. Klev, N. Clerbout: Immanent Reasoning Or Equality in Action. En Plaidoyer for Play-nivået . Springer (2018), pp. 10-12 og 268-272
  3. S. Rahman, Über Dialogue protologische Kategorien und andere Seltenheiten . Frankfurt 1993 ( ISBN  3-631-46583-1 )
  4. “På dialoger og ontologi. Den dialogiske tilnærmingen til fri logikk ”. S. Rahman / M. Fishmann / H. Rückert. Logic and Analysis , 1997, vol. 160. s. 357-374.
    “På Freges mareritt. En kombinasjon av intuisjonistiske, gratis og parakonsistente logikker ”. S. Rahman. I H. Wansing (red.), Essays on Non-Classical Logic, World Scientific, New Jersey, London, Singapore, Hong Kong, 2001, pp. 61-85.
    “Hugh MacColls ontologiske domener”. Journal of Philosophy and Science , 2010, november, s. 7-24.
    “Towards a Semantics for the Artifactual Theory of Fiction and Beyond” S. Rahman / M. *Fontene. Synthesis , 2014, vol. 191 (3), s. 499-516.
  5. “Dialogische Modallogik (für T, B, S4, und S5)”. S. Rahman / H. Rückert. Logic and Analysis , 1999, vol. 167-168.
    “The temporal dialogic or Patrick Blackburn by himself”. Rahman, S., Damien, L. og Gorisse, MH Philosophia Scientiae , 2004, 8 (2), pp. 39–59.
  6. “Den dialogiske tilnærmingen til parakonsistens”. S. Rahman / W. Carnielli, Synthese , 2001, bind 125, nr. 1-2. 201-232.
    “Dialogisk sammenhengende logikk. Rahman, S. og Rückert, H. Synthese , 2001, bind 125, nr. 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, s. 383-432.
    "En ikke normal logikk for en fantastisk verden og mer". S. Rahman. I J. van Benthem et alia The Age of Alternative Logics . Kluwer-Springer, pp. 311-334.
    "Negasjon i logikken med første grads entailment og Tonk. En dialogisk studie". I G. Primiero et alii (red.). (Anti) Realisme. Realismen-realismedebatten i alderen med alternative logikker . Springer, 2012, s. 175-202.
    “Introducing Consistency in a Dialogical Framework for Paraconsistent Logic”. Eduardo Barrio, Nicolas Clerbout og Shahid Rahman,. IGPL-Oxford University Press , 2018. Online først i https://doi.org/10.1093/jigpal/jzy069
  7. "Nye perspektiver i dialogisk logikk.". S. Rahman, H. Rückert (red.). Synthesis , vol. 127, nr. 1-2 april / mai 2001.
  8. “Fra spill til dialog og tilbake: mot en generell ramme for gyldighet”. S. Rahman og T. Tulenheimo. I O. Majer, A. Pietarinen og T. Tulenheimo (red.), Games: Unifying Logic, Language, and Philosophy. Spring, 2006, pp. 153-208.
    “The Beetle in the Box: Exploring IF-Dialogues”. S. Rahman og C. Degremont. Philosophica Fennica , 2006, ( ISBN  951-9264-57-4 ) ., Pp. 91-122
  9. "Modal Logic as Dialogical Logic". P. Blackburn. Synthesis , 2001, vol. 127, nr. 1-2 april / mai, s. 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. og Woods, John (2009). Internasjonal katalog over logikere. Hvem er hvem i logikken. London: College Publications. pp. 293-295.
  12. Også i sammenheng med 'samarbeidsdialoger for jakten på strukturelle regler' - se Keiff (2007). Disse resultatene ser ut til å ha blitt oversett i artikkelen Paradokser og strukturelle regler fra et dialogisk perspektiv . Catarina Dutilh Novaes og Rohan French. Filosofiske spørsmål 28 (1), s. 129-158 (2018).
  13. Dette reagerer på nye og gamle kritikker av den dialogiske tilnærmingen som de fra C. Duthil-Novaes, (2015). "" A Dialogical, Multiagent Account of the Normativity of Logic ". Dialectica , 69 (4), s. 587-609, og W. Hodges (2001)." Dialogfundamenter: Et skeptisk blikk ". Aristotelian Society Supplementary , 75 ( 1), s. 17-32.
  14. "Aristoteles og spørsmålet om fullstendighet. Kurt Ebbinghaus 'formelle modell". Gammel filosofi . S. Rahman og C. Lion, 2018, vol. 18, Octubre.
    "A Dialogical Semantics for Bonanno's System of Belief Revision". S. Rahman / V. Fiutek / H. Rückert. I: Konstruksjoner . P. Bour et alii (red.), College Publications, 2010, pp. 315-334.
    “Kontekstfølsomhet i Jain-filosofien. En dialogisk studie av Siddharsiganis kommentar til logikkhåndboken ”. S. Rahman / N. Clerbout / MH Gorisse. Journal of Philosophical Logic , 2011, bind 40, nummer 5, s. 633-662.
    "Ibn Sina's Approach to equity and unity". Cambridge Journal for Arabic Sciences and Philosophy . S. Rahman / J. Granström / Z. Salloum. 4 (02), 2014, s. 297-307.
    "On Hypothetical Judgments and Leibniz's Notion of Conditional Right ". I M. Armgardt P. Canivez. S. Chassagnard-Pinet (red.): GW Leibniz: Past and Present Interactions in Legal Reasoning , Springer, 2015, s. 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, s. 179-208.
    “ Armonía Dialógica. Tonk ,, Teoría Constructiva de Tipos y Reglas para Jugadores Anónimos ”(Dialogical Harmony: Tonk, Constructive Type Theory and Rules for Anonymous Players”). Theoria . S. Rahman / J. Redmond, 2016, 31/1, s. 27-53.
    "Utfoldelse av parallell resonnering i islamsk rettsvitenskap. Epistemisk og dialektisk mening innenfor Abū Isḥāq al-Shīrāzīs System for Co-Relational Inferences of the Occasioning Factor". Shahid Rahman. Muhammad Iqbal. Cambridge Journal of Arabic Sciences and Philosophy . 2018, vol. 28, s. 67-132.
    Immanent resonnement og dialog eller likhet i handling. En Plaidoyer for Play-nivået . Med Ansten Klev, Zoe McConaughey og Nicolas Clerbout., 2018, Springer.

Eksterne linker