逻辑学第一讲：导论莱布尼茨之梦选编.pptxVIP

逻辑学第一讲导论：莱布尼茨之梦;教材问题;课件;;;;;;;共勉;课堂形式与考核;关于逻辑的三个说法： 逻辑是关于论证或论说（argument）的； 逻辑是关于推理（reasoning, inference）； 逻辑是关于理论或信念一致性的（consistency）; ; 说话、写文章，说服别人，反驳别人都要讲道理，要别人接受一个结论，你必须有足够的理由来支撑你的结论。 演绎推理、归纳推理；类比推理等。 ;几个著名的逻辑学家;逻辑学概貌;主要内容;关于逻辑的一个概述不期望您现在能完全理解;鸡兔同笼问题;普遍文字与推理计算器;鸡兔同笼问题的提示与莱布尼茨之梦; 现实问题 与争论 ;Example：推理正确与否;语言分析;专名与摹状词;谓词;语句联结词;量词;Categorical Sentences;Embedded Quantifiers;Embedded Quantifiers;Embedded Quantifiers;Embedded Quantifiers;Embedded Quantifiers;Embedded Quantifiers;Embedded Quantifiers;Embedded Quantifiers, Cont.;Embedded Quantifiers, Cont.;Symbolization with Identity;“Numerical Quantifiers”;“Numerical Quantifiers”, Cont.;“Numerical Quantifiers”, Cont.;“Numerical Quantifiers”, Cont.;Connective Rules: Conjunction;Connective Rules: Conditional;Connective Rules: Disjunction;Connective Rules: Biconditional;Connective Rules: Negation;Connective Rules: Disjunction;?-Elimination;?-Introduction;?-Elimination;?-Introduction;例子;三个要用到的推理规则;?xLxa ;?x(Lax ? x=b) ?? a=b;Example: Valid or not？;?x（ ? Px ? ? Qx ? Rx ）； Qa； ?Pa ?? Ra;思考 ;哥德尔完全性定理;麻烦哩 ;Biconditional Exchange