- 締切済み
論理学に関する質問
1 . 排中律や矛盾律は総称して何と呼ばれていますか?(名称を知りたいだけです) 2 . 排中律や矛盾律は、証明ができるものでしょうか? それとも公理や定義に近いものですか?
- user19318131
- お礼率2% (4/171)
- 哲学・倫理・宗教学
- 回答数1
- ありがとう数0
- みんなの回答 (1)
- 専門家の回答
みんなの回答
- g27anato
- ベストアンサー率29% (1166/3945)
詳しくは知らないけど、 1、 「思考原則」の話かな。 2、 「証明」を要するものではない。 …物事を関係性から理解する捉え方。
関連するQ&A
- 論理学に関する質問
この二つの定義のどちらも正しいとすると矛盾が生じるのは何故ですか? (恐らく自分が何か間違えていると思うのですが、何が悪いのか分かりません) 1 .排中律の言葉による定義 : 命題は成立するか成立しないかのどちらか以外は起こらない。 2 . 排中律の論理式による定義 : 「P ∨ (¬P) は真」の事である ソース : http://www.ozawa.phys.waseda.ac.jp/pdf/ronritoshugo.pdf 説明 ∨の定義 : 与えられた複数の命題のいずれか少なくとも一つが真であることを示す論理演算(https://ja.wikipedia.org/wiki/%E8%AB%96%E7%90%86%E5%92%8C) ∨の定義によって、P ∨ (¬P) は真を満たすためには、Pか¬Pが真であればよい よって、Pが真であって、¬Pは偽ではなくうんこだと仮定しても、P ∨ (¬P)は成り立つため、2の排中律の論理式による定義に違反はしていない しかし、1の排中律の定義には違反している よって二つの定義が正しいとすると矛盾している 先にこれから言われそうなことに対して質問しておきます 1 . 命題には、真か偽しかない そのため、偽でもないうんこというものがあるのはおかしい 1の質問 : 命題には真か偽しかないのであれば、排中律がある意味は何ですか? 2 . Pが真であるとき、¬Pは偽であるから、うんこではない 2の質問”Pが真であるとき、¬Pは偽である”が正しいといえるのは、何故ですか?
- 締切済み
- 哲学・倫理・宗教学
- Pが偽である時、¬Pが真であることの証明
Pが偽である時、¬Pが真であることの証明が分かりません 矛盾律 :「P ∧ (¬P) は偽」の事である。 排中律 : 命題は成立するか成立しないかのどちらか以外は起こらない (http://www.ozawa.phys.waseda.ac.jp/pdf/ronritoshugo.pdf) Pが偽,¬Pが偽でも、P ∧ (¬P) は偽なので、上の定義の矛盾律には違反していない Pが成り立っていないで偽、¬Pが成り立っていないで偽で排中律も違反していない どうやったら証明が可能でしょうか?
- ベストアンサー
- 数学・算数
- 直観主義論理の認知史モデルについて
(知識状態αで¬Aが証明されない⇔αRβなる知識状態βが存在し、知識状態βでAが証明される)これはなぜでしょうか。 αRβはクリプキモデルのRで、βはαの後という意味です。 なんとも釈然としません。(知識状態αでAが証明される。または、知識状態αでAが証明されない。)というふうに規定されるのは証明されるかされないかの排中律ですが無限にかかわらないので直観主義においても容認されるのはなんとなくわかります。 しかしはじめの質問の内容は(¬Aでないことが証明されない、だからAであることが証明される)となると思うのですが、それは(¬AまたはA)という排中律であり、直観主義はそれを否定しているはずなのになぜそれをつかっているのでしょうか。 むしろそれ以前に (知識状態αでAが証明されない)とは知識状態αではAか¬Aかは分からないということを、ただそれだけを示しているのになぜ(知識状態βでAが証明される)といえるのでしょうか。 これについて逆に(知識状態αで¬Aでないことが証明される⇔αRβなる知識状態βが存在し、知識状態βでAが証明されない)というタイプなら、¬Aが証明されるのだからAが証明されないことは証明されているということで、まだわかります。がこれも排中律をつかっているように思えるのですが、どうなのでしょうか? また直観主義の意味論の(証明されない)とは先のように証明できるかできないかわからないのではなく、証明できないことが証明されているということですか? これらをどう解釈すればよいのですか?
- ベストアンサー
- 哲学・倫理・宗教学
- 矛盾律の絶対性について
私自身は数学について表面的な理解しか持っていません。ですが、気になることがあるのでここに質問させて頂きます。 数学(すべての学問?)は公理という証明不可能な前提の上に構築されたものだと理解しています。なので、数学において絶対確実な真理というものは存在せず、あくまで仮定のうえでの体系であるということになると思います。 一方で矛盾律という考え方があります。これは公理とどのような関係にあるのでしょうか?私にはこれは公理とは関係なく犯すことのできないものであるように思えるのですが・・・。それとも、矛盾律も何らかの公理の上に成り立っているのでしょうか?もしくはこれ自体が公理のような性格のようなものなのでしょうか? 質問は以上です。御教授お願い致します。
- 締切済み
- 数学・算数
- 宇宙は無限大or 有限のサイズであるは論理では証明できません。
宇宙は無限大or 有限のサイズであるは論理では証明できません。 (1)『証明:宇宙は無限大サイズである。それを有限空間に包み込む空間を想定します。するとその外側に 空間があり 外空間が宇宙であって 包みこまれた有限宇宙空間より大なる宇宙空間があることになります。宇宙を包みこむ空間よりさらに大きい宇宙があることになり これは矛盾である。それは 有限空間に包み込む空間を想定したことが間違いである。だから宇宙は無限大である。』というものがありました がこれは論理上の証明ではない と考えます。定義に違反した新定義をもちこみ 定義より演繹される命題と矛盾する結果を得ます。すると新定義が間違っているので 矛盾した結果になったと判断します。だから 定義が正しい というのは論理上の証明ではないのです。この定義の論理上証明できないのは 論理上の公理の証明ができないのと同じです。 (2)『証明:宇宙は有限サイズとします。その宇宙を包む空間を想定します。そのするとその外側に 空間があり 外空間が宇宙であって 包みこまれた有限宇宙空間より大なる宇宙空間があることになります。宇宙を包みこむ空間よりさらに大きい宇宙があることになり これは矛盾である。それは 有限空間に包み込む空間より大きい宇宙を想定したことが間違いである。だから宇宙は有限である。』というものも考えられます。 がこれも論理上の証明ではない と考えます。定義に違反した有限宇宙空間より大なる宇宙空間新定義をもちこみ 定義より演繹される命題と矛盾する結果になります。すると新定義が間違っており 矛盾した結果になったと判断します。だから 定義が正しい というのは論理上の証明ではないのです。この定義の論理上証明できないのは 論理上の公理の証明ができないのと同じです。 以上のように 証明は定義にかかるからです。つまり定義にかかるものは証明できないのです。定義は各個人がしたらよいと考えます。私は 観測可能な物がある空間+観測不可能であっても科学的に物があると考えられる空間 と考えます。これは 有限(論理証明はできない)を想定していますが 科学の発展とともに正確に構成が分っていくと考えます。 以上のように考えましたが 間違っているでしょうか。
- ベストアンサー
- 哲学・倫理・宗教学
- 私が知りたいのは ゲーデルの不完全性定理の幾何学での理解です。
私が知りたいのは ゲーデルの不完全性定理の幾何学での理解です。 (1)第2不完全性定理では 次の表現があり『公理系Nにおいて、その無矛盾性を証明することは不可能である』、そのなかで問題として『 真であるが証明不可能な主張とは何か。』に対して 答え『公理』とあり 自己言及を表現していることは 理解し易いのです。幾何学では5公理です。この理解はたぶん正しいと思います。 ところが (2)私がよく分らないのは 第1不完全性定理です。『形式的体系Sにおいて、形式的体系Sが無矛盾である限り、「形式的体系Sにおいて命題は証明可能である。」という命題も「形式的体系Sにおいて命題は証明不可能である。」という命題も証明不可能である。』 と表される(別表現もありますが)とあります。 ここで現れる命題は抽象的言語であってよく分らないのです。例えばユークリッド幾何学においてはこの具体例は何でしょうか。私の理解は 「例えば無限遠点において平行線は交わるは証明可能である」はその例のようにおむのですが。つまり 例題には ユークリッド幾何学では未定義の無限遠点が現れており 証明はできない のです。いくら公理を増やして定義を明白にしても 未定義の領域はある ということです。 もう一つの例ですが 無限遠点は扱わないという6番目の公理を追加したとしても 例えば 「X・X=-1 は根がない は証明可能である」も証明できない と思うのです。なぜなら複素数は未定義だからです。つまり 『公理で定義されても未定義域は必ずある』が第一不完全性定理の一つの別表現ではないか と思うのです。この理解が間違っているのかどうか どなたかにお教えて頂きたかったのですが
- ベストアンサー
- 数学・算数
- 量子力学の非論理について
四つの力を統一する統一理論の構造は 論理構造でないと いけないように思うのです。論理構造ですと 今までの物理理論が包含され あるいは今までの論理(数学など)との整合性がとれ 自然科学(物理学はその基礎)は論理で表明された ことの証明になると思うのです。 しかし、ご存知のように量子力学は論理構造ではありません。排中律、無矛盾律になってないのです。矛盾を含んだ構造は 非論理特有の任意のシステムが追加され証明されるのです。ところがある条件下では量子力学に従ったと考えられる物理現象が観測再現されており 工学的応用、あういは物理学的応用は 幅広いものです。将来はもっと広がると思われます。 自然科学は論理構造で説明されなければならない というシナリオからは 量子力学は発展途上の物理学となります。 一方、再現性など工学的、実用的に問題なければ物理学として問題ない のではないか、必ずしも論理構造の物理学でなくても いいのではないか、という説もあります。この場合は 非論理であっても再現性などを重要視する 物理学を 再検討、再構築(量子力学をベースにした)する必要がある と思われます。その延長には自然科学の見直しまで含まれます。今 見直しが されつつあるとは思われませんが。 さて 上の議論を踏まえての質問ですが 量子力学は非論理物理学として確立されたものと考えていいのでしょうか、あるいは 論理に従う形になるべきものでしょうか。ご指導よろしくお願いします。
- ベストアンサー
- 物理学