#1 - 2024-4-19 21:11
incontri (我永远喜欢爱丽丝·玛格特罗伊德。)
证实的最致命问题是归纳法,归纳法是不完善的,我们的习惯性联想往往把两件事物联系成因果,实际上这两件事物可能没有因果关系,但相关联的频率多了,我们便以为他们有因果关系。这种因果关系只有或然性(即便这种因果关系的概率很高)而没有必然性,但对于我们而言也就够了。

证伪主义者认为:①己被推翻的经验在未来是不可复现的。②人类所建立的知识必须要变动。这些观点是应该质疑的,我们总结的规律不过是世界中现象的联结,以至于我们无法知道宇宙中是不是真的有一个规律存在,世界究竟是偶然的还是必然的,甚至我们根本就不知道宇宙是不是客观存在的。

无论是证实还是证伪只能当做科学研究的方法决不能当原则,否则就会走向独断论。
#2 - 2024-4-19 21:22
(神は嫌気性だった。)
几万年没看茶话会,看见JK还活着就有种安心感
#3 - 2024-4-19 21:35
(且视他人之疑目如盏盏鬼火,大胆地去走你的夜路。 ...)
不懂你这里的“归纳法”的定义和我理解的有何区别,你说的是否是演绎法?
#4 - 2024-4-19 21:35
(SHAFT系動畫小組 →https://bgm.tv/group/shaft)
拜托大嬸學點命題邏輯吧 別抱著黑鈎念經了
#4-1 - 2024-4-20 06:38
incontri
这是休谟的怀疑论
#4-2 - 2024-4-20 14:49
Nightwing
incontri 说: 这是休谟的怀疑论
你 Humean 因果論也沒讀懂啊 況且已經淘灘了
#4-3 - 2024-4-20 19:52
incontri
Nightwing 说: 你 Humean 因果論也沒讀懂啊 況且已經淘灘了
休谟是说人不可能建立起因果关系。
#4-4 - 2024-4-20 19:53
incontri
incontri 说: 休谟是说人不可能建立起因果关系。
只能建立相关关系。
#4-5 - 2024-4-20 20:11
Nightwing
incontri 说: 只能建立相关关系。
早已過時甚至錯誤的論斷 麻煩還是學點邏輯 (像 #7 講的) 搞懂什麽是論證 也不至於發一些自己也不懂的東西
#4-6 - 2024-4-20 20:13
incontri
Nightwing 说: 早已過時甚至錯誤的論斷 麻煩還是學點邏輯 (像 #7 講的) 搞懂什麽是論證 也不至於發一些自己也不懂的東西
形式逻辑是吧,只管形式不管内容。
#4-7 - 2024-4-21 00:40
Ann
incontri 说: 形式逻辑是吧,只管形式不管内容。
形式逻辑,不是只管形式,不管内容。
以一阶逻辑为例,它就囊括语言(语法),语义,推理系统,以及使用一阶语言的一阶理论。
数学体系的巍巍大厦绝大部分能够构建于通行的ZFC公理化集合论之上。而ZFC就是一阶理论。
#4-8 - 2024-4-21 02:02
Ann
incontri 说: 形式逻辑是吧,只管形式不管内容。
我不太清楚楼主所说的内容是指什么,能不能解答一下?(bgm74)
#4-9 - 2024-4-21 02:35
Ann
incontri 说: 只能建立相关关系。
休谟说,如果否定了归纳原理,就没有相关性。哪怕我们只想要在理论上得到某件事对实际目的来说充分的可能性,也要用到归纳原理。没有归纳原理,一切自然科学都不复存在。归纳原理,本身是既独立于理性思辨,又独立于经验的。
#4-10 - 2024-4-21 02:41
Ann
incontri说:这种因果关系只有或然性(即便这种因果关系的概率很高)而没有必然性,但对于我们而言也就够了。
而且数学上的概率,是Kolmogorov引入的公理化概念(概率测度),本身就依赖ZFC。如果没有一阶逻辑,我不知道楼主在最原来帖子中所说的概率是指什么。(bgm25)
#5 - 2024-4-20 01:42
(如果我们忽略了自己,便无法认识身外的各种事物。)
删除了回复
#5-1 - 2024-4-20 03:23
Ann
删除了回复
#5-2 - 2024-4-20 03:25
Ann
删除了回复
#6 - 2024-4-20 02:05
这句话本身不就是独断论吗?(bgm38)
#7 - 2024-4-20 03:45
(如果我们忽略了自己,便无法认识身外的各种事物。)
Ⅰ)只有在特定的逻辑系统下,我们才能讨论真与假,例如一阶逻辑或命题逻辑。日常语言中的「真」不可被定义。
Ⅱ)在任何逻辑系统中,日常所谓的「因果」被排斥在外。
Imply(→)是一阶逻辑和命题逻辑中的一个逻辑连接词,但它和所谓的因果不同。
Ⅲ)物理学,以及其他自然科学,私以为都是用于解释与预测实验现象的模型。对于某个物理学的理论,我们通常考量的,是它与实验现象的契合程度。
而理论的"可证伪性",是指存在某个实验事实(它可能还没有发生),能够推翻它(违背这个理论的预测)。这表明该理论不成为逻辑恒真式,是由经验总结得来。
通常我们总希望理论是逻辑和谐的,但目前来看并非如此。希尔伯特所提出的23个问题中,第6个就是试图把数学中广泛使用的公理化方法,延展到物理学当中去,让物理学理论有一致性。不过,现在的结果还没有让人满意。(广义相对论和量子场论逻辑不自恰。)
Ⅳ)彻底的怀疑主义也是一种哲学思想,其实也是可以接受的。(bgm105)
#7-1 - 2024-4-20 03:59
Ann
楼主所说的证实,我觉得是在试图检验理论和现实的贴合程度;可证伪,我觉得是在试图判断理论的性质是否为经验的。
不管世界的背后是否真的有一套自己的运作"定律",我觉得,至少尝试着从经验出发去建立理论来解释世界总归是可以的(不管成不成功)。这某种意义上可能是科学的肇始。(事实发现有些地方还是蛮成功的)【在这里我故意避开了休谟】
#7-2 - 2024-4-20 04:06
Ann
前面我的5楼的贴子觉得不堪入目就删了(bgm40)
#7-3 - 2024-4-20 07:20
incontri
所以我说了证实和证伪只能当方法不能当原则,否则就是确立一个脱离人而存在的真理了。
#7-4 - 2024-4-20 10:30
Ann
incontri 说: 所以我说了证实和证伪只能当方法不能当原则,否则就是确立一个脱离人而存在的真理了。
我太不明白楼主所说的真理是什么。我也不知道脱离了逻辑怎么定义真假/真理。(如果采取完全的怀疑论,那么它是排斥逻辑的,自然也排斥了真假。)
逻辑之中是有普遍真理的,自然科学中也有很成功的理论,但是二者跟人都分不开。
#7-5 - 2024-4-22 15:33
thewordfind
首先声明我不是物理学专业,不过从我了解的物理学历史来说,你对物理学的认知可能存在一些值得商榷的地方。

其一实验现象与理论相违背的时候,并非总是会否定理论,更多时候是怀疑实验是否做的正确,这一点如有做理科实验的经验应该很容易理解。实验现象在这里不应该是一个单独的现象,而应该是一个普遍的可复现的现象。其次即使出现了一个与现有理论矛盾的普遍性实验现象也存在着多种可能的解释,并不一定会推翻现有理论,可能仅仅只是在现有理论上打个补丁。而在没有更好的理论出来之前很可能是一直在现有理论上打补丁。这一点可参见光的以太假说的发展。

其二,科学理论不能被简单的视为是从经验总结而来,这种说法有一定的歧义,容易被误解。科学发展有时候是先有理论推导做出全新的预测后面才有实验验证,尤其是现代物理学的发展和其实有时候和数学更相近,从一些假设和基本模型出发去推导大量新的预测。这一点可参见基本粒子的发现历史。
#7-6 - 2024-4-22 17:10
Ann
thewordfind 说: 首先声明我不是物理学专业,不过从我了解的物理学历史来说,你对物理学的认知可能存在一些值得商榷的地方。

其一实验现象与理论相违背的时候,并非总是会否定理论,更多时候是怀疑实验是否做的正确,这一点如有做...
我非常认同这楼的观点,可能是我前面谈的太泛了,会让人误解(bgm43)

如果按休谟(暂且先不管他有没有被淘汰),自然科学从根本上依赖经验,并需要归纳原理让我们能从经验中总结,所以我在前面一直说科学是经验的。这不意味着,数理方法和严密的逻辑在科学中不重要。

为了解释现象,先提出一套数学理论,再实验验证是很常见的。有些基本粒子就是先有量子场论的标准模型SU(3)×SU(2)×U(1),再去实验验证的吧。可惜目前还没有万有理论(bgm24)

有关于光,不管有没有以太,只不过是人类变着法子想理解这样东西罢了,把坏的模型不断地换成更好的模型。所谓波粒二象性,可能只是换成了更数学化的描述(现在的相关理论水应该深的很)。
#7-7 - 2024-4-22 17:31
Ann
thewordfind 说: 首先声明我不是物理学专业,不过从我了解的物理学历史来说,你对物理学的认知可能存在一些值得商榷的地方。

其一实验现象与理论相违背的时候,并非总是会否定理论,更多时候是怀疑实验是否做的正确,这一点如有做...
近代理论物理跟数学根本就分不开。丘成桐先生就证明过广义相对论中的正质量猜想(好像也叫正能量定理anyway)
我也不是学物理的,真正精深的东西一窍不通qaq
https://en.m.wikipedia.org/wiki/Positive_energy_theorem
#8 - 2024-4-21 04:47
(致敬傳奇籃球員牢大)
下一步康德下一步黑格爾下一步實踐