形式逻辑与语言交1.ppt_第1页
形式逻辑与语言交1.ppt_第2页
形式逻辑与语言交1.ppt_第3页
形式逻辑与语言交1.ppt_第4页
形式逻辑与语言交1.ppt_第5页
已阅读5页,还剩8页未读 继续免费阅读

下载本文档

版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领

文档简介

形式逻辑与语言交际 第一章绪论 一 逻辑的词源和词义1 逻辑的词源英文logic的音译 导源于希腊语logos2 逻辑的词义 1 客观规律 2 指人类的思维规律 3 观点 主张 4 研究思维形式及思维规律的科学 二 逻辑学的对象1 思维形式思维在抽象掉具体内容之后所具有的共同结构 也被称为思维的逻辑形式 逻辑形式由逻辑变项 P Q S M 和逻辑常项 所有 是 如果 那么 构成 逻辑学研究的思维形式 其主体是推理形式 推理就是从一个或多个已知命题得出一个新命题的思维过程 归纳推理推理演绎推理 推理的有效性 前提与结论之间具有必然推出关系就是推理的有效性 或者说 只要结论从前提必然推导出来 结论为前提所蕴涵 那么这个推理就是正确的 有效的 注意 第一 推理有效性是就演绎推理而言的 第二 推理有效性是就推理的形式结构而言的 与它的具体内容没有关系 例如 人是有理性的 小孩是人 所以 小孩是有理性的 哺乳动物是智能动物 鱼是哺乳动物 所以 鱼是智能动物 这两个推理内容不同 前提与结论的真假也不同 但形式结构一样 都是有效的推理 这说明 推理的有效性与前提的真假不同 也是不由前提和结论的真假决定的 2 思维规律同一律矛盾律排中律3 思维的逻辑方法定义 划分 限制 概括 求因果五法 科学解释 科学预测 假说等 三 逻辑的性质和作用1 逻辑学的性质 1 全人类性 2 工具性 3 规范性2 逻辑学的作用 1 可以培养和提高大学生的思维素质 2 可以帮助人们提高认识能力并准确地表述和论证思想 3 有助于揭露谬误和驳斥诡辩 四 逻辑学的发展简史1 古希腊罗马时期亚里士多德 西方逻辑学创始人 工具论 6篇 范畴篇 解释篇 前分析篇 后分析篇 论辩篇 辩谬篇 奠定了逻辑的基础 在这些著作中 他分别论述了有关概念 判断 推理 论证 论辩的方法以及如何驳斥诡辩等方面的问题 特别是他关于三段论的理论 至今我们仍在沿用 另外 在其哲学著作 形而上学 一书中 他还系统地论述了矛盾律 排中律 同时也涉及到同一律 继亚里士多德之后 古希腊斯多葛学派研究了假言命题 选言命题 联言命题以及由它们所组成的推理形式 并提出了相应的推理规则 命题逻辑 伊壁鸠鲁派提出了归纳法 发展了归纳理论 2 中世纪时期元逻辑的提出和逻辑学知识的普及 出版了一些较有影响的逻辑教科书 如西班牙彼得的 逻辑大全 等 3 近代时期弗兰西斯 培根 奠定了归纳逻辑的基础并进而使之蓬勃发展 新工具 中的三表法 本质和具有表 差异表 程度表 穆勒 古典归纳逻辑的集大成者 求因果五法 求同法 求异法 求同求异并用法 共变法 剩余法 4 数理逻辑的基础 逻辑演算建立时期莱布尼茨 1646 1716 提出建立数理逻辑的基本思想 提出了两种思想 一种是用数学演算的方法来处理演绎逻辑 另一种是要在自然语言之外 创立一种适合于演算的 通用语言 莱布尼兹之后 英国数学家 逻辑学家布尔 George Bool 1815 1864 于1847年建立了 逻辑代数 这是数理逻辑的早期形式 它标志着莱布尼兹关于数理逻辑的思想已经初步成为现实 德摩根 创立关系逻辑弗雷格 19世纪末和20世纪初 德国数学家 哲学家 逻辑学家弗雷格 Gottlob Frege 1848 1925 模仿数学的方法 首次把传统逻辑符号化 并形成一种结构清楚的逻辑演算系统 由于弗雷格的杰出贡献而被认为现代逻辑之父 自弗雷格后 许多杰出的逻辑学家 如皮亚诺 Giuseppe Peano 1858 1932 罗素 Bertrand Russell 1872 1970 和怀特海 Alfred Whitehead 1861 1947 等人的不懈努力 直至1930年 哥德尔 Kurt Godel 1906 1978 证明一阶谓词演算的完全性 数理逻辑才算真正意义的创立 并标志现代逻辑的诞生 芝诺的运动悖论 阿基里斯赶不上乌龟 如果英雄阿基里斯让乌龟先跑一段 他就永远追不上乌龟 因为他首先必须到达乌龟出发的地点 而这时乌龟会向前走了一段路 于是他又必须追赶上这段路 而当他赶上这段路时 乌龟又向前走了一段路 他总是愈追逾近 但是始终追不上它 芝诺的运动悖论 飞矢不动 芝诺曾问他的学生 一枝射出去的箭 它是动的还是不动的 那还用说 它是动的 确实是这样 在每个人的眼里 它都是动的 可是 这枝箭在每个瞬间里 它有确定的位置吗 有的 老师 在这一瞬间里 它占据的空间和它的体积一样吗 一样的 老师 有确定的位置 又占据着和自身体积一样大小的空间 那么 在这一瞬间里 这枝箭是动的还是不动的呢 不动的 这个瞬间是不动的 那么其它的瞬间呢 也是不动的 所以 射出去的箭是不动的 古希腊有个国王 想把一批囚徒处死 当时处死囚徒有两种方法 一种是砍头 一种是绞刑 国王决定让囚徒自己挑选 囚徒任意说出一句话 这句话要求马上可以确证真假 如果囚徒说的是真话 那么就处以绞刑 如果囚徒说的是假话 那么就砍头 结果 这批囚徒中 很多人由于说了真话而处以绞刑 由于说了假话而被砍头 但是 在这批囚徒中 有一位非常聪明的年轻人 在轮到他选择时 他说了这样一句话 要对我砍头 国王听了这句话后 感到左右为难 最后竟然把他给放了 国王之所以感到左右为难 主要在于这位囚徒在回答的过程中

温馨提示

  • 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

评论

0/150

提交评论