2018-02-06から1日間の記事一覧

まずは論理的な正しさと意味的な正しさを区別しよう

このブログでは、あまり込み入った細かい話はしないつもりですが、こだわりのあるところだけひとつ。論理構造を考えるときに、形式(シンタックス)と意味(セマンティクス)は分けて考えたいと思います。端的に言えば、論理的に正しくても意味的には正しいとは…