标签 形式系统 下的文章
- 闲话：如果一个事物的表述复杂到一定程度，如果它本身没有错的话，通常意味着它的模型是可以被重构的，缺的可能只是信息量和形式工具，以及对于自身的解构——然后事物会简洁许多，可以对比地心说和日心说时不同的太阳系行星运行轨道。(a:vim,d:210920)(#认知 #形式逻辑 #模型.) Sep 20
- 哥德尔第2不完备性定理：任何相容的形式体系不能用于证明它本身的相容性；哥德尔第1不完备性定理：任何一个足够强的一致公设系统，必定是不完备的 Sep 18
- 与其将认知理解为机械系统，可能将其理解为泡沫空间更接近现实情况。虽然都存在态的变化，但是机械系统理论上是客观不变的，而泡沫空间中的泡沫路径是会变化的。认知尺度、角度和向量的组合，会不断的建构认知的实例。再通过形式系统的映射，认知的不确定性是必然的，确定性才是偶然。(a:vim,d:210907)(#认知 #形式系统.)++ Sep 07
- 高维形式系统中为真的逻辑，在其低维子集形式系统中应然为真，但缺失的维度将导致该逻辑在高维形式系统中内含的低维形式形系统中无法被演绎。这将导致它要么被直接视为公理或者常数，要么被忽视，而无法被理解。理解是一种内涵，而非一种过程。除非你能抽象出缺失的维度，并在此基础上补足必要的形式空间。这能让你获得额外的自由。这种情况在工程意义上被称为兼容，在认知意义上被称为智慧。(a:vim,d:210907)(#形式逻辑 #认知.) Sep 07
- 写了一篇非常没有可读性的文章《如何认识的理解社会——关于社会的形式表述》，做社科研究或者社会工作的朋友可以看看。讨论的是认识论意义上对于“社会”的认知和理解，尝试用形式化的方法其做了一个抽象的表述。同时讨论了“社会”和“人”在存在意义上如何形成、认知和调节。非常抽象，配上其它具象的知识体系才有用，但配上合适的应该很有用。(a:vim,d:210720)(#GS #社会 #形式化.) Jul 20
- 形式逻辑可以短路，可以错维映射，可以让形式逻辑完全脱离事实，只在形式空间自循环，于是我们见到了架空后的逻辑自洽和观念内卷，这里面没有悖论，只有一个个形式化了的观念人——有人称之为信仰，有人称之为自由，我倾向于称之为lost(a:vim,d:210709)(#形式逻辑 #内卷 #自由.) Jul 09
- 悖论不存在于对象世界，而存在于形式空间，所以，没事实的悖论，只有形式的悖论。——这句话的现实作用在于，话说不到一起的话，没什么好争的，问题可能不是语言的问题，也可能只是语言的问题(a:vim,d:210709)(#形式逻辑,#悖论.) Jul 08
- 狭义和广义的区别：在对象属性不变的情况下，狭义比广义有更多的条件约束和形式假设，广义比狭义更有抽象性和普适性。(a:vim,d:210708)(#形式逻辑,#抽象,#认知.) Jul 08
- [c:道德]对人和社会只有极其有限的调节作用，因为其本质是社会性次生的，是属于[c:社会人]的属性和尺度，相对于更广义的[c:人]的概念超集，[c:道德]预测和分析不具备相关形式逻辑的基础。两个形式空间能够映射，但不表示A空间的方程能用于解B空间的问题。(a:vim,d:210703)(#形式逻辑,#道德,#认知.) Jul 03
- 搞理论也好，做决策分析也好，套用理论时要有合法空间约束，也就是任何一个社会议题的讨论，关联性的条件集合的边界得界定清楚，否则就是理论的表演赛，舞台上打套路而已。(a:vim,d:210702)(#理论,#战略,#咨询.) Jul 02
- 上世纪初，以希尔伯特为代表的形式主义派，希望能通过形式逻辑的方法，构造一个有关数论（自然数）的有限的公理集合，推出所有数论原理（完备性），且无矛盾（相容性），并以此出发构造整个形式主义的数学体系。而哥德尔第一不完备定理，粉碎了这一设想。这两个定理实际上表明，这样的公理系统要么不完备，要么有矛盾。数论的相容性为根茨（G.Gentaen，1909-1945）在1936年使用蕴涵着非演绎逻辑的超限归纳法所证明。 Jun 24
- 哥德尔不完备定理：1.一个（包含皮亚诺算术的）形式系统如果是一致的那么是不完备的；2.对于一个（包含皮亚诺算术的）形式系统，该系统的一致性不能在系统内部证明。 Jun 22
- 绝大部分的人，在大部分的时候，其日常的思考和表达，极其的凑合，仅仅具有基本的功能性意义，但也凑合着能用。但如果你想要严肃地去理解他，你会发现，其只能被简约的理解，而无法被严格的转述。因为在其形式空间中的形式逻辑，只有存在主义的形式意义，而不具备现实主义的逻辑基础。(a:vim,d:210618)(#形式逻辑,#认知,#人格.)++ Jun 18
- 认知本身的形式化分析，在直觉上是可能的，某种意义上，它能使许多的人的日常甚至严谨的理解和表达显得像小孩子的异想天开，而沟通的基础也能用信息论直接分析。也许不久的将来，分析哲学会直接数理化，或者成为一种交叉学科（而非元学科）而存在。(a:vim,d:210618)(#分析哲学,#AI,#认知.) Jun 18
- 函数，映射，算子和映射，很有用的概念，对于当下知识符号系统的内卷和失效很有用。对于生活语言中的诡辩和认知上的混乱的分析更有意义——当然，意义仅限于自己，分析对象大概率不会接受你的分析结果，甚至愤怒于你的分析过程，会将其视为一种存在主义的控制。(a:vim,d:210616)(#形式科学,#认知.) Jun 16
- 逻辑主义：数学的基础可以通过形成规则，或“语法”规则，和一些哲学概念等逻辑元素来实现。形式主义：形式元素可以作为数学的基础，但不一定是逻辑元素。 Jun 16
- 纯数学是逻辑的一个分支。《数学的本质》(1933)（路易·库蒂拉） Jun 16
- 只有表达的描述（即逻辑中的任何句子）是可以预设的。——《逻辑哲学论纲》维特根斯坦(1921)。 Jun 16
- 给“v笔记文本标注系统”升了个小级，从av3.4.1r升级到av3.5.0r。修改内容：在“标记对象类型”中，删除了参数“a:公理”和“e:元素”，增加了新参数“a:属性”和“c:概念”——算是增加了实用性，减少了属性的复杂度。当然，目前的参数分类还是有些糙，边用边优化。(a:vim,d:210530)(#vim,#模型.) May 30
- 之所以有悖论，是因为观察者在逻辑中。(a:vim,d:210430)(#认知,#形式逻辑.) Apr 30
- 我们需要考虑在人的社会性存在的分析中导入集合式的分析方法，比如一种社会关系中，[权利]和[职责]同时计算，如A和B的特定社会关系中，两者的基本I(|权利)O(|职责)描述：A｛I(x),O(y)｝，B{I(x),O(y)}。y的值可以是0甚至负数，但不能把y描述为x的形式存在，否则逻辑会发生短路，现实中的很多公婆有理的争议，问题就缘于此。(a:vim,d:210415)(#形式逻辑,#认识论,#方法论.)++ Apr 15
- 现代社会科学对于社会解释能力的丧失，主要有以下几个原因：1.知识论层面的困境，旧的认识论不再适应越来越精细化的社会现实和知识空间；2.观念的主体化和内卷，即形式逻辑、观念标准与事实系统的脱钩；3.知识的学科化导致的逻辑系统的碎片化倾向，这导致了细分的知识体系与总体性的社会事实的异化。(a:vim,d:210415)(#形式逻辑,#社会科学.) Apr 15
- 现代社会存在大量的所谓[e:现实]问题，其作为[e:社会议题]而言并不[e:真实]，其本质往往是有限[e:事实]基础上，某种[e:意识形态]的[e:叙事内卷]，以及相对应的[e:形式逻辑]的[e:分析短路]。——用人话说就是：大量所谓的社会问题，其矛盾并不在基本事实上，而在于对其的理解、分析、叙事等混乱上。(a:vim,d:210221)(#社会问题,#形式逻辑,#哲学.) Feb 21
- 所谓的“广义”可以理解为特定形式逻辑中的议题，在该形式逻辑的［超集］中进行分析讨论，它可以提供某种该形式逻辑内生困境的外置解。大部分的所谓创新，需要类似的认知能力和实践策略。(a:vim,d:210208)(#认知.) Feb 08
- 约束性对象与延伸性对象。(a:vim,d:210208)(#形式逻辑,#碎片.) Feb 08
- 有一种思维方式是：世界是[应该A][应该B][应该B][应该C][应该D]etc的集合，对于事实的认知，必须装进这些[应该x]才能被其理解和表达，这种思维方式里没有超纲的东西，貌似很严谨，但这种思维方式是被架空的。(a:vim,d:210202)(#认知，#形式逻辑.) Feb 02
- 特定形式逻辑系统内生的矛盾，是无法在这个逻辑系统中得到解决的。这种矛盾的解决，可能有几种路径：1.在更基础和抽象的形式逻辑体系中给出一般解；2.在逻辑交集的关联逻辑系统中给出外置解；3.将投影逻辑升维展开后的逻辑超集中寻求映射解。(a:vim,d:210202)（#形式逻辑,#分析哲学,#认知） Feb 02
- 人文精神和亚伯拉罕诸教存在着内在的逻辑一致性，都有着强大的逻辑和价值内卷的特点，除非你认同其叙事体系先，否则无法沟通，但如果你认同的话，会强化其对自己是“对的”这个判断，既然自己是对的，那被认同就是天经地义的，还有什么好争论的呢？所以，看似人本思想和自由意志似乎是对基督教精神束缚的解放，但实质上是继承发展，摆脱的是组织权威，但在观念空间中，并没有本质的变化。(a:vim,d:200521)(#认知,#宗教,#形式逻辑.) May 21
- 认识问题的抽象基础：(a:vim,d:200521)(#认识论,#形式科学.)++ May 21
- 我总疑心，科学里的每一个理论，都是更广义理论的条件实现。(a:vim,d:200405)(#认知,#形式逻辑.) Apr 05