1° Les deux moments de l’analyse réflexive : intuition et raisonnement.2° Du sentiment de l’effort au moi chez Maine de Biran. Insuffisance d’une analyse psychologique fondée sur la causalité du moi et d’une analyse logique de la pensée fondée sur l’expérience de l’effort.3° De l’intention ou effort dirigé à la tendance. La tendance et la causalité psychique. L’induction reconstructive dans l’étude des tendances. L’analyse psycho-réflexive et la psychologie contemporaine.

RésuméL'objectif principal de cet article est de clarifier le sens et l'extension du concept d'analyticité tel qu'il s'applique aux systèmes formels de la logique. L'enjeu plus général de cette étude est une évaluation ékthodologique des approches philosophiques axées sur la reconstruction formelle et l'analyse logique des langues naturelles. Nous avons d'abord soutenu que la reconstruction formelle de l'analyticitéélaborée par Rudolf Carnap dans Meaning and Necessity met en place des conditions correspondant aux propriétés éktalogiques de complétude déductive et de (...) néga‐complétude. A la lumère des théorèmes de complétude et d'incomplhde de Kurt Gödel, nous avons ensuite cherchéà déterminer dans quelle mesure et dans quelles circonstances ces propriétés pouvaient être réalisées dans des systèmes formels de la logique. Nous avons conch de cette étude, premièrement que la reconstruction carnapéenne de I'analyticité se butait à des contraintes inhérentes aux formalismes et ne pouvait par conséquent pas constituer une explication du concept d'analyticité, et deuxieèmement, que fort peu de systèmes formels étaient analytiques au sens oú Carnap I'entend et que peu d'entre eux, par conséquent, étaient susceptibles de représenter les conditions de l'analyticité que presuppose une analyse logique du langage. (shrink)

The main objective o f this descriptive paper is to present the general notion of translation between logical systems as studied by the GTAL research group, as well as its main results, questions, problems and indagations. Logical systems here are defined in the most general sense, as sets endowed with consequence relations; translations between logical systems are characterized as maps which preserve consequence relations (that is, as continuous functions between those sets). In this sense, logics together with translations form a (...) bicomplete category of which topological spaces with topological continuous functions constitute a full subcategory. We also describe other uses of translations in providing new semantics for non-classical logics and in investigating duality between them. An important subclass of translations, the conservative translations, which strongly preserve consequence relations, is introduced and studied. Some specific new examples of translations involving modal logics, many-valued logics, para- consistent logics, intuitionistic and classical logics are also described. (shrink)