类别档案：类比

范畴理论先驱综述•5

发布时间： 2024年5月24日 通过 乔恩·奥布里

几年前，我开始写一篇关于“范畴理论的先驱”的素描，追溯范畴概念从亚里士多德到康德和皮尔斯，再到希尔伯特和阿克曼，再到当代数学实践的连续性。关于…的资源调查…继续阅读→

发布于 抽象,阿克曼,类比,亚里士多德,C.S.皮尔斯,卡纳普,范畴理论,图表,数学基础,功能逻辑,希尔伯特,数学史,实体抽象,康德,逻辑,数学,皮尔斯,命题作为类型类比,关系理论,莱恩,符号学,类型理论,普遍性 | 已标记 ,,,,,,,,,,,,,,,,,,,,,, | 6条意见

范畴理论先驱综述•4

发布时间： 2023年8月1日 通过 乔恩·奥布里

几年前，我开始写一篇关于“范畴理论的先驱”的素描，追溯范畴概念从亚里士多德到康德和皮尔斯，再到希尔伯特和阿克曼，再到当代数学实践的连续性。关于…的资源调查…继续阅读→

发布于 抽象,阿克曼,类比,亚里士多德,C.S.皮尔斯,卡纳普,范畴理论,图表,数学基础,功能逻辑,希尔伯特,数学史,实体抽象,康德,逻辑,数学,皮尔斯,命题作为类型类比,关系理论,莱恩,符号学,类型理论,普遍性 | 已标记 ,,,,,,,,,,,,,,,,,,,,,, | 1条评论

功能逻辑•查询和类比•21

发布时间： 2023年7月19日 通过 乔恩·奥布里

查询和类比•广义归纳算子为了更好地处理高阶命题的空间，并继续开发量化理论的函数方法，我们需要一些专门的工具。首先，我们定义一个…继续阅读→

发布于 绑架,类比,参数,亚里士多德,C.S.皮尔斯,约束,演绎,确定,图解推理,图表,微分逻辑,功能逻辑,假设,指示,归纳,推断,问询处,查询,逻辑,科学的逻辑,数学,语用符号学信息,可能推理,命题微积分,提议,推理,逆推法,符号学,签署关系,三段论,三位一体关系,可视化 | 已标记 ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, | 2评论

功能逻辑•查询和类比•20

发布时间： 2023年7月18日 通过 乔恩·奥布里

探究和类比•高阶命题在量化理论中的应用表21提供了本节中讨论的关系的缩略图。资源逻辑教学大纲布尔函数布尔值函数逻辑连接最小否定运算符查询介绍…继续阅读→

发布于 绑架,类比,参数,亚里士多德,C.S.皮尔斯,约束,演绎,确定,图解推理,图表,微分逻辑,功能逻辑,假设,指示,归纳,推断,问询处,查询,逻辑,科学的逻辑,数学,语用符号学信息,可能推理,命题微积分,提议,推理,逆推法,符号学,签署关系,三段论,三位一体关系,可视化 | 已标记 ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, | 2评论

功能逻辑•查询和类比•19

发布时间： 2023年7月17日 通过 乔恩·奥布里

探究与类比•高阶命题在量化理论中的应用反映了一个主题在各个方面和各个角度的转变，因此它的任何重要内容都不应被忽视——几乎就像人们可能会说的那样…继续阅读→

发布于 绑架,类比,参数,亚里士多德,C.S.皮尔斯,约束,演绎,确定,图解推理,图表,微分逻辑,功能逻辑,假设,指示,归纳,推断,问询处,查询,逻辑,科学的逻辑,数学,语用符号学信息,可能推理,命题微积分,提议,推理,逆推法,符号学,签署关系,三段论,三位一体关系,可视化 | 已标记 ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, | 2评论

功能逻辑•查询和类比•18

发布时间： 2023年7月16日 通过 乔恩·奥布里

探究与类比•高阶命题在量化理论中的应用上次我们采用了一种传统上称为“反对方”的量化命题形式的四重方案，将其与四个高阶命题联系起来…继续阅读→

发布于 绑架,类比,参数,亚里士多德,C.S.皮尔斯,约束,演绎,确定,图解推理,图表,微分逻辑,功能逻辑,假设,指示,归纳,推断,问询处,查询,逻辑,科学的逻辑,数学,语用符号学信息,可能推理,命题微积分,提议,推理,逆推法,符号学,签署关系,三段论,三位一体关系,可视化 | 已标记 ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, | 2评论

功能逻辑•查询和类比•17

发布时间： 2023年7月15日 通过 乔恩·奥布里

探究与类比•高阶命题在量化理论中的应用我们对高阶命题不断扩展的前景的探索已经到了可以开始开拓量化逻辑新视角的地步…继续阅读→

发布于 绑架,类比,参数,亚里士多德,C.S.皮尔斯,约束,演绎,确定,图解推理,图表,微分逻辑,功能逻辑,假设,指示,归纳,推断,问询处,查询,逻辑,科学的逻辑,数学,语用符号学信息,可能推理,命题微积分,提议,推理,逆推法,符号学,签署关系,三段论,三位一体关系,可视化 | 已标记 ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, | 2评论

功能逻辑•查询和类比•16

发布时间： 2023年7月13日 通过 乔恩·奥布里

查询和类比•将存在解释扩展到量化逻辑我们拥有的资源之一是基于C.S.皮尔士逻辑图的形式演算。现在，我们将采用该演算的存在论解释，修正…继续阅读→

发布于 绑架,类比,参数,亚里士多德,C.S.皮尔斯,约束,演绎,确定,图解推理,图表,微分逻辑,功能逻辑,假设,指示,归纳,推断,问询处,查询,逻辑,科学的逻辑,数学,语用符号学信息,可能推理,命题微积分,提议,推理,逆推法,符号学,签署关系,三段论,三位一体关系,可视化 | 已标记 ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, | 2评论

功能逻辑•查询和类比•15

发布时间： 2023年7月12日 通过 乔恩·奥布里

查询和类比•量度换量度让我们通过以下等式定义两组量度：表14显示了16个布尔函数中每个函数的值…继续阅读→

发布于 绑架,类比,参数,亚里士多德,C.S.皮尔斯,约束,演绎,确定,图解推理,图表,微分逻辑,功能逻辑,假设,指示,归纳,推断,问询处,查询,逻辑,科学的逻辑,数学,语用符号学信息,可能推理,命题微积分,提议,推理,逆推法,符号学,签署关系,三段论,三位一体关系,可视化 | 已标记 ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, | 2评论

功能逻辑•查询和类比•14

发布时间： 2023年7月11日 通过 乔恩·奥布里

探究和类比•归纳运算符类型度量提供了一系列关于二维话语宇宙的命题的强大命题。早期标准排序中的条目定义的宇宙太无定形，无法让我们久留…继续阅读→

发布于 绑架,类比,参数,亚里士多德,C.S.皮尔斯,约束,演绎,确定,图解推理,图表,微分逻辑,功能逻辑,假设,指示,归纳,推断,问询处,查询,逻辑,科学的逻辑,数学,语用符号学信息,可能推理,命题微积分,提议,推理,逆推法,符号学,签署关系,三段论,三位一体关系,可视化 | 已标记 ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, | 2评论