Depuis plusieurs années, il est acquis que les avocats ont joué un rôle important, voire décisif, dans la création et le développement du droit de l’environnement. Ils ont ainsi été à l’origine des grands procès emblématiques qui ont abouti à la création de principes fondamentaux du droit de l’environnement qui sont aujourd’hui : le droit à un environnement sain, le principe de prévention, le principe de précaution, le principe pollueur payeur. Cela n’a été possible que grâce à la décision des (...) juges, d’abord des juges de première instance et plus tardivement les juges supérieurs, ce qui suppose l’existence d’États de droit, et en tout cas d’États qui pratiquent la séparation des pouvoirs. Sans l’indépendance du juge, pas de nouvelles jurisprudences possibles à l’écoute de la demande sociale, liée d’abord à une exigence des conditions relatives à la qualité de la vie et, aujourd’hui, compte tenu des nouvelles menaces liées au climat et à l’effondrement de la biodiversité, à la protection de la vie même. Passant ainsi d’une demande locale à une demande globale, la question environnementale concerne désormais toute la planète. De ce fait, le droit de l’environnement doit progresser constamment et se transformer depuis sa création dans les années 1970 sous la même et encore plus forte impulsion de ces auxiliaires de justice. (shrink)

The aim of the paper is to develop the notion of partial probability distributions as being more realistic models of belief systems than the standard accounts. We formulate the theory of partial probability functions independently of any classical semantic notions. We use the partial probability distributions to develop a formal semantics for partial propositional calculi, with extensions to predicate logic and higher order languages. We give a proof theory for the partial logics and obtain soundness and completeness results.

Parallel to the New Left, whose influence on French public opinion is so pronounced today, a new academic movement has grown up in the United States in the last fifteen years. Its ideas are the portents of an intellectual and scientific revolution whose importance for the economic and political future of western society should be almost as great as the Keynesian revolution of the ‘30s.

Exploration de concepts avancés en logique formelle, notamment la logique modale, la logique partielle, la logique probabiliste et la logique intuitionniste.

With technologies like machine learning and data analytics being deployed as privileged means to improve how contemporary bureaucracies work, many governments around the world have turned to artificial intelligence as a tool of statecraft. In that context, our paper uses Canada as a critical case to investigate the relationship between ideals of good government and good technology. We do so through not one, but two Trudeaus—celebrity Prime Minister Justin Trudeau (2015—…) and his equally famous father, former Prime Minister Pierre Elliott (...) Trudeau (1968–1979, 1980–1984). Both shared a similar interest in new ideas and practices of both intelligent government and artificial intelligence. Influenced by Marshall McLuhan and his media theory, Pierre Elliott Trudeau deployed new communication technologies to restore centralized control in an otherwise decentralized state. Partly successful, he left his son with an informationally inclined political legacy, which decades later animated Justin Trudeau's own turn toward Big Data and artificial intelligence. Compared with one another, these two visions for both government and artificial intelligence illustrate the broader tensions between cybernetic and neoliberal approaches to government, which inform how new technologies are conceived of, and adopted, as political ones. As this article argues, Canada offers a paradigmatic case for how artificial intelligence is as much shaped by theories of government as by investments and innovations in computing research, which together delimit the contours of intelligence by defining which technical systems, people, and organizations come to be recognized as its privileged bearers. (shrink)

Cet article se veut une critique de la thèse défendue par [Cleland 1993], laquelle soutient que la thèse de Church doit être rejetée puisque les limites du calcul dépendent de la structure physique du monde. Dans un premier temps, nous offrons un (très) bref aperçu de la thèse de Church puis nous présentons l argument de Cleland. Par la suite, nous proposons une analyse critique de son argument, ce qui nous amènera à faire quelques distinctions conceptuelles par rapport aux notions (...) qui concernent la calculabilité. Finalement, nous montrons que les limites du calcul ne sont pas physiques mais bien logiques. En résumé, notre argument est que les limites du calcul sont déterminées en partie par le fait qu’une procédure effective doit pouvoir être décrite de manière finie. (shrink)

Cet article se veut une critique de la thèse défendue par [Cleland 1993], laquelle soutient que la thèse de Church doit être rejetée puisque les limites du calcul dépendent de la structure physique du monde. Dans un premier temps, nous offrons un bref aperçu de la thèse de Church puis nous présentons l argument de Cleland. Par la suite, nous proposons une analyse critique de son argument, ce qui nous amènera à faire quelques distinctions conceptuelles par rapport aux notions qui (...) concernent la calculabilité. Finalement, nous montrons que les limites du calcul ne sont pas physiques mais bien logiques. En résumé, notre argument est que les limites du calcul sont déterminées en partie par le fait qu’une procédure effective doit pouvoir être décrite de manière finie.Even though Church’s thesis is widely accepted among mathematicians, it is nonetheless controversial. In this paper, we argue against the position of [Cleland 1993], which defends that Church s thesis must be rejected because the limits of computation depend upon the physical structure of the world. We first give a brief overview of Church’s thesis and then we present Cleland s argument. We then propose a critical analysis of Cleland s argu­ment, which will involve some conceptual distinctions regarding the notion of computability, and finally we will show that the limits of computation are not physical but logical. In short, we argue that computation is limited by the fact that an effective procedure must be described in a finite way. (shrink)

Cet article se veut une critique de la thèse défendue par [Cleland 1993], laquelle soutient que la thèse de Church doit être rejetée puisque les limites du calcul dépendent de la structure physique du monde. Dans un premier temps, nous offrons un (très) bref aperçu de la thèse de Church puis nous présentons l argument de Cleland. Par la suite, nous proposons une analyse critique de son argument, ce qui nous amènera à faire quelques distinctions conceptuelles par rapport aux notions (...) qui concernent la calculabilité. Finalement, nous montrons que les limites du calcul ne sont pas physiques mais bien logiques. En résumé, notre argument est que les limites du calcul sont déterminées en partie par le fait qu’une procédure effective doit pouvoir être décrite de manière finie. (shrink)

In the organelles of plants and mammals, recent evidence suggests that genomic instability stems in large part from template switching events taking place during DNA replication. Although more than one mechanism may be responsible for this, some similarities exist between the different proposed models. These can be separated into two main categories, depending on whether they involve a single‐strand‐switching or a reciprocal‐strand‐switching event. Single‐strand‐switching events lead to intermediates containing Y junctions, whereas reciprocal‐strand‐switching creates Holliday junctions. Common features in all the (...) described models include replication stress, fork stalling and the presence of inverted repeats, but no single element appears to be required in all cases. We review the field, and examine the ideas that several mechanisms may take place in any given genome, and that the presence of palindromes or inverted repeats in certain regions may favor specific rearrangements. (shrink)

This book examines the revival of antique philosophy in the Renaissance as a literary preoccupation informed by wit.

In this paper, we introduce a Hilbert style axiomatic calculus for intutionistic logic with strong negation. This calculus is a preservative extension of intuitionistic logic, but it can express that some falsity are constructive. We show that the introduction of strong negation allows us to define a square of opposition based on quantification on possible worlds.

This book examines the epistemic function of perception and the relation between language and conceptual thought, and provides new ways of conceptualizing the Buddhist defense of the reflexivity thesis of consciousness: namely, that each cognitive event is to be understood as involving a pre-reflective implicit awareness of its own occurrence.

This paper presents a generalization of a proposal of van Benthem’s who has shown how to provide a canonical name for any object in propositional type theory. Van Benthem’s idea is to characterize any function in the hierarchy by the Boolean values the function takes for any sequence of arguments. The recursive definition of canonical names uses only the abstraction, functional application, the identity operator and the fact that we have a name for the true and the false. We show (...) that this result can be extended to the finite theory of types by the introduction of an algebra on individuals. (shrink)

Il apparaît qu’en France aujourd’hui, le modèle néoclassique de la concurrence inspire l’ essentiel de la réglementation de la concurrence. Or la théorie économique moderne, telle qu’elle est inspirée par Coase et Hayek notamment, tend à renverser les certitudes du modèle néoclassique et à admettre que la discrimination commerciale peut avoir un effet bénéfique sur l’efficacité économique. La distribution sélective prend tout son sens dans un contexte d’incertitude et d’ information imparfaite. C’est la confrontation de ces deux philosophies — celle (...) qui inspire le législateur français, le législateur allemand ou la doctrine communautaire européenne, et celle plus optimiste à l’égard des pratiques discriminatoires — qui est opérée dans cet article. Ainsi, la pratique des prix imposés, la franchise, la concession et la protection territoriale sont analysées dans le cadre de cette confrontation. De même, une critique de la doctrine communautaire est exposée. L’évolution du droit des contrats et du droit de la concurrence fait aussi l’objet d’une analyse mettant face à face les deux doctrines. C’est bien la vision du marché en tant que processus qui est au centre de cette analyse.The neoclassical model of competition seems to sustain today in France the main regulations about competition. However, modern economic theory, as initiated by Coase and Hayek notably, calls into question the certainties brought about by the neoclassical model and acknowledges the beneficial effects of commercial efficiency. Contractual discrimination takes its meaning in an open-ended world. The contrast between these two views — the one which inspires the French legislator, the German legislator, or the European Community doctrine, and the more optimistic one with respect to discriminatory practices — is put forward in this paper. Thus, imposed prices, franchising, concession and territorial protection are pratices discussed within this contrast. Moreover, a critique of the European Community doctrine is developed. The evolution of contract law and antitrust law is also examined by contrasting the two views. It is indeed the thesis of the market as a process which is underlined in the present analysis. (shrink)

RésuméOn montre d'abord que la technique de révision des probabilités appelée « imagerie », qui a été introduite par Lewis pour la logique des conditionnels de Stalnaker, peut être généralisée à la sémantique des systèmes de sphères de Lewis si l'on permet aux énoncés conditionnels d'avoir des valeurs de vérité fractionnaires. Un système est proposé.

This paper is composed of two independent parts. The first is concerned with Russell’s early philosophy of mathematics and his quarrel with Poincaré about the nature of their opposition. I argue that the main divergence between the two philosophers was about the nature of definitions. In the second part, I briefly present Le!niewski’s Ontology and suggest that Le!niewski’s original treatment of definitions in the foundations of mathematics is the natural solution to the problem that divided Russell and Poincaré.

Dans la partie de la philosophic que l'on appelle habituellement philosophie du langage, la vieille opposition entre le réalisme et le nominalisme est toujours actuelle. D'un côté, les thèses nominalistes trouvent de nouveaux défenseurs qui apportent quelquefois des arguments originaux ou qui reprennent d'anciennes argumentations. D'un autre côté le réalisme est violemment attaqué sur tous ses flancs.

Depuis plusieurs années, le principe de précaution prend de l’ampleur et voit ses contours se modeler et se définir, aussi bien à l’échelle internationale qu’européenne ou française. Malgré tout, il n’a pas la même importance, en fonction de l’échelle à laquelle on se place, et tend à être confondu avec le principe de prévention, deux notions pourtant totalement distinctes. Plus que jamais les questions de climat, de biodiversité, de justice sociale, de gestion des deniers publics ou encore de valorisation et (...) de gestion des ressources sont au cœur des problématiques gérées par les territoires et notamment, par les communes, premier échelon territorial de décision. Le principe de précaution qui inonde l’ensemble de ces matières voit ses contours réduits en France, notamment par une jurisprudence autocentrée, préférant faire la part belle aux questions franco-française d’organisation territoriale, plutôt que d’appliquer un principe qui devient universel, favorisant ainsi l’inertie de l’État central plutôt que l’action locale. Une situation qui ne saurait perdurer davantage. (shrink)

ABSTRACTRecent research suggests that obedience in the Milgram paradigm is underpinned by stress vulnerability and inhibitory control over pain sharing. Because self-regulatory fatigue induction is a suited method to investigate the influence of inhibitory control on behaviour, participants were randomly assigned to a High vs. Low self-regulatory condition. Heart rate variability was collected during 5-min baseline and continuously during the experimental procedure. Prior to the experiment, participants completed an online survey assessing right-wing authoritarianism, a well-known predictor of obedience. Using the (...) Immersive Video Milgram Obedience Experiment, we found that lower resting HRV predicted higher destructive obedience, that low self-regulatory inhibition reduced destructive obedience, that the well-established influence of RWA on destructive obedience was suppressed in the presence of SRF. Implic... (shrink)

SummaryIn this paper I will strive towards three main objectives. First of all, I will try to show that a very commonplace property of knowledge, that of yielding truth, can be used to characterize an ideal and radical notion of knowledge. It will be argued that this property generates a basic and autonomous concept of knowledge, i.e., a purely logical concept of knowledge that can be clearly separated from the psychological, intentional or epistemological aspects of knowledge. What results can thus (...) be regarded as a kind of reduction of the concept of knowledge to that of truth. This reduction will be expressed by means of a criterion which a relation between an agent and a sentence must satisfy in order to be interpreted as exemplifying the relation of knowing.Secondly, 1 will offer an analysis of presuppositional knowledge which shows how the very strong and ideal notion of knowledge previously developed can be useful in interpreting the ordinary use of “knowing”.My third and last objective will be to use this criterion to characterize formally the semantic interpretation associated to a rational and competent agent, i.e. the space of his knowledge. (shrink)

Foundations of Illocutionary Logic de John Searle et Daniel Vanderveken constitue, à ma connaissance, la première suggestion sérieuse d'un cadre formel destiné à l'élaboration d'une logique de l'illocutoire. Les phénomènes illocutoires sont en effet d'une telle com-plexité que, souvent, les schèmes explicatifs proposés n'ont qu'une valeur très locale et ne constituent une explication que pour quelques exemples bien précis, ceux qui justement ont servi de base empirique sur laquelle ces schèmes se sont élaborés. La prévention de FIL est tout autre. (...) On ne saurait en aucun cas faire un reproche de provincialisme aux auteurs dont le but explicite est d'élaborer un véritable cadre théorique général à l'intérieur duquel tous les phénomènes illocutoires pourront trouver une explication. (shrink)

La théorie des types que Bertrand Russell proposa en 1908 ne se voulait pas une solution ad hoc au problème des contradictions, elle prétendait plutôt être la solution naturelle, celle que tout le monde reconnaîtra comme la solution attendue. En fait, il s'agit d'une théorie philosophique qui concrétise un projet grandiose: réduire les mathématiques à la logique. Le présent texte se propose d'examiner les thèses russelliennes et la dynamique de leur évolution de 1903 à 1907, c'est-à-dire des Principles à la (...) naissance de la théorie des types.The theory of types that Bertrand Russell proposed in 1908 didn't present itself as an ad hoc solution to the problem of contradictions. Rather it pretended to be the natural solution, the one that everybody would recognize as the expected solution. In fact, it is a philosophical theory materializing an imposing project: to reduce mathematics to logic. This paper examines the russellian theses and their evolution from 1903 to 1907 i.e. from the Principles to the birth of the theory of types. (shrink)

Le but de cette intervention est tout d'abord de caractériser un concept de sémantique d'un point de vue suffisamment général pour que l'on puisse l'interpréter comme celui de sémantique universelle. Dans un deuxième temps, il sera question de la caractérisation des contextes extensionnels et un critère général d'identification de tels contextes sera proposé. La thèse suivante, assez surprenante, sera avancée : selon ce critère, les contextes d'attitudes propositionnelles sont extensionnels. La solution que l'on proposera pour sortir de cette situation apparemment (...) paradoxale sera justement de l'interpréter comme un indice du caractère non sémantique du problème des attitudes propositionnelles. Finalement, une voie de solution au puzzle de Kripke sera proposée.The aim of this paper is first to characterize a concept of semantics from such a general point of view that it could be considered as the concept of universal semantics. Extensional contexts will then be characterized and a general identification criterion for such contexts will be given. The following rather surprising thesis will be put forward : According to this criterion, propositional attitude contexts are extensional. The proposed solution to this seemingly paradoxical situation will be to consider propositional attitude contexts as non semantic. Finally, a way out to Kripke's puzzle is propounded. (shrink)

Le dernier ouvrage d'Yvon Gauthier, son quatrième, n'est certes pas d'une lecture des plus faciles. Le bon lecteur devrait à la fois être familier du formalisme de la mécanique quantique et des labyrinthes lacaniens, connaître la théorie des modéles êt etre revenu de Heidegger.Tout cela rend la tâche d'un critique de Gauthier ardue et périlleuse; aussi je prierai le lecteur de m'excuser à l'avance si, dans le foisonnement philosophique de l'ouvrage, j'ai dû restreindre mon attention à certains aspects particuliers.

This paper has four parts. In the first part, I present Leniewski's protothetics and the complete system provided for that logic by Henkin. The second part presents a generalized notion of partial functions in propositional type theory. In the third part, these partial functions are used to define partial interpretations for protothetics. Finally, I present in the fourth part a complete system for partial protothetics. Completeness is proved by Henkin's method [4] using saturated sets instead of maximally saturated sets. This (...) technique provides a canonical representation of a partial semantic space and it is suggested that this space can be interpreted as an epistemic state of a non-omniscient agent. (shrink)