タグ

論理に関するsumomomimiのブックマーク (7)

  • 読んで学べる論理学を探しているひとへ――古典命題論理から様相命題論理まで - sho__yamaguchi’s blog

    論理学を基礎から〈テキストを読むこと〉だけで独習しようとするひと――こうしたひとにとって役立つかもしれない講義テキストを置いておく。これは某大学で私が担当している論理学の講義のテキストであり、その授業では安井邦夫『現代論理学』(世界思想社、1991年(新装版2021年))も教科書に指定されている。ただし、以下のテキストは、安井の教科書がなくても読むことができる(他方で、「論理学Ⅰ」のテキストを読み終えた後に、その続きとして安井で述語論理などを学び進めることもできる)。 ちなみに、論理学をまなぼうとするひとの中には《ふつうの散文は却って読みにくく、とりあえず記号を並べてほしい(あとは自分で考えるから)》という方もいると思う。そうした方にとっては、残念ながら、私のテキストは却って読みづらいだろう。なぜなら私のテキストは――最近はこうした言葉づかいがあるらしいが――形式化の背景にある「お気持ち

    読んで学べる論理学を探しているひとへ――古典命題論理から様相命題論理まで - sho__yamaguchi’s blog
  • ハーバード大学で150年以上教えられる作文術「オレオ公式」とは?...順番に当てはめるだけで論理的な文章に

    <書くことが苦手な人でも「オレオ公式」を知ることで、誰でも論理的な文章がすぐに書けるようになる> ハーバード大学で受け継がれているライティングメソッドから生まれた「オレオ公式」。 書くことが苦手な人でも「オレオ公式」を知れば、論理的かつ説得力のある「伝わる文章」の達人になれる。 『作文宿題が30分で書ける! 秘密のハーバード作文』(CCCメディアハウス)の「第1章 ハーバード大生みたいに考える」より一部抜粋。 作文上手になるためのセンターピンをねらえ! 以前『ニューヨーク・タイムズ』の記者が書いた『習慣の力』(チャールズ・デュヒッグ著、講談社)というが、世界中で話題になりました。人間の習慣の秘密について著者の考えをまとめたです。 このの中で著者は、「ボウリングのセンターピンを1倒すだけでほかのピンも次々と倒れていくように、まず、その人が変えたいと思うもっとも大きな習慣をひとつ変える

    ハーバード大学で150年以上教えられる作文術「オレオ公式」とは?...順番に当てはめるだけで論理的な文章に
  • 論理的思考の一つの特徴、二つの目的 - 発声練習

    論理的思考とは他者が自分の思考過程を検証できるように思考を進めていくこと、あるいは、そのような思考の進め方のことを言う。他者が自分の思考過程を検証できるようにするということが論理的思考の特徴である。 なぜ、論理的思考が必要になるのかと言うと以下の二つがその理由 説明:自分の考えていることを他人に理解してもらうため 可視化:何かを考えるときに「他人の目」を自分の内部に導入するため そもそも、他人に説明したり、理解してもらう必要がないならば論理的に思考する必要はない。直観や霊感にしたがって何でもやれば良い。でも、他人に理解してもらうため、あるいは納得してもらうためには、自分がどういう理由で、何を、どう考えたのかを相手にわかる形で示さなければならない。 他人が自分の思考過程を検証できるように思考を進めていくと、自分の思考過程が可視化される。可視化することにより、一歩引いた視点で、検討範囲に漏れは

    論理的思考の一つの特徴、二つの目的 - 発声練習
  • 論理的思考の放棄 - 登 大遊@筑波大学情報学類の SoftEther VPN 日記

    僕は、1 日に少なくとも 3,000 行程度、多く書くときで 10,000 行以上のプログラムを書くことができる。その結果、多い月で 10 万行 / 月くらいである。なお、言語は書くソフトウェアの性質上、大半が C 言語である。 また、プログラミングにはバグが付き物だが、ここ 2、3 年の間は、発生するバグの数を極めて少なく保つことに成功している。 とても大きく複雑で、かつレイヤ的に OS に近い処理をたくさんやるプログラムを書く場合は、プログラミングをするときでも、事前の設計が極めて重要となる。設計をうまく行わないと、後になって全面的に書き直しをしないといけなくなったり、パフォーマンスが低下したりする原因となり、開発者の苦痛の原因となる。 当然のことながら、これまで書いたいくつかの大きく複雑といえるソフトウェアの大半の設計も、自分で行った。いかなる場合でも、設計は、最初の 1 回目で確定

    論理的思考の放棄 - 登 大遊@筑波大学情報学類の SoftEther VPN 日記
  • 論理的思考の放棄の具体的方法 - 登 大遊 (Daiyuu Nobori) の個人日記

    何か重要な作業を効率的にしようと思うのに、次々と考えが思い浮かんでしまい集中できないときは、まず、頭の中で、以下のように上下左右に強力な磁石のようなものが設置されている様子を想像する (ここで磁石には N 極と S 極があるがどっちの方向を向いて配置されているのかといった論理的なことは考えなくても良い。とにかく磁石のようなものがある、という程度で良い)。 磁石のイメージをリアルに思い浮かべる必要は全くない。だいたい磁石のような、何かを吸い寄せるような性質のものがあるな、という程度で良い。 次に、その磁石で囲まれた空洞の中央部分に、少し重いけど、手で簡単に持てる程度の鉄球 (鉄を思い浮かべなくても、磁石のような何かに吸い寄せられるような何か) を思い浮かべる。 背景のイメージは Microsoft Windows XP の壁紙からの引用であり、コンピュータのディスプレイを見ながらイメージをす

    論理的思考の放棄の具体的方法 - 登 大遊 (Daiyuu Nobori) の個人日記
  • 志村けんのパラドックス - アスペ日記

    みんな冷静に計算してほしいけど、東京都の新コロナ感染者数は現在171人。東京から無作為に200人をピックアップしたときに、その中に超有名人の志村けん氏が入ってる確率ってどのくらいだと思う? 現在の感染拡大ペースは我々の想像をはるかに超えてるよ。桁違いの感染者数になってるよ。— 森岡正博 (@Sukuitohananika) 2020年3月25日 このツイートと、 森岡正博 on Twitter: "みんな冷静に計算してほしいけど、東京都の新コロナ感染者数は現在171人。東京から無作為に200人をピックアップしたときに、その中に超有名人の志村けん氏が入ってる確率ってどのくらいだと思う? 現在の感染拡大ペースは我々の想像をはるかに超えてるよ。桁違いの感染者数になってるよ。" ブコメがひどい。水曜日のダウンタウンとやらによれば志村けんは日の知名度ランキング15位。そんな人が感染してるなら、実際

    志村けんのパラドックス - アスペ日記
  • ドラゴンの目の論理パズルを知ったのだけど納得できない(納得できた)

    (追記:今更だけどパズルの原文はこちら→https://io9.gizmodo.com/can-you-solve-the-hardest-logic-puzzle-in-the-world-1642492269) 答えには納得したのだけど、問題文に納得がいっていない。 納得がいかない点を説明するために、以下にその問題の配役を変えただけの問題文を書く。 (この時点で間違っているのなら私の解釈間違いということでわかりやすいので指摘してくれると助かる) ある村に100人の村民がいます。 全ての村民は非常に頭が良いし、論理的で間違った行動はしません。それを村民全員が知っています。 村民全員はこの世の人の目は青か赤の二種類であると知っており、それは事実です。 村には鏡も水面もガラスも無く、自分の目の色を確認する術はありません。 村民は一日一回全員が集合し、自分以外の全員の目の色を確認する機会があり

    ドラゴンの目の論理パズルを知ったのだけど納得できない(納得できた)
  • 1