• 締切済み

論理学<演繹>

学校で、演繹についての課題が出たのですがどうしても分かりません。 どなたか分かりやすく教えて頂けないでしょうか。 よろしくお願いいたします。 -------------------------------------------------------------- Q.次の推論が演繹として誤りであることを説明せよ。 ただし、「嘘をつく」とは騙そうとしてわざとまちがったことを言うとであるとする。 帽子屋、三日月ウサギ、眠りネズミと呼ばれる三人がいて、帽子屋と三日月ウザギから次のような発言があった。 帽子屋「三日月ウサギと眠りネズミの少なくともどちらか一方は、けっして嘘をつかない」 三日月ウサギ「いやあ、眠りネズミは嘘ばかりさ」 このことから、帽子屋は嘘をついていないということが結論できる。 帽子屋が嘘をついていると仮定しよう。 そのとき、三日月ウサギと眠りネズミは両方とも嘘ばかりついていることになる。 それゆえ、三日月ウサギの発言は嘘。 ということは、眠りネズミは嘘ばかりついているわけではない。矛盾。 したがって、帽子屋は嘘をついていない。 -------------------------------------------------------------- これが問題なのですが、どの様に答えたら良いのかも分かりません…

みんなの回答

  • masa2211
  • ベストアンサー率43% (178/411)
回答No.1

問題文の定義が、あいまいな気が。 嘘つき、というのが、 立場1:常に嘘をついている。 立場2:嘘を言うときもあれば本当のことを言うこともある。 のどちらの意味になるかが、まず問題になります。 ※現実なら、まさか立場1の人間はいないでしょうが、論理学の話なので立場1も容認します。 すると、 >そのとき、三日月ウサギと眠りネズミは両方とも嘘ばかりついていることになる という発言は、立場1の場合。 >眠りネズミは嘘ばかりついているわけではない。 という発言は、立場2の場合。 議論をするときに、立場1と立場2が混在したら議論がめちゃくちゃになるので、論理上誤り。 演繹としての誤りの別解。 「嘘をつく」の定義が、「騙そうとしてわざとまちがったことを言う」であるので、 「カン違いなどで間違ったことを言う」場合は、うそつきにはなりません。 すなわち、帽子屋あるいは三日月ウサギの発言が間違いだとしても、 カン違いなのかわざと間違ったことを言ったのか判断材料が無いにもかかわらず、 間違ったことを言った人は「うそつき」にされています。 ここも論理的に変です。

関連するQ&A

  • 論理学、正しい演繹かどうか分かりません

    野矢茂樹先生の新版論理トレーニングの課題演習で次のような問題がありました。 次の推論は、演繹として正しいか、誤っているか。誤っている場合はどうして誤りなのか説明せよ、というものです。番号は私がふりました。 あるクラスの学生について調べたところ、(1)倫理学をとっている学生は誰も論理学をとっていなかった。また、(2)哲学をとっている学生は全員論理学をとっていた。このことから、(3)倫理学をとっていない学生だけが哲学をとっている、と結論できる。 私の考えは、以下の通りで正しい演繹ではないとなりましたが、ベン図を書くと結論は正しいようです。書籍に解答が無く困っています。どなたかご教授お願いします。 倫理学をとっているをA、倫理学をとっていないをa、 論理学をとっているをB、論理学をとっていないをb、 哲学をとっているをC、哲学をとっていないをcとする。 (1)はA→b、(2)はC→B、これらを前提として(3)a→Cと結論できるかが問題となっている。(1)の対偶はB→aであるから、(2)と併せてC→aは成り立つ。a→CはC→aの逆であるため、正しい演繹とはいえない。

  • 演繹

    以下の考えは「演繹(推論)」になっていますか? これを拡張して、レポートを書こうと思うのですが、この段階の考えが間違っているとまずいので…。 大前提(一般):人は人気・ブランド力のあるものを買う。 小前提(事実など):私の母は、実際にヒット商品をいくつも買った。 結論(個々の事象):ゆえに、私の母は人気商品を買う。 もし、間違っていれば、どこが違うのか指摘をお願いします。その際、宜しければ例を挙げていただけると分かりやすいです。 宜しくお願いします。

  • 論理学 命題文の推論についての質問です

    「入門!論理学」~野矢茂樹著・中央公論新社 で論理学を 勉強しております。 推論の真偽を問う問題の解説として下記のように記載されて おりましたが、残念ながら理解できませんでした。 ここから引用>>   手形は有価証券である。   小切手は手形ではない。   だから、小切手は有価証券ではない。  前提を認めて、その上で結論を否定してみてください。  手形は有価証券で、小切手は手形ではなくて、でも  小切手も有価証券である、そう書き並べて、これは  矛盾しているでしょうか。  手形も小切手も有価証券だけれども、手形と小切手は  違う。これは別に矛盾ではありません。有価証券にも  いろいろあるんだなというだけのことです。ということは、  この前提を認めても結論を否定する余地があるという  ことですから、この導出は絶対ではない。つまり、  演繹としては正しくない。そうなります。  逆に、前提を認めて結論を否定したときに矛盾になる  場合には、その導出は演繹としてた正しいと言えます。  演繹の正しさをチェックするやり方として、この「前提を  認めて結論を否定し矛盾になるかどうか調べる」という  チェック法はかなり有効ですから、覚えておいてもよい  でしょう。 <<引用ここまで 理解できないのは、「前提を認めて否定する余地がある」 ということから、「この導出は絶対ではない」と言える理由が 解りません。 後述されていますが、どうやら 「前提を認めて結論を否定し矛盾になるかどうか調べる」 ということは重要なテクニックのようですが、既述の通り、 導出された文が絶対か否かの判断ができません。 お知恵を拝借くださいませ。

  • 命題計算の或る形式的体系に関して

    こんばんは。いま私は、松本和夫著「数理論理学」(共立出版)を勉強しているのですが、その中で理解出来ない部分があったので、質問させてください。 この本の中で、以下の様な諸公理と推論規則MPを定めて、そこで証明可能な論理式が全てトートロジーとなるような無矛盾な命題計算の体系Hpを作るところがあります。 A、B、Cを論理式、⇒を含意として          公理1 A⇒(B⇒A)     公理2 (A⇒(B⇒C))⇒((A⇒B)⇒(A⇒C))                                                                            公理3 (¬B⇒¬A)⇒((¬B⇒A)⇒B)                                                                                                 推論規則MP A、A⇒B |-B これ等の公理と推論規則から導かれる形式的体系Hpでは演繹定理も成り立ちます。                                                                        さて本題の質問です。本書では、無矛盾な体系Hpに於いて証明可能な論理式の一つとして次のものが挙げられています。                                            定理 ¬A⇒(A⇒B)                                                                                             証明  (1)¬A 仮定 (2)A 仮定 (3)A⇒(¬B⇒A)公理1 (4) ¬A⇒(¬B⇒¬A)公理1   (5)¬B⇒A (2)と(3)にMP (6)¬B⇒¬A (1)と(4)にMP (7)(¬B⇒¬A)⇒((¬B⇒A)                                                  ⇒B)公理3  (8)(¬B⇒A)⇒B (6)(7)にMP (9)B (5)と(8)にMP                                                                                            故に ¬A、A|-B  これに演繹定理を2回用いて上の定理を得る。 qed                                                                     私が納得出来ないのはこの証明なのですが、最初に¬AとAが同時に成り立つと仮定していますよね。ですがHpは無矛盾なのだから、Hpにおいて¬AとAとが共に成立することなどあり得ない筈です。よってこの証明は無意味だと思うのですが、どうでしょうか?  随分ごたごたした記述で申し訳ありませんが、何卒ご回答お願いします。

  • パラドックス・逆説の定義について

    パラドックス・逆説の意味を改めて調べてみました。 以下のような意味があるそうで、(順不同) (1) 一見、真理にそむいているようにみえて、実は一面の真理を言い表している表現。 (2) ある命題から正しい推論によって導き出されているようにみえながら、結論で矛盾をはらむ命題。 (3) 事実に反する結論であるにもかかわらず、それを導く論理的過程のうちに、その結論に反対する論拠を容易に示しがたい論法。 (4) 一般に正しいと思われていることに反する事柄。 (5) 一般に容認される前提から、反駁しがたい推論によって、一般に容認し難い結論を導く論説。 「逆説」は主に1を指すようですが、1つの用語に正しい/誤りの意味が分かれるというのはおかしくないでしょうか?  「~はパラドックスであるが、・・・を考えるとパラドックスではない」という文章を読んだとき筆者が一体何を主張したいのか俄かに判断し難かったという経験がありました。 私は「逆説」を主に1の意味に捉えていました。 皆さんは「パラドックス」や「逆説」をどう使い分けていますか? 文系・理系で使われ方が違いますか?

  • 過剰一般化を求める人間の心理

    広い世間にはこんな人物がいます。 取るに足らない些細な問題が発生するたび、他者に意見を求め、まず一般的信念を獲得した後、その外延の減った(問題を解決し得ない)一般命題から演繹するのですが、そこにおいて、もはや小前提が適切ではないのです(矛盾律)。例を挙げます。 大前提:殴ることは悪い。 小前提:彼が善い仕方で殴った。 結論:彼は悪い。 このような態度(推論の拒否)は問題の解決(および世界の解明)ではなく現実の否定という方向を持っています。しかしながら、現実の否定が「仕事」となっている人間を見ていると病的に思われるし、実際に神経性の病気と何らかの関係がありそうなもので、端的には社会的な重圧が病人を生み出しているのではないかと推測しています。 被淘汰(淘汰)への恐怖(希望)? だとすれば、ますます特殊な状況を考慮した推論が必要になってくるはず。 なぜ逆走するのでしょうか?

  • 論理学 「どちらでもない」を含む演繹について

    「好き・嫌い」のような程度を表す言葉には、その中間「どちらでもない」、すなわち「好きではないが、嫌いでもない」が存在しますよね。 例えば、 「一郎は花子のことが好きである。」の否定は「一郎は花子のことが嫌いである。」だけではなく、「一郎は花子のことが好きでも嫌いでもない。」も含みます。 つまり、「一郎は花子のことが好きでも嫌いでもない、または嫌いである。」が否定になりますよね。 ここで質問があります。 次のA,Bが成り立っているとする。 A、一郎は花子のことが好きではない。 B、花子のことが嫌いならば、花子にラブレターを出さない。 このとき、次の事柄1が正しく演繹できるか説明せよ。 1、一郎は花子にラブレターを出さない。 私としては、Aの「好きではない」は「好き」の否定であるから、Aは「一郎は花子のことが好きでも嫌いでもない、または嫌いである。」という意味として捉え、これだけは「一郎は花子のことが好きでも嫌いでもない」場合があるから、1は演繹できないと思うのですが、これで正解なのでしょうか。 ご説明よろしくお願いいたします。

  • 「論理的」の意味

    論理的という言葉の意味について、特に決定的な定義が見つからないので、自分で考えてみました。 この解釈はおおむね正しいと思いますか? また、間違いやズレがあればご指摘をください。よろしくお願いします。 論理とは、何かを正しいと認めることから派生する法則のことである。 論理以外の法則として物理がある。物理は存在そのものによって現れる法則である。 つまり、論理=論(言葉)の理(法則)。物理=物(存在)の理(法則) たとえば、「すべての物体は重力の影響を受けて下に落ちる。(A)」といったとき、「Aだから、目の前のペンも放り投げれば落ちる」という構成は論理的であり、実際に物が落ちるのは物理的である。※物理は論理の影響を受けない。引力の法則(論理)が存在しなくても物は落ちる(物理) 言い換えれば、論理は物理を組み合わせて作られた法則である。 さらに、論理が間違うことはなく、ただ、物理と食い違ったときに価値が無くなるだけである。 たとえば、太陽が回っている(物理)、ということは空が回っている(論理)。というのは、論理的な間違いではなく、物理を通して構成された論理が、物理と食い違ってしまった。という誤りである。 ゆえに、論理的というのは、「正しい」という意味ではなくて、あるものを正しいとしたときに構成された法則にしたがっているということである。 このことから、論理的に話すというのは、次のようになる。 [極論的な論理的] ある個人自身が決めた法則にしたがって話す。 [社会的な論理的] 一般的な人が正しいと認めている法則にしたがって話す。 非論理的な例 ・言葉の定義を自由自在に変更する。(ステレオタイプなど) ・矛盾している。(結論が正しいとき、前提が正しくなくなるなど) ・根拠が無い。(人間は悪だ。)※法則(論理)について述べていない。論理と物理が食い違うことは「科学的に間違い」。 ・嘘。 非論理的とはいえない例 ・根拠が間違っているまたは薄い。(おなかがすいたということは12時だ)※物理とは食い違うかもね。 ・冗談、お笑い。(騙すという法則が構成に含まれている) メモ 社会的に正しいと認められていると思われる会話や議論の法則 ・論理学の基本法則(論理和・論理積・否定など)。 ・日常言語はすでに共通了解されている。(犬のことをサルということはない)

  • 相対論 ニュートリノ

    のお陰で、随分窮地に追いやられているようです^0^ そもそも、帰納法により光速度が一定で光行差の観測(実験結果)からエーテルも否定されると説明が付かない(エーテルがないとなると、演繹的計算では光速度と時間と距離との関係に矛盾が生じる)ので、光速度を不変とし、時間と距離を相対的とした公理から出発した理論ですよね。 そうすると、公理は仮定でもいいので、とりあえずそこから導き出された結論(定理)が事実と相違しなければ、前提は真で論理が妥当であるから相対性理論は正しいとなります。 ところが、相対論から演繹的に導きだした定理は、質量のある物は光速を越えられない、と言うものである。 ニュートリノは質量があり、0km/hから加速しているので、定理は事実と異なり、 論理が間違っているか前提が間違っているかのいずれかになります。 この場合、演繹的な計算はまさか100年も経っているので、間違う筈はなく、 前提が間違っていると推定できます。 要は、時間と距離が相対的で光速度が絶対的という公理が間違っているのではないでしょうか?

  • 発言推理の問題がわかりません

    こんなところで質問して申し訳ないのですが、判断推理科目の中の発言推理の問題で参考書の解説が貧弱でつまってしまいました。問題はこうです。 ある一人の子供を見てA~Eの5人が次のように発言した。 A「赤い上着を着ている」 B「青い帽子をかぶっている」 C「白いズボンをはいている」 D「茶色のクツを履いている」 E「黒いズボンをはいている」 さらに、これらの発言についてそれぞれが次のように発言した。 A「Dはうそをついている」 B「Cはうそをついている」 C「うそをついているのは2人いる」 D「Bはうそをついている」 E「Aはうそをついている」 嘘をついている人は2つの発言とも嘘をついている。このときのA~Eの発言の真偽について正しいのはどれか。 という問題なのですが、理解できないのは次の解説の部分です。 後半のA,B,D,Eの発言より、A~Eを「正直者」と「うそつき」にグループ分けすることができる。たとえばAは「Dは嘘をついている」と発言しているが、これはAとDのうちどちらか一方が「正直者」でもう一方が「嘘つき」であることを意味している。このような推理をB,D,Eの発言について適用すると、A~Eの「性格」について次のような2通りが考えられる。 (1)A,B・・・正直者  C,D,E・・うそつき (2)C,D,E・・正直者  A,B・・・うそつき という解説なのですが、なぜAの発言から、AとDのうちどちらかが正直者でどちらかが嘘つきであると判断できるのでしょうか。どちらかが正直、どちらかが嘘つきであると推理できるのはお互いの発言が矛盾している場合であると他の参考書で読みましたが、DはAでなくBが嘘をついていると発言していますし、AとDがなぜ矛盾しているのかわかりません。B,D,Eの発言についても同様です。私がどこかで勘違いしているのでしょうか?もしお時間を割いて教えて頂ける方がいましたら、どうかよろしくお願いします。