非形式論理学
非形式論理学(ひけいしきろんりがく、英: Informal logic)は、現代の論理学がもっぱら扱うのは「A → A ∨ B」といったような人工的・形式的(formal)な記号によって表現する形式論理であるのに対し、自然言語といったような非形式的なものを扱う論理学やその学際的分野である。非形式論理学は1970年代初め、北アメリカで学部学生への論理学入門コースの代替として導入されたのが始まりである。間もなく思考スキル強化の運動と連携し、特に批判的思考(後述)と密接に関連するようになった。後に、学際的研究分野である議論学とも連携するようになった。
非形式論理学の正確な定義には異論もある。Ralph H. Johnson と J. Anthony Blair は非形式論理学を「論理学の一分野で、日常会話における議論・論証の分析・解釈・評価・批評・構築のための非形式的な標準・尺度・手続きを開発することを目的とする」と定義した。この定義は彼らや他の専門家らが非形式論理学の書籍で書いていることを反映したものと言える。
論理学は推論の標準的研究分野である。どんな推論にも、その推論の型に対する標準形を体現する論理が存在する。非形式論理学と形式論理学とは、方法論だけでなく、重視する点も異なる。すなわち、議論についての社会的・対話的慣習は、形式演繹論理の主題の1つでもある含意(命題間の関係)とは異なるし、前提から結論を導く精神活動とされる推論とも区別されるべきである。従って非形式論理学は、含意や推論とは区別された議論・行為の論理学とでも言うべきである。