No detailed description available for "Écrits de jeunesse 1816-1828".

Turnhout: Brepols 2013. XVIII, 1416 S., € 120,00. ISBN 978‐2‐503‐54129‐7.

ONE of the most celebrated mathematical physicists, Pierre-Simon Laplace is often remembered as the mathematician who showed that despite appearances, the Solar System does conform to Newton’s theories. Together with distinguished scholars Robert Fox and Ivor Grattan-Guinness, Charles Gillispie gives us a new perspective, showing that Laplace did not merely vindicate Newton’s system, but had a uniquely creative and independent mind.

We study one way in which stable phenomena can exist in an NIP theory. We start by defining a notion of ‘pure instability’ that we call ‘distality’ in which no such phenomenon occurs. O-minimal theories and the p-adics for example are distal. Next, we try to understand what happens when distality fails. Given a type p over a sufficiently saturated model, we extract, in some sense, the stable part of p and define a notion of stable independence which is implied (...) by non-forking and has bounded weight. (shrink)

This paper has two parts. In the first one, we prove that an invariant dp-minimal type is either finitely satisfiable or definable. We also prove that a definable version of the -theorem holds in dp-minimal theories of small or medium directionality.In the second part, we study dp-rank in dp-minimal theories and show that it enjoys many nice properties. It is continuous, definable in families and it can be characterised geometrically with no mention of indiscernible sequences. In particular, if the structure (...) expands a divisible ordered abelian group, then dp-rank coincides with the dimension coming from the order. (shrink)

Advances in artificial intelligence, as well as its increased presence in everyday life, have brought the emergence of many new phenomena, including an intriguing appearance of what seems to be a variant of body dysmorphic disorder, coined “Snapchat dysmorphia”. Body dysmorphic disorder is a DSM-5 psychiatric disorder defined as a preoccupation with one or more perceived defects or flaws in physical appearance that are not observable or appear slight to others. Snapchat dysmorphia is fueled by automated selfie filters that reflect (...) unrealistic sociocultural standard. In this paper, we discuss how body dysmorphic disorder and related body image distortions could arise, using the conceptual resources provided by the active inference framework. We suggest that these disorders involve dysfunctional self-modelling which entails maladaptive internalization of sociocultural preferences during adolescent identity formation. Identity formation is hereby described as cycles of interpersonal active inference that arbitrate between identity exploration and commitment. We propose that impaired self-modelling is unable to reduce interpersonal uncertainty during identity exploration, which, over time, degenerates into uncontrollable epistemic habits that isolate the body image from corrective sensory evidence. In light of these insights, we subsequently explore some of the consequences of image-centered social media platforms on the identity formation process. We conclude that heightened interpersonal uncertainty in this novel context could precipitate the onset of body dysmorphic disorder and related body image distortions, particularly when selfie filters are involved. (shrink)

Advances in artificial intelligence, as well as its increased presence in everyday life, have brought the emergence of many new phenomena, including an intriguing appearance of what seems to be a variant of body dysmorphic disorder, coined “Snapchat dysmorphia”. Body dysmorphic disorder is a DSM-5 psychiatric disorder defined as a preoccupation with one or more perceived defects or flaws in physical appearance that are not observable or appear slight to others. Snapchat dysmorphia is fueled by automated selfie filters that reflect (...) unrealistic sociocultural standard. In this paper, we discuss how body dysmorphic disorder and related body image distortions could arise, using the conceptual resources provided by the active inference framework. We suggest that these disorders involve dysfunctional self-modelling which entails maladaptive internalization of sociocultural preferences during adolescent identity formation. Identity formation is hereby described as cycles of interpersonal active inference that arbitrate between identity exploration and commitment. We propose that impaired self-modelling is unable to reduce interpersonal uncertainty during identity exploration, which, over time, degenerates into uncontrollable epistemic habits that isolate the body image from corrective sensory evidence. In light of these insights, we subsequently explore some of the consequences of image-centered social media platforms on the identity formation process. We conclude that heightened interpersonal uncertainty in this novel context could precipitate the onset of body dysmorphic disorder and related body image distortions, particularly when selfie filters are involved. (shrink)

We show basic facts about dp-minimal ordered structures. The main results are: dp-minimal groups are abelian-by-finite-exponent, in a divisible ordered dp-minimal group, any infinite set has non-empty interior, and any theory of pure tree is dp-minimal.

In this article, we develop tame topology over dp-minimal structures equipped with definable uniformities satisfying certain assumptions. Our assumptions are enough to ensure that definable sets are tame: there is a good notion of dimension on definable sets, definable functions are almost everywhere continuous, and definable sets are finite unions of graphs of definable continuous “multivalued functions.” This generalizes known statements about weakly o-minimal, C-minimal, and P-minimal theories.

L'altérité est l'un des phénomènes les plus étudiés et l'un des concepts les plus utilisés au cours des trente dernières années, mais c'est aussi une notion des plus polysémiques et des plus controversées, jusque dans les usages idéologiques qu'on peut en faire aujourd'hui. Ce livre interroge les bases philosophiques, le contexte sociohistorique et la portée éthique et esthétique de ce phénomène ou de cette notion à la lumière de ses différentes valeurs. L'autre est à la fois l'étranger, exclu ou minorisé, (...) pour les études culturelles, l'un des pôles de la construction identitaire pour certaines théories du sujet, l'expression même de la Loi et du Symbolique pour d'autres, la figure emblématique de la responsabilité pour une certaine pensée éthique, le fondement de toute relation intersubjective et de tout dialogisme ou, plus radicalement encore, la manifestation de la nature essentiellement hétérogène de l'existence. Chaque fois, ce qui est en jeu concerne nos manières de vivre-ensemble et nos façons de faire et de créer. Les auteurs réunis dans cet ouvrage analysent les "politiques de l'altérité" que notre histoire impose ou propose comme choix de société et " les poétiques de l'autre" que les différentes pratiques artistiques, ancrées dans la mémoire et l'imaginaire collectifs, déploient comme possible ou comme alternative face à notre situation historique. (shrink)

We study invariant types in NIP theories. Amongst other things: we prove a definable version of the [Formula: see text]-theorem in theories of small or medium directionality; we construct a canonical retraction from the space of [Formula: see text]-invariant types to that of [Formula: see text]-finitely satisfiable types; we show some amalgamation results for invariant types and list a number of open questions.

Belle van Zuylen dicteerde haar brief aan haar neef toen deze bij haar in Frankrijk verbleef. Zij was al sinds zijn geboorte betrokken geweest bij zijn opvoeding, als raadgeefster van haar broer, de vader van Willem-René. Na de Franse Revolutie kon de jongeman geen aanspraak meer maken op de voorrechten van zijn adellijke geboorte, maar zou zichzelf met werken een plaats in de maatschappij moeten veroveren.

We prove in particular that, in a large class of dp-minimal theories including the p-adics, definable types are dense amongst nonforking types.

This work builds on previous papers by Hrushovski, Pillay and the author where Keisler measures over NIP theories are studied. We discuss two constructions for obtaining generically stable measures in this context. First, we show how to symmetrize an arbitrary invariant measure to obtain a generically stable one from it. Next, we show that suitable sigma-additive probability measures give rise to generically stable Keisler measures. Also included is a proof that generically stable measures over o-minimal theories and the p-adics are (...) smooth. (shrink)

We prove a couple of results on NTP2 theories. First, we prove an amalgamation statement and deduce from it that the Lascar distance over extension bases is bounded by 2. This improves previous work of Ben Yaacov and Chernikov. We propose a line of investigation of NTP2 theories based on S1 ideals with amalgamation and ask some questions. We then define and study a class of groups with generically simple generics, generalizing NIP groups with generically stable generics.

We prove that in $\operatorname {NTP}_{\operatorname {2}}$ theories the dp-rank of a type can be witnessed by indiscernible sequences of tuples satisfying that type. If the type has dp-rank infinity, then this can be witnessed by singletons.

A theory [Formula: see text] is said to have exact saturation at a singular cardinal [Formula: see text] if it has a [Formula: see text]-saturated model which is not [Formula: see text]-saturated. We show, under some set-theoretic assumptions, that any simple theory has exact saturation. Also, an NIP theory has exact saturation if and only if it is not distal. This gives a new characterization of distality.

We have no reason to believe that reasons do not exist. Contra Bart Streumer’s recent proposal, this has nothing to do with our incapacity to believe this error theory. Rather, it is because if we know that if a proposition is true, we have no reason to believe it, then we have no reason to believe this proposition. From a different angle: if we know that we have at best misleading reasons to believe a proposition, then we have no reason (...) to believe it. This has two consequences. Firstly, coming close to believing the error theory is idle or pointless. Secondly, philosophers who argue that believing sweeping theories like determinism or physicalism is self-defeating because they are either false or believed for no reason pursue a worthwhile argumentative strategy. (shrink)

We prove (Proposition 2.1) that if $\mu$ is a generically stable measure in an NIP (no independence property) theory, and $\mu(\phi(x,b))=0$ for all $b$ , then for some $n$ , $\mu^{(n)}(\exists y(\phi(x_{1},y)\wedge \cdots \wedge\phi(x_{n},y)))=0$ . As a consequence we show (Proposition 3.2) that if $G$ is a definable group with fsg (finitely satisfiable generics) in an NIP theory, and $X$ is a definable subset of $G$ , then $X$ is generic if and only if every translate of $X$ does not (...) fork over $\emptyset$ , precisely as in stable groups, answering positively an earlier problem posed by the first two authors. (shrink)

Here is a skeptical trilemma. We know that we are responsible. We do not know that determinism is false. Yet, if we do not know that determinism is false, we do not know that we are responsible. If we want to avoid the skeptical conclusion of rejecting the first claim, we ought to reject the third. It does not follow that compatibilism is true. But it follows that libertarianism, the view that we are responsible even though responsibility requires indeterminism, is (...) unknowable, at least for now. To see this, we need to compare different forms of skepticism and their response. (shrink)

We prove that every ultraproduct of p-adics is inp-minimal. More generally, we prove an Ax-Kochen type result on preservation of inp-minimality for Henselian valued fields of equicharacteristic 0 in the RV language.