(2014/10/25)。調査プロセスが要求される。扱う対象が、測定、定量化が可能であることが望まれることも多い。科学的方法とは、断片化された散在している雑情報あるいは、「新たに実験や観測をする必要がある未解明な対象」に関連性、法則を見出し、立証するための体系的方法である。融合した学問の一分野。サイエンス・スタディーズとも。カルチュラル・スタディーズと対比される。数の概念や数の演算を扱い、その性質や計算規則、あるいは計算法などの論理的手続きを明らかにしようとする学問分野である。mathematics)とは、しばしば応用数学と対になる概念として、応用をあまり意識しない数学の分野に対して用いられる総称である。数学のどの分野が純粋数学でありどの分野が応用数学であるかという社会的に広く受け入れられた厳密な合意があるわけではなく、区別は便宜的なものとして用いられることが多い。数学がより広範な範囲で利用されるに従い、分野としての純粋と応用との区別はあいまいで困難なものとなってきている。純粋数学という用語を用いる場合の志向としては、議論される数学の厳密性、抽象性を基とした数学単体での美しさを重視する傾向がある。名称の項、参照)、「感性の学問」)とは美の本質や構造を、その現象としての自然・芸術及びそれらの周辺領域を対象として、経験的かつ形而上学的に探究する哲学の一領域である。(東洋館)では、美学の訳語として「美妙学」が採用されていた。現在では美学と呼称される。真理(しんり、ἀλήθεια、veritas、truth、vérité、Wahrheit)とは、確実な根拠によって本当であると認められたこと。ありのまま誤りなく認識されたことのあり方。真理は、現実や事実と異なり、妨害・障害としての虚偽・誤謬を対義語としており、露わさ、明らかさ、隠れなさに重点がある。そのものありのままであり、あらわであり、その本質が覆われていない、という意義に関しては、哲学的には本質主義や同一性とも関わりが深い。西欧哲学において真理論は論理学や認識論においてとりわけ主題化される。真理論の歴史は、古代ギリシアに始まる。人間を尺度とする相対的なものの見方に反論する形で、永遠性・普遍性を有する真理の概念が生まれた。このような絶対性を内実とする真理概念は独断主義を生み、これに対する防衛・反抗が懐疑主義を生んだ。(羅:res、レス)等のいずれであるか、について議論がなされてきた。現代論理学では真理の担い手は命題であるとされ、真と偽を合わせて真理値という。論理学で、「Pは○か○でないかのいずれかである(○であり、かつ○でない、ということはない)」という形をした文は○の内容に関係なく正しいので、これは「形式的真理」と呼ばれ、思惟と思惟自身の一致と定義される。このような形式的な形相についてではなく、質料について真理が語られるときは「実体的真理」という。判断について真理が語られるときを「認識論的真理」といい、存在について真理が語られるときを「存在論的真理」という加藤信朗。現代の真理概念は様々な形で修正を受け、相対的な傾向を強めている。論証する、つまり、言語による表現であることが真理に不可欠であり、哲学的にはロゴスとも関わりが深い。東洋には不言真如という概念もある。人間を自由にするものとしての真理が説かれることもある。仏教では、人間を苦しみから解放する真理をあらわす「法」が説かれる。経験論(けいけんろん)、あるいは、経験主義(けいけんしゅぎ、empiricism)とは、人間の全ての知識は我々の経験に由来する、とする哲学上または心理学上の立場である(例:ジョン・ロックの「タブラ・ラサ」=人間は生まれたときは白紙である)。中でも感覚・知覚的経験を強調する立場は特に感覚論と呼ぶ。ブリタニカ国際大百科事典/日本大百科全書/コトバンク。超経験的なものについて語ろうとする形而上学と対立する。経験論における「経験」という語は、私的ないし個人的な経験や体験というよりもむしろ、客観的で公的な実験、観察といった風なニュアンスである。したがって、個人的な経験や体験に基づいて物事を判断するという態度が経験論的と言われることがあるが、それは誤解である。無限(むげん、infinity、∞)とは、限りの無いことである。直感的には「限界を持たない」というだけの単純に理解できそうな概念である一方で、直感的には有限な世界しか知りえないと思われる人間にとって、無限というものが一体どういうことであるのかを厳密に理解することは非常に難しい問題を含んでいる。このことから、しばしば哲学、論理学や自然科学などの一部の分野において考察の対象として無限という概念が取り上げられ、そして深い考察が得られている。本項では、数学などの学問分野において、無限がどのように捉えられ、どのように扱われるのかを記述する。数学における無限小(むげんしょう、infinitesimal)は、測ることができないほど極めて小さい「もの」である。無限小に関して実証的に観察されることは、それらが定量的にいくら小さかろうと、角度や傾きといったある種の性質はそのまま有効であることである。infinitesimus(もともとは列の「無限番目」の項を意味する言葉)に由来し、これを導入したのは恐らく1670年ごろ、メルカトルかライプニッツである。無限小はライプニッツがやなどをもとに展開した無限小解析における基本的な材料である。ある言い方では、無限小対象とは「可能な如何なる測度よりも小さいが零でない対象である」とか「如何なる適当な意味においても零と区別することができないほど極めて小さい」などと説明される。故に形容(動)詞的に「無限小」を用いるときには、それは「極めて小さい」という意味である。このような量が意味を持たせるために、通常は同じ文脈における他の無限小対象と比較をすること(例えば微分商)が求められる。無限個の無限小を足し合わせることで積分が与えられる。(機械的定理証明法)においてと呼ばれる手法を応分に用いて領域の面積や立体の体積を求めた。正式に出版された論文では、アルキメデスは同じ問題を取り尽くし法を用いて証明している。15世紀にはニコラウス・クザーヌスの業績として(17世紀にはケプラーがより詳しく調べているが)、特に円を無限個の辺を持つ多角形と見做して円の面積を計算する方法が見受けられる。16世紀における、任意の実数の十進表示に関するシモン・ステヴィンの業績によって、実連続体を考える下地はすでにでき上がっていた。カヴァリエリの不可分の方法は、過去の数学者たちの結果を拡張することに繋がった。量に分解することと関係がある。ジョン・ウォリスの無限小は不可分とは異なり、図形をもとの図形と同じ次元の無限に細い構成要素に分解するものとして、積分法の一般手法の下地を作り上げた。ライプニッツによる無限小の利用は、「有限な数に対して成り立つものは無限な数に対しても成り立ち、逆もまた然り」有限/無限というのは個数に関して言うのではない(有限個/無限個ではない)ことに注意せよ。ここでいう「有限」とは無限大でも無限小でもないという意味である。(割り当て不能な量を含む式に対して、それを割り当て可能な量のみからなる式で置き換える具体的な指針)というような、経験則的な原理に基づくものであった。18世紀にはレオンハルト・オイラーやジョゼフ=ルイ・ラグランジュらの数学者たちによって無限小は日常的に使用されていた。ともディラックのデルタ函数の前身的なものとも定義した。関する一連の論文を著した。デュ・ボア=レーモンの業績は、エミール・ボレルとトアルフ・スコーレムの両者に示唆を与えた。ボレルは無限小の増大率に関するコーシーの仕事とデュ・ボア=レーモンの仕事を明示的に結び付けた。スコーレムは、1934年に最初の算術の超準モデルを発明した。連続の法則および無限小の数学的に厳密な定式化は、1961年にアブラハム・ロビンソンによって達成された(ロビンソンは1948年にが、および1955年にが成した先駆的研究に基づき超準解析を展開した)。無限小で豊饒化された連続体の厳密な定式化であり、がライプニッツの連続の法則の厳密な定式化である。(ぶつりたんい)とは、種々の物理量を表すための単位である。logic)とは、ある種の論理体系であり、伝統的な真理値の概念が構成的証明の概念に置き換わっている点で古典論理とは異なる。このときその真理値に対する直接的なエビデンスを持つか否かは問題にしない。これはどのような曖昧な命題においても「真か偽かが決定可能である」ということを意味する。対照的に直観主義論理では確定的に論理式に真理値を割り当てるのではなく、それが真であるとは「直接的なエビデンス」つまり「証明」があることと見做す。(せんたくこうり、、選出公理ともいう)とは公理的集合論における公理のひとつで、どれも空でないような集合を元とする集合(すなわち、集合の集合)があったときに、それぞれの集合から一つずつ元を選び出して新しい集合を作ることができるというものである。1904年にエルンスト・ツェルメロによって初めて正確な形で述べられた。類義語(るいぎご)とは、同一言語において、語形は異なるが意味は互いによく似ており、場合によっては代替が可能となる二つ以上の語。