智能家居系統(tǒng)的智能究竟是不是一個(gè)非形式體系。（我們一下可能會(huì)用幾帖的篇幅來討論非形式體系，因?yàn)槲乙豢跉鈱懲晁w力不夠））
首先要弄清什么是非形式體系？非形式體系，就是在一個(gè)體系里不遵守形式邏輯的規(guī)則。這里我們只能沿用邏輯學(xué)家們對(duì)形式邏輯的叫法，而不是用吧主對(duì)“邏輯”一詞的看法。
那么什么是不遵守形式邏輯規(guī)則呢？因?yàn)槟壳翱吹降氖澜?，大多?shù)情況都是受規(guī)律制約的。這些規(guī)律反映到人的認(rèn)識(shí)中來，就成為規(guī)律性。這就是把住曾經(jīng)引用的關(guān)于“邏輯”解釋的3，邏輯可以解釋為規(guī)律性。對(duì)于有規(guī)律性的客觀事物，都可以設(shè)法用形式邏輯描述這種規(guī)律性。因此我們無(wú)法找到一個(gè)一點(diǎn)也不能用形式邏輯描繪的體系。
但是根據(jù)形式邏輯的一致性原則，如果一個(gè)體系只要有一部分違背了形式邏輯原則，它就違背了形式邏輯的一致性原則，它就不再是形式體系。
例如弗協(xié)調(diào)邏輯，它屬于并自成為非形式邏輯，而且也屬于非形式邏輯學(xué)派的研究對(duì)象之一。 但是在弗協(xié)調(diào)邏輯僅僅在A和┐A可以同時(shí)成立上違背形式邏輯原則。同時(shí)它不能在推理過程再使用反證法。
因此一個(gè)非形式體系，就是一個(gè)含有違背形式邏輯原則的體系。
如果有人非要認(rèn)為部分違背形式邏輯的仍然是形式體系，那只不過是詞句的爭(zhēng)論。實(shí)際意義不大。
哥德爾定理就是用反證法證明的，弗協(xié)調(diào)邏輯體系不能使用反證法，哥德爾定理的證明對(duì)它無(wú)效，用哥德爾定理反對(duì)模擬智能家居系統(tǒng)智能的理論對(duì)于弗協(xié)調(diào)邏輯也就無(wú)效。這已經(jīng)足夠了！你愿意叫它什么就叫它什么都可以。叫什么都不過是一種稱呼
我們以弗協(xié)調(diào)邏輯為例分析非形式邏輯的特點(diǎn)。
在弗協(xié)調(diào)邏輯中僅僅是違背了形式邏輯的一條原則，即違背了A和┐A不能同時(shí)成立的原則，它確立了A和┐A可以同時(shí)成立的原則。由這個(gè)原則出發(fā)導(dǎo)致反證法的推理手段失效。但是在弗協(xié)調(diào)邏輯的其它部分仍然遵守形式邏輯原則。
例如，如果從前提A、B出發(fā)可以推理出結(jié)論C來，那么在弗協(xié)調(diào)邏輯中，這個(gè)推理仍然有效。這個(gè)推理仍然可以作為弗協(xié)調(diào)邏輯的一部分而存在。
非形式體的這個(gè)特點(diǎn)就造成一種邏輯推理過程無(wú)效，那就是你如果用某個(gè)過程含有形式邏輯，就推理為它一定是形式邏輯體系，你的推理無(wú)效。你必須證明那個(gè)過程處處遵守形式邏輯原則（遵守形式邏輯一致性原則），你才能證明它一定是形式邏輯體系。
吧主的很多論述，都是以部分遵守形式邏輯為例，否定非形式邏輯的存在。這顯然不符合邏輯界*的對(duì)形式邏輯的認(rèn)同。不能予以采信。
了解了非形式邏輯體系僅僅是部分的違背了形式邏輯的特點(diǎn)，我們要證明智能家居系統(tǒng)智能是一個(gè)非形式體系就容易了。因?yàn)槲覀冎灰业揭粋€(gè)智能家居系統(tǒng)智能違背形式邏輯的例子，而不必理會(huì)它此前此后是否遵守形式邏輯，就可以證明它確實(shí)是非形式體系了。
而且這樣的例子我們可以找到很多很多。
會(huì)員1.png)