智能家居系統的智能究竟是不是一個非形式體系。（我們一下可能會用幾帖的篇幅來討論非形式體系，因為我一口氣寫完它體力不夠））
首先要弄清什么是非形式體系？非形式體系，就是在一個體系里不遵守形式邏輯的規則。這里我們只能沿用邏輯學家們對形式邏輯的叫法，而不是用吧主對“邏輯”一詞的看法。
那么什么是不遵守形式邏輯規則呢？因為目前看到的世界，大多數情況都是受規律制約的。這些規律反映到人的認識中來，就成為規律性。這就是把住曾經引用的關于“邏輯”解釋的3，邏輯可以解釋為規律性。對于有規律性的客觀事物，都可以設法用形式邏輯描述這種規律性。因此我們無法找到一個一點也不能用形式邏輯描繪的體系。
但是根據形式邏輯的一致性原則，如果一個體系只要有一部分違背了形式邏輯原則，它就違背了形式邏輯的一致性原則，它就不再是形式體系。
例如弗協調邏輯，它屬于并自成為非形式邏輯，而且也屬于非形式邏輯學派的研究對象之一。 但是在弗協調邏輯僅僅在A和┐A可以同時成立上違背形式邏輯原則。同時它不能在推理過程再使用反證法。
因此一個非形式體系，就是一個含有違背形式邏輯原則的體系。
如果有人非要認為部分違背形式邏輯的仍然是形式體系，那只不過是詞句的爭論。實際意義不大。
哥德爾定理就是用反證法證明的，弗協調邏輯體系不能使用反證法，哥德爾定理的證明對它無效，用哥德爾定理反對模擬智能家居系統智能的理論對于弗協調邏輯也就無效。這已經足夠了！你愿意叫它什么就叫它什么都可以。叫什么都不過是一種稱呼
我們以弗協調邏輯為例分析非形式邏輯的特點。
在弗協調邏輯中僅僅是違背了形式邏輯的一條原則，即違背了A和┐A不能同時成立的原則，它確立了A和┐A可以同時成立的原則。由這個原則出發導致反證法的推理手段失效。但是在弗協調邏輯的其它部分仍然遵守形式邏輯原則。
例如，如果從前提A、B出發可以推理出結論C來，那么在弗協調邏輯中，這個推理仍然有效。這個推理仍然可以作為弗協調邏輯的一部分而存在。
非形式體的這個特點就造成一種邏輯推理過程無效，那就是你如果用某個過程含有形式邏輯，就推理為它一定是形式邏輯體系，你的推理無效。你必須證明那個過程處處遵守形式邏輯原則（遵守形式邏輯一致性原則），你才能證明它一定是形式邏輯體系。
吧主的很多論述，都是以部分遵守形式邏輯為例，否定非形式邏輯的存在。這顯然不符合邏輯界*的對形式邏輯的認同。不能予以采信。
了解了非形式邏輯體系僅僅是部分的違背了形式邏輯的特點，我們要證明智能家居系統智能是一個非形式體系就容易了。因為我們只要找到一個智能家居系統智能違背形式邏輯的例子，而不必理會它此前此后是否遵守形式邏輯，就可以證明它確實是非形式體系了。
而且這樣的例子我們可以找到很多很多。
