CiNii ResearchJaLC IRDB Crossref DataCite NDL NDL-Digital RUDA JDCat NINJAL CiNii Articles CiNii Books CiNii Dissertations DBpedia Nikkei BP KAKEN Integbio MDR PubMed LSDB Archive 公共データカタログ ムーンショット型研究開発事業
Japanese hiphopの行く末は衰退か繁栄か みゅーちゃん！
引用元：ヒップホップ・ラップ板「【衰退か？】Japanese hiphopの行く末【繁栄か？】」 http://mamono.2ch.net/test/read.cgi/hiphop/1265717997/l50 1 ：訴える名無しさん。：2010/02/09(火) 21:19:57 ID:B3QrF5fY 日本のHIPHOP業界が盛り上げる為には今後どうあるべきかを熱く議論しましょう！ 4 ：訴える名無しさん。：2010/02/09(火) 21:27:51 ID:??? クレバや童子のようにメジャーシーンにどんどん出るべき セルアウトと呼ばずにもう少し温かい目でみるべきだと思う ただ、童子のようにラブソング連発するのは避けたほうが良い とりあえずラブソング出せば売れるでしょ的な舐めた態度に見えてしまう KREVA（クレバ、本名：畠山 貴志（はたけやま たかし）、1976年6月18日
若者はなぜ生きづらいのか？――社会学者、鈴木謙介氏インタビュー（前編）
3月初旬。学生の姿もまばらな関西学院大学のキャンパスに、鈴木謙介さん（33）を訪ねた。メッシュの入った茶髪にあごヒゲという出で立ち。重厚な研究室がまったく似合わない。 それもそのはず。気鋭の社会学者は、TBSラジオ「文化系トークラジオ Life」、 NHK「青春リアル」でメイン・パーソナリティーを務め、若者の間では「チャーリー」の愛称で親しまれている。難解な社会学用語を駆使する一方で、誰にでも分かる言葉でも語りかけてくれる、頼れるアニキのような存在なのだ。 自らDJをやっていた経験もあり、サブカルから政治哲学まで、その守備範囲はとてつもなく広く、鈴木さんの師匠である宮台真司氏を彷彿（ほうふつ）とさせる。全3回でお送りする鈴木謙介さんへのインタビュー第1回目は「閉塞感」について。 閉塞感に直面する日本 「銘々が自分の都合のいいイメージの中で社会というものをとらえて、例えば自己責任論にはまり込
手塚治虫がやってたプロットの筋トレ
Author:くるぶし（読書猿） twitter:@kurubushi_rm カテゴリ別記事一覧 新しい本が出ました。 読書猿『独学大全』ダイヤモンド社 2020/9/29書籍版刊行、電子書籍10/21配信。 ISBN-13 : 978-4478108536 2021/06/02 11刷決定 累計200,000部（紙＋電子） 2022/10/26 １４刷決定 累計260,000部（紙＋電子） 紀伊國屋じんぶん大賞2021 第３位 アンダー29.5人文書大賞2021 新刊部門 第１位 第２の著作です。 2017/11/20刊行、４刷まで来ました。 読書猿 (著) 『問題解決大全』 ISBN:978-4894517806 2017/12/18 電書出ました。 Kindle版・楽天Kobo版・iBooks版 韓国語版 『문제해결 대전』、繁体字版『線性VS環狀思考』も出ています。 こちらは１０刷
人は｢考え方｣を手に入れたとたん頭のよくなる生き物である - teruyastarはかく語りき
、、の、まくらことばで始まる今季からのNHK番組 ｢テストの花道｣ http://www.nhk.or.jp/hanamichi/ 所ジョージを顧問に、受験に対する｢考え方｣を学んでいく番組なのですが、 これがどうして、テストの学生だけじゃなく 社会人もうらなせるほど、問題に取り組む深い考え方を示してくれます。 オススメです。 番組今回のテーマは 比べるチカラ 番組での説明 比べることは全ての思考の源である。 比べることができなければ分析はできない。 つまり、 比べることによって物事の本質にせまる ことを求めていきます。 例えば、｢美人｣と｢かわいい｣ を比べるにはどうするか? それに使うツールがこちら。 ダブルイメージマップ (マインドマップ的なもの?) このような図を使います。 それぞれの中心に比較対象を書き 連想されるものをどんどん書いていきます。 連想数は5つじゃなくていくらでも。
二分心 - Wikipedia
二分心（にぶんしん、英: Bicameral Mind）は、ジュリアン・ジェインズによる人間の心の仮説である。1976年の著作『神々の沈黙-意識の誕生と文明の興亡』[1]（英: The Origin of Consciousness in the Breakdown of the Bicameral Mind[2]）により提唱された古代人の意識についての仮説である。 ジュリアン・ジェインズは、人の意識の起源の研究を進めるにつれ、意識は言葉に深く根ざしているため、人が言語能力を持たない段階では意識はなかったことに気づいた。さらに、言語を会得した後の段階の考察を、西洋古典学・神話学・考古学・心理学を駆使して進め、意識の起原は意外に新しく、今から約3000年前に生成したと結論するに至った。それ以前の人間は、意識の代わりに二分心を持つことにより、社会生活を成り立たせていたという。 ジェインズは、古
催眠 - Wikipedia
Photographic Studies in Hypnosis, Abnormal Psychology (1938) 催眠（さいみん、英: hypnosis）とは、他人（自分自身であることもある）によって与えられた暗示により、精神的変化、肉体的変化が引き起こされた状態のことである[1]。催眠術（さいみんじゅつ、英: hypnotism）とも呼ばれる。日本においては1887年（明治20年）前後に「催眠術」という用語が初めて一般社会に広まった[2]。 催眠に関して、次のように言われることがある[3]。 催眠をかけられると、催眠術師に操られてしまう。 一度催眠にかかると、その状態から出ようと思っても出ることが出来ない。 とても「催眠術にかかりやすい」「暗示の影響を受けやすい」「騙されやすい」人でなければ催眠は効かない。 催眠にかかっている間、人は意識を失う。 だがこれらはいずれも誤解である。
催眠療法 - Wikipedia
催眠療法（さいみんりょうほう、英語: hypnotherapy）とは、催眠を用いる補完・代替医療の一種である。被暗示性亢進を中心に、催眠現象が持つ様々な生理的・心理的特性を利用し、多様な治療が行われる[1]。心身の回復、同化の促進、緊張の解放、不安感情の低下などが期待され、心理的興奮やストレスが関わる心身症、身体疾患や医学的処置の苦痛など精神科リエゾンの領域でも利用される[1]。自己洞察や行動変容の促進にも用いられる[1]。 様々な用途に用いられているが、研究の品質は低く、有効性を判断することが難しい[2]。近年のいくつかのメタアナリシスとシステマティックレビューによると、有効性は確認されていない、証拠がない、または証拠不十分である[3][4][5][6][7]。 催眠療法が具体的に何であるか、その定義は専門家間でも意見の一致を得ていない[8]。 ここでは、代表的な手法をいくつか取りあげ簡
変性意識状態 - Wikipedia
この項目では、心理学における意識の変容について説明しています。医学における意識の異常については「意識障害」を、神経科学における意識の異常については「意識レベルの変化（Altered level of consciousness）（英語版）」をご覧ください。 変性意識状態（へんせいいしきじょうたい、英: altered state of consciousness, ASC）とは、目覚めてはいるが、日常的な意識状態とは異なった意識状態のこと。 「altered state of mind」や「altered state of awareness」ともいう。 Altered state of consciousnessという表現は、1966年にArnold M. Ludwigが提唱し[1]、チャールズ・タート（英語版）が著者で1969年に出版された、この名を掲げた本 "Altered stat
機能不全家族 - Wikipedia
この記事には複数の問題があります。改善やノートページでの議論にご協力ください。 出典がまったく示されていないか不十分です。内容に関する文献や情報源が必要です。（2018年5月） 独自研究が含まれているおそれがあります。（2018年5月） 出典検索?: "機能不全家族" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL 機能不全の家族は家族の絆に影響を与え、同じ家族空間に葛藤を引き起こす。 機能不全家族（きのうふぜんかぞく、英: Dysfunctional family）は、家庭内に対立や不法行為、身体的虐待、性的虐待、心理的虐待、ネグレクト等が恒常的に存在する家族を指す。機能不全家庭（きのうふぜんかてい）とも称され、その状態は家庭崩壊（かていほうかい）、もしくは家族崩壊（かぞくほうかい）といわれている。
アダルトチルドレン - Wikipedia
アダルトチルドレン（英: adult children）とは、 親がアルコール依存症の家庭で育って成人した人[1][2]。「adult children of alcoholics」の略語（ACOA、ACA、アルコール依存者のアダルトチルドレン）。アメリカでアルコール依存症治療との関わりの中で生まれた言葉である[1]。 親や社会による虐待や家族の不仲、感情抑圧などの見られる機能不全家族で育ち、生きづらさを抱えた人。「adult children of dysfunctional family」（ACOD、機能不全家族のアダルトチルドレン）[3]。機能不全家族の下で育ったことが原因で（大人になっても）深いトラウマ（外傷体験）を持つという考え方、現象、または人（大人）のこと。 頭文字を取り、単にACともいう[4][5]。どちらの意味も、医療における診断用語、病名ではない[6]。「大人になっても
)
死の舞踏 (美術) - Wikipedia
ドイツの都市Wondrebにある聖堂の上天井に描かれた死の舞踏 死の舞踏（しのぶとう、英語: Dance of death）とは、中世末期の14世紀から15世紀のヨーロッパで流布した寓話、およびそれをもとにした一連の絵画や彫刻の様式である。ダンスマカブル（フランス語: La Danse Macabre）、ダンツァマカブラ（イタリア語: La Danza Macabra）、トーテンタンツ（ドイツ語: Totentanz）などともいう。 ミヒャエル・ヴォルゲムート 『死の舞踏』1493年、版画 死の舞踏は、死の恐怖を前に人々が半狂乱になって踊り続けるという14世紀のフランス詩が（14世紀のスペイン系ユダヤ人の説もある）起源とされており、一連の絵画、壁画、版画の共通のテーマとして死の普遍性があげられる。生前は王族、貴族、などの異なる身分に属しそれぞれの人生を生きていても、ある日訪れる死によって、
死生学 - Wikipedia
死生学（しせいがく）は、英語では「thanatology」や「death studies」などと呼ばれるものに該当し、死についての学問的研究と定義することができる。前者はギリシャ語で「死」を意味するタナトス（ θάνατος）と「言葉・理性・学」などを意味するロゴス（λόγος）が結びついた造語である。日本語の「死生学」は「death and life studies」などと英訳することもある。死にゆく過程や死別後の悲嘆などを理解し、対処する臨床系の死生学と、死や死後についての哲学的、宗教的な思想や観念、つまり死生観や、埋葬法や葬送の実践などを研究する人文系の死生学とがある[1]。 死生学が対象とするのは、人間の消滅、死である。死生学の開拓者の一人、アリエスによれば、「人間は死者を埋葬する唯一の動物」である。この埋葬儀礼はネアンデルタール人にまでさかのぼるもので、それ以来長い歴史の流れの中
ナラティブセラピー - Wikipedia
この記事には複数の問題があります。改善やノートページでの議論にご協力ください。 出典がまったく示されていないか不十分です。内容に関する文献や情報源が必要です。（2018年10月） 独自研究が含まれているおそれがあります。（2018年10月） 出典検索?: "ナラティブセラピー" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL
元型 - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "元型" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL (2016年6月) 元型的象徴としての天使 元型（げんけい、ドイツ語: ArchetypまたはArchetypus、英語: archetype、アーキタイプ）は、カール・グスタフ・ユングが提唱した分析心理学（ユング心理学）における概念で、夜見る夢のイメージや象徴を生み出す源となる存在とされている。集合的無意識のなかで仮定される、無意識における力動の作用点であり、意識と自我に対し心的エネルギーを介して作用する。元型としては、通常、その「作用像（イメージ等）」が説明のため使用される。 元
アポフェニア #パレイドリア - Wikipedia
英語版記事を日本語へ機械翻訳したバージョン（Google翻訳）。 万が一翻訳の手がかりとして機械翻訳を用いた場合、翻訳者は必ず翻訳元原文を参照して機械翻訳の誤りを訂正し、正確な翻訳にしなければなりません。これが成されていない場合、記事は削除の方針G-3に基づき、削除される可能性があります。 信頼性が低いまたは低品質な文章を翻訳しないでください。もし可能ならば、文章を他言語版記事に示された文献で正しいかどうかを確認してください。 履歴継承を行うため、要約欄に翻訳元となった記事のページ名・版について記述する必要があります。記述方法については、Wikipedia:翻訳のガイドライン#要約欄への記入を参照ください。 翻訳後、{{翻訳告知|en|Apophenia|…}}をノートに追加することもできます。 Wikipedia:翻訳のガイドラインに、より詳細な翻訳の手順・指針についての説明があります。
分析心理学 - Wikipedia
初期のユングの研究のなかで、もっとも代表的で、深層心理学の研究者としてのユングを世に周知のものとしたのは、1904年に公刊された「連想実験」[1]に関する論文であった。 言語の連想により無意識の内容を意識化し、理解する試みはジークムント・フロイトの自由連想にすでに見られるが、ユングは一連のごく簡単な単語を用意し、被験者に連想してもらい、あわせて応答にかかる時間を測定、さらに再び最初から最後までチェックして、平均的な応答と「特殊な応答」の違いを浮彫りにした。[注釈 1]ユングは後者の反応を無意識のコンプレックスと関連づけたが、「連想実験」は単語や時間の測定数値、再現性の有無という具体的なデータが提示され、かつ統計的な比較が成されており、客観的で科学的な価値を持っている。 応答の時間のずれが生じたり、スムーズな再生が見られない刺激語を詳細に調べて行くうちに、ユングは、刺激語が、被験者自身にとっ
永遠の哲学 - Wikipedia
永遠の哲学（えいえんのてつがく）は、あらゆる民族と文化に共通の真理であるとされる思想。 この語は16世紀に Agostino Steuco が著書 De perenni philosophia libri X (1540) で初めて使用した。17世紀にはゴットフリート・ライプニッツがすべての宗教の基礎となる思想を示すのにこの言葉を用いた。オルダス・ハクスリーは1945年に、『永遠の哲学（英語版）』 (The Perennial Philosophy) を出版し、永遠の哲学を有名にした。 ハクスリーは永遠の哲学を以下のようにまとめている。 物質、生命、心の世界の実体を成す神的リアリティを認識する形而上学 神的実在に類似する、もしくは同一の何かを人間のなかに見出す心理学 あらゆる存在に超越すると同時に内在している根拠を知ることを究極目的とする倫理学 永遠の哲学の主義によると、古今東西で様々に異
トランスパーソナル心理学 - Wikipedia
トランスパーソナル心理学（トランスパーソナルしんりがく,英:Transpersonal psychology）とは、人間性心理学を発展させ、ヒューマンポテンシャル運動・ニューエイジの人間観を取り入れた心理学で、個体的・個人的（パーソナル）なものを超える（トランス）、または通り抜けることを目指し、あるいはそうした経験を重視する[1][2][3]。1960年代アメリカで、学生運動、LSD文化、ヒンドゥー教や仏教などの東洋思想の流入、ニューエイジ運動の影響を受け、行動主義心理学、精神分析、人間性心理学に続く新しい心理学の分野として誕生し展開した[2][4][5]。 トランスパーソナルな経験、通常の人間個人の限りある自己意識が拡大し、より大きな、より意味に満ちた現実とつながる経験や、死後の世界や宇宙空間、母胎への回帰や過去生のイメージ体験等を重視する[1][6]。宗教的もしくはスピリチュアルな経験
人間性心理学と実存主義
当ウェブページのコンテンツは、独自ドメイン“http://esdiscovery.jp/”に移転しました。「新しいURLのページ」に移動しての閲覧をお願い致します。 トップページ 心理学の歴史 Encyclopedia Copyright(C) 2004- Es Discovery All Rights Reserved
ファジィ論理 - Wikipedia
ファジィ論理（ファジィろんり、英: Fuzzy logic）は、1965年、カリフォルニア大学バークレー校のロトフィ・ザデーが生み出したファジィ集合から派生した[1][2]多値論理の一種で、真理値が0から1までの範囲の値をとり、古典論理のように「真」と「偽」という2つの値に限定されない[3]ことが特徴である。ファジィ論理は制御理論（ファジィ制御）から人工知能まで様々な分野に応用されている。 ファジィ論理と確率論理は数学的に似ており、どちらも0から1までの値を真理値とするが、概念的には解釈の面で異なる。ファジィ論理の真理値が「真の度合い」に対応しているのに対し、確率論理では「確からしさ」や「尤もらしさ」に対応している。このような違いがあるため、ファジィ論理と確率論理では同じ実世界の状況に異なるモデルを提供する。 真理値と確率が0から1の範囲の値をとるため、表面的には似ているように思われる。例
直観主義論理 - Wikipedia
直観主義論理（ちょっかんしゅぎろんり、英: intuitionistic logic）または直観論理（ちょっかんろんり）、あるいは構成的論理（こうせいてきろんり、英: constructive logic）とは、ある種の論理体系であり、伝統的な真理値の概念が構成的証明の概念に置き換わっている点で古典論理とは異なる。例えば古典論理では、全ての論理式に真か偽の真理値 ( ) が割り当てられる。このときその真理値に対する直接的なエビデンスを持つか否かは問題にしない。これはどのような曖昧な命題においても「真か偽かが決定可能である」ということを意味する。対照的に、直観主義論理では確定的に論理式に真理値を割り当てるのではなく、それが真であるとは「直接的なエビデンス」つまり「証明」があることと見做す。 証明論的な視点から見ると、直観主義論理は古典論理の制限であって排中律や二重否定除去が公理として許容され
)
直観主義 (数学の哲学) - Wikipedia
数学の哲学において、直観主義（ちょっかんしゅぎ、英: Intuitionism）とは、数学の基礎を数学者の直観におく立場のことを指す。 これに類する主張は、カントールの集合論に対抗する形でクロネッカーやポアンカレによってもなされていたが、最も明確に表明したのはオランダの位相幾何学者ブラウワーである。ブラウワーの立場に対してポアンカレらの立場は前直観主義と言われることがある。ブラウワーは、数学的概念とは数学者の精神の産物であり、その存在はその構成によって示されるべきだという立場から、無限集合において背理法によって非存在の矛盾から存在を示す証明を認めなかった。それゆえ、無限集合において「排中律」、すなわちある命題は真であるか偽であるかのどちらかであるという推論法則を捨てるべきだと主張し、ヒルベルトとの間に有名な論争を引き起こした。 ヒルベルトの形式主義は、直接的にはブラウワーからの批判的主張に
)
形式主義 (数学) - Wikipedia
この記事は英語から大ざっぱに翻訳されたものであり、場合によっては不慣れな翻訳者や機械翻訳によって翻訳されたものかもしれません。 翻訳を改善してくださる方を募集しています。 数学における形式主義（英: formalism）とは、数学における命題を少数の記号によって表し、証明において使われる推論を純粋に記号の操作と捉える考え方のことを指す。 形式主義の最も原理的な見方では、数学は決められたルール（公理と推論法則）に従って行われるゲームであり、ルールを取り替えることによってできる異なるゲームは、それぞれ同等である。 形式主義は、ダフィット・ヒルベルトによって主張された。その目的は数学をゲームと考えることによって、数学的実在に直接関わることなく、数学の無矛盾性を証明するためであった。（ヒルベルト・プログラム）上記の点から、ヒルベルトの形式主義は、ブルバキの公理論とは異なるものである。 形式主義によ
)
論理主義 (数学) - Wikipedia
英語版記事を日本語へ機械翻訳したバージョン（Google翻訳）。 万が一翻訳の手がかりとして機械翻訳を用いた場合、翻訳者は必ず翻訳元原文を参照して機械翻訳の誤りを訂正し、正確な翻訳にしなければなりません。これが成されていない場合、記事は削除の方針G-3に基づき、削除される可能性があります。 信頼性が低いまたは低品質な文章を翻訳しないでください。もし可能ならば、文章を他言語版記事に示された文献で正しいかどうかを確認してください。 履歴継承を行うため、要約欄に翻訳元となった記事のページ名・版について記述する必要があります。記述方法については、Wikipedia:翻訳のガイドライン#要約欄への記入を参照ください。 翻訳後、{{翻訳告知|en|Logicism|…}}をノートに追加することもできます。 Wikipedia:翻訳のガイドラインに、より詳細な翻訳の手順・指針についての説明があります。
数学基礎論 - Wikipedia
英語版記事を日本語へ機械翻訳したバージョン（Google翻訳）。 万が一翻訳の手がかりとして機械翻訳を用いた場合、翻訳者は必ず翻訳元原文を参照して機械翻訳の誤りを訂正し、正確な翻訳にしなければなりません。これが成されていない場合、記事は削除の方針G-3に基づき、削除される可能性があります。 信頼性が低いまたは低品質な文章を翻訳しないでください。もし可能ならば、文章を他言語版記事に示された文献で正しいかどうかを確認してください。 履歴継承を行うため、要約欄に翻訳元となった記事のページ名・版について記述する必要があります。記述方法については、Wikipedia:翻訳のガイドライン#要約欄への記入を参照ください。 翻訳後、{{翻訳告知|en|Foundations of mathematics|…}}をノートに追加することもできます。 Wikipedia:翻訳のガイドラインに、より詳細な翻訳の手
義務論理 - Wikipedia
義務論理（英: deontic logic）は、義務や権利などの概念を扱う論理学の一分野である。規範論理とも。典型的な記法としては、OA（A は義務的である、A であるべきだ）と PA（A は許されている、A でもよい）がある。deontic という言葉は古代ギリシャ語の déon（拘束されているもの、適切なもの）を語源とする。 インドのミーマーンサー学派の哲学者や古代ギリシアの哲学者は、義務的概念の形式論理的関係に注目していた[1]。また、後期中世哲学では、義務的概念と真理的概念を比較している[2]。ゴットフリート・ライプニッツは自著 Elementa juris naturalis において、licitum、illicitum、debitum、indifferens の間の論理関係がそれぞれ、possible、impossible、necessarium、contingens の間の論
認識論理 - Wikipedia
この記事には参考文献や外部リンクの一覧が含まれていますが、脚注による参照が不十分であるため、情報源が依然不明確です。 適切な位置に脚注を追加して、記事の信頼性向上にご協力ください。（2020年12月） 認識論理（にんしきろんり、英: Epistemic logic）は、様相論理の一種であり、知識についての推論を扱う。認識論は古代ギリシアにまで遡る哲学の主題の1つだが、認識論理は比較的最近のもので、哲学、理論計算機科学、人工知能、経済学、言語学など多数の分野に応用されている。アリストテレス以来、哲学者は様相論理を論じ、オッカムやドゥンス・スコトゥスがそれを発展させてきたが、認識論理を初めて体系的に定式化したのは C.I. Lewis であった（1912年）。その後発展していき、1963年にソール・クリプキによって今の形式が完成された。 1950年代には知識を扱う論理体系に関する論文が多数書か
可能世界論 - Wikipedia
この記事には参考文献や外部リンクの一覧が含まれていますが、脚注による参照が不十分であるため、情報源が依然不明確です。 適切な位置に脚注を追加して、記事の信頼性向上にご協力ください。（2024年3月） 可能世界論（かのうせかいろん、英: possible world）は、論理学・哲学において、可能性、必然性、偶然性などの様相命題を論理的に扱うための理論的装置である。可能世界の概念は論理学において広く定着しているが、その解釈の仕方を巡っては議論も多い。 可能世界の考えはライプニッツに始まるとされる。ライプニッツは可能世界の概念を神の心に結びつけて用い、現実に創造された世界が「全ての可能世界の中で最善のものである」と論じた。また可能世界のアイディアはルクレティウス、イブン・ルシュド、ヨハネス・ドゥンス・スコトゥスの著作に遡ることができるとする研究者もいる。 現在の可能世界論は、可能性や必然性の意
様相論理 - Wikipedia
様相論理（ようそうろんり、英: modal logic）は、いわゆる古典論理の対象でない、様相（modal）と呼ばれる「〜は必然的に真」や「〜は可能である」といった必然性や可能性などを扱う論理である（様相論理は、部分の真理値からは全体の真理値が決定されない内包論理の一種と見ることができる）。 その歴史は古くアリストテレスまで遡ることができる[1]:138が、形式的な扱いは数理論理学以降、非古典論理としてである。 様相論理では一般に、標準的な論理体系に「～は必然的である」ことを意味する必然性演算子と、「～は可能である」ことを意味する可能性演算子のふたつの演算子が追加される。 様相論理は真理論的（形而上学的、論理的）様相の文脈で語られることが最も多い。この様相においては「～は必然的である」、「～は可能である」といった言明が扱われるが、これは認識論的様相と混同されやすい。 例えば「雪男は存在して
一階述語論理 - Wikipedia
一階述語論理（いっかいじゅつごろんり、英: first-order predicate logic）とは、個体の量化のみを許す述語論理 (predicate logic) である。述語論理とは、数理論理学における論理の数学的モデルの一つであり、命題論理を拡張したものである。個体の量化に加えて述語や関数の量化を許す述語論理を二階述語論理（英: second-order predicate logic）と呼び、さらなる一般化を加えた述語論理を高階述語論理（英: higher-order predicate logic）という。本項では主に一階述語論理について解説する。二階述語論理や高階述語論理についての詳細はそれぞれの記事を参照。 命題論理では文を構成する最も基本的な命題（原子命題）は命題記号と呼ぶ一つの記号によって表していた。それに対し、一階述語論理においては、最も基本的な命題は原子論理式と
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
アダルトサヴァイヴァー - Wikipedia
サービス終了のお知らせ