During the last years of his life, the mathematician Karl Menger worked on a biography of his father, the economist and founder of the Austrian School of Economics, Carl Menger. The younger Menger never finished the work. While working in the Menger collections at Duke University’s David M. Rubenstein Rare Book and Manuscript Library, we discovered draft chapters of the biography, a valuable source of information given that relatively little is known about Carl Menger’s life nearly a hundred years after (...) his death. The unfinished biography covers Carl Menger’s family background and his life through early 1889. In this article, we discuss the biography and the most valuable new insights it provides into Carl Menger’s life, including Carl Menger’s family, his childhood, his student years, his time working as a journalist and newspaper editor, his early scientific career, and his relationship with Crown Prince Rudolf. (shrink)

Ambiguities in natural language can multiply so fast that no person or machine can be expected to process a text of even moderate length by enumerating all possible disambiguations. A sentence containing $n$ scope bearing elements which are freely permutable will have $n!$ readings, if there are no other, say lexical or syntactic, sources of ambiguity. A series of $m$ such sentences would lead to $(n!)^m$ possibilities. All in all the growth of possibilities will be so fast that generating readings (...) first and testing their acceptability afterwards will not be feasible. -/- This insight has led a series of researchers to adopt a level of representation at which ambiguities remain unresolved. The idea here is not to generate and test many possible interpretations but to first generate one `underspecified' representation which in a sense represents all its complete specifications and then use whatever information is available to further specify the result. -/- One central hypothesis in the paper will be that the relation between an underspecified representation and its full representations is not so much the relation between one structure and a set of other structures but is in fact the relation between a description (a set of logical sentences) and its models. (shrink)

In a recent paper we have defined an analytic tableau calculus PL_16 for a functionally complete extension of Shramko and Wansing's logic based on the trilattice SIXTEEN_3. This calculus makes it possible to define syntactic entailment relations that capture central semantic relations of the logic---such as the relations |=_t, |=_f, and |=_i that each correspond to a lattice order in SIXTEEN_3; and |=, the intersection of |=_t and |=_f,. -/- It turns out that our method of characterising these semantic relations---as (...) intersections of auxiliary relations that can be captured with the help of a single calculus---lends itself well to proving interpolation. All entailment relations just mentioned have the interpolation property, not only when they are defined with respect to a functionally complete language, but also in a range of cases where less expressive languages are considered. For example, we will show that |=, when restricted to L_{tf}, the language originally considered by Shramko and Wansing, enjoys interpolation. This answers a question that was recently posed by M. Takano. (shrink)

Although their contributions to the history of economic thought and their scholarly reputations are firmly established, relatively little is known about the relationship between Carl Menger, founder of the Austrian School of economics, and his son, Karl Menger, the mathematician, geometer, logician, and philosopher of science, whose famous Mathematical Colloquium at the University of Vienna was central to the early literature on the existence of general equilibrium and the concomitant development of mathematical economics. The present paper begins to fill this (...) gap. Karl Menger’s diaries, held in the David M. Rubenstein Rare Book and Manuscript Library at Duke University, offer insight into the intimate relationships within the Menger clan, Karl’s work and study habits, and the development of his uncommonly broad intellect, as well as on life in a vanquished city, Vienna, in the immediate wake of the humiliating defeat of the First World War and the disintegration of the Habsburg Empire. (shrink)

In several recent contributions to the growing literature on slurs, Hedger draws upon Kaplan's distinction between descriptive and expressive content to argue that slurs are expressions with purely expressive content. The distinction between descriptive and expressive content and the view that slurs are expressions with purely expressive content has been widely acknowledged in prior work, and Hedger aims to contribute to this tradition of scholarship by offering novel arguments in support of his "pure expressivist" account of slurs. But the account (...) that PE offers is explanatorily inadequate, resting on suspect a priori intuitions which also commit one to denying many basic facts about slurs, such as that slurs largely display systematic differential application and that slurs can be used non-offensively between in-group speakers. In this article I provide clear reasons for rejecting PE, arguing particularly against Hedger as one of PE’s most explicit and recent proponents. In showing that PE is inadequate in at least 11 ways, I argue in favor of a mixed or hybrid approach. (shrink)

Philosophers of science turned to historical case studies in part in response to Thomas Kuhn's insistence that such studies can transform the philosophy of science. In this issue Joseph Pitt argues that the power of case studies to instruct us about scientific methodology and epistemology depends on prior philosophical commitments, without which case studies are not philosophically useful. Here I reply to Pitt, demonstrating that case studies, properly deployed, illustrate styles of scientific work and modes of argumentation that are not (...) well handled by currently standard philosophical analyses. I illustrate these claims with exemplary findings from case studies dealing with exploratory experimentation and with interdisciplinary cooperation across sciences to yield multiple independent means of access to theoretical entities. The latter cases provide examples of ways that scientists support claims about theoretical entities that are not available in work performed within a single discipline. They also illustrate means of correcting systematic biases that stem from the commitments of each discipline taken separately. These findings illustrate the transformative power of case study methods, allow us to escape from the horns of Pitt's "dilemma of case studies," and vindicate some of the post-Kuhn uses to which case studies have been put. (shrink)

Contemporary Western societies are obsessed with the “obesity epidemic,” dieting, and fitness. Fat people violate the Western conscience by violating a thinness norm. In virtue of violating the thinness norm, fat people suffer many varied consequences. Is their suffering morally permissible, or even obligatory? In this paper, I argue that the answer is no. I examine contemporary philosophical accounts of oppression and draw largely on the work of Sally Haslanger to generate a set of conditions sufficient for some phenomena to (...) count as oppression, and I illustrate the account’s value using the example of gender oppression. I then apply the account to fat people, examine empirical evidence, and argue that the suffering of fat people counts as oppression. (shrink)

The policy of earmarked paternity leave aims to promote mothers’ position in the labor market and fathers’ relationship with their child. Critics argue that the policy prevents parents from pursuing their own ideas about what is best for them. This provides reason to consider whether the policy is paternalistic or, in other ways, disrespectful of parental autonomy. I argue that the state implicates itself in the gender inequalities that result from parents’ unequal parental leave agreements when the state financially facilitates (...) such agreements. This argument for earmarked paternity leave is not disrespectful of parental autonomy. (shrink)

Since at least 2008 linguists and philosophers of language have started paying more serious attention to issues concerning the meaning or use of racial epithets and slurs. In an influential article published in The Journal of Philosophy, for instance, Christopher Hom (2008) offered a semantic account of racial epithets called Combinatorial Externalism (CE) that advanced a novel argument for the exclusion of certain epithets from freedom of speech protection under the First Amendment (p. 435). Also in more recent work, “The (...) Expressive Meaning of Racial Epithets: Towards A Non-Unitary Account of Expressive Meaning,” Diane Blakemore (2013) offered an alternative pragmatic account of racial epithets rooted in Dan Sperber and Deirdre Wilson’s (1986) relevance theory. Adam Croom (2008) has also discussed epithets before in prior work, through a consideration of a paradigmatic racial epithet directed towards Native Americans, but then moved on in subsequent work to focus on developing a more nuanced account of paradigmatic slurring terms instead (Croom 2010; Croom 2011; Croom 2012; Croom 2013; Croom 2014a; Croom 2014b; Croom under review). So the purpose of this article is to return to and extend the previous account of racial epithets provided by Croom (2008) through a consideration of another paradigmatic racial epithet, but this time one directed towards Asian Americans instead of Native Americans. Here I also offer a novel suggestion for how to differentiate between epithets and slurs, offering new insight into how epithets and slurs are both similar and different. A sample list of over 100 other racial epithets that can be accounted for by the kind of analysis presented here is provided in Croom (2008, p. 44-45). (shrink)

Husserl’s theory of passive experience first came to systematic and detailed expression in the lectures on passive synthesis from the early 1920s, where he discusses pure passivity under the rubric of affection and association. In this paper I suggest that this familiar theory of passive experience is a first approximation leaving important questions unanswered. Focusing primarily on affection, I will show that Husserl did not simply leave his theory untouched. In later manuscripts he significantly reworks the theory of affection in (...) terms of instinctive intentionality and a passive experience of desire aimed at satisfaction and enjoyment. This paper will show that the theory of affection and the theory of instincts in Husserl are really one and the same, differing only in the superior theoretical apparatus with which Husserl treats the phenomenon in his more considered theory of the instincts. I demonstrate the connection between the two theories by showing how what he generically calls “affection” in earlier texts is the same phenomenon he calls “curiosity” in later texts. The connection is further supported by the way curiosity does the same work as affection in its function within Husserl’s theory of association, serving as the basic connective tissue linking diverse experiences. In closing, I deal with the problem of how to integrate the experience of the body into the theory of instincts, displaying in another way how Husserl improves his theory of affection by making it more concrete when he recasts it as a theory of instincts. (shrink)

Richness theory offers a promising axiology. In this paper, I discuss how to translate it into a deontology. To do so, I recruit the concept of moral distance from a recently developed epistemology, and construe it in terms of causal power. Finally, I apply the resulting decision-theoretic framework to the question of how best to avert ecological disaster over the next 36 years and achieve ecological harmony over the next 986.

This paper embeds the core part of Discourse Representation Theory in the classical theory of types plus a few simple axioms that allow the theory to express key facts about variables and assignments on the object level of the logic. It is shown how the embedding can be used to combine core analyses of natural language phenomena in Discourse Representation Theory with analyses that can be obtained in Montague Semantics.

In this essay, I discuss the standard objections to substance dualism and conclude that they are far less formidable than is usually supposed.

It is tempting to think that a process of choosing a point at random from the surface of a sphere can be probabilistically symmetric, in the sense that any two regions of the sphere which differ by a rotation are equally likely to include the chosen point. Isaacs, Hájek, and Hawthorne (2022) argue from such symmetry principles and the mathematical paradoxes of measure to the existence of imprecise chances and the rationality of imprecise credences. Williamson (2007) has argued from a (...) related symmetry principle to the failure of probabilistic regularity. We contend that these arguments fail, because they rely on auxiliary assumptions about probability which are inconsistent with symmetry to begin with. We argue, moreover, that symmetry should be rejected in light of this inconsistency, and because it has implausible decision- theoretic implications. -/- The weaker principle of probabilistic invariance says that the probabilistic comparison of any two regions is unchanged by rotations of the sphere. This principle supports a more compelling argument for imprecise probability. We show, however, that invariance is incompatible with mundane judgments about what is probable. Ultimately, we find reason to be suspicious of the application of principles like symmetry and invariance to nonmeasurable regions. (shrink)

In the Bayesian approach to quantum mechanics, probabilities—and thus quantum states—represent an agent’s degrees of belief, rather than corresponding to objective properties of physical systems. In this paper we investigate the concept of certainty in quantum mechanics. Particularly, we show how the probability-1 predictions derived from pure quantum states highlight a fundamental difference between our Bayesian approach, on the one hand, and Copenhagen and similar interpretations on the other. We first review the main arguments for the general claim that probabilities (...) always represent degrees of belief. We then argue that a quantum state prepared by some physical device always depends on an agent’s prior beliefs, implying that the probability-1 predictions derived from that state also depend on the agent’s prior beliefs. Quantum certainty is therefore always some agent’s certainty. Conversely, if facts about an experimental setup could imply agent-independent certainty for a measurement outcome, as in many Copenhagen-like interpretations, that outcome would effectively correspond to a preexisting system property. The idea that measurement outcomes occurring with certainty correspond to preexisting system properties is, however, in conflict with locality. We emphasize this by giving a version of an argument of Stairs [(1983). Quantum logic, realism, and value-definiteness. Philosophy of Science, 50, 578], which applies the Kochen–Specker theorem to an entangled bipartite system. (shrink)

Twentieth century philosophers introduced the distinction between “objective rightness” and “subjective rightness” to achieve two primary goals. The first goal is to reduce the paradoxical tension between our judgments of (i) what is best for an agent to do in light of the actual circumstances in which she acts and (ii) what is wisest for her to do in light of her mistaken or uncertain beliefs about her circumstances. The second goal is to provide moral guidance to an agent who (...) may be uncertain about the circumstances in which she acts, and hence is unable to use her standard moral principle directly in deciding what to do. This paper distinguishes two important senses of “moral guidance”; proposes criteria of adequacy for accounts of subjective rightness; canvasses existing definitions for “subjective rightness”; finds them all deficient; and proposes a new and more successful account. It argues that each comprehensive moral theory must include multiple principles of subjective rightness to address the epistemic situations of the full range of moral decision-makers, and shows that accounts of subjective rightness formulated in terms of what it would reasonable for the agent to believe cannot provide that guidance. -/- . (shrink)

Coreferentialism refers to the common assumption in the literature that slurs and descriptors are coreferential expressions with precisely the same extension. For instance, Vallee recently writes that “If S is an ethnic slur in language L, then there is a non-derogatory expression G in L such that G and S have the same extension”. The non-derogatory expression G is commonly considered the nonpejorative correlate of the slur expression S and it is widely thought that every S has a coreferring G (...) that possesses precisely the same extension. Yet here I argue against this widespread assumption by first briefly introducing what slurs are and then considering four sources of supporting evidence showing that slurs and descriptors are in fact not coreferential expressions with precisely the same extension. I argue that since slurs and descriptors differ in their extension they thereby differ in their meaning or content also. This article additionally introduces the notion of a conceptual anchor in order to adequately account for the relationship between slurs and descriptors actually evidenced in the empirical data, and further considers the inadequacy of common dictionary definitions of slurs. This article therefore contributes to the literature on slurs by demonstrating that previous accounts operating on the assumption that slurs and descriptors are coreferential expressions with the same extension, and that they thereby have the same meaning or content, are inconsistent with empirical data and that an alternative account in accord with Croom better fits the facts concerning their actual meaning and use. (shrink)

This paper presents a preliminary analysis of the first participatory budgeting experiment in the United States, in Chicago's 49th Ward. There are two avenues of inquiry: First, does participatory budgeting result in different budgetary priorities than standard practices? Second, do projects meet normative social justice outcomes? It is clear that allowing citizens to determine municipal budget projects results in very different outcomes than standard procedures. Importantly, citizens in the 49th Ward consistently choose projects that the research literature classifies as low (...) priority. The results are mixed, however, when it comes to social justice outcomes. While there is no clear pattern in which projects are located only in affluent sections of the ward, there is evidence of geographic clustering. Select areas are awarded projects like community gardens, dog parks, and playgrounds, while others are limited to street resurfacing, sidewalk repairs, bike racks, and bike lanes. Based on our findings, we offer suggestions for future programmatic changes. (shrink)

This essay investigates, via the concepts of the philosophy of orientation, Annie Duke’s decision-making theory in "Thinking in Bets" and scrutinizes as to what extent one can universalize the 'orientation skill' of decision-making with regard to our everyday and professional life.

The paper shows how ideas that explain the sense of an expression as a method or algorithm for finding its reference, preshadowed in Frege’s dictum that sense is the way in which a referent is given, can be formalized on the basis of the ideas in Thomason (1980). To this end, the function that sends propositions to truth values or sets of possible worlds in Thomason (1980) must be replaced by a relation and the meaning postulates governing the behaviour of (...) this relation must be given in the form of a logic program. The resulting system does not only throw light on the properties of sense and their relation to computation, but also shows circular behaviour if some ingredients of the Liar Paradox are added. The connection is natural, as algorithms can be inherently circular and the Liar is explained as expressing one of those. Many ideas in the present paper are closely related to those in Moschovakis (1994), but receive a considerably lighter formalization. (shrink)

It is exhibited that maxwellian electrodynamics grew out of the old pre-maxwellian programmes reconciliation: the electrodynamics of Ampere-Weber, the wave theory of Young-Fresnel and Faraday’s scientific research programme. The programmes’ meeting led to construction of the whole hierarchy of theoretical objects starting from the genuine crossbreeds (the displacement current) and up to usual mongrels. After the displacement current invention the interpenetration of the pre-maxwellian programmes began that marked the beginning of theoretical schemes of optics and electromagnetism real unification. Maxwell’s programme (...) did supersede its rivals because it had assimilated some ideas of the Ampere-Weber programme, as well as the presuppositions of the programmes of Young-Fresnel and Faraday. Maxwellian programme’s victory over its rivals became possible because the core of Maxwell’s unification strategy was formed by Kantian epistemology looked through the prism of William Whewell and such representatives of Scottish Enlightenment as Thomas Reid and William Hamilton. It was Kantian epistemology that enabled Hermann von Helmholtz and Heinrich Hertz to arrive at such a version of Maxwell’s theory that could serve a heuristical basis for the radio waves discovery. (shrink)

In this paper, I endorse and defend the Common Sense View of Time (CSVT), i.e. Presentism plus the A-theory of time, by arguing for the objective reality of temporal passage.

While acknowledging a certain affinity between his own thought and the Vedanta concept of a world-soul or universal spirit, Josiah Royce nevertheless locates this concept primarily in what he terms the Second Conception of Being—Mysticism. In his early magnum opus, The World and the Individual, Royce utilizes aspects of the Upanishads in order to flesh out his picture of the mystical understanding of and relationship to being. My primary concern in the present investigation is to introduce some nuance into Royce’s (...) conception of Indian thought, which may then serve to suggest similar possibilities for nuance for Royce’s conception of the Absolute. I will attempt to do in two primary ways: first, I will consider Royce’s use of Indian thought via the Upanishads in explicating his second historical conception of Being. I will then turn briefly to Emerson’s poem ‘Brahma’ and the Bhagavad Gita to see if a certain reversal that occurs in both places problematizes Royce’s depiction of the universal spirit in Indian thought as well as opens up new possibilities for Royce’s own Absolute. (shrink)

This paper assesses the role of the Refutation of Idealism within the Critique of Pure Reason, as well as its relation to the treatment of idealism in the First Edition and to transcendental idealism more generally. It is argued that the Refutation is consistent with the Fourth Paralogism and that it can be considered as an extension of the Transcendental Deduction. While the Deduction, considered on its own, constitutes a 'regressive argument', the Refutation allows us to turn the Transcendental Analytic (...) into a 'progressive argument' that proceeds by the synthetic method. (shrink)

I argue that the fundamental dogma that all necessary relations are internal is ungrounded. To motivate my argument, I analyse Moore’s classic ideas on internal relations and take them as an illustration of the common form of reasoning that can mislead us to conclude that all necessary relations are internal. That reasoning illicitly smuggles the idea that necessary properties and relations reflect on identity—in the sense that the loss of a necessary property/relation is a loss of identity—into the separate idea (...) that the loss of a necessary property/relation is a loss of essence. Essence, however, is not identity. So the way seems to be open for the existence of necessary properties/relations which do not belong to the essence of entities; that is, the existence of necessary but external relations. I then offer some examples of such relations. (shrink)

In this paper, I present a Kantian theodicy, i.e. one based on some of the leading ideas in Kant's ethics, to the classical problem of evil and recommend it as an adequate solution to the problem of evil so understood.

There are two kinds of semantic theories of anaphora. Some, such as Heim’s File Change Semantics, Groenendijk and Stokhof’s Dynamic Predicate Logic, or Muskens’ Compositional DRT (CDRT), seem to require full coindexing of anaphora and their antecedents prior to interpretation. Others, such as Kamp’s Discourse Representation Theory (DRT), do not require this coindexing and seem to have an important advantage here. In this squib I will sketch a procedure that the first group of theories may help themselves to so that (...) they can interleave interpretation and coindexing in DRT’s way. (shrink)

Since the early Medieval Time people contested theological legitimation and rational discursive discours on authority as well as retreated to refuges to escape from any secular or ecclesiastical authority. Modern attempts formulated rational legitimation of authority in several ways: pragmatic authority by Monteigne, Bodin and Hobbes, or the contract authority of Locke and Rousseou. However, Enlightened Anarchism, first formulated in 1793 by the English philosopher William Godwin fulminated against all rational restrictions of human freedom and self-determination. However, we do not (...) analyze anarchism by the ‘what’ and the ‘why’, but by looking for the best actual approach of Anarchist’s ‘Promised Land’. Furthermore, we follow the footsteps of Thoreau’s Walden Pond experiment considered as a place of salvation and prototype of 19th century romantic’s extreme individualism towards Leopold’s ethics of the land. Indeed, Thoreau’s and later Muir’s concepts of refuges are tightly connected to territorial and temporal bio-regional constraints and imply an internally organized public area based on mutualism and Hannah Arendt’s agape. From these ideas of refuges, Aldo Leopold formulated his Land-ethics that claimed integrity and autonomy of the ‘Land’. His foundation is a prototype of the eco-centric free space version of eco-anarchism as formulated by Bookchin. In order to formulate a philosophical foundation of eco-anarchism we reject Newtonian homogeneous space-temporal conception, preceding the whole Modern discours about authority and state. On the contrary, we adopt the pluralistic Leibnizian space-time from which thinking-humans do not dissociate themselves, but participate as part of the rational infrastructure of eco-refuges. In eco-refuges, citizen belong to the civil society that stays in equilibrium with the landscape and all forms of biological life. Space is the boundary condition of human activity and determines how borders, environmental organization and institutes are sustained. Space has its proper essence of sustainability, unity and integrity. The individual feelings of security are embedded in a timelike tradition and evolution of the free space, while individual particular conceptions of space and time integrate into the social processes of identification with the refuge. Therefore, the creation of eco-refuges transforms the actual world of national authorities into a world of anarchistic democratic eco-regional homelands. (shrink)

In this paper it is shown how the DRT (Discourse Representation Theory) treatment of temporal anaphora can be formalized within a version of Montague Semantics that is based on classical type logic.

In “The Irrelevance of the Diachronic Money-Pump Argument for Acyclicity,” The Journal of Philosophy CX, 8 (August 2013), 460-464, Johan E. Gustafsson contends that if Davidson, McKinsey and Suppes’ diachronic money-pump argument in their "Outlines of a Formal Theory of Value, I," Philosophy of Science 22 (1955), 140-160 is valid, so is the synchronic argument Gustafsson himself offers. He concludes that the latter renders irrelevant diachronic choice considerations in general, and the two best-known diachronic solutions to the money pump problem (...) in particular. I argue here that this reasoning is incorrect, and that Gustafsson’s synchronic argument is faulty on independent grounds. Specifically, it is based on a false analogy between the derivation of a synchronic ordinal ranking from a transitive series of pairwise comparisons, and the putative derivation of such a ranking from an intransitive series. The latter is not possible under the assumption of revealed preference theory, and is highly improbable even if that assumption is rejected. Moreover, Gustafsson’s argument raises issues of fidelity to the historical texts that must be addressed. I conclude that the money pump, and cyclical choice more generally, are necessarily diachronic; and therefore that the two best-known diachronic solutions to the money pump problem remain relevant. (shrink)

Following the Kantian critique of metaphysics, the conscious subject is discovered to be an insurmountable obstacle with respect to knowledge of things themselves. For this reason, Kant concludes that metaphysics as the science of being as being is impossible. In this essay, the possibilities of metaphysics in light of the problem of subjectivity are reexamined. The nature and relationship between the conscious subject and the embodiment of the subject is first examined. Following this, the subject’s “encounter with being” within consciousness (...) is analyzed yielding two fundamental structures that are determined to hold with respect to being in relation to the conscious subject. Further examination of the act of reflection coupled with judgment reveals that these structures may in fact be transcended, from which an encounter with being as such follows. On the basis of reflection and judgment, metaphysics is thereby determined to be possible. (shrink)

I have a theory of the emotions that many people find unflattering. I contend that all emotions, as such, are negative and neither life-enhancing nor truth-connected. In this essay, I present this theory and my reasons for it.

Plato is associated with the idea that the body holds us back from knowing ultimate reality and so we should try to distance ourselves from its influence. This sentiment appears is several of his dialogues including Theaetetus where the flight from the physical world is compared to becoming like God. In some major dialogues of Plato's later career such as Philebus and Laws, however, the idea of becoming like God takes a different turn. God is an intelligent force that tries (...) to create order in the physical world. I argue that likeness to God in these dialogues involves imitating God's effort by trying to order our bodies, souls, and societies as intelligence directs. Becoming like Plato's God is not to abandon the world. It is to improve it. (shrink)

Standard approaches to proper names, based on Kripke's views, hold that the semantic values of expressions are (set-theoretic) functions from possible worlds to extensions and that names are rigid designators, i.e.\ that their values are \emph{constant} functions from worlds to entities. The difficulties with these approaches are well-known and in this paper we develop an alternative. Based on earlier work on a higher order logic that is \emph{truly intensional} in the sense that it does not validate the axiom scheme of (...) Extensionality, we develop a simple theory of names in which Kripke's intuitions concerning rigidity are accounted for, but the more unpalatable consequences of standard implementations of his theory are avoided. The logic uses Frege's distinction between sense and reference and while it accepts the rigidity of names it rejects the view that names have direct reference. Names have constant denotations across possible worlds, but the semantic value of a name is not determined by its denotation. (shrink)

Since it is only five years since the publication of our paper, "Geographical categories: An ontological investigation" (Smith and Mark 2001), it seems somewhat strange to be making retrospective comments on the piece. Nevertheless, the field is moving quickly, and much has happened since the article appeared. A large number of papers have already cited the work, which suggests that there is a seam here that people find worthy of being mined. In this short essay, we first review the paper (...) and attempt to assess its significance from the perspective of our current work. We then put the paper in the context of our individual and joint works, which led up to it, and summarize our research trajectories since the paper appeared, pointing out what some of this reveals about spatial ontology in general. We conclude with some remarks on the future of ontological research in geographical information science. (shrink)

Nietzsche and Shaw are famous and infamous: famous for their innovative and influential forms of writing, but infamous for their apparent support of totalitarianism and Nazism. However, while it has long been shown that Nietzsche’s provocative language about “breeding” and “masters and slaves” was intended to enhance culture through competition, it is still an open question how and when Shaw supported biological eugenics. Via Nietzsche’s “philosophical breeding,” this article presents a new reading of Shaw’s Man and Superman: on the one (...) hand, it contrasts Nietzsche’s philosophical Übermensch with Shaw’s eugenic Superman; and on the other hand, it connects Nietzsche’s agonistic enhancement of culture with Shaw’s philosophical reflections in “Don Juan in Hell.” In contrast to Tanner’s support of eugenic breeding in his Revolutionist’s Handbook, Shaw’s Don Juan remarkably resembles Nietzsche’s notion of “philosophical breeding” toward a more competent, truthful, and autonomous orientation that is needed in increasingly complex global politics. (shrink)

Many take Kantian ethics to founder when it comes to our duties to animals. In this paper, I advocate a novel approach to this problem. The paper is divided into three sections. In the first, I canvass various passages from Kant in order to set up the problem. In the second, I introduce a novel approach to this problem. In the third, I defend my approach from various objections. By way of preview: I advocate rejecting the premise that nonhuman animals (...) are nonrational. (shrink)

A commonly raised criticism against celebrity culture is that it celebrates people who become famous without any connection to their skills, talents or achievements. A culture in which people become famous simply for being famous is criticized for being shallow and inauthentic. In this paper we offer a defence of celebrity by arguing against this criticism. We begin by outlining what we call the Talent Argument: celebrity is a negative cultural phenomenon because it creates and sustains fame without any connection (...) to the accomplishments that arise from an expression of talent or skill. By appealing to the metaphysics of talent and skill, we argue against the Talent Argument and propose that being a celebrity requires the skills that are necessary to acquire and maintain one’s status as a celebrity. A celebrity is more likely to be talented and successful in their expression of these skills, and even celebrities who are ‘famous for being famous’ will often display talents and skills that give rise to their fame. This means that those who critique celebrity culture should not do so by appealing to the Talent Argument. We show how our account of celebrity, talent and skill works to reject both the strong version of the Talent Argument, as well as a weaker and more plausible version of the argument we call the Valuable Talents argument. We conclude by noting that our analysis has demonstrated the need to explore more closely the kinds of skills that are necessary to cultivate celebrity status. This allows for a more nuanced understanding of what a celebrity is, and the values that are attached to celebrity culture. (shrink)

In this paper we consider the theory of predicate logics in which the principle of Bivalence or the principle of Non-Contradiction or both fail. Such logics are partial or paraconsistent or both. We consider sequent calculi for these logics and prove Model Existence. For L4, the most general logic under consideration, we also prove a version of the Craig-Lyndon Interpolation Theorem. The paper shows that many techniques used for classical predicate logic generalise to partial and paraconsistent logics once the right (...) set-up is chosen. Our logic L4 has a semantics that also underlies Belnap’s [4] and is related to the logic of bilattices. L4 is in focus most of the time, but it is also shown how results obtained for L4 can be transferred to several variants. (shrink)

A logic is called higher order if it allows for quantification over higher order objects, such as functions of individuals, relations between individuals, functions of functions, relations between functions, etc. Higher order logic began with Frege, was formalized in Russell [46] and Whitehead and Russell [52] early in the previous century, and received its canonical formulation in Church [14].1 While classical type theory has since long been overshadowed by set theory as a foundation of mathematics, recent decades have shown remarkable (...) comebacks in the fields of mechanized reasoning (see, e.g., Benzm¨. (shrink)

In this paper we define intensional models for the classical theory of types, thus arriving at an intensional type logic ITL. Intensional models generalize Henkin's general models and have a natural definition. As a class they do not validate the axiom of Extensionality. We give a cut-free sequent calculus for type theory and show completeness of this calculus with respect to the class of intensional models via a model existence theorem. After this we turn our attention to applications. Firstly, it (...) is argued that, since ITL is truly intensional, it can be used to model ascriptions of propositional attitude without predicting logical omniscience. In order to illustrate this a small fragment of English is defined and provided with an ITL semantics. Secondly, it is shown that ITL models contain certain objects that can be identified with possible worlds. Essential elements of modal logic become available within classical type theory once the axiom of Extensionality is given up. (shrink)

Hume's Treatise arguments concerning space, time, and geometry, especially ones involving his denial of infinite divisibility; have suffered harsh criticism. I show that in the section "Of the ideas of space and time," Hume gives important characterizations of his skeptical approach, in some respects Pyrrhonian, that will be developed in the rest of the Treatise. When that approach is better understood, the force of Hume's arguments can be appreciated, and the influential criticisms of them can be seen to miss the (...) mark. (shrink)

Type-logical semantics studies linguistic meaning with the help of the theory of types. The latter originated with Russell as an answer to the paradoxes, but has the additional virtue that it is very close to ordinary language. In fact, type theory is so much more similar to language than predicate logic is, that adopting it as a vehicle of representation can overcome the mismatches between grammatical form and predicate logical form that were observed by Frege and Russell. The grammatical forms (...) of ordinary language sentences consequently may be taken to be much less misleading than logicians in the first half of the 20th century often thought them to be. This was realized by Richard Montague, who used the theory of types to translate fragments of ordinary language into a logical language. Semantics is commonly divided into lexical semantics, which studies the meaning of words, and compositional semantics, which studies the way in which complex phrases obtain a meaning from their constituents. The strength of type-logical semantics lies with the latter, but type-logical theories can be combined with many competing hypotheses about lexical meaning, provided these hypotheses are expressed using the language of type theory. (shrink)

Leibniz’s mechanistic reduction of colors and other sensible qualities commits him to two theses about our knowledge of those qualities: first, that we can acquire ideas of sensible qualities apart from any direct acquaintance with the qualities themselves; second, that we can acquire distinct (i.e., non-confused) ideas of such qualities through the development of physical-theoretical accounts. According to some commentators, however, Leibniz frequently denies both claims. His views on the subject are muddled and incoherent, they say, both because he is (...) ambivalent about the nature of sensible qualities, and because he gets confused about confusion, losing sight of his own distinction between the confusion proper to perceptions and that proper to ideas. In opposition to this, I argue that the critics have misunderstood Leibniz’s views, which are both consistent over time and coherent. The key to understanding his position is to appreciate what he characterizes as a kind of redundancy in our ideas of sensible qualities, a crucial feature of his view overlooked by the critics. (shrink)

In this paper we discuss a new perspective on the syntax-semantics interface. Semantics, in this new set-up, is not ‘read off’ from Logical Forms as in mainstream approaches to generative grammar. Nor is it assigned to syntactic proofs using a Curry-Howard correspondence as in versions of the Lambek Calculus, or read off from f-structures using Linear Logic as in Lexical-Functional Grammar (LFG, Kaplan & Bresnan [9]). All such approaches are based on the idea that syntactic objects (trees, proofs, fstructures) are (...) somehow prior and that semantics must be parasitic on those syntactic objects. We challenge this idea and develop a grammar in which syntax and semantics are treated in a strictly parallel fashion. The grammar will have many ideas in common with the (converging) frameworks of categorial grammar and LFG, but its treatment of the syntax-semantics interface is radically different. Also, although the meaning component of the grammar is a version of Montague semantics and although there are obvious affinities between Montague’s conception of grammar and the work presented here, the grammar is not compositional, in the sense that composition of meaning need not follow surface structure. (shrink)