逻辑语义学

✍ dations ◷ 2025-10-08 18:42:51 #逻辑语义学
我们在论证中可能遇到的各种句子/判决的有效性条件依赖于它们的意义,所以负责任的逻辑学家不能完全避免提供某种处理这些句子的意义的需求。逻辑的语义指称逻辑学家已经介入来理解和确定他们感兴趣的意义部分的方式;逻辑学家在传统上只对是命题的句子感兴趣,它是适合逻辑操纵的理想的句子。直到现代逻辑出现之前,亚里士多德的工具论特别是解释篇,提供了理解逻辑意义的基础。量化的介入需要解决多重普遍性问题,表现出了亚里士多德的逻辑所支配的主词-谓词分析不能处理的那些种类,尽管对词项逻辑的兴趣正在复兴,尝试找到符合亚里士多德三段论精神并且使用基于量词的现代逻辑一般性的演算。形式语言的主要现代方式如下:

相关

  • 单细胞生物生物可以根据构成的细胞数目分为单细胞生物和多细胞生物。单细胞生物只由单个细胞组成,而且经常会聚集成为细胞集落。单细胞生物能独立完成新陈代谢及繁殖等活动。地球上最早
  • 巨人症巨人症,亦称为巨大症,是一种疾病,表现为过度生长且其身高明显高于人类平均身高。该疾病是由于人类在童年时期生产过多的生长激素,使得患者身高异于常人,达2.13米(7.0英尺)至2.74米(9
  • CATC代码C(心血管系统)是解剖学治疗学及化学分类系统的一个分类,这是由世界卫生组织药物统计方法整合中心(The WHO Collaborating Centre for Drug Statistics Methodology)所制定
  • 抑菌药抑菌药(英语:bacteriostatic agent/drug)是指具有抑制细菌繁殖药效的抗菌药物。与抑菌药相对的一个概念是杀菌药,即能起杀灭细菌作用的抗菌药物。不过抑菌药与杀菌药并非严格对
  • 神经元神经元(英语:neuron),又名神经原或神经细胞(英语:nerve cell),是神经系统的结构与功能单位之一。神经元能感知环境的变化,再将信息传递给其他的神经元,并指令集体做出反应。神经元占了
  • 后述心电图(Electrocardiography、ECG 或者 EKG)是一种经胸腔的以时间为单位记录心脏的电生理活动,并通过皮肤上的电极捕捉并记录下来的诊疗技术。这是一种无创性的记录方式。Elect
  • 静电除尘静电除尘(Electrostatic precipitator,ESP),简称“电除尘”,即利用静电吸引轻小物体的性质,利用静电吸附工业粉尘。在鞍钢等大型工厂都采用这种废气处理方式。与湿式洗涤器相反:
  • 萨利纳岛萨利纳岛(Salina)是意大利南部西西里岛北侧伊奥利亚群岛中的一个岛屿,也是该群岛中的第二大岛。目前岛上大约有4,000居民。坐标:38°33′55″N 14°50′00″E / 38.56528°N 14.
  • 派地亚派地亚(英语:Paideia)古典希腊与希腊化文化的教育和训练体系,包括体操、语法、修辞、音乐、数学、地理、自然史与哲学等课程。在早期基督教时代,又称为人文学,成为基督教高等学府
  • 第一批异形词整理表《第一批异形词整理表》,是中华人民共和国教育部、国家语言文字工作委员会于2001年12月19日发布,2002年3月31日试行的“规定了普通话书面语中异形词的推荐使用词形”的规范。