Saigle, Dubljevic, and Racine (2018) claim that Libet-style experiments are insufficient to challenge that agents have free will. They support this with evidence from experimen- tal psychology that the folk concept of freedom is consis- tent with monism, that our minds are identical to our brains. However, recent literature suggests that evidence from experimental psychology is less than determinate in this regard, and that folk intuitions are too unrefined as to provide guidance on metaphysical issues like monism. In light of (...) this, it is worthwhile to examine the authors’ insuf- ficiency claim under the assumption that monism is false and dualism true (our minds are not identical to our brains). We conclude that, were dualism true, then Libet- style experiments would tell us no more about freedom and moral responsibility than what the authors initially claimed, thus further bolstering their point that Libet-style experiments are ill-suited to speak to the free will of agents. In what follows we first discuss some of the reasons to be skeptical of using folk intuitions to make claims about the nature of freedom and moral responsibility. We then draw from the work of E. J. Lowe to demonstrate that Libet-style experiments would likely give the same results regardless of the truth of monism or dualism. (shrink)

The term ‘intelligence’ as used in this paper refers to items of knowledge collected for the sake of assessing and maintaining national security. The intelligence community (IC) of the United States (US) is a community of organizations that collaborate in collecting and processing intelligence for the US. The IC relies on human-machine-based analytic strategies that 1) access and integrate vast amounts of information from disparate sources, 2) continuously process this information, so that, 3) a maximally comprehensive understanding of world actors (...) and their behaviors can be developed and updated. Herein we describe an approach to utilizing outcomes-based learning (OBL) to support these efforts that is based on an ontology of the cognitive processes performed by intelligence analysts. Of particular importance to the Cognitive Process Ontology is the class Representation that is Warranted. Such a representation is descriptive in nature and deserving of trust in its veridicality. The latter is because a Representation that is Warranted is always produced by a process that was vetted (or successfully designed) to reliably produce veridical representations. As such, Representations that are Warranted are what in other contexts we might refer to as ‘items of knowledge’. (shrink)

Jerome Wakefield has argued that a disorder is a harmful dysfunction. This paper develops how Wakefield should construe harmful in his harmful dysfunction analysis. Recently, Neil Feit has argued that classic puzzles involved in analyzing harm render Wakefield’s HDA better off without harm as a necessary condition. Whether or not one conceives of harm as comparative or non-comparative, the concern is that the HDA forces people to classify as mere dysfunction what they know to be a disorder. For instance, one (...) can conceive of cases where simultaneous disorders prevent each other from being, in any traditional sense, actually harmful; in such cases, according to the HDA, neither would be a disorder. I argue that the sense of harm that Wakefield should employ in the HDA is dispositional, similar to the sense of harm used when describing a vile of poison: “Be careful! That’s poison. It’s harmful.” I call this harm in the damage sense. Using this sense of harm enables the HDA to avoid Feit’s arguments, and thus it should be preferred to other senses when analyzing harmful dysfunction. (shrink)

A high level of confidence in the identity of individuals is required to let them die as ordered by an advance directive. Thus, if we are animalists, then we should lack the confidence required to apply lethal advance directives to the cheerfully demented, or so I argue. In short, there is consensus among animalists that the best way to avoid serious objections to their account is to adopt an ontology that denies the existence of brains, hands, tables, chairs, iced-tea, and (...) lemonade. The adoption of such an ontology reduces the justificatory force of commonsense, which is key in arguing that we are animals and that we persist as long as we are biologically alive. With this loss of justification comes the loss of a high level of confidence that Quinn-pre-dementia’s lethal advanced directive applies to Quinn-post-dementia, via identity. If we do not have a high level of confidence that Quinn-pre-dementia’s advanced directive applies to Quinn-post- dementia, then it is not enough (on its own) to let Quinn-post-dementia die. (shrink)

A diagnostic process is an investigative process that takes a clinical picture as input and outputs a diagnosis. We propose a method for distinguishing diagnoses that are warranted from those that are not, based on the cognitive processes of which they are the outputs. Processes designed and vetted to reliably produce correct diagnoses will output what we shall call ‘warranted diagnoses’. The latter are diagnoses that should be trusted even if they later turn out to have been wrong. Our work (...) is based on the recently developed Cognitive Process Ontology and further develops the Ontology of General Medical Science. It also has applications in fields such as intelligence, forensics, and predictive maintenance, all of which rely on vetted processes designed to secure the reliability of their outputs. (shrink)

What follows is a first step towards an ontology of conscious mental processes. We provide a theoretical foundation and characterization of conscious mental processes based on a realist theory of intentionality and using BFO as our top-level ontology. We distinguish three components of intentional mental process: character, directedness, and objective referent, and describe several features of the process character and directedness significant to defining and classifying mental processes. We arrive at the definition of representational mental process as a process that (...) is the bringing into being, sustaining, modifying, or terminating of a mental representation. We conclude by outlining some benefits and applications of this approach. (shrink)

This paper provides a method for characterizing space events using the framework of conceptual spaces. We focus specifically on estimating and ranking the likelihood of collisions between space objects. The objective is to design an approach for anticipatory decision support for space operators who can take preventive actions on the basis of assessments of relative risk. To make this possible our approach draws on the fusion of both hard and soft data within a single decision support framework. Contextual data is (...) also taken into account, for example data about space weather effects, by drawing on the Space Domain Ontologies, a large system of ontologies designed to support all aspects of space situational awareness. The framework is coupled with a mathematical programming scheme that frames a mathematically optimal approach for decision support, providing a quantitative basis for ranking potential for collision across multiple satellite pairs. The goal is to provide the broadest possible information foundation for critical assessments of collision likelihood. (shrink)

The attitude to the Bible is a seismograph for scrutinizing the attitude of Zionism, in general, and that of the settlers, in particular, to their ideological and political world view. To where in the Bible are the settlers returning? To the Land of Canaan, to the land of the Patriarchs, or perhaps to the Kingdom of David? And what is the meaning of this return? It is not only the land that is basic to this question, but the relationship (...) of the Land of Israel to the people of Israel. In this article, we will mainly address the radical theological facets of the settler movement, not the proponents of Greater Israel. Our article will focus on the replication of settler theology from the first stage of Gush Emunim and the act of settlement, which in the opinion of the settlers is in accord with the continuation and completion of the Zionist project, to a more metaphysical phase, in which the centrality of the act of settlement gives way to Hassidic or kabbalistic thinking. The models which we present, make possible a fresh look at the utopian thinking and radical theology that are nourished by the settler movement and reflect a new, non-homogeneous stage. (shrink)

We propose a definition of capability as a class intermediate between function and disposition as the latter are defined in Basic Formal Ontology (BFO). A disposition inheres in a material entity and is realized in a certain kind of process. An example is the disposition of a glass to break when struck, which is realized when it shatters. A function is a disposition which is (simply put) the rationale for the existence of its bearer. To say for example that a (...) water pump has the function to pump water is to say that the pump exists because something was needed that would pump water. Capabilities are a special sort of disposition in that that, like functions, they can be evaluated on the basis of how well they are realized. They differ from functions in that their realizations are not the rationale – not the primary reason – for the existence of their bearers. Thus, a water pump may have many capabilities, including to be weatherproof, to run without lubricant, and so forth, but only one function. All functions are capabilities on the view we defend, but not all capabilities are functions. We develop a series of axioms to distinguish capabilities formally from both dispositions and functions and provide examples of the use of ‘capability’ in a variety of domains. (shrink)

We propose capability as a universal or type intermediate between function and disposition. A capability is, broadly speaking, a disposition that is of a type whose instances can be evaluated on the basis of how well they are realized. A function, on the view we are proposing, is a capability the possession of which is the rationale for the existence of its bearer. To say for example that a water pump has the function to pump water is to say that (...) the pump exists because something was needed that would pump water. A water pump may have many capabilities, including: to be weatherproof, to run without lubricant, to be transportable, and so forth. But its function is to pump water. We focus here on capabilities possessed by humans – such as piano playing or language using – and we explore the relation between capabilities of these sorts and structures in the brain. (shrink)

The overall goal of the approach developed in this paper is to estimate the likelihood of a given kinetic kill scenario between hostile spacebased adversaries using the mathematical framework of Complex Conceptual Spaces Single Observation. Conceptual spaces are a cognitive model that provide a method for systematically and automatically mimicking human decision making. For accurate decisions to be made, the fusion of both hard and soft data into a single decision framework is required. This presents several challenges to this data (...) fusion framework. The first is the challenge involved in handling multiple complex terminologies, which is addressed by drawing on a set of Space Domain Ontologies. Another challenge is the complex combinatorics involved when considering all possible feature combinations. This can be mitigated by using integer linear programming optimization that is outlined by the Complex Conceptual Spaces Single Observation mathematical model framework. A third challenge is the complicated physics that is involved in a spacecraft collision that must be addressed to obtain a better understanding of threat assessment. Overcoming these various challenges allows for a quantitative ranking for the potential of a kinetic kill collision across multiple spacecraft pairs. In addition to overcoming these challenges this paper will break down threat assessment into four domains and identify a ranking of threat both for each individual domain and for the four domains combined. Simulation results are shown to verify the developed concepts. (shrink)

In the present review we focus on what we take to be some remaining issues with the Behaviour Change Intervention Ontology (BCIO). We are in full agreement with the authors’ endorsement of the principles of best practice for ontology development In particular, we agree that an ontology should be “logically consistent and having a clear structures [sic], preferably a well-organised hierarchical structure,” and that “Maximising the new ontology’s interoperability with existing ontologies by reusing entities from existing ontologies where appropriate” is (...) critically important (Wright et al., 2020, p. 17). Our remaining concerns with BCIO relate directly to these two principles. First, we identify a number of issues with some of the classifications and definitions in BCIO that seem to be in tension with the just-mentioned principle . Second, we note some reservations about the reuse of certain classes in BCIO, namely from the Gazetteer (GAZ), the Ontology of Medically Related Social Entities (OMRSE), and the Information Artifact Ontology (IAO). While the latter principle of “reuse” is important, it is also important not to let the reuse of existing classes (or their corresponding definitions) compromise the logical integrity or the realist nature of one’s ontology. (shrink)

In “Ontologies Relevant to behaviour change interventions: A Method for their Development” Wright, et al. outline a step by step process for building ontologies of behaviour modification – what the authors call the Refined Ontology Developmental Method (RODM) – and demonstrate its use in the development of the Behaviour Change Intervention Ontology (BCIO). RODM is based on the principles of good ontology building used by the Open Biomedical Ontology (OBO) Foundry in addition to those outlined in (Arp, Smith, and Spear (...) 2015). BCIO uses as its top-level ontology Basic Formal Ontology (BFO). The methods outlined in Wright, et al. are a valuable contribution to the field, especially the use of formal mechanisms for literature annotation and expert stakeholder review, and the BCIO will certainly play an important role in the extension of OBO Foundry ontologies into the behavioural domain. (shrink)

Hypocrisy is a multi-faceted concept that has been studied empirically by psychologists and discussed logically by philosophers. In this study, we pose various behavioral scenarios to research participants and ask them to indicate whether the actor in the scenario behaved hypocritically. We assess many of the components that have been considered to be necessary for hypocrisy (e.g., the intent to deceive, self-deception), factors that may or may not be distinguished from hypocrisy (e.g., weakness of will), and factors that may moderate (...) hypocrisy (e.g., the degree of discrepancy between the attitude and behavior, whether the attitude is stated publicly, and the nature and severity of the behavioral consequences). Our findings indicate that lay conceptions of hypocrisy are often at odds with philosophical speculation. We argue that a complete understanding of the criteria for hypocrisy requires consideration of how ordinary people construe the concept. In contrast to some concepts (e.g., physical causation), for which lay conceptions, while interesting, are largely irrelevant, hypocrisy is an essential component of social judgment. One could argue, therefore, that folk wisdom is the ultimate arbiter of what hypocrisy entails. We note limitations of our methodology and suggest avenues for future research. (shrink)

We present a new understanding of Christ’s real presence in the Eucharist on the model of Stump’s account of God’s omnipresence and Green and Quan’s account of experiencing God in Scripture. On this understanding, Christ is derivatively, rather than fundamentally, located in the consecrated bread and wine, such that Christ is present to the believer through the consecrated bread and wine, thereby making available to the believer a second-person experience of Christ, where the consecrated bread and wine are the way (...) in which she shares attention with him. The consecrated bread and wine are then, in a sense, icons of Christ. (shrink)

Jonathan Adams, David Pendlebury, Gordon Rogers, Martin Szomszor. 全球研究报告——东南亚[J]. 科学观察, 2020, 15(3): 54-65.

-/- 在一系列《全球研究报告》的调研过程中,我们一直希望对亚洲地区的研究现状进行一个描述,不仅限于中国、日本和韩国这些持续发展且颇受关注的国家。 -/- 这份《全球研究报告》调查了被称为南亚和东亚（S&E Asia）的地区,包括东盟集团及更广泛的地区。 .

Like Lewis, many philosophers hold reductionist accounts of chance (on which claims about chance are to be understood as claims that certain patterns of events are instantiated) and maintain that rationality requires that credence should defer to chance (in the sense that under certain circumstances one's credence in an event must coincide with the chance of that event). It is a shortcoming of an account of chance if it implies that this norm of rationality is unsatisfiable by computable agents. This (...) shortcoming is more common than one might have hoped. (shrink)

Global Research Report – South and East Asia by Jonathan Adams, David Pendlebury, Gordon Rogers & Martin Szomszor. Published by Institute for Scientific Information, Web of Science Group.

Despite a large and multifaceted effort to understand the vast landscape of phenotypic data, their current form inhibits productive data analysis. The lack of a community-wide, consensus-based, human- and machine-interpretable language for describing phenotypes and their genomic and environmental contexts is perhaps the most pressing scientific bottleneck to integration across many key fields in biology, including genomics, systems biology, development, medicine, evolution, ecology, and systematics. Here we survey the current phenomics landscape, including data resources and handling, and the progress that (...) has been made to accurately capture relevant data descriptions for phenotypes. We present an example of the kind of integration across domains that computable phenotypes would enable, and we call upon the broader biology community, publishers, and relevant funding agencies to support efforts to surmount today's data barriers and facilitate analytical reproducibility. (shrink)

A discussion of the sense in which reality is mind-dependent for Kant and for David Lewis. Plus a lot about space-aliens (and a bit about pimple-worms).

Academic Placement Data and Analysis (APDA), a project funded by the American Philosophical Association (APA) and headed by Carolyn Dicey Jennings (UC Merced), aims “to make information on academic job placement useful to prospective graduate students in philosophy.” The project has just been updated to include new data, which Professor Jennings describes in a post at New APPS. She also announces a new interactive data tool with which one can sift through and sort information. (from Daily Nous).

Cognitive neuroscience is an interdisciplinary enterprise aimed at explaining cognition and behavior. It appears to be succeeding. What accounts for this apparent explanatory success? According to one prominent philosophical thesis, cognitive neuroscience explains by discovering and describing mechanisms. This "mechanist thesis" is open to at least two interpretations: a strong metaphysical thesis that Carl Craver and David Kaplan defend, and a weaker methodological thesis that William Bechtel defends. I argue that the metaphysical thesis is false and that the methodological (...) thesis is too weak to account for the explanatory promise of cognitive neuroscience. My argument draws support from a representative example of research in this field, namely, the neuroscience of decision-making. The example shows that cognitive neuroscience explains in a variety of ways and that the discovery of mechanisms functions primarily as a way of marshaling evidence in support of the models of cognition that are its principle unit of explanatory significance. -/- The inadequacy of the mechanist program is symptomatic of an implausible but prominent view of scientific understanding. On this view, scientific understanding consists in an accurate and complete description of certain "objective" explanatory relations, that is, relations that hold independently of facts about human psychology. I trace this view to Carl Hempel's logical empiricist reconceptualization of scientific understanding, which then gets extended in Wesley Salmon's causal-mechanistic approach. I argue that the twin objectivist ideals of accuracy and completeness are neither ends we actually value nor ends we ought to value where scientific understanding is concerned. -/- The case against objectivism motivates psychologism about understanding, the view that understanding depends on human psychology. I propose and defend a normative psychologistic framework for investigating the nature of understanding in the mind sciences along three empirically-informed dimensions: 1) What are the ends of understanding? 2) What is the nature of the cognitive strategy that we deploy to achieve those ends; and 3) Under what conditions is our deployment of this strategy effective toward achieving those ends? To articulate and defend this view, I build on the work of Elliot Sober to develop a taxonomy of psychologisms about understanding. Epistemological psychologism, a species of naturalism, is the view that justifying claims about understanding requires appealing to what scientists actually do when they seek understanding. Metaphysical psychologism is the view that the truth-makers for claims about understanding include facts about human psychology. I defend both views against objections. (shrink)

In this short review, I provide a philosopher's assessment of White's book. It claims to be a study of the life of the Yoga Sutra, but is rather an account of secondary opinions, as though that amounts to the same thing as an account of the Yoga Sutra.

Lester‘s reply to the review by Gordon and Modugno of Escape from Leviathan was due to appear in a later edition of the same periodical, but it was eventually dropped without notice or a reason being given. Subsequently, their review has occasionally been cited in isolation as a refutation of that book‘s theory of liberty, the compatibility of such liberty with welfare maximisation, and the use of "Popperian views" as though a complete reply did not exist and were not (...) freely available and easily found online. To make it harder to avoid the reply, whether by accident or design, it is reproduced here (but with sundry small emendations for greater clarity). (shrink)

Review of The Philosophical Origins of Austrian Economics, by David Gordon. Auburn, Alabama: Ludwig von Mises Institute, 1993.

Bernard McGinn was a great historian of Christianity. But in this book under review he fails to do justice to the history of the Summa. He fails to understand the ontologies of the economic theories of Bernard Lonergan and the theology of Karl Rahner, for examples. The book is patchy and seems under-researched. McGinn does not do justice to the influence of the Summa as a text which forms a bridge between St. Augustine of Hippo and Hannah Arendt and Jean (...) Lyotard. The review is marred by a typos which the proofreader(s) of Prabuddha Bharata overlooked. Of course, the onus of the error lies with the reviewer. (shrink)

In this paper, we develop an account of the justification thinkers have for employing certain basic belief-forming methods. The guiding idea is inspired by Reichenbach's work on induction. There are certain projects in which thinkers are rationally required to engage. Thinkers are epistemically justified in employing any belief-forming method such that "if it doesn't work, nothing will" for successfully engaging in such a project. We present a detailed account based on this intuitive thought and address objections to it. We conclude (...) by commenting on the implications that our account may have for other important epistemological issues and debates. (shrink)

Consequentialism, many philosophers have claimed, asks too much of us to be a plausible ethical theory. Indeed, the theory's severe demandingness is often claimed to be its chief flaw. My thesis is that as we come to better understand this objection, we see that, even if it signals or tracks the existence of a real problem for Consequentialism, it cannot itself be a fundamental problem with the view. The objection cannot itself provide good reason to break with Consequentialism, because it (...) must presuppose prior and independent breaks with the view. The way the objection measures the demandingness of an ethical theory reflects rather than justifies being in the grip of key anti-Consequentialist conclusions. We should reject Consequentialism independently of the Objection or not at all. Thus, we can reduce by one the list of worrisome fundamental complaints against Consequentialism. (shrink)

The principle of alternate possibilities (PAP), making the ability to do otherwise a necessary condition for moral responsibility, is supposed by Harry Frankfurt, John Fischer, and others to succumb to a peculiar kind of counterexample. The paper reviews the main problems with the counterexample that have surfaced over the years, and shows how most can be addressed within the terms of the current debate. But one problem seems ineliminable: because Frankfurt''s example relies on a counterfactual intervener to preclude alternatives to (...) the person''s action, it is not possible for it to preclude all alternatives (intervention that is contingent upon a trigger cannot bring it about that the trigger never occurred). This makes it possible for the determined PAPist to maintain that some pre-intervention deviation is always available to ground moral responsibility. In reply, the critic of PAP can examine all the candidate deviations and argue their irrelevance to moral responsibility (a daunting prospect); or the critic can dispense with counterfactual intervention altogether. The paper pursues the second of these strategies, developing three examples of noncounterfactual intervention in which (i) the agent has no alternatives (and a fortiori no morally relevant alternatives), yet (ii) there is just as much reason to think that the agent is morally responsible as there was in Frankfurt''s original example. The new counterexamples do suffer from one liability, but this is insufficient in the end to repair PAP''s conceptual connection between moral responsibility and alternate possibilities. (shrink)

A number of philosophers, from Thomas Reid1 through C. A. J. Coady2, have argued that one is justified in relying on the testimony of others, and furthermore, that this should be taken as a basic epistemic presumption. If such a general presumption were not ultimately dependent on evidence for the reliability of other people, the ground for this presumption would be a priori. Such a presumption would then have a status like that which Roderick Chisholm claims for the epistemic principle (...) that we are justified in believing what our senses tell us. (shrink)

Platonism in the philosophy of mathematics is the doctrine that there are mathematical objects such as numbers. John Burgess and Gideon Rosen have argued that that there is no good epistemological argument against platonism. They propose a dilemma, claiming that epistemological arguments against platonism either rely on a dubious epistemology, or resemble a dubious sceptical argument concerning perceptual knowledge. Against Burgess and Rosen, I show that an epistemological anti- platonist argument proposed by Hartry Field avoids both horns of their dilemma.

Truthmaker theory promises to do some useful philosophical work: equipping us to argue against phenomenalism and Rylean behaviourism, for instance, and helping us decide what exists (Lewis 1999, 207; Armstrong 1997, 113-119). But it has proved hard to formulate a truthmaker theory that is both useful and believable. I want to suggest that a neglected approach to truthmakers – that of Ian McFetridge – can surmount some of the problems that make other theories of truthmaking unattractive. To begin with, I’ll (...) outline some of the most prominent accounts of truthmaking in the current literature. Then the second part of the paper will explain McFetridge’s theory and argue for its superiority over these accounts. (shrink)

This paper considers the phenomenon of lying and the implications it has for those subjects who are capable of lying. It is argued that lying is not just intentional untruthfulness, but is intentional untruthfulness plus an insincere invocation of trust. Understood in this way, lying demands of liars a sophistication in relation to themselves, to language, and to those to whom they lie which exceeds the demands on mere truth-tellers.

Can we adequately account for our reasons of mere taste without holding that our desires ground such reasons? Recently, Scanlon and Parfit have argued that we can, pointing to pleasure and pain as the grounds of such reasons. In this paper I take issue with each of their accounts. I conclude that we do not yet have a plausible rival to a desire-based understanding of the grounds of such reasons.

Truthmaker theorists claim that for every truth, there is something in virtue of which it is true—or, more cautiously, that for every truth in some specified class of truths, there is something in virtue of which it is true. I argue that it is hard to see how the thought that truth is grounded in reality lends any support to truthmaker theory.

How should one react when one has a belief, but knows that other people—who have roughly the same evidence as one has, and seem roughly as likely to react to it correctly—disagree? This paper argues that the disagreement of other competent inquirers often requires one to be much less confident in one’s opinions than one would otherwise be.

in Robin Le Poidevin (ed.) Being: Developments in Contemporary Metaphysics. Cambridge: Cambridge University Press. Peter van Inwagen claims that there are no tables or chairs. He also claims that sentences such as ‘There are chairs here’, which seem to imply their existence, are often true. This combination of views opens van Inwagen to a charge of self-contradiction. I explain the charge, and van Inwagen’s response to it, which involves the claim that sentences like ‘There are tables’ shift their truth-conditions between (...) different contexts of utterance. I present an alternative response which involves the negation of that claim, and argue that it is preferable to van Inwagen’s. (shrink)

The Brock-Rosen problem has been one of the most thoroughly discussed objections to the modal fictionalism bruited in Gideon Rosen’s ‘Modal Fictionalism’. But there is a more fundamental problem with modal fictionalism, at least as it is normally explained: the position does not resolve the tension that motivated it. I argue that if we pay attention to a neglected aspect of modal fictionalism, we will see how to resolve this tension—and we will also find a persuasive reply to the Brock-Rosen (...) objection. Finally, I discuss an alternative reading of Rosen, and argue that this position is also able to fend off the Brock-Rosen objection. (shrink)

Cartwright attempts to argue from an analysis of the composition of forces, and more generally the composition of laws, to the conclusion that laws must be regarded as false. A response to Cartwright is developed which contends that properly understood composition poses no threat to the truth of laws, even though agreeing with Cartwright that laws do not satisfy the "facticity" requirement. My analysis draws especially on the work of Creary, Bhaskar, Mill, and points towards a general rejection of Cartwright's (...) view that laws, especially fundamental laws, should be seen as false. (shrink)

I insist that I was able to raise my hand, and I acknowledge that a law would have been broken had I done so, but I deny that I am therefore able to break a law. To uphold my instance of soft determinism, I need not claim any incredible powers. To uphold the compatibilism that I actually believe, I need not claim that such powers are even possible. My incompatibilist opponent is a creature of fiction, but he has his prototypes (...) in real life. He is modeled partly after Peter van Inwagen and partly on myself when I first worried about van Inwagen's argument against compatibilism. (shrink)

Many philosophers of mathematics are attracted by nominalism – the doctrine that there are no sets, numbers, functions, or other mathematical objects. John Burgess and Gideon Rosen have put forward an intriguing argument against nominalism, based on the thought that philosophy cannot overrule internal mathematical and scientific standards of acceptability. I argue that Burgess and Rosen’s argument fails because it relies on a mistaken view of what the standards of mathematics require.

What would it take to design a real place online where real learning would happen?

Philosophers of language have drawn on metamathematical results in varied ways. Extensionalist philosophers have been particularly impressed with two, not unrelated, facts: the existence, due to Frege/Tarski, of a certain sort of semantics, and the seeming absence of intensional contexts from mathematical discourse. The philosophical import of these facts is at best murky. Extensionalists will emphasize the success and clarity of the model theoretic semantics; others will emphasize the relative poverty of the mathematical idiom; still others will question the aptness (...) of the standard extensional semantics for mathematics. In this paper I investigate some implications of the Gödel Second Incompleteness Theorem for these positions. I argue that the realm of mathematics, proof theory in particular, has been a breeding ground for intensionality and that satisfactory intensional semantic theories are implicit in certain rigorous technical accounts. (shrink)

Actualists of a certain stripe—dispositionalists—hold that metaphysical modality is grounded in the powers of actual things. Roughly: p is possible iff something has, or some things have, the power to bring it about that p. Extant critiques of dispositionalism focus on its material adequacy, and question whether there are enough powers to account for all the possibilities we intuitively want to countenance. For instance, it seems possible that none of the actual contingent particulars ever existed, but it is impossible to (...) explain this by appealing to the powers of some actual thing or things to bring it about. I argue instead that dispositionalism, in the simple form championed by its proponents, is formally inadequate. Dispositionalists interpret the modal operators as simple existential claims about powers, but if we interpret the operators that way, the resulting system of modal logic is too weak to capture metaphysical modality. I argue that we can modify the standard dispositionalist interpretations of the operators to secure formal adequacy, but at the cost of accepting that not all modality is grounded in powers. This, I shall suggest, is not a bad thing—the resulting theory still has powers at its core and has certain attractive features, in addition to formal adequacy, that the standard theory lacks. (shrink)