逻辑学笔记:对三段论的粗浅认识(六)假言三段论

混合假言三段论有两种有效形式:肯定前件和否定后件。例1:肯定前件两个讲话的官员中,如果第二个官员说真话,那么有一个官员是贪官;第二个官员说真话;所以,有一个官员是贪官。这个例子中,直言命题是对条件命题中的前件进行肯定,结论是对条件命题中的后件进行肯定。具有这种形式的三段论是形式有效的论证。

张嘉鑫|论数据权利的证成与配置

数据确权与否素有争议,数据确权否定论者主要从“数据性质”“数据价值”与“确权弊端”三个方面的理由主张不宜在数据这类生产要素上进行确权。首先,数据不仅不具有排他性与竞争性,也没有特定性、独立性,亦不属于无形物,不能归入民事权利的客体。由于数据财产理论受到客体难以确定的制约,数据保护应当以维护数据的控制...

在今天,理论还能解释现实世界吗?

一个很具象的例子就是经济的不断增长与加速,会对社会动员能力、资源利用效率以及社会群体组织提出水涨船高的要求,这自然会扭曲自然生态空间、人类心理乃至经济本身的正常发展。罗萨认为这种加速带来的负面影响非常难以扭转,因为这会要求增长或加速过快的领域“违逆自身运作模式般的减速下来,以此作为代价”,才能实现社会各...

王浩︱生物学的形式与直觉

在生物学史中,最迷人的直觉与形式融合的案例是孟德尔1866年的著名论文(G.Mendel,Versuche·überPflanzenhydriden,Leipzig:Engelmann,1901;OriginallypublishedinVerhandlungendesNaturforschendenvereinesinBrünn,vol.4,1865,andvol.7,1869),这篇文章与加特纳(C.F.vonG??rtner)在1849...

高中课程指导465:2024年高考语文阅卷心得,评卷教师复盘,极有参考...

比如第8题,文章为何说“放牛给了我一个几近完美的少年时代”,这句话是文中的关键语句,目的是根据原文梳理儿时放牛让我有哪些收获。而有些考生找出的内容和放牛毫无关联。甚至想用“推动故事情节发展”“塑造人物形象”等蒙混过关。再如第9题要求“文末画线的句子表明,作者不愿在回忆往事时为放牛“赋予意义”。

数学悖论系列之六(选择公理的悖论)

第一个定理可以大致表述如下:任意一个包含一阶谓词逻辑与初等数论的形式系统,都存在一个命题,它在这个系统中既不能被证明为真,也不能被证明为假(www.e993.com)2024年11月16日。第二定理:如果系统S含有初等数论,当S无矛盾时,它的无矛盾性不可能在S内证明。哥德尔定理是数理逻辑、人工智能、集合论的基石,是数学史上的一个里程碑。美国著名...

顾忠华 | 巫术、宗教与科学的世界图像——一个宗教社会学的考察

杜克斯主张人类在建构「实在」(Wirklichkeit;reality)时,普遍地会应用一种「主观的逻辑」(subjektivischeLogik),也就是以「行动者」立场去假设一切的现象背后都有发动的主观动机,自然现象亦不例外。这类主观式的因果观,事实上存在于人类认知的深层结构中,而巫术与宗教的「世界图像」,即是此一逻辑的产物,它区隔了...

魏天真|通过法律论证提高裁判的可接受性研究

“p??q”表示一种可废止的规则,相较于传统推理模式中的“p→q”,这种可废止的命题“软化了演绎的必然性,也意味着论证的强度被弱化,只有在没有例外和反驳的情况下才能‘合逻辑’地得到结果”。这更加体现了法学的逻辑是一种应用逻辑。正如上述继承纠纷的示例,大前提为:“被继承人死亡后,没有遗嘱的??按照...

高考倒计时第20天复习计划

三、关注主观题类型信息类文本阅读的主观题,命题的思路各有不同,但命题的类型相对稳定。平时解题时,我们要学会归纳各种类型的主观题,形成规范的解题思路。各种类型的主观题,见本章“信息类文本阅读之简答题探究”一节中的“技法指引”。真题演示典例12023新高考1卷阅读下面的文字,完成下列小题。对素食者...

陈嘉映讲弗雷格|逻辑学|本体论|认识论|索绪尔|维特根斯坦_网易订阅

一个命题中必须有一个专名,这个命题才饱和,才能是真的或假的。"…是圣人"填入"孔子"为真,填入"秦侩"或"4"为假。(也可以说,代入"秦侩"为假,代入"4"无意义。)逻辑学类型的文著通常这样写:"是圣人"对孔子为真,对秦侩为假。"函式"是从数学中借来的,这里的真假概念在数学里也有效,例如,作为一个函式,...