首页
Web开发
Windows程序
编程语言
数据库
移动开发
系统相关
微信
其他好文
会员
首页
>
其他好文
> 详细
逻辑-哲学
时间:
2015-02-01 23:02:01
阅读:
186
评论:
0
收藏:
0
[点我收藏+]
标签:
argument论证:前提,结论。命题。形式化。意义藏在符号里,多看几次就懂了。
语义学semantics
语句连接词connective
真值表:有input,肯定能得到确定的output
反证法
后设定里: soundness 和 completeness
苏格拉底:所有人都会死,苏格拉底是人,所以苏格拉底会死
命题逻辑
日常用语并不严密
谬误 fallacy:诉诸情感的谬误,诉诸暴力的谬误,诉诸怜悯的谬误
http://open.163.com/special/ntu/luoji.html
逻辑乃研究说话的‘道理’的学科
算命先生:什么样的预测都能解释的通
前提可以是空集合。数学定理。
如果一个人在非理性状态,不要跟他讲道理。
不同的语句是可以表达同样的问题的。句子只是载体,意义才是内容。
同样一句话,在不同的时间地点场合会传达不同的意义。比如,面对不同的人,说:你很坏。明天再说吧。
怎么确定今天的你和明天的你是同一个人?人格分裂,身份证。。。
用一个问句来回答一个问题,用一个祈使句来回答问题,反问句?
有效论证,正确的推论,但是前提不一定是真的。因为只要符合三段论形式都是有效的,跟前提的正误无关。
Sound Argument,不单单是有效的,而且前提也是真的。
充分条件,必要条件,充要条件。
逻辑-哲学
标签:
原文地址:http://www.cnblogs.com/dmdj/p/4266186.html
踩
(
0
)
赞
(
0
)
举报
评论
一句话评论(
0
)
登录后才能评论!
分享档案
更多>
2021年07月29日 (22)
2021年07月28日 (40)
2021年07月27日 (32)
2021年07月26日 (79)
2021年07月23日 (29)
2021年07月22日 (30)
2021年07月21日 (42)
2021年07月20日 (16)
2021年07月19日 (90)
2021年07月16日 (35)
周排行
更多
分布式事务
2021-07-29
OpenStack云平台命令行登录账户
2021-07-29
getLastRowNum()与getLastCellNum()/getPhysicalNumberOfRows()与getPhysicalNumberOfCells()
2021-07-29
【K8s概念】CSI 卷克隆
2021-07-29
vue3.0使用ant-design-vue进行按需加载原来这么简单
2021-07-29
stack栈
2021-07-29
抽奖动画 - 大转盘抽奖
2021-07-29
PPT写作技巧
2021-07-29
003-核心技术-IO模型-NIO-基于NIO群聊示例
2021-07-29
Bootstrap组件2
2021-07-29
友情链接
兰亭集智
国之画
百度统计
站长统计
阿里云
chrome插件
新版天听网
关于我们
-
联系我们
-
留言反馈
© 2014
mamicode.com
版权所有 联系我们:gaon5@hotmail.com
迷上了代码!