小新叶

 找回密码
 立即注册

QQ登录

只需一步,快速开始

mito
查看: 780|回复: 7

【傅皓政】台大:逻辑

[复制链接]

5万

主题

5万

帖子

16万

积分

管理员

Rank: 9Rank: 9Rank: 9

积分
165222
发表于 2018-3-24 09:17:55 | 显示全部楼层 |阅读模式
【傅皓政】台大:逻辑
课程介绍
本课程是以学习初阶逻辑 (First-order Logic) 为目标。初阶逻辑包括语句逻辑 (propositional logic) 和述词逻辑 (predicate logic),语句逻辑是以语句为单位所建构的逻辑,而述词逻辑是更深入地分析语句的结构而建构的逻辑。由于处理的对象的差异,述词逻辑显然需要更多的考虑,然而也因此会有更强大的解释力。在本课程中,教师将让学生认识到初阶逻辑的语言、各种处理语言的系统及如何演算。
讲师介绍 傅皓政
职业:文化大学哲学系助理教授,台湾大学哲学博士,研究领域:知识论、科学哲学与方法论、语言哲学
学院介绍
国立台湾大学,简称台大,前身为日据时期之台北帝国大学,是一所创立于台湾地区的全科性公立综合大学,亦为全台湾规模最大的研究型大学。2008年被英国《泰晤士高等教育》评为全世界前200名的大学,位列第124名。
[第1集] 导论:什么是逻辑1
[第2集] 导论:什么是逻辑2
[第3集] 命题与论证
[第4集] 命题逻辑语言
[第5集] 语句连接词
[第6集] 真值表法
[第7集] 真值树系统
[第8集] 自然演绎法系统
[第9集] 对象 外延 量化词
[第10集] 一阶逻辑语言
[第11集] 日常语言的翻译
[第12集] 真值树系统
[第13集] 自然演绎法系统
[第14集] 常见的谬误

游客,如果您要查看本帖隐藏内容请回复

楼主热帖
回复

使用道具 举报

0

主题

3054

帖子

6520

积分

论坛元老

Rank: 6Rank: 6

积分
6520
发表于 2018-4-1 01:42:36 | 显示全部楼层
谢谢谢谢谢谢谢谢
回复 支持 反对

使用道具 举报

0

主题

4009

帖子

8056

积分

论坛元老

Rank: 6Rank: 6

积分
8056
发表于 2020-2-18 09:39:47 | 显示全部楼层
看帖回帖是美德!谢谢虚拟宝库网分享!
回复 支持 反对

使用道具 举报

快速回复changefastreply
谢谢楼主!
不错不错
我抢沙发~
不知该说些什么
支持一下:lol
您需要登录后才可以回帖 登录 | 立即注册

本版积分规则

QQ|手机版|小新叶

GMT+8, 2024-12-23 07:12 , Processed in 0.247433 second(s), 42 queries .

Powered by Discuz! X3.4

Copyright © 2001-2021, Tencent Cloud.

快速回复 返回顶部 返回列表