Self-Interest before Adam Smith inquires into the foundations of economic theory. It is generally assumed that the birth of modern economic science, marked by the publication of The Wealth of Nations in 1776, was the triumph of the 'selfish hypothesis'. Yet, as a neo-Epicurean idea, this hypothesis had been a matter of controversy for over a century and Smith opposed it from a neo-Stoic point of view. But how can the Epicurean principles of orthodox economic theory be reconciled with (...) the Stoic principles of Adam Smith's philosophy? Pierre Force shows how Smith's theory refutes the 'selfish hypothesis' and integrates it at the same time. He also explains how Smith appropriated Rousseau's 'republican' critique of modern commercial society, and makes the case that the autonomy of economic science is an unintended consequence of Smith's 'republican' principles. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:166 HUME'S INTEREST IN NEWTON AND SCIENCE Many writers have been forced to examine — in their treatments of Hume's knowledge of and acquaintance with scientific theories of his day — the related questions of Hume's knowledge of and acquaintance with Isaac Newton and of the nature and extent of Newtonian influences upon Hume's thinking. Most have concluded that — in some sense — Hume was acquainted (...) with and influenced by Newton's thought in particular and scientific thought in general. The genesis of this paper is the recent point of view put forward by Peter Jones which challenges the many permutations of this almost ritualistic standard line by removing Hume entirely from the Newtonian and the scientific scenes of thought. Jones argues that Hume knew less about Newton and science, and needed to know less about Newton and 2 science, than he believes is required by the above interpretation. Indeed, Jones argues that Hume's fundamental assumptions, which, according to Jones, derive ultimately from a form of Ciceronian humanism, drive a "wedge" between Newton's thought and that of 3 Hume. Even Hume's introductory remarks in the Treatise about his universal "science of man" are, for Jones, a declaration of independence from the materialistic trend (as Jones sees it) of Newtonian 4 science and not, as so many commentators have maintained — however tenuously or strongly evidence for linkage of Hume's project with Newtonian or scientific thought. Jones baldly argues that Hume totally lacked interest in science in general and in Newton and Newtonian science in particular. Following J. H. Burton's observation that Hume's work is surprisingly free from the "opinions" of contemporary scientists, 167 Jones states there is no evidence that Hume ever studied science at the University of Edinburgh or that he "pursued" scientific studies of any formal sort. Regarding Newtonian scientific thought, he emphasizes the paucity of specifically Newtonian scientific textbooks in the early eighteenth century 7 which might have been available for Hume to study and argues that nowhere in Hume's writings is there evidence of precise and detailed knowledge of Newton's science beyond what is available in Q Chamber's Cyclopaedia. Jones acknowledges that, in the Introduction to the Treatise, Hume utilizes a "general version" of Newton's "Regulae Philosophandi" from the beginning of Book III of Newton's Principia. Nevertheless, in Jones' view, Hume's fundamentally humanistic orientation separates him completely from g any Newtonian influence. Finally, according to Jones, Hume does not betray the least bit of knowledge of Newton's mathematics and its role in Newton's experimental methodology. On this evidence Jones grounds his central claim of Hume's "total lack of interest in contemporary science." What references there are to Newton and to science in Hume's works Jones finds "traceable to essentially literary predecessors such as Fontenelle or Montesquieu, or to standard works of theologians ] 2 or free-thinkers." The absence of clearly direct references to what Jones feels are scientific works results both from Hume's "total lack of interest in science" and from his commitment to a form of Ciceronian humanism which is "inimical" to what Jones finds to be the obvious materialistic tendencies of 13 science in the early modern period. Jones' account of the Ciceronian and French contexts of Hume's thought is excellent. But his claim that Hume had no interest whatsoever in science 168 is simply too strong and finally forces us to view science in Hume's day as equivalent to science in our own time, a manifestly anachronistic point of view. Throughout this paper, my argument will be conditioned by my view that Hume's interest in science cannot be separated from his epistemology or his religious scepticism. Hume's interest in science was precisely that of a man of letters of the eighteenth century vitally engaged in determining the proper use of scientific methodology in establishing the limits of the secular science of man once it has 14 been freed from the fetters of theology. Hume's interest in theological and epistemological issues inevitably gave rise to a strong interest on his part in the science of his day and in Newton's contributions... (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Montaigne and the Coherence of EclecticismPierre ForceSince the publication of Pierre Hadot's essays on ancient philosophy by Arnold Davidson in 1995,2 Michel Foucault's late work on "the care of the self"3 has appeared in a new light. We now know that Hadot's work was familiar to Foucault as early as the 1950s.4 It is also clear that Foucault's notion of "techniques of the self" is very close to what (...) Hadot calls "spiritual exercises." At the same time, there are important differences between the views of these two philosophers, and Hadot has often expressed his regret that Foucault's untimely death prevented them from exploring these differences.5 One important point of disagreement was the status of eclecticism. In Foucault's interpretation of ancient philosophy, the "constitution of the self" implied a personal choice among disparate philosophical references: "Writing as a personal exercise done by the self and for the self, is an art of disparate truth."6 In a 1989 article Hadot argued from a historical point of view that, so far as Stoicism and Epicureanism were concerned, [End Page 523] eclecticism had no place in a mature practice of philosophy. Foucault's favorite example, Seneca's Letters to Lucilius, in which Stoic arguments were invoked along with Epicurean arguments, was a work for beginners. In a mature practice of Stoicism, one would stick to the arguments of the Stoic school, choose them for their coherence, and instead of trying to forge a spiritual identity for oneself through writing, one would "liberate oneself from one's individuality in order to raise oneself up to universality."7 Hadot added that "it is only in the New Academy—in the person of Cicero, for instance—that a personal choice is made according to what reason considers as most likely at a given moment."8 This discussion of Foucault may give the impression that Hadot was somewhat dismissive of eclecticism. Yet in a 2001 interview Hadot claimed that he had always admired Cicero's intellectual independence, and he proposed a reappraisal "of an attitude that has always had a bad reputation: eclecticism."9Something very similar is a stake in the work of Alexander Nehamas, as Lanier Anderson and Joshua Landy showed in their study of his Art of Living. In the conception of philosophy as a "way of life" (Hadot) or "care of the self" (Foucault) or "self-fashioning" (Nehamas), a central issue is the relationship between theoretical coherence and the coherence of the person who theorizes. Elaborating on Nehamas's chapter on Montaigne, Anderson and Landy argue that there is a move in Montaigne away from doctrinal coherence and towards a coherence of the self. As they put it, "the harmonious whole Montaigne commends [... ] is not a coherent body of fact or theory; it is the unified self of the theorizer."10 Anderson and Landy show that this brings up all kinds of difficulties: can this unified self be other than a fiction? If that is the case, how can philosophy be a way of life? Nehamas's answer is very much in the spirit of the late Foucault: there is a coherence of the self in Montaigne, and this coherence is the product of writing as a philosophical activity. The self is fashioned through writing.Because Montaigne writes in the ancient tradition of philosophy as a way of life, one may recall Hadot's suggestion that Foucault's notion of [End Page 524] "writing the self" is an intriguing but historically inaccurate description of ancient philosophical practice. But perhaps Hadot agrees with Foucault after all, since in his most recent interviews, he speaks favorably of eclecticism, a notion that is central to Foucault's analysis of self-fashioning through writing. The case of Montaigne is particularly interesting for these purposes, not only because the Essays seem to be the prototypical example of "writing the self," but also because eclecticism is both discussed and practiced throughout the Essays. I propose to take a fresh look at this issue by investigating the status of eclecticism in Montaigne's Essays. This must start with an examination of the philosophical tradition most closely associated with... (shrink)

The French philosopher and intellectual historian Pierre Hadot (1922-2010) is known primarily for his conception of philosophy as spiritual exercise, which was an essential reference for the later Foucault. An aspect of his work that has received less attention is a set of methodological reflections on intellectual history and on the relationship between philosophy and history. Hadot was trained initially as a philosopher and was interested in existentialism as well as in the convergence between philosophy and poetry. Yet he chose (...) to become a historian of philosophy and produced extensive philological work on neo-Platonism and ancient philosophy in general. He found a philosophical rationale for this shift in his encounter with Wittgenstein's philosophy in the mid-1950s (Hadot was one of Wittgenstein's earliest French readers and interpreters). For Hadot, ancient philosophy must be understood as a series of language games, and each language game must be situated within the concrete conditions in which it happened. The reference to Wittgenstein therefore supports a strongly contextualist and historicist stance. It also supports its exact opposite: presentist appropriations of ancient texts are entirely legitimate, and they are the only way ancient philosophy can be existentially meaningful to us. Hadot addresses the contradiction by embracing it fully and claiming that his own practice aims at a coincidence of opposites (a concept borrowed from the Heraclitean tradition). For Hadot the fullest and truest way of doing philosophy is to be a philosopher and a historian at the same time. (shrink)

Professor Margaret Jo Osler of the University of Calgary, an historian of early modern science and philosophy (and a member of the Board of Directors of the Journal of the History of Philosophy since 2002) died on September 15, 2010. Born on November 27, 1942, she proudly proclaimed herself to be a "red diaper baby" and particularly delighted in telling her right-wing friends how her middle name was her parents' homage to Stalin. An energetic scholar with a vibrant and (...) positive personality, Maggie, as everyone who worked with her came to call her, never considered retirement and was actively working right up to her diagnosis with pancreatic cancer in early July, 2010.After graduating from Swarthmore College in .. (shrink)

This latest book, whose editors were among those who prepared the first two volumes, centers on Popkin's crucial role in bringing together scholars from around ...

We specialise Aronszajn trees by an $\omega ^\omega $ -bounding forcing that adds reals. We work with creature forcings on uncountable spaces. As an application of these notions of forcing, we answer a question of Moore, Hrušák and Džamonja whether ◇(b) implies the existence of a Souslin tree in a negative way by showing that "◇∂ and every Aronszajn tree is special" is consistent relative to ZFC.

For f, g $ \in \omega ^\omega $ let $c_{f,g}^\forall $ be the minimal number of uniform g-splitting trees (or: Slaloms) to cover the uniform f-splitting tree, i.e., for every branch v of the f-tree, one of the g-trees contains v. $c_{f,g}^\exists $ is the dual notion: For every branch v, one of the g-trees guesses v(m) infinitely often. It is consistent that $c_{f \in ,g \in }^\exists = c_{f \in ,g \in }^\forall = k_ \in $ for N₁ many (...) pairwise different cardinals $k_ \in $ and suitable pairs $(f_{ \in ,g \in } ).$ For the proof we use creatures with sufficient bigness and halving. We show that the lim-inf creature forcing satisfies fusion and pure decision. We introduce decisiveness and use it to construct a variant of the countable support iteration of such forcings, which still satisfies fusion and pure decision. (shrink)

What is the relation between philosophical theorizing and experimental data? A modest set of naturalistic assumptions leads to what I term the force-field puzzle. The assumption that philosophy is continuous with natural science, as captured in Quine’s force-field metaphor, seems to push us simultaneously towards thinking that there have to be conceptual constraints upon how we interpret experimental data and towards thinking that there cannot be such conceptual constraints, because all theorizing must be accountable to data and observation. The (...) key to resolving the force-field puzzle is to take a more nuanced view of how conceptual constraints can be accountable to data and observation. This can be done by developing conceptual arguments in conjunction with interpretative frameworks for making sense of experimental evidence. This paper shows how attending to important differences between different types of mindreading yields tools for interpreting experimental and observational data in a manner consistent with a (conceptually derived) constraint that I have developed elsewhere. This is the first-order constraint that second-order thinking, or thinking about thinking, is only available to language-using creatures. (shrink)

In The Phenomenology of Spirit, Hegel discusses how human beings have come to know things, including themselves. The Phenomenology of Spirit serves as an introduction to Hegel's philosophical system, which continues with logic, philosophy of nature, and ethical and political philosophy. Hegel tries to work out how our knowledge of particular things and the relations between them presupposes what he calls “force.” For Hegel, understanding force is like catching a thread or stumbling upon a road to what he calls (...) “Absolute Knowledge,” the understanding of Geist. Unlike gravity, in Star Wars the Force's influence is apparent in relations between living creatures. Stephen Houlgate's poignant interpretation of Hegel's Geist is useful for a social interpretation of the Force in Star Wars. Hegel's philosophy has brought us closer to Yoda, who has a deep understanding of reality thanks to his extensive knowledge of the Force and how it binds everything and everyone together. (shrink)

The main purpose of this dissertation is to apply and develop new forcing techniques to obtain models where several cardinal characteristics are pairwise different as well as force many (even more, continuum many) different values of cardinal characteristics that are parametrized by reals. In particular, we look at cardinal characteristics associated with strong measure zero, Yorioka ideals, and localization and anti-localization cardinals.In this thesis we introduce the property “F-linked” of subsets of posets for a given free filter F (...) on the natural numbers, and define the properties “ $\mu $ -F-linked” and “ $\theta $ -F-Knaster” for posets in a natural way. We show that $\theta $ -F-Knaster posets preserve strong types of unbounded families and of maximal almost disjoint families. These kinds of posets led to the development of a general technique to construct $\theta $ - $\textrm {Fr}$ -Knaster posets (where $\textrm {Fr}$ is the Frechet ideal) via matrix iterations of ${<}\theta $ -ultrafilter-linked posets (restricted to some level of the matrix). The latter technique allows proving consistency results about Cichoń’s diagram (without using large cardinals) and to prove the consistency of the fact that, for each Yorioka ideal, the four cardinal characteristics associated with it are pairwise different. Another important application is to show that three strongly compact cardinals are enough to force that Cichoń’s diagram can be separated into 10 different values. Later on, it was shown by Goldstern, Kellner, Mejía, and Shelah that no large cardinals are needed for Cichoń’s maximum (J. Eur. Math. Soc. 24 (2022), no. 11, p. 3951–3967).On the other hand, we deal with certain types of tree forcings including Sacks forcing, and show that these increase the covering of the strong measure zero ideal $\mathcal {SN}$. As a consequence, in Sacks model, such covering number is equal to the size of the continuum, which indicates that this covering number is consistently larger than any other classical cardinal characteristics of the continuum. Even more, Sacks forcing can be used to force that $\operatorname {\mathrm{non}}(\mathcal {SN})<\operatorname {\mathrm{cov}}(\mathcal {SN})<\operatorname {\mathrm{cof}}(\mathcal {SN})$, which is the first consistency result where more than two cardinal characteristics associated with $\mathcal {SN}$ are pairwise different. To obtain another result in this direction, we provide bounds for $\operatorname {\mathrm{cof}}(\mathcal {SN})$, which generalizes Yorioka’s characterization of $\mathcal {SN}$ (J. Symbolic Logic 67.4 (2002), p. 1373–1384). As a consequence, we get the consistency of $\operatorname {\mathrm{add}}(\mathcal {SN})=\operatorname {\mathrm{cov}}(\mathcal {SN})<\operatorname {\mathrm{non}}(\mathcal {SN})<\operatorname {\mathrm{cof}}(\mathcal {SN})$ with ZFC (via a matrix iteration forcing construction).We conclude this thesis by combining creature forcing approaches by Kellner and Shelah (Arch. Math. Logic 51.1–2 (2012), p. 49–70) and by Fischer, Goldstern, Kellner, and Shelah (Arch. Math. Logic 56.7–8 (2017), p. 1045–1103) to show that, under CH, there is a proper $\omega ^\omega $ -bounding poset with $\aleph _2$ -cc that forces continuum many pairwise different cardinal characteristics, parametrized by reals, for each one of the following six types: uniformity and covering numbers of Yorioka ideals as well as both kinds of localization and anti-localization cardinals, respectively. This answers several open questions from Klausner and Mejía (Arch. Math. Logic 61 (2022), pp. 653–683).Abstract prepared by Miguel Antonio Cardona-MontoyaE-mail: [email protected]: https://repositum.tuwien.at/handle/20.500.12708/19629. (shrink)

We construct creature forcings with strong Axiom A that specialize a given Aronszajn tree. We work with tree creature forcing. The creatures that live on the Aronszajn tree are normed and have the halving property. We show that our models fulfill ℵ1=d

Set Theory in Philosophy of Mathematics

Direct download (3 more)  

 

Export citation  

 

Bookmark   1 citation  

Recent political developments have made the notion of 'post-truth' ubiquitous. Along with associated terms such as 'fake news' and 'alternative facts', it appears with regularity in coverage of and commentary on Donald Trump, the Brexit vote, and the role – relative to these phenomena – of a half-despised, half-feared creature known as 'the public'. It has become commonplace to assert that we now inhabit, or are entering, a post-truth world. In this paper, I issue a sceptical challenge against (...) the distinctiveness and utility of the notion of post-truth. I argue, first, that the term fails to capture anything that is both real and novel. Moreover, post-truth discourse often has a not-fully-explicit political force and function: to ‘irrationalise’ political disaffection and to signal loyalty to a ‘pre-post-truth’ political status quo. The central insight of the speech act theory of J. L. Austin and others – that saying is always also doing – is as indispensable for understanding the significance of much of what is labelled ‘post-truth’, I’ll argue, as it is for understanding the significance of that very act of labelling. Keywords: post-truth, speech acts, Trump, brexit, Austin. (shrink)

We present an approach to forcing with finite sequences of models that uses models of two types. This approach builds on earlier work of Friedman and Mitchell on forcing to add clubs in cardinals larger than $\aleph_{1}$, with finite conditions. We use the two-type approach to give a new proof of the consistency of the proper forcing axiom. The new proof uses a finite support forcing, as opposed to the countable support iteration in the (...) standard proof. The distinction is important since a proof using finite supports is more amenable to generalizations to cardinals greater than $\aleph_{1}$. (shrink)

The class of stable posets is defined and investigated. We give a forcing construction of a universe of set theory which satisfies a weak form of Martin's Axiom and $2^{\aleph_0} > \aleph_1$ and yet some propositions which follow from CH hold in this universe.

We give a construction of the square principle by means of forcing with finite conditions.

We present a general framework for forcing on ω2 with finite conditions using countable models as side conditions. This framework is based on a method of comparing countable models as being membership related up to a large initial segment. We give several examples of this type of forcing, including adding a function on ω2, adding a nonreflecting stationary subset of, and adding an ω1‐Kurepa tree.

We study an extensive connection between quotient forcings of Borel subsets of Polish spaces modulo a σ-ideal and quotient forcings of subsets of countable sets modulo an ideal.

We study ultrafilters produced by forcing, obtaining different combinatorics and related Rudin-Keisler ordering; in particular we answer a question of Baumgartner and Taylor regarding tensor products of ultrafilters. Adapting a method of Blass and Mathias, we show that in most cases the combinatorics satisfied by the ultrafilters recapture the forcing notion in the Lévy model.

We prove that the covering number of the Marczewski ideal is equal to ℵ1 in the extension with the iteration of Hechler forcing.

In this paper we define the forcing relation and prove its basic properties in the context of the theory ZFCA, i.e., ZFC minus the Foundation axiom and plus the Anti-Foundation axiom.

We give an affirmative answer to Brendle's and Hrušák's question of whether the club principle together with h > N₁ is consistent. We work with a class of axiom A forcings with countable conditions such that q ≥ n p is determined by finitely many elements in the conditions p and q and that all strengthenings of a condition are subsets, and replace many names by actual sets. There are two types of technique: one for tree-like forcings (...) and one for forcings with creatures that are translated into trees. Both lead to new models of the club principle. (shrink)

Classes of forcings which add a real by forcing with branching conditions are examined, and conditions are found which guarantee that the generic real is of minimal degree over the ground model. An application is made to almost-disjoint coding via a real of minimal degree.

We investigate the effect after forcing with a coherent Souslin tree on the gap structure of the class of coherent Aronszajn trees ordered by embeddability. We shall show, assuming the relativized version PFA(S) of the proper forcing axiom, that the Souslin tree S forces that the class of Aronszajn trees ordered by the embeddability relation is universal for linear orders of cardinality at most ${\aleph_1}$.

Extender-based Prikry–Magidor forcing for overlapping extenders is introduced. As an application, models with strong forms of negations of the Shelah Weak Hypothesis for various cofinalities are constructed.

We show that a $$ -simplified morass can be added by a forcing with working parts of size smaller than $\kappa $. This answers affirmatively the question, asked independently by Shelah and Velleman in the early 1990s, of whether it is possible to do so.Our argument use a modification of a technique of Mitchell’s for adding objects of size $\omega _2$ in which collections of models – all of equal, countable size – are used as side conditions. In (...) our modification, whilst the individual models are, as in Mitchell’s technique, taken ad hoc from quite general classes, the collections of models are very highly structured, in a way that is somewhat different from, perhaps more stringent than, Mitchell’s original, arguably making the method more wieldy and giving the prospect of further uses with more delicate working parts. (shrink)

My purpose is to examine how Kuhn and Polanyi might be mutually supportive and corrective so as to join forces in providing a more comprehensive understanding of the progress of science. My presentation will be divided into three parts: (I) The common ground Kuhn shares with Polanyi; (II) Four soft spots in Kuhn and their remedy; (III) Clarifying and upgrading Polanyi appeal to "objective reality.".

We present a version for κ-distributive ideals over a regular infinite cardinal κ of some of the combinatorial results of Mathias on happy families. We also study an associated notion of forcing, which is a generalization of Mathias forcing and of Prikry forcing.

For \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${f,g\in\omega^\omega}$$\end{document} let \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${c^\forall_{f,g}}$$\end{document} be the minimal number of uniform g-splitting trees needed to cover the uniform f-splitting tree, i.e., for every branch ν of the f-tree, one of the g-trees contains ν. Let \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${c^\exists_{f,g}}$$\end{document} be the dual notion: For every branch ν, one of the g-trees guesses ν(m) infinitely often. We show that (...) it is consistent that \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${c^\exists_{f_\epsilon,g_\epsilon}{=}c^\forall_{f_\epsilon,g_\epsilon}{=}\kappa_\e psilon}$$\end{document} for continuum many pairwise different cardinals \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\kappa_\epsilon}$$\end{document} and suitable pairs \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${(f_\epsilon,g_\epsilon)}$$\end{document}. For the proof we introduce a new mixed-limit creature forcing construction. (shrink)

We use a creature construction to show that consistently $$\begin{aligned} \mathfrak d=\aleph _1= {{\mathrm{cov}}}< {{\mathrm{non}}}< {{\mathrm{non}}}< {{\mathrm{cof}}} < 2^{\aleph _0}. \end{aligned}$$The same method shows the consistency of $$\begin{aligned} \mathfrak d=\aleph _1= {{\mathrm{cov}}}< {{\mathrm{non}}}< {{\mathrm{non}}}< {{\mathrm{cof}}} < 2^{\aleph _0}. \end{aligned}$$.

It is shown that cardinals below a real-valued measurable cardinal can be split into finitely many intervals so that the powers of cardinals from the same interval are the same. This generalizes a theorem of Prikry [9]. Suppose that the forcing with a κ-complete ideal over κ is isomorphic to the forcing of λ-Cohen or random reals. Then for some τ<κ, λτ2κ and λ2<κ implies that 2κ=2τ= cov. In particular, if 2κ<κ+ω, then λ=2κ. This answers a question (...) from [3]. If A0, A1,..., An,… are sets of reals, then there are disjoint sets B0, B1,..., Bn,… such that BnAn and μ*=μ* for every n<ω, where μ* is the Lebes gue outer measure. For finitely many sets the result is due to N. Lusin. Let be a σ-centered forcing notion and An ¦n<ω subsets of P witnessing this. If P, An's and the relation of compatibility are Borel, then P adds a Cohen real. The forcing with a κ-complete ideal over a set X, ¦X¦κ cannot be isomorphic to a Hechler real forcing. This result was claimed in [3], but the proof given there works only for X of cardinality κ. (shrink)

Could an accreditation, certification, or rating mechanism help the pharmaceutical industry improve both its bioethical performance and its public reputation? Other industries have used such systems to assess, improve, distinguish, and demonstrate the quality of their services, processes, and products. These systems have also helped increase transparency, accountability, stakeholder confidence, and awareness of industry best practices. This article explains how market forces can be harnessed to recognize and promote better bioethical performance by pharmaceutical companies when there are good systems to (...) accredit, certify, or rate. It concludes with a review of relevant failures of credit-rating agencies — such as conflicts of interests and revolving-door practices — to illuminate some of the pitfalls of developing a bioethics accreditation, certification, or rating system for pharmaceutical companies. (shrink)

A method for constructing Boolean-valued models of some fragments of arithmetic was developed in Krajíček (Forcing with Random Variables and Proof Complexity, London Mathematical Society Lecture Notes Series, Cambridge University Press, Cambridge, 2011), with the intended applications in bounded arithmetic and proof complexity. Such a model is formed by a family of random variables defined on a pseudo-finite sample space. We show that under a fairly natural condition on the family [called compactness in Krajíček (Forcing (...) class='Hi'>with Random Variables and Proof Complexity, London Mathematical Society Lecture Notes Series, Cambridge University Press, Cambridge, 2011)] the resulting structure has a property that is naturally interpreted as saturation for existential types. We also give an example showing that this cannot be extended to universal types. (shrink)

This article explores whether the bioethical performance and trustworthiness of pharmaceutical companies can be improved by harnessing market forces through the use of accreditation, certification, or rating. Other industries have used such systems to define best practices, set standards, and assess and signal the quality of services, processes, and products. These systems have also informed decisions in other industries about where to invest, what to buy, where to work, and when to regulate. Similarly, accreditation, certification, and rating programs can help (...) drug companies address stakeholder concerns in four areas: clinical trial design and management, dissemination of clinical trial results, marketing practices, and the accessibility of medicines. To illuminate processes — such as conflicts of interests and revolving-door policies — that can jeopardize the integrity of accreditation, certification, and ratings systems, the article concludes with a consideration of recent failures of credit-rating agencies and a review of the regulatory capture literature. (shrink)

Constellations, Volume 29, Issue 2, Page 229-243, June 2022.

We prove that there are groups in the constructible universe whose automorphism towers are highly malleable by forcing. This is a consequence of the fact that, under a suitable diamond hypothesis, there are sufficiently many highly rigid non-isomorphic Souslin trees whose isomorphism relation can be precisely controlled by forcing.

I will focus on the topic announced in the subtitle of Professor Descombes’ profound and provocative work: The Mind’s Provisions: A Critique of Cognitivism. In the end, I will agree with practically everything in his incisive ‘critique’ except its conclusion: that cognitivism is incoherent. What he shows instead, I think, is that cognitivism, as an account of human thought and understanding, is deeply false. The difference matters because incoherence is harder to prove and, prima facie, less plausible. But, if (...) the same argument, slightly recast, shows falsehood with even more conviction, then the essential point is saved after all. So, following a quick characterization of cognitivism, I will attempt to distill what I take to be the main grounds and themes of Descombes’ critique, explain why I don’t think they expose an incoherence, and then show how they might be recast in a way that is devastating all the same. (shrink)