kyoto_logic https://blog.hatena.ne.jp/kyoto_logic/ 科学哲学科学史 (演習) 論理学 https://kyoto-logic.hatenablog.com/ 後期授業第二回目の今回は、「論理結合子の条件」について、証明論的意味論の立場から考えてみたいと思います。 具体的には、意味の理論IIの素朴な解釈である素朴な推論主義「論理結合子の意味は導入規則と除去規則によって完全に定められる」が正しいかどうかを検討します。言い換えると「導入規則さえ与えれば、どんな結合子も『論理結合子』として認められるのか？」という疑問についてです。 この疑問に関し、プライアーによる tonk の例をあげ、素朴な推論主義が成立しないことを示し、ベルナップによる「保存拡大性」概念を導入します。 なお、保存拡大性の説明の箇所で使用する証明図の書き換えの技法は、今後、証明の正規化な… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fkyoto-logic.hatenablog.com%2Fentry%2F2019%2F10%2F08%2F000000" title=" - 科学哲学科学史 (演習) 論理学" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2019-10-08 00:00:00 rich https://kyoto-logic.hatenablog.com/entry/2019/10/08/000000 1.0 100%