現代短歌評論賞（げんだいたんかひょうろんしょう）は、短歌評論の公募賞。短歌研究社の発行する月刊短歌総合誌「短歌研究」が毎年テーマを決めて公募する未発表評論の中から選ばれる。短歌界唯一の評論のみを対象とする公募賞であり、毎年論客を輩出している。
歴代受賞作と受賞者.
受賞者の出典は公式HPより。
建平 (北涼)
建平（けんへい）は、北涼と高昌国で使用された可能性が指摘されている元号。
来歴.
冬期アンナプルナ南壁、冬期エベレスト南壁を初登攀に導くなど、世界屈指のヒマラヤ登山家として知られている。
SEAR
詐欺破産罪
論理的帰結
このような論理的帰結の確かさは、前提が真かどうか、および完全かどうかに依存する。この前提は全てのカエルが緑色でない場合は真ではないことになる。演繹による推論や論理的帰結は認識論の重要な面であり、因果に関する一般的仮説を伝達する意味を持つ。
形式的な論理的帰結関係はモデル理論的なものと証明論的なもの（あるいは両方）がある。
記述.
ここでは、論理的帰結の典型的な記述について述べる。
様相的記述.
論理的帰結の様相的記述は以下のような考え方に基づいている。
あるいは（言い換えれば）、
冒頭に例としてあげた以下の記述について様相的記述を考える。
 全てのカエルは緑色だ。
 カーミットはカエルだ。
 従って、カーミットは緑色だ。
ここで、「全てのカエルが緑色」であり、「カーミットがカエル」であり、「カーミットが緑色でない」という可能世界を想像することはできない。従って、この結論はこれらの前提の論理的帰結であると言える。
形式的記述.
論理的帰結の形式的記述は以下のような考え方に基づいている。
ここで、再度以下の主張を考える。
 全てのカエルは緑色だ。
 カーミットはカエルだ。
 従って、カーミットは緑色だ。
 全ての高層ビルは高い。
 エンパイア・ステート・ビルは高層ビルである。
 従って、エンパイア・ステート・ビルは高い。
 全ての長方形は平行四辺形である。
 全ての正方形は長方形である。
 従って、正方形は平行四辺形である。
 全ての物体には質量がある。
 コーヒーテーブルは物体である。
 従って、コーヒーテーブルには質量がある。
 全ての鳥には羽毛がある。
 ペンギンは鳥である。
 従って、ペンギンには羽毛がある。
様相的形式的記述.