棋王戦＆第一部定理七証明

　このブログのスタイルの説明です。
　棋王戦挑戦者決定戦第一局は大熱戦になりました。振駒で深浦八段の先手となり,▲７六歩△３四歩▲２六歩△９四歩▲２五歩△９五歩という立ち上がり。王座戦第三局で後手の羽生王座が佐藤棋聖に対して指した手順です。8手目の△８八角成で変則的ですが一手損角換りに。王座戦は羽生王座の振飛車でしたが,この将棋は深浦八段が▲６八玉～▲７八玉と真直ぐに囲ったので佐藤棋聖は居飛車を選択しました。深浦八段は早繰り銀を採用し29手目に▲３五歩から先攻。37手目▲２四同銀の局面では感想戦にもあるように優位に立ちました。佐藤棋聖は直後に右玉にし,中盤の戦いの中,52手目の△４三金左で銀挟みの形を作り,これでまた難しくなり72手目の△７六銀から攻め合いに。感想戦によると84手目の△２三銀がいい手で,ここからは佐藤棋聖が優勢だそうですが,僕にはどちらが勝つのか分かりませんでした。以下,▲同銀成△６九銀で佐藤棋聖が攻勢に。しかし深浦八段も115手目の▲２四飛から反撃し,132手目に▲８二角成としたところでは,先手玉に詰みはなく,後手玉は詰めろという局面まで持っていきました。しかし以下△６六玉▲４九玉で再び佐藤棋聖の手番に。148手目に△２五桂と跳ねたところでようやく僕にも佐藤棋聖が勝ちのようだと分かりました。数手後に深浦八段が投了。佐藤棋聖の勝利で,この変則二番勝負はもう一局,そこで勝った方が挑戦ということになりました。年が明けて6日に指されます。
　明日は園田で兵庫ゴールドトロフィーです。ここはおそらくメイショウバトラー◎とリミットレスビッド○の首位争い。ほかではバンブーボカ△とニホンピロサート△。

　定理七のスピノザの証明は簡単です。定理六系によれば実体はほかのものから産出され得ません。いい換えれば実体は自己原因であるということになりますから,定義一により実体の本性には存在が含まれるということになるのです。ただし,僕は定理六系にも定理七にも,実体が存在するということが含まれているとは思わないので,厳密にいえば,この論理からの帰結は,実体の本性には存在が含まれるか,そうでなければ実体は存在しないかのどちらかであるということになるのではないかと考えています。ただし,再び公理一の意味に訴えれば,自然のうちには実体と様態だけが存在するのであり,様態はほかのもの,すなわち実体のうちに存在するわけですから,実体が存在しないということは何も存在しないということになります。ですが,何も存在しないというのが不条理であるということは僕たちは直観的に認識できるでしょう。したがって,厳密に考えればこの証明の手続きには難があると僕は思いますが,実体の本性に存在が属するということは間違いないと思います。