(ed.).帰結概念は必然的かつ形式的であり,そのことは証明もしくはモデルを用いて説明される。本記事で触れるのは,論理的帰結に関する,中心的・基本的な哲学的問題のみである。あるものは演繹的に妥当であり,別のものは帰納的に妥当である。前者の前提は結論が真であるために必然的に十分である。十分であるが,必然的に十分であるわけではない。帰納的論証の適切さの度合いも様々だが,ここでは演繹的妥当性に焦点を合わせる。いうのも,具体的に見れば,必然性にもいろいろあるからだ。一つは形而上学的必然性である。全可能世界で前提が真であれば,結論も真であること。これだけでは,妥当性の十分条件ではない。演繹的に妥当であるわけではないからだ。*2もう一つの道は,必然性を概念的必然性と解することである。似たものとして分析的必然性がある。これらの場合,次の推論を除外できない。(4)「ピーターはグレッグの母親の兄弟の息子である。従って,ピーターはグレッグのいとこである。」この推論は形式的でないのだ。アプリオリ性により論理的帰結を基礎づける方法も考えられる。実質的帰結であって形式的帰結ではない。形式と内容の区別は何を意味しうるのか。形式性の一つの特徴は図式に依拠することだ。これも十分条件ではない。母親の兄弟の息子である。兄弟である」のような例を考えればよい。別の候補を検討する代わりに,そもそも両者の区別にどういう意味があるのかを吟味しよう。形式的規則は対象の特徴に中立的である。