While Wilfrid Sellars’ philosophy is often depicted in an ahistorical fashion, this book explores the consequences of placing his work in its historical context. In order to show how Sellars’ early publications depend on contextual factors, Peter Olen reconstructs the conceptions of language, psychological, and social explanation that dominated American philosophy in the early 20th century. Because of Sellars’ differing explanations of language and behaviour, Olen argues that many of Sellars’ early commitments are incompatible with his later works. In the (...) course of doing so, Olen highlights problematic tensions between Sellars’ early and later conceptions of language, meta-philosophy, and normativity. Supplementing the main text is a collection of previously unpublished archival material from Wilfrid Sellars, Gustav Bergmann, Everett Hall, and other early 20th century philosophers. This text will be a useful resource to those with an interest in the history of American philosophy, the history of analytic philosophy, Wilfrid Sellars’ philosophy, and the myriad issues surrounding normativity and language. (shrink)

Bio-ontologies are digital frameworks for handling biological and biomedical data. They consist of theoretical entities and relations with explicitly defined logical structures and precise definitions, whose purpose is to provide a shared language for representing information to be distributed and integrated across diverse scientific contexts. It is tempting to view bio-ontologies as clear and formal expressions of a scientific community’s ontological commitments about their domain of inquiry, and to view their integration as tantamount to the metaphysical unification of science that (...) some philosophers have envisaged. However, I argue that the local, practical, social and technological factors that influence their design prevent us from straightforwardly reading metaphysical conclusions from them. I discuss these complications and suggest how they can be overcome, revealing more general lessons for the development of a well-founded scientific metaphysics. (shrink)

The analytical notions of ‘thought style’, ‘paradigm’, ‘episteme’ and ‘style of reasoning’ are some of the most popular frameworks in the history and philosophy of science. Although their proponents, Ludwik Fleck, Thomas Kuhn, Michel Foucault, and Ian Hacking, are all part of the same philosophical tradition that closely connects history and philosophy, the extent to which they share similar assumptions and objectives is still under debate. In the first part of the paper, I shall argue that, despite the fact that (...) these four thinkers disagree on certain assumptions, their frameworks have the same explanatory goal – to understand how objectivity is possible. I shall present this goal as a necessary element of a common project -- that of historicising Kant's a priori. In the second part of the paper, I shall make an instrumental use of the insights of these four thinkers to form a new model for studying objectivity. I shall also propose a layered diagram that allows the differences between the frameworks to be mapped, while acknowledging their similarities. This diagram will show that the frameworks of style of reasoning and episteme illuminate conditions of possibility that lie at a deeper level than those considered by thought styles and paradigm. (shrink)

A common feature of all standard theories of the laws of nature is that they are "absolutist": They take laws to be either all metaphysically necessary or all contingent. Science, however, gives us reason to think that there are laws of both kinds, suggesting that standard theories should make way for "non-absolutist" alternatives: theories which accommodate laws of both modal statuses. In this paper, we set out three explanatory challenges for any candidate non-absolutist theory and discuss the prospects of the (...) two extant candidates in light of these challenges. We then develop our own non-absolutist theory, the essentialist DTA account, which combines the nomic-necessitation or DTA account with an essentialist approach to metaphysical modality in order to meet the three explanatory challenges. Finally, we argue that the distinction between kinematical and dynamical laws found in physical theories supports both non-absolutism in general and our proposed essentialist DTA view in particular. (shrink)

Reichenbach’s early solution to the scientific problem of how abstract mathematical representations can successfully express real phenomena is rooted in his view of coordination. In this paper, I claim that a Reichenbach-inspired, ‘layered’ view of coordination provides us with an effective tool to systematically analyse some epistemic and conceptual intricacies resulting from a widespread theorising strategy in evolutionary biology, recently discussed by Okasha (2018) as ‘endogenization’. First, I argue that endogenization is a form of extension of natural selection theory that (...) comprises three stages: quasi-axiomatisation, functional extension, and semantic extension. Then, I argue that the functional extension of one core principle of natural selection theory, namely, the principle of heritability, requires the semantic extension of the concept of inheritance. This is because the semantic extension of ‘inheritance’ is necessary to establish a novel form of coordination between the principle of heritability and the extended domain of phenomena that it is supposed to represent. Finally, I suggest that – despite the current lack of consensus on the right semantic extension of ‘inheritance’ – we can fruitfully understand the reconceptualization of ‘inheritance’ provided by niche construction theorists as the result of a novel form of coordination. (shrink)

The main thesis of this paper is that Pap’s The Functional A Priori of Physical Theory (Pap 1946, henceforth FAP) and Cassirer’s Determinism and Indeterminism in Modern Physics (Cassirer 1937, henceforth DI) may be conceived as two kindred accounts of a late Neo-Kantian philosophy of science. They elucidate and clarify each other mutually by elaborating conceptual possibilities and pointing out affinities of neo-Kantian ideas with other currents of 20th century’s philosophy of science, namely, pragmatism, conventionalism, and logical empiricism. Taking into (...) account these facts, it seems not too far fetched to conjecture that under more favorable circumstances Pap could have served as a mediator between the “analytic” and “continental” tradition thereby overcoming the dogmatic dualism of these two philosophical currents that has characterized philosophy in the second half the 20th century. (shrink)

Recent debates in philosophy of science have witnessed the rise of two major proposals. On the one hand, regarding the conceptual structure of scientific theories, some believe that they exhibit constitutive elements. The constitutive elements of a theory are the components that play the role of laying the foundations of empirical meaningfulness, and whose acceptance is prior to empirical research. On the other hand, as for the nature of scientific knowledge and its relation to nature, perspectival realism has pursued a (...) middle ground in classic debates between realism and antirealism, by assuming that although knowledge is always situated both historically and culturally, scientific statements have truth values and constitute genuine claims about a mind-independent world. In this paper, I argue that these two lines of research are not only compatible but complement each other, and provide a common view of science. I contend that a theoretical perspective is a set of constitutive elements where models and representations may develop, and stress that both constitutivism and perspectivism have numerous shared characteristics, such as their vindication of the historicity of scientific knowledge, their recognition of human epistemic limits, and a very similar conception of truth. (shrink)

I argue that if simplicity is a theoretical virtue and some theoretical virtues are the constituents of the aims of theorizing in physics—i.e., theory choice and theory development in physics—and scientific rationality is instrumental rationality, then simplicity cannot be a mere means to achieve the aims. I do this by showing that considering simplicity as a mere means brings about counterintuitive ramifications concerning scientific rationality. These counterintuitive ramifications can be avoided if we consider simplicity a constituent of the aims of (...) theorizing in physics. (shrink)

The aim of this paper is to present a topological method for constructing discretizations of topological conceptual spaces. The method works for a class of topological spaces that the Russian mathematician Pavel Alexandroff defined more than 80 years ago. The aim of this paper is to show that Alexandroff spaces, as they are called today, have many interesting properties that can be used to explicate and clarify a variety of problems in philosophy, cognitive science, and related disciplines. For instance, recently, (...) Ian Rumfitt used a special type of Alexandroff spaces to elucidate the logic of vague concepts in a new way. Moreover, Rumfitt’s class of Alexandroff spaces can be shown to provide a natural topological semantics for Susanne Bobzien’s “logic of clearness”. Mainly due to the work of Peter Gärdenfors and his collaborators, conceptual spaces have become an increasingly popular tool of dealing with a variety of problems in the fields of cognitive psychology, artificial intelligence, linguistics and philosophy. For Gärdenfors’s conceptual spaces, geometrically defined discretizations play an essential role. These tessellations can be shown to be extensionally equivalent to topological tessellations that can be constructed for Alexandroff spaces in general. Thereby, Rumfitt’s and Gärdenfors’s constructions turn out to be special cases of an approach that works for a more general class of spaces, namely, for weakly scattered Alexandroff spaces. The main aim of this paper is to show that this class of spaces provides a convenient framework for conceptual spaces as used in epistemology and related disciplines in general. Weakly scattered Alexandroff spaces are useful for elucidating problems related to the logic of vague concepts, in particular they offer a solution of the Sorites paradox. Further, they provide a semantics for the logic of clearness that overcomes certain problems of the concept of higher-order vagueness. Moreover, these spaces help find a natural place for classical syllogistics in the framework of conceptual spaces. The specialization order of Alexandroff spaces can be used to refine the all-or-nothing distinction between prototypical and non-prototypical stimuli in favor of a gradual distinction between more or less prototypical elements of conceptual spaces. The greater conceptual flexibility of the topological approach helps avoid some inherent inadequacies of the geometrical approach, for instance, the so-called “thickness problem”. Finally, it is shown that the Alexandroff spaces offer an appropriate framework to deal with digital conceptual spaces that are gaining more and more importance in the areas of artificial intelligence, computer science and related disciplines. (shrink)

It has been claimed, recently, that the fact that all the non-gravitational fields are locally Poincaré invariant and that these invariances coincide, in a certain regime, with the symmetries of the spacetime metric is miraculous in general relativity. In this paper I show that, in the context of GR, it is possible to account for these so-called miracles of relativity. The way to do so involves integrating the realisation that the gravitational field equations impose constraints on the behaviour of matter (...) in a novel interpretation of the equivalence principle, which dictates the determination of local inertial frames through gravitational interaction. This proposed explanation of the miracles can also deal with the problematic cases for attempts at explaining them in the context of the standard geometrical perspective on relativity theory. (shrink)

In this paper, I argue for a distinction between two scales of coordination in scientific inquiry, through which I reassess Georg Simon Ohm’s work on conductivity and resistance. Firstly, I propose to distinguish between measurement coordination, which refers to the specific problem of how to justify the attribution of values to a quantity by using a certain measurement procedure, and general coordination, which refers to the broader issue of justifying the representation of an empirical regularity by means of abstract mathematical (...) tools. Secondly, I argue that the development of Ohm’s measurement practice between the first and the second experimental phase of his work involved the change of the measurement coordination on which he relied to express his empirical results. By showing how Ohm relied on different calibration assumptions and practices across the two phases, I demonstrate that the concurrent change of both Ohm’s experimental apparatus and the variable that Ohm measured should be viewed based on the different form of measurement coordination. Finally, I argue that Ohm’s assumption that tension is equally distributed in the circuit is best understood as part of the general coordination between Ohm’s law and the empirical regularity that it expresses, rather than measurement coordination. (shrink)

The received view has it that Hans Reichenbach and his friends of the Berlin Group worked close together with the more prominent Vienna Circle. In the wake of this view, Reichenbach was often treated as a logical positivist – despite the fact that he decisively opposed it. In this chapter we follow another thread. We shall show the “third man”– besides Reichenbach and Walter Dubislav – of the Berlin Group, Kurt Grelling, as a man who could grasp the academic trends (...) of the time faster than anybody else, who was better informed about logic and philosophy of nature than his two prominent colleagues and thus, could better delineate, although tentatively, central threads of research of the Berlin Group. Grelling did this on several occasions, but most ostensibly in the last years of his life when he was focused on problems of formal ontology. On the basis of this analysis, we shall see that in the early 1920s, Reichenbach too was led by a project in ontology of science that he elaborated together with the psychologist Kurt Lewin. Moreover, Reichenbach’s later philosophy of nature was also shaped by this project. We present this direction of philosophy of science as a “road less travelled” which, however, if revived, can point to a new direction that will more closely connect philosophy and science. (shrink)

ABSTRACT: It is a familiar story that Kant’s defence of our synthetic a priori cognition in the Critique of Pure Reason suffered sharp criticism throughout the extended philosophical revolutions that established analytic philosophy, the pragmatist tradition, and the phenomenological tradition as dominant philosophical movements in the first half of the twentieth century. One of the most important positive adaptations of Kant’s outlook, however, was the combined analytic and pragmatist conceptions of the a priori that were developed by the American philosophers (...) C. I. Lewis (1883–1964) and Wilfrid Sellars (1912–1989), most notably in Lewis’s 1929 classic, Mind and the World Order, followed by Sellars’ critical reworking of Lewis’s outlook in ‘Is There a Synthetic A Priori?’ (1953) and other mid-century articles. Both Lewis and Sellars defended central aspects of Kant’s analysis of our a priori knowledge of mind-independent physical objects and necessary causal connections. But both also radically transformed Kant’s view by defending the idea that there are alternative a priori conceptual frameworks that are subject to an ongoing process of reassessment and replacement on overall pragmatic and explanatory grounds. Furthermore, while Sellars’ answer to his question, ‘Is There a Synthetic A Priori?’ thus represented a partial endorsement of Lewis’s pragmatic relativization of the a priori, I argue that Sellars’ account of meaning diverged from Lewis in ways that constituted a significant improvement upon the previous ‘analytic’ defenses of the a priori, not only in Lewis but in general. This arguably has implications for wider disputes concerning the nature and possibility of a priori knowledge in non-formal domains. (shrink)

In this multi-disciplinary investigation we show how an evidence-based perspective of quantification---in terms of algorithmic verifiability and algorithmic computability---admits evidence-based definitions of well-definedness and effective computability, which yield two unarguably constructive interpretations of the first-order Peano Arithmetic PA---over the structure N of the natural numbers---that are complementary, not contradictory. The first yields the weak, standard, interpretation of PA over N, which is well-defined with respect to assignments of algorithmically verifiable Tarskian truth values to the formulas of PA under the interpretation. (...) The second yields a strong, finitary, interpretation of PA over N, which is well-defined with respect to assignments of algorithmically computable Tarskian truth values to the formulas of PA under the interpretation. We situate our investigation within a broad analysis of quantification vis a vis: * Hilbert's epsilon-calculus * Goedel's omega-consistency * The Law of the Excluded Middle * Hilbert's omega-Rule * An Algorithmic omega-Rule * Gentzen's Rule of Infinite Induction * Rosser's Rule C * Markov's Principle * The Church-Turing Thesis * Aristotle's particularisation * Wittgenstein's perspective of constructive mathematics * An evidence-based perspective of quantification. By showing how these are formally inter-related, we highlight the fragility of both the persisting, theistic, classical/Platonic interpretation of quantification grounded in Hilbert's epsilon-calculus; and the persisting, atheistic, constructive/Intuitionistic interpretation of quantification rooted in Brouwer's belief that the Law of the Excluded Middle is non-finitary. We then consider some consequences for mathematics, mathematics education, philosophy, and the natural sciences, of an agnostic, evidence-based, finitary interpretation of quantification that challenges classical paradigms in all these disciplines. (shrink)

The book is addressed to all readers interested in cognitive science, and especially in research combining a logical analysis with psychological, linguistic and neurobiological approaches. The publication is the result of a collaboration between the Department of Cognitive Science at University of Lodz and the Department of Cognitive Science at Lund University. It is intended to provide a comprehensive presentation of the key research issues undertaken in both Departments, including considerations on meaning, natural language and reasoning, linguistic as well as (...) numerical competence, the theory of decision making, modelling of conceptual representations, cognitive and game theoretic approach to social interactions. (shrink)

This paper challenges the appeal to theory virtues in theory choice as well as the appeal to the intellectual and moral virtues of an agent as determining unique choices between empirically equivalent theories. After arguing that theoretical virtues do not determine the choice of one theory at the expense of another theory, I argue that nor does the appeal to intellectual and moral virtues single out one agent, who defends a particular theory, and exclude another agent defending an alternative theory. (...) I analyse Duhem’s concept of good sense and its recent interpretation in terms of virtue epistemology. I argue that the virtue epistemological interpretation does not show how good sense leads to conclusive choices and scientific progress. (shrink)

In this paper significant challenges are raised with respect to the view that explanation essentially involves unification. These objections are raised specifically with respect to the well-known versions of unificationism developed and defended by Michael Friedman and Philip Kitcher. The objections involve the explanatory regress argument and the concepts of reduction and scientific understanding. Essentially, the contention made here is that these versions of unificationism wrongly assume that reduction secures understanding.

In this article I argue for an empiricist view on laws. Some laws are fundamental in the sense that they are the result of inductive generalisations of observed regularities and at the same time in their formulation contain a new theoretical predicate. The inductive generalisations simul- taneously function as implicit definitions of these new predicates. Other laws are either explicit definitions or consequences of other previously established laws. I discuss the laws of classical mechanics, relativity theory and electromagnetism in detail. (...) Laws are necessary, whereas acciden- tal generalisations are not. But necessity here is not a modal concept, but rather interpreted as short for the semantic predicate “... is necessarily true”. Thus no modal logic is needed. The neces- sity attributed to law sentences is in turn interpreted as “necessary condition for the rest of the the- ory”, which is true since fundamental laws are implicit definitions of theoretical predicates use in the theory. (shrink)

The numerous and diverse roles of theory reduction in science have been insufficiently explored in the philosophy literature on reduction. Part of the reason for this has been a lack of attention paid to reduction2 (successional reduction)---although I here argue that this sense of reduction is closer to reduction1 (explanatory reduction) than is commonly recognised, and I use an account of reduction that is neutral between the two. This paper draws attention to the utility---and incredible versatility---of theory reduction. A non-exhaustive (...) list of various applications of reduction in science is presented, some of which are drawn from a particular case-study, being the current search for a new theory of fundamental physics. This case-study is especially interesting because it employs both senses of reduction at once, and because of the huge weight being put on reduction by the different research groups involved; additionally, it presents some unique uses for reduction---revealing, I argue, the fact that reduction can be of specialised and unexpected service in particular scientific cases. The paper makes two other general findings: that the functions of reduction that are typically assumed to characterise the different forms of the relation may instead be understood as secondary consequences of some other roles; and that most of the roles that reduction plays in science can actually also be fulfilled by a weaker relation than (the typical understanding of) reduction. (shrink)

In this paper, I present two tools that help shed light on deep disagreements and their epistemological consequences. First, I argue that we are best off construing deep disagreements as disagreements over conflicting understandings of certain concepts. More specifically, I suggest that deep disagreements are disagreements over how to understand concepts that play what Michael Friedman calls a “constitutive” role for speakers. Second, I argue that we need a better understanding of what speakers are doing when they engage in deep (...) disagreements—what speech acts they are carrying out. I show that we are best off not reducing the relevant speech acts to more familiar speech act kinds, such as assertions or imperatives. I argue that when a speaker articulates an understanding of a concept, they are in part carrying out an act of stipulation. I provide an account of the pragmatics of stipulation and apply the account to examples of deep disagreement. Focusing on the stipulative dimension of deep disagreement opens up, in turn, a novel approach to defusing the epistemological challenges such disagreement seems to pose. (shrink)

In this paper, I present a new framework supporting the claim that some elements in science play a constitutive function, with the aim of overcoming some limitations of Friedman's (2001) account. More precisely, I focus on what I consider to be the gradualism implicit in Friedman's interpretation of the constitutive a priori, that is, the fact that it seems to allow for degrees of 'constitutivity'. I tease out such gradualism by showing that the constitutive character Friedman aims to track can (...) be captured by three features - namely, quasi-axiomaticity (QA), generative potential (GP), and empirical shielding (ES) - which are exhibited to a maximal degree by the examples Friedman deploys, particularly in his analysis of Newtonian mechanics. I argue that not all varieties of 'constitutivity' can be captured by the kind of gradualism implicit in Friedman's view, although developing the gradualism itself might provide useful insights. To show this, I analyse the function of the Hardy-Weinberg principle (HWP) in population genetics in terms of its QA, GP, and ES. Whereas the HWP does not count as constitutive in classical philosophical interpretations (Sober 1984), nor does it within Friedman's framework, it does nonetheless perform a minimally constitutive function. By means of historical details and considerations on the prospects of replacing the HWP, I show that the HWP is minimally constitutive by being a counterfactual instantiation of a paradigmatically constitutive stability principle, where the latter might itself be regarded as an enabling condition for a variety of modelling practices across the sciences. (shrink)

In times of crisis, when current theories are revealed as inadequate to task, and new physics is thought to be required—physics turns to re-evaluate its principles, and to seek new ones. This paper explores the various types, and roles of principles that feature in the problem of quantum gravity as a current crisis in physics. I illustrate the diversity of the principles being appealed to, and show that principles serve in a variety of roles in all stages of the crisis, (...) including in motivating the need for a new theory, and defining what this theory should be like. In particular, I consider: the generalised correspondence principle, UV-completion, background independence, and the holographic principle. I also explore how the current crisis fits with Friedman’s view on the roles of principles in revolutionary theory-change, finding that while many key aspects of this view are not represented in quantum gravity, the view could potentially offer a useful diagnostic, and prescriptive strategy. This paper is intended to be relatively non-technical, and to bring some of the philosophical issues from the search for quantum gravity to a more general philosophical audience interested in the roles of principles in scientific theory-change. (shrink)

The human attempts to access, measure and organize physical phenomena have led to a manifold construction of mathematical and physical spaces. We will survey the evolution of geometries from Euclid to the Algebraic Geometry of the 20th century. The role of Persian/Arabic Algebra in this transition and its Western symbolic development is emphasized. In this relation, we will also discuss changes in the ontological attitudes toward mathematics and its applications. Historically, the encounter of geometric and algebraic perspectives enriched the mathematical (...) practices and their foundations. Yet, the collapse of Euclidean certitudes, of over 2300 years, and the crisis in the mathematical analysis of the 19th century, led to the exclusion of “geometric judgments” from the foundations of Mathematics. After the success and the limits of the logico-formal analysis, it is necessary to broaden our foundational tools and re-examine the interactions with natural sciences. In particular, the way the geometric and algebraic approaches organize knowledge is analyzed as a cross-disciplinary and cross-cultural issue and will be examined in Mathematical Physics and Biology. We finally discuss how the current notions of mathematical (phase) “space” should be revisited for the purposes of life sciences. (shrink)

The philosophy of nature operates as one complete and systematic aspect of Schelling’s philosophy in the years 1797-1801 and as complement to Schelling’s transcendental philosophy at this time. The philosophy of nature comes with its own, naturalistic epistemology, according to which human natural productivity provides the basis for human access to nature’s own productive laws. On the basis of one’s natural productivity, one can consciously formulate principles which match nature’s own lawful principles. One refines these principles through a process of (...) experimentation, which relies on the human being’s naturalness in productivity. By making natural activity central to knowledge, Schelling takes seriously the naturalness of humans, without denying the dramatic shift that occurs when consciousness and rationality factor into experience. This epistemology can thus be fruitfully put in conversation with current philosophical discussions of mind and nature, in that it offers a naturalized account of mind which does not suffer from the typical weaknesses of a contemporary Kantian or Hegelian account. The paper thus concludes with a discussion of John McDowell’s Mind and World, and shows how Schelling’s philosophy can resolve some tensions in that work. (shrink)

Newton began his Principia with three Axiomata sive Leges Motus. We offer an interpretation of Newton’s dual label and investigate two tensions inherent in his account of laws. The first arises from the juxtaposition of Newton’s confidence in the certainty of his laws and his commitment to their variability and contingency. The second arises because Newton ascribes fundamental status both to the laws and to the bodies and forces they govern. We argue the first is resolvable, but the second is (...) not. However, the second tension shows that Newton conceives laws as formal causes of bodies and forces. This neo-Aristotelian conception goes missing in Kantian accounts of laws, as well as accounts that stress laws’ grounding in powers and capacities. (shrink)

Philosophers are divided on whether the proof- or truth-theoretic approach to logic is more fruitful. The paper demonstrates the considerable explanatory power of a truth-based approach to logic by showing that and how it can provide (i) an explanatory characterization —both semantic and proof-theoretical—of logical inference, (ii) an explanatory criterion for logical constants and operators, (iii) an explanatory account of logic’s role (function) in knowledge, as well as explanations of (iv) the characteristic features of logic —formality, strong modal force, generality, (...) topic neutrality, basicness, and (quasi-)apriority, (v) the veridicality of logic and its applicability to science, (v) the normativity of logic, (vi) error, revision, and expansion in/of logic, and (vii) the relation between logic and mathematics. The high explanatory power of the truth-theoretic approach does not rule out an equal or even higher explanatory power of the proof-theoretic approach. But to the extent that the truth-theoretic approach is shown to be highly explanatory, it sets a standard for other approaches to logic, including the proof-theoretic approach. (shrink)

This paper tries to reconstruct Ernst Cassirer's potential reception of the EPR argument, as exposed by Einstein in his letter to Cassirer of March 1937. It is shown that, in conformity with his transcendental epistemology taking the conditions of accessibility as constitutive of the quantum object, Cassirer would probably have rejected the argument. Indeed, Cassirer would probably not have subscribed to its separability/local causality presupposition (which goes against his interpretation of the quantum formalism as a self-suf!cient condition constitutive of the (...) quantum object, without any reliance on spatial intuition), nor to its completeness requirement (as his partial endorsement of Bohr's complementarity, and his rejection of the Kantian "idea of complete determination", illustrate). By rejecting both of its premises, Cassirer's philosophy of physics thus enables to escape the EPR dilemma, and exhibits what, in Kantian terms, might be called a "negative utility" with respect to physical science. A further investigation of the anti-reductionist utility of Cassirer's systematic philosophy with respect to physics and other "symbolic forms" is !nally suggested. (shrink)

The aim of this paper is to show that a comprehensive account of the role of representations in science should reconsider some neglected theses of the classical philosophy of science proposed in the first decades of the 20th century. More precisely, it is argued that the accounts of Helmholtz and Hertz may be taken as prototypes of representational accounts in which structure preservation plays an essential role. Following Reichenbach, structure-preserving representations provide a useful device for formulating an up-to-date version of (...) a (relativized) Kantian a priori. An essential feature of modern scientific representations is their mathematical character. That is, representations can be conceived as (partially) structure-preserving maps or functions. This observation suggests an interesting but neglected perspective on the history and philosophy of this concept, namely, that structure-preserving representations are closely related to a priori elements of scientific knowledge. Reichenbach’s early theory of a relativized constitutive but non-apodictic a priori component of scientific knowledge provides a further elaboration of Kantian aspects of scientific representation. To cope with the dynamic aspects of the evolution of scientific knowledge, Cassirer proposed a re-interpretation of the concept of representation that conceived of a particular representation as only one phase in a continuous process determined by pragmatic considerations. Pragmatic aspects of representations are further elaborated in the classical account of C.I. Lewis and the more modern of Hasok Chang. (shrink)

If it seems unquestionable that C. I. Lewis is a Kantian in important respects, it is more difficult to determine what, if anything, is original about his Kantianism. For it might be argued that Lewis’ Kantianism simply reflects an approach to the a priori which was very common in the first half of the twentieth century, namely, the effort to make the a priori relative. In this paper, I will argue that Lewis’ Kantianism does present original features. The latter can (...) be detected by focusing on Lewis’ account of the method of philosophy in the first chapter of Mind and the World Order. In that context, Lewis argues that the method of philosophy should be reflective and critical. It will be my contention that this understanding of philosophy involves a therapeutic perspective, which bears important resemblances to Kant’s account of transcendental reflection in the Amphiboly of the Critique of Pure Reason. I will illustrate how this therapeutic application of reflection works in Lewis’ metaphysics. In this context, reflection can correct errors of reasoning that occur when we are operating within a particular conceptual scheme and use the criteria of reality that are appropriate in another. (shrink)

Scientific communities as social groupings and the role that such communities play in scientific change and the production of scientific knowledge is currently under debate. I examine theory change as a complex social interaction among individual scientists and the scientific community, and argue that individuals will be motivated to adopt a more radical or innovative attitude when confronted with striking similarities between model systems and a more robust understanding of specialised vocabulary. Two case studies from the biological sciences, Barbara McClintock (...) and Stanley Prusiner, help motivate the idea that sharing of models and specialised vocabulary fill the gap between discovery and scientific change by promoting the dispersal of important information throughout the scientific community. (shrink)

I criticize Kuhn’s (1962/1970) taxonomic incommensurability thesis as follows. (i) His argument for it is neither deductively sound nor inductively correct. (ii) It clashes with his account of scientific development that employs evolutionary theory. (iii) Even if two successive paradigms are taxonomically incommensurable, they have some overlapping theoretical claims, as selectivists point out. (iv) Since scientific revolutions were rare in the recent past, as historical optimists observe, they will also be rare in the future. Where scientific revolution is rare, taxonomic (...) incommensurability is rare, and taxonomic commensurability is common. For these reasons, taxonomic commensurability rather than incommensurability should be advanced as an image of science. (shrink)

ABSTRACTPhysiologists have long known that some vertebrates can survive for months without a brain. This phenomenon attracted limited attention until the nineteenth century when a series of experiments on living, decapitated frogs ignited a controversy about consciousness. Pflüger demonstrated that such creatures do not just exhibit reflexes; they also perform purposive behaviours. Suppose one thinks, along with Pflüger's ally Lewes, that purposive behaviour is a mark of consciousness. Then one must count a decapitated frog as conscious. If one rejects this (...) mark, one can avoid saying peculiar things about decapitated animals. But as Huxley showed, this position leads quickly to epiphenomenalism. The dispute long remained stalemated because it rested on conflicting sets of intuitions that were each compatible with the growing body of experiments. What eventually resolved it is that one set of intuitions supported a research programme in physiology that came to seem more fruitful on the whole. So my case st... (shrink)

In this paper, I will attempt to develop and defend a common form of intuitive resistance to the companions in guilt argument. I will argue that one can reasonably believe there are promising solutions to the access problem for mathematical realism that don’t translate to moral realism. In particular, I will suggest that the structuralist project of accounting for mathematical knowledge in terms of some form of logical knowledge offers significant hope of success while no analogous approach offers such hope (...) for moral realism. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable propositions, (...) and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter 2 argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal and hyperintensional cognitivism and modal and hyperintensional expressivism. I also develop a novel, topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel, dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter 3 provides an abstraction principle for epistemic (hyper-)intensions. Chapter 4 advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter 5 applies the fixed points of the modal μ-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal μ-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal μ-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter 6 advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter 7 provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters 2 and 4 are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters 8-12 provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter 8 examines the interaction between my hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of Ω-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter 9 examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that higher observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter 10 examines the philosophical significance of hyperintensional Ω-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter 11 provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter 12 avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first-order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals in the category of Set in category theory. Chapter 13 examines modal responses to the alethic paradoxes. Chapter 14 examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable propositions, (...) and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter 2 argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal and hyperintensional cognitivism and modal and hyperintensional expressivism. I also develop a novel, topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel, dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter 3 provides an abstraction principle for epistemic (hyper-)intensions. Chapter 4 advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter 5 applies the fixed points of the modal μ-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal μ-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal μ-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter 6 advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter 7 provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters 2 and 4 are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters 8-12 provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter 8 examines the interaction between my hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of Ω-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter 9 examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that higher observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter 10 examines the philosophical significance of hyperintensional Ω-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter 11 provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter 12 avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first-order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals in the category of Set in category theory. Chapter 13 examines modal responses to the alethic paradoxes. Chapter 14 examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

Walter Dubislav (1895–1937) was a leading member of the Berlin Group for scientific philosophy. This “sister group” of the more famous Vienna Circle emerged around Hans Reichenbach’s seminars at the University of Berlin in 1927 and 1928. Dubislav was to collaborate with Reichenbach, an association that eventuated in their conjointly conducting university colloquia. Dubislav produced original work in philosophy of mathematics, logic, and science, consequently following David Hilbert’s axiomatic method. This brought him to defend formalism in these disciplines as well (...) as to explore the problems of substantiating (Begründung) human knowledge. Dubislav also developed elements of general philosophy of science. Sadly, the political changes in Germany in 1933 proved ruinous to Dubislav. He published scarcely anything after Hitler came to power and in 1937 committed suicide under tragic circumstances. The intent here is to pass in review Dubislav’s philosophy of logic, mathematics, and science and so to shed light on some seminal yet hitherto largely neglected currents in the history of philosophy of science. (shrink)

My dissertation explores the ways in which Rudolf Carnap sought to make philosophy scientific by further developing recent interpretive efforts to explain Carnap’s mature philosophical work as a form of engineering. It does this by looking in detail at his philosophical practice in his most sustained mature project, his work on pure and applied inductive logic. I, first, specify the sort of engineering Carnap is engaged in as involving an engineering design problem and then draw out the complications of design (...) problems from current work in history of engineering and technology studies. I then model Carnap’s practice based on those lessons and uncover ways in which Carnap’s technical work in inductive logic takes some of these lessons on board. This shows ways in which Carnap’s philosophical project subtly changes right through his late work on induction, providing an important corrective to interpretations that ignore the work on inductive logic. Specifically, I show that paying attention to the historical details of Carnap’s attempt to apply his work in inductive logic to decision theory and theoretical statistics in the 1950s and 1960s helps us understand how Carnap develops and rearticulates the philosophical point of the practical/theoretical distinction in his late work, offering thus a new interpretation of Carnap’s technical work within the broader context of philosophy of science and analytical philosophy in general. (shrink)

Naturalized metaphysicians defend the thesis that science licenses meta- physics, such that only metaphysical results that are based on the best science are to be considered legitimate. This view is problematic, due to the fact that the reasons they identify for such license are apparently self-defeating. Chakravartty defends a revised approach to understanding the licensing relation. I argue that the proposed response is a step forward on behalf of naturalizing metaphysics, but still does not take seriously the contention that science (...) involves, inextricably, a contribution from the a priori. I conclude by considering what options the aspiring naturalized metaphysician is left with. (shrink)

In this paper, I examine Quine's views on the epistemology of logic. According to Quine's influential holistic account, logic is central in the “web of belief” that comprises our overall theory of the world. Because of this, revisions to logic would have devastating systematic consequences, and this explains why we are loath to make such revisions. In section1, I clarify this idea and thereby show that Quine actually takes the web of belief to have asymmetrical internal structure. This raises two (...) puzzles. First, as I show in section 2, Quine's mature thoroughly naturalized view has it that logic is simply obvious, and this is explains why we do not typically consider revising it. While Quine presents this naturalized view as a way to make good on his earlier metaphor of centrality in a web of belief, I argue that the resources of Quine's naturalized epistemology cannot adequately explain why we are reluctant to revise logic. And, Quine seems to recognize this point himself. In light of this, I explain in section 3 how Quine can allow that our overall scientific theory has systematic structure in a way that is consistent with his naturalistic strictures. Second, the asymmetrical internal structure of the web of belief seems to be inconsistent with its being a holistic web at all. I defuse this problem in section 4 by showing how Quine distinguishes between structural and confirmational considerations. I close by using this distinction to show how Quine's view can evade Michael Friedman’s criticisms, and allow for important methodological distinctions between areas of the web of belief. (shrink)

Carl Stumpf (1848–1937) is a key figure in the fin de siècle germanophone philosophy. Unfortunately, after the World War One, the interest towards Stumpf as a philosopher waned. One of the reasons was that already in the 1920s the attention of the mainstream philosophers shifted in direction of the rising rivalry between analytic and continental philosophy. The interest towards Carl Stumpf’s philosophy was revived only in the last twenty years or so. Great service in this provided the Neo-Brentanists. But while (...) the association of Carl Stumpf with Franz Brentano fostered Stumpf studies, it also gave rise of one-sided interpretations of Stumpf as a philosopher. In this way his importance and idiosyncrasy as philosopher remained in shadow. (shrink)

Do the same epistemic standards govern scientific and religious belief? Or should science and religion operate in completely independent epistemic spheres? Commentators have recently been divided on William James’s answer to this question. One side depicts “The Will to Believe” as offering a separate-spheres defense of religious belief in the manner of Galileo. The other contends that “The Will to Believe” seeks to loosen the usual epistemic standards so that religious and scientific beliefs can both be justified by a unitary (...) set of evidentiary rules. I argue that James did build a unitary epistemology but not by loosening cognitive standards. In his psychological research, he had adopted the Comtian view that hypotheses and regulative assumptions play a crucial role in the context of discovery even though they must be provisionally adopted before they can be supported by evidence. “The Will to Believe” relies on this methodological point to achieve a therapeutic goal—to convince despairing Victorians that religious faith can be reconciled with a scientific epistemology. James argues that the prospective theist is in the same epistemic situation with respect to the “religious hypothesis” as the scientist working in the context of discovery. (shrink)

Dass wir alle in einer gemeinsamen Wirklichkeit leben, setzen wir meist unhinterfragt voraus. Sehen Andere die Welt dann doch einmal anders, mag es uns scheinen, als sähen sie diese einfach nicht so, wie sie wirklich ist. Schwerer fällt uns anzuerkennen, dass andere zuweilen in ganz anderen Wirklichkeiten unterwegs sind als wir selbst. - Tom Poljansek zeigt, wie sich die Vorstellung einer Pluralität menschlicher Wirklichkeiten mit der Annahme einer wahrnehmungsunabhängigen Realität vereinbaren lässt, ohne sich in einen Relativismus der vielen Wirklichkeiten zu (...) verlaufen. In Auseinandersetzung mit »kontinentalen« und »analytischen« Ansätzen legt er eine elegante Theorie menschlicher Wirklichkeiten vor, die konstruktivistische und realistische, phänomenologische und naturalistische Motive unerwartet miteinander verbindet. (shrink)

Recently, some philosophers of science (e.g., Gürol Irzik, Michael Friedman) have challenged the ‘received view’ on the relationship between Rudolf Carnap and Thomas Kuhn, suggesting that there is a close affinity (rather than opposition) between their philosophical views. In support of this argument, these authors cite Carnap and Kuhn’s similar views on incommensurability, theory-choice, and scientific revolutions. Against this revisionist view, I argue that the philosophical relationship between Carnap and Kuhn should be regarded as opposed rather than complementary. In particular, (...) I argue that a consideration of the fundamentally disparate nature of the broader philosophical projects of Carnap (logic of science) and Kuhn (providing a theory of scientific revolutions)renders the alleged similarities between their views superficial in comparison to their fundamental differences. In defense of the received view, I suggest that Carnap and Kuhn are model representatives of two contrasting styles of doing philosophy of science, viz., logical analysis and historical analysis respectively. This analysis clarifies the role played by Kuhn’s Structure of Scientific Revolutions in the demise of logical empiricism in the second half of the twentieth-century. (shrink)

Scientific inquiry has led to immense explanatory and technological successes, partly as a result of the pervasiveness of scientific theories. Relativity theory, evolutionary theory, and plate tectonics were, and continue to be, wildly successful families of theories within physics, biology, and geology. Other powerful theory clusters inhabit comparatively recent disciplines such as cognitive science, climate science, molecular biology, microeconomics, and Geographic Information Science (GIS). Effective scientific theories magnify understanding, help supply legitimate explanations, and assist in formulating predictions. Moving from their (...) knowledge-producing representational functions to their interventional roles (Hacking 1983), theories are integral to building technologies used within consumer, industrial, and scientific milieus. -/- This entry explores the structure of scientific theories from the perspective of the Syntactic, Semantic, and Pragmatic Views. Each of these views answers questions such as the following in unique ways. What is the best characterization of the composition and function of scientific theory? How is theory linked with world? Which philosophical tools can and should be employed in describing and reconstructing scientific theory? Is an understanding of practice and application necessary for a comprehension of the core structure of a scientific theory? How are these three views ultimately related? (shrink)

The controversy over the old ideal of “value-free science” has cooled significantly over the past decade. Many philosophers of science now agree that even ethical and political values may play a substantial role in all aspects of scientific inquiry. Consequently, in the last few years, work in science and values has become more specific: Which values may influence science, and in which ways? Or, how do we distinguish illegitimate from illegitimate kinds of influence? In this paper, I argue that this (...) problem requires philosophers of science to take a new direction. I present two case studies in the influence of values on scientific inquiry: feminist values in archaeology and commercial values in pharmaceutical research. I offer a preliminary assessment of these cases, that the influence of values was legitimate in the feminist case, but not in the pharmaceutical case. I then turn to three major approaches to distinguish legitimate from illegitimate influences of values, including the distinction between epistemic and non-epistemic values and Heather Douglas’ distinction between direct and indirect roles for values. I argue that none of these three approaches gives an adequate analysis of the two cases. In the concluding section, I briefly sketch my own approach, which draws more heavily on ethics than the others, and is more promising as a solution to the current problem. This is the new direction in which I think science and values should move. (shrink)

The Bounds of Logic presents a new philosophical theory of the scope and nature of logic based on critical analysis of the principles underlying modern Tarskian logic and inspired by mathematical and linguistic development. Extracting central philosophical ideas from Tarski’s early work in semantics, Sher questions whether these are fully realized by the standard first-order system. The answer lays the foundation for a new, broader conception of logic. By generally characterizing logical terms, Sher establishes a fundamental result in semantics. Her (...) development of the notion of logicality for quantifiers and her work on branching are of great importance for linguistics. Sher outlines the boundaries of the new logic and points out some of the philosophical ramifications of the new view of logic for such issues as the logicist thesis, ontological commitment, the role of mathematics in logic, and the metaphysical underpinning of logic. She proposes a constructive definition of logical terms, reexamines and extends the notion of branching quantification, and discusses various linguistic issues and applications. (shrink)

The distinction between the contexts of discovery and justification, this distinction dear to the projects of logical empiricism, was, as is well known, introduced in precisely those terms by Hans Reichenbach in his Experience and Prediction (Reichenbach 1938). Thus, while the idea behind the distinction has a long history before Reichenbach, this text from 1938 plays a salient role in how the distinction became canonical in the work of philosophers of science in the mid twentieth century. The new contextualist history (...) of philosophy that has arisen in recent years invites us into an investigation of the nuances of philosophical distinctions and their roles in shaping the development of disciplines. Logical empiricism played a key role in the historical development of philosophy of science and this contextualist history has revealed a much richer set of projects in logical empiricism than the potted histories had allowed. Many stories have been told about the contexts of justification and discovery; few of those stories have paid more than passing attention to the larger projects in epistemology and meta-epistemology that Reichenbach was pursuing when he drew the distinction. This brief essay will seek partially to rectify that lack in, I hope, a somewhat surprising way. I shall stress the connection between this canonical distinction and some other epistemological and social terms that loom large in Reichenbach’s text, arguing that the social relevance of scientific philosophy for Reichenbach cannot be set aside in understanding his use of the DJ distinction. My point is, therefore, historical and reflexive. If we attend to the larger significance of the project in scientific philosophy that Reichenbach was advancing, we can see more clearly why the DJ distinction was introduced and rethink the significance of questioning the distinction. (shrink)