逻辑学导论

基本概念

• 论证
  • 有效/无效
  • 演绎论证/归纳论证
• 命题
  • 真/假
  • 前提/结论
• 论证/说明

非形式逻辑

• 语言
  • 信息性/表达性/指令性/礼节性/述行性
  • 情感意义/中立意义
• 实质论争/言辞之争/表面是言辞之争实际上仍是实质论争
• 规定定义/词典定义/精确定义/理论定义/说服定义
• 内涵/外延
• 示范定义/实指定义/准实指定义
• 内涵定义
  • 同义定义/操作定义/属加种差定义

谬误

• 相干谬误
  • 诉诸大众/诉诸情感（同情）/红鲱鱼/稻草人/诉诸人身/诉诸暴力/不得要领（不相干结论）
• 不当归纳谬误
  • 诉诸无知论证/诉诸不当权威/虚假原因（无因之因）/轻率概况
• 预设谬误
  • 偶然/复杂问句/丐题
• 含混谬误
  • 歧义/双关/重音/合成/分解

直言命题

• 命题类型

  分类	A	E	I	O
  名称	全称肯定	全称否定	特称肯定	特称否定
  原命题	所有S是P	所有S都不是P	有S是P	有S不是P
  逻辑式	SP̅=0	SP=0	SP≠0	SP̅≠0
  换位	有P是S（限制）	所有P不是S	有P是S	X
  换质	所有S不是非P	所有S是非P	有S不是非P	有S是非P
  换质位	所有非P是非S	有非P不是非S（限制）	X	有非P不是非S

• 布尔解释

  • 特称命题（I/O）有存在含义
  • 全称命题（A/E）无存在含义

• 文恩图

直言三段论

• 大前提

  • 大项、中项

• 小前提

  • 小项、中项

• 结论

  • 小项、大项

• 式

  • 四种命题类型的三次方，共64种

• 格

  • 由中项的位置（主语、谓语）决定
    • 主谓：M-P,S-M,S-P
    • 谓谓：P-M,S-M,S-P
    • 主主：M-P,M-S,S-P
    • 谓主：P-M,M-S,S-P

• 标准直言三段论的基本规则

  • 四项谬误
  • 中项不周延
  • 大项不当周延/小项不当周延
  • 排斥前提
  • 从否定推肯定
  • 存在谬误

• 标准直言三段论的15个有效形式

  1	2	3	4
  AAA-1	AOO-2
  AII-1	AEE-2	AII-3	AEE-4
  EIO-1	EIO-2	EIO-3	EIO-4
  EAE-1	EAE-2
  		IAI-3	IAI-4
  		OAO-3