"Entre la connaissance commune et la connaissance scientifique, la rupture nous paraît si nette que ces deux types de connaissance ne sauraient avoir la même philosophie. L'empirisme est la philosophie qui convient à la connaissance commune. Au contraire, la connaissance scientifique est solidaire du rationalisme et, qu'on le veuille ou non, le rationalisme est lié à la science, le rationalisme réclame des buts scientifiques. Par l'activité scientifique, le rationalisme connaît une activité dialectique qui enjoint une extension constante des méthodes". Voici (...) un livre sur l'activité rationaliste du chimiste contemporain. On y voit à l'oeuvre une "phénoménotechnique" qui construit ses multiples substances en éliminant progressivement l'irrationnel. Souligner l'engagement de pensée qui se manifeste dans cette activité, telle est la volonté de Bachelard inscrite dans son projet général d'attirer "l'attention des philosophes sur le caractère spécifique de la pensée et du travail de la science moderne". (shrink)

We ask, when is a property of a model a logical property? According to the so-called Tarski–Sher criterion this is the case when the property is preserved by isomorphisms. We relate this to model-theoretic characteristics of abstract logics in which the model class is definable. This results in a graded concept of logicality in the terminology of Sagi [46]. We investigate which characteristics of logics, such as variants of the Löwenheim–Skolem theorem, Completeness theorem, and absoluteness, are relevant from the logicality (...) point of view, continuing earlier work by Bonnay, Feferman, and Sagi. We suggest that a logic is the more logical the closer it is to first order logic. We also offer a refinement of the result of McGee that logical properties of models can be expressed in $L_{\infty \infty }$ if the expression is allowed to depend on the cardinality of the model, based on replacing $L_{\infty \infty }$ by a “tamer” logic. (shrink)

In this article I examine the role of anxiety in our motivation to reassess our epistemic states, by taking as a starting point a proposal put forward by Levy, according to which anxiety is responsible for the ruminations and worries about threatening possibilities that we sometimes get caught up into in our everyday life. Levy’s claim is that these irrational persistent thoughts about possible states of affairs are best explained by anxiety, rather than by beliefs, degrees of belief, or other (...) mental states. I will take Levy’s article as a starting point into my study of the role of anxiety in our inclinations to question the epistemic quality of our cognitive states. While I believe that Levy is right in directing our attention to the role of anxiety in these cases, his claim calls for further explanation into the nature of anxiety, and into the mechanisms through which anxiety generates these doubts. Although the relation between anxiety and doubt has already been highlighted, there has been little effort to elaborate on the mechanisms through which an affective state like anxiety generates a motivation to reassess our beliefs. This paper is an attempt at providing such an elaboration. Clarifying the role of anxiety in these phenomena will lead me to revise a common assumption about the interactions between anxiety and higher-level cognitive processes, such as the ones involved in representing hypothetical threatening scenarios through mental imagery. (shrink)

For creatures like us, entertaining possible future scenarios of how our life might play out is often accompanied or “charged” with emotions like hope and anxiety. What will interest me in this article is whether the epistemic profile of hope and anxiety, and in particular the fact that they are directed at uncertain outcomes, might pose a threat to the stability of their valence. Hope and anxiety are not emotions which relate us to evaluative properties of actual events, they relate (...) us to evaluative properties of relevant possibilities (Gordon, 1969; Kurth, 2018; Benton, 2019). I will present and discuss two philosophical accounts according to which hope and anxiety do not have a proprietary and consistent valence. According to the first account, anxiety is an intrinsically ambivalent emotion, as a result of involving an awareness of conflicting possibilities or ways in which the future might unfold (Miceli and Castelfranchi, 2015). According to the second, hope is not a strictly positive emotion, as certain specific occurrences of hope are negatively valenced (Stockdale, 2019). Finally, I argue that an evaluative theory of valence helps us clearly conceive of hope and anxiety as two polar opposite experiences of uncertainty. (shrink)

Machine generated contents note: 1. Introduction Juliette Kennedy and Roman Kossak; 2. Historical remarks on Suslin's problem Akihiro Kanamori; 3. The continuum hypothesis, the generic-multiverse of sets, and the [OMEGA] conjecture W. Hugh Woodin; 4. [omega]-Models of finite set theory Ali Enayat, James H. Schmerl and Albert Visser; 5. Tennenbaum's theorem for models of arithmetic Richard Kaye; 6. Hierarchies of subsystems of weak arithmetic Shahram Mohsenipour; 7. Diophantine correct open induction Sidney Raffer; 8. Tennenbaum's theorem and recursive reducts James (...) H. Schmerl; 9. History of constructivism in the 20th century A. S. Troelstra; 10. A very short history of ultrafinitism Rose M. Cherubin and Mirco A. Mannucci; 11. Sue Toledo's notes of her conversations with Gödel in 1972-1975 Sue Toledo; 12. Stanley Tennenbaum's Socrates Curtis Franks; 13. Tennenbaum's proof of the irrationality of [the square root of] 2́. (shrink)

Pour Gaston Bachelard, le « non » signifie dépasser et compléter le savoir antérieur, la philosophie de la connaissance scientifique doit englober les contradictions. Il établit le profil épistémologique de l’évolution, du réalisme naïf au surrationalisme en passant par le rationalisme classique et élargit le domaine de l’intuition à ce qu’il appelle une « intuition travaillée»s’exerçant dans un espace non analytique.

The authors show. by means of a finitary version $\square_{\lambda D}^{fin}$ of the combinatorial principle $\square_\lambda^{h*}$ of [7]. the consistency of the failure, relative to the consistency of supercompact cardinals, of the following: for all regular filters D on a cardinal A. if Mi and Ni are elementarily equivalent models of a language of size $\leq \lambda$ , then the second player has a winning strategy in the Ehrenfeucht- $Fra\uml{i}ss\acute{e}$ game of length $\lambda^{+}$ on $\pi_{i} M_{i}/D$ and $\pi_{i} N_{i}/D$ . (...) If in addition $2^{\lambda} = \labda^{+}$ and i < $\lambda$ implies | $M_{i}$ | +| $N_{i}$ | $\leq$ \lambda^{+} this means that the ultrapowers are isomorphic. This settles negatively conjecture 18 in [2]. (shrink)

This study investigates how business leaders dynamically narrate their aspirational ethical leadership identities. In doing so, it furthers understanding of ethical leadership as a process situated in time and place. The analysis focuses on the discursive strategies used to narrate identity and ethics by ethnic Chinese business leaders in Indonesia after their conversion to Pentecostal–charismatic Christianity. By exploring the use of metaphor, our study shows how these business leaders discursively deconstruct their ‘old’ identities and construct their ‘new’ aspirational identities as (...) ethical leaders. This leads to the following contributions. First, we show that ethical leadership is constructed in identity talk as the business leaders actively narrate aspirational identities. Second, the identity narratives of the business leaders suggest that ethical leadership is a context-bound and situated claim vis-à-vis unethical practice. Third, we propose a conceptual template, identifying processes of realisation and inspiration followed by significant shifts in understanding, for the study of aspirational ethical leadership. (shrink)

The logician Kurt Gödel published a paper in 1931 formulating what have come to be known as his 'incompleteness theorems', which prove, among other things, that within any formal system with resources sufficient to code arithmetic, questions exist which are neither provable nor disprovable on the basis of the axioms which define the system. These are among the most celebrated results in logic today. In this volume, leading philosophers and mathematicians assess important aspects of Gödel's work on the foundations and (...) philosophy of mathematics. Their essays explore almost every aspect of Godel's intellectual legacy including his concepts of intuition and analyticity, the Completeness Theorem, the set-theoretic multiverse, and the state of mathematical logic today. This groundbreaking volume will be invaluable to students, historians, logicians and philosophers of mathematics who wish to understand the current thinking on these issues. (shrink)

In Poetics of Reverie he considers the absolute origins of that imagery: language, sexuality, childhood, the Cartesian ego, and the universe.

Gaston Bachelard is one of the indespensable figures in the history of 20th-century ideas. The broad scope of his work has had a lasting impact in several fields - notable philosophy, architecture and literature.

We work in set theory ZF without axiom of choice. Though the Hahn-Banach theorem cannot be proved in ZF, we prove that every Gateaux-differentiable uniformly convex Banach space E satisfies the following continuous Hahn-Banach property: if p is a continuous sublinear functional on E, if F is a subspace of E, and if f: F → ℝ is a linear functional such that f ≤ p|F then there exists a linear functional g : E → ℝ such that g extends (...) f and g ≤ p. We also prove that the continuous Hahn-Banach property on a topological vector space E is equivalent to the classical geometrical forms of the Hahn-Banach theorem on E. We then prove that the axiom of Dependent choices DC is equivalent to Ekeland's variational principle, and that it implies the continuous Hahn-Banach property on Gateaux-differentiable Banach spaces. Finally, we prove that, though separable normed spaces satisfy the continuous Hahn-Banach property, they do not satisfy the whole Hahn-Banach property in ZF+DC. (shrink)

La nature, l'environnement sont au centre des préoccupations de tous, mais peinent à entrer dans le discours politique sous une forme cohérente. Mouvement contestataire et libertaire - particulièrement en France - l'écologie politique manque de bases théoriques, préfère les déclarations d'éthique au travail législatif, met en doute l'efficience des institutions et dénonce parfois de manière irréaliste la technique, les sciences, l'industrie. Ce livre intègre la dimension écologique à la philosophie politique moderne et particulièrement à un républicanisme rénové. La protection de (...) la nature comme "Bien commun" y est considérée comme le nouveau visage du " Bien public". En annexe, l'auteur propose quelques idées concrètes. (shrink)

Whole Trait Theory (and other dynamic theories of personality) can illuminate the process by which motivational states become traits. Mental computational processes constitute part of the explanatory mechanisms that drive trait manifestations. Empirical work on Whole Trait Theory may inform future research directions on mental computational processes.

En 32 romans, publiés entre 1934 et 1982, cet auteur d'origine australienne a élaboré autour de son protagoniste principal, l'inspecteur Roderick Allen de Scotland Yard, un ensemble de romans policiers d'enquête dans la meilleure tradition britannique.

Is the capacity to experience hope central to our ability to entertain desirable future possibilities in thought? The ability to project oneself forward in time, or to entertain vivid positive episodic future thoughts, is impaired in patients with clinical depression. In this article, I consider the causal relation between, on the one hand, the loss of the affective experience of hope in depressed patients, and on the other hand, the reduced ability to generate and entertain positive episodic future thinking. I (...) suggest that findings in the philosophy of emotion may shed light on this causal relation. (shrink)

If we replace first-order logic by second-order logic in the original definition of Gödel’s inner model L, we obtain the inner model of hereditarily ordinal definable sets [33]. In this paper...

Examines the changes during the twentieth century in the views of mathematics, physics, and the scientific method and discusses the role of the mind in science.

There has been a renewed interest in the role of hope for our ability to act rationally under uncertainty, where accounts have tended to focus on either one of two (apparently contradictory) aspects of this attitude. On the one hand, like faith, hope is viewed as an attitude which grants us resolve and determination to continue striving towards uncertain goals. On the other hand, like worry, hope is also viewed as a process in which we cognitively engage with possible futures, (...) motivated to reduce the epistemic uncertainty surrounding the occurrence of goal-relevant outcomes. I spell out how an emotional account of the psychological nature of hope is able to accommodate both of these claims, as well as classic challenges (such as cases of “recalcitrant hopes”). Within this framework, hope is both a positive emotion (it consistently evaluates its object as good) and also an “emotion of uncertainty” or epistemic emotion, through which we apprehend that a given goal-relevant outcome is possible, albeit uncertain. (shrink)

How does doubt come about? What are the mechanisms responsible for our inclinations to reassess propositions and collect further evidence to support or reject them? In this paper, I approach this question by focusing on what might be considered a distorting mirror of unreasonable doubt, namely the pathological doubt of patients with obsessive–compulsive disorder (OCD). Individuals with OCD exhibit a form of persistent doubting, indecisiveness, and over-cautiousness at pathological levels (Rasmussen and Eisen in Psychiatr Clin 15(4):743–758, 1992; Reed in Obsessional (...) experience and compulsive behaviour: a cognitive-structural approach, Academic Press, Cambridge, 1985; Tolin et al. in Cogn Ther Res 27(6):657–669, 2003). I argue that the failure in OCD is of an affective nature, involving both excessive epistemic anxiety and hyperactive feelings of uncertainty. I further argue that our adaptive disposition to inquire about the right matters—that is, about propositions which are both epistemically risky and imply harmful possibilities—might depend on these affective mechanisms. (shrink)

Is mathematics 'entangled' with its various formalisations? Or are the central concepts of mathematics largely insensitive to formalisation, or 'formalism free'? What is the semantic point of view and how is it implemented in foundational practice? Does a given semantic framework always have an implicit syntax? Inspired by what she calls the 'natural language moves' of Gödel and Tarski, Juliette Kennedy considers what roles the concepts of 'entanglement' and 'formalism freeness' play in a range of logical settings, from computability (...) and set theory to model theory and second order logic, to logicality, developing an entirely original philosophy of mathematics along the way. The treatment is historically, logically and set-theoretically rich, and topics such as naturalism and foundations receive their due, but now with a new twist. (shrink)

Sans proposer une simple histoire de la chimie, cet ouvrage de Gaston Bachelard se propose de developper, a l'occasion des progres de la chimie moderne, une lecture philosophique de cette evolution, autour d'une idee articulant dialectiquement deux directions distinctes : la pensee du chimiste semble osciller entre le pluralisme d'une part et la reduction de la pluralite d'autre part. C'est dire que Bachelard se propose ici de caracteriser le soubassement philosophique de la pensee epistemologique promue par la recente (...) evolution de la chimie moderne. Si la decouverte scientifique est liee, dans le cas de la chimie, a la mise au jour de nouvelles substances, et ainsi au developpement d'un pluralisme des substances, la tache du philosophe consiste des lors a montrer que derriere tout pluralisme on peut reconnaitre un systele de coherence. C'est cette these majeure que deploie cet ouvrage dans une progression qui, du probleme philosophique du divers, mene, en passant par une analyse detaillee de l'apport considerable de Mendeleiev a la chimie moderne, a l'idee philosophique d'une harmonie substantielle. (shrink)

J'etudie! Je ne suis que le sujet du verbe etudier. Penser je n'ose. Avant de penser, il faut etudier. Seuls les philosophes pensent avant d'etudier. Dans son dernier livre La flamme d'une chandelle, Gaston Bachelard s'est defini comme un etudiant. Nous n'avons pas cru lui etre infidele en presentant ces Etudes reflechies, qui portent trace d'itineraires de recherche et de problematiques. Sont ici rassembles les textes suivants: Noumene et microphysique, La critique du concept de frontiere epistemologique, Idealisme discursif, Lumiere (...) et substance et Le monde comme caprice et miniature. (shrink)

Emotions might contribute to our being rational cognitive agents. Anxiety – and more specifically epistemic anxiety – provides an especially interesting case study into the role of emotion for adaptive cognition. In this paper, I aim at clarifying the epistemic contribution of anxiety, and the role that ill-calibrated anxiety might play in maladaptive epistemic activities which can be observed in psychopathology. In particular, I argue that this emotion contributes to our ability to adapt our cognitive efforts to how we represent (...) the practical factors relevant to the task at hand, by sig- naling the need for increased cognitive processing and evidence gathering in high- stakes situations. I hypothesize that dysfunctional or ill-calibrated epistemic anxiety might play an important role in the motivation driving persons with obsessive- compulsive disorder (OCD) to invest high amounts of cognitive resources into the resolution of apparently simple and innocuous questions. As I argue, OCD might be conceived as a case in which epistemic anxiety is inappropriately elicited, represent- ing these as high-stakes questions, and inadequately signaling a need for cognition. In this paper, I thus make use of the concept of (epistemic) anxiety as developed in the philosophy of emotion and in epistemology, to propose an account of the role of anxiety in the pathological doubt that is central to obsessive-compulsive disorder. (shrink)

L’originalité de la philosophie de Bachelard tient à la place donnée, dans ses recherches, à l’imagination et à la poésie. En proposant « de considérer l’imagination comme une puissance majeure de la nature humaine », il a ainsi ouvert de nouveaux espaces de méditation et de réflexion philosophiques dont s’inspirent encore de nombreux philosophes.

In this paper, we consider various ways in which aesthetic value bears on, if not serves as evidence for, the truth of independent statements in set theory.... the aesthetic issue, which in practice will also for me be the decisive factor—John von Neumann, letter to Carnap, 1931For me, it is the aesthetics which may very well be the final arbiter—P. J. Cohen, 2002.

Assume $\langle \aleph_0, \aleph_1 \rangle \rightarrow \langle \lambda, \lambda^+ \rangle$ . Assume M is a model of a first order theory T of cardinality at most λ+ in a language L(T) of cardinality $\leq \lambda$ . Let N be a model with the same language. Let Δ be a set of first order formulas in L(T) and let D be a regular filter on λ. Then M is $\Delta-embeddable$ into the reduced power $N^\lambda/D$ , provided that every $\Delta-existential$ formula true (...) in M is true also in N. We obtain the following corollary: for M as above and D a regular ultrafilter over $\lambda, M^\lambda/D$ is $\lambda^{++}-universal$ . Our second result is as follows: For $i < \mu$ let Mi and Ni be elementarily equivalent models of a language which has cardinality $\leq \lambda$ . Suppose D is a regular filter on λ and $\langle \aleph_0, \aleph_1 \rangle \rightarrow \langle \lambda, \lambda^+ \rangle$ holds. We show that then the second player has a winning strategy in the $Ehrenfeucht-Fra\ddot{i}ss\acute{e}$ game of length λ+ on $\prod_i M_i/D$ and $\prod_i N_i/D$ . This yields the following corollary: Assume GCH and λ regular (or just $\langle \aleph_0, \aleph_1 \rangle \rightarrow \langle \lambda, \lambda^+ \rangle$ and 2λ = λ+). For L, Mi and Ni be as above, if D is a regular filter on λ, then $\prod_i M_i/D \cong \prod_i N_i/D$. (shrink)

The instant -- The problem of habit and discontinuous time -- The idea of progress and the intuition of discontinuous time -- Conclusion -- Appendix A: "Poetic instant and metaphysical instant" by Gaston Bachelard -- Appendix B: Reading Bachelard reading Siloe: an excerpt from "Introduction to Bachelard's poetics" by Jean Lescure -- Appendix C: A short biography of Gaston Bachelard.

We show that many singular cardinals λ above a strongly compact cardinal have regular ultrafilters D that violate the finite square principle $\square _{\lambda ,D}^{\mathit{fin}}$ introduced in [3]. For such ultrafilters D and cardinals λ there are models of size λ for which Mλ / D is not λ⁺⁺-universal and elementarily equivalent models M and N of size λ for which Mλ / D and Nλ / D are non-isomorphic. The question of the existence of such ultrafilters and models was (...) raised in [1]. (shrink)

In earlier work by the first and second authors, the equivalence of a finite square principle $\square^{\mathrm{fin}}_{\lambda,D}$ with various model-theoretic properties of structures of size $\lambda $ and regular ultrafilters was established. In this paper we investigate the principle $\square^{\mathrm{fin}}_{\lambda,D}$—and thereby the above model-theoretic properties—at a regular cardinal. By Chang’s two-cardinal theorem, $\square^{\mathrm{fin}}_{\lambda,D}$ holds at regular cardinals for all regular filters $D$ if we assume the generalized continuum hypothesis. In this paper we prove in ZFC that, for certain regular filters (...) that we call $\mathit{doubly}^{+}$ regular, $\square^{\mathrm{fin}}_{\lambda,D}$ holds at regular cardinals, with no assumption about GCH. Thus we get new positive answers in ZFC to Open Problems 18 and 19 in Chang and Keisler’s book Model Theory. (shrink)

Precise spatiotemporal control of gene expression during normal development and cell differentiation is achieved by the combined action of proximal (promoters) and distal (enhancers) cis‐regulatory elements. Recent studies have reported that a subset of promoters, termed Epromoters, works also as enhancers to regulate distal genes. This new paradigm opened novel questions regarding the complexity of our genome and raises the possibility that genetic variation within Epromoters has pleiotropic effects on various physiological and pathological traits by differentially impacting multiple proximal and (...) distal genes. Here, we discuss the different observations pointing to an important role of Epromoters in the regulatory landscape and summarize the evidence supporting a pleiotropic impact of these elements in disease. We further hypothesize that Epromoter might represent a major contributor to phenotypic variation and disease. (shrink)

La question de la mort en général et de la mort volontaire en particulier est centrale dans l’œuvre de Sénèque, notamment dans les Lettres à Lucilius. Doublement inscrite dans la tradition stoïcienne et dans l’éthique romaine traditionnelle, la pensée de Sénèque sur le suicide renouvelle ces deux traditions : d’un point de vue général, tout en insistant, dans la tradition stoïcienne, sur la nécessaire rationalité du suicide, les Lettres accentuent le lien entre suicide, devoir social et liberté et soulignent la (...) dimension circonstancielle de la mort volontaire ; d’un point de vue plus spécifique, elles mettent en lumière un rapport ambivalent du philosophe à la fama. (shrink)

L'étude des formes, celle des thèmes figurés sur les vases grecs ne sont pas sépara ble· d'une connaissance aussi précise que possible des lieux et des conditions de trouvaille des documents considérés. On donnera ici l'exemple des cratères corinthiens dont l'iconographie aristocratique s'explique par le type de vie et l'idéologie funéraire des clients privilégiés de cette série de vases, les notables de Cerveteri.