大正デモクラシーの時代にあって、素朴で、地味な勤労者の生活記録を書き留めた作品群は、プロレタリア文学運動史の前史、草分け的存在として意義付けられる。
エイジ (企業)
概要.
論証
妥当性.
妥当な論証は、特定の形式に従ったものである。妥当でない論証は、特定の形式に従っていない。
ある論証が妥当であっても、その結論が真であるとは限らない。前提が偽であっても、論証形式自体は妥当なことがあるためである。妥当な論証で前提が真であるときのみ、結論も真となる。
証明.
証明とは、論証が妥当であることを示すものである。ただし記号論理学では証明とは公理系における公理と推論規則から論理式を導く構文論的推論であり、意味論的に与えられる真理値やとは別の概念として考えられる。
妥当性、健全性、効果.
前提が真であるような妥当な論証を健全であると呼ぶ場合がある。
論証が妥当でなくなる原因はいくつかある。よく知られた妥当でない論証のパターンを誤謬と呼ぶ。
形式的論証と数学的論証.
数学においては、論証のそれぞれの文を一階ペアノ算術のような形式言語で書くことで形式化されることが多い。形式化された論証は、次のような属性を持つ。
数学における多くの論証は、厳密な意味では形式的ではない。厳密に形式的な証明は、自明で簡単なものを除いては極めて退屈な作業であり、コンピュータの補助なしではそれほど長続きしない。自動定理証明は、そのような問題の解決策としても使われる。
いずれにしても、論証を形式化する利点は、証明理論のような妥当な数学的論証に関する理論を構築できる可能性にある。証明理論は数学全体の妥当な論証のクラスを調査し、健全な数学的論証の結論としてどのような文が出てくるのかをはっきりさせる。ゲーデルの不完全性定理は証明理論の成果であり、全ての真なる数学的文は形式化された健全な数学的論証から生み出されるという事実を明らかにした。実際には、全ての真なる数学的文が証明可能というわけではない。
科学における論証.