【摘 要】
：
通过对陈述逻辑和谓词逻辑、语法(Syntax)、语意属性(semantics)、真值(truth)、语句(sentences)、和特有名词(proper names)的深入剖析,给出了4个语义真值的定理:句子的语义
【机 构】
：
江南大学人文学院 江苏 无锡 214122江南大学人文学院 江苏 无锡 214122;
论文部分内容阅读
通过对陈述逻辑和谓词逻辑、语法(Syntax)、语意属性(semantics)、真值(truth)、语句(sentences)、和特有名词(proper names)的深入剖析,给出了4个语义真值的定理:句子的语义真值是其真假性;一个复杂表达的语义真值由其中各部分语义真值所决定;替换一个复杂表达其中一部分表达成另外一个具有相同语义真值的表达,该复杂表达的语义真值保持不变;一个特有名词的语义真值就是其指向物体.
其他文献
社区矫正作为一项刑种或者刑法执行的具体措施,其内容与模式在还是受到了刑法基本属性和刑法的适用的目的等因素的限制。目前我国关于社区矫正对象及适用的条件存在的一定的
在复杂的社会形势下,既要充分发挥人民调解工作的优势,又要根据新时期社会矛盾的特点和人民调解中存在的新问题,不断更新工作理念,开拓工作方法,整合系统资源,做好信息研判,
羁押必要性审查制度是新《刑事诉讼法》第九十三条增设的制度。该条文基本对于羁押必要性审查制度的构架进行了初步预设。羁押必要性审查制度的建立并非无本之源,也因其具有
公民政治参与是衡量政治民主化和现代化程度的重要标志.实践证明,有序的政治参与可以维护社会的政治稳定和促进社会的和谐发展.作为一种旨在影响政治决策的政治参与,它的运行
马新白萍红摘要市场经济本身就是法治经济,是从法律的角度上对经济进行描述,它是构建现代市场经济的法律体系核心思想。,市场经济必须在法制建设基础上运行,如果法治不健全,
采用BT方式建设,国家的法律层面现还没有相关规定,只有建设部和发改委等行政部门的一些规章。各地政府也根据具体情况对BT建设模式制订地方法规加以规范约束。BT建设模式的法
我国法律对逮捕批准及决定权与逮捕执行权作了明确的分离规定,但又规定有逮捕执行权的公安机关拥有部分逮捕变更权,却未建立对该部分逮捕变更权的有效监督制约制度,导致逮捕
八国集团作为传统的国际金融治理中心,曾对国际关系产生了深刻的影响.随着2008年金融危机的爆发,传统的金融治理机制失灵,八国集团逐渐边缘化.与此同时,适应国际金融治理新模
文化干部作为服务于生产生活一线的广大干部职工和劳动群众,为这些群众和干部提供精神文化食粮的一线工作者,是构建社会主义和谐社会,是繁荣有中国特色的社会主义文化的重要
阳光是万物生长的能量源泉,心灵生长也需要阳光。能播撒阳光的教师不仅仅要有灿烂的微笑、干净的仪表、朝气蓬勃的形象,还必须要具备阳光的心态、不竭的创新魅力、正确的价值