This contribution focuses on three aspects of Nietzsche’s art of living that have become relevant today especially in the United States (but not only here): first, regarding some facets of the economic-political conditions of any contemporary art of living; second, the widespread adoption of Nietzsche’s notion of self-overcoming and artistic self-design in entrepreneurship and individual’s lives; and third, how his notion of ‘incorporation’ has been further developed in current approaches to habit design. Eventually I will show via the example of (...) Anthony Robbins that some notions of Nietzsche’s art of living have become most popular outside of academia, namely in the commercial industries of what has been called ‘self-growth’ or ‘self-development.’. (shrink)

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.

Alan Hodgkin and Andrew Huxley used abductive reasoning to draw conclusions about the ionic basis of the action potential. Here we build on that initial proposal. First, we propose that Hodgkin and Huxley’s constitutive abductive reasoning has four features. Second, we argue that Hodgkin and Huxley are not alone in giving such arguments. Tolman, 1948, and Baumgartner, 1960, also gave such arguments. The implication is that such arguments are common enough in science that philosophers of science should pay more attention (...) to them. Third, we propose that constitutive abduction describes a method that scientists use to confirm constitutive hypotheses that is an alternative to the mutual manipulability approach that is familiar in the New Mechanist literature. (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)

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.

Groups behave in a variety of ways. To show that this behavior amounts to action, it would be best to fit it into a general account of action. However, nearly every account from the philosophy of action requires the agent to have mental states such as beliefs, desires, and intentions. Unfortunately, theorists are divided over whether groups can instantiate these states—typically depending on whether or not they are willing to accept functionalism about the mind. But we can avoid this debate. (...) I show how a more general view of action captures what is central to action without mentioning mental states, and I argue that a group’s members can fulfill the role in group action that mental states play in our actions. Group behavior is explicable in terms of reasons, regardless of whether the group itself cognizes those reasons. After discussing the kind of reasons at issue and arguing that groups can act in light of them without minds, I assess how this account bears on the question of group responsibility. (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)

This paper introduces λ-grammar, a form of categorial grammar that has much in common with LFG. Like other forms of categorial grammar, λ-grammars are multi-dimensional and their components are combined in a strictly parallel fashion. Grammatical representations are combined with the help of linear combinators, closed pure λ-terms in which each abstractor binds exactly one variable. Mathematically this is equivalent to employing linear logic, in use in LFG for semantic composition, but the method seems more practicable.

Vector models of language are based on the contextual aspects of words and how they co-occur in text. Truth conditional models focus on the logical aspects of language, the denotations of phrases, and their compositional properties. In the latter approach the denotation of a sentence determines its truth conditions and can be taken to be a truth value, a set of possible worlds, a context change potential, or similar. In this short paper, we develop a vector semantics for language based (...) on the simply typed lambda calculus. Our semantics uses techniques familiar from the truth conditional tradition and is based on a form of dynamic interpretation inspired by Heim's context updates. (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)

There have been many discussions recently from philosophers, cognitive scientists, and psychologists about group polarization, with online and social media environments in particular receiving a lot of attention, both because of people's increasing reliance on such environments for receiving and exchanging information and because such environments often allow individuals to selectively interact with those who are like-minded. My goal here is to argue that the group epistemologist can facilitate understanding the kinds of factors that drive group polarization in a way (...) that has been overlooked by the existing research. Specifically, I argue that polarization can occur in part because of the ways that members of a group treat the group itself (as opposed to an individual member within that group) as a source of information, and in doing so makes their own position, as well as that of the group, more extreme. I refer to this as a structural factor in driving polarization, and argue that such factors can contribute to explanations of polarization that occurs specifically in an important subset of groups, namely online and social media groups in which little is known about other members within the group, what I refer to as anonymous, semi-anonymous and pseudonymous (ASAP) groups. (shrink)

Schiller says that “it is only through beauty that man makes his way to freedom.” Here I attempt to defend a claim in the same spirit as Schiller’s but by different means. My thesis is that a person’s autonomous agency depends on their adopting an aesthetic identity. To act, we need to don contingent features of agency, things that structure our practical thought and explain what we do in very general terms but are neither universal nor necessary features of agency (...) as such. Without these things, the question of what to do for any individual would be underdetermined. The problem is that adopting such a contingent form of agency amounts to a restriction on what we can do, and so it is a prima facie threat to our autonomy. I will argue that one way, and indeed the only way, of meeting this challenge lies in aesthetic experience. Granting our capacity for aesthetic pleasure the authority to determine the particularities of our agency is compatible with autonomy because doing so means identifying with one’s capacity for pleasure in free and creative activity. Doing this allows us to be both particular sorts of agents and creatures regulated by the universalizing demands of reason. (shrink)

It is commonly argued that the fact that our universe is fine-tuned for life favors both a design hypothesis as well as a non-teleological multiverse hypothesis. The claim that the fine-tuning of this universe supports a non-teleological multiverse hypothesis has been forcefully challenged however by Ian Hacking and Roger White. In this paper we take this challenge even further by arguing that if it succeeds, then not only does the fine-tuning of this universe fail to support a multiverse hypothesis, but (...) it tends to favor a single-universe hypothesis instead. (shrink)

My aesthetic judgements seem to make claims on you. While some popular accounts of aesthetic normativity say that the force of these claims is third-personal, I argue that it is actually second-personal. This point may sound like a bland technicality, but it points to a novel idea about what aesthetic judgements ultimately are and what they do. It suggests, in particular, that aesthetic judgements are motions in the collective legislation of the nature of aesthetic activity. This conception is recommended by (...) its ability to explain some important but otherwise recondite features of aesthetic practice and, more importantly, by allowing us to ground the normativity of aesthetic judgement in the familiar normativity of practice. It also offers a more systematic way of understanding the rivalry between the ideals of aesthetic universality and diversity. (shrink)

Most business ethicists maintain that corporate actors are subject to a variety of moral obligations. However, there is a persistent and underappreciated concern that the competitive pressures of the market somehow provide corporate actors with a far-reaching excuse from meeting these obligations. Here, we assess this concern. Blending resources from the history of philosophy and strategic management, we demonstrate the assumptions required for and limits of this excuse. Applying the idea of ‘the state of nature’ from Thomas Hobbes, we suggest (...) that corporate actors would be excused from duties if complying with them threatened their vital interests. We show how this excuse is not available for most individuals within firms; instead, it is an excuse perhaps available to firms themselves, but only given substantive assumptions about corporate personhood. For those willing to make these assumptions, we apply the competitive advantage construct to delimit the scope of this excuse. We suggest that firms are excused from fulfilling an obligation when complying leads to a competitive disadvantage, as this imperils the firm’s vital interests. After revealing why this excuse does not generalize, we conclude by considering when we should reform the market to avoid the legitimacy of this excuse. (shrink)

A perennial problem in social epistemology is the problem of expert testimony, specifically expert testimony regarding scientific issues: for example, while it is important for me to know information pertaining to anthropogenic climate change, vaccine safety, Covid-19, etc., I may lack the scientific background required to determine whether the information I come across is, in fact, true. Without being able to evaluate the science itself, then, I need to find trustworthy expert testifiers to listen to. A major project in social (...) epistemology has thus become determining what the markers of trustworthiness are that laypersons can appeal to in order to identify and acquire information from expert testifiers. At the same time, the ways in which we acquire scientific information has changed significantly, with much of it nowadays being acquired in online environments. While much has been said about the potential pitfalls of seeking information online, little has been said about how the nature of seeking information online should make us think about the problem of expert testimony. Indeed, it seems to be an underlying assumption that good markers of trustworthiness apply equally well when seeking information from expert testifiers in online and offline environments alike, and that the new challenges and opportunities presented by online environments merely affects the methods by which we can acquire evidence of said trustworthiness. Here I argue that in making this assumption one risks failing to account for how unique features of the ways in which we acquire information online affect how we evaluate the trustworthiness of experts. Specifically, I argue for two main claims: first, that the nature of information-seeking online is such that the extent to which information is susceptible to manipulation is a dominant marker of trustworthiness; second, as a result, one will be more likely to seek out a particular kind of expert testifier in online environments, what I call a cooperative as opposed to preemptive expert. The result is that criteria for expert trustworthiness may look significantly different when acquiring information online as opposed to offline. (shrink)

In this chapter, we defend an explanationist version of proper functionalism. After explaining proper functionalism’s initial appeal, we note two major objections to proper functionalism: creatures with no design plan who appear to have knowledge (Swampman) and creatures with malfunctions that increase reliability. We then note how proper functionalism needs to be clarified because there are cases of what we call warrant-compatible malfunction. We then formulate our own view: explanationist proper functionalism, which explains the warrant-compatible malfunction cases and helps to (...) block the above objections. We also advance a positive argument for explanationist proper functionalism. (shrink)

Recently, there has been growing concern that increased partisanship in news sources, as well as new ways in which people acquire information, has led to a proliferation of epistemic bubbles and echo chambers: in the former, one tends to acquire information from a limited range of sources, ones that generally support the kinds of beliefs that one already has, while the latter function in the same way, but possess the additional characteristic that certain beliefs are actively reinforced. Here I argue, (...) first, that we should conceive of epistemic bubbles and echo chambers as types of epistemically pernicious groups, and second, that while analyses of such groups have typically focused on relationships between individual members, at least part of what such groups epistemically pernicious pertains to the way that members rely on the groups themselves as sources of information. I argue that member reliance on groups results in groups being attributed a degree of credibility that outruns their warrant, a process I call groupstrapping. I argue that by recognizing the groupstrapping as an illicit method of forming and updating beliefs we can make progress on some of the open questions concerning epistemically pernicious groups. (shrink)

Abstract: There has recently been controversy over the existence of 'multiple realization' in addition to some confusion between different conceptions of its nature. To resolve these problems, we focus on concrete examples from the sciences to provide precise accounts of the scientific concepts of 'realization' and 'multiple realization' that have played key roles in recent debates in the philosophy of science and philosophy of psychology. We illustrate the advantages of our view over a prominent rival account ( Shapiro, 2000 and (...) 2004 ) and use our work to rebut recent objections to the long-standing claim that psychological properties are multiply realized. For we use scientific evidence, in combination with our more precise theoretical framework, to show that we have strong reason to believe that psychological properties are indeed multiply realized both at the biochemical and neuronal levels. (shrink)

ABSTRACTConventional wisdom holds that there is no lucky knowledge: if it is a matter of luck, in some relevant sense, that one's belief that p is true, then one does not know that p. Here I will argue that there is similarly no lucky understanding, at least in the case of one type of luck, namely environmental luck. This argument has three parts. First, we need to determine how we evaluate whether one has understanding, which requires determining what I will (...) call understanding's evaluative object. I argue that as the evaluative object of knowledge is a belief in a proposition, the evaluative object of understanding is a mental representation of a relational structure. Next, I show that arguments that environmental luck is incompatible with understanding miss the mark by considering cases in which one has a belief in a proposition is lucky to be true, instead of ones in which one's mental representation of a relational structure is lucky to obtain. I agree, then, with those who argue that one can have understanding when one's beliefs are environmentally lucky to be true, but that this compatibility is not relevant when considering the question of whether one can have environmentally lucky understanding. I then present what I take to be a properly constructed case which shows the incompatibility of environmental luck with understanding. (shrink)

The ‘syntax’ and ‘combinatorics’ of my title are what Curry (1961) referred to as phenogrammatics and tectogrammatics respectively. Tectogrammatics is concerned with the abstract combinatorial structure of the grammar and directly informs semantics, while phenogrammatics deals with concrete operations on syntactic data structures such as trees or strings. In a series of previous papers (Muskens, 2001a; Muskens, 2001b; Muskens, 2003) I have argued for an architecture of the grammar in which finite sequences of lambda terms are the basic data structures, (...) pairs of terms syntax, semantics for example. These sequences then combine with the help of simple generalizations of the usual abstraction and application operations. This theory, which I call Lambda Grammars and which is closely related to the independently formulated theory of Abstract Categorial Grammars (de Groote, 2001; de Groote, 2002), in fact is an implementation of Curry’s ideas: the level of tectogrammar is encoded by the sequences of lambda-terms and their ways of combination, while the syntactic terms in those sequences constitute the phenogrammatical level. In de Groote’s formulation of the theory, tectogrammar is the level of abstract terms, while phenogrammar is the level of object terms. (shrink)

It is has been argued that there is a problem with moral testimony: testimony is deferential, and basing judgments and actions on deferentially acquired knowledge prevents them from having moral worth. What morality perhaps requires of us, then, is that we understand why a proposition is true, but this is something that cannot be acquired through testimony. I argue here that testimony can be both deferential as well as cooperative, and that one can acquire moral understanding through cooperative testimony. The (...) problem of moral testimony is thus not a problem with testimony generally, but a problem of deferential testimony specifically. (shrink)

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)

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)

While social epistemologists have recently begun addressing questions about whether groups can possess beliefs or knowledge, little has yet been said about whether groups can properly be said to possess understanding. Here I want to make some progress on this question by considering two possible accounts of group understanding, modeled on accounts of group belief and knowledge: a deflationary account, according to which a group understands just in case most or all of its members understand, and an inflationary account, according (...) to which a group’s understanding does not depend solely on whether its members understand. I argue that both accounts face problems. The deflationary account has two such problems: aggregation problems that are familiar from discussions of group belief, and the problem of different bases, wherein members possess understanding for different but consistent reasons. The inflationary account faces what I call the problem of distributed grasping: while it is widely accepted that understanding requires a kind of “grasping”, it is hard to make sense of how this requirement could be met at the group level while not necessarily being met by any individual member. Despite its problems, I make a case for the inflationary account. This will require addressing the problem of distributed grasping: to do this, I propose a different way of thinking about the grasping relation at the group level, such that it is constituted by a dependency relationship between members. (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)

Emergence is typically discussed in the context of mental properties or the properties of the natural sciences, and accounts of emergence within these contexts tend to look a certain way. The emergent property is taken to emerge instantaneously out of, or to be proximately caused by, complex interaction of colocated entities. Here, however, I focus on the properties instantiated by the elements of certain systems discussed in social ontology, such as being a five-dollar bill or a pawn-movement, and I suggest (...) that these properties emerge in a distinctive way. They emerge in part because of a system that is far beyond and typically before the object that instantiates them. I characterize how emergence occurs in these cases, juxtaposing it with how emergence is typically discussed. I then consider whether their emergence is best framed as weak or strong as these notions are characterized in the literature, and I reveal what debates are central to answering this question. Though I will not resolve these debates, I do show a collection of views that would vindicate these properties as strongly emergent and downwardly causing. (shrink)

We present Logical Description Grammar (LDG), a model ofgrammar and the syntax-semantics interface based on descriptions inelementary logic. A description may simultaneously describe the syntacticstructure and the semantics of a natural language expression, i.e., thedescribing logic talks about the trees and about the truth-conditionsof the language described. Logical Description Grammars offer a naturalway of dealing with underspecification in natural language syntax andsemantics. If a logical description (up to isomorphism) has exactly onetree plus truth-conditions as a model, it completely specifies thatgrammatical (...) object. More common is the situation, corresponding tounderspecification, in which there is more than one model. A situation inwhich there are no models corresponds to an ungrammatical input. (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)

While it is widely acknowledged that knowledge can be acquired via testimony, it has been argued that understanding cannot. While there is no consensus about what the epistemic relationship of understanding consists in, I argue here that regardless of how understanding is conceived there are kinds of understanding that can be acquired through testimony: easy understanding and easy-s understanding. I address a number of aspects of understanding that might stand in the way of being able to acquire understanding through testimony, (...) focusing on understanding ’s paradigmatic form and what it means to say that in order to understand something you need to “grasp” some information or the relationship between bits of information. I argue that in cases of both easy and easy-s understanding, no aspect of understanding stands in the way of it being able to acquire it through testimony. As a result, while not all understanding be acquired through testimony in all instances and for all subjects, this failure of acquisition is only a product of the complexity of the relevant information or one’s unfamiliarity with it, and not a product of the epistemic relationship of understanding. (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)

Logic has its roots in the study of valid argument, but while traditional logicians worked with natural language directly, modern approaches first translate natural arguments into an artificial language. The reason for this step is that some artificial languages now have very well developed inferential systems. There is no doubt that this is a great advantage in general, but for the study of natural reasoning it is a drawback that the original linguistic forms get lost in translation. An alternative approach (...) would be to develop a general theory of the natural logic behind human reasoning and human information processing by studying formal logics that operate directly on linguistic representations. That this is possible we will try to make plausible in this paper. It will turn out that one level of representation, that of Logical Form, can meaningfully be identified with the language of an existing and well-understood logic, a restricted form of the theory of types. It is not difficult to devise inference systems for this language, and it is thus possible to study reasoning systems that are based directly on language. (shrink)

Vector models of language are based on the contextual aspects of language, the distributions of words and how they co-occur in text. Truth conditional models focus on the logical aspects of language, compositional properties of words and how they compose to form sentences. In the truth conditional approach, the denotation of a sentence determines its truth conditions, which can be taken to be a truth value, a set of possible worlds, a context change potential, or similar. In the vector models, (...) the degree of co-occurrence of words in context determines how similar the meanings of words are. In this paper, we put these two models together and develop a vector semantics for language based on the simply typed lambda calculus models of natural language. We provide two types of vector semantics: a static one that uses techniques familiar from the truth conditional tradition and a dynamic one based on a form of dynamic interpretation inspired by Heim’s context change potentials. We show how the dynamic model can be applied to entailment between a corpus and a sentence and provide examples. (shrink)

As it has been shaped by improvements in its tools and methods, and by its discourse with critics, I describe how the astrological research program has advanced through three stages of modelling and design limitations. Single-factor tests (for example, the many Sun-sign–only experiments that have been published) are typically underdeterministic. Multi-factor tests, unless they are very well designed, can easily become overdeterministic. Chart-matching tests have been vulnerable to confirmation bias errors until the development of a machine-based, whole-chart matching protocol that (...) has objectively produced evidence of high effect-sizes. A meta-analysis of recent results shows the rapid advancement and how to further improve the results. The value of the program is not only to corroborate the taxonomic counterfactuals of astrological “cookbooks,” but to extend their explanatory reach by the comparison of astrological postulates and inferences with philosophies in other disciplines in terms of quantifiable processes and emergent effects. (shrink)

This article proposes a role for aesthetic judgment in our practical thought. The role is related to those moments when practical reason seems to give out, when it fails to yield a judgment about what to do in the face of a choice we cannot avoid. I argue that these impasses require agents to create, but that not any creativity will do. For we cannot regard a response to one of these problems as arbitrary or capricious if we want to (...) act on it. We must instead regard that response as justified by the problem itself. I suggest that this combination of creativity and normativity is characteristic of aesthetic judgment and this makes it a promising candidate for making these very difficult choices. (shrink)

The primary aim of this chapter is to show that several missteps made by others in in their thinking about law as an artefact are due to misconceptions about the role of intentions in understanding law as an artefact. I first briefly recap my own contention that law is a genre of institutionalized abstract artefacts (put forth in The Functions of Law (OUP 2016) and subsequent papers), mostly following Searle’s understanding of institutions and Thomasson’s understanding of public artefacts. I highlight (...) the central place that this theory affords law’s functions, without requiring the theorist to say that possession or performance of the function is either necessary or sufficient for inclusion in the class of law. Some of the most common misunderstandings are exemplified in Brian Leiter’s paper ‘Legal Positivism about the Artifact Law’. He thinks that holding an intentionalist view of artefacts commits the theorist to privileging drafters’ intentions when interpreting law. (It doesn’t.) He also has confusions about the differences between artefact tokens and artefact types leading him to a problematically broad understanding of artefacts. Another problem can be seen in thinking that functional understandings of artefacts are vulnerable to the same problems that arise in functional explanations for biological systems. I go on to consider the work of Luka Burazin and Corrado Roversi, addressing worries that making intentionality central to artefacts implies too much conscious thought is required to make one, noting that several theories of intentionality do not require conscious thought in the execution of intentional action. While those who think a central place for intentionality threatens to leave us unable to explain customary law, this can be dealt with by noting the important distinction between customary rules and customary laws (where the latter requires a decision to enlist public aid in redressing violations). I claim that authors’ intentions are communicated requests for the artefacts’ audiences to see the artefacts as members of their putative kinds. Finally, I address the question of whether or not legal systems are themselves artefacts and institutions, given that they may or may not have been intentionally created. An early lawgiver might have created a legal system by accident in the process of handing down the first laws. I raise the possibility that we might want to impute intentionality to necessary by-products of artefact creation, seeing those by-products as artefacts as well. (shrink)

An attractive way to model the relation between an underspecified syntactic representation and its completions is to let the underspecified representation correspond to a logical description and the completions to the models of that description. This approach, which underlies the Description Theory of Marcus et al. 1983 has been integrated in Vijay-Shanker 1992 with a pure unification approach to Lexicalized Tree-Adjoining Grammars (Joshi et al. 1975, Schabes 1990). We generalize Description Theory by integrating semantic information, that is, we propose to (...) tackle both syntactic and semantic underspecification using descriptions. (shrink)

There is widespread consensus that present patterns of consumption could lead to the permanent impossibility of maintaining those patterns and, perhaps, the existence of the human race. While many patterns of consumption qualify as ‘sustainable’ there is one in particular that deserves greater attention: virtual consumption. We argue that virtual consumption — the experience of authentic consumptive experiences replicated by alternative means — has the potential to reduce the deleterious consequences of real consumption by redirecting some consumptive behavior from shifting (...) material states to shifting information states. (shrink)

In this paper it is shown how simple texts that can be parsed in a Lambek Categorial Grammar can also automatically be provided with a semantics in the form of a Discourse Representation Structure in the sense of Kamp [1981]. The assignment of meanings to texts uses the Curry-Howard-Van Benthem correspondence.

This paper has a two-fold aim. First, it reinforces a version of the "syntactic argument" given in Aizawa (1994). This argument shows that connectionist networks do not provide a means of implementing representations without rules. Horgan and Tlenson have responded to the syntactic argument in their book and in another paper (Horgan & Tlenson, 1993), but their responses do not meet the challenge posed by my formulation of the syntactic argument. My second aim is to describe a kind of cognitive (...) architecture. This architecture might be called a computational architecture, but it is not a rules and representations architecture nor the representations without rules architecture that Horgan and Tlenson wish to endorse. (shrink)

I argue here for a view I call epistemic separabilism , which states that there are two different ways we can be evaluated epistemically when we assert a proposition or treat a proposition as a reason for acting: one in terms of whether we have adhered to or violated the relevant epistemic norm, and another in terms of how epistemically well-positioned we are towards the fact that we have either adhered to or violated said norm. ES has been appealed to (...) most prominently in order to explain why epistemic evaluations that conflict with the knowledge norm of assertion and practical reasoning nevertheless seem correct. Opponents of such a view are committed to what I call epistemic monism , which states that there is only one way we can be properly evaluated as epistemically appropriate asserters and practical reasoners, namely in terms of whether we have adhered to or violated the relevant norm. Accepting ES over EM has two significant consequences: first, a “metaepistemological” consequence that the structure of normative epistemic evaluations parallels that found in other normative areas , and second, that the knowledge norms of assertion and practical reasoning are no worse off than any alternatives in terms of either explanatory power or simplicity. (shrink)

The Causal Exclusion Problem is raised in many domains, including in the metaphysics of macroscopic objects. If there is a complete explanation of macroscopic effects in terms of the microscopic entities that compose macroscopic objects, then the efficacy of the macroscopic will be threatened with exclusion. I argue that we can avoid the problem if we accept that macroscopic objects are ontically vague. Then, it is indeterminate which collection of microscopic entities compose them, and so information about microscopic entities is (...) insufficient to provide a complete explanation of certain properties of macroscopic objects. After outlining this solution, I consider several objections. (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)

This Open Access book provides both a broad perspective and a focused examination of cow care as a subject of widespread ethical concern in India, and increasingly in other parts of the world. In the face of what has persisted as a highly charged political issue over cow protection in India, intellectual space must be made to bring the wealth of Indian traditional ethical discourse to bear on the realities of current human-animal relationships, particularly those of humans with cows. Dharma, (...) yoga, and bhakti paradigms serve as starting points for bringing Hindu--particularly Vaishnava Hindu--animal ethics into conversation with contemporary Western animal ethics. The author argues that a culture of bhakti--the inclusive, empathetic practice of spirituality centered in Krishna as the beloved cowherd of Vraja--can complement recently developed ethics-of-care thinking to create a solid basis for sustaining all kinds of cow care communities. (shrink)

There are many historical concerns about freedom that have come to be deemphasized in the free will literature itself—for instance, worries around the tyranny of government or the alienation of capitalism. It is hard to see how the current free will literature respects these, or indeed how they could even find expression. This paper seeks to show how these and other concerns can be reintegrated into the debate by appealing to a levels ontology. Recently, Christian List and others have considered (...) how the notion of levels could be relevant to the free will debate. Invariably, however, the focus is on the significance of facts at lower levels. The threats come from below, from fundamental physics or neuroscience. Here, I aim to show how we can frame many interesting concerns about free will in terms of threats from above. After arguing that determination from above is no less threatening, I catalogue such concerns that might constitute threats to our freedom. Doing this not only allows us to show how these concerns relate to those standardly discussed, but it pushes us to expand our conception of freedom. (shrink)