直観論理学以外には様相論理，時相論理，多値論理あたりだったはず

さっき紹介した「論理学をつくる」は最後のほうの章で古典論理学以外の論理学の紹介もしてて，直観主義にも触れてる。

This account is not set to public on notestock.

太陽から見た太陽系の惑星の衛星の軌道もそうなるといえばそうなるか

This account is not set to public on notestock.

ああなるほど，公転軌道上を中心にする円を置いてその円上を公転する天体，としてるのか。

This account is not set to public on notestock.

@afm こわいめう……

従円と周転円 - Wikipedia https://ja.m.wikipedia.org/wiki/%E5%BE%93%E5%86%86%E3%81%A8%E5%91%A8%E8%BB%A2%E5%86%86

惑星の逆行をなんらかの理論で理屈付けてるだろうなとは思ってたけど具体的にどういう理屈なのかは知らなかったので周天円も知らなかった

This account is not set to public on notestock.

どういうことなの……

This account is not set to public on notestock.

@uwabami できてしまうからこそ逆行する天体の存在を真と言えてしまえるので前提が偽なら本来は偽の話も真としてしまえる，みたいなことをいいたかった（説明が下手

This account is not set to public on notestock.

This account is not set to public on notestock.

p→q は二つの命題の論理包含での関係を示した論理式，かなあ。詳しくないから合ってないかも。

This account is not set to public on notestock.

This account is not set to public on notestock.

This account is not set to public on notestock.

@kmt_t かなり説明が丁寧でいま話に出てる論理包含みたいな初心者がつまづくポイントもしっかり説明されてますし，様相論理や時相論理，三値論理みたいな非古典論理学の導入まで行くので論理学の入り口としてよいかなあと。

@purewhite 不規則に動きつつ規則的に動く，は導けないけど，不規則に動く，というのも規則的に動くというのもどっちも真と言えてしまう

論理学で論理和「または」や論理積「かつ」，論理否定は理解しやすいけど論理包含「ならば」は初心者のつまづきポイントだよね。

@kmt_t 推論規則というか推論から得られる論理的帰結の説明ですね

@kmt_t 実際のところ，ただの命題論理だと推論するまでもなく当然に P→Q と Q→R から P→R が出てきそうなので，推論規則の説明として述語論理で量化された概念でも推論することで論理的に導ける，ということを言うためああいう文章だったんだろうなとは。

論理学の入門，「論理学をつくる」って本オススメ

@purewhite p が偽のとき q が偽でも真でも，p→q の命題全体としては正しいと言い張れる

@purewhite しかし地動説を前提にするとちゃんと，惑星は一方向にしか運行しないという正しい議論を得られる

@purewhite たとえば，地球を中心にして全ての天体が公転している，という前提の場合，順方向に進行したり途中で逆向きに進行したりと不思議な軌道をする天体（惑星）がある，という偽の命題も真と言える。（天動説ならそのようにしか惑星の運行が説明できない

@purewhite そう。これは詭弁の指摘にも応用できるのだけれども，前提がそもそも間違ってたら全体として真でも偽でも勝手に主張できてしまうから。

さっきの私の上げた画像は正確でなくて，なぜなら原文ではカエルが全称量化されてるので，正確には命題じゃなくて述語関数で記述しないといけないとおもう。

This account is not set to public on notestock.

@kmt_t ただの三段論法で合ってると思う。全てのカエルは緑，みたいにカエルが量化されてるとこが混乱させてそう。

簡単な命題論理ならベン図で直感つかんでもいいけどそうすると自然言語の解釈とかで言語的に理解して真偽判断しちゃってわからなくなると思うから一度記号で論理式に落としてシステマティックに解けばわかると思うな

カーミット，カエル，緑について

まず p→q ⇔ ¬p∨q について。真理値表みると一致してるのがわかる。「ならば」という日本語の意味は忘れて計算として同じ値が出てくる論理式がそうなるだけ。

全てのカエル〜みたいなのは量化をつかった述語論理だしそのベン図はおかしい

This account is not set to public on notestock.

p→q と同値の論理式がなぜ ¬p∨q なのかは真理値かけばよいのでは。ほんとうそうなるのかは検証してないが

ただの三段論法では

This account is not set to public on notestock.

This account is not set to public on notestock.

This account is not set to public on notestock.

まこてぃあさんがたまに言及している学術ネットって SINET という理解でよろしい？

This account is not set to public on notestock.

This account is not set to public on notestock.

This account is not set to public on notestock.

This account is not set to public on notestock.

@akahana オタクティーセット！w

物語がなくても，例えば人類種の新たな可能性が開かれた素晴しい！という見方もある。陸上競技など顕著だけれどもどんなスポーツにも時代と共に進化していくプレイはそれだけですごい。

This account is not set to public on notestock.

This account is not set to public on notestock.

弱者の英雄譚は寝物語によいし心地良すぎる

​

なんか日本での児童書から小説から神話からどれにもあるけど，小兵が強者を倒すのがかっこいい！みたいなのがあるしプロジェクト X なんかでも努力とアイディアで一発逆転！みたいなのが好まれててまっとうに努力を重ねた体格の良い強者が強いのはあたりまえでしょみたいな逆差別があるように感じることがある

This account is not set to public on notestock.

This account is not set to public on notestock.

This account is not set to public on notestock.

なんのはなしだろ

This account is not set to public on notestock.

This account is not set to public on notestock.

This account is not set to public on notestock.

なにこれ

This account is not set to public on notestock.

This account is not set to public on notestock.

自宅の欠けてた旧約聖書揃ってきたが本気で関根訳揃えるなら岩波で買い足さずにやらなきゃいけないんだよな

軽率に古書店で豫定のない買い物していつも帰り辛くなってる

Kindle，ソフトウェアより電子泳動式に限界あるんでは

できるならしたい

#いいえ

独自 OS つってもカーネル自作するまでもなく Kindle みたいに linux のユーザーランド適当にやるだけでいいのでは

帰り道にお気に入りの古書店にちょっと冷やかしに入ったんですが私の蔵書が増えて不思議

きぃぃいエエエエイ！

なんのバランス

This account is not set to public on notestock.

This account is not set to public on notestock.

いま 6.2 とかだっけ

This account is not set to public on notestock.

ひさびさにゲームセンター行こうかしら

​

​

​

​

芽兎めうを自称する不審者にフォローされたから怖い

@hina 上海小吃

​

散々だね

各国が韓国の通達無視しただけではなくタイはかなりデカい軍艦旗を掲揚（つまりこれは戦闘真っ最中に掲げる戦闘旗ということ）したしシンガポールは韓国旗を半旗掲揚してた（半旗はお悔やみ申し上げますの意）

This account is not set to public on notestock.

国際観艦式で韓国「抗日」旗　日本政府が抗議 - 産経ニュース https://www.sankei.com/politics/news/181012/plt1810120018-n1.html

爆乳❤︎姫子先生

「いなり、こんこん、恋いろは。」などを制作 アニメ制作会社が破産 - ライブドアニュース http://news.livedoor.com/article/detail/15428317/

私は物理帰宅したんだ……信じてくれ……

物理帰宅できたよ

This account is not set to public on notestock.

きたくした

post できないなーって思ってたけどいつの間にか直ってた