非形式論理学
非形式論理学（ひけいしきろんりがく、）は、現代の論理学がもっぱら扱うのは「A → A ∨ B」といったような人工的・形式的（formal）な記号によって表現する形式論理であるのに対し、自然言語といったような非形式的なものを扱う論理学やその学際的分野である。非形式論理学は1970年代初め、北アメリカで学部学生への論理学入門コースの代替として導入されたのが始まりである。間もなく思考スキル強化の運動と連携し、特に批判的思考（後述）と密接に関連するようになった。後に、学際的研究分野である議論学とも連携するようになった。
非形式論理学の正確な定義には異論もある。Ralph H. Johnson と J. Anthony Blair は非形式論理学を「論理学の一分野で、日常会話における議論・論証の分析・解釈・評価・批評・構築のための非形式的な標準・尺度・手続きを開発することを目的とする」と定義した。この定義は彼らや他の専門家らが非形式論理学の書籍で書いていることを反映したものと言える。