【公理】
<P align=center><STRONG><FONT size=5>【<FONT color=red>公理</FONT>】</FONT></STRONG></P> <P><STRONG>Axiom</STRONG></P><P><STRONG></STRONG> </P>
<P><STRONG>【辭書名稱】教育大辭書</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>一項陳述不需要證據，且可作為許多論證的前提而不是結論，則稱之為公理。</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>公理與命題之別，命題需要利用其他的命題來證明。</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>如果沒有公理而只有命題，而每一個命題都要證明，就易犯循環論證的謬誤，甚至陷入無窮後退的困境。</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>因此，公理又稱為不證自明的真理。</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>如歐幾里得的幾何學(Euclideangeometry)曾被長期視為不可置疑的公理。</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>在一理論系統中，必須檢視其假設；</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>或是在這個理論被視為正確時，要了解何者為自明之理(postulate)。</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>因此公理與自明之理有時可交互使用。</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>通常多將公理的數目減少到最低的程度，以了解在接受該理論時，必須接受多少基本假設。</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>所以公理係一個理論系統中最基本的命題，這些命題的成立乃是該系統的基本假設，不須任何證明；</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>但是根據此系統中的推論規則，可從這些公理導出其他的命題，稱作定理。</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>把一些命題區分為公理與定理，目的在於把它們組織成一組有系統的命題，以顯示這些命題之間的邏輯關係。</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>因此如果公理為真，則根據推論規則所導出的定理也必定為真。</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>公理之真能夠保證定理之為真，而公理本身的真假，則沒有任何的保證。</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>此外，命題（無論是公理或定理）中必然要用到一些詞或符號。</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>要了解命題的意義，必得先明白出現在命題中的詞或符號的意義，即必須對這些詞或符號加以說明。</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>用來說明一個詞或符號的語句，叫做這個詞或符號的定義。</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>一個理論中的公理，有時可區分為邏輯與非邏輯的。</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>除非理論本身就是一邏輯系統，則其中所有的公理都是邏輯公理。</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>非邏輯的公理，是有關理論的內容，包含理論的專用語詞。</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>如「任何兩點之間必可畫一直線相連」。</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>邏輯的公理，則只包含邏輯的常數或符號的縮寫，例如，「(x){F(x)V~F(x)}」。</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>嚴格地說，這是一個公理基模(schema)，可藉由取代的方式自其中得出公理。</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>像用「封閉的曲線」取代上例中的Ｆ，而得出如下的公理：「對所有的Ｘ而言，Ｘ是一封閉的曲線，或Ｘ不是一封閉的曲線」。</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>公理常作為演繹推論的前提。</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>自亞里斯多德提出演繹法(deductivemethod)以後，演繹法即成為西方學術界二十餘年來的主要思考方法。</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>哲學史上的觀念論者及理性論者，大都運用這個方法來建立他們的學說。</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>神學中的許多信念或知識，也都立基在特定的公理如「神存在」和「神創造萬物」之上；</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>倫理學中的「信守諾言」和「尊重別人」等，也有同樣的作用。</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG></STRONG> </P>轉自:http://edic.nict.gov.tw/cgi-bin/tudic/gsweb.cgi?o=ddictionary
頁:
[1]