We investigate sequent calculi for the weak modal (propositional) system reduced to the equivalence rule and extensions of it up to the full Kripke system containing monotonicity, conjunction and necessitation rules. The calculi have cut elimination and we concentrate on the inversion of rules to give in each case an effective procedure which for every sequent either furnishes a proof or a finite countermodel of it. Applications to the cardinality of countermodels, the inversion of rules and the derivability of Löb (...) rules are given. (shrink)

The aim of this paper is on the one hand to remind the Western reader of some aporias of Chinese antiquity, and on the other hand to show that a logic of sorts or of types similar to that which has been proposed to explain the relation between categories (in the mathematical sense of the term) and logic brings much light on these aporias. This should be contrasted with older traditional explanations using conventional syllogistics or feeling satised with too simple (...) explanations such as the confusion between inclusion and identity. The article is based on preceding papers of the Author, but stresses the basic unity of the solutions which were proposed there. (shrink)

Tout récemment, Y. Kalliontzis et Chr. Müller ont publié sept nouveaux catalogues militaires de Chorsiai. Le présent article part du constat que la chronologie des archontes fédéraux béotiens adoptée pour ces nouveaux documents soulève des difficultés. En confrontant la série de textes de Chorsiai aux autres séries documentaires existantes, notamment celle d’Aigosthènes, il est possible de proposer de nouvelles hypothèses chronologiques qui font disparaître ces difficultés. Sur la base de la série d’archontes fédéraux attestés dans les nouveaux textes de Chorsiai, (...) une séquence chronologique alternative est proposée pour le dernier quart du iiie siècle av. J.‑C., et sa plausibilité est testée à partir des données prosopographiques d’Akraiphia et de Hyettos. (shrink)

The purpose of this article is to evaluate the Moist Canons from the point of view of logic, as a system of definitions. We concentrate more specifically on the formal organization of the upper part of the Moist Canons. This method leads us to a globally positive evaluation of the system of definitions but also to the less expected conclusion that a few very basic concepts are undefined and form the background of the Moist concrete, realist, and pragmatic philosophical system: (...) ran, to be so; de, to obtain; ming, illumination; zuo, to initiate; and wei, to act. (shrink)

Journal of Chinese Philosophy, EarlyView.

Le texte des comptes de l’hipparque thébain Pompidas (IG VII, 2426) a suscité de nombreux commentaires depuis son édition, sans que soient pleinement élucidées les questions qu’il soulève. On propose ici de relier deux éléments du texte qui ont toujours été étudiés séparément, à savoir la vente de deux chevaux à bas prix par l’hipparque d’une part, et la distribution de sommes d’argent plus ou moins importantes à sept personnes d’autre part, pour fournir une nouvelle interprétation du texte. Celui-ci concernerait (...) la remonte de la cavalerie thébaine : les deux chevaux sont des bêtes réformées, et l’argent fourni par l’hipparque à leurs deux propriétaires et à cinq autres personnes pourrait être une indemnité destinée à faciliter l’achat d’une monture par les cavaliers. Une comparaison est proposée avec ce qu’on sait des systèmes de remonte dans les cavaleries grecques et hellénistiques. (shrink)