適切さの論理は、我々が普段使用している条件関係や含意関係、帰結関係の意味を古典論理における実質含意よりもより忠実に表現し、扱うことを目的として構築された論理である。代表的な論理体系.新座料金所新座料金所(にいざりょうきんじょ)は、埼玉県新座市池田にある、関越自動車道の本線料金所。一般レーンにおいては、下り線では通行券を受け取り、上り線では通行料金を精算する。合併収受は行っていないため、上り線はこの先の大泉JCTから東京外環自動車道方面へ向かう場合もう一度料金所を通らなければならない。近くにこの料金所の様子を撮影するためにNHKの情報カメラが設置されている。スマートインターチェンジ設置構想.設置形態としては、下り線(長岡方面)入口及び上り線(練馬方面)出口のハーフインターチェンジが想定されている。示現流歴史.流祖の東郷重位は、元々はタイ捨流を学んでいたが、京都で善吉和尚より天真正自顕流を相伝し、両流派の利点を創意工夫した上で新流派を立てた。「示現流」という流派名は南浦文之による命名である。技術・系譜的には天真正自顕流の流れにあり、型ではタイ捨流を仮想敵としている。また、太刀流の伝承では、重位が近江浪人・田中雲右衛門より田中家伝来の早太刀の技を学んで技に加えたとされる。重位は御前試合でタイ捨流の師範を破り島津家久の師範役となった。その後、幕末・明治維新・太平洋戦争で門弟の多くを失ったものの、現在も東郷家の手により鹿児島に伝承されている。また、明治時代に警視庁で制定された警視流木太刀形に、示現流の技「一二の太刀」が採用されており、現在も警視庁で伝承されている。関東に伝わった系統.牧野家の笠間への移封によって伝わった示現流は、唯心一刀流と並んで笠間藩の剣術の二大流派であった。この系統の示現流は周囲の藩にも伝わり、現在の土浦市、石岡市、宇都宮市、鹿嶋市、久慈郡等に伝わった。この系統の示現流は「笠間示現流」とも呼ばれる。現在でも笠間には示現流の形が伝わっている。笠間で現在伝わっている示現流では立木打ちは行われていないが、土浦市真鍋地区では昭和中ごろまで立木打ちが行われていた記録がある。琉球での伝承.特徴.