12/01/03 19:32:45.00
>>39
なんだか文章がおかしくなったのでもう一度。
「クリプキが可能世界を導入して内包を含む文を解釈することに成功した。」
>>31
訂正：
＞透明性（代入法則が成り立たない）を持たない文
↓
透明性（代入規則による外延交換が成り立つ）を持たない文
12/01/03 19:32:45.00
>>39
なんだか文章がおかしくなったのでもう一度。
「クリプキが可能世界を導入して内包を含む文を解釈することに成功した。」
>>31
訂正：
＞透明性（代入法則が成り立たない）を持たない文
↓
透明性（代入規則による外延交換が成り立つ）を持たない文