【維基百科】之主觀論訴:(重點節錄)
【通識】
邏輯(logic),又稱理則、論理、推理、推論,是有效推論的哲學(註1)研究。邏輯學就是研究規律性事物的一門學科。邏輯被使用在大部份的智能活動中,但主要在哲學、數學、語義學和電腦科學等領域內被視為一門學科。邏輯討論邏輯論證會呈現的一般形式,哪種形式是有效的,以及其中的謬論。在哲學裡,邏輯被應用在大多數的主要領域之中:形上學、本體論、知識論及倫理學。在辯證法中也會學習到邏輯。
一些古文明(如印度、神州(中國:註2)和希臘)都有對邏輯進行研究。在西方,亞里斯多德將邏輯建立成一門正式的學科,並在哲學中給予它一個基本的位子。:
邏輯通常可分為三個部份:歸納推理、溯因推理和演繹推理。
【概論】
描述時空信息類和類之間長時間有效不變的先後變化關係規則被稱為邏輯可分為自然邏輯和人造邏輯2大類。人造邏輯又分為機械邏輯,符號邏輯等等幾類也可分為基本邏輯(無法解釋涉及宇宙本質的邏輯)和複合邏輯2大類。
邏輯(英語:logic)的字根源起於希臘語邏各斯(希臘語:λόγος),最初的意思有詞語、思想、概念、論點、推理之意。後譯為(法語:logique),最後發展為英文中的邏輯(英語:logic)。
和製漢語採用漢字「論理」,意譯為「論理學」。孫文於其文《治國方略·以作文為證》意譯為「理則」,
邏輯本身是指是推論和證明的思想過程,而邏輯學是研究「有效推論和證明的原則與標準」的一門學科。作為一個形式科學,邏輯透過對推論的形式系統與自然語言中的論證等來研究並分類命題與論證的結構。
邏輯的範圍從對謬論與悖論的研究之類的核心議題,到利用機率來推論及包含因果論的論證等專業的推理分析。邏輯在今日亦常被使用在辯論理論之中。
【邏輯學基本原理】
同一律(the law of identity)事物跟其自身相等同,「自己」不能「不是自己」。
矛盾律(the law of contradiction or the law of non-contradiction)事物不能同時「是」跟「不是」。是就是,不是就不是。
排中律(the law of excluded middle)事物只能有「是」或「不是」兩種狀態,不存在其他中間狀態。
充足理由律(the law of sufficient reason)任何事物都有其存在的充足理由。
【邏輯系統的性質】
邏輯系統可具有下列性質:
有效性(validity)依系統的推理規則,若所有前提皆為真則結論必為真(保真)。所有命題之前提皆語義蘊涵(semantic consequence)結論。
自洽性(consistency)系統中任一定理都不與其他定理相矛盾。不存在命題P,P和非P皆可在系統中證明。
可靠性(soundness)系統中所有定理(有效且可證明的命題)皆為真。可靠性與完備性互為逆命題。
完備性(completeness)系統中不存在無法證明或證否的有效命題。系統中真命題皆可證明(真命題皆為定理)且假命題皆可證否。
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
【布衣神僕】之主觀論訴:(邏輯神學序言篇)
浩瀚的宇宙萬有之中,存在著一個「科學與哲學」都無可解釋、眼不見不為憑的創造源頭--【大智慧】。我稱之為【 真神】,古神州稱做【天】。
所以基本上以「邏輯反推論」來看:「科學與哲學」本身就是一種「無神論」;「無神論」就是「人本主義(註3)」;而「人本主義」非同於「神本主義」。
正因為「人本主義」是以人「推理自思」的思想、知識為「根本」,加上個人主觀性與客觀性的種族歷史對立,才會形成今日世界的一片混亂紛爭。
「神本主義」是以 神為「尋求根本」的態度、「相信存在」的敬畏、「愛人如己」的分享。而「人本主義」卻僅能就「科學與哲學的『推理』」來解釋「宇宙萬有中的一切」。而這些善於推理的科學家與哲學家,最終都是回到一個【大智慧】本定的定律旨意之中:「你本是塵土,仍要歸於塵土。」(創世紀3:19)
所以人一出生就立刻有兩條「面對死亡」的道路可以選擇:1. 「人本主義」2. 「神本主義」。
【邏輯神學】於是就這般的形成了一個「以宇宙萬有中的一切知識(含括著科學與哲學)」加上「以 神為本」的原則,來尋求【大智慧】真理真道的生命指標!
前面文章【邏輯學基本原理】也提到:
矛盾律--事物不能同時「是」跟「不是」。是就是,不是就不是。
排中律--事物只能有「是」或「不是」兩種狀態,不存在其他中間狀態。
耶穌基督說:「你們的話,是,就說是;不是,就說不是;若再多說,就是出於那惡者。」(馬太福音5:37)
這不是很巧合嗎?
耶穌基督又說:「你們必認識真理,真理必使你們得--自由。」(約翰福音8:32)
註1:【哲學】哲學是什麼?英國哲學家羅素對哲學的定義為:哲學乃是某種介乎神學與科學之間的東西。它和神學一樣,包含著人類對於那些迄今仍為科學知識所不能肯定之事物的思考;但它又像科學一樣,是訴之於人類的理性而不是訴之於權威的,不論是傳統的權威還是啟示的權威。一切確切的知識(羅素認為)都屬於科學;一切涉及超乎確切知識之外的教條都屬於神學。但介乎神學與科學之間還有一片受到雙方攻擊的無人之域,這片無人之域就是哲學。
註2:【中國】的歷史定義屬於【邏輯歷史】「矛盾律」與「排中律」的理則範疇…改日另闢新文章論訴。
註3:【主義】的定義屬於【邏輯神學】「矛盾律」與「排中律」的理則範疇…改日另闢新文章論訴。
以馬內利
上善教--聖安息主日教會
布衣神僕:郝傳道
主後2014 06 14 聖安息主日 首發