非形式論理学
非形式論理学（ひけいしきろんりがく、英: Informal logic）は、現代の論理学がもっぱら扱うのは「A → A ∨ B」といったような人工的・形式的（formal）な記号によって表現する形式論理であるのに対し、自然言語といったような非形式的なものを扱う論理学やその学際的分野である。 非形式論理学は1970年代初め、北アメリカで学部学生への論理学入門コースの代替として導入されたのが始まりである。
非形式論理学（ひけいしきろんりがく、英: Informal logic）は、現代の論理学がもっぱら扱うのは「A → A ∨ B」といったような人工的・形式的（formal）な記号によって表現する形式論理であるのに対し、自然言語といったような非形式的なものを扱う論理学やその学際的分野である。 非形式論理学は1970年代初め、北アメリカで学部学生への論理学入門コースの代替として導入されたのが始まりである。
非形式論理学（ひけいしきろんりがく、英: Informal logic）は、現代の論理学がもっぱら扱うのは「A → A ∨ B」といったような人工的・形式的（formal）な記号によって表現する形式論理であるのに対し、自然言語といったような非形式的なものを扱う論理学やその学際的分野である。 非形式論理学は1970年代初め、北アメリカで学部学生への論理学入門コースの代替として導入されたのが始まりである。
出典: Wikipedia「非形式論理学」 · CC BY-SA 4.0
この記事を共有: X · Bluesky