逻辑语义学

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

相关

  • 肿瘤学人体解剖学 - 人体生理学 组织学 - 胚胎学 人体寄生虫学 - 免疫学 病理学 - 病理生理学 细胞学 - 营养学 流行病学 - 药理学 - 毒理学肿瘤学(英:Oncology)是一种研究肿瘤(尤其
  • 高压氧治疗舱高压氧治疗,或简称高压氧,英文:Hyperbaric oxygen therapy (HBOT) ,乃医学上利用高压的氧气来提供治疗的方式。高压氧治疗利用了几个原理:高压氧最主要的治疗适应症包括:以上除一
  • 死光死光(英语:Death Ray),亦作杀人光线(日语:さつじんこうせん)或死亡射线。在一种理论物理学上,利用粒子束或电磁波(包括光)为基础的武器,其高峰研究期位于1920年代到1930年代。当中以尼
  • 胆囊炎胆囊炎(Cholecystitis)是指发生于胆囊的炎症,症状包括右上腹部疼痛、恶心、呕吐、偶有发烧。多半在急性胆囊炎之前会有胆绞痛(英语:Biliary colic)的症状。但胆囊炎造成的疼痛会比
  • 忧郁忧郁(英语:Melancholia,或英语:lugubriousness),一种情绪与心理状态,指一个人呈现哀伤、心情低落的状况,绝望与沮丧为其特色。这是人类正常的情绪之一,但是强烈而长久持续的忧郁情绪,
  • 三日疟原虫Haemamoeba malariae Feletti and Grassi, 1889 Plasmodium malariae var. quartanae Celli and Sanfelice, 1891 Plasmodium malariae quartanae Kruse, 1892 Haemamoeba l
  • 麻风分枝杆菌麻风杆菌也称为韩森氏杆菌,是一种可引起麻风病的分支杆菌,菌体呈短小棒状或稍弯曲,长约2-6µm,宽约0.2-0.6µm,抗酸染色呈红色(抗酸性),革兰氏染色呈阳性,好氧菌。于1873年由挪威医生
  • 青蒿琥酯青蒿琥酯(英语:Artesunate),是用于治疗疟疾的青蒿素类药物之一。于1977由桂林制药厂(现已更名为桂林南药股份有限公司)工程师刘旭合成。青蒿琥酯是青蒿素的半合成衍生物,可溶于水,因
  • 债务债或债务(英语:Debt),可以简单的解释为一个自然人或公司、财团、组织、政府等机构法人亏欠其他个体的东西,可以是金钱,也可以是别的有价物。债务有别于会计意义上的负债(Liabilitie
  • 非有神论非有神论(Nontheism),在现代西方的意思上,是指相对于有神论(特别是一神论)信仰的思维。无神论、不可知论都可以算做是其中一种非有神论的类别,一般是指无宗教信仰的人,但并非无神论