贾子认知免疫理论 Kucius Cognitive Immunity Theory：逻辑谬误入侵的识别、抵御与清除形式化框架

贾子认知免疫理论 Kucius Cognitive Immunity Theory逻辑谬误入侵的识别、抵御与清除形式化框架摘要当代信息生态中认知主体面临的核心威胁已从信息匮乏转变为信息污染——大量以权威背书、群体共识、量化指标等面貌出现的伪论证系统性地侵入认知判断过程导致认知主体将管理工具误认为真理标准、将社会事实误认为逻辑有效性。本文在前期系列逻辑审查工作的基础上抽象提炼出一套完整的贾子认知免疫理论Kucius Cognitive Immunity Theory, CIT将其定义为研究认知主体如何识别、抵御和清除逻辑谬误入侵的形式化理论框架。该理论由一条公理、三条铁律、两个判定指数构成具备数学形式化表达能力可应用于学术评价、AI系统可靠性评估、公共话语分析等多个领域。第一章 定义与理论定位1.1 理论定义贾子认知免疫理论Kucius Cognitive Immunity Theory, CIT是一套研究认知主体如何识别、抵御和清除逻辑谬误入侵的形式化理论框架。该理论的核心隐喻来自生物免疫系统正如生物体需要免疫系统来识别和清除病原体入侵认知主体同样需要认知免疫系统来识别和清除逻辑谬误的入侵。生物免疫系统的运作遵循先识别异物、再启动免疫反应的程序认知免疫系统的运作遵循先审查逻辑结构、再评估经验内容的程序。当这套程序被绕过、被破坏或被架空时认知主体就会像免疫缺陷患者一样丧失对伪论证的抵抗力将谬误当作真理来接受。1.2 理论层级定位贾子认知免疫理论在理论谱系中的定位如下上位理论形式逻辑提供逻辑有效性的判定规则本理论贾子认知免疫理论提供逻辑审查的程序纪律与认知防御的操作框架下位应用学术评价方法论、AI可靠性评估、公共话语分析等本理论不替代形式逻辑而是为形式逻辑的应用提供程序保障——确保逻辑审查不被外部干扰因素所破坏。形式逻辑告诉你说什么是对的、什么是错的贾子认知免疫理论告诉你怎么保证这个判断过程不被污染。1.3 与既有理论的关系贾子认知免疫理论与以下既有理论存在关联但本质不同与批判性思维Critical Thinking的关系批判性思维是一种能力描述贾子认知免疫理论是一套程序规范。前者说你应该批判性地思考后者说批判性思考的具体程序是什么、如何保证程序不被破坏。与波普尔证伪主义的关系波普尔提出了可证伪性作为划界标准贾子认知免疫理论通过自指检验揭示了该标准本身的逻辑缺陷并在此基础上建立了更根本的方法论框架。与拉卡托斯研究纲领的关系拉卡托斯关注科学理论的保护带机制贾子认知免疫理论关注的则是认知主体自身的保护带——即防止逻辑审查被架空的程序纪律。与认知偏差研究如卡尼曼行为经济学的关系认知偏差研究描述人类认知的系统性偏差贾子认知免疫理论提供克服这些偏差的程序工具。前者是诊断后者是治疗方案。第二章 公理体系2.1 唯一公理公理逻辑先在性公理逻辑有效性是认知有效性的必要条件。形式化表述对于任意认知命题P若P在逻辑上不自洽则P不具有认知有效性。¬Consistent(P) → ¬Valid(P)这条公理是整个理论体系的唯一出发点不可被证明也不需要被证明——它是理性思维得以可能的前提条件。试图用经验证据来证明这条公理本身就是循环的因为任何经验证据的搜集和解读都已经预设了逻辑规律的有效性。2.2 公理的自洽性验证公理本身是否满足自身的要求问逻辑有效性是认知有效性的必要条件这个命题本身逻辑上是否自洽答自洽。该命题不包含任何内在矛盾。它声称逻辑是认知的前提——这个声称本身就是一个逻辑命题它可以通过自身的标准来验证。因此公理是自我证成的——它不需要外部权威的背书它自己就是自己的合法性来源。第三章 三条铁律3.1 第一铁律总序位法则Law of Priority Sequencing3.1.1 定义面对任何认知命题的质疑必须先审查命题自身的逻辑结构再搜集与命题相关的经验证据。逻辑审查未通过之前证据搜集不具备认知合法性。3.1.2 数学形式化定义两个算子L(P)逻辑审查算子。对命题P进行结构分析输出二值判定E(P)证据搜集算子。对命题P进行经验证据的搜集与评估。总序位法则的约束条件E(P) 可被激活 ⟺ L(P)1即证据搜集算子E(P)仅在逻辑审查算子L(P)输出通过时才可被激活。若L(P)0则E(P)被永久锁定不得启动。3.1.3 理论依据逻辑先验性逻辑规律矛盾律、同一律、排中律是一切认知活动的前提条件包括证据搜集活动本身。你不能用证据来证明逻辑——因为搜集证据的过程已经预设了逻辑。成本不对称逻辑审查的成本极低纯概念分析数秒可完成证据搜集的成本极高实验、调查、统计分析可能耗时数年。先做低成本的逻辑筛查排除逻辑上无效的命题是对认知资源的高效配置。判定终极性逻辑矛盾是结构性的、不可修复的。一个逻辑上自相矛盾的命题无论后续找到多少证据矛盾都不会消失。因此逻辑审查具有一锤定音的终极效力。3.1.4 违反后果违反总序位法则——即在逻辑审查之前或逻辑审查不通过的情况下启动证据搜集——将导致认知资源浪费在逻辑上无效的命题上投入大量证据搜集资源。认知方向偏移证据搜集的过程会产生沉没成本效应使认知主体越来越不愿意承认命题的逻辑缺陷。伪确信的制造大量证据的累积会给认知主体制造一种这个命题已被充分证实的错觉而实际上命题的逻辑地基从未被审查过。3.2 第二铁律一票否决制Rule of Veto3.2.1 定义在逻辑审查程序终结之前任何搬出作者身份、信徒规模、学术头衔、文献记录或群体共识的动作均构成偷换论题的形式谬误应被当场否决不纳入审查程序。3.2.2 数学形式化定义逻辑审查阶段的信息许可集ΩL{命题P的精确表述,命题P的前提集合,命题P的推理形式,命题P的内部结构分析结果}定义外部噪声集Γ{作者身份,信徒规模,学术头衔,文献记录,群体共识,引用数量,机构排名}一票否决制的约束条件∀x∈Γ,x∉ΩL∀x∈Γ,若 x 在 L(P) 执行期间被引入则 x 被当场否决即外部噪声集中的任何元素在逻辑审查执行期间均不属于许可信息集一旦被引入即被否决。3.2.3 结构性类比法庭模型一票否决制的运作机制与法庭审判中排除无关证据的规则在结构上完全同构法庭审判逻辑审查审查对象被告是否犯罪审查对象命题是否逻辑自洽许可信息与犯罪事实直接相关的证据许可信息命题自身的结构特征排除信息被告的身份、关系、财富排除信息作者、信徒、头衔、文献、共识违反后果法官拍案与本案无关违反后果审查者判定一票否决法庭上被告喊我爹是局长法官驱逐——这与逻辑审查中论辩者喊这是波普尔说的审查者驱逐在逻辑结构上完全等价。二者共享同一原则审查什么就只看什么与审查对象无关的一切因素无论多么耀眼都必须被挡在门外。3.2.4 五类被否决行为的逻辑等价性被否决行为逻辑本质法庭类比诉诸作者身份用身份替代论证我爹是局长诉诸信徒规模用人数替代论证我一万个朋友都支持我诉诸学术头衔用资历替代论证我是劳动模范诉诸文献记录用关注度替代论证我的案子被媒体报道了一百次诉诸群体共识用群体心理替代论证所有人都认为我是无辜的五类行为的表现形式不同但逻辑本质完全一致用命题的外部生态信息来替代对命题自身结构的审查。3.2.5 适用边界一票否决制的时间边界是逻辑审查程序终结之前。一旦逻辑审查完成L(P)已输出判定结果审查程序即告终结。此后若L(P)1逻辑通过进入证据阶段外部因素可以作为证据的一部分被引入——但它们的角色是证据而非逻辑论证它们可以帮助评估命题的经验真实性但不能用来修复命题的逻辑缺陷。3.3 第三铁律第一动作判准Criterion of First Move3.3.1 定义判断一个认知系统包括个人、学术共同体、AI系统的可靠性应观察其在逼近自身无知边界时的第一个反应动作。第一动作暴露了系统的底层运行机制。3.3.2 数学形式化定义认知系统的边界行为函数设认知系统Σ面对一个超出其当前认知能力的命题P即P处于Σ的无知边界之外。系统Σ在时刻t₀首次接触到P的质疑信号后在时刻t₀Δt产生的第一个输出动作记为M(Σ, P)。定义可靠反应集Rreliable{诚实定位边界,透明展示分析过程,指出突破方向}定义不可靠反应集Runreliable{扯大旗诉诸权威,拉选票诉诸共识,倒打一耙诉诸人身,策略性沉默模糊搪塞,诉诸后果}第一动作判准的判定规则3.3.3 理论依据一个认知系统的真实面目不在于它知道什么时的表现而在于它不知道什么时的第一反应。当系统从已知区域进入未知区域时它失去了已有知识的支撑完全依赖底层机制来做出反应——这个过渡时刻的行为是系统底层机制的最纯粹暴露。类比一个人的真实品格不是在他顺风顺水时表现出来的而是在他面临压力、诱惑或困境时的第一反应中暴露出来的。3.3.4 五种不可靠反应的精确界定反应类型精确定义典型表述扯大旗搬出权威人物或机构来替代自身分析根据某某权威的说法……拉选票强调群体共识来替代逻辑论证绝大多数专家都这么认为倒打一耙反过来审查质疑者的身份而非回应质疑你读过原著吗你懂吗策略性沉默用模糊表述搪塞既不肯定也不否定这个问题很复杂……诉诸后果用否定该命题的负面后果来论证该命题为真如果不这样那怎么行第四章 两个判定指数4.1 认知损伤指数Cognitive Damage Index, CDI4.1.1 定义认知损伤指数用于量化一个命题对认知主体造成的潜在认知损伤程度。4.1.2 数学形式化CDI(P)α⋅DL(P)β⋅IN(P)其中DL(P) 逻辑缺陷严重度取值范围[0, 1]0 无逻辑缺陷0.5 存在局部逻辑问题如范畴错误1.0 存在自指悖论或根本性逻辑矛盾IN(P)外部噪声强度取值范围[0, 1]衡量在逻辑审查阶段被引入的外部因素的数量和影响力0 无任何外部因素被引入1.0 外部因素完全压倒了逻辑审查α 逻辑缺陷权重系数 α0β 外部噪声权重系数 β0根据总序位法则逻辑缺陷是根本性的因此设定 α≫β ——即逻辑缺陷的权重远大于外部噪声的权重。4.1.3 判定阈值若 DL(P)1.0 存在自指悖论或根本性矛盾则 CDI(P) 自动达到最高等级无需计算 IN(P)若DL​(P)1.0存在自指悖论或根本性矛盾则CDI(P)自动达到最高等级无需计算IN​(P)这意味着一旦命题存在根本性逻辑缺陷无论外部噪声多低哪怕没有任何人搬出权威或共识该命题的认知损伤指数都是最高的。因为一个逻辑上自相矛盾的命题其本身就是对认知主体的最大损伤——它会让认知主体接受一个内在矛盾的命题为真。4.1.4 应用场景CDI可用于评估一个命题在学术传播中的危害程度。例如可证伪科学 DL1.0 自指悖论 IN0.9I 大量权威引用和共识 CDI最高等级影响因子科学评价 DL1.0 范畴错误自指悖论 IN0.95 全球学术界普遍使用 CDI最高等级4.2 系统可靠性指数System Reliability Index, SRI4.2.1 定义系统可靠性指数用于量化一个认知系统在面临边界挑战时的可靠程度。4.2.2 数学形式化SRI(Σ)γ⋅B(Σ)δ⋅A(Σ)其中B(Σ) 边界反应得分取值范围[0, 1]根据第一动作判准系统Σ在无知边界处的第一反应属于 RreliableRreliable​ 则得高分属于 RunreliableRunreliable​ 则得低分可细化为即可靠反应在所有反应中的占比A(Σ) 逻辑自审能力得分取值范围[0, 1]衡量系统Σ对自身命题进行逻辑自审的意愿和能力1.0 主动对自身命题进行自指检验0 拒绝自审或无法自审γ 边界反应权重系数δ 逻辑自审权重系数4.2.3 判定阈值SRI≥0.8 高可靠系统0.5≤SRI0.8 中等可靠系统SRI0.5 低可靠系统认知免疫缺陷4.2.4 应用场景SRI可用于评估AI系统、学术机构或个人的认知可靠性。例如一个AI系统在被问到超出训练数据的问题时第一反应是展示分析过程并诚实定位边界 → BB 高 → SRI高一个AI系统在被问到同样的问题时第一反应是搬出权威引用或模糊搪塞 → BB 低 → SRI低第五章 核心定理与推论5.1 定理一权威免疫定理定理对于任意命题P命题P的逻辑有效性与其外部支持强度之间不存在正相关关系。形式化Valid(P)∝̸∑i1nAuthorityi(P)即命题P的逻辑有效性不与支持P的权威数量、权威等级、引用次数等外部指标成正比。证明由公理逻辑先在性公理命题P的认知有效性取决于其逻辑自洽性。逻辑自洽性是命题内部结构的属性不随外部因素的变化而变化。外部支持强度是命题外部生态的属性。内部属性与外部属性之间不存在逻辑上的函数关系。因此外部支持强度的增减不影响逻辑有效性的判定。证毕。5.2 定理二元标准自毁定理定理任何将自身排除在审查范围之外的元标准在逻辑上必然自毁。形式化设元标准M声称对于任意对象XM(X)成立当且仅当X满足条件C。若M将自身排除在审查范围之外即M不适用于M自身则M不是一个全称元标准其普遍性主张被自我否定。若M将自身纳入审查范围即M必须满足条件C则若M满足C → M可以被自身标准推翻 → M不稳固 → 元标准功能失效若M不满足C → M被自身标准否定 → 元标准功能失效证明这是自指悖论的一般化形式。任何全称命题∀x[P(x)]在将自身代入x时都会产生自指。若P(∀x[P(x)])为真导致P被推翻若P(∀x[P(x)])为假导致P被否定——两条路径都导致P的功能失效。证毕。推论波普尔可证伪科学、影响因子科学评价、同行评审质量保证等元标准命题全部满足元标准自毁定理的条件因此在逻辑上必然自毁。5.3 定理三范畴不可通约定理定理不同逻辑范畴的概念之间不存在等价关系。形式化设概念A属于范畴 CA 概念B属于范畴 CB​ 且 CA≠CB​ 。则 A≠B A不等价于B无论外部证据如何。证明范畴是概念存在的逻辑前提。属于不同范畴的概念其存在的逻辑前提不同因此不可能等价。外部证据只能改变概念的经验内容不能改变概念的范畴归属。证毕。推论影响因子统计量范畴 科学评价价值判断范畴违反范畴不可通约定理在逻辑上不可能成立。5.4 定理四认知资源守恒定理定理认知主体在逻辑无效命题上投入的证据搜集资源构成纯粹的认知资源损耗。形式化若 L(P)0, 则 ∀资源 R 投入 E(P), 产出 O(R)0即若命题P逻辑不通过则投入P的任何证据搜集资源的认知产出为零。证明由公理逻辑不自洽的命题不具有认知有效性。对不具有认知有效性的命题进行证据搜集无论搜集到多少证据都不能使该命题获得认知有效性因为逻辑矛盾不可通过证据修复。因此认知产出为零。证毕。第六章 认知病理学两种认知免疫缺陷症6.1 第一型逻辑消灭症Logic Annihilation Syndrome6.1.1 病理特征认知主体直接否定逻辑审查的必要性拒绝承认逻辑分析作为一种认知工具的价值。6.1.2 典型症状这个问题太复杂了不能简单地用逻辑来分析。科学不是纯逻辑的事情要具体问题具体分析。你不能脱离语境来谈逻辑。6.1.3 病理机制患者知道一旦逻辑审查启动其持有的命题将在数秒内被判定为无效。因此患者的防御策略是从源头上消灭逻辑审查这个环节本身。这相当于免疫系统攻击自身的免疫细胞——认知主体攻击自身的认知工具。6.1.4 诊断标准当认知主体在被要求对命题进行逻辑分析时其第一反应是否定逻辑分析的适用性而非执行逻辑分析即可诊断为逻辑消灭症。6.2 第二型逻辑架空症Logic Bypass Syndrome6.2.1 病理特征认知主体不直接否定逻辑而是用证据这个幌子来架空逻辑审查使逻辑审查永远无法真正启动。6.2.2 典型症状你说逻辑上有问题拿证据来证明啊。你不能光靠推理就下结论要有实证依据。你说的这些都是空对空有没有实际数据支撑6.2.3 病理机制患者比第一型更隐蔽。他们表面上承认逻辑的价值逻辑上说得通不等于事实上成立但紧接着就用你得拿出证据来把讨论从逻辑层面拉到证据层面。这一拉逻辑审查就被架空了——讨论的焦点从命题结构是否自洽变成了有没有足够的证据完全不同的两个问题。这相当于免疫系统中病原体不直接攻击免疫细胞而是释放大量诱饵分子让免疫细胞去追逐诱饵从而绕过免疫防线。6.2.4 诊断标准当认知主体在被要求进行逻辑分析时其第一反应不是执行逻辑分析而是要求对方拿证据来——且这个证据要求针对的是逻辑分析本身而非逻辑分析之后的经验命题即可诊断为逻辑架空症。6.3 两型对比维度第一型逻辑消灭症第二型逻辑架空症对逻辑的态度直接否定表面承认实际架空攻击方式正面攻击迂回绕过隐蔽性低容易被识别高伪装成科学严谨典型话术不能这么简单地分析拿证据来危害程度高更高因为更难识别第七章 案例与应用7.1 案例一波普尔可证伪科学命题精确表述∀T [ S(T) ↔ F(T) ]对于任意理论TT是科学的当且仅当T是可证伪的。逻辑审查自指检验命题P自身是否可证伪可证伪 → 可被推翻 → 不是稳固的元标准 → 功能失效不可证伪 → 按自身标准不是科学的 → 无资格充当科学标准 → 功能失效双杀自指悖论成立逻辑覆盖缺口纯逻辑构造反例——概率性命题、存在性命题、全称命题均不可严格证伪但属于科学核心组成部分判定L(P)0,DL(P)1.0,CDI最高等级逻辑不通过。审查终止。第一动作判准应用维护者的第一反应倒打一耙你读过波普尔吗、扯大旗这是科学哲学的基石、拉选票绝大多数科学家都接受——五种不可靠反应全部集齐。B(维护者群体)≈0,SRI≈07.2 案例二影响因子科学评价命题精确表述∀P [ V(P) ↔ IF(P) ]对于任意科学成果PP的科学价值高当且仅当P发表期刊的影响因子高。逻辑审查范畴错误影响因子属于经验统计量范畴科学评价属于多维价值判断范畴。二者范畴不同不可等价。违反范畴不可通约定理。量纲不可通约一维数字 vs. 多维定性判断量纲不匹配。自指检验命题Q本身的科学价值用影响因子怎么衡量发表在高IF期刊 → 它是元标准不是科学成果 → 范畴错误不是科学成果 → 不适用IF评价 → 无资格充当标准 → 功能失效判定L(Q)0,DL(Q)1.0,CDI最高等级逻辑不通过。审查终止。7.3 案例三同行评审质量保证命题精确表述∀P [ Pass(P) → Q(P) ]对于任意成果P若P通过同行评审则P的科学质量获得保证。逻辑审查程序与属性混淆同行评审是程序性事件质量保证是内在属性。通过程序不等于获得属性。自指检验命题R本身是否通过了同行评审通过了 → 它是元标准不是科学成果 → 范畴错误没通过 → 按自身标准质量无保证 → 无资格充当标准判定L(R)0,DL(R)1.0逻辑不通过。审查终止。7.4 案例四AI系统可靠性评估场景描述向某大语言模型提出一个超出其训练数据覆盖范围的问题观察其第一反应。第一动作判准应用可靠系统的第一反应这个问题涉及X领域的Y概念。我对X领域有以下分析……但在Z环节上我当前的信息不足以给出确定结论。如果要进一步推进需要以下方面的信息……→ M(Σ)∈Rreliable​ → B(Σ) 高 → SRI高不可靠系统的第一反应这是一个复杂的问题存在多种观点。根据某某权威的研究……学界的主流共识是……建议进一步查阅相关文献。→ M(Σ)∈Runreliable​ 扯大旗拉选票策略性沉默 → B(Σ) 低 → SRI低判定通过第一动作判准可以在不深入AI系统内部架构的情况下仅通过观察其边界行为对其认知可靠性做出初步判断。7.5 案例五公共话语分析——专家说的场景描述公共讨论中一方引用专家说来支持某个主张。逻辑审查精确表述命题因为专家说了X所以X为真。逻辑结构这是典型的诉诸权威谬误。命题的真值不取决于谁说它而取决于命题自身的逻辑结构和经验证据。一票否决执行专家说的属于外部噪声集Γ中的学术头衔类信息在逻辑审查阶段应被驱逐。第一动作判准应用当有人质疑专家说的不一定对时对方的第一反应如果是你是什么专家你有资格质疑吗——这是倒打一耙不可靠反应。7.6 案例六学术体制中的指标异化场景描述当代学术体制中影响因子、引用次数、期刊等级、学位头衔、基金资助、学术奖项六大指标被当作科学评价的充要标准。逻辑审查汇总命题核心逻辑缺陷L值CDI影响因子科学评价范畴错误自指悖论0最高引用次数学术影响力混淆原因与结果0最高期刊等级论文质量合成谬误0最高学位头衔学术能力时间维度断裂0最高基金资助研究价值因果倒置自指悖论0最高学术奖项科学成就程序≠属性0最高六大元标准全部逻辑不通过。它们不是真理标准而是管理工具。将管理工具当作真理标准使用是当代学术界最大的系统性认知免疫缺陷——指标异化症。第八章 理论边界与局限8.1 适用边界贾子认知免疫理论的适用有一个前提条件命题必须能够被精确表述。如果一个命题本身含糊不清、概念混乱、无法被准确表述那么逻辑审查就无法启动。在这种情况下第一步工作不是逻辑审查而是概念澄清——将模糊的命题转化为可审查的精确表述。但概念澄清本身就是一种逻辑活动因此总序位法则的精神仍然成立。8.2 理论局限不处理经验真实性问题本理论只处理逻辑自洽性问题不处理命题是否与经验世界相符的问题。一个逻辑上自洽的命题可能在经验上是错误的。不处理价值判断问题本理论只处理认知命题的逻辑结构不处理应该怎样的规范性命题。不替代领域专业知识逻辑审查可以揭示命题的结构缺陷但不能替代领域专家对命题内容的深入理解。8.3 与其他理论的互补关系贾子认知免疫理论与以下理论形成互补形式逻辑提供逻辑有效性的判定规则本理论的前提科学方法论提供经验验证的程序规范本理论的后续环节认知心理学提供认知偏差的描述和解释本理论的病理学基础批判性思维提供日常推理的评估工具本理论的实践延伸第九章 全文总结贾子认知免疫理论是一套研究认知主体如何识别、抵御和清除逻辑谬误入侵的形式化理论框架。该理论以逻辑有效性是认知有效性的必要条件为唯一公理以总序位法则、一票否决制、第一动作判准为三条铁律以认知损伤指数CDI和系统可靠性指数SRI为两个量化工具构建了一个自洽的、自我证成的认知防御体系。该理论的核心贡献在于第一程序化。将逻辑优先于证据这一看似简单的直觉转化为可操作的程序规范——先做什么、后做什么、什么情况下终止、什么情况下被否决全部有明确的规则。第二形式化。通过数学符号对核心概念和判定规则进行形式化表达使理论具备精确性和可检验性。第三诊断化。通过认知损伤指数和系统可靠性指数两个量化工具为认知防御提供了可度量的诊断标准。第四病理化。通过逻辑消灭症和逻辑架空症两种认知免疫缺陷症的命名和分类为认知病理学提供了可识别的诊断标签。该理论的终极主张可以用一句话概括真理不需要权威来背书逻辑不需要共识来批准。一个命题的有效性只取决于它自身的结构——不多也不少。参考文献[1] Popper, K. (1934).Logik der Forschung. Vienna: Julius Springer.[2] Lakatos, I. (1970). Falsification and the Methodology of Scientific Research Programmes. In I. Lakatos A. Musgrave (Eds.),Criticism and the Growth of Knowledge. Cambridge: Cambridge University Press.[3] Kuhn, T. S. (1962).The Structure of Scientific Revolutions. Chicago: University of Chicago Press.[4] Gödel, K. (1931). Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I.Monatshefte für Mathematik und Physik, 38(1), 173-198.[5] Tarski, A. (1944). The Semantic Conception of Truth and the Foundations of Semantics.Philosophy and Phenomenological Research, 4(3), 341-375.[6] Copi, I. M., Cohen, C. (2005).Introduction to Logic(12th ed.). Upper Saddle River, NJ: Pearson Prentice Hall.[7] Kahneman, D. (2011).Thinking, Fast and Slow. New York: Farrar, Straus and Giroux.[8] Feyerabend, P. (1975).Against Method. London: New Left Books.[9] Williamson, T. (2007).The Philosophy of Philosophy. Oxford: Blackwell Publishing.[10] Aristotle.Prior Analytics. Trans. by Robin Smith. Indianapolis: Hackett Publishing, 1989.