Issues of reliability are claiming center-stage in the epistemology of machine learning. This paper unifies different branches in the literature and points to promising research directions, whilst also providing an accessible introduction to key concepts in statistics and machine learning – as far as they are concerned with reliability.

According to the recent Perceptual Confidence view, perceptual experiences possess not only a representational content, but also a degree of confidence in that content. The motivations for this view are partly phenomenological and partly epistemic. We discuss both the phenomenological and epistemic motivations for the view, and the resulting account of the interface between perceptual experiences and degrees of belief. We conclude that, in their present state of development, orthodox accounts of perceptual experience are still to be favoured over the (...) perceptual confidence view. (shrink)

Overview of the definition of art and its relationship to definitions of the individual art forms, with an eye to clarifying the issues separating dominant institutionalist and skeptical positions from non-skeptical, non-institutional ones. Section 2 indicates some of the key philosophical issues which intersect in discussions of the definition of art, and singles out some important areas of broad agreement and disagreement. Section 3 critically reviews some influential standard versions of institutionalism, and some more recent variations on them. Section 4 (...) discusses some recent reductionist approaches to definitional questions, which advocate a shift of philosophical focus from the macro- to the micro-level —from art to the individual art forms. Section 5 outlines an alternative, non-institutionalist and non-reductionist approach to definitional questions. (shrink)

In this paper I want to show that topology has a bearing on the theory of tropes. More precisely, I propose a topological ontology of tropes. This is to be understood as follows: trope ontology is a „one-category”-ontology countenancing only one kind of basic entities, to wit, tropes. 1 Hence, individuals, properties, relations, etc. are to be constructed from tropes.

The work of Thomas White represents a systematic attempt to combine the best of the new science of the seventeenth century with the best of Aristotelian tradition. This attempt earned him the criticism of Hobbes and the praise of Leibniz, but today, most of his attempts to navigate between traditions remain to be explored in detail. This paper does so for his ontology of accidents. It argues that his criticism of accidents in the category of location as entities over (...) and above substances was likely aimed at Francisco Suárez, and shows how White’s worries about the analysis of location were linked with his broader cosmological views. White rejects real qualities, but holds that the quantity of a substance is somehow distinct from its bearer. This reveals a common ground with some of his scholastic interlocutors, but lays bare a deep disagreement with thinkers like Descartes on the nature of matter. (shrink)

This paper argues that the current discourse on epistemic injustice in social epistemology itself perpetuates epistemic injustice, namely hermeneutic injustice with regards to class and classism. The main reason is that debates on epistemic injustice have foremost focussed on issues related to gender, race, and disability while mostly ignoring class issues. I suggest that this is due to (largely unwarranted) fears about looming class reductionism. More importantly, this is omission is not innocuous, but problematic insofar as it has an unlikely (...) ally in neoliberal propaganda which features as one main goal stifling class consciousness. While this “allyship” is unwitting, this presents grounds for the discourse of epistemic injustice to consider re-centring class issues and classism. (shrink)

Vagueness has gotten some attention in aesthetics, but deserves more. Vagueness is universally acknowledged to be ubiquitous. It has played a substantive role in some recent writing on the definition of art. It has figured importantly in analyses of the concept of literature, and (in connection with a thought experiment of Arthur Danto’s), of the ontology of art. Vagueness was a locus of contention in a debate between Alan Goldman and Eddy Zemach about the reality of aesthetic properties. This paper’s (...) aim is to advance that debate, by focusing on the relevance of vagueness to the familiar argument that moves from premises about aesthetic disagreement to the conclusion that aesthetic properties are not real. In what follows, it is argued that, vis-á-vis aesthetic disagreement, the vagueness of aesthetic properties can do important theoretical work for aesthetic realism. (shrink)

This paper argues that the current discourse on epistemic injustice in social epistemology itself perpetuates epistemic injustice, namely hermeneutic injustice with regards to class and classism. The main reason is that debates on epistemic injustice have foremost focussed on issues related to gender, race, and disability while mostly ignoring class issues. I suggest that this is due to (largely unwarranted) fears about looming class reductionism. More importantly, this is omission is not innocuous, but problematic insofar as it has an unlikely (...) ally in neoliberal propaganda which features as one main goal stifling class consciousness. While this “allyship” is unwitting, this presents grounds for the discourse of epistemic injustice to consider re-centring class issues and classism. (shrink)

Recent years have seen an increasing amount of studies of the history of the term “religion” and how it figures in conceptions of “the secular” and of cultural differences generally. A recurrent theme in these studies is that “religion” carries associations with Protestant Christianity and thus is not as universal a category as it might appear. The aim of this paper is to explore some resources in Wittgenstein’s philosophy to obtain greater clarity about the contexts of ascription of religion-status to (...) various phenomena and thus to gain perspective on claims made by scholars who investigate the genealogy of the term. While there is good reason to be circumspect about uncritical use of the term “religion” (no less in philosophizing about religions or conducting interreligious dialogue), I argue that instead of abandoning the term or proffering a critical theory of religion, investigation of ascriptions of religion will help philosophers to perceive more clearly the social dynamics that have led to some- one or thing being called religious and thus avoid equivocations that could obstruct the ends of philosophical inquiry or dialogue. (shrink)

In this paper I will offer a comprehensive defense of the safety account of knowledge against counterexamples that have been recently put forward. In Sect. 2, I will discuss different versions of safety, arguing that a specific variant of method-relativized safety is the most plausible. I will then use this specific version of safety to respond to counterexamples in the recent literature. In Sect. 3, I will address alleged examples of safe beliefs that still constitute Gettier cases. In Sect. 4, (...) I will discuss alleged examples of unsafe knowledge. In Sect. 5, I will address alleged cases of safe belief that do not constitute knowledge for non-Gettier reasons. My overall goal is to show that there are no successful counterexamples to robust anti-luck epistemology and to highlight some major presuppositions of my reply. (shrink)

Theories of explanation need to account for a puzzling feature of our explanatory practices: the fact that we prefer explanations that are relatively abstract but only moderately so. Contra Franklin-Hall ([2016]), I argue that the interventionist account of explanation provides a natural and elegant explanation of this fact. By striking the right balance between specificity and generality, moderately abstract explanations optimally subserve what interventionists regard as the goal of explanation, namely identifying possible interventions that would have changed the explanandum.

This paper examines the evolution of Husserl’s philosophy of nonintuitive intentions. The analysis has two stages. First, I expose a mistake in Husserl’s account of non-intuitive acts from his 1901 Logical Investigations. I demonstrate that Husserl employs the term “signitive” too broadly, as he concludes that all non-intuitive acts are signitive. He states that not only meaning acts, but also the contiguity intentions of perception are signitive acts. Second, I show how Husserl, in his 1913/14 Revisions to the Sixth Logical (...) Investigation, amends his 1901 theory of non-intuitive acts, which he now calls “empty” intentions. He there accurately distinguishes empty meaning acts from the empty intentions of perception. In the conclusion, I reveal how Husserl’s alterations to his theory of non-intuitive intentions can inform our understanding of a larger shift in his philosophy. (shrink)

Though the social world is real and objective, the way that social facts arise out of other facts is in an important way shaped by human thought, talk and behaviour. Building on recent work in social ontology, I describe a mechanism whereby this distinctive malleability of social facts, combined with the possibility of basic human error, makes it possible for a consistent physical reality to ground an inconsistent social reality. I explore various ways of resisting the prima facie case for (...) social inconsistency. I conclude, however, that the prima facie case survives scrutiny, and draw out some of the ramifications. (shrink)

This is a bibliography of books and articles on consciousness in philosophy, cognitive science, and neuroscience over the last 30 years. There are three main sections, devoted to monographs, edited collections of papers, and articles. The first two of these sections are each divided into three subsections containing books in each of the main areas of research. The third section is divided into 12 subsections, with 10 subject headings for philosophical articles along with two additional subsections for articles in cognitive (...) science and neuroscience. Of course the division is somewhat arbitrary, but I hope that it makes the bibliography easier to use. This bibliography has first been compiled by Thomas Metzinger and David Chalmers to appear in print in two philosophical anthologies on conscious experience . From 1995 onwards it has been continuously updated by Thomas Metzinger, and now is freely available as a PDF-, RTF-, or HTML-file. This bibliography mainly attempts to cover the Anglo-Saxon and German debates, in a non-annotated, fully formatted way that makes it easy to "cut and paste" from the original file. To a certain degree this bibliography also contains items in other languages than English and German - all submissions in other languages are welcome. Last update of current version: July 13th, 2001. (shrink)

This paper presents a simple pair of first-order theories that are not definitionally (nor Morita) equivalent, yet are mutually conservatively translatable and mutually 'surjectively' translatable. We use these results to clarify the overall geography of standards of equivalence and to show that the structural commitments that theories make behave in a more subtle manner than has been recognized.

We propose an ontological theory that is powerful enough to describe both complex spatio-temporal processes (occurrents) and the enduring entities (continuants) that participate therein. The theory is divided into two major categories of sub-theories: (sub-) theories of type SPAN and (sub-)theories of type SNAP. These theories represent two complementary perspectives on reality and result in distinct though compatible systems of categories. In SNAP we have enduring entities such as substances, qualities, roles, functions; in SPAN we have perduring entities such as (...) processes and their parts and aggregates. We argue that both kinds of ontological theory are required in order to give a non-reductionism account of complex domains of reality. (shrink)

Two opposed movements of thought threaten philosophy as an autonomous practice from the inside: scientific naturalism and quietism. Naturalism (qua methodological thesis) threatens to turn philosophy into a mere ancilla of the sciences, quietism understood as the prescription to remain silent in philosophy would not countenance any more "positive" philosophy. This book reconstructs naturalism and quietism such that it becomes clear naturalism does have the potential to end philosophy as an autonomous practice and that quietism, correctly understood, does not. To (...) this end, this book provides arguments against the prevailing orthodox status of naturalism and a heterogenous reading of Wittgenstein's metaphilosophical quietism as the rejection of a certain kind of theories in philosophy, namely quasi-scientific theories. (shrink)

Three-dimensionalists , sometimes referred to as endurantists, think that objects persist through time by being “wholly present” at every time they exist. But what is it for something to be wholly present at a time? It is surprisingly difficult to say. The threedimensionalist is free, of course, to take ‘is wholly present at’ as one of her theory’s primitives, but this is problematic for at least one reason: some philosophers claim not to understand her primitive. Clearly the three-dimensionalist would be (...) better off if she could state her theory in terms accessible to all. We think she can. What is needed is a definition of ‘is wholly present at’ that all can understand. in this paper, we offer one. (shrink)

This essay examines how Husserl stretches the bounds of his philosophy of meaning, according to which all propositions are categorical, to account for existential propositions, which seem to lack predicates. I examine Husserl’s counterintuitive conclusion that an existential proposition does possess a predicate and I explore his endeavor to pinpoint what that predicate is. This goal is accomplished in three stages. First, I examine Husserl’s standard theory of predication and categorial intuition from his 1901 Logical Investigations. Second, I show how (...) Husserl imposes those 1901 insights to uncover the predicate of the existential proposition in unpublished manuscripts and lectures. He determines that the existential proposition predicates of the subject, that it corresponds to an actual object. This analysis reveals that Husserl’s descriptions of existential propositions from the late 1890s employed both static and genetic methodologies. In those texts, he carefully untangles and clarifies the co-enmeshed passive and active moments of consciousness and shows that the passive givenness of certain circumstances is the condition of possibility for our active verifying of propositions. Finally, I execute a critical assessment of Husserl’s thought to reveal that, while his insights about existential propositions are largely correct, they are augmented by re-construing them within the context of his mature philosophy. Only by renouncing his metaphysical neutrality and by accounting for intersubjectivity, can Husserl properly clarify existential propositions. (shrink)

This paper accomplishes two goals. First, I present a distinct interpretation of the inception of the phenomenology of feelings. I show that Husserl’s first substantial discussion of intentional and non-intentional feelings is not from his 1901 Logical Investigations, but rather his 1893 manuscript, “Notes towards a Theory of Attention and Interest”. Husserl there describes intentional feelings as active and non-intentional feelings as passive. Second, I show that Husserl presents a somewhat unique account of feelings in “Notes”, which is partly different (...) from his later theories of feelings found in Lectures on Ethics and Value Theory and Studies Concerning the Structures of Consciousness. In contrast to those mature writings, in “Notes”, Husserl describes intentional feelings while avoiding cognitivism and he analyses non-intentional feelings without employing the content-apprehension schema. On this basis, I argue that “Notes” is an important untapped resource for constructing original phenomenologies of feelings. (shrink)

The young Edmund Husserl stressed that the success of his philosophy hinged upon his ability to determine the subject and the predicate of impersonal propositions and their expressions, such as ‘It is raining’. This essay accordingly investigates the tenability of Husserl’s early thought, by executing the first study of his analysis of impersonal propositions from the late 1890s. This examination reshapes our understanding of the inception of phenomenology in two ways. First, Husserl pinpoints the subject by outlining why impersonal expressions (...) are employed during communication. This contravenes interpretations of the early Husserl as uninterested in intersubjectivity. Second, by studying how Husserl determines the predicate by investigating existential propositions, I show that Husserl, in the late 1890s, came to his final view on the concept of being. (shrink)

My aim in this paper is to develop and defend a novel answer to a question that has recently generated a considerable amount of controversy. The question concerns the normative significance of peer disagreement. Suppose that you and I have been exposed to the same evidence and arguments that bear on some proposition: there is no relevant consideration which is available to you but not to me, or vice versa. For the sake of concreteness, we might picture.

This paper examines the evolution of Edmund Husserl’s theory of perceptual occlusion. This task is accomplished in two stages. First, I elucidate Husserl’s conclusion, from his 1901 Logical Investigations, that the occluded parts of perceptual objects are intended by partial signitive acts. I focus on two doctrines of that account. I examine Husserl’s insight that signitive intentions are composed of Gehalt and I discuss his conclusion that signitive intentions sit on the continuum of fullness. Second, the paper discloses how Husserl (...) transforms his 1901 philosophy in his 1913 revisions to the Sixth Logical Investigation, affirming that the occluded parts of perceptual objects are intended by empty contiguity acts. I demonstrate how he overturns the two core doctrines of his theory from the Investigations in these revisions, claiming that empty intentions are not composed of Gehalt and asserting that those acts break with the continuum of fullness. Husserl implements these changes to solve problems that arise from his recognition of two new kinds of intentions; darker and completely dark acts. Finally, in the conclusion, I cash out this analysis, by indicating that, in 1913, Husserl transforms his theory of fulfillment on the basis of his new insights about empty acts. (shrink)

The first aim of this paper is to elucidate Russell’s construction of spatial points, which is to be <br>considered as a paradigmatic case of the "logical constructions" that played a central role in his epistemology and theory of science. Comparing it with parallel endeavours carried out by Carnap and Stone it is argued that Russell’s construction is best understood as a structural representation. It is shown that Russell’s and Carnap’s representational constructions may be considered as incomplete and sketchy harbingers of (...) Stone’s representation theorems. The representational program inaugurated by Stone’s theorems was one of the success stories of 20th century’s mathematics. This suggests that representational constructions à la Stone could also be important for epistemology and philosophy of science. More specifically it is argued that the issues proposed by Russellian definite descriptions, logical constructions, and structural representations still have a place on the agenda of contemporary epistemology and philosophy of science. Finally, the representational interpretation of Russell’s logical constructivism is used to shed some new light on the recently vigorously discussed topic of his structural realism. (shrink)

A retrospective essay, written for the 125th anniversary of Ethics.

Microscopy allows us to observe objects we cannot see with our eyes alone. With a light microscope, we can distinguish objects at the scale of the wavelengths of visible light just under a micrometer. Around 1870 Ernst Abbe, who laid the foundation of modern optics, suggested that the resolution of a microscope would improve by using some yet-unknown radiation with shorter wavelengths than visible light, that is, below 390 nanometers (1 nm = 10−9 m). Electrons can have wavelengths near 1 (...) picometer (1 pm = 10−12 m) and should therefore allow atoms to be distinguished since they are typically at least a few hundred pm apart. In this oversimplified view, further decreasing the wavelength of the radiation should allow us to increase the resolution of electron microscopy even more. However, this can only be done by increasing the energy of the radiation, which would ultimately destroy the samples. Other factors also affect the resolution of electron microscopes, among them non-ideal imaging properties of electromagnetic lenses, which result in false images. It took more than half a century to understand and control these aberrations and separate objects less than 1 Ångstrom (1 Å = 10−10 m) apart. (shrink)

Existing research suggests that people's judgments of actual causation can be influenced by the degree to which they regard certain events as normal. We develop an explanation for this phenomenon that draws on standard tools from the literature on graphical causal models and, in particular, on the idea of probabilistic sampling. Using these tools, we propose a new measure of actual causal strength. This measure accurately captures three effects of normality on causal judgment that have been observed in existing studies. (...) More importantly, the measure predicts a new effect ("abnormal deflation"). Two studies show that people's judgments do, in fact, show this new effect. Taken together, the patterns of people's causal judgments thereby provide support for the proposed explanation. (shrink)

Much recent work on explanation in the interventionist tradition emphasizes the explanatory value of stable causal generalizations—i.e., causal generalizations that remain true in a wide range of background circumstances. We argue that two separate explanatory virtues are lumped together under the heading of `stability’. We call these two virtues breadth and guidance respectively. In our view, these two virtues are importantly distinct, but this fact is neglected or at least under-appreciated in the literature on stability. We argue that an adequate (...) theory of explanatory goodness should recognize breadth and guidance as distinct virtues, as breadth and guidance track different ideals of explanation, satisfy different cognitive and pragmatic ends, and play different theoretical roles in helping us understand the explanatory value of mechanisms. Thus keeping track of the distinction between these two forms of stability yields a more accurate and perspicuous picture of the role that stability considerations play in explanation. (shrink)

The aim of this paper is to show that topology has a bearing on<br><br>combinatorial theories of possibility. The approach developed in this article is “mapping account” considering combinatorial worlds as mappings from individuals to properties. Topological structures are used to define constraints on the mappings thereby characterizing the “really possible” combinations. The mapping approach avoids the well-known incompatibility problems. Moreover, it is compatible with atomistic as well as with non-atomistic ontologies.It helps to elucidate the positions of logical atomism and monism (...) with theaid of topological separation axioms. (shrink)

Carnap and Twentieth-Century Thought: Explication as En lighten ment is the first book in the English language that seeks to place Carnap's philosophy in a broad cultural, political and intellectual context. According to the author, Carnap synthesized many different cur rents of thought and thereby arrived at a novel philosophical perspective that remains strik ing ly relevant today. Whether the reader agrees with Carus's bold theses on Carnap's place in the landscape of twentieth-century philosophy, and his even bolder claims concerning (...) the role that philosophy in Carnap's style should play in the thought of our century, does not matter so much as the excellent opportunity Carus's book offers to thoroughly rethink one's ideas about Carnap's philosophy. One reason why Carnap and Twentieth-Century Thought might change one's ideas is that Carus has unearthed much hitherto unknown material from the archives that sheds new light on Carnap's early life and thought. Indeed, the many archival findings presented in CTT for the first time suffice to make the book re warding reading for philosophers and historians of philosophy alike. CTT exhibits a high standard of historical scholarship, and the book itself is a beautiful example of high-quality academic publishing. Up to now, Carnap has remained a controversial figure on the philo sophical scene. On the one hand, he has a solid reputation as a leading figure of logical positivism . According to conventional wisdom, this was a school of thought characterized by its formal and technical philosophy, as well as being rather dismissive of other ways of doing philosophy, dogmatically sticking to its own theses. As a typical example of this arrogant logical empiricist attitude, one usually refers to Carnap's notorious Overcoming Metaphysics by Logical Analysis of Language , written when the Vienna Circle's Logical Empiricism had entered its most radical phase. Self-proclaimed postpositivist philosophers of science dismissed logical positivism, in particular Carnap's, as the dogmatic and orthodox “received view.” The tendency to portray logical empiricism as an obsolete doctrine centering around certain “dogmas” started with Quine's Two Dogmas of Empiricism and reached its somewhat ridiculous culmination in the early 1980s when allegedly “six or seven dogmas” were discovered . Thereby an allegedly un brid geable gap between classical “dogmatic” logical em pi ricism and its modern “enlightened” suc ces sors was construed. (shrink)

In this paper I argue for a version of the Total Evidence view according to which the rational response to disagreement depends upon one's total evidence. I argue that perceptual evidence of a certain kind is significantly weightier than many other types of evidence, including testimonial. Furthermore, what is generally called "The Uniqueness Thesis" is actually a conflation of two distinct principles that I dub "Evidential Uniqueness" and "Rationality Uniqueness." The former principle is likely true but the latter almost certainly (...) false. Seeing why the Rationality Uniqueness fails opens the door to seeing how mutual reasonable disagreement is possible even among those who share the same evidence. (shrink)

A growing number of decision theorists have, in recent years, defended the view that rationality is permissive under risk: Different rational agents may be more or less risk-averse or risk-inclined. This can result in them making different choices under risk even if they value outcomes in exactly the same way. One pressing question that arises once we grant such permissiveness is what attitude to risk we should implement when choosing on behalf of other people. Are we permitted to implement any (...) of the rationally permissible risk attitudes, is there some specific risk attitude that is required when choosing for others, or are we required to defer to the risk attitudes of the people on whose behalf we are choosing? This article elaborates on this question, explains its wider practical and theoretical significance, provides an overview of existing answers, and explores how to go about providing a more systematic account of how to choose on behalf of others in risky contexts. (shrink)

Some philosophers believe that when epistemic peers disagree, each has an obligation to accord the other's assessment the same weight as her own. I first make the antecedent of this Equal-Weight View more precise, and then I motivate the View by describing cases in which it gives the intuitively correct verdict. Next I introduce some apparent counterexamples – cases of apparent peer disagreement in which, intuitively, one should not give equal weight to the other party's assessment. To defuse these apparent (...) counterexamples, an advocate of the View might try to explain how they are not genuine cases of peer disagreement. I examine David Christensen's and Adam Elga's explanations and find them wanting. I then offer a novel explanation, which turns on a distinction between knowledge from reports and knowledge from direct acquaintance. Finally, I extend my explanation to provide a handy and satisfying response to the charge of self-defeat. (shrink)

The question of how to demarcate science from pseudo-science commands relatively little attention today. In the philosophy of logic, by contrast, the problem of demarcating the logical constants is less skeptically regarded. In aesthetics, where the problem is how to demarcate art from non-art, the question as to whether the problem is a real one or a pseudo-problem also continues to be debated. This paper discusses the hypothesis that the demarcation questions in these three areas are parallel, or at least (...) similar enough to be interesting. Some arguments for the conclusion that the demarcation problem is a pseudo-problem are considered, as are some demarcation proposals of a deflationist or minimalist sort. All are found wanting. (shrink)

Philosophers and theologians acknowledge that "fideism" is difficult to define but rarely agree on what the best characterization of the term is. In this article, I investigate the history of use of "fideism" to explore why its meaning has been so contested and thus why it has not always been helpful for resolving philosophical problems. I trace the use of the term from its origins in French theology to its current uses in philosophy and theology, concluding that "fideism" is helpful (...) in resolving philosophical problems only when philosophers scrupulously acknowledge the tradition of use that informs their understanding of the word. (shrink)

This paper accomplishes two tasks. First, I examine in detail Edmund Husserl’s earliest philosophy of surrogates, as it is found in his 1890 “On the Logic of Signs ”. I analyze his psychological and logical investigations of surrogates, where the former is concerned with explaining how these signs function and the latter with how they do so reliably. His differentiation of surrogates on the basis of their genetic origins and degrees of necessity is discussed. Second, the historical importance of this (...) text is disclosed by showing how Semiotic serves as both the inspiration for, and the foil to, Husserl’s 1901 First Logical Investigation. Husserl not only adopts the idea that linguistic signs can function via association, but also maintains that such signs can motivate me to execute one of two experiences. The key difference between the texts is that Husserl abandons his theory of surrogates in 1901, instead holding that I can experience absent objects by means of empty intentions. The reasons why Husserl found it necessary to transform this tenet of his philosophy are discussed at length. (shrink)

Avia Pasternak’s account of permissible political rioting includes a constraint that insists only oppressed citizens, and not privileged citizens, are permitted to riot when rioting is justified. This discussion note argues that Pasternak’s account, with which I largely agree, should be expanded to admit the permissibility of privileged citizens rioting alongside and in solidarity with oppressed citizens. The permissibility of privileged citizens participating in riots when rioting is justified is grounded in the notions that it is sometimes necessary, in accordance (...) with Pasternak’s necessity condition, and that it will oftentimes substantially improve the chances of successfully achieving the just aims the rioting seeks to achieve, in accordance with Pasternak’s success condition. Allowing for this improves Pasternak’s already strong account of permissible political rioting on its own terms. (shrink)

We can cause windows to break and we can break windows; we can cause villages to flood and we can flood villages; and we can cause chocolate to melt and we can melt chocolate. Each time these can come apart: if, for example, A merely instructs B to break the window, then A causes the window to break without breaking it herself. Each instance of A breaking/flooding/melting/burning/killing/etc. something, is an instance of what I call making. I argue that making is (...) an independent, theoretically important notion—akin but irreducible to causing—and metaphysicians should pay attention to it. (shrink)

The aim of this paper is to show that every topological space gives rise to a wealth of topological models of the modal logic S4.1. The construction of these models is based on the fact that every space defines a Boolean closure algebra (to be called a McKinsey algebra) that neatly reflects the structure of the modal system S4.1. It is shown that the class of topological models based on McKinsey algebras contains a canonical model that can be used to (...) prove a completeness theorem for S4.1. Further, it is shown that the McKinsey algebra MKX of a space X endoewed with an alpha-topologiy satisfies Esakia's GRZ axiom. (shrink)