徽标
联盟百科
通讯
下载应用,请到 Google Play
新! 在您的Android™设备上下载联盟百科!
安装
比浏览器更快的访问!
 

直言三段论

指数 直言三段论

言三段论是所有前提都是直言命题的演绎推理。 例子: 前兩個命題叫做前提。如果這個三段論是有效的,這兩個前提邏輯上蘊含了最後的命題,它叫做結論。結論的真實性建立在前提的真實性和它們之間的聯繫之上:中項在前提中必須周延(distribute)至少一次,形成在結論中的主詞和謂词之間的連接。即使直言三段論是有效的,但如果有前提為假的話結論仍可能是假。.

43 关系: 偏序关系否定前提推得肯定結論大詞不當子集存在謬誤存在量化存在性預設实质条件对称关系对立四边形小詞不當不交集中詞不周延主語布尔逻辑三段論一阶逻辑亚里士多德交集二元关系传统逻辑周延元音前件四詞謬誤直接推理补集謬論肯定前提推得否定結論集合集合代数逻辑与逻辑非逻辑断言Jan Łukasiewicz排它前提謬誤歧義謬誤泰奧弗拉斯托斯演绎推理有效性文氏图拉丁语

偏序关系

偏序集合(Partially ordered set,简写poset)是数学中,特别是序理论中,指配备了部分排序关系的集合。 这个理論將排序、顺序或排列这个集合的元素的直觉概念抽象化。这种排序不必然需要是全部的,就是说不必要保证此集合内的所有对象的相互可比较性。部分排序集合定义了部分排拓扑。.

新!!: 直言三段论和偏序关系 · 查看更多 »

否定前提推得肯定結論

否定前提推得肯定結論(affirmative conclusion from a negative premise)是一種形式謬誤,是因三段論中有前提為否定,而結論為肯定,導致論證無效。.

新!!: 直言三段论和否定前提推得肯定結論 · 查看更多 »

大詞不當

大詞不當(Illicit major)是一種形式謬誤,是因三段論中的大詞在結論周延,而在大前提中不周延,而導致論證無效。.

新!!: 直言三段论和大詞不當 · 查看更多 »

子集

子集,為某個集合中一部分的集合,故亦稱部分集合。 若A和B为集合,且A的所有元素都是B的元素,则有:.

新!!: 直言三段论和子集 · 查看更多 »

存在謬誤

#重定向 存在性謬誤.

新!!: 直言三段论和存在謬誤 · 查看更多 »

存在量化

在谓词逻辑中,存在量化是对一个域的至少一个成员的性质或关系的论断。使用叫做存在量词逻辑算子符号∃来指示存在量化。 它相对于声称某些事物对所有事物都为真的全称量化。.

新!!: 直言三段论和存在量化 · 查看更多 »

存在性預設

#重定向 存在性謬誤.

新!!: 直言三段论和存在性預設 · 查看更多 »

实质条件

在命题演算,或在数学的逻辑演算中,实质条件、實質蘊涵(容易和語意蘊涵\vDash搞混,建議不要用蘊涵這兩字)或蕴涵算子是一种二元的真值泛函的逻辑运算符,它有着如下形式 这裡的A和B是陈述变量(可以被语言中任何有意义的可表示的句子所替代)。在这种形式的陈述中,第一项这裡的A,叫做前件;第二项这裡的B,叫做后件。 这个算子使用右箭头“→”(有时用符号“⇒”或“⊃”)来符号化,符合“如果A為真,那么B亦為真”被写为如下:.

新!!: 直言三段论和实质条件 · 查看更多 »

对称关系

数学上,若對所有的 a 和 b 屬於 X,下述語句保持有效,則集合 X 上的二元关系 R 是对称的:「若 a 关系到 b,则 b 关系到 a。」 数学上表示为: 例如:“和……结婚”是对称关系;“小于”不是对称关系。 注意,对称关系不是反对称关系(aRb 且 bRa 得到 b.

新!!: 直言三段论和对称关系 · 查看更多 »

对立四边形

对立四边形(又译逻辑方阵、四角對當)是来自亚里士多德逻辑或词项逻辑的术语,它明确说明了各种句子类型之间的逻辑关系。 对于主词"S"和谓词"P",提供了如下规则.

新!!: 直言三段论和对立四边形 · 查看更多 »

小詞不當

小詞不當(Illicit minor)是一種形式謬誤,是因三段論中的小詞在結論周延,而在小前提中不周延,而導致論證無效。.

新!!: 直言三段论和小詞不當 · 查看更多 »

不交集

在數學裡,兩個集合被稱為不交(disjoint),若其沒有共同的元素。例如,和為不交集(disjoint sets)。.

新!!: 直言三段论和不交集 · 查看更多 »

中詞不周延

中詞不周延(Fallacy of the undistributed middle)是一種形式謬誤,是因三段論中的中詞在大前提或小前提中不周延,而導致論證無效。.

新!!: 直言三段论和中詞不周延 · 查看更多 »

主語

在一個句子中,主语(或主詞)(英语:Subject)是必要的句子元素(Sentence element)。它也是句子两大部分之一;另一部分是谓语或受詞(Predicate)。主语是句子元素,不要與文法上词性混淆。.

新!!: 直言三段论和主語 · 查看更多 »

布尔逻辑

布尔逻辑(Boolean algebra,台湾译--,中國大陸譯--)得名于乔治·布尔,他是爱尔兰科克的皇后学院的英国数学家,他在十九世纪中叶首次定义了逻辑的代数系统。现在,布尔逻辑在电子学、计算机硬件和软件中有很多应用。在1937年,克劳德·艾尔伍德·香农展示了布尔逻辑如何在电子学中使用。 使用集合代数作为介绍布尔逻辑的一种方式。还使用文氏图来展示各种布尔逻辑陈述所描述的集合联系。.

新!!: 直言三段论和布尔逻辑 · 查看更多 »

三段論

三段论在传统逻辑中,是在其中一个命题(结论)必然地从另外两个命题(叫做前提)中得出的一种推论。这个定义是传统的,可以宽松地从亚里士多德的《前分析篇》Book I, c. 1中推出来。希腊语“sullogismos”的意思是“演绎”。对传统意义上的三段论的详细描述参见直言三段论。 三段论由三个部分组成:大前提、小前提和结论,它在逻辑上是从大前提和小前提得出来的。大前提是一般性的原则。小前提是一个特殊陈述。在逻辑上,结论是从应用大前提于小前提之上得到的。.

新!!: 直言三段论和三段論 · 查看更多 »

一阶逻辑

一阶逻辑是使用於数学、哲学、语言学及電腦科學中的一种形式系统。 過去一百多年,一階邏輯出現過許多種名稱,包括:一阶斷言演算、低階斷言演算、量化理論或斷言逻辑(一個較不精確的用詞)。一階邏輯和命題邏輯的不同之處在於,一階邏輯有使用量化變數。一個一階邏輯,若具有由一系列量化變數、一個以上有意義的斷言字母及包含了有意義的斷言字母的純公理所組成的特定論域,即是一個一階理論。 一階邏輯和其他高階邏輯不同之處在於,高階邏輯的斷言可以有斷言或函數當做引數,且允許斷言量詞或函數量詞的(同時或不同時)存在。在一階邏輯中,斷言通常和集合相關連。在有意義的高階邏輯中,斷言則會被解釋為集合的集合。 存在許多對一階邏輯是可靠(所有可證的敘述皆為真)且完備(所有為真的敘述皆可證)的演繹系統。雖然一階邏輯的邏輯歸結只是半可判定性的,但還是有許多用於一階邏輯上的自動定理證明。一階邏輯也符合一些使其能通過證明論分析的元邏輯定理,如勒文海姆–斯科倫定理及緊緻性定理。 一階邏輯是數學基礎中很重要的一部份,因為它是公理系統的標準形式邏輯。許多常見的公理系統,如一階皮亞諾公理和包含策梅洛-弗蘭克爾集合論的公理化集合論等,都可以形式化成一階理論。然而,一階定理並沒有能力去完整描述及範疇性地建構如自然數或實數之類無限的概念。這些結構的公理系統可以由如二階邏輯之類更強的邏輯來取得。.

新!!: 直言三段论和一阶逻辑 · 查看更多 »

亚里士多德

亞里士多德(Αριστοτέλης,Aristotélēs,),古希腊哲学家,柏拉圖的學生、亚历山大大帝的老師。他的著作包含許多學科,包括了物理學、形而上學、詩歌(包括戲劇)、音乐、生物學、經濟學、動物學、邏輯學、政治、政府、以及倫理學。和柏拉圖、蘇格拉底(柏拉圖的老師)一起被譽為西方哲學的奠基者。亞里士多德的著作是西方哲學的第一個廣泛系統,包含道德、美學、邏輯和科學、政治和形而上学。 亞里士多德关于物理學的思想深刻地塑造了中世紀的學術思想,其影響力延伸到了文藝復興時期,雖然最終被牛頓物理學取代。在動物科學方面,他的一些意見仅在19世纪被确信是準確的。他的学术领域还包括早期关于形式逻辑理论的研究,最终这些研究在19世纪被合并到了现代形式逻辑理论裡。在形而上學方面,亞里士多德的哲學和神學思想在伊斯蘭教和猶太教的傳統上產生了深遠影響,在中世紀,它繼續影響着基督教神學,尤其是天主教教會的學術傳統。他的倫理學,虽然自始至终都具有深刻的影响,后来也随着新兴現代美德倫理的到来获得了新生。今天亞里士多德的哲學仍然活躍在學術研究的各个方面。在經濟學方面,亞里士多德對於經濟活動的分類與看法持續影響到中世紀與重農主義,直到被亞當斯密的古典經濟學派取代為止。雖然亞里士多德寫了許多論文和優雅的對話(西塞羅描述他的文學風格為“金河”),但是大多數人認為他的著作现已失散,只有大約三分之一的原创作品保存了下來。.

新!!: 直言三段论和亚里士多德 · 查看更多 »

交集

数学上,两个集合A和B的交集是含有所有既属于A又属于B的元素,而没有其他元素的集合。.

新!!: 直言三段论和交集 · 查看更多 »

二元关系

数学上,二元关系(Binary relation,或简称关系)用於讨论两种物件的连系。诸如算术中的「大於」及「等於」、几何学中的「相似」或集合论中的「为……之元素」、「为……之子集」。.

新!!: 直言三段论和二元关系 · 查看更多 »

传统逻辑

传统逻辑,也叫做词项逻辑,是关于亚里士多德(公元前384年—前322年)所开创的传统逻辑学的宽松的术语,并有幸的没有经历广泛的改变,直到十九世纪末出现了谓词逻辑。 有时很难理解在弗雷格和罗素之前的哲学,原因是对他们之前的所有哲学家们所共识的术语和观念没有基本的掌握。本文提供对传统系统的基本介绍,和对进一步阅读的建议。.

新!!: 直言三段论和传统逻辑 · 查看更多 »

周延

周延可以指:.

新!!: 直言三段论和周延 · 查看更多 »

元音

元音,或称--,是音素的一种,与辅音相对。元音是在发音过程中由气流通过口腔而不受阻碍发出的音。 发元音时,气流从肺部通过声门冲击声带,使声带发出均匀震动,然后震音气流不受阻碍地通过口腔、鼻腔,通过舌、唇的调节而发出不同的声音。发元音时声带必然震动,这叫做浊音。也有的语言发元音时声带不振动,发出清元音(voiceless vowel)。 元音并非在所有的语言中都与元音字母一一对应,一些元音字母的组合也可以表示特殊的元音,比如汉语中的某些複韵母;某些语言中一些元音字母在某些情况下不发音,如法语中元音字母“e”在词末。 元音分兩大類:舌面元音和舌尖元音。大多數元音都是舌面元音,如國際音標的、、、、等等,而漢語很多方言中有一類在其它語言中很少見的舌尖元音,發音時舌尖緊張,包括平舌音(或者稱舌尖前音)如漢語拼音zi、ci、si的韻母,和翹舌音(或者稱捲舌音、舌尖後音)如漢語拼音zhi、chi、shi、ri的韻母。 在元音四角圖中,橫軸代表是元音舌位,縱軸代表的是元音高度。.

新!!: 直言三段论和元音 · 查看更多 »

前件

前件(antecedent),亦稱前提,是假言命题的前半部分。 例子:.

新!!: 直言三段论和前件 · 查看更多 »

四詞謬誤

四詞謬誤(英語:fallacy of four terms;拉丁語:quaternio terminorum)是一種形式謬誤,係因三段論含有四個以上的詞項,導致論證無效。.

新!!: 直言三段论和四詞謬誤 · 查看更多 »

類可以指:.

新!!: 直言三段论和类 · 查看更多 »

直接推理

接推理是日常语言和亚里士多德的词项逻辑中常见的基本推理形式。不同于从两个直言命题得出一个直言命题的直言三段论,它从一个直言命题得出另一个直言命题,所以被称为是直接的。在传统逻辑中主要有换质法(Obversion)、换位法(Conversion)和对置法(Contraposition)。.

新!!: 直言三段论和直接推理 · 查看更多 »

补集

在集合论和数学的其他分支中,存在--的两种定义:--和--。.

新!!: 直言三段论和补集 · 查看更多 »

謬論

#重定向 謬誤.

新!!: 直言三段论和謬論 · 查看更多 »

肯定前提推得否定結論

肯定前提推得否定結論(英文:negative conclusion from affirmative premises)是一種形式謬誤,是因三段論中前提皆為肯定,而結論為否定,導致論證無效。.

新!!: 直言三段论和肯定前提推得否定結論 · 查看更多 »

集合

集合可以指:.

新!!: 直言三段论和集合 · 查看更多 »

集合代数

集合代数发展并描述了集合的基本性质和规律,集合论运算,如并集、交集、补集,以及集合的关系,如等于、包含。这门学科系统研究如何来表达和进行上述的运算和关系的操作。.

新!!: 直言三段论和集合代数 · 查看更多 »

逻辑与

在逻辑和数学中,逻辑合取或逻辑与或且是一个二元逻辑運算符。如果其两个变量的真值都为“真”,其结果为“真”,否则其结果为“假”。.

新!!: 直言三段论和逻辑与 · 查看更多 »

逻辑非

逻辑非是布尔代数中一种一元运算。它的运算结果是将运算元的真值--。 命题A的非可以有几种写法:.

新!!: 直言三段论和逻辑非 · 查看更多 »

逻辑断言

逻辑断言(Logical assertion)是断定一个特定前提为真的陈述,并且对在证明中的陈述有用。它等价于有空前件的相继式。 例如,如果 p.

新!!: 直言三段论和逻辑断言 · 查看更多 »

Jan Łukasiewicz

#重定向 扬·卢卡西维茨.

新!!: 直言三段论和Jan Łukasiewicz · 查看更多 »

排它前提謬誤

#重定向 互斥前提謬誤.

新!!: 直言三段论和排它前提謬誤 · 查看更多 »

歧義謬誤

歧義謬誤是由於語言歧義導致無效推理的現象,是一種言詞謬誤。 歧義是一個字詞或語句可理解為多種意思的現象。 歧義容易造成誤解與誤會,比如某甲用某語句想表達 A 意思,某乙卻理解為 B 意思。 如果特定語境下某甲的說法可明確解讀為特定意思,某乙卻理解成另一個意思並據此做論證,則某乙犯了歧義謬誤;若某甲的說法無法明確解讀、多種解讀都合理,則某乙並無犯歧義謬誤。 此外,如果某人自己的推理過程中,某詞或某句在某處是 A 意思,另一處卻是 B 意思,且一旦將某詞或某句統一採用固定意義便無法邏輯連貫,則某人犯了歧義謬誤。.

新!!: 直言三段论和歧義謬誤 · 查看更多 »

泰奧弗拉斯托斯

泰奧弗拉斯托斯(Θεόφραστος,也称提奥弗拉斯特,约前371年-约前287年),公元前4世紀的古希臘哲學家和科學家,先後受敎於柏拉圖和亞里士多德,後來接替亞里士多德,領導其「逍遙學派」。Θεόφραστος解作「神樣的說話者」,並非真名,據說是亞里士多德見他口才出眾而替他起的名。.

新!!: 直言三段论和泰奧弗拉斯托斯 · 查看更多 »

演绎推理

演绎推理(Deductive Reasoning)在传统的亚里士多德逻辑中是「结论,可从叫做‘前提’的已知事实,‘必然地’得出的推理」。如果前提为真,则结论必然为真。这区别于溯因推理和归纳推理:它们的前提可以预测出高概率的结论,但是不确保结论为真。 “演绎推理”还可以定义为结论在普遍性上不大于前提的推理,或「结论在确定性上,同前提一样」的推理。.

新!!: 直言三段论和演绎推理 · 查看更多 »

有效性

在逻辑中,如果一个论证不能从真前提中得出假结论,则论证的形式是完全有效的。一个论证若被称为是有效的,则如果在其中所有前提都为真的每个模型中,结论也是真的。例如:“所有A是B;有些A是C;所以有些B是C”是有效形式。.

新!!: 直言三段论和有效性 · 查看更多 »

文氏图

文氏图(Venn diagram),或译Venn圖、--、维恩圖、范氏圖,是在所谓的集合论(或者类的理论)数学分支中,在不太严格的意义下用以表示集合(或类)的一种草图。它们用于展示在不同的事物群组(集合)之间的数学或逻辑联系,尤其适合用来表示集合(或)类之间的“大致关系”,它也常常被用来帮助推导(或理解推导过程)关于集合运算(或类运算)的一些规律。.

新!!: 直言三段论和文氏图 · 查看更多 »

拉丁语

拉丁语(lingua latīna,),羅馬帝國的奧古斯都皇帝時期使用的書面語稱為「古典拉丁語」,屬於印欧语系意大利語族。是最早在拉提姆地区(今意大利的拉齐奥区)和罗马帝国使用。虽然现在拉丁语通常被认为是一种死语言,但仍有少数基督宗教神职人员及学者可以流利使用拉丁语。罗马天主教传统上用拉丁语作为正式會議的语言和礼拜仪式用的语言。此外,许多西方国家的大学仍然提供有关拉丁语的课程。 在英语和其他西方语言创造新词的过程中,拉丁语一直得以使用。拉丁语及其后代罗曼诸语是意大利语族中仅存的一支。通过对早期意大利遗留文献的研究,可以证实其他意大利语族分支的存在,之后这些分支在罗马共和国时期逐步被拉丁语同化。拉丁语的亲属语言包括法利斯克语、奥斯坎语和翁布里亚语。但是,威尼托语可能是一个例外。在罗马时代,作为威尼斯居民的语言,威尼托语得以和拉丁语并列使用。 拉丁语是一种高度屈折的语言。它有三种不同的性,名词有七格,动词有四种词性变化、六种时态、六种人称、三种语气、三种语态、两种体、两个数。七格当中有一格是方位格,通常只和方位名词一起使用。呼格与主格高度相似,因此拉丁语一般只有五个不同的格。不同的作者在行文中可能使用五到七种格。形容词与副词类似,按照格、性、数曲折变化。虽然拉丁语中有指示代词指代远近,它却没有冠词。后来拉丁语通过不同的方式简化词尾的曲折变化,形成了罗曼语族。 拉丁语與希腊语同為影響歐美學術與宗教最深的语言。在中世纪,拉丁语是当时欧洲不同国家交流的媒介语,也是研究科学、哲学和神學所必须的语言。直到近代,通晓拉丁语曾是研究任何人文学科教育的前提条件;直到20世纪,拉丁语的研究才逐渐衰落,重点转移到对當代语言的研究。.

新!!: 直言三段论和拉丁语 · 查看更多 »

重定向到这里:

直言三段論直言推理

传出传入
嘿!我们在Facebook上吧! »