Philosophy and model theory frequently meet one another. Philosophy and Model Theory aims to understand their interactions -/- Model theory is used in every ‘theoretical’ branch of analytic philosophy: in philosophy of mathematics, in philosophy of science, in philosophy of language, in philosophical logic, and in metaphysics. But these wide-ranging appeals to model theory have created a highly fragmented literature. On the one hand, many philosophically significant mathematical results are found only in mathematics textbooks: these are aimed squarely at mathematicians; (...) they typically presuppose that the reader has a significant background in mathematics; and little clue is given as to their philosophical significance. On the other hand, the philosophical applications of these results are then scattered across disconnected pockets of papers, separated by decades or more. -/- The first aim of Philosophy and Model Theory, then, is to consider the philosophical uses of model theory. On a technical level, we try to show how philosophically significant results connect to one another, and also to state the best version of a result for philosophical purposes. On a philosophical level, we show how similar dialectical situations arise repeatedly, across fragmented debates in varied philosophical areas. -/- The second aim of Philosophy and Model Theory, though, is to consider the philosophy of model theory. Model theory itself is rarely taken as the subject matter of philosophising (contrast this, say, with the philosophy of biology, or the philosophy of set theory). But model theory is a beautiful part of pure mathematics, and worthy of philosophical study in its own right. (shrink)

It is widely agreed that perceptual experience is a form of intentionality, i.e., that it has representational content. Many philosophers take this to mean that like belief, experience has propositional content, that it can be true or false. I accept that perceptual experience has intentionality; but I dispute the claim that it has propositional content. This claim does not follow from the fact that experience is intentional, nor does it follow from the fact that experiences are accurate or inaccurate. I (...) end by considering the relationship between this question and the question of whether experience has non-conceptual content. (shrink)

Universals are putative objects like wisdom, morality, redness, etc. Although we believe in properties (which, we argue, are not a kind of object), we do not believe in universals. However, a number of ordinary, natural language constructions seem to commit us to their existence. In this paper, we provide a fictionalist theory of universals, which allows us to speak as if universals existed, whilst denying that any really do.

Preface ix 1 Meaning and the Means to an Understanding of Ends 2 Why Is an Eye? 21 3 Adaptationism and Engineering 39 4 On Five "-Isms" 67 5 Function, Selection, and Explanation 87 6 Deflating Function 119 7 Artifacts and Organisms 139 References 167 Index 177.

This edition has been fully revised and updated, and includes a new chapter on consciousness and a new section on modularity. There are also guides for further reading, and a new glossary of terms such as mentalese, connectionism, and the homunculus fallacy.

Which systems/organisms are conscious? New tests for consciousness (‘C-tests’) are urgently needed. There is persisting uncertainty about when consciousness arises in human development, when it is lost due to neurological disorders and brain injury, and how it is distributed in nonhuman species. This need is amplified by recent and rapid developments in artificial intelligence (AI), neural organoids, and xenobot technology. Although a number of C-tests have been proposed in recent years, most are of limited use, and currently we have no (...) C-tests for many of the populations for which they are most critical. Here, we identify challenges facing any attempt to develop C-tests, propose a multidimensional classification of such tests, and identify strategies that might be used to validate them. (shrink)

Dispositions are essential to our understanding of the world. Dispositions: A Debate is an extended dialogue between three distinguished philosophers - D.M. Armstrong, C.B. Martin and U.T. Place - on the many problems associated with dispositions, which reveals their own distinctive accounts of the nature of dispositions. These are then linked to other issues such as the nature of mind, matter, universals, existence, laws of nature and causation.

The nature of perception has long been a central question in philosophy. It is of crucial importance not just in the philosophy of mind, but also in epistemology, metaphysics, aesthetics, and the philosophy of science. The essays in this 1992 volume not only offer fresh answers to some of the traditional problems of perception, but also examine the subject in light of contemporary research on mental content. A substantial introduction locates the essays within the recent history of the subject, and (...) demonstrates the links between them. The Contents of Experience brings together some prominent philosophers in the field, and offers a major statement on a problem central to current philosophical thinking. Notable contributors include Christopher Peacocke, Brian O'Shaughnessy and Michael Tye. (shrink)

In “Models and Reality” (1980), Putnam sketched a version of his internal realism as it might arise in the philosophy of mathematics. Here, I will develop that sketch. By combining Putnam’s model-theoretic arguments with Dummett’s reflections on Gödelian incompleteness, we arrive at (what I call) the Skolem-Gödel Antinomy. In brief: our mathematical concepts are perfectly precise; however, these perfectly precise mathematical concepts are manifested and acquired via a formal theory, which is understood in terms of a computable system of proof, (...) and hence is incomplete. Whilst this might initially seem strange, I show how internal categoricity results for arithmetic and set theory allow us to face up to this Antinomy. This also allows us to understand why “Models are not lost noumenal waifs looking for someone to name them,” but “constructions within our theory itself,” with “names from birth.”. (shrink)

To understand the mind, we need to draw equally on the fields of cognitive science and neuroscience. But these two fields have very separate intellectual roots, and very different styles. So how can these two be reconciled in order to develop a full understanding of the mind and brain.This is the focus of this landmark new book.

The following bare-bones story introduces the idea of a cumulative hierarchy of pure sets: 'Sets are arranged in stages. Every set is found at some stage. At any stage S: for any sets found before S, we find a set whose members are exactly those sets. We find nothing else at S.' Surprisingly, this story already guarantees that the sets are arranged in well-ordered levels, and suffices for quasi-categoricity. I show this by presenting Level Theory, a simplification of set theories (...) due to Scott, Montague, Derrick, and Potter. (shrink)

According to conventional wisdom, the split-brain syndrome puts paid to the thesis that consciousness is necessarily unified. The aim of this paper is to challenge that view. I argue both that disunity models of the split-brain are highly problematic, and that there is much to recommend a model of the split-brain—the switch model—according to which split-brain patients retain a fully unified consciousness at all times. Although the task of examining the unity of consciousness through the lens of the split-brain syndrome (...) is not a new one—such projects date back to Nagel’s seminal paper on the topic—the time is ripe for a re-evaluation of the issues. (shrink)

Differences in ethical ideology are thought to influence individuals'' reasoning about moral issues (Forsyth and Nye, 1990; Forsyth, 1992). To date, relatively little research has addressed this proposition in terms of business-related ethical issues. In the present study, four groups, representing four distinct ethical ideologies, were created based on the two dimensions of the Ethical Position Questionnaire (idealism and relativism), as posited by Forsyth (1980). The ethical judgments of individuals regarding several business-related issues varied, depending upon their ethical ideology.

What is the relationship between unconscious and conscious intentionality? Contemporary philosophy of mind treats the contents of conscious 10 intentional mental states as the same kind of thing as the contents of un- conscious mental states. According to the standard view that beliefs and desires are propositional attitudes, for example, the contents of these states are propositions, whether or not the states are conscious or unconscious. I dispute this way of thinking of conscious and unconscious content, and propose an alternative, (...) which helps to explain why the various mental things that are called unconscious deserve that label. (shrink)

A popular approach to monothematic delusions in the recent literature has been to argue that monothematic delusions involve broadly rational responses to highly unusual experiences. Campbell calls this the empiricist approach to monothematic delusions, and argues that it cannot account for the links between meaning and rationality. In place of empiricism Campbell offers a rationalist account of monothematic delusions, according to which delusional beliefs are understood as Wittgensteinian framework propositions. We argue that neither Campbell's attack on empiricism nor his rationalist (...) alternative to empiricism is successful. (shrink)

This paper argues that a notion of statistical explanation, based on Salmon’s statistical relevance model, can help us better understand deep neural networks. It is proved that homogeneous partitions, the core notion of Salmon’s model, are equivalent to minimal sufficient statistics, an important notion from statistical inference. This establishes a link to deep neural networks via the so-called Information Bottleneck method, an information-theoretic framework, according to which deep neural networks implicitly solve an optimization problem that generalizes minimal sufficient statistics. The (...) resulting notion of statistical explanation is general, mathematical, and subcausal. (shrink)

It is widely held that there is a problem of talking about or otherwise representing things that not exist. But what exactly is this problem? This paper presents a formulation of the problem in terms of the conflict between the fact that there are truths about non-existent things and the fact that truths must be answerable to reality, how things are. Given this, the problem of singular negative existential statements is no longer the central or most difficult aspect of the (...) problem of non-existence, despite what some philosophers say. (shrink)

Sperm, eggs and embryos are made up of more than genes, and there are indications that changes to non‐genetic structures in these elements of the germline can also be inherited. It is, therefore, a mistake to treat phrases like ‘germline inheritance’ and ‘genetic inheritance’ as simple synonyms, and bioethical discussion should expand its focus beyond alterations to the genome when considering the ethics of germline modification. Moreover, additional research on non‐genetic inheritance draws attention to a variety of means whereby differences (...) can be inherited in offspring generations that do not rely on differences in germline structures. Research on these diverse forms of inheritance challenges the notion that there is some special form of ethical concern that falls on germline interventions in general, and on interventions to the nuclear genome within the germline in particular. (shrink)

Keränen (2001) raises an argument against realistic (ante rem) structuralism: where a mathematical structure has a non-trivial automorphism, distinct indiscernible positions within the structure cannot be shown to be non-identical using only the properties and relations of that structure. Ladyman (2005) responds by allowing our identity criterion to include 'irreflexive two-place relations'. I note that this does not solve the problem for structures with indistinguishable positions, i.e. positions that have all the same properties as each other and exactly the same (...) relations to all objects (including themselves). I conclude that realistic structuralists must compromise and treat some structures eliminativistically. (shrink)

Elliott Sober and his defenders think of selection, drift, mutation, and migration as distinct evolutionary forces. This paper exposes an ambiguity in Sober's account of the force of selection: sometimes he appears to equate the force of selection with variation in fitness, sometimes with ‘selection for properties’. Sober's own account of fitness as a property analogous to life-expectancy shows how the two conceptions come apart. Cases where there is selection against variance in offspring number also show that selection and drift (...) cannot be distinguished in the way Sober hopes for. These issues have significance beyond the parochial matter of the coherence of Sober's system. There is no good principled answer to the question of which features of a population should count among the contributors to fitness. This means there is no non-arbitrary account of the nature of selection. (shrink)

Christiaens argues that digital technologies are fundamentally undermining workers’ autonomy by enacting systems of surveillance that lead to exploitation, alienation, and exhaustion. For a more sustainable future of work, digital technologies should support human development instead of subordinating it to algorithmic control.

The meaning and truth conditions for claims about physical modality and causation have been considered problematic since Hume’s empiricist critique. But the underlying semantic commitments that follow from Hume’s empiricism about ideas have long been abandoned by the philosophical community. Once the consequences of that abandonment are properly appreciated, the problems of physical modality and causal locutions fall away, and can be painlessly solved.

Although worship has a pivotal place in religious thought and practice, philosophers of religion have had remarkably little to say about it. In this paper we examine some of the many questions surrounding the notion of worship, focusing on the claim that human beings have obligations to worship God. We explore a number of attempts to ground our supposed duty to worship God, and argue that each is problematic. We conclude by examining the implications of this result, and suggest that (...) it might be taken to provide an argument against God's existence, since theists generally regard it is a necessary truth that we ought to worship God. (shrink)

We provide a direct method for proving Craig interpolation for a range of modal and intuitionistic logics, including those containing a "converse" modality. We demonstrate this method for classical tense logic, its extensions with path axioms, and for bi-intuitionistic logic. These logics do not have straightforward formalisations in the traditional Gentzen-style sequent calculus, but have all been shown to have cut-free nested sequent calculi. The proof of the interpolation theorem uses these calculi and is purely syntactic, without resorting to embeddings, (...) semantic arguments, or interpreted connectives external to the underlying logical language. A novel feature of our proof includes an orthogonality condition for defining duality between interpolants. (shrink)

Against transmission -- For attention -- Education in the minor key -- Anthropology, art and the university.

Over the past decade, corporate scandals have proliferated. These scandals, along with the emergence of the #MeToo movement and Environmental, Social, and Corporate Governance (ESG) mandates, have increased the scrutiny of corporations’ ethics culture. How have companies responded in terms of the language appearing in their public ethics documents? We compare the Code of Ethics in 2008 versus 2019 for a sample of S&P 500 firms. For the vast majority of firms, their Code of Ethics lengthened, with the average 2019 (...) code having 29% more words (about 1760 words) than the 2008 average. The language of the codes has also changed. Words such as _bribery, corruption, sustainability, speak up, bullying, slavery,_ and _human rights_ all saw significantly higher usage in the later period. We review possible reasons for the dramatic changes and suggest what questions remain about the motivations behind them. Whether the changes we observe are primarily intrinsically motivated or simply market responses to public pressures is yet to be determined. What is clear from our findings is that society seems to be entering a new age of increasingly moral—or, at least, moralized—corporate governance. (shrink)

Donald Trump and Boris Johnson are notoriously uninterested in truthtelling. They also often appear uninterested even in constructing plausible falsehoods. What stands out above all is the brazenness and frequency with which they repeat known falsehoods. In spite of this, they are not always greeted with incredulity. Indeed, Republicans continue to express trust in Donald Trump in remarkable numbers. The only way to properly make sense of what Trump and Johnson are doing, we argue, is to give a greater role (...) to audience relativity - and in some cases, audience participation - in notions like bullshitting and bald-faced lying. In this paper, we develop a new understanding of bullshitting, one that includes bald-faced lying, and recognizes that different communicative acts may be directed at different audiences with a single utterance. In addition, we argue for recognition of the category of bald-faced bullshitting, a particular speciality of both Trump and Johnson, and one especially useful to authoritarian leaders. (shrink)

In her ground-breaking and highly influential book Transformative Experience, L.A. Paul makes two claims: (1) one cannot evaluate and compare certain experiential outcomes (e.g. being a parent and being a non-parent) unless one can grasp what these outcomes are like; and (2) one can evaluate and compare certain intuitively horrible outcomes (e.g. being eaten alive by sharks) as bad and worse than certain other outcomes even if one cannot grasp what these intuitively horrible outcomes are like. We argue that the (...) conjunction of these two claims leads to an implausible discontinuity in the evaluability of outcomes. One implication of positing such a discontinuity is that evaluative comparisons of outcomes will not be proportionally sensitive to variation in the underlying features of these outcomes. This puts pressure on Paul to abandon either (1) or (2). But (1) is central to her view and (2) is very hard to deny. We call this the Shark Problem. (shrink)

This thesis introduces the "method of structural refinement", which serves as a means of transforming the relational semantics of a modal and/or constructive logic into an 'economical' proof system by connecting two proof-theoretic paradigms: labelled and nested sequent calculi. The formalism of labelled sequents has been successful in that cut-free calculi in possession of desirable proof-theoretic properties can be automatically generated for large classes of logics. Despite these qualities, labelled systems make use of a complicated syntax that explicitly incorporates the (...) semantics of the associated logic, and such systems typically violate the subformula property to a high degree. By contrast, nested sequent calculi employ a simpler syntax and adhere to a strict reading of the subformula property, making such systems useful in the design of automated reasoning algorithms. However, the downside of the nested sequent paradigm is that a general theory concerning the automated construction of such calculi (as in the labelled setting) is essentially absent, meaning that the construction of nested systems and the confirmation of their properties is usually done on a case-by-case basis. The refinement method connects both paradigms in a fruitful way, by transforming labelled systems into nested (or, refined labelled) systems with the properties of the former preserved throughout the transformation process. To demonstrate the method of refinement and some of its applications, we consider grammar logics, first-order intuitionistic logics, and deontic STIT logics. The introduced refined labelled calculi will be used to provide the first proof-search algorithms for deontic STIT logics. Furthermore, we employ our refined labelled calculi for grammar logics to show that every logic in the class possesses the effective Lyndon interpolation property. (shrink)

The papers in this volume are drawn from a workshop on delusion and self-deception, held at Macquarie University in November of 2004. Our aim was to bring together theorists working on delusions and self-deception with an eye towards identifying and fostering connections—at both empirical and conceptual levels—between these domains. As the contributions to this volume testify, there are multiple points of contact between delusion and self-deception. This introduction charts the conceptual space in which these points of contact can be located (...) and introduces the reader to some of the general issues that frame the discussion of subsequent chapters. (shrink)

On a very natural conception of sets, every set has an absolute complement. The ordinary cumulative hierarchy dismisses this idea outright. But we can rectify this, whilst retaining classical logic. Indeed, we can develop a boolean algebra of sets arranged in well-ordered levels. I show this by presenting Boolean Level Theory, which fuses ordinary Level Theory (from Part 1) with ideas due to Thomas Forster, Alonzo Church, and Urs Oswald. BLT neatly implement Conway’s games and surreal numbers; and a natural (...) extension of BLT is definitionally equivalent with ZF. (shrink)

A Commonplace of recent philosophy of mind is that intentional states are relations between thinkers and propositions. This thesis-call it the 'Relational Thesis'-does not depend on any specific theory of propositions. One can hold it whether one believes that propositions are Fregean Thoughts, ordered n-tuples of objects and properties or sets of possible worlds. An assumption that all these theories of propositions share is that propositions are abstract objects, without location in space or time...

This article argues for the view that statements about normative reasons are context-sensitive. Specifically, they are sensitive to a contextual parameter specifying a relevant person's or group's body of information. The argument for normative reasons contextualism starts from the context-sensitivity of the normative “ought” and the further premise that reasons must be aligned with oughts. It is incoherent, I maintain, to suppose that someone normatively ought to φ but has most reason not to φ. So given that oughts depend on (...) context, a parallel view about normative reasons is needed. It is shown that the resulting view solves notorious puzzles involving apparently conflicting but equally plausible claims about reasons. These puzzles arise especially in cases where agents have limited information or false beliefs. In these cases, we feel torn between reasons claims that take into account the limitations of the agent's perspective and apparently conflicting claims that are made from a more objective point of view. The contextualist account developed here accommodates both objectivist and subjectivist intuitions. It shows that all of the claims in question can be true, provided that they are relativized to different values of the relevant information parameter. Also, contextualism yields a fruitful approach to the debate about having reasons and the alleged failure of the so-called “factoring account”. (shrink)

Critics have argued that comparative philosophy is inherently flawed or even impossible. What standards can we use to describe and evaluate different cultures' philosophies? How do we avoid projecting our own ways of thinking onto others? Can we overcome the vast divergences in history, language, and ways of organizing reality that we find in China, India, Africa, and the West? Doing Philosophy Comparatively is the first comprehensive introduction to the foundations, problems, and methods of comparative philosophy. It is divided into (...) three parts: . A wide-ranging examination of the basic concepts of comparative philosophy, including "philosophy," "comparison," "tradition," and "culture." . A discussion of the central problems that arise in extending philosophy across cultural boundaries: linguistic, justificatory, and evaluative incommensurability; projection and asymmetry; and the validity of cultural generalizations. . A critical look at the dominant contemporary approaches to comparative philosophy. This book offers a basic tool-kit for doing philosophy at the cross-cultural level. Drawing on many examples from the past and present of comparative philosophy, it engages readers in sustained reflection on how to think comparatively. (shrink)

argues that when reproduction is sexual, natural selection can explain why individual organisms possess the traits they do. In stating his argument Matthen makes use of a conception of individual organisms as receptacles for collections of genes—a conception that cannot do the work Matthen requires of it. Either these receptacles are abstract objects, such as bare possibilities for organisms, or they are concrete. The first reading is too weak, since it allows selection to explain individual traits in both sexual and (...) asexual contexts. The only concrete entities we might think of as receptacles for collections of genes are male or female gametes. It is true that in the sexual context selection explains why an individual gamete combines with a second gamete of one type rather than another; however, this is not to say that selection explains why an individual organism has the traits it does. (shrink)

The pressure of oversight and scrutiny in the business-to-business purchasing process has the potential to cause psychological distress in purchasing professionals, giving rise to apprehensions about being ethically inappropriate. Utilizing depth interviews with public sector purchasing professionals in a phenomenological approach, the authors develop the notion of ethical purchasing dissonance to explain the psychological distress. An inductively derived conceptual framework is presented for ethical purchasing dissonance that explores its potential antecedents and consequences; illustrative propositions are presented, and managerial implications are (...) discussed. (shrink)

Potentialists think that the concept of set is importantly modal. Using tensed language as an heuristic, the following bar-bones story introduces the idea of a potential hierarchy of sets: 'Always: for any sets that existed, there is a set whose members are exactly those sets; there are no other sets.' Surprisingly, this story already guarantees well-foundedness and persistence. Moreover, if we assume that time is linear, the ensuing modal set theory is almost definitionally equivalent with non-modal set theories; specifically, with (...) Level Theory, as developed in Part 1. (shrink)

Any empirical physical theory must have implications for observable events at the scale of everyday life, even though that scale plays no special role in the basic ontology of the theory itself. The fundamental physical scales are microscopic for the “local beables” of the theory and universal scale for the non-local beables. This situation creates strong demands for any precise quantum theory. This paper examines those constraints, and illustrates some ways in which they can be met.