西方逻辑之父：亚里士多德
形式逻辑的研究对象：
研究思维形式的结构及其规律和简单逻辑方法的科学（结构、规律、简单逻辑方法）
事物的表面现象和外部联系是认识的初级阶段，属于感性认识阶段。而对事物本质、规律的认识属于理性认识阶段。
思维作为理性认识的过程，它对客观世界的反映具有概括性和间接性，思维的概括性是指思维能反映同一类事物的共同本质；间接性是指思维能认识感觉、知觉所不能直接提供的事物内在、本质的属性。
思维与语言：
语言：自然语言、人工语言。
在现代形式逻辑中，各种演算是用人工语言表述的，传统的演绎逻辑和归纳逻辑基本是用自然语言表述的。 思维：内容、结构。
思维内容是指思维所反映的特定对象及其属性。
思维形式的结构也称作思维的逻辑形式，是指思维内容不相同的各种判断、推理所具有的共同联系方式。 结构是指判断、推理之间的共同联系方式。
形式逻辑的结构：
任何逻辑形式都包含逻辑常项、变项。
研究的是制约思维逻辑形式真假的逻辑条件，即只研究形式，不研究内容。
形式逻辑的规律： 同一律、矛盾律、排中律。
保证思维的确定性、一贯性、规定性。
形式逻辑的简单逻辑方法：
定义、划分、限制和概括、探求因果联系的方法、论证。
形式逻辑的性质和作用： 性质：工具性、基础性的学科。
形式逻辑和语法的关系和区别：
形式逻辑的主要作用：
1、
2、
3、
4、
概念
反映对象本质属性的思维形式；
思维主题所能涉及的一切都可以为思维所反映； 思维对象：一切为人们思维所反映的事物和现象；
属性：对象自身的性质和对象间的关系，分为本质属性、非本质属性； 正确认识事物，探求知识； 正确表述和论证思想； 辩驳谬论，揭露诡辩；
社会文化功能，启发民智、转换观念。 概念具有抽象性、概括性的特点；
概念的作用：科学认识一定阶段的总结、科学知识体系的组成要件、构成推理判断的基本要素； 概念舍弃了具体形象，只反映对象的本质属性； 概念与语词的关系：
概念的内涵和外延：概念的两个基本特征；
内涵—对象的本质属性，质的方面的规定性，表明概念所反映的对象是什么； 外延—概念的量的规定性，表明概念所反映的对象有哪些；
概念的种类：单独和普遍概念、集合和非集合概念、正负概念、空概念。 任何一个概念都不只是属于某一个种类，而是可以分属于不同的种类。
概念间的关系: 全同关系、全异关系、真包含关系、真包含于关系、交叉关系； 所有的甲都是乙，并且所有的乙都是甲。 所有的甲都不是乙，并且所有的乙都不是甲。 所有的乙都是甲，并且有的甲不是乙。 所有的甲都是乙，并且有的乙不是甲。
有的甲是乙，有的甲不是乙；有的乙是甲，有的乙不是甲。
明确概念的逻辑方法：
定义
揭示概念内涵的一种逻辑方法； 结构—Ds就是Dp；
方法--给概念下定义最常用的时属加种差的定义方法：被定义概念=种差+邻近的属；
1、找出被定义概念邻近的属概念，确定其属于哪一类；
2、再和属中的其他种概念进行比较。找出种差，即种概念之间的差别。 定义的种差，是被定义概念所反映的对象的本质属性。 定义的分类：
1、真实定义：性质定义、功用定义、发生定义、关系定义。
2、语词定义：说明的语词、规定的语词。 定义的规则：
1、定义与被定义概念的外延必须是全同关系。即，不重不漏；
2、定义概念中不应直接、间接地包含被定义概念。即，斥己；
3、定义一般用肯定语句形式。即，肯定；
4、定义必须清楚、确切。即，明善。
划分
明确概念外延的逻辑方法。
结构—划分的母项、划分的子项、划分的根据； 方法—一次划分、连续划分；
规则—
1、各子项外延之和必须等于母项的外延。即，和全；
2、划分根据必须同一。即，根据；
3、划分的子项必须相斥。即，互斥。
限制和概括
根据属概念、种概念的内涵、外延的反变关系来明确概念的逻辑方法。 概念的限制 概念的概括
判断（上）
判断是对思维对象有所断定的思维形式。 特征：必须有所肯定或否定、有真假问题
判断与语句—
1、判断需要语句，语句不一定表达判断；
2、判断可以通过不同语句表达；
3、语句可以表达不同判断。
判断的分类：根据是否包含“模态概念”，判断分为：模态判断、非模态判断；
根据本身是否包含其他判断，非模态判断分为：简单判断、复合判断；
根据判断断定的是关系还是性质，简单判断分为：关系判断、性质判断；
根据判断中关联词的不同，复合判断分为：联言判断、选言判断、假言判断、负判断；
根据模态词的不同，模态判断分为：广义模态判断、狭义模态判断（仅指含必然、可能，分别为必然判断、可能判断）。
性质判断
断定对象具有或不具有某种性质的判断，也称直言判断。 构成：主项、谓项、量项、联项；
联项分为肯定联项、否定联项；
量项分为全称量项、特称量项、单称量项；
种类：依据联项的不同（肯定、否定联项），分为肯定判断、否定判断；
依据量项的不同（全称、特称、单称），分为全称判断、特称判断、单称判断；
把以上两种分类依据合为一体，分为六种。 特称判断的量项的逻辑含义与日常用语存在不同之处：
1、特称量项，有的、有，表示至少存在，即为“存在量项”。表示至少有一个存在，或者部分或绝大部分以至全部存在；特称判断也称为存在判断。日常用语中，有的、有，只表示限于部分，不包含全部；
2、特称判断“有的甲是乙”只表示存在这种关系，不可推出“有的甲不是乙”，二者之间，未被断定的关系不可推论。
A\\E\\I\\O四种判断的真假关系
同一素材，四者之间的一种相互制约关系。（即在同一主项、同一谓项的前提下，不同联项、量项产生的不同判断）
性质判断断定的是主项概念的外延与谓项的外延之间的关系，即：主项是否具有谓项的性质。你看，性质判断是断定一个判断具有或不具有某种性质的判断，意即断定主项、谓项之间是否有、有多少共同性质，而外延是概念所反映的事物的量，通过比较外延即可知晓主项与谓项之间的性质的关系； 分类：全同关系、全异关系、真包含关系、真包含于关系、交叉关系； 以“所有的晴天都会出太阳”为例。 主项：晴天； 谓项：太阳；
量项：所有（全称量项）； 联项：都会出；
判断的种类：全同关系（所有的甲都是乙）--真；
所有的晴天都不会出太阳—全异关系—假； 有的晴天会出太阳—真包含关系
关系判断
对象之间还具有某种关系。 组成：关系者项、关系项、关系量项； 分类：关系量项分为：全称、单称、特称；
关系判断的逻辑性质：关系的对称性、关系的传递性；
模态判断
肯定模态判断—否定模态判断； 主观模态判断—客观模态判断； 简单模态判断—复合模态判断； 必然肯定--必然否定模态判断； 可能肯定—可能否定模态判断。 真假关系
同性质判断四种判断之间的关系。
联言判断
断定若干事物同时存在的判断； 联言判断的支判断叫做—联言支； 它的表达格式：甲并且乙；“合取”；
联言判断与联言支之间有一种真假值制约的关系：只有当若干个联言支均为真时，该判断才为真。只要有一个支判断为假，该联言判断就是假的。 选言判断
断定若干事物的情况，并且其中有些事物情况是存在的复合判断（结果具有选择性）；
根据各选言支之间能否同时存在，分为：相容选言判断（“析取”）、不相容选言判断（“不相容析取”）； 相容选言判断：至少有一个选言支为真，也允许其他各选言支同时为真。所以，一个相容选言判断只有当且仅当各选言支都是假的，它才是假的，在其他情况下都是真的。（判断标准：只需要一个选言支真，则整个相容选言判断真）；
不相容选言判断：断定在几种事物情况中有且仅有一种情况存在的情况。意即断定有且只有一个选言支为真的判断。
联言判断和选言判断的区别；
1、
2、
假言判断
断定一事物情况是另一事物情况存在的条件的判断，或者说，它是一种有条件断定某一事物情况存在的判断； 组成：前件、联结项、后件；
依据假言判断所断定的条件关系的不同，分为：充分、必要、充要条件假言判断。 充分条件假言判断—如果甲，那么乙；
其真假，决定于前件所断定的事物情况是否是后件所断定的事物情况的充分条件。即：前件与后件的关系是否为“有之则必然，无之未必然“；
只有当前件真、后件假时，它才是假的，在其他情况下都是真的。 必要条件选言判断-- 逻辑性质不同。 语言表达形式不同。
