初学者向け論理学の学び方

>>119
様相論理が無能なのは
数学的構造が劣っているから
可能性や必然性に定量性がなく、比較や決定が全く行えないから
やるまでもなく自明なこと以外何も新しい結論が生まれない

ベイズ確率は詳細な定量性により結論を決定する力を持つ

運知思想なんじゃろ？

>>121
確率をどう使うのか分からない
確率1はalmost surelyであって必然性より弱い

>>123
必然性より弱い？
日本語として意味不明

様相論理には
「どちらの可能性が高いのか」
という話題を扱う能力が全く無い
通常の論理学とベイズ確率を用いるとこれが出来る

ベイズは急に人気出たよな。
きっかけは何だろう

ランダムに選んだ実数は必然的に無理数か

0, 1の無限列に1が現れるのは必然か

>>126
アウトカムだ
実際の認知科学上の問題を解決して結果を出したから使われる

http://www.kurims.kyoto-u.ac.jp/~cs/lecture2009/lecture09ModelChecking.pdf

初学者を小学生と考えると
出口汪の論理エンジンが興味深い
最初は物語の順番を組み合わせたりするくらいだが

http://www.amazon.co.jp/dp/4921211396/
論理エンジン小学生版1年生―どっかい・さくぶんトレーニング [単行本]

>>124
条件が強い・弱いという言い方を知らないのか

https://www.jstage.jst.go.jp/article/kisoron1954/14/4/14_4_157/_pdf

>>132
0点

確率1より確かなものは無い

>>130 >>133
応用されてないよ
誰が持ってんの？
売り出しても怪しげな役立たずと思われて終わり
推論規則を書き出しただけの話であって
クリプキとは全く関係ないと気づかないのか？

>>135
http://en.wikipedia.org/wiki/Almost_surely

>>137
確率1って書いてあんじゃん
バカなの？

測度0の除外集合って言われてもわからんのかこの人
以前、ルベーグ積分にお詳しそうな発言をしていたと思ったが、記憶違いか

>>139
その意味では確率1より小さいんだが？
バカなのか？

？
何が確率1より小さいんだ？

もとの発言はこれ
痴呆症？

135 名前:非因果的ブラックボックス ◆nyDbrW8/YE :2013/04/25(木) 20:56:43.12 0
確率1より確かなものは無い

>>141
お前の貼ったやつのタイトルだよ

だから　何が　確率1より小さいんだ？
はっきり言えよ

>>144
>>139

確率は1だがなw

何故頑なに明言するのを避けるのか、理解に苦しむ

>>147
お前がデタラメ晒して逃げてんだよ
なにが確率1より確からしいのか明記してみろ

＞確率1より確からしい
いい加減人違いはやめてほしいが、「必然性」のことか？

で、何が確率1より小さいの？　まさか「必然性」が？ｗ

>>149
俺にレスつけて来たのはお前な

135 名前:非因果的ブラックボックス ◆nyDbrW8/YE :2013/04/25(木) 20:56:43.12 0
確率1より確かなものは無い

137 名前:考える名無しさん [sage] :2013/04/26(金) 13:49:01.52 0
>>135
http://en.wikipedia.org/wiki/Almost_surely


逃げるつもりか？

これは確率1より大きいという反論のつもりなわけだ
恥ずかしいなぁ？

137 名前:考える名無しさん [sage] :2013/04/26(金) 13:49:01.52 0
>>135
http://en.wikipedia.org/wiki/Almost_surely

最初は煽るつもりでなく、本当に意味がわからないから訊いたんだけどね…

「必然性は確率1より小さい」
これがブラックボックスの主張ということでいいのかな
まだ明言を避けるのであれば、手前勝手にこう理解するがよろしいか？

>>152
>>151

確率1より大きいなんてあるわけ無いだろ？
低学歴すぎだよ

偶然と必然は条件付き確率であらわす
確率の大きさが1かどうかとか言ってる時点でマトモじゃない

集合論測度論確率論情報理論
これらと結びつく事に失敗した様相論理には未来は無いよ

>>153

閉区間[0, 1]上の有理数全体のルベーグ測度は0である。
閉区間[0, 1]上に素数は存在しない。

この二つの違い、わかるか？

>>156
当たり前だろ？
最小の素数は2だ