This paper attempts to confine the preconceptions that prevented Frege from appreciating Hilbert?s Grundlagen der Geometrie to two: (i) Frege?s reliance on what, following Wilfrid Hodges, I call a Frege?Peano language, and (ii) Frege?s view that the sense of an expression wholly determines its reference.I argue that these two preconceptions prevented Frege from achieving the conceptual structure of model theory, whereas Hilbert, at least in his practice, was quite close to the model?theoretic point of view.Moreover, the issues that divided Frege (...) and Hilbert did not revolve around whether one or the other allowed metalogical notions.Frege, e.g., succeeded in formulating the notion of logical consequence, at least to the extent that Bolzano did; the point is rather that even though Frege had certain semantic concepts, he did not articulate them model?theoretically, whereas, in some limited sense, Hilbert did. (shrink)

This paper concerns the epistemic status of "Hume's principle"--the assertion that for any concepts and , the number of s is the same as the number of s just in case the s and the s are in one-one correspondence. I oppose the view that Hume's principle is a stipulation governing the introduction of a new concept with the thesis that it represents the correct analysis of a concept in use. Frege's derivation of the basic laws of arithmetic from Hume's (...) principle shows our pure arithmetical knowledge to arise out of the most common everyday applications we make of the numbers. The analysis of arithmetical knowledge in terms of Hume's principle ties our conception of number to the interconnections of which our concepts of divided reference are capable; in so doing, it locates the origin of our conception of number in the structure of our conceptual framework. (shrink)

This paper contains a close analysis of Frege's proofs of the axioms of arithmetic §§70-83 of Die Grundlagen, with special attention to the proof of the existence of successors in §§82-83. Reluctantly and hesitantly, we come to the conclusion that Frege was at least somewhat confused in those two sections and that he cannot be said to have outlined, or even to have intended, any correct proof there. The proof he sketches is in many ways similar to that given in (...) Grundgesetze der Arithmetik, but fidelity to what Frege wrote in Die Grundlagen and in Grundgesetze requires us to reject the charitable suggestion that it was this (beautiful) proof that he had in mind in §§82-83. (shrink)

This paper is concerned with Wittgenstein's early doctrine of the independence of elementary propositions. Using the notion of a free generator for a logical calculus–a concept we claim was anticipated by Wittgenstein–we show precisely why certain difficulties associated with his doctrine cannot be overcome. We then show that Russell's version of logical atomism–with independent particulars instead of elementary propositions–avoids the same difficulties.

The Analysis of Matter is perhaps best known for marking Russell's rejection of phenomenalism and his development of a variety of Lockean representationalism–-Russell's causal theory of perception. This occupies Part 2 of the work. Part 1, which is certainly less well known, contains many observations on twentieth-century physics. Unfortunately, Russell's discussion of relativity and the foundations of physical geometry is carried out in apparent ignorance of Reichenbach's and Carnap's investigations in the same period. The issue of conventionalism in its then (...) contemporary form is simply not discussed. The only writers of the period who appear to have had any influence on Russell's conception of the philosophical issues raised by relativity were Whitehead and Eddington. Even the work of A. A. Robb fails to receive any extended discussion;1 although Robb's causal theory is certainly relevant to many of Russell's concerns, especially those voiced in Part 3, regarding the construction of points and the topology of space-time. In the case of quantum mechanics, the idiosyncrasy of Russell's selection of topics is more understandable, since the Heisenberg and Schrödinger theories were only just discovered. Nevertheless, it seems bizarre to a contemporary reader that Russell should have given such emphasis2 to G. N. Lewis's suggestion that an atom emits light only when there is another atom to receive it–-a suggestion reminiscent of Leibniz, and one to which Russell frequently returns. In short, the philosophical problems of modern physics with which Russell deals seem remote from the perspective of post-positivist philosophy of physics. (shrink)

Widespread interest in Frege's general philosophical writings is, relatively speaking, a fairly recent phenomenon. But it is only very recently that his philosophy of mathematics has begun to attract the attention it now enjoys. This interest has been elicited by the discovery of the remarkable mathematical properties of Frege's contextual definition of number and of the unique character of his proposals for a theory of the real numbers. This collection of essays addresses three main developments in recent work on Frege's (...) philosophy of mathematics: the emerging interest in the intellectual background to his logicism; the rediscovery of Frege's theorem; and the reevaluation of the mathematical content of The Basic Laws of Arithmetic. Each essay attempts a sympathetic, if not uncritical, reconstruction, evaluation, or extension of a facet of Frege's theory of arithmetic. Together they form an accessible and authoritative introduction to aspects of Frege's thought that have, until now, been largely missed by the philosophical community. (shrink)

The final work of the esteemed philosopher William Demopoulos supplants logical empiricism's accounts of physical theories, which fail to satisfactorily engage modern physics. Arguing for a new appreciation of the tightly woven character of theory and evidence, Demopoulos offers novel insights into the distinctive nature of quantum reality.

The idea that mathematics is reducible to logic has a long history, but it was Frege who gave logicism an articulation and defense that transformed it into a distinctive philosophical thesis with a profound influence on the development of philosophy in the twentieth century. This volume of classic, revised and newly written essays by William Demopoulos examines logicism's principal legacy for philosophy: its elaboration of notions of analysis and reconstruction. The essays reflect on the deployment of these ideas by (...) the principal figures in the history of the subject - Frege, Russell, Ramsey and Carnap - and in doing so illuminate current concerns about the nature of mathematical and theoretical knowledge. Issues addressed include the nature of arithmetical knowledge in the light of Frege's theorem; the status of realism about the theoretical entities of physics; and the proper interpretation of empirical theories that postulate abstract structural constraints. (shrink)

This paper concerns the rational reconstruction of physical theories initially advanced by F. P. Ramsey and later elaborated by Rudolf Carnap. The Carnap–Ramsey reconstruction of theoretical knowledge is a natural development of classical empiricist ideas, one that is informed by Russell's philosophical logic and his theories of propositional understanding and knowledge of matter ; as such, it is not merely a schematic representation of the notion of an empirical theory, but the backbone of a general account of our knowledge of (...) the physical world. Carnap–Ramsey is an illuminating approach to epistemological problems that remain with us, one whose difficulties are shared by accounts that have sought to replace it. 1 Introduction 2 Russell's theory of propositional understanding 3 Ramsey's primary and secondary systems 4 Carnap's reconstruction of the language of science and an observation of Newman 5 Extension of the foregoing to constructive empiricism 6 Putnam's model-theoretic argument and the semantic view of theories 7 The problem clarified and resolved. (shrink)

BackgroundAs a number of commentators have noted, SARS exposed the vulnerabilities of our health care systems and governance structures. Health care professionals (HCPs) and hospital systems that bore the brunt of the SARS outbreak continue to struggle with the aftermath of the crisis. Indeed, HCPs – both in clinical care and in public health – were severely tested by SARS. Unprecedented demands were placed on their skills and expertise, and their personal commitment to their profession was severely tried. Many were (...) exposed to serious risk of morbidity and mortality, as evidenced by the World Health Organization figures showing that approximately 30% of reported cases were among HCPs, some of whom died from the infection. Despite this challenge, professional codes of ethics are silent on the issue of duty to care during communicable disease outbreaks, thus providing no guidance on what is expected of HCPs or how they ought to approach their duty to care in the face of risk.DiscussionIn the aftermath of SARS and with the spectre of a pandemic avian influenza, it is imperative that we (re)consider the obligations of HCPs for patients with severe infectious diseases, particularly diseases that pose risks to those providing care. It is of pressing importance that organizations representing HCPs give clear indication of what standard of care is expected of their members in the event of a pandemic. In this paper, we address the issue of special obligations of HCPs during an infectious disease outbreak. We argue that there is a pressing need to clarify the rights and responsibilities of HCPs in the current context of pandemic flu preparedness, and that these rights and responsibilities ought to be codified in professional codes of ethics. Finally, we present a brief historical accounting of the treatment of the duty to care in professional health care codes of ethics.SummaryAn honest and critical examination of the role of HCPs during communicable disease outbreaks is needed in order to provide guidelines regarding professional rights and responsibilities, as well as ethical duties and obligations. With this paper, we hope to open the social dialogue and advance the public debate on this increasingly urgent issue. (shrink)

Richard G. Heck, On the Philosophical Significance of Frege's Theorem. Language, Thought, and Logic, Essays in Honour of Michael Dummett.George Boolos, Is Hume's Principle Analytic?.Charles Parsons, Wright onion and Set Theory.Richard G. Heck, The Julius Caesar Objection.

The common thread running through the logicism of Frege, Dedekind, and Russell is their opposition to the Kantian thesis that our knowledge of arithmetic rests on spatio-temporal intuition. Our critical exposition of the view proceeds by tracing its answers to three fundamental questions: What is the basis for our knowledge of the infinity of the numbers? How is arithmetic applicable to reality? Why is reasoning by induction justified?

Of the three views of theoretical knowledge which form the focus of this article, the first has its source in the work of Russell, the second in Ramsey, and the third in Carnap. Although very different, all three views subscribe to a principle I formulate as ‘the structuralist thesis’; they are also naturally expressed using the concept of a Ramsey sentence. I distinguish the framework of assumptions which give rise to the structuralist thesis from an unproblematic emphasis on the importance (...) of ‘structural’ differences for the analysis and interpretation of theories belonging to the exact sciences, and I review a number of logical properties of Ramsey sentences using very simple arithmetical theories and their models. I then develop a reconstruction of the views of Russell, Ramsey, and Carnap that clarifies the interrelationships among them by appealing to aspects of the arithmetical examples that inform my discussion of Ramsey sentences. I conclude with an account of the philosophical basis of the structuralist thesis and the fundamental difficulty to which it leads. (shrink)

This paper has three goals: (i) to show that the foundational program begun in the Begriffsschroft, and carried forward in the Grundlagen, represented Frege's attempt to establish the autonomy of arithmetic from geometry and kinematics; the cogency and coherence of 'intuitive' reasoning were not in question. (ii) To place Frege's logicism in the context of the nineteenth century tradition in mathematical analysis, and, in particular, to show how the modern concept of a function made it possible for Frege to pursue (...) the goal of autonomy within the framework of the system of second-order logic of the Begriffsschrift. (iii) To address certain criticisms of Frege by Parsons and Boolos, and thereby to clarify what was and was not achieved by the development, in Part III of the Begriffsschrift, of a fragment of the theory of relations. (shrink)

Developmental psychologists have long recognized the extraordinary influence of action on learning (Held & Hein, 1963; Piaget, 1952). Action experiences begin to shape our perception of the world during infancy (e.g., as infants gain an understanding of others’ goal-directed actions; Woodward, 2009) and these effects persist into adulthood (e.g., as adults learn about complex concepts in the physical sciences; Kontra, Lyons, Fischer, & Beilock, 2012). Theories of embodied cognition provide a structure within which we can investigate the mechanisms underlying action’s (...) impact on thinking and reasoning. We argue that theories of embodiment can shed light on the role of action experience in early learning contexts, and further that these theories hold promise for using action to scaffold learning in more formal educational settings later in development. (shrink)

The present paper offers some remarks on the significance of first order model theory for our understanding of theories, and more generally, for our understanding of the “structuralist” accounts of the nature of theoretical knowledge that we associate with Russell, Ramsey and Carnap. What is unique about the presentation is the prominence it assigns to Craig’s Interpolation Lemma, some of its corollaries, and the manner of their demonstration. They form the underlying logical basis of the analysis.

The quantum logical and quantum information-theoretic traditions have exerted an especially powerful influence on Bub’s thinking about the conceptual foundations of quantum mechanics. This paper discusses both the quantum logical and information-theoretic traditions from the point of view of their representational frameworks. I argue that it is at this level—at the level of its framework—that the quantum logical tradition has retained its centrality to Bub’s thought. It is further argued that there is implicit in the quantum information-theoretic tradition a set (...) of ideas that mark a genuinely new alternative to the framework of quantum logic. These ideas are of considerable interest for the philosophy of quantum mechanics, a claim which I defend with an extended discussion of their application to our understanding of the philosophical significance of the no hidden variable theorem of Kochen and Specker. (shrink)

The following paper presents a characterization of three distinctions fundamental to computationalism, viz., the distinction between analog and digital machines, representation and nonrepresentation-using systems, and direct and indirect perceptual processes. Each distinction is shown to rest on nothing more than the methodological principles which justify the explanatory framework of the special sciences.

Can opium's tendency to induce sleep be explained by appeal to a "dormitive virtue"? If the label merely references the tendency being explained, the explanation seems vacuous. Yet the presence of a label could signal genuinely explanatory content concerning the (causal) basis for the property being explained. In Experiments 1 and 2, we find that explanations for a person's behavior that appeal to a named tendency or condition are indeed judged to be more satisfying than equivalent explanations that differ only (...) in omitting the name. In Experiment 3, we find support for one proposal concerning what it is about a name that drives a boost in explanatory satisfaction: named categories lead people to draw an inference to the existence of a cause underlying the category, a cause that is responsible for the behavior being explained. Our findings have implications for theories of explanation and point to the central role of causation in explaining behavior. (shrink)

The essays in this volume were written by leading researchers on classical mechanics, statistical mechanics, quantum theory, and relativity. They detail central topics in the foundations of physics, including the role of symmetry principles in classical and quantum physics, Einstein's hole argument in general relativity, quantum mechanics and special relativity, quantum correlations, quantum logic, and quantum probability and information.

A central problem in the interpretation of non-relativistic quantum mechanics is to relate the conceptual structure of the theory to the classical idea of the state of a physical system. This paper approaches the problem by presenting an analysis of the notion of an elementary physical proposition. The notion is shown to be realized in standard formulations of the theory and to illuminate the significance of proofs of the impossibility of hidden variable extensions. In the interpretation of quantum mechanics that (...) emerges from this analysis, the philosophically distinctive features of the theory derive from the fact that it seeks to represent a reality of which complete knowledge is essentially unattainable. (shrink)

We discuss recent work on bounded rationality and learning in relation to Soros' principle of reflexivity and stress the empirical importance of non-rational, almost self-fulfilling equilibria in positive feedback systems. As an empirical example, we discuss a behavioral asset pricing model with heterogeneous expectations. Bubble and crash dynamics is triggered by shocks to fundamentals and amplified by agents switching endogenously between a mean-reverting fundamental rule and a trend-following rule, based upon their relative performance. We also discuss learning-to-forecast laboratory experiments, showing (...) that in positive feedback systems individuals coordinate expectations on non-rational, almost self-fulfilling equilibria with persistent price fluctuations very different from rational equilibria. Economic policy analysis may benefit enormously by focusing on efficiency and welfare gains in correcting mispricing along almost self-fulfilling equilibria. (shrink)

There has been broad interest in the so-called rise of women farmers in United States (US) agriculture. Researchers have elucidated the diverse ways farmers ‘perform’ gender, while also examining how engaging in a masculine-coded industry like agriculture shapes individuals’ gendered identities as well as their social and mental wellbeing. While illuminating, this work is mostly focused on sustainable or direct-market farmers, with surprisingly little research examining women on conventional row crops operations. This paper works to fill this empirical gap and (...) further theorize gender-agriculture intersections through analyzing interviews with Iowa women row-crop farmers to understand the ways they perceive their gendered identities, and how they see them shaping their farming experience and mental wellbeing. Deploying a conceptual understanding of gender as both discursive and embodied as well as relational and fluid, I find respondents see themselves operating in a somewhat liminal gender identity, where they feel adept at moving between masculinized spaces of agriculture and more feminized domains of homes and office jobs. Critically, while women rarely expressed stress about doing “masculine” coded agricultural labor, they had more complex feelings towards either disliking or imperfectly completing feminized care and reproductive labor. Younger women expressed particular ambivalence about assuming the identity of farmer while also fulfilling gendered norms around (heterosexual) marriage and childbearing. The liminality of women’s gender performance also cut both ways, and while they feel able to access different gendered spaces some feel they are not fully accepted in either. I conclude by reflecting on what these particular forms of gendered subjectivity might mean for women’s mental wellbeing and how agencies might better support gender equity in agriculture. (shrink)

A feature of Frege's philosophy of arithmetic that has elicited a great deal of attention in the recent secondary literature is his contention that numbers are ‘self‐subsistent’ objects. The considerable interest in this thesis among the contemporary philosophy of mathematics community stands in marked contrast to Kreisel's folk‐lore observation that the central problem in the philosophy of mathematics is not the existence of mathematical objects, but the objectivity of mathematics. Although Frege was undoubtedly concerned with both questions, a goal of (...) the present paper is to argue that his success in securing the objectivity of arithmetic depends on a less contentious commitment to numbers as objects than either he or his critics have supposed. As such, this paper is an articulation and defense of both Frege's analysis of arithmetic and Kreisel's observation. (shrink)

A feature of Frege's philosophy of arithmetic that has elicited a great deal of attention in the recent secondary literature is his contention that numbers are ‘self‐subsistent’ objects. The considerable interest in this thesis among the contemporary philosophy of mathematics community stands in marked contrast to Kreisel's folk‐lore observation that the central problem in the philosophy of mathematics is not the existence of mathematical objects, but the objectivity of mathematics. Although Frege was undoubtedly concerned with both questions, a goal of (...) the present paper is to argue that his success in securing the objectivity of arithmetic depends on a less contentious commitment to numbers as objects than either he or his critics have supposed. As such, this paper is an articulation and defense of both Frege's analysis of arithmetic and Kreisel's observation. (shrink)

This article addresses the development of an online residency platform Floating Reverie, for artists who work in and around digital media. The particular focus of this article is on the methodology used by the curator of the residencies and the artists as a form of networked curation within a South African creative digital art context.

The concept of a linguistic framework and the distinction between internal and external questions are the central ideas of Rudolf Carnap's "Empiricism, Semantics, and Ontology." It is not uncommon to encounter the suggestion that reflection on the theoretical and experimental investigations which led to the acceptance of the atomic hypothesis undermines Carnap's distinction between these two types of question and the utility of his notion of a linguistic framework. I believe this is a mistake. There is a natural development of (...) the distinction and the notion of framework choice with which it is paired that is perfectly capable of accommodating this case. I show this by bringing out a subtlety that arises in the extension of the con ceptual apparatus of ESO to the realism/instrumentalism controversy. When this subtlety is taken into account, the question contested by the nineteenth- and early twentieth-century opponents and proponents of the atomic hypothesis, and successfully addressed by Einstein and Perrin, is readily seen to be internal. Moreover, this formulation of the distinction and the controversy are both independent of Carnap's views on cognitive significance and factual content. I conclude with a presentation and discussion of two formulations of the realism/instrumentalism controversy that are based on Carnap's explication of the factual content of a theory in terms of the notion of its Ramsey sentence. (shrink)

This scoping review maps research ethics and integrity challenges and best practices encountered by research actors in the DACH countries (Germany, Austria, and Switzerland), including researchers, funders, publishers, research ethics committees, and policymakers, during the COVID-19 pandemic. The COVID-19 pandemic brought research and, in turn, research ethics and integrity, into public focus. This review identified challenges related to changing research environments, diversity in research, publication and dissemination trends, scientific literacy and trust in science, recruitment, research redundancy and study termination, placebo (...) and human challenge studies, data management, and informed consent. These challenges are linked to two crucial factors: first, actors in the DACH research ecosystem lacked a sound knowledge base to assess the risks and benefits of research during the COVID-19 pandemic. Second, researchers in the DACH region faced pressure from policymakers, funders, and the public to generate relevant, timely, and consistent findings to mitigate the impacts of the COVID-19 pandemic. In addition, this review highlights best practices to mitigate the effects of future crises on research ethics and integrity, including enhanced cooperation among actors, continuous ethics assessments, and support for public scientific literacy. (shrink)

The paper considers Fregean and neo-Fregean strategies for securing the apriority of arithmetic. The Fregean strategy recovers the apriority of arithmetic from that of logic and a family of explicit definitions. The neo-Fregean strategy relies on a principle which, though not an explicit definition, is given the status of a stipulation; unlike the Fregean strategy it relies on an extension of second order logic which is not merely a definitional extension. The paper argues that this methodological difference is important in (...) assessing the success of the neo-Fregean strategy. (shrink)

The nutrition transition—a process of dietary change that describes the shift to calorie-dense, higher fat and protein diets from cereal based ones—is happening in India. This paper argues that relatively little is known about the nature of nutrition transition in India. This is a result of both a lack of adequate and timely data and a consequence of national and state-level statistics, which render an incomplete and potentially misleading picture of how these processes are unfolding in local contexts. This may (...) be especially true in India where very little ethnographic research has documented the dual edges of nutrition transitions. Analyzing data collected from the Kumaon Hills, Uttarakhand in 2013, this paper suggests the ways in which aspects of the nutrition transition have developed unevenly over space and time. In particular, while new types of calorie dense foods have infiltrated these rural, remote areas, the process has been uneven and fraught with contestation due to preexisting social practices. More troubling is the evidence that though incomes are rising, the predicted increases in high value, protein rich foods may actually be declining. This paper concludes by arguing that the widely influential nutrition transition literature needs look to ethnographic and in-depth qualitative methods to form better policies relevant to the contingencies of dietary and epidemiological change. (shrink)