- 客体说形式逻辑语用学浅析
- 为了达到确定的目的，在一门科学中采用不同于自然语言的人工符号标志的系统称为符号语言。各门科学（如数学、物理、化学等）都有适合于自己的特殊的符号语言。符号语言的使用由来已久。在亚里士多德的逻辑学中已经开始使用人工符号，但亚...
- 马赛
- 关键词：命题逻辑语用功能符号语言
- 文献传递
- 管窥充分条件假言命题
- 2009年
- 数理逻辑干扰了传统逻辑,传统逻辑中的充分条件假言命题受此影响也发生了变化,特别是真值表的引入,改变了充分条件假言命题的真假的判断标准,还影响到它的定义。而数理逻辑中的充分条件假言命题实际上是实质蕴涵命题,而只有到了制约逻辑,充分条件假言命题才得以刻画清楚。
- 马赛胡红
- 关键词：假言命题形式逻辑数理逻辑制约逻辑
- 浅谈充分条件假言命题
- 2008年
- 一、自然语言转化为逻辑语言每一门学科都有自己的特殊的语言,逻辑也不例外,拥有自己的语言,一是显得专业,二是便于研究。这就涉及到怎样把人们所说的自然语言转化为逻辑语言,关于这个,形式逻辑叫做形式化,数理逻辑叫做符号化,制约逻辑叫做制约逻辑语用学。虽然说的都是一回事,但是各有各的规定。
- 马赛
- 关键词：逻辑语言命题形式金岳霖复合命题《墨经》归谬
