Shahid Rahman

Shahid Rahman Immagine in Infobox. Biografia
Nascita 20 ottobre 1956
Nuova Delhi, India
Nazionalità Tedesco
argentino
Formazione Universidad Nacional del Sur, Friedrich-Alexander-Universität Erlangen-Nürnberg, Universität des Saarlandes
Attività Filosofo e matematico
Periodo di attività 1993 -
Coniuge Cheryl lobb
Bambino Laura Milena, Djamal-Alexander
Altre informazioni
Supervisore Kuno Lorenz ( d )

Shahid Rahman , nato nel 1956 a New Delhi , è un filosofo e matematico, che ha doppia argentino e nazionalità tedesca, professore di logica e dell'epistemologia a Lille III Università .

È particolarmente noto per il suo sviluppo della logica del dialogo .

Biografia

Rahman ha studiato filosofia in Argentina. Ha poi conseguito un Master in Filosofia e Matematica e Filologia (1986-1989) presso la Friedrich-Alexander-Universität Erlangen-Nürnberg , in Germania.

Shahid Rahman ha conseguito un dottorato in filosofia, psicologia e filologia presso l' Università del Saarland , Saarbrücken, Germania. La sua tesi, sotto la supervisione di Kuno Lorenz (discepolo di Paul Lorenzen ), nel 1993, si è concentrata sulla logica del dialogo dal punto di vista della teoria delle categorie . La sua Habilitation à la Direction de Recherche, nel 1997, è stata dedicata a Hugh MacColl , ai problemi delle finzioni, alla logica connessa e alla storia delle logiche non classiche.

Dal 1996 al 1998 è stato ricercatore associato presso l' Università del Saarland . Tra il 1997 e il 2000 è stato ricercatore presso il Max-Planck Institute for Informatics e il Deutsches Forschungszentrum für Künstliche Intelligenz , Germania. Nel 1999 è stato direttore ad interim del dipartimento di filosofia presso l'Università del Saarland.

Dal 2001 è professore ordinario di logica ed epistemologia presso l'Università di Lille (Francia). È anche ricercatore presso UMR CNRS 8163: STL. Membro (2016-2018) del Consiglio Scientifico delle Case della Rete Nazionale delle Scienze Umane , Francia. Membro del comitato dell'Istituto Eric Weil , Direttore (per la Francia) del progetto franco-tedesco ANR-DFG franco-tedesco 2012-2015 Lille (Treillis) / Konstanz, Prof M. Armgardt: “Théorie du Droit et Logique / Jurisprudenz und Logik "(" Teoria del diritto e logica / Giurisprudenza e logica ").

Opera

Il suo lavoro copre sia la logica, la filosofia della logica e la sua storia, inclusa una prospettiva dialogica sulla teoria dei tipi costruttivi. È il principale studioso nel campo del Dialogical Design of Logic, al quale ha contribuito a pubblicazioni sulla logica non classica, il ragionamento giuridico, la filosofia e la logica di Aristotele, la logica araba e l'epistemologia, tra le altre aree.

Secondo la prospettiva dialogica, conoscenza, significato e verità sono concepiti come il risultato di un'interazione sociale, dove la normatività non è intesa come una sorta di operatore pragmatico che agisce su un nucleo proposizionale che si suppone esprima conoscenza e significato, ma piuttosto il contrario: il il tipo di normatività che emerge dall'interazione sociale collegata alla conoscenza e al significato è costitutiva di queste nozioni. In altre parole, secondo la concezione del quadro dialogico, l'intreccio dei diritti di chiedere le ragioni, da un lato, e dei doveri di dare queste ragioni , dall'altro, fornisce le radici della conoscenza, del significato e la verità.

Logica dialogica

La parte più importante del suo lavoro riguarda la logica dialogica chiamata anche logica del dialogo . Il suo contributo principale è stato quindi quello di sistematizzarlo per consentire lo sviluppo e la combinazione di logiche diverse. Dall'inizio degli anni '50, i suoi creatori, Paul Lorenzen e Kuno Lorenz, avevano sviluppato la logica dialogica per fondare la logica intuizionista . Nel 1987, durante un intervento all'Università del Saarland, Rahman suggerì per la prima volta il legame tra i dialoghi e i topoi della teoria delle categorie , anche se all'epoca questo legame riguardava solo i fondamenti della teoria delle categorie, logica intuizionista. La seconda parte della sua tesi di dottorato, pubblicata nel 1993, ha sviluppato questo suggerimento, mentre la prima parte è stata dedicata al primissimo studio sistematico delle relazioni tra dialoghi, tavole e loro metateoria.

Rahman e il suo gruppo di ricerca (prima all'Università della Saar con Helge Rückert, poi a Lille con il gruppo di pragmatismo dialogico , fondato in collaborazione con Laurent Keiff, hanno proposto una riscoperta della logica dialogica in un momento in cui stava scomparendo. Progressivamente sulla filosofia agenda di ricerca .

Sotto l'influenza di Rahman, la logica del dialogo è stata convertita in un quadro teorico generale che sono stati studiati, tra gli altri, logica libera, logica modale normale, logica modale ibrida, logica modale non normale, logica modale del primo ordine, logica paraconsistente , logica lineare , logica rilevante o logica connessa ( logica connessa ).

Un vantaggio di questo approccio è che la logica dialogica può essere utilizzata come ponte tra la teoria dei modelli e la teoria della dimostrazione , ma anche come metodo per generare tabelle per logiche la cui semantica non è ovvia, come la logica lineare o la logica correlata. La prospettiva dialogica sulle logiche non classiche è stata l'occasione per ricche discussioni.

Nel 1995, in un discorso al Max Planck Institute of Computer Sciences di Saarbrücken , Dov Gabbay ha sottolineato che i nuovi sviluppi nell'interfaccia tra giochi e logica (che forniscono la base tecnica per l'approccio dialogico) offrono la possibilità di utilizzare i dialoghi come una sorta di sistema di detrazione per l'approccio pragmatico. Nel 1999 Rahman e Rückert hanno organizzato a Saarbrücken un seminario intitolato Nuove prospettive nella logica dialogica , che ha portato alla pubblicazione di Synthesis. Questo libro testimonia una riconsiderazione dei legami tra giochi e logica, principalmente all'interno delle scienze informatiche e dell'intelligenza artificiale.

Patrick Blackburn ha scritto in New Perspectives in Dialogical Logic in risposta al documento di Rahman e Rückert sui dialogici della logica modale, un articolo, pubblicato su Logique et Analyse dove stabilisce una relazione tra i dialoghi trovati nei linguaggi ibridi e una delle scoperte più interessanti nella logica modale contemporanea: la nozione di bi-simulazione. Nello stesso volume, Gabriel Sandu ha presentato un altro importante sviluppo del lavoro sull'interfaccia tra giochi e logica, quello della logica lineare. La logica lineare e la sua generalizzazione, il progetto ludico di Jean-Yves Girard, è una delle preoccupazioni del gruppo di Lille.

Nel progetto elaborato per la sua entrata in elenco internazionale di logici, Rahman dice che la logica ha un ruolo centrale nei programmi di ricerca della filosofia della scienza XX °  secolo. I critici storici e sociologici degli anni Sessanta bandirono la logica dalla filosofia della scienza accusandola di ridurre la scienza a un insieme di proposizioni legate tra loro dalla logica classica. Ma ciò non significa che la collaborazione tra logica, filosofia e storia della scienza debba essere abbandonata.

Piuttosto, la logica deve avvicinarsi alla scienza con strumenti nuovi e più sofisticati, in grado di trattare le proposizioni in un contesto, descrivendo questo contesto e le sue dinamiche. Ciò è possibile se sviluppiamo l'interfaccia tra giochi e logica, tra teoria della revisione delle credenze e teorie dei giochi, e tra teoria della decisione e teoria argomentativa. Questa affermazione è alla base del progetto Kluwer-Springer lanciato nel 2001 da Rahman e John Symons e il cui primo volume è stato pubblicato nel 2004 nella raccolta Logic, Epistemology and the Unity of Science , a cura di Rahman, Symons e Gabbay.

I progetti editoriali di Rahman mirano a fornire alla comunità filosofica gli strumenti appropriati affinché possa risolvere i problemi classici della filosofia della scienza, con l'aiuto degli attuali sviluppi della logica matematica, e più in particolare nel suo legame con la teoria dei giochi. È questa stessa ambizione che guida le altre raccolte di pubblicazioni universitarie, ad esempio i Cahiers de Logique et d'Épistémologie e la sua versione spagnola, i Cuadernos de Lógica, Epistemología y Lenguaje o la raccolta "Dialogues" presso College Publication and the Logic , Argumentation and Reasoning collection presso Springer.

Sono quindi queste prospettive che ispirano il lavoro di Rahman, dei suoi collaboratori e dei suoi studenti, su una grande diversità di approcci tra cui la logica in Aristotele, la logica Jain, la logica araba e l'Argumentazione, la logica lineare, quella della revisione delle credenze , la teoria dell'argomentazione , logica e diritto, o l'approccio dialogico alla teoria costruttiva dei tipi di Per Martin Löf . La maggior parte di questi sviluppi deriva dallo studio delle conseguenze semantiche e logiche della modifica delle regole strutturali e / o dell'estensione dell'insieme delle costanti logiche. In effetti, mostrano come implementare la " concezione dialogica delle regole strutturali di inferenza" come l'indebolimento e la contrazione. Le pubblicazioni più recenti mostrano come sviluppare " dialoghi materiali" (cioè dialoghi per lingue interpretate) piuttosto che dialoghi limitati alla validità logica. Questo nuovo approccio ai dialoghi con " contenuto" , chiamato ragionamento immanente , è il risultato più importante dell'approccio dialogico alla teoria dei tipi costruttiva. Tra le applicazioni del ragionamento immanente vi sono la delucidazione del ruolo della dialettica nella sillogistica di Aristotele e la formulazione di dialoghi cooperativi per il diritto. e ragionare per parallelismo o analogia.

Lavori

Alcuni lavori

Autore

Editor

1999: Wege zur Vernunft . S. Rahman / K. Buchholz / I. Weber (a cura di). Francoforte, New York: Campus Verlag.

2001: Nuove prospettive nella logica dialogica . S. Rahman / H. Rückert (a cura di): Synthesis (vol. 125).

2004: Logica, epistemologia e unità della scienza . S. Rahman / J. Symons / D. Gabbay. Dordrecht: Kluwer.

2007: L'influenza della genetica sul pensiero contemporaneo . A. Fagot-Largeault, S. Rahman, JM Torres (a cura di). 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: L'unità della scienza nella tradizione araba . S. Rahman (Lille3), Tony Street (Cambridge), Hassan Tahiri (Lille3) (a cura di), Kluwer-Springer, 2008.

2008: Verità, unità e bugiardo . S. Rahman, T.Tulenheimo, E. Genot (a cura di) Kluwer Springer 2008.

2010: Atti di conoscenza . S. Rahman, G. Primiero (a cura di). Pubblicazioni universitarie, 2010.

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

2011: Standard e finzione . S. Rahman / J. Sievers. Londra: King's Collegue.

2012: Il dibattito (anti) realismo nell'era delle logiche alternative . S Rahman / M. Marion / G. Primiero. Springer 2012.

2012: Scienze speciali e unità delle scienze . O. Pombo / JM Torres / J. Symons / S. Rahman, Springer.

2014: dalla scrittura all'oratura . Ch. Z. Bowao / S. Rahman, London-King's College: College Publications.

Articoli

Bibliografia

Note e riferimenti

  1. https://univ-lille3.academia.edu/ShahidRahman/CurriculumVitae
  2. Questa formulazione mira a collegare la prospettiva di Robert Brandom a quella della logica del dialogo. Per una discussione su ciò che hanno in comune e su ciò che li distingue, vedere S. Rahman, Z. McConaughey, A. Klev, N. Clerbout: Immanent Reasoning Or Equality in Action. Un plaidoyer per il livello di gioco . Springer (2018), pagg. 10-12 e 268-272
  3. S. Rahman, Über Dialogue protologische Kategorien und andere Seltenheiten . Francoforte 1993 ( ISBN  3-631-46583-1 )
  4. “Dialoghi e ontologia. L'approccio dialogico alla logica libera ”. S. Rahman / M. Fishmann / H. Rückert. Logica e analisi , 1997, vol. 160. pagg. 357-374.
    “Sull'incubo di Frege. Una combinazione di logiche intuitive, libere e paraconsistenti ”. S. Rahman. In H. Wansing (a cura di), Essays on Non-Classical Logic, World Scientific, New Jersey, Londra, Singapore, Hong Kong, 2001, pp. 61-85.
    "Domini ontologici di Hugh MacColl". Journal of Philosophy and Science , 2010, novembre, pp. 7-24.
    "Verso una semantica per la teoria artefattuale della finzione e oltre" S. Rahman / M. *Fontana. Sintesi , 2014, vol. 191 (3), pagg. 499-516.
  5. "Dialogische Modallogik (für T, B, S4, und S5)". S. Rahman / H. Rückert. Logica e analisi , 1999, vol. 167-168.
    "Il dialogico temporale o Patrick Blackburn da solo". Rahman, S., Damien, L. e Gorisse, MH Philosophia Scientiae , 2004, 8 (2), pagg. 39–59.
  6. "L'approccio dialogico alla paraconsistenza". S. Rahman / W. Carnielli, Synthese , 2001, vol 125, n. 1-2. 201-232.
    “Dialogical Connexive Logic. Rahman, S. e Rückert, H. Synthese , 2001, vol 125, n. 1-2., Pagg. 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, pagg. 383-432.
    "Una logica non normale per un mondo meraviglioso e non solo". S. Rahman. In J. van Benthem et alia The Age of Alternative Logics . Kluwer-Springer, pagg. 311-334.
    "Negazione nella logica del primo grado Entailment e Tonk. Uno studio dialogico". In G. Primiero et alii (a cura di). (Anti) realismo. Il dibattito realismo-realismo nell'era delle logiche alternative . Springer, 2012, pagg. 175-202.
    "Introduzione della coerenza in un quadro dialogico per la logica paraconsistente". Eduardo Barrio, Nicolas Clerbout e Shahid Rahman,. IGPL-Oxford University Press , 2018. Prima online su https://doi.org/10.1093/jigpal/jzy069
  7. "Nuove prospettive nella logica dialogica". S. Rahman, H. Rückert (a cura di). Synthesis , vol. 127, n. 1-2 aprile / maggio 2001.
  8. “Dai giochi ai dialoghi e ritorno: verso un quadro generale di validità”. S. Rahman e T. Tulenheimo. In O. Majer, A. Pietarinen e T. Tulenheimo (a cura di), Games: Unifying Logic, Language, and Philosophy. Spring, 2006, pp. 153-208.
    "The Beetle in the Box: Exploring IF-Dialogues". S. Rahman e C. Degremont. Philosophica Fennica , 2006, ( ISBN  951-9264-57-4 ) ., Pp. 91-122
  9. "Logica modale come logica dialogica". P. Blackburn. Sintesi , 2001, vol. 127, n. 1-2 aprile / maggio, pp. 57-93.
  10. "Dialogische Modallogik (für T, B, S4, und S5)". S. Rahman / H. Rückert. Logica e analisi , 1999, vol. 167-168.
  11. Gabbay, Dov M. e Woods, John (2009). Elenco internazionale dei logici. Chi è chi in logica. Londra: pubblicazioni universitarie. pp. 293-295.
  12. Anche nel contesto dei "dialoghi cooperativi per la ricerca di regole strutturali" - vedi Keiff (2007). Questi risultati sembrano essere stati trascurati nell'articolo Paradossi e regole strutturali da una prospettiva dialogica . Catarina Dutilh Novaes e Rohan French. Questioni filosofiche 28 (1), pp. 129-158 (2018).
  13. Ciò risponde a nuove e vecchie critiche all'approccio dialogico come quelle di 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), pagg. 17-32.
  14. "Aristotele e la questione della completezza. Il modello formale di Kurt Ebbinghaus". Filosofia antica . S. Rahman e C. Lion, 2018, vol. 18, Octubre.
    "A Dialogical Semantics for Bonanno's System of Belief Revision". S. Rahman / V. Fiutek / H. Rückert. In: Costruzioni . P. Bour et alii (a cura di), College Publications, 2010, pagg. 315-334.
    “Sensibilità al contesto nella filosofia Jain. Uno studio dialogico del commento di Siddharsigani al manuale di logica ”. S. Rahman / N. Clerbout / MH Gorisse. Journal of Philosophical Logic , 2011, volume 40, numero 5, pagg. 633-662.
    "Ibn Sina's Approach to uguaglianza e unità". 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 del diritto condizionale ". 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 "(Dialogical Harmony: Tonk, Constructive Type Theory and Rules for Anonymous Players"). Theoria . S. Rahman / J. Redmond, 2016, 31/1, pagg. 27-53.
    "Dispiegare il ragionamento parallelo nella giurisprudenza islamica. Significato epistemico e dialettico all'interno del sistema di inferenze co-relazionali del fattore occasionale di Abū Isḥāq al-Shīrāzī". Shahid Rahman. Muhammad Iqbal. Cambridge Journal of Arabic Sciences and Philosophy . 2018, vol. 28, pagg. 67-132.
    Ragionamento immanente e dialogo o uguaglianza in azione. Un plaidoyer per il livello di gioco . Con Ansten Klev, Zoe McConaughey e Nicolas Clerbout., 2018, Springer.

link esterno