1樓：泡泡豬和轉轉豬
一、不矛盾律
：它通常被表述為a不是非a，或a不能既是b又不是b。在傳統邏輯裡，矛盾律首先是作為事物規律提出來的，意為任一事物不能同時既具有某屬性又不具有某屬性。
它作為思維規律，則是任一命題不能既真又不真。矛盾律也被當作一種關於認識活動的規範性規律，意為任何人不應同時斷定乙個命題 (a)及其否定 (並非a)。這就是說，對乙個命題及其否定不應持兩可之說，以免自相矛盾。
矛盾律還被看成是關於邏輯語義的規律，即在同一上下文中，同一語詞或語句不應既表述某一思想又不表述某一思想。違背了矛盾律的要求，思維就會陷入邏輯矛盾(a並且非a) 。而任何包含邏輯矛盾的思想又總是錯誤的，所以思想的無矛盾性是正確思維不可缺少的條件，也是構造乙個理論體系的重要原則之一。
在現代邏輯中，(a∧a) ( 讀作a並且非a是假的 )，是矛盾律在命題邏輯中的體現；x(f（x)∧f(x)) (讀作並非存在著乙個個體x，x既有性質f又沒有性質f)，是矛盾律在謂詞邏輯中的體現。
二、排中律：
在現代邏輯中，a∨┐a（讀作：a或非a），是排中律在命題邏輯中的體現；"x（f（x）∨┐f（x））（讀作：對任何個體x而言，x有性質f或沒有性質f）是排中律在謂詞邏輯中的體現。
由於構造邏輯不承認現實世界裡存在著實無窮，只承認無窮是乙個過程，因此，在該邏輯中，涉及無窮物件時排中律不成立；用反證法證明存在命題，也不是一種有效的證明方法。
傳統邏輯基本規律之一。通常被表述為a是b或不是b。傳統邏輯首先把排中律當作事物的規律，意為任一事物在同一時間裡具有某屬性或不具有某屬性，而沒有其他可能。
排中律同時也是思維的規律，即乙個命題是真的或不是真的，此外沒有其他可能。排中律還是關於認識活動的規範性規律，意為任何人不應同時否認乙個命題（a）及其否定（並非a），即對乙個命題及其否定不能持兩不可之說。排中律還被當作邏輯語義的規律，即任一語詞或語句在同一上下文中應表達某一思想或不表達這一思想。
作為後兩種規律，也叫做排中律的要求。排中律並不排除具體事物在其發展過程中有中間環節以及有多種狀態和各種可能性。在現代邏輯中，a∨a（讀作：
a或非a），是排中律在命題邏輯中的體現；"x（f（x）∨f（x））（讀作：對任何個體x而言，x有性質f或沒有性質f）是排中律在謂詞邏輯中的體現。由於構造邏輯不承認現實世界裡存在著實無窮，只承認無窮是乙個過程，因此，在該邏輯中，涉及無窮物件時排中律不成立；用反證法證明存在命題，也不是一種有效的證明方法。
例句：既說「此茅鋒利，無堅不摧」，又說「此盾堅固，任刺不入」，這就違反了排中律的原理。
三、同一律：
形式邏輯的基本規律之一，就是在同一思維過程中，必須在同一意義上使用概念和判斷，不能混淆不相同的概念和判斷。公式是：＂甲是甲＂或＂甲等於甲＂包括三方面的內容：
(1)思維物件的同一。在同乙個思維過程中，思維的物件必須保持同一；在討論問題、回答問題或反駁別人的時候，各方的思維物件也要保持同一。
(2)概念的同一。在同乙個思維過程中，使用的概念必須保持同一；在討論問題、回答問題或反駁別人的時候，各方使用的概念也要保持同一。
(3)判斷的同一。同乙個主體(個人或集體)在同一時間(相應的客觀事物處於相對穩定狀態時)，從同一方面對同一事物作出的判斷必須保持同一。同一律要求思維的確定性，但是並不否認思維的發展變化。
它完全是對思維過程說的，並不要求客觀事物保持同一，絕對不變。
邏輯的「同一律」方面的內容中，應該包括「同一立場」和「同一時空」在裡面。
四、充足理由律：
主張充足理由律也是傳統邏輯基本規律之一的邏輯學家﹐通常把這條規律表述為﹕任何判斷必須有(充足)理由。充足理由律的提法源於17世紀末﹑18世紀初的德國哲學家萊布尼茨﹐g.w.。
他在《單子論》中說:「我們的推理是建立在兩個大原則上﹐即是﹕(1)矛盾原則﹐……(2)充足理由原則﹐憑著這個原則﹐我們認為﹕任何一件事如果是真實的﹐或實在的﹐任何乙個陳述如果是真的﹐就必須有乙個為什麼這樣而不那樣的充足理由﹐雖然這些理由常常總是不能為我們所知道的」。不過﹐萊布尼茨本人並未把充足理由原則當作邏輯規律。
他所說的充足理由原則的確切含義是什麼﹐也是乙個歷來有爭論的問題。康德﹐i.認為﹐矛盾律與充足理由律都是真理的邏輯標準或形式標準。
在他看來﹐矛盾律是反面的標準﹐因為遵守矛盾律的思想不一定真﹐而違反矛盾律的思想不可能真﹔充足理由律則是正面的標準﹐因為遵守充足理由律的思想一定是有根據的﹐是從一些原則得出而且不會導致假的結論的思想。但傳統邏輯學家一般認為﹐與其說充足理由律是關於思維形式和形式邏輯的規律﹐不如說它是關於存在和事實的規律。正因為如此﹐許多傳統邏輯著作中不敘述這條規律﹐現代邏輯也不討論這個問題。
邏輯學中對性質判斷進行分類,其劃分的標準是什麼
2樓：泰安納斯
由以下兩個因素來劃分：
一、量項（所有、有的），決定該判斷是全稱判斷還是特稱判斷。
二、常項（是、不是），決定該判斷是肯定判斷還是否定判斷。
綜合以上兩個要素，可以得知性質判斷一共有四種形式：
一、全稱肯定判斷，如：所有的自然資源都是要枯竭的。
二、特稱肯定判斷，如：有的自然資源是要枯竭的。
三、全稱否定判斷，如：所有的自然資源都不會枯竭的。
四、特稱否定判斷，如：有的自然資源不會枯竭的。
邏輯學,判斷,性質判斷的關係
3樓：匿名使用者
性質判斷的種類
1.肯定判斷和否定判斷
乙個判斷是肯定判斷還是否定判斷,稱為「判斷的質」。性質判斷的質是由它的聯項(「是」或「不是」)決定的。乙個判斷要麼是肯定判斷,要麼是否定判斷。
因此,根據判斷的質,性質判斷可以分為肯定判斷(s是p)和否定判斷(s不是p）
乙個判斷是否斷定了主項的全部外延,稱為「判斷的量」。性質判斷的量是由它的量項(「所有」或「有」)決定的。帶有全稱量項(不管語言表達中是否省略)的判斷叫做全稱判斷(所有s——p),它對主項的全部外延作出斷定；帶有特稱量項的判斷叫做特稱判斷(有s——p),它只對主項的部分外延作出斷定。
2.性質判斷的四種基本型別——a、e、i、o
⑴ 全稱肯定判斷,簡稱a判斷,其邏輯形式為「所有s是p」,也可簡寫為「sap」。它斷定s類所有物件都具有p性質。如「所有金屬是導體」。
⑵ 全稱否定判斷,簡稱e判斷,其邏輯形式為「所有s不是p」,也可簡寫為「sep」。它斷定s類所有物件不具有p性質。如「所有宗教徒不是無神論者」。
⑶ 特稱肯定判斷,簡稱 i 判斷,其邏輯形式為「有s是p」,也可簡寫為「sip」。它斷定s類至少有乙個物件具有p性質。如「有的亞洲國家是經濟發達的國家」。
⑷ 特稱肯否判斷,簡稱o判斷,其邏輯形式為「有s不是p」,也可簡寫為「sop」。它斷定s類至少有乙個物件不具有p性質。如「有的金屬不是固體」。
主謂項相同的a、e、i、o四種性質判斷之間存在著一定的真假制約關係,普通邏輯稱之為「對當關係」。
⑴ a—e之間的真假關係：當a為真時,e一定為假；當a為假時,e有真假兩種可能。它們之間具有「不能同時為真,可以同時為假」的反對關係。試比較、體會下面兩個判斷間的真假關係：
甲班所有同學是本省人——甲班所有同學不是本省人
⑵ a—o、e—i 之間的真假關係：當a為真時,o一定為假；當a為假時,o一定為真。它們之間具有「不能同時為真,也不能同時為假」的矛盾關係。
e與i之間也具有相同的關係。試比較、體會下面兩對判斷間的真假關係：
甲班所有同學是本省人 ——甲班有同學不是本省人
甲班所有同學不是本省人——甲班有同學是本省人
⑶ a—i、e—o之間的真假關係：當a為真時,i一定為真；當e為真時,o就一定為真。它們之間都具有「前者真,後者不可能假」的蘊涵關係。
「蘊涵」是現代邏輯的術語,傳統邏輯稱這種關係為「差等關係」。 試比較、體會下面兩對判斷間的真假關係：
甲班所有同學是本省人 ——甲班有同學是本省人
甲班所有同學不是本省人——甲班有同學不是本省人
⑷ i—o之間的真假關係：當i 為真時,o有真假兩種可能；當i為假時,o一定為真。它們之間具有「不能同時為假,可以同時為真」的下反對關係。試比較、體會下面兩判斷間的真假關係：
甲班有同學是本省人——甲班有同學不是本省人
單稱判斷沒有對應的特稱判斷。單稱肯定判斷(s是p)與單稱否定判斷(s不是p)之間不是反對關係,而是矛盾關係。如「甲是上海人」與「甲不是上海人」,二者既不可同真,也不可同假。
邏輯學具有什麼性
4樓：晚秋彎月
1.基礎性.人類的一切思維活動和知識領域都要應用邏輯，離不開邏輯。
邏輯學中性質與特性的區別
5樓：alphag的春天
性質是指事物所具有的本質屬性,能夠區別於其他事物的方面；而特點不一定是事物本質的屬性,沒有區別於其他事物的作用.
特性,即有條件的不變.比如物質的密度,在常溫常壓下,密度是固定值,可是溫度一變,密度就要變了.
什麼是邏輯學裡面的性質判斷
6樓：匿名使用者
邏輯學中的判斷分為性
質判斷和關係判斷兩類。
性質判斷就是斷定物件具有或者不具有某種性質的判斷。比如「所有的金屬都是導體」就是肯定了所有的金屬都具有導體的性質。「有的物體不是絕緣體」則否定了有的物體具有絕緣體的性質。
性質判斷按照量項和聯項的不同，可以分為6類，.即全稱肯定判斷、.全稱否定判斷、特稱肯定判斷、特稱否定判斷、單稱肯定判斷、單稱否定判斷。
7樓：匿名使用者
詳細講有六種:1.全稱肯定,2.全稱否定,3單稱肯定,4單稱否定,5特稱肯定,6特稱否定.
1.所有金屬都是導體.
2.所有金屬都不是導體.
3.有些金屬是導體.
4.有些金屬不是導體.
5.***是中國人.
6.***不是中國人.
最後再給你點建議:多學、多問、多練習，你對邏輯學的知識會越來越棒的。
邏輯學中屬性的含義？
8樓：你乳此給力
是乙個抄邏輯學中的基本
襲概念，從邏輯學角度來看，作為基本的思維形式的概念可以分為實體概念和屬性概念，前者指稱的物件是具體的客觀事物，後者指稱的物件是抽象的客觀事物的性質及關係，實體概念又稱具體概念，屬性概念又稱抽象概念。
邏輯學題目急,邏輯學的題目，急
我copy不知道這張牌。說明牌的點數肯定出現過一次以上，即4 a q 5中的乙隻 我曉得你不知道這張牌。說明花色中的點數都出現過一次以上，即為紅桃或方塊 現在剩下紅桃4 q a和方塊a 5，李先生說 現在我知道這張牌了。則排除相同點數的a，剩下紅桃4 q和方塊5 現在我也知道。所以是只剩下乙個點數的...
邏輯學是哪個學科的分支,邏輯學是什麼學科中不可缺少的？
根據聯合國教科文組織公布的學科分類目錄，將基礎科學分成七大類 數學 邏輯學 天文學和天體物理學 地球科學和空間科學 物理學 化學 生命科學。邏輯學專業學生主要學習邏輯學 數學 電腦科學和哲學方面的基本理論和基礎知識，受到公理化方法 形式化方法和語義分析方面的基本訓練，具有專業研究的基本能力。本專業培...
邏輯學中命題有哪些形式哪些種類邏輯學的命題有幾種
一 命題的種類 1 按關係即按命題主謂項之間的關係分類 直言命題 假言命題 後件主謂項的聯絡以前件為條件 和選言命題 謂項之間對主項有選擇關係 2 從質的角度分 肯定命題 否定命題。3 從量的角度分 全稱命題，包括單稱命題 普遍命題和特稱命題。4 從命題的相互關係分 原命題 逆命題 否命題 逆否命題...