- 博客(3)
- 收藏
- 关注
RSS订阅原创 陈晓平著自然演绎逻辑导论 第一章绪论 1.3论证
既然证明是由论题、论据和论证方式构成，那么要确定一个证明不成立就从这三方面处理。是设下语言陷阱，无论肯定或否定的回答，都暗示承认问题中预设的命题。【例1】的论证方式是假的，可以通过构造反例法证明，但论题是真的。是对对方进行侮辱贬低，不去反驳对方的论题、论据和论证方式。是确定一个命题真实性的推论，包括论题、论据和论证方式。驳倒对方的论证方式不等于对方的论题和论据同时被驳倒。是在证明过程中把需要证明的一个命题偷换为另一命题。是用来证明论题的论据其真实性要靠论题来证明。是确定对方的证明不成立的推论。
2023-04-18 19:27:09
300
原创 陈晓平著自然演绎逻辑学导论 第一章绪论 1.2推论的有效性和可靠性
是一个推论形式是有效的，当且仅当，该推论形式的所有替换例子并非前提真而结论假。是一个推论是可靠的，当且仅当，该推论有效并且它的所有前提是真的。例3 的替换例子第二个前提和结论都是假的，但仍然是有效推论。因为例3保证假设替换例子的所有前提是真的，那结论就必然是真的。是一个推论是有效的，当且仅当，它是一个有效推论形式的替换例子。并非一个无效推论形式的所有替换例子都是前提真而结论假。一个推论的有效性取决于推论形式，而不取决于推论内容。是对推论形式中的变项做替换而得到的具体推论。是推论所涉及的具体对象。
2023-04-17 15:23:04
466
原创 陈晓平著自然演绎逻辑学导论 第一章绪论 1.1词项、命题和推论
具有相同外延的词项，可以有不同的内涵。是一个至少由两个命题组成的序列，其中一个命题是根据其他命题推出的。演绎推论是当所有这些前提真时，这个结论必然的真(演绎有效性)。(1)定义项和被定义项必须外延相等。归纳推论是当所有这些前提真时，这个结论或然的真(归纳强度)。是命题赋予词项的含义不能分配给其外延成员。是有内涵而无外延的词项。是外延只有一个成员的词项。是外延有若干个成员的词项。是命题赋予词项的含义能分配给其外延成员。是当一类事物包含另一类时，相对大的一类。是当一类事物包含另一类时，相对小的一类。
2023-04-13 17:01:32
634
1
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人