逻辑学词汇

逻辑学词汇
逻辑 logique
逻辑学家 logicien
直觉逻辑 Logique intuitionniste
模糊逻辑 Logique floue
线性逻辑Logique linéaire
形式逻辑 logique formelle
辩证逻辑 logique dialectique
归纳逻辑 logique inductive
数理逻辑logique mathématique
符号逻辑 logique symbolique
逻辑思维pensée logique
思维方式mode de la pensée
概念 conception
基本概念 conception fondamentale
内涵 intention
外延 extention
属性 attribut
定义définition
判断 jugement
还元 reduction
单独概念conception singlière
集合概念 conception collective
普通概念conception générale
具体概念 conceptio n concrète
抽象概念 conception abstraite
肯定概念 conception positive
否定概念conception négative
对立概念conception opposée
矛盾概念 conception contradictoire
逻辑判断 jugement logique
单称判断jugement singulière
全称判断 jugement universelle
特称判断jugement particulière
肯定判断 jugement affirmative
否定判断jugement négative
盖然判断jugement problématique
突然判断 jugement assertorique
必然判断 jugement apodictique
定言判断jugement catégorique
选言判断 jugement disjonctive
假言判断jugement hypothétique
推论inférence
直接推理inférence directe
间接推理 i nférence indirecte
纳归推理 raisonnement inductif
演绎推理raisonnement déductif
抽象推理 raisonnement abstrait
抽象 abstraction
概括généralisation
分析 analyse
综合synthèse
归纳 induction
演绎décution
正题thèse
反题antithèse
合题synthèse
因果性causalité
普遍性 universali té
妥当性validité
客观性objectivité
必然性nécessité
盖然性probabilité
公理 axiome
证明 Demonstration
爆炸原理 Principe de l'explosion
德•摩根定律（对偶性）lois de De Morgan 排中律 Principe du tiers exclu
无矛盾律 Loi de non-contradiction
形式语言 Langage formel
非形式逻辑 non-formal logic
数理逻辑/元数学La logique mathématique 模形论Théorie des modèles
语句/判断 phrase
判决 sentence
函数 Fonction
常函数 Constant
递规论Fonction récursive
可计算函数 Fonction calculable
原始递归函数Fonction récursive primitive 编译器 Compilateur
三段论 Syllogisme
定言三段论法 syllogisme c atégorique
假言三段论法syllogisme hypothétique
选言三段论法 syllogisme disjonctive
二难推理/两刀论法 dilemme
命题论题 proposition
前提prémisse
大前题prémisse majeure
小前题prémisse minorative
假设hypothèse
推理 raisonnement
论据 argument
语义学Sémantique
逻辑实证主义 Positivisme logi que/empirisme logique/néo-positivisme/empirisme rationel
逆推法rétroduction
归纳法méthode induction
求同法méthode de l'agrément
求异法méthode de la différence
演绎法méthode déductive
Calcul des propositions 命题逻辑
Calcul des prédicats一阶逻辑
Logique d'ordre su périeur高阶逻辑。