|
パースの法則（パースのほうそく）は哲学者であり論理学者であるチャールズ・サンダース・パースにちなむ論理学における法則である。彼の最初の命題論理の公理化において、この法則を公理に採用した。この公理は、含意と呼ばれるただひとつの結合子を持つ体系における排中律であると考えることもできる。 命題計算では、パースの法則は ((''P''→''Q'')→''P'')→''P'' のことを言う。この意味するところを書き出すと、命題''P''について、命題''Q''が存在して、「''P''ならば''Q''」から''P''が真であることが従うときには、''P''は真でなければならないとなる。とりわけ、''Q''として偽を選んだ場合には、''P''から偽が従うときは常に''P''が真であるならば、''P''は真であるとなる。 パースの法則は直観論理や中間命題論理では成立せず、演繹定理だけからでは導くことができない。 カリー＝ハワード同型対応の元では、パースの法則は継続演算子(例えばSchemeにおけるcall/cc)の型である〔A Formulae-as-Types Notion of Control - Griffin defines K on page 3 as an equivalent to Scheme's call/cc and then discusses its type being the equivalent of Peirce's law at the end of section 5 on page 9.〕。 ==歴史== パース自身による法則の言明: : A ''fifth icon'' is required for the principle of excluded middle and other propositions connected with it. One of the simplest formulae of this kind is: : This is hardly axiomatical. That it is true appears as follows. It can only be false by the final consequent ''x'' being false while its antecedent (''x'' → ''y'') → ''x'' is true. If this is true, either its consequent, ''x'', is true, when the whole formula would be true, or its antecedent ''x'' → ''y'' is false. But in the last case the antecedent of ''x'' → ''y'', that is ''x'', must be true. (Peirce, the ''Collected Papers'' 3.384). 続いて、法則からただちに以下が得られることを指摘している: : From the formula just given, we at once get: : where the ''a'' is used in such a sense that (''x'' → ''y'') → ''a'' means that from (''x'' → ''y'') every proposition follows. With that understanding, the formula states the principle of excluded middle, that from the falsity of the denial of ''x'' follows the truth of ''x''. (Peirce, the ''Collected Papers'' 3.384). 注意: ((''x''→''y'')→''a'')→''x'' はトートロジーでは''ない''。しかし、→ はトートロジーである。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「パースの法則」の詳細全文を読む スポンサード リンク
|