法律邏輯學(xué)筆記-全文預(yù)覽
【正文】 3個(gè)假言﹁ (p→q) → p∧﹁q ；﹁(p←q)→﹁p∧q ；﹁(p q) → (p∧﹁q)∨(﹁p∧q) 1個(gè)負(fù)命題等值推理﹁（﹁p）→p 第二章 謂詞邏輯教學(xué)目的和要求：使學(xué)生明確謂詞邏輯的基本內(nèi)容，掌握直言命題的邏輯形式和邏輯性質(zhì)，掌握直言直接推理和直言三段論的邏輯結(jié)構(gòu)和邏輯規(guī)則，使其在以后的工作和日常思維中能自覺(jué)遵守邏輯規(guī)則，避免邏輯錯(cuò)誤。 第五節(jié) 負(fù)命題及其推理 一、負(fù)命題 （一）負(fù)命題的定義及種類 負(fù)命題是由聯(lián)結(jié)詞“并非”聯(lián)結(jié)支命題所構(gòu)成的復(fù)合命題，它是對(duì)某個(gè)命題的否定。 (p←q)∧﹁p→﹁q；(p←q)∧q→p （四）充分必要條件假言推理 充分必要條件假言推理是以充分必要條件假言命題為前提并根據(jù)其性質(zhì)進(jìn)行的假言推理。 (p→q)∧p→q (p→q)∧﹁q→﹁p （三）必要條件假言推理 必要條件假言推理是以必要條件假言命題為前提并根據(jù)其性質(zhì)進(jìn)行的假言推理。 （二）充分條件假言推理 充分條件假言推理是以充分條件假言命題為前提并根據(jù)其性質(zhì)進(jìn)行的假言推理。 2. 充分必要條件假言命題邏輯形式是：當(dāng)且僅當(dāng)p，才q。 3. 必要條件假言命題，當(dāng)且僅當(dāng)前件p假而后件q真時(shí)，才是假的。 充分條件假言命題邏輯形式是：如果p，那么q。 不相容選言推理有兩個(gè)有效式：否定肯定式和肯定否定式。 相容選言推理的有效式是即否定肯定式：（p∨q）∧﹁p→q。 因?yàn)檫x言命題分為相容選言命題和不相容選言命題，所以，選言推理區(qū)分為相容選言推理和不相容選言推理。相容選言命題真值表： 不相容選言命題是陳述選言支所指的各種情況不能同時(shí)并存，即選言支不可同時(shí)為真的選言命題。 第三節(jié) 選言命題及其推理 一、選言命題 選言命題又稱析取命題，是陳述若干可能的思維對(duì)象情況中至少有一個(gè)存在的復(fù)合命題，是由聯(lián)結(jié)詞“或者”聯(lián)結(jié)支命題所構(gòu)成的命題。 ：只有當(dāng)聯(lián)言支都為真時(shí)，聯(lián)言命題真值才為真，在其他情況下的真值都為假。 首先，根據(jù)推理的方向可以將推理分為演繹推理、歸納推理和類比推理， 其次，依據(jù)推理的前提和結(jié)論之間是否有蘊(yùn)涵關(guān)系，把推理劃分為必然性推理和或然性推理(非必然性推理)。 二、推理 推理是從一個(gè)或若干個(gè)已知命題推出一個(gè)新命題的思維形態(tài)。 邏輯對(duì)命題分類的根據(jù)不是命題的內(nèi)容，而是命題的邏輯形式。命題既然是對(duì)思維對(duì)象情況的陳述，那么就有這種陳述與思維對(duì)象實(shí)際情況是否相符合的問(wèn)題，即真假問(wèn)題。 （4）劃分一般不應(yīng)越級(jí)。 二、劃分的方法（種類） 依照不同的劃分根據(jù)，劃分的方法有一次劃分和連續(xù)劃分、二分法和分類。 （3）定義項(xiàng)不能含糊不清。 真實(shí)定義可以分為兩種： 一是運(yùn)用屬加種差方法形成的屬加種差定義，如性質(zhì)定義、發(fā)生定義、關(guān)系定義和功用定義， 二是不能運(yùn)用屬加種差方法形成的定義，如對(duì)單獨(dú)概念、某一領(lǐng)域內(nèi)的范疇和哲學(xué)范疇的定義。 二、定義的方法 定義的基本方法是“屬加種差”的方法，即通過(guò)定義項(xiàng)來(lái)揭示被定義項(xiàng)的鄰近屬概念和種差概念的方法。 三、概念的種類 根據(jù)概念的內(nèi)涵和外延方面的邏輯特征，將概念分成普遍概念、單獨(dú)概念和虛假概念，也可把概念分為集合概念和非集合概念，還可將概念分為正概念和負(fù)概念。任何概念的產(chǎn)生和表達(dá)都離不開語(yǔ)詞，語(yǔ)詞是概念的物質(zhì)形式。普通邏輯與數(shù)理邏輯和辯證邏輯相比，是初等性的邏輯。 三、邏輯方法 邏輯還要研究思維中常用的一些簡(jiǎn)單的邏輯方法，例如，定義、劃分、反證法、歸謬法等探求因果聯(lián)系的方法等。任何一種邏輯形式都有兩個(gè)組成部分：邏輯常項(xiàng)和邏輯變項(xiàng)。 哥德爾——現(xiàn)代哲學(xué)家、數(shù)學(xué)家和邏輯學(xué)家，證明了著名的“不完全性定理”。 休謨——近代哲學(xué)家和邏輯學(xué)家，提出著名的“歸納問(wèn)題”。 墨翟，中國(guó)古代著名思想家，主要邏輯學(xué)著作是《墨經(jīng)》，是后期墨家的創(chuàng)作。編號(hào)：時(shí)間：2021年x月x日書山有路勤為徑，學(xué)海無(wú)涯苦作舟頁(yè)碼：第11頁(yè) 共11頁(yè)第1章 導(dǎo)論 明確并掌握邏輯學(xué)的研究對(duì)象和邏輯學(xué)的發(fā)展史，明確邏輯學(xué)是研究抽象思維的邏輯形式及其規(guī)律\的科學(xué)，邏輯學(xué)的性質(zhì)有工具性、普適性和初等性。被后人稱為“邏輯之父”。主要邏輯著作為《新工具》。主要著作為《數(shù)學(xué)原理》、《西方哲學(xué)史》和《西方的智慧》。抽象思維的邏輯形式就是具有不
合同協(xié)議相關(guān)推薦
鄂ICP備17016276號(hào)-1