はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知
はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28
2つの可能世界 - うつし世はゆめ / 夜のゆめもゆめ
■前書き 可能世界について。 以前から、様相論理の意味論で使われる「可能世界」と哲学の議論に出てくる「可能世界」は別のものなんじゃないかと思っていたが、クリプキを読むことによって、その思いが確信に近くなった。 この点について説明してみる。 ちなみに、私は論理学も分析哲学もほとんど独学で学んだため (しかも勉強中のため)、話の正確さにあまり自信がない (つっこみを歓迎する)。 ■真理関数のインプット 様相論理で言う「可能世界」は、「真理関数のインプット」のことだと考えるのがよいと思う。 現代論理学の標準的手法では、論理式を、「何か」をインプットすると、「真」「偽」のいずれかをはき出す関数だと考える。これを真理関数的意味論という。この「何か」が何であるのかは、命題論理の場合と述語論理の場合で異なる (詳しく説明すると面倒なのでしないが、命題論理では「真理値割り当て」、述語論理では「モデル」と呼
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
