markovproperty.hatenadiary.com
👆を読もうと思うと２店ほど寄ったけれど、いずれにもなかった。
十翼の向こうに孔子の姿を思い描いて読み継いできた数千年の歴史を素直に受け止めるためには、孔子が書いた、という気持ちになって読んだ方が、よほど豊かではないですか。人間が長い間大事にしてきた言い伝えには価値がある、と小林秀雄もどこかで言っていたよ。
ということで、この氷見野さんは富山（県富山市）のヒトだったりする。
易経への関心では
ライプニッツが主に考察の対象としたのは、個別命題のほうであった。この命題にあっては、述語はあらかじめ主語の中に含まれている。これは今日の記号論理学で言えば、主語と述語とは包摂―内包の関係にあるということだ。ライプニッツ自身によれば、述語の指示するものが、主語によって指示される実体概念の一部をなしているということになる。
藤澤清造を考えるうえで、
が参考になるとして（５は、反対に、ウォーラスの理想主義を参照して。）まずは、ソクラテス・メソッドを見ていたら、
- ∀勇気〈は〉∀持続（である） L1
↳魂の L2
A〈〉Ｂ 〈〉：同格の措定辞 - ∀勇気〈は〉P（だ）
- ∀持続〈は〉￢P（だ）
↳無知の - したがって、P≠Pであり、１は偽（０）である。
このとき、３の「無知」は１の「魂」に含まれて、「魂の持続であっても、無知である限り」といった程度のことだろう。
これが面白く感じるのは、上のライプニッツのように、述語が主語を修飾するわけでもなく、フレーゲのように主語が述語を修飾するのでもなく、同格であることで、「持続」の含意する離散的性格が「∀」と平仄化されていることである。
これは奇妙なことで、持続は「いつでも」で、∀は「どれをとっても」であるから、前者は時間的広がり、後者は量的広がり乃至そのニュアンスはないかのいずれだが、「逐一」というアルゴリズムを挿入することで、達成しているのである。
「逐一」確認できる限りの「持続」であり、それと同格の「すべて」であることが宣言されている。そのとき反例として「無知」が挙げられる。
２と３の〈は〉は、本当なら可能な反証として、〈が〉であることが望ましいと思えるが、評価が措定的だから（テキストによって可能なこととして与えられていない。）、こうなったのだろう。それは後代まで待たなければならないようだ。
なかなかの発明ではないかと思う。
基本形式は、論理と事実を検証すべく形成された一連の疑問文であり、
背理法に至っていないという意味である。
解が存在するとすると、最も「小さい」ものが存在する。先の構成法から、より小さいものが得られるが、これは最も「小さい」という仮定に矛盾する。
この方法は『言論』に最初に現れたと言われるが、アレクサンドリアのエウクレイデスは紀元前3世紀と思しき人で、ソクラテス（紀元前470年頃 – 紀元前399年）の100年ほど後のヒトである。論理と数理は「最初」から緊密で、緊張する関係にあった。
『確率』の出現以前に『証拠』はなく、『証言』しかなかった。言葉でプロバビリティー（蓋然性）を論証するしかなかったのだ。
したがって、
プロバビリティー（蓋然性）は、知識と対照されることであって、権威に支えられていた。
どうもアリストテレスはソクラテスの方法が三段論法ではないと喝破したらしい。
https://www.tuins.ac.jp/common/docs/library/2005kokusai-PDF/mizuta.pdf
ここらへんは、アリストテレスの三段論法よりも、星一徹の（コミュニタス communitas なーcf.ターナー）三段論法の方がわかりやすい。
markovproperty.hatenadiary.com
つまり、三段論法は、アリストテレスの最初から、倫理的な問題を、或いは、倫理的な問題をも含んでいたのだ。
むしろ不思議なのは、アリストテレスがソクラテスの方法を「産婆術」と呼んだことで、生み出していないからこその『倫理学には不適である』との評だったはずだ、私の誤読でないならば。
いや、「産婆術」と呼んだのはプラトンで、要は、アリストテレスはプラトンの見方を斥けたのだ。ここにプラトン、アリストテレスがともにたつことになった。
ソクラテスが自身の問答法のことを、有名な産婆だった母親パイナレテーの技術になぞらえるくだりがある
そう言ったのは、プラトンである。それを「仮託」という。
なるほど（いや、わからんけれど）。どうすれば複雑な例を作られるのだろう。
いっつも思うけれど、こういう方って、何から何までわかるんやろうか？
ユークリッドの互除法の回も見たけれど、よかった。
集合族 - Wikipedia
族 (数学) - Wikipedia
そうか。なんでラッセルのパラドックスは「展開」から考えないのだろうと不思議（不満）だったんだけれど、集合族から（添え字付き）で考えてたんだね。
なるほど（いや、わからんけれど）。
よかった。
わからないことより、ちゃんと「理由がある」ことの方が大事だ。
わかればいい。
そうか、そうだったんだな。
