Dans la catégorie "logique" :

George Boole (1815-1864) est un logicien anglais, considéré comme le père de la logique moderne. Il est l’inventeur du concept d'ensemble....

Un ensemble dénombrable est un ensemble où il existe une bijection entre cet ensemble et l’ensemble des nombres entiers (N)....

Le terme déductif désigne un raisonnement qui procède par déduction.  ...

Un critère est un élément qui permette de poser un jugement.    ...

En mathématique, le continu est une notion qui désigne la cardinalité de l’ensemble des points sur une ligne....

Le contingent est ce qui n’est pas nécessaire. Selon Aristote, le contingent est « ce qui peut (ou pourrait) être autrement qu’il n’est ».    ...

En épistémologie, la conjecture est une supposition qui attend d’être vérifiée.    ...

En grammaire, un connecteur logique est un morphème (adverbes, conjonctions de coordination ou de subordination) qui établi une liaison entre deux énoncés....

En logique, la conjonction « et » est un connecteur logique qui relie deux propositions. La proposition composée de deux propositions reliées par ce connecteur est vraie si ces deux propositions le sont....

L’hypothèse Ad Hoc est une hypothèse auxiliaire formulée pour sauver une théorie de la réfutation.      ...

L’abduction, terme introduit par C.S. Peirce, est un processus de raisonnement pour former des hypothèses qui se distingue de la déduction et de l’induction.       ...

Kurt Gödel (1906-1978) est un mathématicien et logicien américain d’origine thèque. Il a formulé le théorème d’incomplétude.   ...

Gottlob Frege (1848-1925) est un mathématicien et logicien allemand, considéré comme le père de la logique moderne. Il introduit une distinction entre sens et dénotation. Ces grâces à Russell que le travail de Frege a été reconnu comme...

Selon S. Kripte, un terme est un désignateur rigide s’il désigne la même entité dans toutes les circonstances possibles dans lesquelles l’entité existe.   ...

L’aporie est la difficulté rencontré face à deux thèses également raisonnées mais contraire.  ...

Il y a deux manières pour définir une classe ou une collection : en intension – à distinguer du mot « intention » avec un «t » -  et en extension. Si nous voulons, par exemple, définir une collection rep...