和提及的是东北大学《逻辑学》在线课程的一个平时作业1的答案文档。这个作业涉及了逻辑学的基础知识,包括逻辑形式的区别、逻辑推理类型、概念的界定和推理规则等。
"作业"表明这是一个学习任务,主要测试学生对逻辑学基本原理的理解和应用能力。
【部分内容】涵盖了多个逻辑学知识点:
1. **逻辑形式区别**:逻辑形式之间的差异主要由逻辑常项决定,也就是逻辑符号和结构,如“如果...那么...”这样的连接词。
2. **逻辑推理**:
- 充分条件假言推理:题目中提到的推理是一种必要条件假言推理,因为如果 SAP 为真,SEP 必须为假,反之亦然。
- 相容选言推理的错误式是肯定否定式,即肯定一个选言肢的同时否定另一个。
3. **明确概念外延**:列举法是通过列举实例来明确概念的外延,如列举太阳系的行星。
4. **逻辑判断类型**:“直接推理都是必然推理”是一个SAP型判断,即全称肯定判断。
5. **定义类型**:船的定义是功用定义,因为它描述了船的主要功能。
6. **逻辑错误**:简单枚举归纳推理可能犯的错误是轻率概括,即从有限的例子就得出普遍性的结论。
7. **逻辑关系**:对立关系指的是概念之间不能同时存在的情况,如“桃树”与“梨树”是对立关系。
8. **逻辑形式比较**:命题“如果 p 那么 q”与“只有非 p 才非 q”具有相同的逻辑形式,都是蕴含关系。
9. **模态逻辑**:在模态逻辑中,如果结论为“pˉ”(不可能 p),前提可能是“不可能非 p”。
10. **集合概念**:“知识分子”在这两个判断中的角色不同,前者可能是集合概念,后者是非集合概念。
以上仅是部分内容的解析,实际上,整个作业包含了逻辑学的诸多核心概念和推理规则,如换质法、逻辑定律(同一律、矛盾律、排中律、充足理由律)、概念的关系(对立、矛盾、反对、交叉、真包含于)、逻辑推理的形式有效性(三段论、联言推理、假言推理)以及模态逻辑等。这些知识点要求学生能够理解和应用逻辑规则进行有效的思考和论证。