Is ruling out the possibility that one is dreaming a requirement for a knowledge claim? In “Philosophical Scepticism and Everyday Life” (1984), Barry Stroud defends that it is. In “Others Minds” (1970), John Austin says it is not. In his defense, Stroud appeals to a conception of objectivity deeply rooted in us and with which our concept of knowledge is intertwined. Austin appeals to a detailed account of our scientific and everyday practices of knowledge attribution. Stroud (...) responds that what Austin says about those practices is correct in relation to the appropriateness of making knowledge claims, but that the skeptic is interested in the truth of those claims. In this paper, we argue that Stroud’s defense of the alleged requirement smuggles in a commitment to a kind of internalism, which asserts that the perceptual justification available to us can be characterized independently of the circumstances in which we find ourselves. In our reading of Austin, especially of Sense & Sensibilia, he rejects that kind of internalism by an implicit commitment to what is called today a “disjunctive” view of perception. Austin says that objectivity is an aspect of knowledge, and his disjunctivism is part of an explanation of why the alleged requirement is not necessary for a knowledge claim. Since both Stroud and Austin are committed to the objectivity of knowledge, Stroud may ask which view of perceptual knowledge is correct, whether the internalist or the disjunctive. We argue that by paying closer attention to what Austin says about our practices of knowledge attribution, one can see more clearly that it is grounded not only on a conception of objectivity, but also on a conception of ourselves as information agents, a conception that is as deeply rooted as that of the objectivity of knowledge. This gives us moral and practical reasons to favor the disjunctive view of perception. (shrink)

In his final monograph, Barry Stroud argues that certain fundamental concepts, like the concept of causation, are not only indispensable to any thought of an objective, independent world, but that they are also, therefore, invulnerable to skeptical attack. Given some assumptions about thought and objectivity, this leads him into the following metaphysical aporia: We can neither metaphysically establish that the objective, independent world is as we must think of it nor that it is not that way. I will (...) argue that the source of this aporia is a notion of objectivity in terms of the complete independence from any relation to thought whatsoever. This is a notion never explicitly argued for, as Stroud does not identify its origin. I then argue that a Kantian notion of objectivity can both be justified by tracing it to its origin in what we understand thinking and perceiving to be and dissolve Stroud’s aporia. If there is a way we must think of the world, and if we conceive of this world as completely independent of any relation to thought, then it is indeed hard to see why the world would agree with the fundamental form of thought. But if the objective, independent world is instead conceived of in relation to thought rather than independently of it and in terms of the independence from subjects and acts of thinking and perceiving, then it becomes intelligible how the world in relation to thought can agree with our fundamental concepts, while the world independent of any relation to thought might not. (shrink)

In “The Constraints of Hume’s Naturalism” Barry Stroud takes on the task of looking at Hume’s negative and positive accounts of induction in conjunction. Stroud goes about doing this so that we might walk away with “a more general lesson about naturalism, at least when it is indulged in for philosophical purposes”. Given the boldness of Stroud’s quote from above there should be some explicit talk of this general lesson about naturalism outside of Hume’s, but there (...) is none that is readily apparent. If a more general and philosophically motivated lesson about naturalism is to be gleaned from Stroud’s investigation of Hume, then we should take this to be a lesson implicit in Stroud and not Hume. Hence I shall argue that Stroud tacitly endorses the skeptical conclusions of David Hume about naturalism in general when indulged for philosophical purposes. (shrink)

In this paper I introduce the transcendental argument for Christian theism in the context of Reformed theologian and philosopher Cornelius Van Til’s thought. I then present the critique proffered by Barry Stroud against ambitious transcendental arguments, and survey various formulations of transcendental arguments in the literature, seeking how the objection bears upon them. I argue that Adrian Bardon’s (2005) interpretation is the most helpful in understanding the Stroudian objection. From this interpretation, two types of possible rebuttals are deduced. (...) Proceeding to survey the responses offered by Van Tillians to this objection in the recent literature, I discern two general strategies pursued in these responses, which map onto the previously deduced types of rebuttals: the Biblical justification strategy and the objection-undermining strategy. I argue that all the specific attempts to answer Stroud which I examine here (those of Butler, Bosserman, and Fluhrer) are inadequate and that these two strategies, in general, face serious problems. I conclude with considering the options before the proponent of the transcendental argument for Christian theism and with offering a new objection to the argument, which focuses on its inconsistency with the implications of Christian theism itself. (shrink)

I argue that Stroud's nonreductionism about meaning is insufficiently motivated. First, given that he rejects the assumption that grasp of an expression's meaning guides or instructs us in its use, he has no reason to accept Kripke's arguments against dispositionalism or related reductive views. Second, his argument that reductive views are impossible because they attempt to explain language “from outside” rests on an equivocation between two senses in which an explanation of language can be from outside language. I offer (...) a partially reductive account of meaning which appeals both to speakers’ dispositions to produce and respond to utterances in naturalistically specifiable ways, and to the normative attitudes they adopt, in so doing, to their own behavior. This account is supported, I argue, by Stroud's early treatment of Wittgenstein's rule-following considerations and in particular of the agreement in primitive judgments or reactions which Wittgenstein takes to be required for linguistic communication. (shrink)

How should we understand the relationship between the contents of our color, causal, modal, and evaluative beliefs, on the one hand, and color, causal, modal, and evaluative properties, on the other? According to Barry Stroud (2011), because of the nature of the contents of those types of beliefs, we should also think that what he calls a “negative metaphysical verdict” on the latter is not one that we could consistently maintain. The metaphysical project aims to arrive at an (...) improved conception of ourselves and our relation the world, no matter if that conception is positive or negative. But if Stroud is right that we cannot consistently arrive at the view that all of our causal, modal, and evaluative beliefs are systematically false, we will see that we cannot consistently reach the negative verdict. But failure to reach the negative verdict doesn’t mean that we have reached the positive verdict. Stroud calls this philosophical failure “metaphysical dissatisfaction”. In this paper, I argue that we can appropriate a metaepistemological response to the problem of the external world which shares its core features with Stroud’s (2000, 2011) arguments, but which nevertheless leaves us with a distinctive kind of epistemological dissatisfaction. (shrink)

We begin by considering two common ways of conceiving critical metaphysics. According to the first (and polemical) conception, critical metaphysics analyzes nothing more than the form of thought and thereby misses the proper point of metaphysics, namely to investigate the form of reality. According to the second (and affirmative) conception, critical metaphysics starts from the supposed insight that the form of reality cannot be other than the form of thought and is thus not required to analyze anything but that form. (...) We argue that the first conception is too weak while the second is too strong. Then we sketch an alternative conception of critical metaphysics, a conception we find expressed both in Kant’s B-Deduction and in the way Barry Stroud has recently investigated the possibility of metaphysics. According to such a conception, a properly critical metaphysics needs to proceed in two steps: first, it needs to analyze the most general and necessary form of any thought that is about an objective reality at all; second, it needs to investigate how that form of thought relates to the reality it purports to represent. But unlike Kant, Stroud remains sceptical regarding the possibility of a satisfying transition from thought to reality in metaphysics. We argue that this dissatisfaction can be traced back to a notion of objectivity and reality in terms of complete mind-independence. Then we sketch an alternative notion of objectivity and reality in terms of distinctness from subjects and acts of thinking, and argue that it is that notion that allows Kant, with his Transcendental Idealism, to make the transition required for any satisfying metaphysics, namely that from the form of thought to reality. (shrink)

Fumerton’s distinctive brand of metaepistemological scepticism is compared and contrasted with the related position outlined by Stroud. It is argued that there are at least three interesting points of contact between Fumerton and Stroud’s metaepistemology. The first point of contact is that both Fumerton and Stroud think that (1) externalist theories of justification permit a kind of non-inferential, perceptual justification for our beliefs about non-psychological reality, but it’s not sufficient for philosophical assurance. However, Fumerton claims, while (...) class='Hi'>Stroud denies, that (2) direct acquaintance with facts is sufficient for philosophical assurance. And this is important because Stroud thinks that (3) we have direct perceptual access or acquaintance with facts about the external world, while Fumerton denies this. (shrink)

When it comes to Quine's position on the naturalization of epistemological inquiry, it is generally considered that as the first and most important step, that position implies the abandonment of Cartesianism and the skepticism it implies. However, here we will argue that such a diagnosis is inappropriate, and that, in principle at least, Quine's attitude towards skepticism, even of the Cartesian type, is much more flexible than is usually thought, and perhaps even than Quine himself thought. In this regard, we (...) will try to show how Quine was actually the one who accepted what Barry Stroud called the 'conditional correctness of skepticism (Cartesianism)' and not the logical positivists, and that the main reason for this is that he recognized the autonomy of the discourse (‘epistemology’s meta-context’) established by Descartes. (shrink)

In chapter 3 of Wittgenstein on Rules and Private Language, Kripke’s Wittgenstein offers a “sceptical solution" to the sceptical paradox about meaning developed in chapter 2 (according to which there are no facts in virtue of which ascriptions of meaning such as “Jones means addition by ‘+’” can be true). Although many commentators have taken the sceptical solution to be broadly analogous to non-factualist theories in other domains, such as non-cognitivism or expressivism in metaethics, the nature of the sceptical solution (...) has not been well-understood. The main aim of this paper is to advance our understanding of the nature of the non-factualism about meaning proposed in the sceptical solution. It attempts to outline some desiderata that should be respected by interpretations of the sceptical solution and considers two objections raised against it in Barry Stroud’s paper “Wittgenstein on Meaning, Understanding and Community". It attempts to correct misconstruals of the sceptical solution that have been promulgated by Davidson and some of his followers and suggests that the sceptical solution developed by Kripke’s Wittgenstein is best viewed as a form of quasi-realism about meaning. It ends by outlining what it takes to be the most pressing challenges facing the sceptical solution. (shrink)

This paper’s main thesis is that in virtue of being believable, a believable novel makes an indirect transcendental argument telling us something about the real world of human psychology, action, and society. Three related objections are addressed. First, the Stroud-type objection would be that from believability, the only conclusion that could be licensed concerns how we must think or conceive of the real world. Second, Currie holds that such notions are probably false: the empirical evidence “is all against this (...) idea…that readers’ emotional responses track the real causal relations between things.” Third, responding with a full range of emotions to a novel surely requires that it be believable. Yet since we know the novel is fiction, we do not believe it. So in what does its believability consist? (shrink)

David Hume fancied himself the Newton of the mind, aiming to reinvent the study of human mental life in the same way that Newton had revolutionized physics. And it was his view that the novel account of belief he proposed in his Treatise of Human Nature was one of that work’s central philosophical contributions. From the earliest responses to the Treatise forward, however, there was deep pessimism about the prospects for his account. It is easy to understand the source of (...) this pessimism: The constraints he employed in theorizing stem from his Newtonian ambitions. Constraints such as his copy principle and his decision to rely only on variations in “force and vivacity” for differentiating types of mental states severely limit his available explanatory resources. However, it is one thing to regard an account as untenable, and quite another to understand where it fails. In this paper, I focus on one long-standing objection to Hume’s account — the objection that Hume cannot offer an account of negative belief or denial — as presented by Hume’s contemporary Thomas Reid, as well as more recently by Barry Stroud, and defend Hume from this objection. I argue that Hume both should and does endorse an account of negative belief based in relations of contrariety between contents, rather than between mental activities, and survey the different options available to Hume for spelling out an account of contrary contents. (shrink)

For decades scholars thought they knew Hume's position on the existence of causes and objects he was a sceptic. However, this received view has been thrown into question by the `new readings of Hume as a sceptical realist. For philosophers, students of philosophy and others interested in theories of causation and their history, The New Hume Debate is the first book to fully document the most influential contemporary readings of Hume's work. Throughout, the volume brings the debate beyond textual issues (...) in Hume to contemporary philosophical issues concerning causation and knowledge of the external world and issues in the history of philosophy, offering the reader a model for scholarly debate. This revised paperback edition includes three new chapters by Janet Broughton, Peter Kail and Peter Millican. Contributors: Kenneth A. Richman, Barry Stroud, Galen Strawson, Kenneth P. Winkler, John P. Wright, Simon Blackburn, Edward Craig, Martin Bell, Daniel Flage, Anne Jaap Jacobson, Rupert Read, Janet Broughton, Peter Millican, Peter Kail. (shrink)

Today we find philosophical naturalists and Christian theists both expressing an interest in virtue epistemology, while starting out from vastly different assumptions. What can be done to increase fruitful dialogue among these divergent groups of virtue-theoretic thinkers? The primary aim of this paper is to uncover more substantial common ground for dialogue by wielding a double-edged critique of certain assumptions shared by 'scientific' and 'theistic' externalisms, assumptions that undermine proper attention to epistemic agency and responsibility. I employ a responsibilist virtue (...) epistemology to this end, utilizing it most extensively in critique of Alvin Plantinga's "Warranted Christian Belief". Epistemological externalism presages, I also argue, a new demarcation problem, but a secondary aim of the paper is to suggest reasons to think that 'responsibilist externalism,' especially as glossed in virtue-theoretic terms, provides its proponents with the ability to adequately address this problem as we find it represented in a potent thought-experiment developed by Barry Stroud. (shrink)

We revisit an important exchange on the problem of radical skepticism between Richard Rorty and Michael Williams. In his contribution to this exchange, Rorty defended the kind of transcendental approach to radical skepticism that is offered by Donald Davidson, in contrast to Williams’s Wittgenstein-inspired view. It is argued that the key to evaluating this debate is to understand the particular conception of the radical skeptical problem that is offered in influential work by Barry Stroud, a conception of the (...) skeptical problem which generates metaepistemological ramifications for anti-skeptical theories. In particular, we argue that, contra Williams, Rorty’s view that Davidson was offering a theoretical diagnosis of radical skepticism can be consistently maintained with his transcendental approach. (shrink)

Intentaremos reconstruir la controversia acerca de la posibilidad de un lenguaje privado. Analizamos primero las posiciones “epistemológicas” (Malcolm y Fogelin), mostrando sus fallos. Luego analizamos la versión “semántica” (Kenny y Tugendhat) encontrándolas igualmente fallidas. La crítica de Barry Stroud a los argumentos trascendentales como argumentos antiescépticos nos permite discernir el presupuesto común que debilita las posiciones anteriores. Asimismo, la reconstrucción permite apreciar mejor la manera en la que la versión de Kripke evita comprometerse con este presupueto. Argumentamos que (...) esta versión es la única versión consistente del argumento. Esta afirmación obliga afrontar algunas de las objeciones corrientes dirigidas a la propuesta de Kripke: el problema de la objetividad de la regla, ¿puede un individuo estar acertado en contra de la opinión comunitaria consensuada?; y el problema de las relaciones internas entre reglas y casos, presuntamente violentada por el rol que la noción de acuerdo comunitario desempeña en la misma. Sostenemos que nuestra reconstrucción de la controversia permite encontrar razones para mostrar por qué las objeciones mencionadas no se le aplican. -/- This paper tries to reconstruct the controversy on the possibility of private language. First, we analyse “epistemological” trends in the argument (Malcolm, Fogelin) showing their failures. Then, we analyse “semantic” versions (Kenny, Tugendhat) finding they are also failed. Barry Stroud’s criticism of transcendental arguments as refutations of scepticism allows us to discern the common presupposition that weakens the versions of the argument considered. Moreover, this reconstruction allows us to see how Kripke’s deals with the problem of the previous discussion in order to avoid committing himself with this presupposition. We consider Kripke’s version to be the only consistent version of the argument. Such a statement obliges us to consider two of the most important criticisms directed against Kripke’s Wittgenstein: The problem of objectivity of the rule: Can a single individual be right in contradicting communal assent?; and the problem of internal relationships between rules and their applications, allegedly violated because of the role played by communal agreement. We claim that our reconstruction of the controversy provides good reasons to show that the above-mentioned objections don’t apply to Kripke’s Wittgenstein version. (shrink)

I have developed transcendental arguments to refute several versions of Nick Bostrom’s simulation hypothesis. I called some of these arguments the SIM-style argument. In this paper, I have four main aims. First, I employ the SIM-style argument to remedy a defect in Hilary Putnam’s Brain-in-vat argument. Second, I show that the most radical skepticism, which Tim Button called the nightmarish Cartesian skepticism, can be refuted by the SIM-style argument or by another transcendental argument I develop here. Third, I compare my (...) approach to radical skepticisms with Donald Davidson’s, as it is often regarded as an exemplar of transcendental arguments. Fourth, I explain how the prominent objections, mainly developed by Barry Stroud, to transcendental arguments can incur two undesirable results: psychologism and Kantian skepticism. (shrink)

This essay is an inquiry into John McDowell’s thinking on ‘subjectivity.’ The project consists in two parts. On the one hand, I will discuss how McDowell understands and responds to the various issues he is tackling; on the other, I will approach relevant issues concerning subjectivity by considering different aspects of it: a subject as a perceiver, knower, thinker, speaker, agent, person and (self-) conscious being in the world. The inquiry begins by identifying and resolving a tension generated by the (...) very idea of ‘rational animal’: human beings are at the same time natural and rational. Later the inquiry proceeds by considering how McDowell’s notion of ‘second nature’ enables us to be human subjects with many faces. By going through the diagnoses and responses of McDowell, two central problems in modern and contemporary philosophy – the narrow conception of nature and the Cartesian inner space model – are identified and repelled. In Episode N I first urge that we should leave room for a certain notion of ‘world.’ I further argue that mentality has many aspects, and to understand those aspects is to understand the many faces of human subject. In Episode Ⅰ the Aristotelian notion of ‘second nature’ is discussed in order to resolve the tension in the very idea of ‘rational animal.’ Later I reply to some worries about this maneuver, including the objection from Crispin Wright. Hans-Georg Gadamer’s distinction between world and environment is introduced and related to McDowell’s thinking. Episode Ⅱ discusses perception and knowledge; McDowell’s main target – the Cartesian inner space – is introduced and criticized. Barry Stroud’s and Simon Blackburn’s positions are evaluated. Later I connect the main theme of Mind and World to the present context; in particular, I discuss McDowell’s invocation of Donald Davidson and Immanuel Kant. And then I discuss a common accusation of idealism, and Robert Brandom’s accusation of ‘residual individualism.’ Episode Ⅲ concentrates on Saul Kripke’s Wittgenstein, arguing that the master thesis behind the rule-following paradox is a version of the inner space model, and that Kripke’s Wittgenstein is not Wittgenstein. Martin Kusch’s objections are answered; Michael Dummett’s demand of reductionism is rebutted. After this, I turn to Davidson’s ‘no language’ claim, and discuss to what extent McDowell agrees with him. In Episode Ⅳ I evaluate objections from Hubert Dreyfus concerning action and agency. I discuss how Dreyfus and Maurice Merleau-Ponty commit ‘the Myth of the Disembodied Intellect’ identified by McDowell. I answer Michael Ayer’s charge of intellectualism in passing. Later I bring in McDowell’s objections to Derek Parfit on personhood and to Davidson on the mind-body relation. In Episode Ⅴ I focus on consciousness and self-consciousness. McDowell applies his argument against Parfit to Kant, but Maximilian de Gaynesford dissents. I reply to his objections on McDowell’s behalf. I further connect this to McDowell’s attacks on the dualism of scheme and content. This leads to my McDowellian rejection to the existence of qualia, and further brings me to the debate between intentionalism and disjunctivism in the context of the argument from illusion. I argue against Tim Crane’s ways of conceiving issues about intentionalism and the argument from illusion. Varieties of disjunctivism are also discussed. In my Epilogue, I express my worry about McDowell’s notion of ‘self-determining subjectivity.’ According to McDowell, human freedom consists in causations in the space of reason, but as Richard Gaskin points out, a satisfying story of it is yet to be provided. I close this essay with some rough ideas about how to fill in the details of the McDowellian picture. (shrink)

This essay is a contribution to a symposium on Barry Stroud’s book The Quest for Reality. It exploits various analogies between tense and colour to defend the idea, about which Stroud is deeply sceptical, that we can successfully undertake what Stroud calls ‘the philosophical quest for reality’—more specifically, to defend the idea that we can do this by arguing that any fact can be represented from no point of view.

According to global skepticism, we know nothing. According to local skepticism, we know nothing in some particular area or domain of discourse. Unlike their global counterparts, local skeptics think they can contain our invincible ignorance within limited bounds. I argue that they are mistaken. Local skepticism, particularly the kinds that most often get defended, cannot stay local: if there are domains whose truths we cannot know, then there must be claims outside those domains that we cannot know even if they (...) are true. My argument focuses on one popular form of local skepticism, ethical skepticism, but I believe that the argument generalizes to cover other forms as well. (shrink)

While Immanuel Kant is an epochal figure in a variety of fields, he has not figured prominently in the study of rhetoric and communication. This book represents the most detailed examination available into Kant's uneasy but often misunderstood relationship with rhetoric. By explicating Kant's complex understanding of rhetoric, this book advances the thesis that communicative practices play an important role in Kant's account of how we become better humans and how we create morally cultivating communities.

Human cognitive acts are directed towards entities of a wide range of different types. What follows is a new proposal for bringing order into this typological clutter. A categorial scheme for the objects of human cognition should be (1) critical and realistic. Cognitive subjects are liable to error, even to systematic error of the sort that is manifested by believers in the Pantheon of Olympian gods. Thus not all putative object-directed acts should be recognized as having objects of their own. (...) Broadly, the objects towards which human cognition is directed should be parts of reality in a sense that is at least consistent with the truths of natural science. But such a scheme should also be (2) comprehensive: it should do justice to each sort of object on its own terms, and not attempt to eliminate objects of one sort in favour of objects of other, more favoured sorts. Linguistic and other forms of idealism, as well as Meinongian theories, which assign to each and every referring expression or intentional act an object tailored to fit, yield categorial schemes which fail to satisfy (1). Physicalistic and other forms of reductionism yield categorial schemes which fail to satisfy (2). What follows is a categorial scheme that is both critically realistic and comprehensive. Thus it enjoys some of the benefits of linguistic idealism and physicalism, without (or so it is hoped) the corresponding disadvantages of each. (shrink)

The parceling of land into real estate is more than a simple geometrical affair. Real estate is a historical product of interaction between human beings, political, legal and economic institutions, and the physical environment. And while many authors, from Jeremy Bentham to Hernando de Soto, have drawn attention to the ontological (metaphysical) aspect of property in general, no comprehensive analysis of landed property has been attempted. The paper presents such an analysis and shows how landed property differs from other types (...) of property in a way which implies a special role for political and economic philosophy of property rights in land. This is the Chinese translation of "The Metaphysics of Real Estate", Topoi, 20: 2 (September 2001), 161–172. (shrink)

The paper presents a new method for generating typologies of formal-ontological relations. The guiding idea is that formal relations are those sorts of relations which hold between entities which are constituents of distinct ontologies. We provide examples of ontologies (in the spirit of Zemach’s classic “Four Ontologies” of 1970), and show how these can be used to give a rich typology of formal relations in a way which also throws light on the opposition between threeand four-dimensionalism.

Efficient markets are alienating if they inhibit us from recognizably caring about one another in our productive activities. I argue that efficient market behaviour is both exclusionary and fetishistic. As exclusionary, the efficient marketeer cannot manifest care alongside their market behaviour. As fetishistic, the efficient marketeer cannot manifest care in their market behaviour. The conjunction entails that efficient market behavior inhibits care. It doesn’t follow that efficient market behavior is vicious: individuals might justifiably commit to efficiency because doing so serves (...) the common good. But efficient market systems nevertheless have significant opportunity costs. The discussion yields a range of desiderata for non-alienated economic organization. (shrink)

This review focuses on the Ogdoas scholastica by Jacob Lorhard, published in 1606. The importance of this document turns on the fact that it contains what is almost certainly the first published occurrence of the term “ontology.” The body of the work consists in a series of diagrams called “diagraphs.” Relevant features of this compendium of diagraphs are: 1. that it does not in fact contain the word “ontology,” and 2. that Lorhard himself was not responsible for its content.

Our aim in this brief essay is not to defend a particular policy or attitude toward lockdown measures in the United States or elsewhere, but to consider the scope and limits of different types of arguments that can be offered for them. Understanding the complexity of these issues will, we hope, go some way to helping us understand each other and our attitudes toward state responses to the pandemic.

There is a basic distinction, in the realm of spatial boundaries, between bona fide boundaries on the one hand, and fiat boundaries on the other. The former are just the physical boundaries of old. The latter are exemplified especially by boundaries induced through human demarcation, for example in the geographic domain. The classical problems connected with the notions of adjacency, contact, separation and division can be resolved in an intuitive way by recognizing this two-sorted ontology of boundaries. Bona fide boundaries (...) yield a notion of contact that is effectively modeled by classical topology; the analogue of contact involving fiat boundaries calls, however, for a different account, based on the intuition that fiat boundaries do not support the open/closed distinction on which classical topology is based. In the presence of this two-sorted ontology it then transpires that mereotopology—topology erected on a mereological basis—is more than a trivial formal variant of classical point-set topology. (shrink)

ABSTRACT We have previously argued that there are forms of greenhouse gas offsetting for which, when one emits and offsets, one imposes no risk. Orri Stefansson objects that our argument fails to distinguish properly between the people who stand to be harmed by one’s emissions and the people who stand to be benefited by one’s offsetting. We reply by emphasizing the difference between acting with a probability of making a difference to the distribution of harm and acting in a way (...) that worsen’s someone’s prospect. (shrink)

When does a human being begin to exist? We argue that it is possible, through a combination of biological fact and philosophical analysis, to provide a definitive answer to this question. We lay down a set of conditions for being a human being, and we determine when, in the course of normal fetal development, these conditions are first satisfied. Issues dealt with along the way include: modes of substance-formation, twinning, the nature of the intra-uterine environment, and the nature of the (...) relation between fetus and mother (connection, parthood, dependence). (shrink)

Ontologies and standards are strongly interrelated and can often be seen as two sides of the same coin. Indeed, standards reflect consensus on the semantics of terms, though different standards might employ different ways to explain the same or very similar concepts semantically. Given the crucial role played by both aspects in OntoCommons, we have interviewed Barry Smith, SUNY Distinguished Professor of Philosophy at the University at Buffalo and one of the External Advisory Board (EAB) members of the OntoCommons (...) project, to better understand what are the challenges and priorities to focus on in this context. (shrink)

We begin at the beginning, with an outline of Aristotle’s views on ontology and with a discussion of the influence of these views on Linnaeus. We move from there to consider the data standardization initiatives launched in the 19th century, and then turn to investigate how the idea of computational ontologies developed in the AI and knowledge representation communities in the closing decades of the 20th century. We show how aspects of this idea, particularly those relating to the use of (...) the term 'concept' in ontology development, influenced SNOMED CT and other medical terminologies. Against this background we then show how the Foundational Model of Anatomy, the Gene Ontology, Basic Formal Ontology and other OBO Foundry ontologies came into existence and discuss their role in the development of contemporary biomedical informatics. (shrink)

Searle’s tool for understanding culture, law and society is the opposition between brute reality and institutional reality, or in other words between: observer-independent features of the world, such as force, mass and gravitational attraction, and observer-relative features of the world, such as money, property, marriage and government. The question posed here is: under which of these two headings do moral concepts fall? This is an important question because there are moral facts – for example pertaining to guilt and responsibility – (...) which hover uncomfortably close to the boundary between the observer-relative and the observer-independent. By means of a thought experiment involving an imagined Chinese society in which guilt is determined by the random throwing of sticks, I seek to show that moral concepts threaten the foundations of Searle’s philosophy of social reality. (shrink)

We take as our starting point a thesis to the effect that, at least for true judgments of many varieties, there are parts of reality which make such judgments are true. We argue that two distinct components are involved in this truthmaker relation. On the one hand is the relation of necessitation, which holds between an object x and a judgment p when the existence of x entails the truth of p. On the other hand is the dual notion of (...) projection, which holds between a judgment p and an object x when the truth of p entails the existence of x. A truthmaker for a judgment p is then a necessitator for p which satisfies the further constraint that it is part of p’s projection. We offer a formal theory of the truthmaker relation thus defined, exploiting ontological tools of basic mereology and the theory of dependence. We then apply the theory to a range of problems connected with generic expressions, ellipsis, vagueness, and indexical and perceptual judgments. (shrink)

This essay is a response to Luis M. Augusto’s intriguing paper on the rift between mainstream and formal ontology. I will show that there are in fact two questions at issue here: 1. concerning the links between mainstream and formal approaches within philosophy, and 2. concerning the application of philosophy (and especially philosophical ontology) in support of information-driven research for example in the life sciences.

The essay constructs an ontological theory designed to capture the categories instantiated in those portions or levels of reality which are captured in our common sense conceptual scheme. It takes as its starting point an Aristotelian ontology of “substances” and “accidents”, which are treated via the instruments of mereology and topology. The theory recognizes not only individual parts of substances and accidents, including the internal and external boundaries of these, but also universal parts, such as the “humanity” which is an (...) essential part of both Tom and Dick, and also “individual relations”, such as Tom’s promise to Dick, or their current handshake. (shrink)

The discussions which follow rest on a distinction, first expounded by Husserl, between formal logic and formal ontology. The former concerns itself with (formal) meaning-structures; the latter with formal structures amongst objects and their parts. The paper attempts to show how, when formal ontological considerations are brought into play, contemporary extensionalist theories of part and whole, and above all the mereology of Leniewski, can be generalised to embrace not only relations between concrete objects and object-pieces, but also relations between what (...) we shall call dependent parts or moments. A two-dimensional formal language is canvassed for the resultant ontological theory, a language which owes more to the tradition of Euler, Boole and Venn than to the quantifier-centred languages which have predominated amongst analytic philosophers since the time of Frege and Russell. Analytic philosophical arguments against moments, and against the entire project of a formal ontology, are considered and rejected. The paper concludes with a brief account of some applications of the theory presented. (shrink)

A collection of material on Husserl's Logical Investigations, and specifically on Husserl's formal theory of parts, wholes and dependence and its influence in ontology, logic and psychology. Includes translations of classic works by Adolf Reinach and Eugenie Ginsberg, as well as original contributions by Wolfgang Künne, Kevin Mulligan, Gilbert Null, Barry Smith, Peter M. Simons, Roger A. Simons and Dallas Willard. Documents work on Husserl's ontology arising out of early meetings of the Seminar for Austro-German Philosophy.

Autobiography of Barry Smith; emphasizes the role of Dummett and Husserl, Austrian philosophy and economics, and the Munich-Göttingen-Kraków school of realist phenomenology.

Elon Musk famously predicted that an artificial intelligence superior to the smartest individual human would arrive by the year 2025. In response, Gary Marcus offered Musk a $1 million bet to the effect that he would be proved wrong. In specifying the conditions of this bet (which Musk did not take) Marcus lists the following ‘tasks that ordinary people can perform’ which, he claimed, AI will not be able to perform by the end of 2025. • Reliably drive a car (...) in a novel location that they haven’t previously encountered, even in the face of unusual circumstances like hand lettered signs, without the assistance of other humans. • Learn to ride a mountain bike off-road through forest trails. • Babysit children in an unfamiliar home and keep them safe. • Tend to the physical and psychological needs of an elderly or infirm person. Each of these tasks involves the application of practical or tacit knowledge, or what is also called ‘knowing how’, which is to say knowledge of a sort that is captured not by means of sentences or propositions or explicit rules, but rather through the expertise demonstrated in human actions. The talk addresses the puzzle that nowhere in the AI literature do we find a discussion of knowing how as a feature of human intelligence. (shrink)

The world of ontology development is full of mysteries. Recently, ISO Standard 15926 (“Lifecycle Integration of Process Plant Data Including Oil and Gas Production Facilities”), a data model initially designed to support the integration and handover of large engineering artefacts, has been proposed by its principal custodian for general use as an upper level ontology. As we shall discover, ISO 15926 is, when examined in light of this proposal, marked by a series of quite astonishing defects, which may however provide (...) general lessons for the developers of ontologies in the future. (shrink)

Material things have material (spatial) parts. Acts, events, occurrences, have phases, which we can view as their temporal parts. Spatial surfaces and volumes, stretches of time, they all have parts again; they can all be considered "extended". Entities, on the other hand, such as directions, numbers, temperatures, colors, tones, fictional characters, prices, numbers, values, ideologies, goals, are all unextended; they are partless. Let us call such non-extended objects “nodes”, in order to express the fact that we have a tendency to (...) grasp them as pure correlates of our thinking, often at the same time viewing them effectively as placeholders within systems of coordinates in various intellectual and social domains. My aim, here, is to clarify this rough idea of “node” for the purpose of providing a corresponding clarification of Ingarden's idea of a purely intentional object. I first consider purely intentional objects in general, and then focus in particular on fictional examples. (shrink)

Ontology: Tool for Broad Spectrum Knowledge Integration (Foreword to Chinese translation of Building Ontologies with Basic Formal Ontology).

This paper applies the ontological framework developed by Roman Ingarden in his Controversy over the Existence of the World to the domain of mathematics, concluding with some remarks on parallels between the mode of existence of mathematical entities on the one hand and of values on the other.