ファジィ論理 - Wikipedia
ファジィ論理（ファジィろんり、英: Fuzzy logic）は、1965年、カリフォルニア大学バークレー校のロトフィ・ザデーが生み出したファジィ集合から派生した[1][2]多値論理の一種で、真理値が0から1までの範囲の値をとり、古典論理のように「真」と「偽」という2つの値に限定されない[3]ことが特徴である。ファジィ論理は制御理論（ファジィ制御）から人工知能まで様々な分野に応用されている。 ファジィ論理と確率論理は数学的に似ており、どちらも0から1までの値を真理値とするが、概念的には解釈の面で異なる。ファジィ論理の真理値が「真の度合い」に対応しているのに対し、確率論理では「確からしさ」や「尤もらしさ」に対応している。このような違いがあるため、ファジィ論理と確率論理では同じ実世界の状況に異なるモデルを提供する。 真理値と確率が0から1の範囲の値をとるため、表面的には似ているように思われる。例
NHK高校講座 ロンリのちから
中学、高校。そして大学、社会人になっても求められる論理的思考力（クリティカル・シンキング）を養う番組です。 これまで「水かけ論」「見せかけの説得力」「横ならび論法」など、ニセモノの論理を見破る方法を学んできましたが、議論の中で最も大切なのは「異なる意見を尊重する」こと。たとえ自分とは意見が違っても、相手の意見を尊重する姿勢の大切さを学びます。
無知に訴える論証 - Wikipedia
例えば、南中国から東南アジアに分布するタイ・カダイ語族の分類では、Tai、Kra、Kam–Sui、Hlai という4つの明確な分岐がある（ここでは話を単純化するために意図的に Be を除いてある）。従来、Kam-Sui と Tai は語彙の多くが共通するということで同系統に分類されてきた。この語彙が語族の中でこれらを単系統群とする派生形質かどうかは議論されてきた。しかし、これは他の分岐にその語彙がないという「消極的証拠」であり、元々はタイ・カダイ語族に共通の語彙であって、Kra と Hlai でそれが失われたという可能性もある。実際、形態学的証拠からは Tai は Hlai に近く、Kam-Sui は Kra に近いことが示されており、語彙の消極的証拠とは異なっている。 最近ではあまり使われない表形分類学はこの種の誤りに陥りやすい。分岐学とは異なり、特徴の進化的歴史を評価することで関係を決
The Logic Lab: simulating simple circuits of logic gates
Logic gates - logische poorten -teller paneel You need a Flash player to see the Logic Lab The LOGIC LAB is a application for simulating simple circuits of logic gates on the screen. Its an experimental project of freelance Flash Platform developer Kris Temmerman. For contact information and other cool flash projects visit his site: freelance RIA application developer logische schakelingen paneelt
ストローマン - Wikipedia
ストローマン ストローマン（英: straw man）は、議論において、相手の考え・意見を歪めて引用し、その歪められた主張に対してさらに反論するという間違っている論法のこと、あるいはその歪められた架空の主張そのものを指す[1]。ストローマン手法、藁人形論法、案山子論法（かかし論法）ともいう。 語源[編集] 語源は不明である。比喩的な用法は、容易に倒せそうな藁人形、ダミー、かかしなどを示唆する[2]。 アメリカではポリティカル・コレクトネスの見地から、字義的に「藁の男」を意味する「ストロー・マン」を言い換えて、性別を問わない「藁の人」を意味する「ストロー・パーソン」を使用する場合がある[3]。 概説[編集] 相手の意見の一部を誤解してみせたり、正しく引用することなく歪める、または一部のみを取り上げて誇大に解釈すれば、その意見に反論することは容易になる。この場合、第三者からみれば一見すると反論
線形時相論理 - Wikipedia
線形時相論理（せんけいじそうろんり、Linear Temporal Logic、LTL）とは、時間に関する様相を持つ様相時相論理である。LTLでは、ある条件が最終的に真となるとか、別の事実が真になるまでその条件は真であるとかいった将来の出来事について論理式で表すことができる。 文法[編集] LTL では変項 や一般的な論理作用素 の他に以下の時相様相作用素を使用する: N （next） G （globally） F （in the future） U （until） R （release） 最初の3つの作用素は単項演算である。従って、 が論理式であれば、N も論理式である。最後の2つの作用素は二項演算である。従って、 と が論理式であれば、 U も論理式である。 意味論[編集] LTLの論理式の評価は経路上の位置における逐次的な真理値として評価される。LTLの論理式はその経路上の位置 0
ピアジェと構造 | TETRA'S MATH
ピアジェという人が何をしたのかはほどんど知らないのですが、この名前を聞いてかろうじて思い浮かぶことは、子どもの量の概念形成について研究した人であり、シェマということばを使った人である、ということくらいです。山下正男『論理学史』でピアジェの名を見かけたときに、「あのピアジェなのかな？ 別のピアジェかな？」と一瞬不安になったのですが、“知能心理学者”とついているので、やはりあのピアジェなのでしょう。 というわけで、久しぶりに開く次の2冊。 ■遠山啓『量とはなにか−Ⅰ』 ■アミール・D・アクゼル『ブルバキとグロタンディーク』 前者では、「幼児の量概念」という章において、「これまでの“算数の心理学”にくらべると格段にすぐれているが、批判の余地がありうる」という留保をつけたうえで、ピアジェの研究の紹介がされています。内容は粘土の実験。子どもが物質・重さ・体積の保存を段階をおって習得していく様
様相論理 - Wikipedia
様相論理（ようそうろんり、英: modal logic）は、いわゆる古典論理の対象でない、様相（modal）と呼ばれる「〜は必然的に真」や「〜は可能である」といった必然性や可能性などを扱う論理である（様相論理は、部分の真理値からは全体の真理値が決定されない内包論理の一種と見ることができる）。 その歴史は古くアリストテレスまで遡ることができる[1]:138が、形式的な扱いは数理論理学以降、非古典論理としてである。 様相論理では一般に、標準的な論理体系に「～は必然的である」ことを意味する必然性演算子と、「～は可能である」ことを意味する可能性演算子のふたつの演算子が追加される。 真理論的様相と認識論的様相[編集] 様相論理は真理論的（形而上学的、論理的）様相の文脈で語られることが最も多い。この様相においては「～は必然的である」、「～は可能である」といった言明が扱われるが、これは認識論的様相と混同
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Amazon.co.jp: ゲーデルの定理――利用と誤用の不完全ガイド: トルケル・フランセーン (著), 田中一之 (翻訳): 本
Amazon.co.jp: 言語・知識・信念の論理 (知の科学): 東条敏: 本