Several promising approaches have been developed to represent conscious experience in terms of mathematical spaces and structures. What is missing, however, is an explicit definition of what a ‘mathematical structure of conscious experience’ is. Here, we propose such a definition. This definition provides a link between the abstract formal entities of mathematics and the concreta of conscious experience; it complements recent approaches that study quality spaces, qualia spaces, or phenomenal spaces; and it provides a general method to identify and investigate (...) structures of conscious experience. We hope that ultimately this work provides a basis for developing a common formal language to study consciousness. (shrink)

Tim Crane addresses the ancient question of how it is possible to think about what does not exist. He argues that the representation of the non-existent is a pervasive feature of our thought about the world, and that to understand thought's representational power ('intentionality') we need to understand the representation of the non-existent.

Peer reporting is a specific form of whistelblowing in which an individual discloses the wrongdoing of a peer. Previous studies have examined situational variables thought to influence a person's decision to report the wrongdoing of a peer. The present study looked at peer reporting from the individual level. Five hypotheses were developed concerning the relationships between (1) religiosity and ethical ideology, (2) ethical ideology and ethical judgments about peer reporting, and (3) ethical judgments and intentions to report peer wrongdoing.Subjects read (...) a vignette concerning academic cheating, and were asked to respond to a question-naire concerning the vignette. Data were analyzed using structural equation methodology. (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.

Standard Type Theory, STT, tells us that b^n(a^m) is well-formed iff n=m+1. However, Linnebo and Rayo have advocated the use of Cumulative Type Theory, CTT, has more relaxed type-restrictions: according to CTT, b^β(a^α) is well-formed iff β > α. In this paper, we set ourselves against CTT. We begin our case by arguing against Linnebo and Rayo’s claim that CTT sheds new philosophical light on set theory. We then argue that, while CTT ’s type-restrictions are unjustifiable, the type-restrictions imposed by (...) STT are justified by a Fregean semantics. What is more, this Fregean semantics provides us with a principled way to resist Linnebo and Rayo’s Semantic Argument for CTT. We end by examining an alternative approach to cumulative types due to Florio and Jones; we argue that their theory is best seen as a misleadingly formulated version of STT. (shrink)

Employees perception of the existence of a covenantal relationship between themselves and their employer indicates that they believe there is a mutual commitment to shared values and the welfare of the other party in the relationship. Research suggests that these types of employment relationships have positive benefits for both employees and employers. There has been little research, however, on the factors that determine whether such relationships will develop and thrive.In this paper, we suggest that the organizations ethical work climate may (...) be an important factor affecting employees perceptions about the nature of the relational contract between themselves and their employer. Specifically, we argue that work climates emphasizing benevolence and principle will be associated with covenantal relationships. Conversely, we believe that work climates emphasizing egoism will make it less likely that covenantal relationships will develop between an employer and employee. (shrink)

The present study extends the study of individuals' ethical ideology withinthe context of marketing ethics issues. A national sample of marketing professionals participated. Respondents' ethical ideologies were classified as absolutists, situationists, exceptionists, or subjectivists using the Ethical Position Questionnaire (Forsyth, 1980). Respondents then answered questions about three ethically ambiguous situations common to marketing and sales. The results indicated that marketers' ethical judgments about the situations differed based on their ethical ideology, with absolutists rating the actions as most unethical. The findings (...) are consistent with those of two earlier studies that utilized samples of business students (Barnett et al., 1994, 1995). The results suggest that personal moral philosophy is an important influence on ethical decision making that should be considered in empirical studies of business ethics. The results also support the utility of the Ethical Position Questionnaire (Forsyth, 1980) as a means for researchers and practitioners to assess individuals' ethical ideology. (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)

Amie Thomasson and Eli Hirsch have both attempted to deflate metaphysics, by combining Carnapian ideas with an appeal to ordinary language. My main aim in this paper is to critique such deflationary appeals to ordinary language. Focussing on Thomasson, I draw two very general conclusions. First: ordinary language is a wildly complicated phenomenon. Its implicit ontological commitments can only be tackled by invoking a context principle; but this will mean that ordinary language ontology is not a trivial enterprise. Second: ordinary (...) language often points in different directions simultaneously, so that a wide variety of existence questions cannot be deflated merely by appealing to ordinary language. (shrink)

Dimensions of the ethical work climate, as conceptualized by Victor and Cullen (1988), are potentially important influences on individual ethical decision-making in the organizational context. The present study examined the direct and indirect effects of individuals' perceptions of work climate on their ethical judgments and behavioral intentions regarding an ethical dilemma. A national sample of marketers was surveyed in a scenario-based research study. The results indicated that, although perceived climate dimensions did not have a direct effect on behavioral intentions, there (...) were significant moderating effects. Climates perceived as emphasizing social responsibility and rules/codes moderated the individual ethical judgment-behavioral intentions relationship such that individuals were less likely to say that they would engage in a questionable selling practice even when they themselves did not believe the practice to be unethical. Respondents were somewhat more likely to form intentions consistent with their judgment that the questionable practice was morally acceptable when the ethical climate was characterized by an emphasis on team/friendship. (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.

Systems of private regulation based on certification have recently emerged to address environmental issues in the forest products industry and labor issues in the apparel industry. To explain why the same regulatory form has emerged across these fields, the author uses a historical and comparative case study approach, closely examining early moments and paying attention to “roads not taken.” Two types of factors led to the initial emergence of private certification: social movement campaigns targeting companies and a neo-liberal institutional context. (...) The analysis shows specific ways in which these factors led states, nongovernmental organizations, and companies to build or support certification associations. (shrink)

The four tenets of the Strong Program are compatible with a scientific realism founded on an externalist epistemology. Such an epistemology allows that appropriate norms of rationality may differ from time to time, and from community to community, and thereby enables the realist to embrace strong forms of the ‘symmetry principle’. It also suggests a fruitful collaborative research program in externalist social epistemology. Some of what the Edinburgh School says about truth can also be accepted. But the realist should reject (...) the School's argument for the claim that there is no distinction between being rational and being locally accepted as rational, which seems to rest on a kind of epistemological internalism. Introducing the Strong Program Realism and the four tenets A stronger reading of symmetry Conflict and cooperation A note on discovery and justification Relativism and realism Truth Points of contention: the restriction of explanatory contrasts Points of contention: standards of rationality. (shrink)

Whistleblowing by employees to regulatory agencies and other parties external to the organization can have serious consequences both for the whistleblower and the company involved. Research has largely focused on individual and group variables that affect individuals'' decision to blow the whistle on perceived wrongdoing.This study examined the relationship between selected organizational characteristics and the perceived level of external whistleblowing by employees in 240 organizations. Data collected in a nationwide survey of human resource executives were analyzed using analysis of variance.

Essential Philosophy of Psychiatry is a concise introduction to the growing field of philosophy of psychiatry. Divided into three main aspects of psychiatric clinical judgement, values, meanings and facts, it examines the key debates about mental health care, and the philosophical ideas and tools needed to assess those debates, in six chapters. In addition to outlining the state of play, Essential Philosophy of Psychiatry presents a coherent and unified approach across the different debates, characterized by a rejection of reductionism and (...) an emphasis on the ineliminability of uncodified skilled judgement. The first part, Values, outlines the debate about whether diagnosis of mental illness is essentially value-laden and argues that the prospects for reducing illness or disease to plainly factual matters are poor. It also explains the important role of skilled contextual judgement, rather than a principles-based deduction, in ethical judgement. The second part, Meanings, examines the central role of understanding and a shared first person perspective, both against attempts to reduce meaning to basic information-processing mechanisms and to explain away the difficulties of understanding psychopathology in recent models of delusion. The third part, Facts, shows the importance of uncodified clinical judgements, both in assessing the validity of psychiatric taxonomy and in the application of Evidence Based Medicine. Despite advances in the codifaction of practice and operationalism of diagnosis, an element of judgement remains in the assessment both of what, at one level, is good evidence for diagnosis and treatment and what, at a higher level, is good evidence for the validity of classification overall. (shrink)

Arguing that issues of both emissions and subsistence should be comprehended within a single framework of justice, the proposal here is that this broader framework be developed by reference to the idea of "ecological space.".

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)

Anthropocentrism can intelligibly be criticised as an ontological error, but attempts to conceive of it as an ethical error are liable to conceptual and practical confusion. After noting the paradox that the clearest instances of overcoming anthropocentrism involve precisely the sort of objectivating knowledge which many ecological critics see as itself archetypically anthropocentric, the article presents the follwoing arguments: there are some ways in which anthropocentrism is not objectionable; the defects associated with anthropocentrism in ethics are better understood as instances (...) of speciesism and human chauvinism; it is unhelpful to call these defects anthropocentrism because there is an ineliminable element of anthropocentrism in any ethic at all; moreover, because the defects do not typically involve a concern with human interests as such, the rhetoric of anti-anthropocentrism is counterproductive in practice. (shrink)

The rights and wrongs of adaptationism areoften discussed by appeal to what I call theartefact model. Anti-adaptationistscomplain that the use of optimality modelling,reverse engineering and other techniques areindicative of a mistaken and outmoded beliefthat organisms are like well-designedartefacts. Adaptationists (e.g. Dennett 1995)respond with the assertion that viewingorganisms as though they were well designed isa fruitful, perhaps necessary research strategyin evolutionary biology. Anti-adaptationistsare right when they say that techniques likereverse engineering are liable to mislead. This fact does not undermine the artefact (...) modelprecisely because the same techniques misleadus for the same reasons when they are appliedunreflectively to artefacts. Thoseadaptationists who hold only that it isworthwhile to investigate organisms as thoughthey were artefacts and thoseanti-adaptationists who criticise simplisticdesign models have far more in common than thelabels attached to their positions mightsuggest. (shrink)

No-futurists ('growing block theorists') hold that that the past and the present are real, but that the future is not. The present moment is therefore privileged: it is the last moment of time. Craig Bourne (2002) and David Braddon-Mitchell (2004) have argued that this position is unmotivated, since the privilege of presentness comes apart from the indexicality of 'this moment'. I respond that no-futurists should treat 'x is real-as-of y' as a nonsymmetric relation. Then different moments are real-as-of different times. (...) This reunites privilege with indexicality, but entails that no-futurists must believe in ineliminably tensed facts. (shrink)

This article surveys recent literature by Parsons, McGee, Shapiro and others on the significance of categoricity arguments in the philosophy of mathematics. After discussing whether categoricity arguments are sufficient to secure reference to mathematical structures up to isomorphism, we assess what exactly is achieved by recent ‘internal’ renditions of the famous categoricity arguments for arithmetic and set theory.

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)

Values based practice is a radical view of the place of values in medicine which develops from a philosophical analysis of values, illness and the role of ethical principles. It denies two attractive and traditional views of medicine: that diagnosis is a merely factual matter and that the values that should guide treatment and management can be codified in principles. But it goes further in the adoption of a radical liberal view: that right or good outcome should be replaced by (...) right process. I describe each of these three claims but caution against the third. (shrink)

Is it generally rational to defer to official stories? On the affirmative view exemplified by Neil Levy, grounds for scepticism cannot outweigh the epistemic authority of the experts presumed to generate them. Yet sociological studies of how expertise is mediated into official communications reveal the epistemic potential of citizens’ collaboratives. These may include, or advocate hearing, dissident experts. Such groups’ epistemic position is arguably analogous to that of the ‘other institutions of civil society’ that Levy sees as underwriting the authority (...) of official stories. An added advantage is that they are able to adhere to deliberative methods of inquiry. By contrast, an official story presupposes that deliberations have concluded, and what remains is to promote the agreed story. This is achieved by strategic communication, which can involve extensive coordination by organisations committed primarily to persuasion rather than truth-seeking. Sometimes it includes blocking dissidents’ deliberative challenges. A case study highlights how even an organisation of indisputable epistemic authority can be politically influenced to block the testimony of its own scientific experts, while uncritical support for its official story is maintained by other institutions of civil society. Hence, an appropriate attitude towards official stories is critical receptiveness rather than automatic deference. (shrink)

Tallant (2007) has challenged my recent defence of no-futurism (Button 2006), but he does not discuss the key to that defence: that no-futurism's primitive relation 'x is real-as-of y' is not symmetric. I therefore answer Tallant's challenge in the same way as I originally defended no-futurism. I also clarify no-futurism by rejecting a common mis-characterisation of the growing-block theorist. By supplying a semantics for no-futurists, I demonstrate that no-futurism faces no sceptical challenges. I conclude by considering the problem of how (...) to interpret the relation 'x is real-as-of y'. -/- (NB: A correction to this article appears in Analysis 68.1.). (shrink)

Journal of Social Philosophy, Volume 53, Issue 2, Page 148-167, Summer 2022.

One of the tasks that recent philosophy of psychiatry has taken upon itself is to extend the range of understanding to some of those aspects of psychopathology that Jaspers deemed beyond its limits. Given the fundamental difficulties of offering a literal interpretation of the contents of primary delusions, a number of alternative strategies have been put forward including regarding them as abnormal versions of framework propositions described by Wittgenstein in On Certainty. But although framework propositions share some of the apparent (...) epistemic features of primary delusions, their role in partially constituting the sense of inquiry rules out their role in helping to understand delusions. (shrink)

What does it matter if the climate changes? This kind of question does not admit of a scientific answer. Natural science can tell us what some of its biophysical effects are likely to be; social scientists can estimate what consequences such effects could have for human lives and livelihoods. But how should we respond? The question is, at root, about how we think we should live—and different people have myriad different ideas about this. The distinctive task of ethics is to (...) bring some clarity and order to these ideas. (shrink)

Consider a variant of the usual story about the iterative conception of sets. As usual, at every stage, you find all the (bland) sets of objects which you found earlier. But you also find the result of tapping any earlier-found object with any magic wand (from a given stock of magic wands). -/- By varying the number and behaviour of the wands, we can flesh out this idea in many different ways. This paper's main Theorem is that any loosely constructive (...) way of fleshing out this idea is synonymous with a ZF-like theory. -/- This Theorem has rich applications; it realizes John Conway's (1976) Mathematicians' Liberation Movement; and it connects with a lovely idea due to Alonzo Church (1974). (shrink)

This paper makes the case for an inhabited institutionalism by pondering questions that continue to vex institutional theory: How can we account for local activity, agency, and change without reverting to a focus on individual actors—the very kinds of actors that institutional theory was designed to critique? How is change possible in an institutional context that constructs interests and sets the very conditions for such action? Efforts to deal with these questions by inserting various forms of individual, purposive actors into (...) institutional frameworks have created inconsistencies that threaten the overall coherence of institutional theory and move it farther from its sociological roots. To provide alternative answers, we turn to the growing line of work on “inhabited” institutions. Our exegesis of this literature has two goals. The first goal is to shift focus away from individuals and nested imagery and towards social interaction and coupling configurations. This move opens new avenues for research and helps to identify the spaces—both conceptual and empirical—and the supra-individual processes that facilitate change. This shift has important theoretical implications: incorporating social interaction alters institutional theory, and our second goal is to specify an analytic framework for this new research, an inhabited institutionalism. Inhabited institutionalism is a meso-approach for examining the recursive relationships among institutions, interactions, and organizations. It provides novel and sociologically consistent means for dealing with issues of agency and change, and a new agenda for research that can reinvigorate and reunite organizational sociology and institutional theory. (shrink)

Total utilitarianism implies Parfit's repugnant conclusion. For any world containing ten billion very happy people, there is a better world where a vast number of people have lives barely worth living. One common response is to claim that life in Parfit's Z is better than he suggests, and thus that his conclusion is not repugnant. This paper shows that this strategy cannot succeeed. Total utilitarianism also implies a reverse repugnant conclusion. For any world where ten billion people have lives of (...) excruciating agony, there is a worse world where a vast number of people have lives almost worth living. This reverse repugnant conclusion is at least as repugnant as Parfit's original. If we avoid the latter by raising the zero level, then the former becomes more repugnant. We cannot save total utilitarianism by tinkering with the zero level. (shrink)

Prior’s Tonk is a famously horrible connective. It is defined by its inference rules. My aim in this article is to compare Tonk with some hitherto unnoticed nasty connectives, which are defined in semantic terms. I first use many-valued truth-tables for classical sentential logic to define a nasty connective, Knot. I then argue that we should refuse to add Knot to our language. And I show that this reverses the standard dialectic surrounding Tonk, and yields a novel solution to the (...) problem of many-valued truth-tables for classical sentential logic. I close by outlining the technicalities surrounding nasty connectives on many-valued truth-tables. (shrink)

Recent work on hypercomputation has raised new objections against the Church–Turing Thesis. In this paper, I focus on the challenge posed by a particular kind of hypercomputer, namely, SAD computers. I first consider deterministic and probabilistic barriers to the physical possibility of SAD computation. These suggest several ways to defend a Physical version of the Church–Turing Thesis. I then argue against Hogarth's analogy between non-Turing computability and non-Euclidean geometry, showing that it is a non-sequitur. I conclude that the Effective version (...) of the Church–Turing Thesis is unaffected by SAD computation. (shrink)

The paper outlines the role that tacit knowledge plays in what might seem to be an area of knowledge that can be made fully explicit or codified and which forms a central element of Evidence Based Medicine. Appeal to the role the role of tacit knowledge in science provides a way to unify the tripartite definition of Evidence Based Medicine given by Sackett et al: the integration of best research evidence with clinical expertise and patient values. Each of these three (...) elements, crucially including research evidence, rests on an ineliminable and irreducible notion of uncodified good judgement. (shrink)

I offer an account of perceptual warrant according to which one’s basic perceptual beliefs are immediately and defeasibly warranted if they are formed on the basis of experiences produced by a competent perceptual system. I claim that sub-personal features of one’s perceptual systems can render one competent to perceptually represent a particular environment. When these conditions are met, one is warranted in forming beliefs on the basis of one’s perceptual experiences. I develop my account of perceptual warrant in the context (...) of a Bayesian theory of perceptual processing. (shrink)

Can we quantify over everything: absolutely, positively, definitely, totally, every thing? Some philosophers have claimed that we must be able to do so, since the doctrine that we cannot is self-stultifying. But this treats restrictivism as a positive doctrine. Restrictivism is much better viewed as a kind of militant quietism, which I call dadaism. Dadaists advance a hostile challenge, with the aim of silencing everyone who holds a positive position about ‘absolute generality’.

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)

Medicine involves specific practical expertise as well as more general context-independent medical knowledge. This raises the question, what is the nature of the expertise involved? Is there a model of clinical judgement or understanding that can accommodate both elements? This paper begins with a summary of a published account of the kinds of situation-specific skill found in anaesthesia. It authors claim that such skills are often neglected because of a prejudice in favour of the ‘technical rationality’ exemplified in evidence-based medicine (...) but they do not themselves offer a general account of the relation of practical expertise and general medical knowledge. The philosopher Hubert Dreyfus provides one model of the relation of general knowledge to situation-specific skilled coping. He claims that the former logically depends on the latter and provides two arguments, which I articulate in the second section, for this. But he mars those arguments by building in the further assumption that such situation-specific responses must be understood as concept-free and thus mindless. That assumption is held in place by three arguments all of which I criticize in the next section to give a unified account of clinical judgement as both practical and conceptually structured and thus justified in the face of a prejudice in favour of ‘technical rationality’. (shrink)

Alex Mesoudi’s book shows cultural evolution to be a mature field, which has already illuminated many instances of cultural change. Mesoudi’s presentation of the discipline nonetheless invites three objections. First, the culture concept it makes use of is not clearly defined; second, Mesoudi’s historical argument which looks back to the modern synthesis in order to predict an analogous synthesis in the social sciences is flawed; third, Mesoudi’s understanding of the positions held by leading figures within social science is shaky.

Hilary Putnam once suggested that “the actual existence of sets as ‘intangible objects’ suffers… from a generalization of a problem first pointed out by Paul Benacerraf… are sets a kind of function or are functions a sort of set?” Sadly, he did not elaborate; my aim, here, is to do so on his behalf. There are well-known methods for treating sets as functions and functions as sets. But these do not raise any obvious philosophical or foundational puzzles. For that, we (...) first need to provide a full-fledged function theory. I supply such a theory: it axiomatizes the iterative notion of function in exactly the same sense that ZF axiomatizes the iterative notion of set. Indeed, this function theory is synonymous with ZF. It might seem that set theory and function theory present us with rival foundations for mathematics, since they postulate different ontologies. But appearances are deceptive. Set theory and function theory provide the very same judicial foundation for mathematics. They do not supply rival metaphysical foundations; indeed, if they supply metaphysical foundations at all, then they supply the very same metaphysical foundations. (shrink)

The varying demands of justice are often thought to depend on a distinction between natural and social inequalities, but making this distinction has been little discussed, and it has been dismissed by philosophers of biology. It cannot be established by a simple causal criterion, nor by use of the analysis of variance, nor by distinguishing the innate from the acquired. Whether an inequality can be socially controlled provides the most plausible criterion, so 'natural' and 'social' are misleading labels for types (...) of inequality. The analysis of these depends, besides, on how fine-grained the descriptions are; so it is implausible to think that the natural/social distinction, when drawn in terms of social control, is relevant to theories of justice. (shrink)

Pogge’s proposal for a Global Resources Dividend (GRD) has been criticized because its likely effects would be less predictable than Pogge supposes and could even be counterproductive to the main aim of relieving poverty. The GRD might also achieve little with respect to its secondary aim of promoting environmental protection. This article traces the problems to Pogge’s inadequate conception of natural resources. It proposes instead to conceive of natural resources in terms of ‘ecological space’. Using this conception, redistributive principles follow (...) with a more definite logic from Pogge’s own supporting moral argument. The proposed alternative approach also promises a more direct contribution to Pogge’s secondary aim of resource conservation and environmental protection. I conclude that if any redistributive resource-based tax should be levied on nations, then there are at least four decisive reasons to favour levying a tax related to a nation’s per capita utilization of ecological space rather than the GRD. (shrink)

Putnam famously attempted to use model theory to draw metaphysical conclusions. His Skolemisation argument sought to show metaphysical realists that their favourite theories have countable models. His permutation argument sought to show that they have permuted models. His constructivisation argument sought to show that any empirical evidence is compatible with the Axiom of Constructibility. Here, I examine the metamathematics of all three model-theoretic arguments, and I argue against Bays (2001, 2007) that Putnam is largely immune to metamathematical challenges.