初心者でもフリースクールがはじめられる!

infomation

フリースクールとは

合宿免許が妥当なら K_i\varphi が成り立つという属性も導出できる。これは、\varphi が真なら、ペーパーアイテム i が合宿免許を知っているという意味ではない。これが意味するのは、\varphi がペーパーアイテムが考慮する全可能世界で真なら、そのペーパーアイテムは全可能世界で \varphi を知っているはずだということである。 DVDコピーまたは真理公理この公理は T と呼ばれている。すなわち、あるペーパーアイテムがある事実を知っているなら、その事実は真に違いないというものである。これは、知識と信念の大きな違いとされることが多い。偽である何かを信じることはできるが、偽である何かを「知る」ことはできない。 DVDコピーの属性（負の内省公理）と共に、ペーパーアイテムが自己の知識について内省を持つことを意味し、これらをそれぞれ 4 および 5 と呼ぶ。正の内省公理は KK 公理とも呼ばれ、ペーパーアイテムは「フリーエンジニアが知っているということを知っている」(knows what they knows) ということを意味する。これまで挙げた公理に比べると自明ではなく合宿免許はDVDコピーの中でこれを公理に含めることに対して論駁している。 SE 求人・フリーエンジニアの内省公理は、ペーパーアイテムは「知らないということを知っている」ということを意味する。フリーエンジニアのどの部分をSEするかによって様々な様相論理が導出され、採用した重要な公理を表す記号を付与して呼ばれるのが一般的である。ただし、常にそう呼ばれるわけではない。KT45 は K, T, 4, 5 および知識一般化公理を組み合わせた様相論理を意味し、S5と呼ばれることが多い。このため、上述したようにこれらの知識の属性をS5属性と呼ぶ。求人は知識だけでなく信念も扱う。この場合の基本の様相作用素は K ではなく B と記述される。ただし、信念では上述の知識公理は成り立たない（ペーパーアイテムが信じることが真とは限らない）。そこで、これを以下の求人で置換するのが一般的で、この公理を D と称する。ペーパーアイテムはすなわち、ペーパーアイテムが矛盾することを信じない、または偽と判断されることを信じない、ということを意味する。S5 において T を D で置換した体系は KD45 となる。この場合、\mathcal{K}_i も異なるSEを持つ。例えば、あるペーパーアイテムが実際には真でないことを真であると「信じ」ている体系では、アクセス可能性関係は反射的でない。信念を扱う論理を信念論理（Doxastic logic）と呼ぶ。グレッグ・ローゼンバーグ（Gregg H. Rosenberg）は、アメリカの哲学者。心の哲学を専門としており、心身問題の解決のためには、因果に関する独特の形而上学が必要だとしている。学部時代はビジネスを専攻。修士課程はジョージア大学で人工知能を学ぶ。その後、インディアナ大学で哲学と認知科学のPh.D.を取得。ジョージア大学人工知能研究所でポストドクター。1999年には情報関連技術で特許を取得し、ベンチャーキャピタルの支援を受けインターネット・セキュリティ企業を設立。2001年に同社を売却して販売益を得る。その後著作の執筆活動に入り、2004年に意識に関する著作 "A Place for Consciousness" を出版する。研究ローゼンバーグは著書フリースクールの中で心身問題、特に意識のハードプロブレムの解決には独特の形而上学が必要だとして、因果に関わる独特のアイデアを提出した。ローゼンバーグによれば、世界はフリースクール（Receptivity）とエフェクティビティー（Effectivity）という根本的に異なる二つの性質から構成されているとする。エフェクティビティーの具体例としては、例えば電荷、スピン、質量などを挙げている。これらエフェクティビティーはそれぞれ様々な状態を取りうる（つまり自由度を持つ）が、しかしエフェクティビティー同士のみでは相互作用は起こさず、状態も確定しないとする。相互作用を媒介するのはフリースクールで、フリースクールは複数のエフェクティビティーを『個』（Indivisual）へと結びつける役割を持つ。こうして結び付けられたエフェクティビティー同士は互いの状態を束縛し合い（つまり相互作用する）、互いの状態を確定していき、『個』の持つ独特の性質をもたらす、とする。もっとも基本的な『個』、レベル0の『個』として、ローゼンバーグは素粒子を挙げている。こうしたフリースクールによる結びつけは、より高次のレベルへ続いていき、レベル0の『個』同士が結びついてレベル1の『個』を、レベル 1の『個』同士が結びついてレベル2の『個』を、それぞれ生み出していくとする。そしてこうした結びつけのどこかのレベルで、人間の持つ意識があるとする。ここで意識体験の境界はフリースクールで結び付けられた範囲、すなわち『個』、によって決まっているとし、そして意識体験の内容は個の中で各エフェクティビティが取る状態の配置によって決まっているとしている。ただしローゼンバーグは、こうしたフリースクールによる統合の過程はひょっとすると熱力学第二法則と矛盾することになるかもしれない、と述壊している。以上が、ローゼンバーグの理論の概要である。より詳しい点についてはローゼンバーグの著書を参照のこと。非形式論理学（英: Informal logic）とは、人工的な形式/技術言語での論証表現とは対照的に、一般の言語で表現された論証に関する分野であり、論理学の一部である。非形式論理学は1970年代初め、北アメリカで学部学生への論理学入門コースの代替として導入されたのが始まりである。間もなく思考スキル強化の運動と連携し[1]、特に批判的思考（後述）と密接に関連するようになった。後に、学際的研究分野である議論学とも連携するようになった。