タグ

logicに関するmyrmecoleonのブックマーク (11)

  • 読めないとはこういうこと→勉強できない子をあぶりだす5つの質問

    例によって体調不良なので短いものを。 読む力が大切だとか、国語力はすべての学力の根だと、誰もが口にする。 間違っているとは思わないけれど、〈読む力〉や〈国語力〉が具体的にどういうものなのか、ちゃんと話している人たちの間で共有されているのかというと、あまり確信がない。 〈読む力〉がどういうものか説明しようとすると、どんどんと細かい話や、それ自体説明しなきゃならない難しげな概念などたくさん登場してきて、長くなるばかりか分かりやすくも無い。 できるだけシンプルで身にしみそうなのを紹介する。 下の5つの質問は、もともと小学生対象に使われていたものだが、自分や、周囲の大人や子どもにも試してみることができる。 (1)まさおくんは、キャラメルとあめとでは、キャラメルがすきです。キャラメルとチョコレートでは、チョコレートのほうがすきです。まさおくんの一ばんすききなのは、どれですか。 (2)りんごとなしで

    読めないとはこういうこと→勉強できない子をあぶりだす5つの質問
    myrmecoleon
    myrmecoleon 2012/07/01
    (1)の「すきき」を許容するとしても(1)と(2)は個物の話か一般の話か不明であり,確定不可。(3)は仮定された一般の話,(4)は個物の話であるので確定可。(5)は「黒さ」を定義できないので確定不可。(という読めない人の主張
  • 2009/12/17-18 クォンタム・ファミリーズ祭 -読書実況と反応-

    東浩紀氏の小説「クォンタム・ファミリーズ」新潮社をid:trickenが読書実況。 Tiwtter遅延の最中、作者人も登場し、なんだかアツイ展開に。 17日は配日で全国発売日は12/21とのこと。 適宜追加更新お願いします。

    2009/12/17-18 クォンタム・ファミリーズ祭 -読書実況と反応-
  • OBB vs AABB - Radium Software Development

    iPhoneの一般修理店は予約なしでも来店できる? 基的には飛び込みで修理に行ってもOK iPhoneを置いていたソファにうっかりと腰かけてしまい、パネルを割ってしまった、こんな時はスマホの一般修理店へ行きましょう。画面割れは、スマホやタブレットの故障原因として非常に多いものです。予約なしで突然お店に行っても平気かしらと、不安に思う方々もいらっしゃるかもしれません。結論としては特に問題はなく、予約なしで訪問しても画面割れの修理はお願いできます。 ただし他のサービス業のお店同様、予約なしの場合、お店が混雑していると順番待ちをしなければいけないです。特に繁盛しているスマホ修理のお店だと、行列が店内で出来ており、予約なしだと、自分の順番が巡ってくるまで長時間待たされる可能性があります。平日の朝、昼なら利用客が少ない場合が多く、飛び込みでも比較スムーズに修理が頼めます。 予約は入れた方が時短に、

  • 矛盾許容論理 - Wikipedia

    矛盾許容論理(むじゅんきょようろんり、Paraconsistent Logic)とは、矛盾を特別な方法で扱う論理体系。また、矛盾に対して耐性のある論理を研究・構築する論理学の一分野を指す。矛盾許容型論理とも。 矛盾許容論理は1910年ごろにはすでに存在していた(原始的な形ではアリストテレスまで遡る)。しかし、矛盾許容(Paraconsistent)という用語が使われるようになったのは 1976年であり、ペルー人哲学者 Francisco Miró Quesada が最初である[1]。 定義[編集] 古典論理や直観主義論理では、矛盾からはあらゆることが導かれる。この特徴を爆発律(英語版)[2]などと呼び、形式的には次のように表される: ここで は論理的帰結関係を意味する。言葉で表すならば、「AかつAでないならば、Bである」という意味である。このBは任意である、つまり全てが自明となる。 上記の

    myrmecoleon
    myrmecoleon 2007/11/01
    面白い。
  • ネッシーの存在証明に、100万ポンドの懸賞金 | スラド

    ストーリー by GetSet 2007年06月08日 11時00分 代わりに殿様のマゲの写真じゃダメかな? 部門より CNN.co.jpなどによると、英国のスポーツ・ブックメーカーとして有名なウィリアム・ヒルが、ネッシーの存在を証明した人物に賞金100万ポンド(約2億4300万円)を贈るとのこと(William Hill: 1,000,000 Cash Reward For Proof of Nessie)。 “ネッシー”と思われるものを撮影した場合、写真はロンドン自然史博物館の専門家が鑑定し、合格すれば賞金が出るというもの。なお、「2007年内に見つかる」というオッズは250倍となっている。

  • パラドックス - Wikipedia

    パラドックスと呼ばれるものの一般的な構造(左側)、そして解決の基的な三つのパターン(右側)[1]。図では示されていないが、前提には明示されるものと、そうでないものがある。パラドックスを取り扱う際は、明示されていない前提にも注意を払っていく必要がある。 パラドックス(paradox)とは、正しそうな前提と、妥当に思える推論から、受け入れがたい結論が得られる事を指す言葉である。逆説、背理、逆理とも言われる。 パラドックスとは[編集] 「妥当に思える推論」は狭義には(とりわけ数学分野においては)形式的妥当性をもった推論、つまり演繹のみに限られる。しかし一般的にはより広く帰納などを含んだ様々な推論が利用される。また「受け入れがたい結論」は、「論理的な矛盾」と「直感的には受け入れがたいが、別に矛盾はしていないもの」に分けることができる。狭義には前者の場合のみをパラドックスと言い、広義には後者もパラ

    パラドックス - Wikipedia
    myrmecoleon
    myrmecoleon 2007/06/06
    「前者は本来は仮定(公理)や定義がはっきりした状況で用いる言葉であるのに対し、後者は仮定がはっきりしないからこそ起こる矛盾を指す」ラッセルのパラドックスもそう? なんかしっくりこないな
  • 全能の逆説 - Wikipedia

    全能の逆説(ぜんのうのぎゃくせつ、英: omnipotence paradox、全能のパラドックス)とは、論理学・哲学・神学等において、全能と論理学的不可能との関係を扱った問題[1]。この逆説は全能者の論理学的矛盾を示しており[2]、極端な例で言えば、全能者は自分自身を《永遠にいかなる意味でも存在しない》ようにすることはできない[3]。他の例で言えば、全能者は「四角い円」や「7+5=75」を成立させることができるように見えるが、それらは論理学的不可能であり、全能者は矛盾している[4]。全能者はどんなことでもなし得る、と考えることは論理学的に正しくない[3]。 もし全能が《論理学を超越した能力》である、または《神(全能者)の論理》であると言うなら、全能とは、「四角い丸」のような形をも作成できる《非論理学的能力》である[5][注 1]。この場合、全能についての主張・議論等から論理学を切り捨てる

    全能の逆説 - Wikipedia
  • *minx* [macska dot org in exile] - 「いかなる理由があっても差別してはならない」というトートロジー

    二日前、牧波昆布郎さんのエントリへのコメントをした際、めんどうなことになりそうだから(狭い範囲でヒートアップしてるしぃ)飛ばした論点なんだけど、売買春そのものについてはわたしと近い考えを持っていそうな yuki さんの売春者に対する「職業差別」の議論を読んで、やっぱりちょっとだけ口を出したくなった。 気になった発言というのは、こういうもの。 「いや、職業差別はダメだ。ガードマンやゴミ処理の人を俺は差別しない。だが、売春婦は別だ」あるいはこう言うかもしれない。どうして売春婦は別なのだと問えば「性を商品化しているから」「売春は犯罪だから」とかおそらく言い出すのだろう。理由があれば差別はOKだという恐ろしい発想。まさにこれこそが差別の核心である。 近年は「肌の色を理由に」差別してはいけないということになり「生まれた土地を理由に」差別してはいけないということになった。どうにもならないことだから。し

    *minx* [macska dot org in exile] - 「いかなる理由があっても差別してはならない」というトートロジー
    myrmecoleon
    myrmecoleon 2007/03/19
    差別とその理由の正当性を語るとトートロジーに陥るという話。ほかに定規はないのかね?
  • 書評(数理論理学)

    一般解説書など 結城浩:数学ガール/ゲーデルの不完全性定理, ソフトバンククリエイティブ (2009) (はてなダイアリーの記事に加筆修正して転載) 書は、数学の定理の解説としてはきわめてまっとうな、ゲーデルの不完全性定理の解説である。普通なら、まっとうであることは評価の最低基準であって、それだけで高評価になるものではない。しかし、不完全性定理に限ってはそうはいえない。ちまたにあふれる不完全性定理に関わる言説にはまっとうでないものがあまりにも多い。そのため、不完全性定理の解説はまっとうであるだけで高い評価を得てしまう。 まっとうであるために第一に必要なことは、内容に初歩的な間違いがないことである。当たり前のことだが、その当たり前が実現できていない不完全性定理は多い。肝心の「不完全」の定義を間違えているものすら珍しくない。その点、書は正しく記述しているのみならず、ちまたによくある濫

    myrmecoleon
    myrmecoleon 2007/02/25
    不完全性定理のわりとまともな説明。
  • ドリコムブログサービス終了

    サイトをご覧いただくには Adobe Flash Player が必要になります。 お手数ですが、下記のリンクよりダウンロード後に、もう一度ご覧ください。 ドリコムからみなさまへ ドリコムブログユーザーの皆様。当にありがとうございました。皆様とブログを通じて繋がっていられたこの数年は、我々にとっての誇りです。時に叱咤を、時に賛辞を、その全てがドリコムブログを形作っていたのだと痛感しております。今度お会いする時は読者とブロガーとして、再び繋がらせて頂ければと思います。 これまでドリコムブログを愛用していただきまして当にありがとうございました。サービスが続けられなくなりましたこと大変申し訳なく感じており、ここまでご利用いただけましたこと深く、深く感謝しています。これからもブログという文化を楽しんでいっていただけますと幸いです。 ドリコムブログユーザーの皆様へ。ブログ創世記から利用いただき

    myrmecoleon
    myrmecoleon 2007/01/08
    定義という行為に関わる矛盾。定義せねば議論できない。定義したらもはや当初したかった議論はできない。/でも定義できなくても,どこかつながってるという認識をもち,会話できるということが素晴らしい。
  • 大和魂、俺の事かと三値論理 : 404 Blog Not Found

    2006年12月29日02:00 カテゴリCultureMath 大和魂、俺の事かと三値論理 字余りになってしまった。以下を読んで思いついた事。 図録▽神の存在・死後の世界に対する見方(世界55カ国比較) 日人の特長は、「わからない」の比率が多い点にある。神の存在については、世界各国の中でも、「わからない」の比率は圧倒的であるし、死後の世界についても、「わからない」の比率は世界一高い。三値論理とは、「真」(true;t)と「偽」(false;f)の他にもう一つ状態を加える事。 この場合は「不明」(I don't know)とでも言おうか。"I don't know"は長いのでidk;iと略記することにして、論理演算を考えてみると、以下のとおりになる。 AND &tfi ttfi fffi iiii OR |tfi ttti ftfi iiii NOT ! tf ft ii 一つお気づきに

    大和魂、俺の事かと三値論理 : 404 Blog Not Found
    myrmecoleon
    myrmecoleon 2006/12/29
    米欄に論理学の他の学説の話が。面白い。/よく考えてないのに「いる」と答える文化と「わからない」と答える文化の差かな。哲学的に神の実在を考えて「はい」という人もいるけど,比較的少ないと思う。
  • 1