「意味論」か「意味の理論」か/Semantics or Theory of Meaning

yyyy/mm/dd @Zahlangabeheft

ミリカンは志向性の自然化だけの人じゃないので、立派に意味の理論者と呼べますよ。RT @metaphusika ミリカンが意味の理論ってあんまり標準的じゃないような。 RT @yuizumi: ［…］ミリカンとかを意味の理論やってる人と解釈しています。

yyyy/mm/dd @Zahlangabeheft

合掌。QT @metaphusika 公理的意味論（死語）はHoare論理系の記述手法を指していました。 RT @Zahlangabeheft: @ytb_at_twt ［…］axiomatic semanticsなんてのもあったじゃないですか。*

yyyy/mm/dd @Zahlangabeheft

ダメット自身は直観主義者ですが、彼の議論は二値原理批判なので、結果的に擁護されるのが構成的古典論理でもいいと思うんですがね。QT @metaphusika @ytb_at_twt @takuro_onishi *構成的古典論理の研究は*ダメット的にはあれをどう見るんだろう？*

yyyy/mm/dd @Zahlangabeheft

@metaphusika あ、なるほど、そういう背景があったのですね。機会があればその違和感だけでもお聞かせください。

yyyy/mm/dd @Zahlangabeheft

私が（ダメットと同様に？）「値を割り振る」に無意味に拘りすぎた気もします。QT @takuro_onishi:@ytb_at_twt *ダメットの目的はたぶん「証明の概念を使ってモデル論と同じようなことができると示す」ことだったはず* 別に「同じようなこと」をする必要はない*

yyyy/mm/dd @Zahlangabeheft

しかし、実際には誰も値を割り当ててばかりという気がする。私が操作的意味論やHoare論理を知らなすぎか…。QT @Zahlangabeheft 私が（ダメットと同様に？）「値を割り振る」に無意味に拘りすぎた気もします。QT @takuro_onishi:@ytb_at_twt *