久野です。

kono@ie.u-ryukyu.ac.jpさん:
> 僕は、
>        日常言語と、論理学
> ってのは、それほど差はないと思う。ちゃんと日常言語でコミュニケーション
> できるってのは、論理学の基本を理解していることなんだよね。論理学の言葉
> で言えば、
>        命題論理の完全性
>        述語論理の充足性
> あたりを理解してないと日常会話できないと思う。これは、そんなに難しくない。

  概念につては全然異論はないですよ。じゃ完全性とか充足性とか命題
とかそういう言葉を一切知らなくても同じことさえ考えられれば「論理
学を学んだ」と言っていいんですか?

  もしそのような「論理学を学んだ」という定義にするのであれば(私
は不自然な定義だと思うけど)「プログラミングをするのに論理学を学
ぶことは必須である」に同意しますよ。

                    これでご満足ですか :-)                 久野