L'objet propre de la logique

La logique est une théorie normative du raisonnement, qui vise à caractériser la classe des arguments déductifs valides en déterminant si la conclusion est conséquence logique des prémisses. Mais, selon la définition sémantique devenue classique, la caractérisation de la relation de conséquence logique dépend elle-même de la caractérisation de la classe des mots logiques, ces mots qui, comme « non », « et », « tous » ou « certains » servent à articuler nos raisonnements. J’examine dans cet article à quelles conditions une analyse conceptuelle des propriétés sémantiques des mots logiques permet d’éclairer et de compléter une analyse conceptuelle des propriétés distinctives de la relation de conséquence logique.Logic is a normative theory of reasoning, which aims at characterizing the class of deductively valid arguments by determining whether a given conclusion logically follows from certain premisses. According to the standard semantic definition, the characterization of the relation of logical consequence depends itself on a characterization of the class of the so-called logical constants, those words, such as « not », « and », « all » or « some » which provide the logical structure of our arguments. In this paper, I shall make precise the conditions under which a conceptual analysis of the semantic properties of logical constants can complete, and shed light upon, a conceptual analysis of the distinctive properties of logical consequence