プリンキピア

第5章論理学と推論Logic and Reasoning

Summaryまとめ

Logic is the study of reasoning and is a key tool for discovering truth in philosophy and other disciplines. Early philosophers used dialectics—reasoned debates with the goal of getting closer to the truth—to practice and develop reason. Dialectics usually start with a question. An interlocuter offers an answer to the question, which is then scrutinized by all participants. Early forms of arguments are evident in written dialogues. Arguments are reasons offered in support of a conclusion. We use logic to test hypotheses in philosophy and other domains. There are laws of logic—the law of noncontradiction and the law of the excluded middle. Laws of logic can be thought of as rules of thought. Logical laws are rules that underlie thinking itself. The rules or laws of logic are normative—they describe how we ought to reason.

論理学は推論の研究であり、哲学やほかの学問分野で真理を発見するための主要な道具である。初期の哲学者たちは、理性を実践し発達させるために、真理に近づくことを目指す理にかなった討論、すなわち弁証法を使った。弁証法は通常、問いから始まる。対話者が問いへの答えを示し、それを参加者全員が吟味する。書かれた対話には、初期の論証の形が見られる。論証とは、結論を支持するために提示される理由である。哲学やほかの領域で仮説を検証するために、私たちは論理を使う。論理には、無矛盾律と排中律という法則がある。論理の法則は、思考の規則と考えられる。論理法則は、思考そのものの基盤となる規則である。論理の規則や法則は規範的であり、私たちがどう推論するべきかを述べる。

Review Questions復習問題

What is the general structure of a dialectic?

弁証法の一般的な構造はどのようなものか。

What is a statement?

陳述とは何か。

Offer an example of a statement and its negation.

ある命題と、その否定の例を示してほしい。

How does the law of noncontradiction logically imply the law of the excluded middle?

無矛盾律は、どのように排中律を論理的に含意するか。

Contradiction

矛盾

a statement that is always false. A contradiction is the conjunction of any statement and its negation.

常に偽である命題。矛盾は、任意の命題とその否定を連言で結んだものである。

Hypothesis

仮説

a proposed explanation for an observed process or phenomenon.

観察された過程や現象について提案された説明。

Law of noncontradiction

無矛盾律

a logical law that states that contradictory statements/propositions can never be true in the same sense at the same time.

矛盾する陳述・命題は、同じ意味で、同時に真になることは決してないとする論理法則。

Law of the excluded middle

排中律

a logical law that states that for any statement, either that statement or its negation is true.

どんな命題についても、その命題か、その否定のどちらかが真であるとする論理法則。