×論理学バトル  ( ̄~ ̄;)

トップ フォーラム 雑談掲示板 ×論理学バトル  ( ̄~ ̄;)

  • このトピックには198件の返信、1人の参加者があり、最後に名無しにより19年前に更新されました。
15件の投稿を表示中 - 61 - 75件目 (全199件中)
  • 投稿者
    投稿
  • #14660
    しらす
    キーマスター

    うお~、なかっぺさんと自分は同じポジションです。
    自分の講評も「真理表と恒真の説明はこれで十分」でした。
    残りの「恒真という概念の有用性」については、より有効な例を提示すべく
    書き直しましたが、自分は最初から書いたので10ページをかなり超えてしまいました。
    (って結局、別レポ書く前に写経してる奴。)

    そうそう、自分の場合は総合のテキストで「妥当」という言葉がひっかかりました。
    述語論理になるとかなり細かくて複雑になりますが、まず命題論理における恒真
    を理解することが基本ですよね。

    ジュウイチさんは、学生時代に論理学を学ばれたのですか?
    的確なお話にいつも敬服しております。

    #14661
    eriko.
    キーマスター

    ジュウイチさん
    >被害も出てるのか?( ̄▽ ̄;)
    大爆!! いいセンスだぞ~。。

    少なくともこの台風で振り落ちた大雨は
    論理学におけるある種の渇水は満たしたみたいですね。
    この旋風の波紋がどのように広がるかは、今後の経過が楽しみなところですね。

    しかし、みんなの「目からウロコ」がまだよくわからない。。
    正直、「ワタシにはムリかも~」って思えるのよ。。← 弱音(;ロ;)
    迷路から抜けられなくて、迷子になっちゃいそう。。

    #14662
    ジュウイチ
    キーマスター

    >>61
    >ジュウイチさんは、学生時代に論理学を学ばれたのですか?

    いや~f^_^;
    前の大学では論理学には近寄りませんでした。数学じゃん、これって思って敬遠。
    さらに、慶應通信では履修しようと思いながらも、なんとなく後回しにしているうちに単位が足りちゃったので結局、履修自体をしていないんですよ。

    履修しようと思っていた頃は、
    野矢茂樹『論理学』東京大学出版会
    を参考にして勉強していたんですけどね。
    この本はわかりやすかったです。ただ、後半はレベルが高くてついていけませんでしたけど。

    >的確なお話にいつも敬服しております。

    いやいや、おそれいります。(^ ^;)ゞ
    前の大学ではゼミでの議論を多く経験しましたので、いつのまにか論理的に考えたり話したり、ということが身に付いていったようです。
    あと、中学校の数学では証明問題が好きだったことも関係しているかもしれません。
    もひとつついでに言うと、本格推理小説が好きだったことも関係していますね。名探偵にあこがれていたものですから。(*^~^*)ゞ

    >>62
    >しかし、みんなの「目からウロコ」がまだよくわからない。。
    >正直、「ワタシにはムリかも~」って思えるのよ。。← 弱音(;ロ;)
    >迷路から抜けられなくて、迷子になっちゃいそう。。

    問題演習が足りないんじゃないかな、きっと。
    というわけで、実践問題!
    時間をかけて取り組もう!

    次の命題の論理構造を最もよく表す論理式を書け。
    (1)勉強しないとerikoは試験に落ちる。
    (2)ジュウイチは論理学の知識がないわけでも、数学的センスがないわけでもない。

    次の論理式の真理値分析をせよ。
    (3)¬(P∧¬Q)
    (4)((P⊃Q)∧P)⊃Q
    (5)(P⊃(Q∨R))⊃(P∨Q)

    次の推論を表現する推論式を作り、真理値分析により正誤を調べよ。
    (6)erikoが訪ねるといつもコンノかしらすが家にいる。
    コンノが出かけるときはしらすも出かける。
    したがって、erikoが訪ねるといつもコンノがいる。

    わたしからの解答編は、…大晦日っていうのもなかなか劇的だな…。
    みなさんからの解答が早ければ、それに合わせます。(いつのまにか「みなさん」向けになってるし)

    #14663
    なかっぺ
    キーマスター

    はいっ先生!
    (1)¬P⊃Q
    (2)¬(P∨Q)
    ですかね??

    残りはほかの人に回します(という逃げはOK?)

    なんか、ああ、自分と同じように論理バトルしてる人がいるんだ…と思うとがんばれますねっ!
    しらすさん!いざ勝負!ちなみにしらすさん、現在何回戦目ですか??

    #14664
    masaaki
    キーマスター

    >野矢茂樹『論理学』東京大学出版会
    あ、自分も同じ本を参考にしていました。

    #14665
    しらす
    キーマスター

    昨晩、ポストに向かって「だあ~!」(by燃える闘魂)と投函してきました。
    5回か6回戦目です。(自分の年と同様にだんだんわからなくなります。・・・それって
    どうでもいいってことか?!)
    ちなみに追加の10円切手は2枚になっています。(つまり35円分の重量!)

    話を混乱させるようで申し訳ないのですが、ジュウイチさんが推理小説好きと聞きつけ
    是非、教えていただきたい推論(と言えるか?が実は知りたい。)があります。

    前提 「しっかりした男はやさしくなれる。」
    結論 「しっかりしていなかったら、生きていられない。」
        「やさしくなれなかったら、生きている資格がない。」
    (訳・清水俊二)

    このやりとりを論理的に検証したいと思っていたのですが、前提が二つに
    従って一つの結論が提示される形式でないと、推論式は成立しないでしょうか?
    それともこの作品が本格的な推理小説ではないのと同様に、「論理と推理の問題」ではなく
    文学的な言い回しにすぎないでしょうか。

    是非ご意見を伺いたい!!

    #14666
    なかっぺ
    キーマスター

    >追加の10円切手…
    いまだに15円分で投函してる僕…
    郵便局となぁなぁの関係を築こうかな~と思って…
    郵政公社の皆さんいつもすいません!!

    でも、けっこうアバウトですよ。。15円で全然届いちゃうから。。。

    #14667
    ジュウイチ
    キーマスター

    erikoさんが答えてないんだなぁ…。なかっぺさん、早速のお答えありがとうございます。いちばん答えてほしい人がまだ答えてないので、とりあえず現時点ではスルーしておきます。あしからず。

    >>66
    >ジュウイチさんが推理小説好きと聞きつけ是非、教えていただきたい推論(と言えるか?が実は知りたい。)があります。

    げ、よけいなこと書くんじゃなかった(^ ^;)ゞ

    >前提が二つに従って一つの結論が提示される形式でないと、推論式は成立しないでしょうか?

    えと、当該箇所は前提が二つになっていませんか?
    こういうふうに↓

    前提1 「しっかりした男はやさしくなれる。」
    前提2 「しっかりしていなかったら、生きていられない。」
    結論  「やさしくなれなかったら、生きている資格がない。」

    #14668
    しらす
    キーマスター

    ジュウイチさん、早速ありがとうございます。
    この件についてはできれば多くの方からの意見をお聞きしたいです。

    前提と結論ですが、自分が前提を一つとした訳は、このセリフが女からの問いかけであって
    結論二つのセリフがそれに対する男のセリフだからです。

    原訳文では、
    「あなたのようにしっかりした男がどうしてそんなにやさしくなれるの?」
    という問いかけです。

    そこから
    前提1 「あなたはしっかりした男である」
    前提2 「しっかりした男はやさしくなれる」
    という分解も可能かもしれません。

    どうも推論式は難しくて自信がありません。
    やっぱり例としては相応しくない文章かもしれません。
    この文章は推論ではないでしょうか?

    #14669
    eriko.
    キーマスター

    ジュウイチさん
    >erikoさんが答えてないんだなぁ…。いちばん答えてほしい人がまだ答えてないので
    ご、ごめん。。
    昨日は年賀状作成dayでした。大晦日に回答だというので、
    時間をかけてもいいのかと油断してました。。σ(ー∇ー;)

    but
    今日も仕事があるので、落ち着いて論理頭になれないのよ~。。
    なかっぺさんが1.2.を答えてくださったという事は
    真理表の作成ですよね。。 まだ、一度も練習してないし・・・
    …と言い訳ばかりで、ごめんなさい。。

    仕事中に真理表書いてみます。。
    ローマは一日してならず… ということで…

    #14670
    eriko.
    キーマスター

    お待たせ~。。
    やっつけ仕事なので、自信ないよ~。。
    (1)なかっぺさんと同じ
    (2)¬(P∧Q)  なような気がしますぅ…?
    (3)1
    (4)1
    (5)0
    (6)前提1P∧Q
       前提2P⊃(Q∧R)
       結論(P∧Q)⊃R

    …でどうかな~。。 他の方もなさるんですよね?

    #14671
    eriko.
    キーマスター

    これもやってみました。 癖になりそうだ~。。 でも、あっているのかな?
    前提1 「あなたはしっかりした男である」  P⊃R
    前提2 「しっかりした男はやさしくなれる」 R≡Q
    結論  しっかりした男は優しい       (P⊃R)≡Q
     

    #14672
    eriko.
    キーマスター

    これって、英語の方がわかりやすいっすよね

    ¬  not
    ∨ or
    ∧ and
    ⊃ then みたいな解釈。。

    #14673
    ジュウイチ
    キーマスター

    あわてず取り組んでね~>erikoさんヾ( ^ _ ^ )

    #14674
    ジュウイチ
    キーマスター

    しらすさん、もちょっとお待ちゃれ<元ネタ知ってる人かも~ん(^w^)

15件の投稿を表示中 - 61 - 75件目 (全199件中)
  • このトピックに返信するにはログインが必要です。
上部へスクロール