楊裕富建築數位教學網

	四則運算，加、減、乘、除，我們都知道，加法是互相合併，減法是互相去掉所共有的，乘法是把共有的部分連續作加法的集合，除法是連續作減法的次數表示，這些運算法則，在數學的學理，我們都知道，再把數字的觀念去得到的結果就如一加一等於二，這式子是所謂的數理邏輯。我們追求知識、探討真理時，為什麼之視為可信，真理以什麼為標準，答案有二，一是事實，一是邏輯，換句話說，訴諸事實與邏輯，才是獲得知識及真理或免於紛爭的最佳途徑，事實具有的體驗內容，邏輯卻講求形式上的約定，經驗只有概然性，形式邏輯卻具有必然結果。邏輯，為外來的學問，在中國則譯為理則學、倫理學或名學。它是一種運用數理的運算觀念，來推論『理』的學問，推論中，需充分運用冷靜的理性，而棄絕火熱的情感，訴諸理性，因此邏輯的推論是不涉及『心』的情感。旨在保持抽象的推論法則，這法則只是形式而豪不顧及實在的內容，這為形式邏輯。有些學者為摒除感情因素，以符號替代推論語句的邏輯，稱之為符號邏輯。如果推論語句徹底以符號取代，則推論的有效性，大可運用數學的計算方式加以計算，這就是數理邏輯。現今電腦語言多為數理邏輯的推論編寫而成，當我們想把研究的事物，先行分解，再把分解的部分，套上算術中通用的英文字母來表示，字母亦可表示算式中的運算元素，如X代表某項事物，使反推回電腦語言的編寫運算，使求其結果，這樣的抽象推論，則為運算邏輯。參考書目：邏輯及演繹科學方法論著：Alfred Tarski 譯：吳定遠台灣商務印書館發行 1965 邏輯著：林玉體三民書局 1976

	運算邏輯/黃瑞崧/