【Alloy】形式言語による仕様記述【VDM】at TECH
【Alloy】形式言語による仕様記述【VDM】 - 暇つぶし2ch195:デフォルトの名無しさん
13/10/07 06:12:47.77 .net
>>193
>「非形式的な矛盾(=直感に基づく矛盾)」というのは存在する
形式的に意味不明な言明だ。
論理的訓練が不十分のようだから指摘しておく。
>別の箇所では「YはXのサブクラスである」と記述されていれば、それは矛盾だろう
矛盾とはAかつ¬Aが帰結することだ。「XはYのサブクラスである」と
「YはXのサブクラスである」はまだ矛盾ではない。
>ただし、サブクラスというオブジェクト間の関係は(人の)直感として定義されたものだから、
そういう関係もまた形式的に記述するんだよ。

>>194
>形式手法に言及しているのに
>詭弁(誤謬)ばかりってのが皮肉
意味不明。間違いがあれば指摘すればよい。
形式手法=無謬ということではない。形式手法を偶像崇拝してる?


次ページ
続きを表示
1を表示
最新レス表示
レスジャンプ
類似スレ一覧
スレッドの検索
話題のニュース
おまかせリスト
オプション
しおりを挟む
スレッドに書込
スレッドの一覧
暇つぶし2ch