25,344 research outputs found
Isabelle de Charrière et l'Europe des lettres
No full textNuméro des Annales Benjamin Constant contenant 11 articles consacrés à Isabelle de Charrière
ROLLIER Constant
No full textHavelange Isabelle, Huguet Françoise, Lebedeff-Choppin Bernadette. ROLLIER Constant. In: Havelange Isabelle, Huguet Françoise, Lebedeff-Choppin Bernadette. Les inspecteurs généraux de l'Instruction publique. Dictionnaire biographique 1802-1914. Paris : Institut national de recherche pédagogique, 1986. p. 596. (Histoire biographique de l'enseignement, 11
BENJAMIN CONSTANT AND THE PRINCIPES DE POLITIQUE
No full textopenQUESTO LAVORO FORNISCE UNA PANORAMICA SUL PENSIERO POLITICO DI BENJAMIN CONSTANT, PARTENDO DALL'OPERA DEL 1815 "PRINCIPES DE POLITIQUE APPLICABLES A TOUS LES GOUVERNEMENT".
NEL PRIMO CAPITOLO SONO ESPOSTI ALCUNI DATI BIOGRAFICI RIGUARDO ALL'AUTORE, NEL SECONDO CAPITOLO VIENE PRESENTATO IL PENSIERO DI CONSTANT RIGUARDO ALLA COSTITUZIONE, NEL TERZO CAPITOLO SONO PRESENTANTI I POTERI FONDAMENTALI CHE L'AUTORE TRATTA, NEL QUARTO CAPITOLO VIENE PRESENTATO IL PENSIERO DELL'AUTORE RIGUARDO ALLA SOCIETA' E, NELL'ULTIMO CAPITOLO, SI TROVANO ALCUNI CONFRONTI TRA BENJAMIN CONSTANT ED ALTRI AUTORI, COME ROUSSEAU E MONTESQUIEU.THIS WORK PROVIDES AN OVERVIEW OF BENJAMIN CONSTANT'S POLITICAL THOUGHT, STARTING FROM THE 1815 WORK "PRINCIPES DE POLITIQUE APPLICABLES A TOUS LES GOUVERNEMENT".
IN THE FIRST CHAPTER SOME BIOGRAPHICAL DATA ABOUT THE AUTHOR ARE PRESENTED, IN THE SECOND CHAPTER CONSTANT'S THOUGHT ON THE CONSTITUTION IS PRESENTED, IN THE THIRD CHAPTER THE FUNDAMENTAL POWERS THAT THE AUTHOR DEALS WITH ARE PRESENTED, IN THE FOURTH CHAPTER THERE IS THE AUTHOR'S THOUGHT ABOUT SOCIETY AND, IN THE LAST CHAPTER, THERE ARE SOME COMPARISONS BETWEEN BENJAMIN CONSTANT AND OTHER AUTHORS, LIKE ROUSSEAU AND MONTESQUIEU
Isabelle de Charrière : Une Liaison dangereuse. Correspondance avec Constant d'Hermenches, 1760-1776. Édition établie, présentée et annotée par Isabelle et Jean-Louis Vissière. 1991
No full textTrousson Raymond. Isabelle de Charrière : Une Liaison dangereuse. Correspondance avec Constant d'Hermenches, 1760-1776. Édition établie, présentée et annotée par Isabelle et Jean-Louis Vissière. 1991. In: Dix-huitième Siècle, n°25, 1993. L'Europe des Lumières. p. 535
Isabelle Constant, Le rêve dans le roman africain et antillais
No full textLes ouvrages critiques qui s’intéressent à la fonction du rêve en littérature étant très nombreux, Isabelle Constant s’efforce, dès l’introduction, de s’en démarquer: «L’ambition de cet essai est de parvenir à proposer une théorie du rôle du rêve dans le roman, à partir d’un choix d’exemples et non d’appliquer des théories occidentales du rêve à ces exemples pour les analyser. Je cherche au contraire à m’éloigner de l’analyse psychologique. […] Cet essai s’attache plutôt à la compréhension de..
Constant market shares analysis: uses, limitations and prospects
No full textIn this paper, we generalise the constant market shares (CMS) framework, with particular attention to the underlying theoretical conditions required for diagnostic interpretation. The approach is applied to the analysis of the export performance of the Australian processed food sector in South-East Asia over the period 1980–2003. We conclude that the usefulness of CMS analysis for evaluating a country’s international trade performance depends upon the empirical validity of the aggregation assumptions implicit in the diagnostic interpretation.aggregation, Armington model, competitiveness, constant market shares, Marketing,
Isabelle-91
No full textIsabelle is a generic theorem prover. Object-logics are formalized within higher-order logic, which is Isabelle’s meta-logic. Proofs are performed by a generalization of resolution, using higher-order unification. The latest incarnation of Isabelle, Isabelle-91, features a type system based on order-sorted unification; this supports polymorphism and overloading in logic definitions. 1 Defining logics Isabelle’s meta-logic is intuitionistic higher-order logic with implication (=⇒), universal quantifiers ( �), and equality (≡) [5, 6]. The presentation of an object-logic consists of a signature introducing the types and constants of the logic, i.e. its abstract syntax, and axioms describing the inference rules. As a tiny example, consider the following definition of minimal logic. Min = types form consts − → : form → (form → form) [ ] : form → prop rules ([P] = ⇒ [Q]) = ⇒ [P − → Q] [P − → Q] = ⇒ [P] = ⇒ [Q] Min introduces the type form (of object-formulae) and the infix constant − → (for objectimplication). The constant [ ] maps form to the predefined type prop of meta-logic propositions. The proposition [P] should be read as “the formula P is true”; we usually distinguish object-level formulae (form) from meta-level formulae (prop). In practice the brackets can be dropped; parser and pretty-printer take care of such matters. The two rules for minimal logic are typical natural deduction rules for implication introduction and elimination, which are usually written as follows
A Consistent Foundation for Isabelle/HOL
No full textThe interactive theorem prover Isabelle/HOL is based on the well understood higher-order logic (HOL), which is widely believed to be consistent (and provably consistent in set theory by a standard semantic argument). However, Isabelle/HOL brings its own personal touch to HOL: overloaded constant definitions, used to provide the users with Haskell-like type classes. These features are a delight for the users, but unfortunately are not easy to get right as an extension of HOL—they have a history of inconsistent behavior. It has been an open question under which criteria overloaded constant definitions and type definitions can be combined together while still guaranteeing consistency. This paper presents a solution to this problem: non-overlapping definitions and termination of the definition-dependency relation (tracked not only through constants but also through types) ensures relative consistency of Isabelle/HOL
A consistent foundation for Isabelle/HOL
No full textThe interactive theorem prover Isabelle/HOL is based on well understood Higher-Order Logic (HOL), which is widely believed to be consistent (and provably consistent in set theory by a standard semantic argument). However, Isabelle/HOL brings its own personal touch to HOL: overloaded constant definitions, used to achieve Haskell-like type classes in the user space. These features are a delight for the users, but unfortunately are not easy to get right as an extension of HOL—they have a history of inconsistent behavior. It has been an open question under which criteria overloaded constant definitions and type definitions can be combined together while still guaranteeing consistency. This paper presents a solution to this problem: non-overlapping definitions and termination of the definition-dependency relation (tracked not only through constants but also through types) ensures relative consistency of Isabelle/HOL
Benjamin Constant, Madame de Staël, Isabelle de Charrière devant la critique italienne, in Annales B. Constant
No full textLa sottoscritta ha ideato e curato il volume ,facendolo precedere da una prefazione: "Une tradition qui se perpétue en se renouvelant". Verte sull'importanza della critica italiana contemporanea circa i principali rappresentanti del Gruppo di Coppet che risale agli anni 30. Continuità non è sinonimo di conservatismo. E' la scommessa di questo volume che riunisce studi provenienti da aree disciplinari diverse, quali le sciensze storico-politiche, la filosofia del diritto, gli studi letterari nelle loro diverse modulazioni metodologich
- …
