数学を教える人が読んでおきたい論理の本 - hiroyukikojima’s blog
ぼくは、以前から、論理とゲーム理論とをクロスオーバーさせた本を書きたい、というテーマを持っており、それは拙著『数学的推論が世界を変える〜金融・ゲーム・コンピューター』NHKブックスで果たすことができた。 この本を書くために、今まで、けっこうな冊数の数理論理学の教科書を読んできた。その中でめぐりあったのが、ゲンツェンの自然演繹と呼ばれる推論規則のセットであった。推論規則というのは、数学の証明で用いられる推論をできるだけ少ない数でセットにしたもので、おおわくではヒルベルトの体系、ゲンツェンのシークエント計算、ゲンツェンの自然演繹、というのがあって、それぞれの演繹能力は同じだけど、体系自体は異なるので、何をしたいかによって有利不利(向き不向き)がある。この３つの中で、普通の数学の証明で利用されている推論の方法は自然演繹が最も近いものである。 ぼくは自然演繹の体系を、鹿島亮『数理論理学』朝倉書店で
ロジカルシンキングができない人々【論理よりも感情が優先される国】 - 生きた経済ブログ
■犯人逮捕前と犯人逮捕後の対処がなぜ同じなのか？ 和歌山県紀の川市で発生した小学５年生殺害事件の容疑者が逮捕された。週明けの本日、犯人逮捕後初の登校日を迎えたとのことで、以下のような報道が為されていた。 「事件の被害者が通っていた同学校の児童らはボランティアと警察官が見守るなか保護者同伴で登校しました。」 こういう悲劇的な事件が起こった後で、皮肉めいた記事を書くのは憚られるのだが、読者の良識を信じて誤解を恐れずに敢えて言わせていただくと、毎度のことながら、これはおかしいと思う。 通り魔事件や猟奇殺人事件が起こる度に、こういう報道…と言うよりも、事後対処が為されるのだが、犯人が逮捕されたということは、複数犯でもない限り、その地域はもう安全になったことを意味する。事件が発生したということもあって普段以上に物々しい雰囲気で警察官が巡回しているわけだから、日本中で最も事件が起こりにくい安全な地域に
世界で一番ピュアな論理型プログラミング言語Hilbert(ヒルベルト)をRubyで作った. - Qiita
あいさつ こんにちは. 皆さん如何お過ごしでしょうか. 本日の日付を確認致しましたらもう2014年も残り一月半と改めて認識させられ驚いています. こうも時間の流れが早いと死ぬのもすぐですね. 懸命に生きようと思います. さて今回はHilbertという論理型プログラミング言語を作りました. （カジュアルに作ってるように見えますが、割と本気です.） まだまだやるべき事は本当に多くて、飴ちゃんあげるのでコミッター大募集です. （今ならカントリーマームもつけるのでお願いします.） HP: http://hilbert-lang.org/ja/ Github: https://github.com/gogotanaka/Hilbert 前座 世界で一番ピュアで豊かなプログラミング言語 この言語で仮定されているのは恒真（トートロジー）のみです. （厳密に言うと自然演繹も仮定されていますが.） 当初、自
はてな匿名ダイアリーでブクマが欲しいなら正論を書いてはいけない
ブクマするひとたちは それは間違ってるよ 正しくはこうだよ と講釈をたれたい人の集まりだから だから、 この匿名ダイアリーにももちろんブクマはつかない、 正論だから
「論理学」ってなんですか。
池田信夫 @ikedanob 嘘にもとづく結論は、論理学的にはつねに真です（対偶をとるとわかる）。 RT @yamagen_jp: 論理的には、前提が嘘に基づいていても、結論が正しいことはあり得る。しかし、前提は嘘で無い方がいいですね。RT 嘘にもとづいて正しい結論が出ることはない。 2014-08-15 00:47:30
「源義経の母親はナポレオン」Twitterで話題の激ムズ論理学の問題を数学科の大学院生が説明するよ
「外では雨が降っており かつ雨は降っていない」という前提から「源義経の母親はナポレオンである」という結論を導け――とある学校で出された論理学の問題がTwitterで話題になっています。 この問題を投稿したのはほっそーさん（@yayakiregimi_）で、現在1万リツイート以上されています。ほっそーさんが「単位諦めました」と言っているように、ぱっと見ても全くわかりません。 解くことを放棄して大喜利や三題噺として楽しむ人たちもいる中で、まじめに答えを書き込む人たちも。 うーん、この答えが合っているのか違っているのかもわからん！ 実はこの「論理学」、数学で用いられている考え方とかなり近いところにあるのだそう。そういえば、中高の時に数学の授業で「AならばB」なんて勉強した記憶があるような。ということで、筑波大学数学科の大学院生にこの問題を解説してもらいました。 「これは『形式論理学』といわれてい
ロジカルシンキングの弱点を考えてみた：ロジックを超えたロジックの話 – 佐藤航陽のブログ
ロジカルシンキングについて日頃から思っていた疑問をサクッと書いてみました。Wikipedia先生に聞いてみると、ロジカルシンキング（論理的思考）とは、 一貫していて筋が通っている考え方、あるいは説明の仕方のこと ビジネス書では、 物事を体系的にとらえて全体像を把握し、内容を論理的にまとめて的確に伝える技術 なんて説明されてたりします（定義は議論があるところですが、ここでは触れません） 現代社会の多くの意思決定において、ロジカルシンキングはとても大事です。例えば、社内で新規事業をする時に担当者がプレゼンする場合や、経営者が投資家に説明する場合などです。 筋が通らない矛盾があれば却下されるでしょうし、大多数が 納得できるようなロジカルな説明ができれば、意思決定はスムーズに進みます。 このロジカルシンキングの弱点は、他人を説得する際には絶大な力を発揮する一方で、物事の成否を見極めるには、それほど
UXの本質について | underconcept
ユーザー体験（ユーザーエクスペリエンス／User Experience: UX）という言葉が広く聞かれるようになってきた。半ばバズワードのように、特にウェブデザインやマーケティングの記事などの中では、この言葉を見ない日はない。しかしながら、多くの場合、UXという言葉の真意や可能性を取り違えてしまっている。本稿では、いくつかの観点からUXの本質を考えてみる。 １．UI/UXという誤用 1.1. UIとUX まず、多くの記事や講演などで見られる「UI/UX」という表現からとりあげてみたい。 UI/UXとは、もちろん、User Interface / User Experience（ユーザーインターフェイス／ユーザーエクスペリエンス）の省略形であるが、多くの記事などで「すぐれたUI/UXデザイン事例」、「UI/UX講座」などの表現が用いられている。 「ユーザー」という共通項があるため、共通でくく
NHK高校講座 ロンリのちから
中学、高校。そして大学、社会人になっても求められる論理的思考力（クリティカル・シンキング）を養う番組です。 これまで「水かけ論」「見せかけの説得力」「横ならび論法」など、ニセモノの論理を見破る方法を学んできましたが、議論の中で最も大切なのは「異なる意見を尊重する」こと。たとえ自分とは意見が違っても、相手の意見を尊重する姿勢の大切さを学びます。
サービス終了のお知らせ - NAVER まとめ
サービス終了のお知らせ NAVERまとめは2020年9月30日をもちましてサービス終了いたしました。 約11年間、NAVERまとめをご利用・ご愛顧いただき誠にありがとうございました。
オンラインで入手できる数理論理学・数学基礎論のテキスト
オンラインで入手できる数理論理学・数学基礎論のテキスト 数理論理学、数学基礎論の教科書的に使えるテキスト（講義ノート、サーヴェイ、モノグラフ等）のうち、オンラインで入手できるものを集めました。 入門的概説 論理一般 高階論理と型理論 直観主義論理 コンビネータとラムダ計算 時相論理および時制論理 様相論理 適切さの論理 自然言語の論理 空間論理 モデル理論 安定性理論 無限論理 計算可能性理論および再帰理論 集合論 pcf理論 記述集合論 実数の集合論 選択公理 強制法と内部モデル 連続体仮説 NF 証明論と構成的数学 順序数解析 算術の体系と不完全性 証明可能性論理 線形論理 構成的数学 代数的論理と圏論 ブール代数 普遍代数 量子論理 圏論 歴史 入門的概説 [▲] 加茂静夫，「数理論理学（命題論理と述語論理）」．[PDF] 嘉田勝，「数理論理学 講義ノート（2013年度版）」． St
話し合いをダメにする論証パタン１３個（有意義な論争のための議論ハック） - 女教師ブログ
↓こちらに続編あります↓ 論争に絶対負けない議論ハック（心構え編） - 女教師ブログ ====== 常々「ダメな論証方法」に関する話が好きで、自分でも色々考えたりしていたのだけれど、先日、ウィキペディアでまさにそれがリスト化されているページを見つけ、とても嬉しくなってしまった。誤謬 - WikipediaList of fallacies - Wikipedia, the free encyclopediaというわけで、以下は、wikiのページから13個の「間違った論証方法」を抜粋・再構成して、勝手に自分で例を考えてみたものです。こういうのを俗に、人の海パンで水泳をする、と言うんですね。 論理ルールの違反1. 後件肯定： 「PならばQだ」という論理を改変し、逆に「Qだ」から出発して「Pだ」を導く 例「瀧沢の彼女・奈々子は『もし浮気したら、別れるから！』と言っていた。最近、彼らは別れたらしい
一瞬でなまけ癖をなくす方法。:United Flowers Diary
2012年05月03日 一瞬でなまけ癖をなくす方法。 なまけ癖をなくす方法を、研究している人たちがいます。 素晴らしいですね（笑） そんな素晴らしい人たちが、インディアナ大学のスティーブン・シャーマン教授たちです。 彼らは、ある驚くべき仮説をうちたてます。 「人がなまけるのは、やるべき作業を、抽象的に理解しているからじゃないか？」 ・・・エラい学者さんの考えることは、意味不明ですね（笑） 具体的に考えてみましょう。 たとえば「英語の勉強」という作業は、人によって抽象的にも具体的にも解釈されます。 抽象的な解釈をする人： 「家に帰ったら、英語の勉強をしよう！」 具体的な解釈をする人： 「今日は、英単語を勉強しよう。家に帰ったら、すぐに机に向かい、単語帳の見開き2ページに載っている、30個の単語を覚えよう。そうだな、制限時間は20分。がんばるぞ！」 みなさん既にご察しか
「批判者は現場を知らない論」の終着駅 - opeblo
橋下徹 on Twitter: "そんな組織のトップは、太田教授が考えるマネジメント手法なんかでマネジメントはできません。典型的な現実不認識の机上の論。役所の課長に対して講義する論理がそのまま大阪市長に通用するわけがない。役所の組合と血みどろの政治決戦を踏まえた大阪市長と言うポジションは特殊です。" そんな組織のトップは、太田教授が考えるマネジメント手法なんかでマネジメントはできません。典型的な現実不認識の机上の論。役所の課長に対して講義する論理がそのまま大阪市長に通用するわけがない。役所の組合と血みどろの政治決戦を踏まえた大阪市長と言うポジションは特殊です。 批判の対象となっている、同志社大学政策学部の太田肇さんは、組織論を専門に研究されている方で、国家公務員や地方公務員の「現場」の経験もある方なのですが、「批判者は現場を知らない」論は、批判者が体験していない「現場」を持ち出すしかないの
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
入門!論理学: ホーム: 野矢 茂樹
NIKKEI STYLEは次のステージに
Amazon.co.jp: 論理学をつくる: 戸田山和久: 本
論理で人をだます法(仮)
嬉々としてセクハラ野次叩いてる奴ってAVやエロゲで抜いたこと一回もないの?
IDEA * IDEA
