它是指人们在日常生活中
所谓自然语言, 又可称日常语言, 它是指人们在日常生活中、在一定的语言范围中所使用的某种民族语, 英语、汉语、法语等民族语均是自然语言。人工语言则是指人们根据特殊需要而自觉创造的符号或符号体系, 其根本属性是人工制造。人工语言可有广义与狭义之分, 广义的人工语言泛指一切人为地创造的各种作为交际与思维工具的符号, 信号灯、旗语、通讯电码、手势、科学理论上的各种符号、公式等等均可以属于其中; 狭义的人工语言则专指数学与逻辑学科等构造的形式化语言, 它实际上是借助于一些特制的人工符号应用于演绎体系以使其严格化的一套程序或方法, 一个形式化语言其实质也就是一个形式系统。我们在这里讲的主要是指狭义的人工语言。
无论是自然语言还是人工语言, 它们都具有符号性与指谓性两个基本特征。
语言的符号性是与语言系统中的基本符号与语形规则相关的, 语言的指谓性则是与语义规则相关的。
除了符号性与指谓性这两个共同特点, 从逻辑的角度来看, 自然语言与人工语言各有其不同的特点。
它的主题与形式逻辑紧密相联
英国牛津大学讲师沃尔夫拉姆的《哲学逻辑导论》, 在该书的引言中, 沃尔夫拉姆也谈到了他对哲学逻辑的看法。他认为, 逻辑是关于正确与非正确推理的研究, 逻辑要研究是什么使得一个论证一致或不一致、有效或无效、完善或不完善, 所以, 逻辑有两个分支, 即形式逻辑和哲学逻辑。形式逻辑主要包括命题演算与谓词演算, 其任务就是从公理出发, 对论证进行分析并提供对其一致性和有效性的检验。哲学逻辑则可以被认为是关于论证、意义与真理的研究, 它的主题与形式逻辑紧密相联, 但其研究对象则不同, 它不像形式逻辑那样处理有效论证并提供允许对增大的复杂论证进行评估的公理和概念, 它只检验已经建造好的逻辑系统中的基本概念。为了进一步说明哲学逻辑与形式逻辑的不同, 沃尔夫拉姆分别对命题演算与哲学逻辑、谓词演算与哲学逻辑的研究对象进行了比较：与命题演算的研究内容不同, 哲学逻辑主要关心的是关于命题演算中的如下问题：什么是命题演算中的" 命题" ?
只有两个真值吗? 命题演算能代表论证吗? 相对于谓词演算, 哲学逻辑主要关注的则是对谓词演算中的个体词、对象与谓词以及量词的研究。正是基于这样的理解, 沃尔夫拉姆在其《哲学逻辑导论》中主要讨论了如下问题：指称与真值; 必然真与分析一综合之区分; 真理问题; 否定; 存在与同一; 意义问题; 等等。
The perfect video converter can convert between almost all popular video formats. It can convert ASF to Blackberry, convert ASF to DVD, convert SWF to iPod, convert SWF to iPhone and convert SWF to Zune easily.