上一页

ⓘ 陈述




陈述
                                     

ⓘ 陈述

陈述 可以指:

  • 陈述 演员(1920年-2006年),中国电影演员.
  • 一种语言表达(语言学). (A language expression language))
  • 陳述 史學家(1911-1992),中國遼金史學家、北方民族史專家.
  • 陈述 程式. (Statement of program)
  • 陈述 逻辑. (Statement logic)
  • 陈述 音乐制作人知名音乐制作人。. (Statements the music producer famous music producer)
                                     
  • 我们也可以认为一 陈述 必须被另一 陈述 支持这一假设是误导的 这样就可以避免走入后推的怪圈 连贯主义认为一 陈述 不可以被其他知识的一个小小子集而证实 而应该被整个集合证实 也就是说 一个命题如果与这个系统中所有知识相统一 就可以说它被证实了 这既避免了后推的怪圈 也不用特别指出某一 陈述 的特殊地位 有些 陈述
  • 证明系统形成自一组规则 它们可以被链接在一起形成证明或推导 任何推导都只有一个最终结论 它是要证明或推导的 陈述 如果在推导中留下了未满足的前提 则推导就是假言 陈述 如果前提成立 那么结论成立 在规则的集合中 一个推理规则可能是多余的 在它是 可接纳的 或 可推导的 的意义上 一
  • 缺席审判 trial in absentia 或称为缺席判决 指当事人和代理人未出席审判 且未 陈述 意见的审判 在英文中 缺席审判被称为 Trial in absentia 其中 in absentia 是拉丁文 缺席 的意思 在英美法系 这个词汇不仅是一个空间的描述 并暗示侵犯了被告在犯罪审判
  • 陈述 例如: 所有人都是必死的 苏格拉底是人 苏格拉底是必死的 在上面的论证中 尽管前提 1 是直言的 前提 2 却是提及一个个体的单称 陈述 尽管这是一个有效的逻辑形式 它却不是严格的直言三段论 当然 曾经建议你把任何单称 陈述 都转换成直言的 例如: 苏格拉底是人
  • 陈述 性记忆 英語 Explicit memory 是一種有意識的 對先前經驗的回憶 跟內隱記憶不同 有時也會被稱為是一種 陳述 性記憶 跟它相對的 稱為內隱記憶 是一種無意識的 與程序動作有關的記憶 舉例來說 記住如何駕駛的課程 是一種外顯記憶 但是在接受完這系統課程後進行練習 最終使駕駛技巧精進 則是一種內隱記憶
  • 陈述 的条件 陈述 与实质条件 陈述 不同 反事实条件可以为假即使它的前件为假 在自然语言中的 如果 - 那么 的意思不是总能正确的用实质条件所形式化 特别是 实质条件总是真的 只要它们的前件为假 而在自然语言中的 如果 - 那么 陈述 是直陈条件 可以在这种情况下为假 例如 陈述
  • 那么形式化的关系 当这种关系是某种间接关系的时候 很多形而上学的问题就又卷土重来了 最后 尽管逻辑实证主义允许科学中包含逻辑上必要的 陈述 然而逻辑实证主义本身对这些 陈述 的处理方式却饱受质疑 艾耶尔著 尹大贻译 2006 语言 真理与逻辑 上海译文出版社 Ayer, A.J., 1971, Language
  • 陈述 这个例子是亚里士多德给出的经典的 Barbara 三段论 如果所有人 M 都是必死的 P 大前提 并且所有希腊人 S 都是人 M 小前提 那么所有希腊人 S 都是必死的 P 结论 如 所有人都是必死的 普遍原理 苏格拉底是人 特殊 陈述
  • 中 可能的 称述被称为在 至少一个 可能世界中为真 而 必然的 陈述 被称为在 所有的 可能世界中都为真 真 陈述 至少在 这个 世界中为真 在 实际 世界中 所以通过这些定义 所有必然性 陈述 都可以当作可能性 陈述 当然也是真 陈述 可能世界语义经常用做克里普克语义的同义语 但这普遍的被认为是
  • 布尔逻辑原指十九世纪英国数学家乔治 布尔发明的直言三段论逻辑系统 他尝试结合 空集 就是说不存在的实体的类 比如圆四边形 而不求助于不可确定的真值 在布尔逻辑中 全称 陈述 所有 S 都是 P 和 没有 S 是 P 在亚里士多德方案中是不同真的 在假定 S 的集合是空集的时候是可共存的 所有 S 都是 P 被解释为意味着 没有东西既是

用户还搜索了:

...
...
...