はてなキーワード: 命題とは
憲法の健康で文化的な最低限度の生活、みたいなことを言いたいのかなって思った。
で、その文化的な最低限度の生活が、お仕着せのものであまりにみじめで
お前たちは飼いならされてるぞー!的なことを言いたいってこと…?
まず勘違いしないで欲しいんだけど、この増田が言及している文化は、全部物質、なんだよね。
この時点で、何かをはき違えている気がする。
頭のいい人たちって増田の言う文化(物質)というより、文脈(コンテクスト)を大事にしているんだよね。
そうした文化から学べることは、すでに共有して文脈として昇華されていて時代遅れなのよ。
物質に依存し過ぎない"文化"、優れた機能・デザインのものをシェアする"文化”
個々人で楽しむのではなく、体験と感情を共有する"文化"なんだよね。
読書が好きといってラノベしか読まない人がいたら違和感を覚える人がいるそうだ。
しかしラノベが好きならば読書が好きという命題が真である程度にはこの主張には正当性があるのも確か。
ひるがえって、酒が好きといってビール(それもアサヒスーパードライ)しか飲まない人がいたらこれまた異を唱える人がいるだろう。
しかしタバコ好きで特定の銘柄しか吸ってなくてもほかのタバコ好きもタバコに無関心な人でも違和感を覚える人は、少なくとも上記の事例よりは圧倒的に少なかろう。
どうにも、総称にとっての十分条件に当てはまるものが好きであるとき、総称として好きの主語に頂いてよいかには文法上?意味論的な?暗黙の境界線があるようだ。
互換性があろうがなかろうがこれは不変の事実なので異論はないけど争点はそこじゃないよね
国の都合で高い機械を更新させられたらやっていけないから通貨側で互換性を持たせろってのが問題提起だよね
で通貨刷新にあたって避けて通れないのが偽造防止技術ってだけで命題は偽造対策ではない
ただし旧通貨に対応するには偽造問題が避けて通れないから議論がこんがらがっている
互換性があろうがなかろうが結局は機械を更新しなければならないのだから
機械を安価に更新できるようにした方が現実的ではないの?ってこと
美術史家のハインリヒ・ヴェルフリンは、イタリアのルネサンスの絵画と建築に具体化された古典的な美の概念について考察している。
イタリア ルネッサンスの中心的な考え方は、完璧なバランスです。この時代は、建物と同様に人間の姿においても、それ自体の中に静止している完璧なイメージを達成しようと努めました。あらゆる形態は自己存在する存在へと発展し、全体が自由に調整され、独立して生きている部分にすぎません…。古典的な作曲のシステムでは、個々の部分は、たとえ全体にしっかりと根付いていても、一定の独立性を維持します。それは原始芸術の無政府状態ではありません。部分は全体によって条件づけられていますが、それでもそれ自身の命を持つことをやめません。観客にとって、それは分節、つまり部分から部分への進行を前提としており、それは全体としての知覚とは非常に異なる操作です。
古典的な概念では、美しさは、比例、調和、対称性、および同様の概念に従って、統合された部分を配置して一貫した全体を形成することで構成される。
これは西洋の原始的な美の概念であり、古典および新古典の建築、彫刻、文学、音楽のどこにでも体現されている。
アリストテレスは『詩学』の中で、「生き物、そして部分から構成されるすべての全体が美しくあるためには、部分の配置に一定の秩序がなければなりません」(アリストテレス、第 2 巻)と述べている。
そして形而上学では、「美の主な形式は秩序、対称性、明確性であり、数学科学は特別な程度でそれを実証しています。」(アリストテレス、第 2 巻)
アリストテレスが示唆しているように、この見方は黄金分割などの数式に要約されることもあるが、それほど厳密に考える必要はない。
この概念は、とりわけユークリッド原論などの文書やパルテノン神殿などの建築作品に例示されており、また彫刻家ポリクレイトス (紀元前 5 世紀後半から 4 世紀初頭) の正典によって例示されている。
カノンは、完璧なプロポーションを示すように設計された彫像であるだけでなく、今では失われた美に関する論文でもあった。
医師ガレノスは、この文章の特徴として、たとえば、「指と指、すべての指と中手骨、手首、そしてこれらすべてと前腕、および前腕と腕」の比率を指定していると説明している。
その論文で身体のすべての対称性を私たちに教えてくれたポリュクレイトスは、その論文に従って人間の像を作り、論文と同様にその像自体を正典と呼んだ作品でその論文を裏付けた。
古典的なテキストにおける「対称性」の概念は、双方向の鏡像関係を示すために現在使用されているものとは異なり、より豊かであることに注意することが重要。
それはまた、古典的な意味で美しい、物体の特徴である部分間の調和の取れた測定可能な比率の一種にも正確に言及しており、道徳的な重みも担っている。
たとえば、『ソフィスト』 では、プラトンは高潔な魂を対称的であると説明している。
古代ローマの建築家ウィトルウィウスは、その複雑さと、適切であるがその根底にある統一性の両方において、中心的かつ非常に影響力のある定式化における古典的な概念を体現している。
建築は、ギリシャ語でタクシーと呼ばれる秩序と、ギリシャ人がディアテシスと呼ぶ配置、そしてギリシャ人がエコノミアと呼ぶ比例と対称、装飾と配分から構成されます。
秩序とは、作品の細部を個別にバランスよく調整し、全体としては対称的な結果を目指して比率を配置することです。
プロポーションは、優雅な外観、つまり文脈の中で詳細が適切に表示されることを意味します。これは、作品の細部がその幅に適した高さ、その長さに適した幅である場合に達成されます。一言で言えば、すべてが対称的な対応関係を持っているときです。
シンメトリーは、作品自体の細部から生じる適切な調和でもあります。つまり、与えられた各細部が全体としてのデザインの形に対応することです。人間の身体と同様に、キュービット、足、手のひら、インチ、その他の小さな部分から、リトミーの対称的な性質が生まれます。
アクィナスは、典型的なアリストテレスの多元主義的な定式化で次のように述べている。「第一に、誠実さ、あるいは完璧さです。何かが損なわれていると、それは醜いからです。次に、適切な比例または調和があります。そして明晰さもあります。明るい色のものが美しいと呼ばれるのは、このためです。」(『神学教典I』)
18 世紀のフランシス・ハッチソンは、この見解を最も明確に表現していると思われることを次のように述べている。
「したがって、体の均一性が等しい場合、美しさは多様性と同じです。そして多様性が等しい場合、美しさは均一性と同じです。」 (Hutcheson)。
ハッチソンは続けて、最も美しい対象として数式、特にユークリッドの命題を挙げる一方で、次のような普遍的な物理法則によってその根底にある巨大な複雑性を持つ自然を熱狂的に賞賛している。
「美しさはある、と彼は言います。アイザック・ニュートン卿の計画における重力がそれである」(Hutcheson)
美とは部分間の特定の比率の問題であり、したがって古典的な概念に対する一連の非常に説得力のある反論と反例が、エドマンド・バークの著書「私たちのアイデアの起源についての哲学的調査」で与えられている。
植物界に目を向けると、そこには花ほど美しいものはありません。しかし、花にはあらゆる種類の形とあらゆる種類の性質があります。それらは無限に多様な形に加工されます。 …バラは大きな花ですが、小さな低木の上に生えています。リンゴの花はとても小さいですが、大きな木の上に生えています。しかし、バラもリンゴの花もどちらも美しいです。 … 白鳥は、自白すると美しい鳥で、首は体の他の部分よりも長く、尾は非常に短いです。これは美しいプロポーションですか?私たちはそれが事実であることを認めなければなりません。しかし、首が比較的短く、尾が首と体の残りの部分よりも長いクジャクについてはどう言うでしょうか。 …人間の身体には、相互に一定の比率を保っていることが観察される部分がいくつかあります。しかし、美しさの効果的な原因がこれらにあることを証明する前に、これらが正確に見出されればどこでも、それらが属する人は美しいということを示さなければなりません。 …私としては、これらの比率の多くを非常に注意深く検討したことが何度かあり、多くの主題においてそれらが非常に近い、あるいはまったく同じに保たれていることがわかりました。それらは互いに大きく異なるだけでなく、一方が非常に美しい場合には、 、そしてもう1つは美しさから非常に遠いです。 …人体のあらゆる部分に好きな比率を割り当てることができます。そして私は、画家がそれらすべてを観察し、それにもかかわらず、もし望むなら、非常に醜い人物を描くことを約束します。
記号操作が一意に定まらないとするなら、それは推論規則や公理系が成立しないことを意味する
数学者も最も基本的な体系が証明できないことは認識しているわけで、「特定の規則や公理を真と仮定とした場合において」他の命題を導こうとするのが数学の考え方
数の概念は文化や歴史によって変化してきた。古代ギリシアでは、1は数ではなく単位とされていたが、現代では自然数の集合 N の最小の要素とされている。
数の概念は哲学的な問題を引き起こすことがある。無限や超準数といった数は直観に反する性質を持つ。例えば、無限は自分自身に加えても変わらないという性質を持つ(∞+∞=∞)。超準数もまた通常の数の演算法則が成り立たない(ω+1≠1+ω)。
数は実在するのか、それとも人間の心の産物なのかという存在論的な問いもある。数の実在主義は、数は客観的な実在であり、人間の心とは独立して存在すると考える。数の構成主義は、数は人間の心の産物であり、人間の言語や思考に依存して存在すると考える。プラトニズムは、数はイデア界に存在する普遍的な実在であると考える。ピタゴラス主義は、数は万物の根源であると考える。論理主義は、数は論理的な体系から導き出されるものであると考える。
数の概念は数学の基礎付けにも関わる。数学の公理や定理は、数の概念に基づいて構築されているが、その正当性や完全性には限界がある。ゲーデルの不完全性定理は、数の概念を用いた形式体系には矛盾しないが証明できない命題が存在することを示した。
数の概念は、かつて客観的な現実を表すものと考えられていたが、量子論の発展により、数はより複雑で主観的なものである可能性が高まった。古典物理学では、数は物理量と一致していたが、量子論では、数は物理量とは別の抽象的な概念として使われている。
自我や自由意識と同様に、数の本質はまだ解明されていない。しかし、量子コンピューターは数の概念を利用して作られており、数は物理システムを表現する有効なツールであることは、どのレイヤー、スケールにおいても明らかである。
数の概念は私たちの知識や理解を拡張するものであり、同時に私たちの疑問や不確実性を増やすものでもある。
数の概念は、私たちの世界に対する見方を変える力を持っている。(どやああああ)
————————-
まず大前提として現在使っている証明体系が無矛盾であるとします. 証明体系が矛盾しているというのはある命題Bについて, Bかつ¬Bが証明できることを言います.
言及されている規則はいわゆる二重否定の除去と呼ばれるものですね. 一応他の推論規則に関してはモダスポーネンスなど標準的なものを使っていると仮定します.
その場合, 言及されている生徒の``証明‘は証明ではありません.
なぜならそれが証明であると仮定(もしくは¬¬¬¬¬AとAが等しいと仮定)すると, その生徒の証明に手を加えることでAかつ¬Aの証明を得ることができるからです. これは現在使っている証明体系が無矛盾であることに反します.
(今形式化された証明体系を数学的に考察しています. これは形式化することの利点です. より詳細なことは数学の形式化などで調べていただけると幸いです. )
哲学など数学以外のことは専門外のため, あくまで数学に関することだけ言及させていただきます.
ユークリッド幾何学に言及されているように数学の歴史は紀元前まで遡りますが, 数学の形式化が意識され始めたのは1900年代以降と最近の話です. 主にヒルベルトによって主導されたものだと私は理解しています. (もちろん多くの数学者がこのプログラムに関わってきました. ) 数学の形式化や形式主義で調べると参考になると思います.
数学的な内容に関して言及したいことは多くありますが, かいつまんで述べさせていただきます.
(あくまでこれは元の記事が間違っているなどと主張しているわけではないです. 現代の数学の考え方や雰囲気の一部を分かっていただければ幸いです. )
現代の形式化された数学は原理的には決められたルール(公理と推論規則)を用いて行われる一連の手続きです. それらの「意味」が何かは一旦全て忘れてください. ここで公理とはあらかじめ定められた記号列で, 推論規則とはいくつかの文字列を用いて新しい文字列を生み出す操作です, 例えば文字列A→BとAが与えられたときに文字列Bを得る操作があります. 定理(数学的命題)とはこの操作によって生み出される文字列です. これらの操作は数学における証明を形式的に記述したものになっています. 論理式などもこの形式化のもとで特定の条件を満たす文字列として定義されます. 例えば論理式Pの否定は¬Pという文字列です. (ここでは否定を表すための記号として¬という文字列を用いています. )
ここまで文字列だけを考えた形式的なものですが, 構造やモデルを使うことによってこれらの文字列を解釈する(つまり意味を与える)ことができます. (詳細は省きます. ) 構造やモデルを定めることによって論理式の意味が一意的に定まります. またそれらの取り方を変えることによって意味が変わることもあります.
これの考え方によって(数学的な)意味は形式から分離されています. さらに気になる場合はゲーデルの完全性定理などを見てください.
そして適切な公理と推論規則を定めることにより数学そのものを形式的に扱うことできます. その適切な公理はツェルメロ-フレンケル集合論(ZFC)と呼ばれており, 現在の数学者はこのZFCを用いて数学をしています. (一部, 圏論などでZFCに収まらない議論があると聞きますが, それらもZFCの適切な拡張を考えることで解決できます. )
つまり, これまでに書かれた数学の証明などは全てこのZFCを用いることで文字列の操作に書き換えることができます.
一方で数学の論文は普段の言葉(自然言語)を使って書かれます. これは本当に全て文字列に書き換えることをした場合, 可読性が著しく落ち, また分量も膨大になるため人が読めないためです. しかし証明は自然言語で書きつつも, いざとなったら形式的に文字列に書き換えることができるという前提に立っています. そしてこれは理論的には可能であり, 数学の厳密性を担保しています.
「定義の一意性」に関してですが私自身が元記事の要点を完全に理解しているわけではないのですが, 数学に関していうとある数学的概念の定義が複数あることはよくあります. もちろんその複数ある定義が同値であることを証明されなければなりません. ここで同値というのはある数学的対象Aが定義Pと定義Qで与えられていた時に, 「Aが定義Pを満たすならば, 定義Qを満たす. またAが定義Qを満たすならば定義Pを満たす. 」ということです. 実際に使う際には用途に合った定義を用いることになります. それらは同値なのでどれを選んでも問題ないです.
以上がざっくりとした形式化された数学に関してです. 参考になれば幸いです.
追記: これは筆者個人の考えですが, 数学と哲学の議論はしっかりと分離してなされるべきだと考えています. もちろん相互の交流はなされるべきですが, 両者を混同するのは誤解や誤りの原因になると思います.
「1は0の次の数」みたいな定義を使った証明がありますが、私が証明の意義を理解してないからなのかもしれませんが、ただ回りくどく等式を説明してるだけのように見えてしまいます。
というのも、たとえばこの等式の状況は自然言語で表せば、青い玉と赤い玉が一個ずつあったとして、これらに対して二個ある黒い玉とペアを作ろうとしたならば、余りが出ずペアが作れるということだと思います。
ペアにしたとき余りが出ないということは、物体がなんであるかを無視してその数だけを考えたときに、一方と他方の個数が一致しているということでしょう。
今、黒い玉は2個だといったのだから、それと余りなくペアが作れる赤い玉一個と青い玉一個について、物体がなんであるかを無視して、いやこの場合色の違いさえ無視して「玉の個数」ととらえたならば、この個数も2個であるはずですよね。
そして色の違いを無視した個数というのは、色の違いを無視しないで数えた各玉の個数の合計と同値でしょう。
そして1+1=2というのは上記の議論を踏まえた命題「~二個である」を個数に注目して定式化したものにすぎないなのですから、上記の議論が正当なら、それに定式化されたものとして対応している1+1=2という等式も正しいことになる、と私は考えています。
しかし上記の議論は「証明」とはまた違うような気がします。ですがだからこそ、1+1-2の正しさは別に「証明」によってなされるほどのものでもないと思いました。
に対して常軌を逸した返信が来た。
こういわれるとさすがに、お前の書き込みにしたって「説明」や「定義」「ありません」等の定義がないんだがって言いたくなるんだけどこいつがおかしいんだよな?
○自分が「え!みーやん!あの!」という単語を見た直後に浮かんだこと
・浮気癖(まあ、配偶者が配偶者だし、浮気したくなる気持ちは分かる)
・さくらももこが稼いだ金をビートルズなどの趣味に湯水のごとく使う
・TARAKOさんに「他のところでまる子の声を出すな」と要求
○NHKがさくらももこの自伝的ドラマを作った際にも酷い原作改変が行われていた…描き下ろしの脚本を無視し、実在する人物に失礼な性格改変を行う。 - Togetterを開いた直後に浮かんだこと
・Xで「××大学」とか入れている人は大概アレだよな
・何か被害者ぶっているけれど、脚本を守るのが大命題だったのなら、それはこの人の仕事だったんじゃねーの?元編集者だし
ブックマークに張られていたwikipediaへのリンク宮永正隆 - Wikipediaを開いた直後に浮かんだこと
・「この記事は大言壮語的な記述になっています。Wikipedia:大言壮語をしないを参考に修正して下さい。(2021年8月)」草
↓なんかchatgptっぽくね?
ゲーデルの第1不完全性定理は、形式的な論理体系内での数学の特定の命題に関して「証明できない」ということを示しています。この定理によれば、ある論理体系内で自己言及的な命題を含む場合、その命題が真か偽かを証明することはできないということを意味します。
つまり、ゲーデルの第1不完全性定理は、「この命題は証明できない」という命題を考えた場合、それが真か偽かを判断できないことを指摘しています。したがって、特定の命題が「証明できない」ということは、その命題が現実には真か偽かになっているかどうかを示すものではありません。
ゲーデルの第1不完全性定理は、形式的な論理体系の限界を示すものであり、数学や論理学の基本的な性質を理解する上で重要な結果です。しかし、この定理が特定の命題の真偽を示すものではないため、その命題が現実に真か偽かを判断するためには、他の手段や情報が必要です。
ウィトゲンシュタインの思想とゲーデルの不完全性定理には、いくつかの類似点があるかもしれません、それぞれ異なる観点から論理と数学にアプローチしています。
ウィトゲンシュタインの「論理空間」の概念は、言語や記号による表現の枠組みや制約を強調し、言語や論理の限界について考察しています。彼は「言語ゲーム」という概念を導入し、言葉や文脈の中での意味の理解に注目しました。ウィトゲンシュタインの主張は、言語や論理の使用が特定の文脈やルールに従って行われることを強調し、その文脈やルールから外れた場合、意味が崩壊する可能性があるというものです。
一方、ゲーデルの不完全性定理は、数学的な形式的論理体系に焦点を当て、その体系内での命題と証明可能性について論じました。この定理は、特定の命題がその論理体系内で証明できないことを示し、論理体系の限界を示唆しています。
https://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q13286033693