ブラウザよりも高速アクセス！
30 関係: 健全性、含意、妥当性、不思議の国のアリス、ミュンヒハウゼンのトリレンマ、バートランド・ラッセル、ユークリッド原論、ルイス・キャロル、プリンキピア・マテマティカ、パラドックス、アキレウス、カメ、ゼノンのパラドックス、公理、前提、真、無限後退、運動 (物理学)、証明、認識論、論理学、論理学の哲学、論理的帰結、論証、柳瀬尚紀、推論、推論規則、演繹、数学基礎論、1895年。
健全性
健全性（けんぜんせい、Soundness）は、論証が次の属性を持つことと同値である。.
新しい！!: 亀がアキレスに言ったことと健全性 · 続きを見る »
含意
* 文や単語において、表面的には見えないような別の意味合いを持たせること。.
新しい！!: 亀がアキレスに言ったことと含意 · 続きを見る »
妥当性
妥当性（Validity）は、演繹的論証が持つ論理的特性であるが、一般に任意の文に対して使われる（ここでいう文とは、真か偽かという真理値を持つものをいう）。ここでは、論証を文の集まりとし、そのうちの1つの文が結論で残りは前提であるとする。前提とは、結論が（おそらく）真であると示す根拠である。 論証の結論が「確かに」真であるとされている場合、その論証は演繹的である。結論が「おそらく」真であるとされている論証は帰納的であると言われる。ある論証が妥当であるとは、結論が正しく前提から導き出されることを意味する。すなわち、妥当な演繹的論証であれば、真の前提から偽の結論が導き出されることはあり得ない。（一方、前提に偽がある場合には、真・偽どちらの結論も導き出されうる。） 次のような定義が一般的である。.
新しい！!: 亀がアキレスに言ったことと妥当性 · 続きを見る »
不思議の国のアリス
『不思議の国のアリス』（ふしぎのくにのアリス、）は、イギリスの数学者チャールズ・ラトウィッジ・ドジソンがルイス・キャロルの筆名で書いた児童小説。1865年刊。幼い少女アリスが白ウサギを追いかけて不思議の国に迷い込み、しゃべる動物や動くトランプなどさまざまなキャラクターたちと出会いながらその世界を冒険するさまを描いている。キャロルが知人の少女アリス・リデルのために即興でつくって聞かせた物語がもとになっており、キャロルはこの物語を手書きの本にして彼女にプレゼントする傍ら、知人たちの好評に後押しされて出版に踏み切った。1871年には続編として『鏡の国のアリス』が発表されている。 『アリス』の本文には多数のナンセンスな言葉遊びが含まれており、作中に挿入される詩や童謡の多くは当時よく知られていた教訓詩や流行歌のパロディとなっている。英国の児童文学を支配していた教訓主義から児童書を解放したとして文学史上確固とした地位を築いているだけでなく、聖書やシェイクスピアに次ぐといわれるほど多数の言語に翻訳され引用や言及の対象となっている作品である。本作品に付けられたジョン・テニエルによる挿絵は作品世界のイメージ形成に大きく寄与しており、彼の描いたキャラクターに基づく関連商品が数多く作られるとともに、後世の『アリス』の挿絵画家にも大きな影響を及ぼしている。ディズニー映画『ふしぎの国のアリス』をはじめとして映像化・翻案・パロディの例も数多い。.
新しい！!: 亀がアキレスに言ったことと不思議の国のアリス · 続きを見る »
ミュンヒハウゼンのトリレンマ
ミュンヒハウゼンのトリレンマは知識・論理などの確実な根拠が得られることはないという懸念を提起する問題である。ミュンヒハウゼン男爵のエピソードにちなんでこう呼ばれる。ドイツの哲学者ハンス・アルバートが『批判的理性論考』（1967年）において近代的認識論・基礎付け主義は充足理由律による正当化を前提にしているが、それは独断論の一種にすぎないとして批判的合理主義を展開する際に提起された問題である。.
新しい！!: 亀がアキレスに言ったこととミュンヒハウゼンのトリレンマ · 続きを見る »
バートランド・ラッセル
3代ラッセル伯爵、バートランド・アーサー・ウィリアム・ラッセル（Bertrand Arthur William Russell, 3rd Earl Russell, OM, FRS、1872年5月18日 - 1970年2月2日）は、イギリスの哲学者、論理学者、数学者であり、社会批評家、政治活動家である。ラッセル伯爵家の貴族であり、イギリスの首相を2度務めた初代ラッセル伯ジョン・ラッセルは祖父にあたる。名付け親は同じくイギリスの哲学者ジョン・スチュアート・ミル。ミルはラッセル誕生の翌年に死去したが、その著作はラッセルの生涯に大きな影響を与えた。生涯に4度結婚し、最後の結婚は80歳のときであった。1950年にノーベル文学賞を受賞している。.
新しい！!: 亀がアキレスに言ったこととバートランド・ラッセル · 続きを見る »
ユークリッド原論
ュリュンコスで発見された『ユークリッド原論』のパピルスの写本断片。紀元100年ごろの作。図は『原論』第2巻の命題5に添えられたもの。 ユークリッド原論（ユークリッドげんろん)は、紀元前3世紀ごろにエジプトのアレクサンドリアの数学者ユークリッドによって編纂されたと言われる数学書『原論』（げんろん、Στοιχεία, ストイケイア、Elements）のことである。著者のユークリッドに関する資料は乏しく実在性を疑う説もあり、原論執筆の地がアレクサンドリアであることに対する明確な根拠も無い。プラトンの学園アカデメイアで知られていた数学の成果を集めて体系化した本と考えられており、論証的学問としての数学の地位を確立した古代ギリシア数学を代表する名著である。古代の書物でありながらその影響は古代に留まらず、後世の人々によって図や注釈が加えられたり翻訳された多種多様な版が作られ続け、20世紀初頭に至るまで標準的な数学の教科書の一つとして使われていたため、西洋の書物では聖書に次いで世界中で読まれてきた本とも評される。英語の数学「Mathematics」の語源といわれているラテン語またはギリシア語の「マテーマタ」（Μαθήματα）は「レッスン（学ばれるべきことども）」という意味であり、このマテーマタを集大成したものが『原論』である。.
新しい！!: 亀がアキレスに言ったこととユークリッド原論 · 続きを見る »
ルイス・キャロル
ルイス・キャロル（Lewis Carroll, 1832年1月27日 - 1898年1月14日）は、イギリスの数学者、論理学者、写真家、作家、詩人である。 本名はチャールズ・ラトウィッジ・ドジソン (Charles Lutwidge Dodgson) で、作家として活動する時にルイス・キャロルのペンネームを用いた。このペンネームは "Charles Lutwidge" をこれに対応するラテン語名 "Carolus Ludovicus" に直し、再び英語名に戻して順序を入れ替えたものである。なお、 "Dodgson" の実際の発音は「ドジソン」ではなく「ドッドソン」に近いという説もあるが、この記事では慣例に従い「ドジソン」と表記する。 作家としてのルイス・キャロルは、『不思議の国のアリス』の作者として非常に良く知られている。「かばん語」として知られる複数の語からなる造語など、様々な実験的手法で注目されている。数学者としては、チャールズ・ドジソン名義で著作を出している。 キャロルの作品は出版以来人気を博し続けており、その影響は児童文学の域に止まらず、ジェイムズ・ジョイスやホルヘ・ルイス・ボルヘスのような20世紀の作家らにも及んでいる。.
新しい！!: 亀がアキレスに言ったこととルイス・キャロル · 続きを見る »
プリンキピア・マテマティカ
短縮版『プリンキピア・マテマティカ 56節まで』の表紙 『プリンキピア・マテマティカ』(Principia Mathematica:数学原理)は、アルフレッド・ノース・ホワイトヘッドとバートランド・ラッセルによって書かれ、1910年から1913年に出版された、数学の基礎に関する全3巻からなる著作である。それは、記号論理学において、明示された公理の一組と推論規則から数学的真理すべてを得る試みである。『プリンキピア』のための主なインスピレーションと動機の1つは論理学に関するフレーゲの初期の仕事で、それがパラドックスをもたらすことをラッセルが発見したのである。 プリンキピアは、数学論理と哲学においてアリストテレスの『オルガノン』以来もっとも重要で独創的な仕事の一つと、広く専門家に考えられている。 モダン・ライブラリーは、この本を20世紀のノンフィクション書籍上位100のリスト(Modern Library 100 Best Nonfiction)の23位に位置づけた。.
新しい！!: 亀がアキレスに言ったこととプリンキピア・マテマティカ · 続きを見る »
パラドックス
パラドックス（）とは、正しそうに見える前提と、妥当に見える推論から、受け入れがたい結論が得られる事を指す言葉である。逆説、背理、逆理とも言われる。.
新しい！!: 亀がアキレスに言ったこととパラドックス · 続きを見る »
アキレウス
アキレウス（Ἀχιλλεύς、Achilles）は、ギリシア神話に登場する英雄で、ホメーロスの叙事詩『イーリアス』の主人公である。ラテン語ではアキレス。 プティーアの出身で、プティーア王ペーレウスと海の女神テティスとの間に生まれた。アイアコスの孫にあたる。スキューロス島の王リュコメーデースの娘デーイダメイアとの間にネオプトレモスをもうけた。トロイア戦争にはミュルミドーン人を率いて50隻の船と共に参加し、たった一人で形勢を逆転させ、敵の名将を尽く討ち取るなど、無双の力を誇ったが、戦争に勝利する前に弱点の踵を射られて命を落とした。足が速く、『イーリアス』では「駿足のアキレウス」と形容される。.
新しい！!: 亀がアキレスに言ったこととアキレウス · 続きを見る »
カメ
メ（亀、ラテン語名：Testudo、英語名：Turtle, etc.
新しい！!: 亀がアキレスに言ったこととカメ · 続きを見る »
ゼノンのパラドックス
ノンのパラドックスとは、エレア派のゼノンの議論で、特にパルメニデスを擁護してなされたいくつかの論駁を指す。多・場所・運動・粟粒等の論があったと伝えられているが、本人の書は失われ、断片が残るだけである。アリストテレスが『自然学』の中で、ゼノンに対する反論として引用した議論が、比較的詳しいものであり、重要なものとして取り上げられてきた。そのなかで運動のパラドックスと呼ばれるものは、運動があるとするとこのような不合理が帰結すると論じられた。がアリストテレスを注釈しつつ他の議論に触れているものおよびその他の断片から、多（多数性plurality）の議論もいくつか残った。.
新しい！!: 亀がアキレスに言ったこととゼノンのパラドックス · 続きを見る »
公理
公理（こうり、axiom）とは、その他の命題を導きだすための前提として導入される最も基本的な仮定のことである。一つの形式体系における議論の前提として置かれる一連の公理の集まりを (axiomatic system) という 。公理を前提として演繹手続きによって導きだされる命題は定理とよばれる。多くの文脈で「公理」と同じ概念をさすものとして仮定や前提という言葉も並列して用いられている。 公理とは他の結果を導きだすための議論の前提となるべき論理的に定式化された（形式的な）言明であるにすぎず、真実であることが明らかな自明の理が採用されるとは限らない。知の体系の公理化は、いくつかの基本的でよく知られた事柄からその体系の主張が導きだせることを示すためになされることが多い。 なお、ユークリッド原論などの古典的な数学観では、最も自明（絶対的）な前提を公理、それに準じて要請される前提を公準 (postulate) として区別していた。.
新しい！!: 亀がアキレスに言ったことと公理 · 続きを見る »
前提
前提（ぜんてい）とは、ある物事が成り立つためにあらかじめ満たされていなければならない条件のことをいう。論理学・言語学では、いくつか異なった文脈で用いられる。.
新しい！!: 亀がアキレスに言ったことと前提 · 続きを見る »
真
真、眞（しん、まこと）.
新しい！!: 亀がアキレスに言ったことと真 · 続きを見る »
無限後退
無限後退（むげんこうたい、英：Infinite regress）とは、ものごとの説明または正当化を行う際、終点が来ずに同一の形の説明や正当化が、連鎖して無限に続くこと。一般に説明や正当化が無限後退に陥った場合、その説明や正当化の方法は失敗したものと見なされる。同一の形の説明が果てしなく続く、という意味で循環論法と似ているが、循環論法が一般にループするタイプの説明や正当化の連鎖を指すのに使われるのに対し、無限後退は一般に直線的な形の説明や正当化の連鎖を指すのに使用される、という違いがある。無限背進（むげんはいしん）、無限遡行（むげんそこう）などとも言われる。.
新しい！!: 亀がアキレスに言ったことと無限後退 · 続きを見る »
運動 (物理学)
物理学における運動（うんどう、motion）とは、物体の参照系との位置関係が変化することである。 地球の表面では、常に重力が働いていること、ベアリングなど、それなりに使い物になる摩擦をわずかにする技術や工学の発展は中世より後であったこと、空気抵抗の存在などから、いわゆる「アリストテレス力学」と呼ばれるそれのような、極めて思弁的哲学的なある種の独特な科学的論理に基づく「運動」観すら古代にはあった。 その後時代が過ぎるにつれ、そのような「神学」からの離脱に成功した哲学や、やがては科学により、またケプラーやガリレイやニュートンといった人々により、相対速度（ガリレイ変換）・慣性（運動の第1法則）・質量と加速度と力の関係（運動の第2法則）・作用と反作用（運動の第3法則）といった力学の（運動の）基本原理がうちたてられていった。後述する相対論的力学に対して、ニュートン力学という（なお、古典力学という語は相対論までをも含み、量子力学に対する語である）。 しかし、ニュートンには『光学』という著書もあるように、その当時から既に物理学の対象であった光の速さは、人類には謎であった。ニュートン力学の基本的な考え方とされる「絶対時間と絶対空間」についても、むしろ仮定であったと見る向きもある。やがて光速が測定され、マクスウェルによって示された電磁方程式により電磁波の速度がわかると、それが光速と一致すること、そして、どんな場合でもその速度が同じ、という、それまでの物理学における考え方からはどうしても奇妙な現象をどう説明するか、に悩まされることになった。 （詳細は特殊相対性理論の記事を参照）各種の測定結果という事実をなんとかして説明する理論はあれこれと提案されはしたが、時間も空間も相対的である、という驚くべき転回により全てを説明したのはアインシュタインだった。ニュートン力学における運動は、3次元ユークリッド空間内における位置と、時刻、という独立した2要素で指定できるものと言えるが、相対論的には運動は、時間と空間が互いに関連したミンコフスキー時空における線のようなものとなる。アインシュタインによるこれに続く、加速度による見掛けの重力と万有引力による重力を同じもの（等価原理）とした一般相対性理論により、古典力学は完成を見た。 * Category:力学 Category:物理学の概念.
新しい！!: 亀がアキレスに言ったことと運動 (物理学) · 続きを見る »
証明
証明（しょうめい）とは、ある事柄が真理もしくは事実であることを明らかにすること。また、その内容。.
新しい！!: 亀がアキレスに言ったことと証明 · 続きを見る »
認識論
認識論（にんしきろん、Erkenntnistheorie、Epistemology、Épistémologie）は、認識、知識や真理の性質・起源・範囲（人が理解できる限界など）について考察する、哲学の一部門である。存在論ないし形而上学と並ぶ哲学の主要な一部門とされ、知識論（theory of knowledge）とも呼ばれる。日本語の「認識論」は独語の訳語であり、日本ではヒト・人間を考慮した場合を主に扱う。英語と仏語の語源は「知」(epistēmē) + 「合理的な言説」(logos)。フランスでは「エピステモロジー」という分野があるが、20世紀にフランスで生まれた科学哲学の一つの方法論ないし理論であり、日本語では「科学認識論」と訳される。 哲学はアリストテレス以来その領域を諸科学によって置き換えられていったが、最後に狭い領域が残り、それが大きく認識論と存在論に大別され、現在もこの分類が生きている。認識論ではヒトの外の世界を諸々の感覚を通じていかに認識していくかが問題視される。認識という行為は、人間のあらゆる日常的、あるいは知的活動の根源にあり、認識の成立根拠と普遍妥当性を論ずることが存在論である。しかし、哲学における方法論は思弁に尽きるため、仮説を立て実験によって検証するという科学的方法論は長年取り入れられることはなかった。哲学論は基本的に仮設の羅列に過ぎず、単に主観的な主張であった。客観性の保証が全くない内観法が哲学者の主たる武器であった。19世紀末ごろ、認識論の一部が哲学の外に出て心理学という学問を成立させるが、初期にはもっぱら内観や内省を方法論とし、思弁哲学と大差はなかったため、のちにアームチェア心理学と呼ばれた。やがて、思弁を排し客観的、科学的方法論をもとに実験心理学が登場し、認識の一部は、心理学に取り込まれていった。錯覚現象などがその研究対象になった。実験心理学では、データの統計的処理では科学的であったが、なぜ錯覚が生まれるかというメカニズムの解明では、仮説を立て実験データとの照合を論じてはいたものの、その仮説自体はやはり思弁に過ぎなかった。それを嫌い人間の主観を排し、実験動物を用いた観察可能な行動のみを研究対象とする一派も存在したが、人間の認識は研究対象から外された。このため、認識論の問題は比較的最近まで客観科学化されずに哲学の領域にとどまり続けた。しかし、脳科学の進歩によって急速に、認識論と存在論の2つの世界は大きく浸食されつつある立花隆『脳を究める』（朝日新聞社 2001年3月1日）。.
新しい！!: 亀がアキレスに言ったことと認識論 · 続きを見る »
論理学
論理学（ろんりがく、）とは、「論理」を成り立たせる論証の構成やその体系を研究する学問である。.
新しい！!: 亀がアキレスに言ったことと論理学 · 続きを見る »
論理学の哲学
論理学の哲学（ろんりがくのてつがく、英語：philosophy of logic）は、哲学の一領域である。それは論理学の地位や方法論についてのメタ学問である。.
新しい！!: 亀がアキレスに言ったことと論理学の哲学 · 続きを見る »
論理的帰結
論理的帰結（ろんりてききけつ、伴意、logical consequence, entailment）は、論理学における最も基本的な概念であり、複数の文（または命題）の集合と1つの文（命題）の間が「～だから、当然～」という繋がり方をする関係を指す。例えば、「カーミットは緑色だ」という文は、「全てのカエルは緑色だ」と「カーミットはカエルだ」の論理的帰結である。 このような論理的帰結の確かさは、前提が真かどうか、および完全かどうかに依存する。この前提は全てのカエルが緑色でない場合は真ではないことになる。演繹による推論や論理的帰結は認識論の重要な面であり、因果に関する一般的仮説を伝達する意味を持つ。 形式的な論理的帰結関係はモデル理論的なものと証明論的なもの（あるいは両方）がある。 論理的帰結は、文の集合から文の集合への関数としても表現できる（タルスキ風の定式化）し、2つの文の集合の間の関係としても表現できる（multiple-conclusion logic）。.
新しい！!: 亀がアキレスに言ったことと論理的帰結 · 続きを見る »
論証
論証（ろんしょう、Logical argument）とは、論理学の用語で、前提（premises）と呼ばれる宣言的文の集まりと結論（conclusion）と呼ばれる宣言的文から構成され、前提群から結論が真であることが導き出せることを主張したものである。そのような論証には、妥当なものと妥当でないものがある。なお、個々の宣言的文は真（true）か偽（false）かで判断されるが、論証は妥当（valid）か妥当でないかで判断される。英語では、宣言的文を Statement とか命題（Proposition）と呼んでいたが、最近では哲学的な含意を避けるため Sentence と呼ぶことが多い。.
新しい！!: 亀がアキレスに言ったことと論証 · 続きを見る »
柳瀬尚紀
柳瀬 尚紀（やなせ なおき、1943年3月2日 - 2016年7月30日）は日本の英文学者、翻訳家、随筆家である。 その翻訳は、語呂合わせなどの言葉遊びを駆使した独自の文体で有名。「悪訳」をするとみなした翻訳家に対する痛烈な批判でも知られる。.
新しい！!: 亀がアキレスに言ったことと柳瀬尚紀 · 続きを見る »
推論
推論（すいろん、inference）とは、既知の事柄を元にして未知の事柄について予想し、論じる事である。.
新しい！!: 亀がアキレスに言ったことと推論 · 続きを見る »
推論規則
推論規則（すいろんきそく、rule of inference, inference rule, transformation rule）とは、論理式から他の論理式を導く推論の規則である。 記号、公理、代入規則、推論規則によって理論を形式化したものを公理系という。 公理は記号だけで記述されるが、推論規則や代入規則はこれらの記号について述べているメタ言語で記述される。 恒真式 （トートロジー）から推論規則を導くと妥当性のある推論になる。.
新しい！!: 亀がアキレスに言ったことと推論規則 · 続きを見る »
演繹
演繹（えんえき、）は、一般的・普遍的な前提から、より個別的・特殊的な結論を得る論理的推論の方法である。 帰納に於ける前提と結論の導出関係が「蓋然的」に正しいとされるのみであるのに対し、演繹の導出関係は、その前提を認めるなら、「絶対的」「必然的」に正しい。したがって理論上は、前提が間違っていたり適切でない前提が用いられたりした場合には、誤った結論が導き出されることになる。近代では、演繹法とは記号論理学によって記述できる論法の事を指す。.
新しい！!: 亀がアキレスに言ったことと演繹 · 続きを見る »
数学基礎論
数学基礎論（すうがくきそろん、英語：）は、数学の一分野。他の分野が整数・実数・図形・関数などを取り扱うのに対し、数学自体を対象とする。.
新しい！!: 亀がアキレスに言ったことと数学基礎論 · 続きを見る »
1895年
記載なし。
新しい！!: 亀がアキレスに言ったことと1895年 · 続きを見る »
