全稱

指某一類事物的全部、全體。


大前提

ㄉㄚˋ ㄑㄧㄢˊ ㄊㄧˊ

ㄉㄚˋ ㄑㄧㄢˊ ㄊㄧˊ

/tä⁵¹ t͡ɕʰi̯ɛn³⁵ tʰi³⁵/

/taːi̯²² t͡sʰiːn²¹ tʰɐi̯²¹/


定言命題

ㄉㄧㄥˋ ㄧㄢˊ ㄇㄧㄥˋ ㄊㄧˊ

ㄉㄧㄥˋ ㄧㄢˊ ㄇㄧㄥˋ ㄊㄧˊ

динъяньминти (dinʺjanʹminti)

/tiŋ⁵¹ jɛn³⁵ miŋ⁵¹ tʰi³⁵/

/tɪŋ²² jiːn²¹ mɪŋ²² tʰɐi̯²¹/

將一陳述句分為兩類，句中主語與謂語各代表其中一類；其命題的真假由主語所指的該類事物之「全體」或「部份」是否「包含於」或「不包含於」謂語所指之該類事物來審定


歸納法

/ku̯eɪ̯⁵⁵ nä⁵¹ fä²¹⁴⁻²¹⁽⁴⁾/

/kʷɐi̯⁵⁵ naːp̚² faːt̚³/

/kui⁴⁴⁻²² lap̚⁴⁻³² huat̚³²/

/kui⁴⁴⁻²² lap̚¹²¹⁻²¹ huat̚³²/

/kui⁴⁴⁻³³ lap̚⁴⁻³² huat̚³²/

/kui⁴⁴⁻³³ lap̚⁴⁻³² huat̚³²/

從一系列特殊或具體的事例中，推求出普遍性原則的方法


歸謬法

ㄍㄨㄟ ㄇㄧㄡˋ ㄈㄚˇ

ㄍㄨㄟ ㄇㄧㄡˋ ㄈㄚˇ

/ku̯eɪ̯⁵⁵ mi̯oʊ̯⁵¹ fä²¹⁴⁻²¹⁽⁴⁾/

/kʷɐi̯⁵⁵ mɐu̯²² faːt̚³/

欲證明一命題為假，而先證明「該命題為真將會導致矛盾」的邏輯推證方法


反證法

фаньчжэнфа (fanʹčžɛnfa)

/fän²¹⁴⁻²¹ ʈ͡ʂɤŋ⁵¹ fä²¹⁴⁻²¹⁽⁴⁾/

/faːn³⁵ t͡sɪŋ³³ faːt̚³/

先假設某命題之否定命題為真，推理出明顯矛盾的結果，從而得出原命題為真的邏輯推證方法


量詞

/li̯ɑŋ⁵¹ t͡sʰz̩³⁵/

/lœːŋ²² t͡sʰiː²¹/

/liɔŋ²²⁻²¹ su²⁴/

/liɔŋ⁴¹⁻²² sɯ²⁴/

/liaŋ²²⁻²¹ su¹³/

/liaŋ⁵⁵⁻¹¹ sɯ⁵⁵/


矛盾

來自《韓非子》的故事。（大約西元前二世紀）

楚人有鬻盾與矛者，譽之曰：「吾盾之堅，物莫能陷之。」以譽其矛曰：「吾矛之利，於物無不陷也。」或曰：「以子之矛陷子之盾，何如？」其人弗能應也。夫不可陷之盾與無不陷之矛，不可同世而立。

有個賣矛和盾的楚國人，他稱讚自己的盾說：「我的盾很堅固，任何物體都戳不穿。」又稱讚自己的矛說：「我的矛很鋒利，沒有東西扎不透。」市場上有個人就問：「拿你的矛去戳你的盾，怎麼樣？」這個人沒法回應。任何物體都戳不穿的盾，和沒有東西扎不透的矛，在這世上是不可能同時存在的。

Chǔ rén yǒu yù dùn yǔ máo zhě, yù zhī yuē: “Wú dùn zhī jiān, wù mò néng xiàn zhī.” Yǐ yù qí máo yuē: “Wú máo zhī lì, yú wù wú bù xiàn yě.” Huò yuē: “Yǐ zǐ zhī máo xiàn zǐ zhī dùn, hérú?” Qí rén fú néng yìng yě. Fú bùkě xiàn zhī dùn yǔ wú bù xiàn zhī máo, bùkě tóng shì ér lì.

《韓非子》，約公元前2世紀

楚人有鬻盾与矛者，誉之曰：「吾盾之坚，物莫能陷之。」以誉其矛曰：「吾矛之利，于物无不陷也。」或曰：「以子之矛陷子之盾，何如？」其人弗能应也。夫不可陷之盾与无不陷之矛，不可同世而立。

《韓非子》，約公元前2世紀

ㄇㄠˊ ㄉㄨㄣˋ, ㄇㄠˊ ㄕㄨㄣˇ

маодунь (maodunʹ)

/mɑʊ̯³⁵ tu̯ən⁵¹/

現代標準漢語, 古舊異讀

現代標準漢語, 古舊異讀

現代標準漢語, 古舊異讀

現代標準漢語, 古舊異讀

現代標準漢語, 古舊異讀

現代標準漢語, 古舊異讀

маошунь (maošunʹ)

現代標準漢語, 古舊異讀

/mɑʊ̯³⁵ ʂu̯ən²¹⁴⁻²¹⁽⁴⁾/

現代標準漢語, 古舊異讀

/maːu̯²¹ tʰɵn¹³/

/mau⁵³⁻³³ ⁽ᵗ⁻⁾louŋ³³/

/bau²⁴⁻²² tun⁵⁵⁴/

泉漳話：臺灣話（常用）、廈門、漳州、菲律賓

泉漳話：臺灣話（常用）、廈門、漳州、菲律賓

泉漳話：臺灣話（常用）、廈門、漳州、菲律賓

/mãu¹³⁻²² tun⁵³/

泉漳話：臺灣話（常用）、廈門、漳州、菲律賓

/mãu²⁴⁻²² tun⁵³/

泉漳話：臺灣話（常用）、廈門、漳州、菲律賓

/mau²⁴⁻²² tun⁵⁵⁴/

泉漳話：臺灣話（常用）、廈門、漳州、菲律賓

/mãu²⁴⁻¹¹ tun⁵³/

泉漳話：臺灣話（常用）、廈門、漳州、菲律賓

/mãu²³⁻³³ tun⁴¹/

泉漳話：臺灣話（常用）、廈門、漳州、菲律賓

/mɔ̃²⁴⁻²² tun⁵³/

/mɔ̃²⁴⁻²² tun⁵⁵⁴/

維基詞典羅馬化 (上海話

/mɤ²² dən⁴⁴/

指互相依賴又互相排斥的關係。


推理

/tʰu̯eɪ̯⁵⁵ li²¹⁴⁻²¹⁽⁴⁾/

/tʰɵy̯⁵⁵ lei̯¹³/

泉漳話：廈門、泉州、漳州、臺灣話（常用）

泉漳話：廈門、泉州、漳州、臺灣話（常用）

泉漳話：廈門、泉州、漳州、臺灣話（常用）

/tʰui⁴⁴⁻²² li⁵³/

泉漳話：廈門、泉州、漳州、臺灣話（常用）

國際音標 (廈門, 漳州

泉漳話：廈門、泉州、漳州、臺灣話（常用）

/tʰui⁴⁴⁻³³ li⁵³/

泉漳話：廈門、泉州、漳州、臺灣話（常用）

/tʰui⁴⁴⁻³³ li⁴¹/

泉漳話：廈門、泉州、漳州、臺灣話（常用）

/t͡sʰui⁴⁴⁻³³ li⁴¹/

一種邏輯的思考方式，由已知或假定的前提來推求結論

法律推理


語法

東干語，西里爾字母和維基詞典轉寫

yǔfǎ [實際讀音：yúfǎ]

/y²¹⁴⁻³⁵ fä²¹⁴⁻²¹⁽⁴⁾/

/ɲi⁴⁴⁻³⁵ fap̚¹/

/ŋy³³⁻⁵⁵ ⁽ʰ⁻⁾uɑʔ²⁴/

/ɡɯ⁵⁵⁴⁻²⁴ huat̚⁵/

/ɡu⁵³⁻⁴⁴ huat̚³²/

國際音標 (臺北, 廈門

/ɡi⁴¹⁻⁴⁴ huat̚³²/

/ɡi⁵³⁻⁴⁴ huat̚³²/

維基詞典羅馬化 (上海話

/n̠ʲy²² faʔ⁴⁴/

話法

講求語言構造合宜，音調優美的方法


背理法

bèilǐfǎ [實際讀音：bèilífǎ]

бэйлифа (bɛjlifa)

/peɪ̯⁵¹ li²¹⁴⁻³⁵ fä²¹⁴⁻²¹⁽⁴⁾/


命題

具有意義且非真即假的指示性或宣告性敘述


謂詞

вэйцы (vɛjcy)

/weɪ̯⁵¹ t͡sʰz̩³⁵/

表示個體性質或個體間關係的詞


自反

цзыфань (czyfanʹ)

/t͡sz̩⁵¹ fän²¹⁴⁻²¹⁽⁴⁾/

集合中每個元素都和自身相關的二元關係


當且僅當

ㄉㄤ ㄑㄧㄝˇ ㄐㄧㄣˇ ㄉㄤ

ㄉㄤ ㄑㄧㄝˇ ㄐㄧㄣˇ ㄉㄤ

данцецзиньдан (danceczinʹdan)

/tɑŋ⁵⁵ t͡ɕʰi̯ɛ²¹⁴⁻³⁵ t͡ɕin²¹⁴⁻²¹ tɑŋ⁵⁵/

/tɔːŋ⁵⁵ t͡sʰɛː³⁵ kɐn³⁵ tɔːŋ⁵⁵/

在此條件成立，並且僅在這個條件成立時


若且唯若

ㄖㄨㄛˋ ㄑㄧㄝˇ ㄨㄟˊ ㄖㄨㄛˋ

ㄖㄨㄛˋ ㄑㄧㄝˇ ㄨㄟˊ ㄖㄨㄛˋ

жоцевэйжо (žocevɛjžo)

/ʐu̯ɔ⁵¹ t͡ɕʰi̯ɛ²¹⁴⁻²¹ weɪ̯³⁵ ʐu̯ɔ⁵¹/

/jœːk̚² t͡sʰɛː³⁵ wɐi̯²¹ jœːk̚²/

شَرْطَ أَنّ

在此條件成立，並且僅在這個條件成立時

فَقَط إِذَا

在此條件成立，並且僅在這個條件成立時

شَرِيطَةً أَنَّ

在此條件成立，並且僅在這個條件成立時

فَقَط فِي حَالَة

在此條件成立，並且僅在這個條件成立時

بشرط إن

在此條件成立，並且僅在這個條件成立時

بس لو

在此條件成立，並且僅在這個條件成立時

baldin eta soilik baldin

在此條件成立，並且僅在這個條件成立時

si i només si

在此條件成立，並且僅在這個條件成立時

právě tehdy, když

在此條件成立，並且僅在這個條件成立時

hvis og kun hvis

在此條件成立，並且僅在這個條件成立時

dan en slechts dan als

在此條件成立，並且僅在這個條件成立時

als en slechts als

在此條件成立，並且僅在這個條件成立時

if and only if

在此條件成立，並且僅在這個條件成立時

se kaj nur se

在此條件成立，並且僅在這個條件成立時

jos ja vain jos

在此條件成立，並且僅在這個條件成立時

si et seulement si

在此條件成立，並且僅在這個條件成立時

მხოლოდ იმ შემთხვევაში, თუ

在此條件成立，並且僅在這個條件成立時

genau dann, wenn

在此條件成立，並且僅在這個條件成立時

dann und nur dann, wenn

在此條件成立，並且僅在這個條件成立時

αν και μόνο αν

在此條件成立，並且僅在這個條件成立時

אם ורק אם

在此條件成立，並且僅在這個條件成立時

akkor és csakis akkor, ha

在此條件成立，並且僅在這個條件成立時

ef og aðeins ef

在此條件成立，並且僅在這個條件成立時

þá og því aðeins að

在此條件成立，並且僅在這個條件成立時

is gá agus is leor

在此條件成立，並且僅在這個條件成立時

se e solo se

在此條件成立，並且僅在這個條件成立時

tada ir tik tada

在此條件成立，並且僅在這個條件成立時

اگر و فقط اگر

在此條件成立，並且僅在這個條件成立時

wtedy i tylko wtedy

在此條件成立，並且僅在這個條件成立時

se e somente se

在此條件成立，並且僅在這個條件成立時

dacă și numai dacă

在此條件成立，並且僅在這個條件成立時

тогда и только тогда

在此條件成立，並且僅在這個條件成立時

тогда́ и то́лько тогда́(, когда́ ...)

če in samo če

在此條件成立，並且僅在這個條件成立時

si y sólo si

在此條件成立，並且僅在這個條件成立時

om och endast om

在此條件成立，並且僅在這個條件成立時

ก็ต่อเมื่อ

在此條件成立，並且僅在這個條件成立時

ancak ve ancak

在此條件成立，並且僅在這個條件成立時

khi và chỉ khi

在此條件成立，並且僅在這個條件成立時

nếu và chỉ nếu

在此條件成立，並且僅在這個條件成立時

在此條件成立，並且僅在這個條件成立時


套套邏輯

ㄊㄠˋ ˙ㄊㄠ ㄌㄨㄛˊ ˙ㄐㄧ, ㄊㄠˋ ˙ㄊㄠ ㄌㄨㄛˊ ㄐㄧˊ

現代標準漢語, 中國大陸

ㄊㄠˋ ˙ㄊㄠ ㄌㄨㄛˊ ˙ㄐㄧ

現代標準漢語, 中國大陸

現代標準漢語, 中國大陸

現代標準漢語, 中國大陸

現代標準漢語, 中國大陸

現代標準漢語, 中國大陸

現代標準漢語, 中國大陸

/tʰɑʊ̯⁵¹ tʰɑʊ̯¹ lu̯ɔ³⁵ d͡ʑ̥i³/

現代標準漢語, 中國大陸

ㄊㄠˋ ˙ㄊㄠ ㄌㄨㄛˊ ㄐㄧˊ

/tʰɑʊ̯⁵¹ tʰɑʊ̯¹ lu̯ɔ³⁵ t͡ɕi³⁵/

/tʰou̯³³ tʰou̯³³ lɔː²¹ t͡sʰɐp̚⁵/

在任何解釋下皆為真的命題

說到這裡，我想起另一個類似的科學體系——達爾文的物種起源學說，許多人曾指責所謂「適者生存」不過是一種套套邏輯，因為任何生物性狀都可以被解釋為對環境的適應。

Shuō dào zhèlǐ, wǒ xiǎngqǐ lìng yī ge lèisì de kēxué tǐxì — Dá'ěrwén de wùzhǒng qǐyuán xuéshuō, xǔduō rén céng zhǐzé suǒwèi “shìzhě shēngcún” bùguò shì yī zhǒng tàotao luóji, yīnwèi rènhé shēngwù xìngzhuàng dōu kěyǐ bèi jiěshì wéi duì huánjìng de shìyìng.

2012，辉格，《自私的皮球：我们的日子为什么是这样过的》，第268頁

说到这里，我想起另一个类似的科学体系——达尔文的物种起源学说，许多人曾指责所谓「适者生存」不过是一种套套逻辑，因为任何生物性状都可以被解释为对环境的适应。

2012，辉格，《自私的皮球：我们的日子为什么是这样过的》，第268頁

《自私的皮球：我们的日子为什么是这样过的》

2012，辉格，《自私的皮球：我们的日子为什么是这样过的》，第268頁