Language/Multiple-languages/Vocabulary/Logic

Rate this lesson:

0.00

(0 votes)

Help - Comments

Hello polyglots, 😀

On this page you will find a part of the Sci–Tech Index, a project for science and technology learners.

eng-Latn-US: concept	cmn-Hans-CN: 概念	cmn-Latn.Pinyin-CN: gàiniàn	deu-Latn-DE: Begriff [m]	fra-Latn-FR: concept [m]	jpn-Jpan-JP: 概念	jpn-Hrkt-JP: が↓いねん	rus-Cyrl-RU: конце́пция
logic	逻辑学	luóji xué	Logik [f]	logique [f]	論理学	ろ↑んり↓がく	ло́гика

formal logic	形式逻辑	xíngshì luóji	formale Logik	logique [f] formelle	形式論理	け↑いしきろ↓んり	форма́льная ло́гика
classical logic, standard logic	经典逻辑，标准逻辑	jǐngdiǎn luóji, biǎozhǔn luóji	klassischen Logik	logique [f] classique	古典論理，標準論理	こ↑てんろ↓んり，ひょ↑うじゅんろ↓んり	класси́ческая ло́гика
non-classical logic, alternative logic	非经典逻辑，替代逻辑	fēi jīngdiǎn luóji, tìdài luóji	nichtklassische Logik	logique non classique [f]	非古典論理	ひ↑こてんろ↓んり	некласси́ческие ло́гики
informal logic	非形式逻辑	fēi xíngshì luóji	informelle Logik	logique [f] informelle	非形式論理	ひ↑けいしきろ↓んり	неформа́льная ло́гика

Main

Formal Logic

eng-Latn-US: concept	eng-Latn-US: prerequisite	cmn-Hans-CN: 概念	cmn-Latn.Pinyin-CN: gàiniàn	deu-Latn-DE: Begriff [m]	fra-Latn-FR: concept [m]	jpn-Jpan-JP: 概念	jpn-Hrkt-JP: が↓いねん	rus-Cyrl-RU: конце́пция

contradiction	proposition	矛盾	máodùn	Kontradiktion [f]	contradiction [f], antilogie [f]	矛盾	む↑じゅん	противоре́чие
interpretation	symbol; formal language	解释	jiěshì	Interpretation [f]	interprétation [f]	解釈	か↓いしゃく	толкова́ние
formal language		形式语言	xíngshì yǔyán	formale Sprache	langage formel	形式言語	け↑いしきげ↓んご	форма́льный язы́к
necessary condition	necessity	必要条件	bìyào tiáojiàn	notwendige Bedingung	condition nécessaire	必要条件	ひ↑つようじょ↓うけん	необходи́мое усло́вие
necessary and sufficient condition	sufficiency	充分必要条件	chōngfèn bìyào tiáojiàn	notwendige und hinreichende Bedingung	condition nécessaire et suffisante	必要十分条件	ひ↑つよう↓じゅ↑うぶんじょ↓うけん	необходи́мое усло́вие и доста́точное усло́вие
necessity	statement; material implimentation	必要性	bìyào xìng	Notwendigkeit [f]	nécessité [f]	必要性	ひ↑つようせい	необходи́мость
proposition		命题	mìngtí	Aussage [f]	proposition [f]	命題	め↑いだい	пропози́ция
sufficiency	statement; material implimentation	充分性	chōngfèn xìng	Hinlänglichkeit [f]	suffisance [f]	十分性	じゅ↑うぶんせい	доста́точность
sufficient condition	sufficiency	充分条件	chōngfèn tiáojiàn	hinreichende Bedingung	condition suffisante	十分条件	じゅ↑うぶんじょ↓うけん	доста́точное усло́вие
syntax					syntaxe [f]			си́нтаксис
tautology	well-formed formula	恒真式	héngzhēn shì	Tautologie [f]	tautologie [f]	恒真式，トートロジー	こ↑うし↓んしき，ト↑ート↓ロジー	тавтоло́гией

Classical Logic, Standard Logic

eng-Latn-US: concept	eng-Latn-US: prerequisite	cmn-Hans-CN: 概念	cmn-Latn.Pinyin-CN: gàiniàn	deu-Latn-DE: Begriff [m]	fra-Latn-FR: concept [m]	jpn-Jpan-JP: 概念	jpn-Hrkt-JP: が↓いねん	rus-Cyrl-RU: конце́пция

antecedent	hypothesis; proposition	前件	qián jiàn	Antezedens [n]	antécédent [m]	前件	ぜ↑んけん	антецеде́нт
consequent	hypothesis; proposition	后件	hòu jiàn	Sukzedens [n]	conséquent [m]	後件	こ↑うけん	сле́дствие, консекве́нт
explanation	statement; description; causality; logical consequence	解释	jiěshì	Erklärung [f]	explication [f]	説明	せ↑つめい	объясне́ние
hypothesis [pl:hypotheses]	explanation; phenomenon	假说	jiǎshō	Hypothese [f]	hypothèse [f]	仮説	か↑せつ	гипо́теза
logical consequence, entailment	statement	蕴涵	yùnhán	Implikation [f]	déduction [f] logique	論理的帰結	ろ↑んりてききけつ	умозаключе́ние
phenomenon [pl:phenomena]		现象	xiànxiàng	Phänomen [n]	phénomène [m]	現象	げ↑んしょう	фено́мен
premise, premiss	argument; logical consequence	前提	qiántí	Prämisse [f], Vordersatz [m]	prémisse [f]	前提	ぜ↑んてい	посы́лка
principle of sufficient reason	reason; causality	充足理由律	chōngzú lǐyóu lǜ	Satz [m] vom zureichenden Grund	principe [f] de raison suffisante	充足理由律	じゅ↑うそくりゆ↓うりつ	зако́н доста́точного основа́ния
proposition		命题	mìngtí	Aussage [f]	proposition [f]	命題	め↑いだい	пропози́ция
soundness	validity	可靠性	kěkào xìng	Korrektheit [f]	Correction [f]	健全性	け↑んぜんせい
validity	premise; tautology	有效性	yǒuxiào xìng	Allgemeingültigkeit [f]	validité [f]	妥当性	だ↑とうせい	общезна́чимость [ж]

law of thought
eng-Latn-US: concept	cmn-Hans-CN: 概念	cmn-Latn.Pinyin-CN: gàiniàn	deu-Latn-DE: Begriff [m]	fra-Latn-FR: concept [m]	jpn-Jpan-JP: 概念	jpn-Hrkt-JP: が↓いねん	rus-Cyrl-RU: конце́пция
law of thought	思维规律，思考规律	sīwéi guǐlǜ, sīkǎo guīlǜ	Denkgesetz [n]		思考の原理	し↑こうのげ↓んり

law of identity, principle of identity	同一律	tóngyī lǜ	Identitätsprinzip [n]	principe [m] d'identité	同一律，同一原理	ど↓ういちりつ，ど↑ういつげ↓んり	зако́н то́ждества
law of non-contradiction, principle of non-contradiction, law of contradiction, principle of contradiction	无矛盾律，矛盾律	wú máodùn lǜ, máodùn lǜ	Satz [m] vom ausgeschlossenen Widerspruch, Satz [m] vom Widerspruch	principe [m] de non-contradiction, principe [m] de contradiction	無矛盾律，矛盾律	む↑むじゅ↓んりつ，む↑じゅ↓んりつ	зако́н непротиворечия, зако́н противоречия
law of excluded middle, principle of excluded middle, law of the excluded third, principle of the excluded third	排中律	páizhōng lǜ	Satz [m] vom ausgeschlossenen Dritten	principe [m] du tiers exclu	排中律	は↑いちゅ↓うりつ	зако́н исключённого тре́тьего

Propositional Calculus, Propositional Logic, Statement Logic, Sentential Calculus, Sentential Logic

eng-Latn-US: concept	eng-Latn-US: prerequisite	cmn-Hans-CN: 概念	cmn-Hans-CN: 前提	cmn-Latn.Pinyin-CN: gàiniàn	cmn-Latn.Pinyin-CN: qiántí	deu-Latn-DE: Begriff [m]	deu-Latn-DE: Voraussetzung [f]	fra-Latn-FR: concept [m]	fra-Latn-FR: préalable [m]	jpn-Jpan-JP: 概念	jpn-Jpan-JP: 前提	jpn-Hrkt-JP: が↓いねん	jpn-Hrkt-JP: ぜ↑んてい	rus-Cyrl-RU: конце́пция	rus-Cyrl-RU: предпосы́лка

logical connective
eng-Latn-US: concept	eng-Latn-US: prerequisite	fra-Latn-FR: concept [m]
logical connective, logical operator, sentential connective, sentential operator		connecteur [m] logique

alternative denial	negation; conjunction
conjunction	set <mathematical logic>	conjonction [f]
converse	statement	implication [f] réciproque
disjunction	set <mathematical logic>	disjonction [f]
exclusive disjunction, exclusive or		disjonction [f] exclusive, ou [m] exclusif
joint denial		non-ou [m]
biconditional, material biconditional		biconditionnel [m], biconditionnel [m] matériel
conditional, material conditional, material implication		conditionnel [m], implication [f] matérielle
negation	set <mathematical logic>	négation [f]
statement

rule of inference
eng-Latn-US: concept	eng-Latn-US: prerequisite	cmn-Hans-CN: 概念	cmn-Hans-CN: 前提	cmn-Latn.Pinyin-CN: gàiniàn	cmn-Latn.Pinyin-CN: qiántí	deu-Latn-DE: Begriff [m]	deu-Latn-DE: Voraussetzung [f]	fra-Latn-FR: concept [m]	fra-Latn-FR: préalable [m]	jpn-Jpan-JP: 概念	jpn-Jpan-JP: 前提	jpn-Hrkt-JP: が↓いねん	jpn-Hrkt-JP: ぜ↑んてい	rus-Cyrl-RU: конце́пция	rus-Cyrl-RU: предпосы́лка
rule of inference

affirming the antecedent, modus ponens, modus ponendo ponens
denying the consequent, modus tollens, modus tollendo tollens

Non-Classical Logic, Alternative Logic

eng-Latn-US: concept	eng-Latn-US: prerequisite	cmn-Hans-CN: 概念	cmn-Hans-CN: 前提	cmn-Latn.Pinyin-CN: gàiniàn	cmn-Latn.Pinyin-CN: qiántí	deu-Latn-DE: Begriff [m]	deu-Latn-DE: Voraussetzung [f]	fra-Latn-FR: concept [m]	fra-Latn-FR: préalable [m]	jpn-Jpan-JP: 概念	jpn-Jpan-JP: 前提	jpn-Hrkt-JP: が↓いねん	jpn-Hrkt-JP: ぜ↑んてい	rus-Cyrl-RU: конце́пция	rus-Cyrl-RU: предпосы́лка

Informal Logic

eng-Latn-US: concept	eng-Latn-US: prerequisite	cmn-Hans-CN: 概念	cmn-Hans-CN: 前提	cmn-Latn.Pinyin-CN: gàiniàn	cmn-Latn.Pinyin-CN: qiántí	deu-Latn-DE: Begriff [m]	deu-Latn-DE: Voraussetzung [f]	fra-Latn-FR: concept [m]	fra-Latn-FR: préalable [m]	jpn-Jpan-JP: 概念	jpn-Jpan-JP: 前提	jpn-Hrkt-JP: が↓いねん	jpn-Hrkt-JP: ぜ↑んてい	rus-Cyrl-RU: конце́пция	rus-Cyrl-RU: предпосы́лка

Appendix

Sentence

eng-Latn-US: concept	eng-Latn-US: prerequisite	cmn-Hans-CN: 概念	cmn-Hans-CN: 前提	cmn-Latn.Pinyin-CN: gàiniàn	cmn-Latn.Pinyin-CN: qiántí	deu-Latn-DE: Begriff [m]	deu-Latn-DE: Voraussetzung [f]	fra-Latn-FR: concept [m]	fra-Latn-FR: préalable [m]	jpn-Jpan-JP: 概念	jpn-Jpan-JP: 前提	jpn-Hrkt-JP: が↓いねん	jpn-Hrkt-JP: ぜ↑んてい	rus-Cyrl-RU: конце́пция	rus-Cyrl-RU: предпосы́лка

Symbol

Formal Logic

symbol	eng-Latn-US: concept	cmn-Hans-CN: 概念	cmn-Latn.Pinyin-CN: gàiniàn	deu-Latn-DE: Begriff [m]	fra-Latn-FR: concept [m]	jpn-Jpan-JP: 概念	jpn-Hrkt-JP: が↓いねん	rus-Cyrl-RU: конце́пция

logical connective
symbol	eng-Latn-US: concept	cmn-Hans-CN: 概念	cmn-Latn.Pinyin-CN: gàiniàn	deu-Latn-DE: Begriff [m]	fra-Latn-FR: concept [m]	jpn-Jpan-JP: 概念	jpn-Hrkt-JP: が↓いねん	pes-Aran-IR: مَفهوم	rus-Cyrl-RU: конце́пция

≔, ≡, :⇔	definition
⊤, T, 1, ■	tautology
⊥, F, 0, □	contradition
¬, ~, !	negation
∧, &, ·	conjunction
∨, ∥, +	disjunction
←	converse
↑, \|	alternative denial
→, ⇒, ⊃	material implication
↓	joint denial
↔, ⇔, ≡, ⟷, ⟺	material equivalence
↚	converse nonimplimencation
↛	nonimplimencation
↮, ⊻, ⩒, ⩛, ⊕, ≢	exclusive disjunction

Process

eng-Latn-US: process	eng-Latn-US: constituent	cmn-Hans-CN: 过程	cmn-Hans-CN: 构件	cmn-Latn.Pinyin-CN: guòchéng	cmn-Latn.Pinyin-CN: gòujiàn	deu-Latn-DE: Prozess [m]	deu-Latn-DE: Bestandteil [m]	fra-Latn-FR: procès [m]	fra-Latn-FR: composant [m]	jpn-Jpan-JP: 過程	jpn-Jpan-JP: 構材	jpn-Hrkt-JP: か↑てい	jpn-Hrkt-JP: こ↑うざい	rus-Cyrl-RU: проце́сс	rus-Cyrl-RU: соста́вная часть

Resource under a Public License

name	language	link

forall x: Calgary. An Introduction to Formal Logic	English	https://forallx.openlogicproject.org/
Logic Primer Files	English	https://tellerprimer.ucdavis.edu/pdf
Open Logic Project	English	https://openlogicproject.org/