概念記法のソースを表示

[[ファイル:Begriffsschrift Titel.png|thumb|200px|The title page of the original 1879 edition]]
『'''概念記法'''』（がいねんきほう、{{lang-de-short|Begriffsschrift}}）は、[[ゴットロープ・フレーゲ]]によって1879年に出版された[[数理論理学|論理学]]に関する短い本の題名であり、またその本で創始された[[形式体系]]の名称である。

この本の完全な書名は「[[算術]]の[[形式言語|式言語]]を模した、純粋な思考のための一つの式言語 eine der arithmetischen nachgebildete Formelsprache des reinen Denkens」である。『概念記法』は、[[アリストテレス]]が論理学という主題を創設して以来、論理学に関するおそらく最も重要な出版物であった。[[ゴットロープ・フレーゲ|フレーゲ]]が自分の式を開発して論理に到達しようとした動機は、[[ゴットフリート・ライプニッツ|ライプニッツ]]が彼の推論計算機に対して持った動機と似ている。続いて[[ゴットロープ・フレーゲ|フレーゲ]]は、数学の基礎の研究に彼の論理計算を用い、それは次の四半世紀にわたって遂行された。

== 『概念記法』の意義 ==

Terrell Ward Bynumは『概念記法』の意義を11項目挙げている<ref>{{Harvp|Bynum|1972}}</ref>。そのうちの主なものは以下の通りである。

=== 命題関数 ===
[[命題関数]]の発明（第1章§9 関数）。「水素は二酸化炭素より軽い」を表す式言語において,「水素」の代わりに「酸素」あるいは「窒素」を代入することができる。そこで,「水素」を項,「二酸化炭素より軽い」を関数と呼ぶ。項Aの関数をΦ（A）のように書く。フレーゲは,それまで名辞（主語－述語）で表されていた命題を,関数で表したのである。

=== 量化理論 ===
[[量化理論]]の発明（§11 一般性）。「すべての（all）」や「ある(some)」を扱う量化記号を導入した。これによって「誰もが誰かを愛している」のような多重量化された文を扱うことができるようになった。

=== 関係の祖先 ===
関係の祖先の最初の定式化（第3章§23- 系列の一般理論）。後述「[[#祖先関係|祖先関係]]」。

=== 数学的帰納法 ===
数学的帰納法の証明の最初の論理的分析（第3章§23- 系列の一般理論）。後述「[[#祖先関係|祖先関係]]」の「[[#kinouhou|数学的帰納法]]」。


である。また,第二階の量化の考えも見られる。

=== 第二階の量化 ===
（§10）。フレーゲは,Φ（A）において記号Φは他の記号Ψ,Xで置き換え可能なものであるから,Φ（A）を項Φの関数と見なすことができる,と言う。ここで彼は関数の関数を考えている。

== 表記法およびシステム ==
この計算には,[[量化]]された変数という概念が初めて導入され,また,高度に特異的な2次元表記法で表示されているとはいえ,[[同一性]]を持った本質的に古典的な2値の二階論理である：結合子と限量子は,今日使用される￢,∧,∀ではなく,式をつなぐ線を用いて書かれる。たとえば,Bという判断に材料として判断Aが含まれること(実質含意),すなわち<math> B \rightarrow A </math>は,[[Image:Kondicionaliskis_wb.png]]と書かれる。

第1章で[[ゴットロープ・フレーゲ|フレーゲ]]は,[[命題]](「判断」),[[全称記号|全称量化子]](「一般性」),条件法,否定,内容の相等性のための記号<math> \equiv </math>のような基本的アイデアと表記法を定義する。

<table class="wikitable" style="margin:0 auto">
<tr>
<th>基本概念</th><th>フレーゲの表記法</th><th>現代的表記法</th>
</tr>
<tr>
<td>判断</td><td><math> \vdash A , \Vdash A </math></td><td>p(A)=1<br>p(A)=i</td>
</tr>
<tr>
<td>否定</td><td>[[Image:Begriffsschrift_connective1.png]]</td><td><math> \lnot A ;\sim A</math></td>
</tr>
<tr>
<td>条件法（含意）</td><td>[[Image:Begriffsschrift_connective2.png]]</td><td><math> B \rightarrow A</math><br><math>B \supset A</math></td>
</tr>
<tr>
<td>全称量化</td><td>[[Image:Begriffsschrift_Quantifier1.png]]</td><td><math>\forall x:F(x)</math></td>
</tr>
<tr>
<td>存在量化</td><td>[[Image:Begriffsschrift_Quantifier3.png]]</td><td><math>\exists x:F(x)</math></td>
</tr>
<tr>
<td>内容の相等性（等号）</td><td>A≡B</td><td>A=B</td>
</tr>
</table>


第1章§5では,[[ゴットロープ・フレーゲ|フレーゲ]]は条件法を次のように定義する。
「AとBが,判断可能な内容を意味するとき,次のような4つの可能性がある。

{| align=center cellpadding=2 cellspacing=
|-
|| (1) || Aが肯定され,かつ,Bが肯定される,
|-
|| (2) || Aが肯定され,かつ,Bが否定される,
|-
|| (3) || Aが否定され,かつ,Bが肯定される,
|-
|| (4) || Aが否定され,かつ,Bが否定される。
|}


:[[Image:Kondicionaliskis wb.png]] はこれらの可能性のうちで3番目のことは起こらず,他の3つのうちの1つが起こるという判断を意味する。すなわち,我々が [[Image:Begriffsschrift connective2.png]] を否定するということは,3番目の可能性が妥当であることを意味する,すなわち我々はAを否定し,かつ,Bを肯定する。」

== 公理 ==
第2章で[[ゴットロープ・フレーゲ|フレーゲ]]は,9つの式化された[[命題]]を[[公理]]として宣言し,それらは意図された意味を与えられて直観的真実を表現する,と非公式に論争してそれらを正当化した。現代的な表記法で再表現すると,これらの[[公理]]は次のとおりである:

# <math> \vdash \ \ A \rightarrow \left( B \rightarrow A \right) </math>
# <math> \vdash \ \ \left[ \ A \rightarrow \left( B \rightarrow C \right) \ \right] \ \rightarrow \ \left[ \ \left( A \rightarrow B \right) \rightarrow \left( A \rightarrow C \right) \ \right] </math>
# <math> \vdash \ \ \left[ \ D \rightarrow \left( B \rightarrow A \right) \ \right] \ \rightarrow \ \left[ \ B \rightarrow \left( D \rightarrow A \right) \ \right] </math>
# <math> \vdash \ \ \left( B \rightarrow A \right) \ \rightarrow \ \left( \lnot A \rightarrow \lnot B \right) </math>
# <math> \vdash \ \ \lnot \lnot A \rightarrow A </math>
# <math> \vdash \ \ A \rightarrow \lnot \lnot A </math>
# <math> \vdash \ \ \left( c=d \right) \rightarrow \left( f(c) \rightarrow f(d) \right) </math>
# <math> \vdash \ \ c = c </math>
# <math> \vdash \ \ \left( \ \forall a : f(a) \ \right) \ \rightarrow \ f(c) </math>

これらは『'''概念記法'''』の[[命題]]1,2,8,28,31,41,52,54,および58である。 (1)-(3)は質量含意（実質含意）を支配する,(4)-(6)は否定,(7)および(8)は相等性,(9)は全称量化子である。 (7)は[[ゴットフリート・ライプニッツ|ライプニッツ]]の不可識別者の[[同一性]]を表現し,(8)は相等性が反射的であることを主張する。

他の[[命題]]はすべて,(1)- (9)から次の推論規則を実施することによって推論される。

== 推論規則 ==

*[[モーダスポネンス|モドゥス・ポネンス]]は我々が <math>\vdash A \to B</math> と <math>\vdash A</math>から <math>\vdash B</math>を推論することを 可能にする,
*全称汎化は,Pの中にxが現れなければ,我々が <math>\vdash P \to A(x)</math>から<math>\vdash P \rightarrow \forall x : A(x)</math>を推論することを可能にする,
*[[ゴットロープ・フレーゲ|フレーゲ]]が明示的に述べない代入の規則。 この規則は,はっきり正確に述べるのが前の2つの規則よりはるかに難しく,[[ゴットロープ・フレーゲ|フレーゲ]]は明らかには正当でない方法でそれを実施する。

== 祖先関係 ==

「系列の一般理論の若干のトピックス」という題名の第3章の主要な成果は,今日,祖先関係と呼ばれるものに関連している。フレーゲは,xに手続きfを適用した結果がyであることを,

:<math>\vdash f(x,y)</math>

と表す（この記事では,現代記法で,xfy と書く）。また,フレーゲは,「xが性質Fを持ち,かつ,xに手続きfを適用した結果もつねに性質Fを持つ」とき,「性質Fはf系列において遺伝的である」（この記事では,Her(F)と書く<ref>Her(F),In(x,F),FN(f),*=などの記号は,田畑(2002)を参考にした。</ref>）と言う。

:<math>\forall x(Fx \to \forall y (xfy \to Fy)) \equiv Her(F)</math>

である。また,この記事では,「f系列でのxのすべての子ども（xに手続きfを適用した結果のすべて）が性質Fを持つ」ことをIn(x,F)と書く。すなわち,

:<math> \forall a(xfa \to Fa) \equiv In(x,F) </math>

である。フレーゲは命題76で,xに手続きfを適用した結果のすべてが持つあらゆる遺伝的性質を,yが持つとき,「xはyの祖先である」あるいは「yはxの子孫である」（xf*yと書く）と定義した。

:76: <math>\Vdash \forall F[Her(F) \to (In(x,F) \to Fy)] \equiv xf^*y</math>.

<div id="kinouhou">命題81から,</div>
: <math>\vdash Fx \to[Her(F) \to xf^*y \vee y=x \to Fy)]</math>.
が得られるが,これは数学的帰納法の原理を与えるものである。

命題98は,祖先関係が推移的であることを示す。

:98: <math>\vdash xf^*y \to (yf^*z \to xf^*z) </math>.

命題99は,「zは,xで始まるf系列に属する」（この記事では,xf*=z と書く）とは,「zは,xであるか,または,xの子孫である」ことと定義している。

:99:<math>\Vdash xf^*z \vee z=x \equiv xf^*=z</math>

命題115は,「fは関数的な（多対一の,一意的な）手続きである」（この記事ではFN(f)と書く）とは,yがxへの手続きfの適用結果であり,手続きfをxへ適用した結果がすべてyと同じであること,と定義している。

:115: <math>\Vdash \forall y \forall x [xfy \to \forall z (xfz \to y=z)] \equiv FN(f)</math>.

最後の命題133は,手続きfが関数的で,mとyがf系列でxの子孫であるとき,yはmの祖先であるか,またはmで始まるf系列に属することを示す。

:133: <math>\vdash FN(f) \to [ xf^*m \to (xf^*y \to yf^*m \vee mf^*=y)</math>.

[[ゴットロープ・フレーゲ|フレーゲ]]は,祖先関係の成果を含む『'''概念記法'''』の成果を,後の仕事『[[算術の基礎]]』に適用した。

== 他の仕事への影響 ==
『'''概念記法'''』がドイツの数学文献の中でどのように批評されたか,最近の注意深い研究として,リスト・ヴィルコ (1998年)を参照のこと。 何人かの批評家,特にエルンスト・シュレーダーは,全く好意的であった。『'''概念記法'''』に続く形式論理の仕事はすべてこれに負っている,なぜなら2階論理は[[数学]]と[[自然言語]]のかなりの部分を表現する能力のある初めての形式論理だったからである。

[[ゴットロープ・フレーゲ|フレーゲ]]の表記法の形跡のいくつかは,彼の「内容線」──と「判断線」│に起源を持つ「回転式木戸」記号<math>\vdash</math> に生き残っている。
[[ゴットロープ・フレーゲ|フレーゲ]]は『'''概念記法'''』で,ある[[命題]]が(同語反復的に)真であると宣言するために,これらの記号を一体化した形|－で使用した。彼はある[[命題]]が定義であるという印として「定義二重線」∥－を使用した。

なお,否定の印 <math>\neg</math> は水平の内容線と垂直の否定線との組合せと読むことができる。この否定の記号は1930年に[[アレン・ハイティング]]<ref>{{Cite journal |last=Heyting |first=Arend |year=1930 |title=Die formalen Regeln der intuitionistischen Logik |journal=Sitzungsbericht PreuBische Akademie der Wissenschaften Berlin, physikalisch-mathematische Klasse II |pages=42–56}}</ref> によって古典的な否定と直感的なものを区別するために導入された。

[[ルートヴィヒ・ウィトゲンシュタイン]]の『[[論理哲学論考]]』では,「'''概念記法'''」の用語を論理的な形式主義の同義語として用いることによって[[ゴットロープ・フレーゲ|フレーゲ]]に敬意を払っている。

[[ゴットロープ・フレーゲ|フレーゲ]]の 1892年の小論『[[意義と意味]]について』は,相等性(数学では＝の記号で示される)についての『'''概念記法'''』の結論のいくつかを撤回する。

== 引用 ==

<blockquote>人間の精神に対する言葉の支配を打ち破ることが哲学者の一つの任務であるならば，…私の'''概念記法'''は，この目的のために更に開発されれば，哲学者にとって有用な道具になり得るであろう。…この'''概念記法'''を発見したことだけでも，私には，論理学を推し進めたように思われる。(『'''概念記法'''』への序文)</blockquote>

== こちらも参照 ==
* [[論理学の歴史#論理主義者の時代|論理学の歴史]]
* [[:en:Ancestral_relation|Ancestral relation (祖先関係)]]
* [[Frege's propositional calculus]]

== 参照 ==
{{Reflist}}

== さらに読む ==
* {{Cite book |last=Frege |first=Gottlob |title=Begriffsschrift: eine der arithmetischen nachgebildete Formelsprache des reinen Denkens |date=1879 |publisher=Halle |others=略号[BS] |oclc=560477756}}

翻訳:
* {{Cite book |和書 |editor=藤村龍雄 |editor-link=藤村龍雄 |title=フレーゲ著作集 1 '''概念記法''' |series=フレーゲ著作集 |date=1999年12月 |publisher=勁草書房 |isbn=4-326-14820-9 |translator=藤村龍雄 |oclc=834590533}}
* {{Cite book |ref=harv |editor-last=Bynum |editor-first=Terrell Ward |title=Conceptual Notation |url=https://www.google.co.jp/books/edition/Conceptual_Notation/SLcdtAEACAAJ?hl=ja |date=1972 |publisher=Clarendon Press |language=en |translator=Terrell Ward Bynum |others=And Related Articles. Transl. and Ed. with a Biography and Introd. |oclc=310763557 |trans-title=Begriffsschrift}}
* {{Cite book |last=van Heijenoort |first=Jean |author-link=ジャン・ヴァン・ハイエノールト |title=From Frege to Godel A Source Book in Mathematical Logic, 1879-1931 |date=2002 |publisher=Harvard University Press |isbn=978-0-674-25724-5 |chapter=Concept Script |translator=Bauer-Mengelberg, Stefan |origyear=1967 |oclc=1203950567}}

二次文献:
* {{Cite book |和書 |author=飯田隆 |author-link=飯田隆 (哲学者) |title=言語哲学大全 Ⅰ 論理と言語 |edition=1 |date=1987 |publisher=[[勁草書房]] |isbn=4-326-15200-1 |oclc=18645893}}
* {{Cite book |和書 |author=田畑博敏 |title=フレーゲの論理哲学 |date=2002 |publisher=[[九州大学出版会]] |isbn=4-87378-712-2 |oclc=674914214}}
* {{Citation |和書 |title=フレーゲの哲学 |author=アンソニー・ケニー |translator=野本和幸 |date=2001年03月 |url=https://www.h-up.com/books/isbn978-4-588-00721-7.html |series=叢書・ウニベルシタス |volume=721 |publisher=[[法政大学出版局]] |isbn=4-588-00721-1 |oclc=675044755}}
* {{Cite book |和書 |author=野本和幸 |title=フレーゲ入門: 生涯と哲学の形成 |date=2003 |publisher=[[勁草書房]] |isbn=4-326-19905-9 |oclc=676509082}}
* {{Cite journal |last=Boolos |first=George |author-link=ジョージ・ブーロス |date=1985 |title=Reading the Begriffsschrift |url=https://www.jstor.org/stable/2254808 |journal=Mind |volume=94 |issue=375 |pages=331–344 |issn=0026-4423}}
* {{Cite book |last=Grattan-Guinness |first=Ivor |title=The Search for Mathematical Roots, 1870-1940 |url=https://www.degruyter.com/document/doi/10.1515/9781400824045/html |date=2011-02-11 |publisher=Princeton University Press |language=en |isbn=978-1-4008-2404-5 |doi=10.1515/9781400824045}}
* {{Cite journal |last=Vilkko |first=Risto |date=1998-11-01 |title=The Reception of Frege'sBegriffsschrift |url=https://www.sciencedirect.com/science/article/pii/S0315086098922133 |journal=Historia Mathematica |volume=25 |issue=4 |pages=412–422 |language=en |doi=10.1006/hmat.1998.2213 |issn=0315-0860}}

== 外部リンク ==
{{commonscat|Begriffsschrift}}
*[[Stanford Encyclopedia of Philosophy]]: "[http://plato.stanford.edu/entries/frege-logic/ Frege's Logic, Theorem, and Foundations for Arithmetic]" by [[エドワード・ザルタ]].{{リンク切れ|date=2022-01-14}}

{{Normdaten}}
{{デフォルトソート:かいねんきほう}}
[[Category:1870年代の書籍]]
[[Category:ドイツの哲学書]]
[[Category:19世紀の哲学書]]
[[Category:論理学書]]
[[Category:分析哲学の文献]]
[[Category:概念]]
[[Category:量化]]
[[Category:ゴットロープ・フレーゲ]]
[[Category:数学に関する記事]]