首页 >
逻辑语义学
✍ dations ◷ 2025-04-25 01:21:49 #逻辑语义学
我们在论证中可能遇到的各种句子/判决的有效性条件依赖于它们的意义,所以负责任的逻辑学家不能完全避免提供某种处理这些句子的意义的需求。逻辑的语义指称逻辑学家已经介入来理解和确定他们感兴趣的意义部分的方式;逻辑学家在传统上只对是命题的句子感兴趣,它是适合逻辑操纵的理想的句子。直到现代逻辑出现之前,亚里士多德的工具论特别是解释篇,提供了理解逻辑意义的基础。量化的介入需要解决多重普遍性问题,表现出了亚里士多德的逻辑所支配的主词-谓词分析不能处理的那些种类,尽管对词项逻辑的兴趣正在复兴,尝试找到符合亚里士多德三段论精神并且使用基于量词的现代逻辑一般性的演算。形式语言的主要现代方式如下:
相关
- 路易斯·巴斯德路易·巴斯德(法语:Louis Pasteur,发音:.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Code2000","Gen
- 增长的极限《增长的极限》是罗马俱乐部于1972年发表的、对世界人口快速增长的模型分析结果。丹尼斯·米都斯(Dennis L. Meadows)主笔。这本书用World3模型对地球和人类系统的互动作用进
- 电台电台在美国依然是一种主要的大众媒体。和大多数其他国家的电台发展史不同,美国的电台在历史上的发展主要依靠那些依赖商业广告赞助为生的盈利性电台。美国政府没有拥有一个播
- 波多黎各面积以下资讯是以2015年估计国家领袖国内生产总值(购买力平价) 以下资讯是以2016年估计国内生产总值(国际汇率)人类发展指数 以下资讯是以2014估计波多黎各自由邦(英语:The Common
- 垃圾食物垃圾食品(英语:Junk Food,或称垃圾食物)是指被认为不健康的食品,WHO所提示的不健康食品是以比较的方式呈现,比如高能量且高蔗糖高脂肪的饮食比低能量饮食(比如水果或蔬菜)不健康;每日
- 色胺色胺是一种见于植物、动物和真菌的单胺生物碱,含有一个吲哚核,结构与色氨酸类似(缺一个羧基)并因此得名。它以痕量存在于哺乳动物脑中,有认为是起神经调质和神经递质的作用。色胺
- 牛乳牛乳,俗称牛奶,是最古老的天然饮料之一。顾名思义,牛乳是牛的乳汁。在不同国家,牛乳也分有不同的等级,目前最普遍的是全脂、高钙低脂及脱脂牛乳。美国将牛乳按照脂肪含量分为五类
- 犹太-罗曼语支犹太-罗曼语是由罗曼语言转化而来,它仍在某些犹太人群中使用,并且为了获得作为一门语言的认同,它演变为现在的形式,成为了数量众多的犹太语中的一种。加泰罗尼克语,或称犹太-加泰
- 五苓散五苓散,一方出自《伤寒论》,是祛湿剂中利水渗湿的方剂。有利水渗湿、温阳化气、外散表邪的功效。可用来主治:伤寒太阳蓄水证以及水湿内停之水肿。见有症状:小便不利,头痛微热,烦
- 主线在字体排版学中,主线(英语:Mean Line,也称英语:Waist Line)指的是决定无升部的小写字母字体大小的一条线,其与基线的距离称为x字高。有些圆弧的字母在某些字体中会些微超过主线的范