Logique informelle

La logique informelle, intuitivement, est l'étude des principes de la logique et de la pensée logique en dehors d'une théorie formelle, c'est-à-dire abstraite. Cependant, peut-être à cause de la mention du terme informelle dans le titre, la définition précise de la logique informelle est un sujet de litige. Ralph H. Johnson et J. Anthony Blair définissent la logique informelle comme « une branche de la logique dont la tâche est de développer des normes, des critères, des procédures non formels pour l'analyse, l'interprétation, l'évaluation, la critique et la construction de l'argumentation ». Cette définition reflète ce qui avait été implicite dans leur pratique et ce que les autres voulaient dire à travers leurs textes de logique informelle. La logique informelle est associée à l'étude des sophismes (informels), la pensée critique, et et la théorie de l'argumentation. Frans H. van Eemeren écrit que le nom "logique informelle" couvre une "collection d'approches normatives à l'étude du raisonnement dans le langage ordinaire, qui restent plus près de la pratique de l'argumentation que la logique formelle." La logique informelle est apparue à la fin des années 1970 comme un sous-domaine de la philosophie. La dénomination de ce champ a été précédée par l'apparition d'un certain nombre de manuels scolaires qui ont rejeté l'approche symbolique à la logique pour des raisons pédagogiques comme inappropriées et inutiles pour un public général. Le champ est devenu reconnu sous son nom actuel avec le First International Symposium on Informal Logic tenue en 1978.