邏輯學(xué)中的定義:以推理形式為主要研究對象的學(xué)科推理:從已知條件(前提)得出結(jié)論的過程。推理形式:推理的結(jié)構(gòu) 同類的不同具體推理具有共同的結(jié)構(gòu)(不同事件的具體推理具有共同的結(jié)構(gòu))有效推理形式:真前提(命題也就是已經(jīng)驗證為真的真理)通過有效推理形式只能得到真結(jié)論,即通過有效推理形式,從真前提不會得到假結(jié)論推理是每人每天都會做的
邏輯并不能保證結(jié)論一定是對的
邏輯學(xué)的特點
1.抽象性
所有的科學(xué)在某種意義上都是某一方面的抽象
數(shù)理邏輯的公理系統(tǒng)中,符號只是符號本身,具有非常高的抽象性
2.應(yīng)用性 這個符號也可以用來代替各種東西,比如數(shù)字可以代表任何東西。
3.工具性 更抽象的學(xué)科往往可以用作具體學(xué)科的工具
邏輯學(xué)的基本準(zhǔn)則(或叫基本規(guī)律)
1.同一律 :一以貫之,A是A,表里如一,比如文不對題就是違反了同一律
2.(不)矛盾律 :A不是非A A和A的否定不能同時成立 (同一情景下,互相矛盾的不能同時成立 自相矛盾不能成立),比如我的盾可以防止一切矛,或者我的矛可以扎穿一切盾,矛與盾是不能同時存在的,互相否定
3.排中律 :同一條件 A和A的否定必有一真 適用于沒有中間地帶的時間,比如這個人不是男生就是女生。
邏輯學(xué)和其他學(xué)科的關(guān)系
1.哲學(xué):最早邏輯是哲學(xué)的一部分
2.數(shù)學(xué)