Logique et métalogique: essai sur la structure et les frontières de la pensée logique |
Other editions - View all
Common terms and phrases
absolument affirmer Aristote aristotélicienne axiomes BRUNSCHVICG c'est-à-dire calcul Carnap chose classes vides cohérence concept concret contenu contradiction COUTURAT d'Aristote déduction définir définition démontrer déterminer dire discours logique domaine DOPP effet énoncés essence existentiel faux foncteur fonde formalisation forme logique Gentzen HUSSERL identité implique intuition jugement Kant l'esprit l'être l'implication l'intuition l'objet Leçons de logique Leibniz Logic logiciens Logik logique ancienne logique classique logique formelle logique intuitionniste logique moderne logiques plurivalentes logisticiens logistique lois LUKASIEWICZ mathématiques ment métalogique métaphysique méthode négation notion objet ontologique philosophie pose position postulats préciser prédicat principe d'identité principe de non-contradiction principes premiers problème propositionnel propositions propre propriétés psychologique pure question raison ramène réel règles relation Russell SAINT THOMAS savoir science scientifique scolastique sens serait seulement signifie structure sujet syllogisme syllogistique symbolique système formel termes théorèmes théorie théorie des types tiers-exclu tion type universelle valable valeur variables vérité vrai