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.

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)

The monumental works of Bertrand Russell and Louis Couturat have set a firm pattern of interpretation which many follow in their approach to the Philosophy of Leibniz. In the Preface to the second edition of The Philosophy of Leibniz , Russell reaffirms his contention that “Leibniz’s philosophy was almost entirely derived from his logic”. He welcomes the support provided in Couturat’s La Logique de Leibniz . Russell remarks “No candid reader—can doubt that Leibniz’s metaphysic was derived by him from (...) the subject-predicate logic. This appears, for example, from the paper ‘Primae Veritates’ where all the main doctrines of the Monadology are deduced, with terse logical rigor from the premises; ‘Always therefore the predicate or consequent adheres in the subject or antecedent, and in this fact consists the nature of truth in general—But this is true in every affirmative truth, universal or singular, necessary or contingent’.” Referring further to Couturat, he points out that in his book the “Principle of Sufficient Reason” and “The Identity of Indiscernibles” are “expressly deduced—from the analytic character of all true propositions”. In short, Russell is contending that in formulating his metaphysics Leibniz used the rigorous methods of deductive logic and employed “models” drawn from logic to construct his “picture of reality”, i.e. his metaphysics. (shrink)