搜索结果

跳转到导航 跳转到搜索
查看(上20条 | )(20 | 50 | 100 | 250 | 500

页面标题匹配

  • | name = 邏輯哲學論<br>{{small|Logisch-Philosophische Abhandlung}}<br>{{small|(Tractatus Logic …。维特根斯坦的著名的文笔风格——他表达自身的绝对冷静和简洁的方式——是从他所崇拜的德国逻辑学家和哲学家[[弗雷格]]的哲理散文中铸就而来。在他的《[[哲学评论]]》中,他写道:“我的句子的风格受到弗雷格的非常强烈的影响。并且如果我想要的话,我能在没有人能第一眼就辨别的地方察觉到这种强烈的影响。” …
    14 KB(470个字) - 2023年10月19日 (四) 15:06
  • 2 KB(110个字) - 2024年4月13日 (六) 15:10
  • '''哲学家就餐问题'''({{lang-en|Dining philosophers problem}})是在[[计算机科学]]中的一个经典问题,用来演示在[[ …机科学家[[艾兹赫尔·戴克斯特拉]]提出了一个同步问题,即假设有五台计算机都试图访问五份共享的磁带驱动器。稍后,这个问题被[[東尼·霍爾]]重新表述为哲学家就餐问题。这个问题可以用来解释[[死锁]]和资源耗尽。<ref>{{cite EWD|1000}}</ref><ref name="formaliza …
    9 KB(346个字) - 2024年10月12日 (六) 13:09

页面内容匹配

  • * [[形式 (哲學)]] …
    412字节(8个字) - 2022年5月31日 (二) 19:19
  • 牛顿在發表於1687年7月5日的鉅著《[[自然哲学的数学原理|自然哲學的數學原理]]》裏首先整理出這三條定律。應用這些定律,牛頓可以分析各種各樣動力運動。例如,在此書籍第三卷,牛頓應用這些定律與[[牛顿万有引力定律|牛頓萬 …
    1 KB(12个字) - 2013年1月10日 (四) 08:31
  • '''认识逻辑'''是关心与[[知识]]有关的推理的[[模态逻辑]]子领域。([[知识论|认识]]这个词的希腊语是 Episteme)。它应用于[[哲学]]、[[计算机科学]]、[[人工智能]]和其他领域。 * [http://plato.stanford.edu/entries/logic-epistemic/ 斯坦福哲学百科全书条目]{{Wayback|url=http://plato.stanford.edu/entries/logic-epistemic/ |dat …
    2 KB(68个字) - 2021年5月17日 (一) 19:08
  • 在[[逻辑学]]中,'''反例'''是相对于某个[[全称命题]]的概念。反例在[[数学]]、[[哲学]]和[[自然科学]]中都有重要的应用。举例来说,对一个命题:所有的[[天鹅]]都是白色的。这是一个全称命题,声明对于某类事物全体(所有的天鹅),都有某 === 哲学里的应用 === …
    5 KB(69个字) - 2022年12月2日 (五) 08:44
  • '''物质'''({{lang-en|matter}})具有科学上和哲学上的双重含義,尽管哲学对物质的解释早于科学,一般均以科学含义解释。在[[经典物理学]]和[[化学]]中,物质是任何有[[质量]]且通过[[体积]]来占据空间<ref name }}</ref>。在[[自然科學]]的歷史中,許多人都在研究物質的確切性質,物質是由許多離散組件組合而成的概念,即所謂的「物質粒子論」,最早是由古希臘哲學家[[留基伯]]及[[德谟克利特]]提出<ref>{{cite book …
    6 KB(416个字) - 2025年3月13日 (四) 12:21
  • ==哲学观点== …
    3 KB(118个字) - 2023年2月24日 (五) 01:21
  • '''哲学家就餐问题'''({{lang-en|Dining philosophers problem}})是在[[计算机科学]]中的一个经典问题,用来演示在[[ …机科学家[[艾兹赫尔·戴克斯特拉]]提出了一个同步问题,即假设有五台计算机都试图访问五份共享的磁带驱动器。稍后,这个问题被[[東尼·霍爾]]重新表述为哲学家就餐问题。这个问题可以用来解释[[死锁]]和资源耗尽。<ref>{{cite EWD|1000}}</ref><ref name="formaliza …
    9 KB(346个字) - 2024年10月12日 (六) 13:09
  • 本文涉及到一些问题所延伸的哲学讨论请参见下列二者: {{哲學邏輯}} …
    3 KB(116个字) - 2022年3月21日 (一) 12:35
  • …es'''}}),是一条[[本体论 (哲学)|本体论的]]原理(principle),它是指如果两个[[实体]]或[[客体]]有完全相同的[[性质 (哲学)|性质]],那么它们必然不可区分。用符号语言表达为:实体 ''x'' 与 ''y'' 等同,仅当 ''x'' 的所有{{tsl|en|predicat 德国哲学家[[戈特弗里德·莱布尼茨|戈特弗里德·莱布尼茨]]为不可分者同一性原理提供了一种形式。但是,后人对他的解释不同:有人说,莱布尼茨只认为同一者有不可分性 …
    12 KB(603个字) - 2023年2月15日 (三) 05:09
  • [[哲學]]中,'''隨附性'''是指[[性質]]與[[集合]]間的依存关系。根據標準的定義,一個由[[性質]]所構成的集合A和一個由性質所構成的集合B之間具有 [[Category:心灵哲学概念]] …
    4 KB(122个字) - 2023年8月16日 (三) 11:49
  • 在[[逻辑哲学论]]中,[[维特根斯坦]]通过使用术语“概念文字”作为逻辑形式主义的同义词来表达对弗雷格的敬意。 "如果哲学的任务是打破言辞在表达人类思想上的统治[...],那么我的概念记号,就是为这个目的而开发的,它能够成为哲学家的有用的工具[...]我认为,只是通过发明这些概念记号,逻辑的本质(matter)就已经被促进了(forward)。" …
    7 KB(421个字) - 2022年12月21日 (三) 12:38
  • 数学与[[哲学家]]{{Translink|en|Alex Bellos|亞歷克斯·貝洛斯}}在2014年提议,最小的无趣自然数可以是[[247]],因为当时它是「( …
    1 KB(80个字) - 2022年12月11日 (日) 14:12
  • …分[[知識]]、[[證明]]或[[論證]]的類型。先驗知識是獨立於經驗的知識。例子包括[[數學]]{{NoteTag|一些[[聯想心理學|聯想主義]]哲學家認為數學來自經驗,而不是任何先驗知識的形式。{{sfn|Macleod|2016}}}}、[[重言式]]和出自純粹理性({{lang-en|pure …age/439 439]}} 這兩個術語主要用作名詞“知識”(即“先驗知識”)的[[定語]]。先驗也可用於修飾其他[[名詞]],例如“[[真理]]”。哲學家也會使用先驗性(英語:apriority、apriorist 或 aprioricity)作為名詞,指代先驗的[[品質]]。<ref>{{harvnb …
    10 KB(444个字) - 2023年7月1日 (六) 16:38
  • 埃廷斯豪森在维也纳时期早期研究[[哲学]]和[[法律哲学]]。在1817年,他进入[[维也纳大学]]讲授数学和物理。在1819年,他获得[[因斯布鲁克大学]]的物理学教授身份,并于1821年获得[[维也纳大学 …
    4 KB(190个字) - 2024年1月9日 (二) 03:52
  • ==== 東方哲學 ==== …
    3 KB(101个字) - 2024年1月23日 (二) 08:31
  • | name = 邏輯哲學論<br>{{small|Logisch-Philosophische Abhandlung}}<br>{{small|(Tractatus Logic …。维特根斯坦的著名的文笔风格——他表达自身的绝对冷静和简洁的方式——是从他所崇拜的德国逻辑学家和哲学家[[弗雷格]]的哲理散文中铸就而来。在他的《[[哲学评论]]》中,他写道:“我的句子的风格受到弗雷格的非常强烈的影响。并且如果我想要的话,我能在没有人能第一眼就辨别的地方察觉到这种强烈的影响。” …
    14 KB(470个字) - 2023年10月19日 (四) 15:06
  • == 宇宙哲学争论 == …
    5 KB(166个字) - 2023年12月4日 (一) 14:36
  • '''罗素悖论'''({{lang-en|Russell's paradox}}),是[[英國]]哲學家[[伯特兰·罗素]]於1901年提出的[[悖论]],是一个关于[[类 (数学)|类]]的内涵问题。 …ish”是真实且非自相矛盾的带有自指的陈述),但自指是悖论的一个常见要素。根據[[路德维希·维特根斯坦|路德維希·維根斯坦]]的《[[逻辑哲学论|邏輯哲學論]]》,任何命題不能包含自身,同理一個函數不能包含自身。 …
    4 KB(269个字) - 2024年8月6日 (二) 00:17
  • 在使用[[造父變星]]測量距離的歷史上,這不單純是一個哲學上的爭論。在1950年代,[[沃爾特·巴德]]發現在較近的距離內,被用於校對標準燭光的的造父變星,與用於測量鄰近星系距離的造父變星是不同型態的。鄰近的造 …
    4 KB(177个字) - 2024年9月12日 (四) 08:46
  • …math>\Leftrightarrow</math>。与一般的[[邏輯或非]]NOR不同,當兩兩數值相同為是,而數值不同時為否。在[[数学]]、[[哲学]]、[[逻辑学]]以及其他一些技术性领域中被用来表示“在这个条件成立,并且仅在这个条件成立时”之意。-{zh-tw:若; zh-cn:当; zh-hk 这里的区别非常容易混淆,已经使得很多哲学家迷惑。当然,在“<math>p</math>逻辑等价于<math>q</math>”时,“当且仅当<math>p</math>则<math>q</ma …
    7 KB(371个字) - 2024年5月30日 (四) 13:39
查看(上20条 | )(20 | 50 | 100 | 250 | 500