[This is an edited version of a keynote talk at the conference on Neural Information Processing Systems (NeurIPS) on November 28, 2022, with some minor additions and subtractions.] -/- There has recently been widespread discussion of whether large language models might be sentient or conscious. Should we take this idea seriously? I will break down the strongest reasons for and against. Given mainstream assumptions in the science of consciousness, there are significant obstacles to consciousness in current models: for example, their (...) lack of recurrent processing, a global workspace, and unified agency. At the same time, it is quite possible that these obstacles will be overcome in the next decade or so. I conclude that while it is somewhat unlikely that current large language models are conscious, we should take seriously the possibility that successors to large language models may be conscious in the not-too-distant future. (shrink)

In How We Get Along, philosopher David Velleman compares our social interactions to the interactions among improvisational actors on stage. He argues that we play ourselves - not artificially but authentically, by doing what would make sense coming from us as we really are. And, like improvisational actors, we deal with one another in dual capacities: both as characters within the social drama and as players contributing to the shared performance. In this conception of social intercourse, Velleman finds rational (...) grounds for morality, though not a rational guarantee. He maps a middle course between skepticism and rationalism, arguing that practical reasoning is 'pro-moral' without requiring moral action. The result is what he calls a 'Kinda Kantian metaethics'. How We Get Along is the summation of Velleman's thinking to date, incorporating and unifying previous work on agency, the self, the emotions, narrative and Kantian moral theory. (shrink)

How should we account for the extraordinary regularity in the world? Humeans and Non-Humeans sharply disagree. According to Non-Humeans, the world behaves in an extraordinarily regular way because of certain necessary connections in nature. However, Humeans have thought that Non-Humean views are metaphysically objectionable. In particular, there are two general metaphysical principles that Humeans have found attractive that are incompatible with all existing versions of Non-Humeanism. My goal in this paper is to develop a novel version of Non-Humeanism that is (...) consistent with (and even entails) both of these general metaphysical principles. By endorsing such a view, one can have the explanatory benefits of Non-Humeanism while at the same time avoiding two of the major metaphysical objections towards Non-Humeanism. (shrink)

In Just Fodder, Milburn argues for a relational account of our duties to animals. Following Clare Palmer, he argues that, though all animals have negative rights that we have a duty not to violate, we only gain positive obligations towards animals in the contexts of our relationships with them, which can be personal or political. He argues that human beings have collective positive duties towards domesticated animals, in virtue of the kind of relationship between us established by domestication. However, when (...) it comes to wild animals, he argues that we have no such morally relevant relationships, and so we have only negative duties towards them. I argue that throughout history and even prehistory human beings have morally entangled themselves with wild animals sufficiently that we may in fact have collective positive duties towards many, if not all, wild animals. (shrink)

We start by presenting three different views that jointly imply that every person has many conscious beings in their immediate vicinity, and that the number greatly varies from person to person. We then present and assess an argument to the conclusion that how confident someone should be in these views should sensitively depend on how massive they happen to be. According to the argument, sometimes irreducibly de se observations can be powerful evidence for or against believing in metaphysical theories.

In the course of daily life we solve problems often enough that there is a special term to characterize the activity and the right to expect a scientific theory to explain its dynamics. The classical view in psychology is that to solve a problem a subject must frame it by creating an internal representation of the problem’s structure, usually called a problem space. This space is an internally generable representation that is mathematically identical to a graph structure with nodes and (...) links. The nodes can be annotated with useful information, and the whole representation can be distributed over internal and external structures such as symbolic notations on paper or diagrams. If the representation is distributed across internal and external structures the subject must be able to keep track of activity in the distributed structure. Problem solving proceeds as the subject works from an initial state in mentally supported space, actively constructing possible solution paths, evaluating them and heuristically choosing the best. Control of this exploratory process is not well understood, as it is not always systematic, but various heuristic search algorithms have been proposed and some experimental support has been provided for them. (shrink)

There have recently been a number of strong claims that normative considerations, broadly construed, influence many philosophically important folk concepts and perhaps are even a constitutive component of various cognitive processes. Many such claims have been made about the influence of such factors on our folk notion of causation. In this paper, we argue that the strong claims found in the recent literature on causal cognition are overstated, as they are based on one narrow type of data about a particular (...) type of causal cognition; the extant data do not warrant any wide-ranging conclusions about the pervasiveness of normative considerations in causal cognition. Of course, almost all empirical investigations involve some manner of ampliative inference, and so we provide novel empirical results demonstrating that there are types of causal cognition that do not seem to be influenced by moral considerations. (shrink)

In the first half of this paper, I argue that essential properties are intrinsic and that this permits a modal analysis of essence that is immune the sort of objections raised by Fine. In the second half, I argue that intrinsic properties collectively have a certain structure and that this accounts for some observations about essences: that things are essentially determinate; that things often have properties within a certain range essentially; and that the essential properties of things are their core (...) properties. (shrink)

In this article, I defend an account of linguistic comprehension on which meaning is not cognized, or on which we do not tacitly know our language's semantics. On this view, sentence comprehension is explained instead by our capacity to translate sentences into the language of thought. I explain how this view can explain our capacity to correctly interpret novel utterances, and then I defend it against several standing objections.

Some philosophers have recently suggested that the reason mathematics is useful in science is that it expands our expressive capacities. Of these philosophers, only Stephen Yablo has put forward a detailed account of how mathematics brings this advantage. In this article, I set out Yablo’s view and argue that it is implausible. Then, I introduce a simpler account and show it is a serious rival to Yablo’s. 1 Introduction2 Yablo’s Expressionism3 Psychological Objections to Yablo’s Expressionism4 Introducing Belief Expressionism5 Objections and (...) Replies5.1 Yablo’s likely response5.2 Charity6 Conclusion. (shrink)

I argue that according to Socrates in the Phaedo we should not merely evaluate bodily pleasures and desires as worthless or bad, but actively avoid them. We need to avoid them because they change our values and make us believe falsehoods. This change in values and acceptance of falsehoods undermines the soul’s proper activity, making virtue and happiness impossible for us. I situate this account of why we should avoid bodily pleasures within Plato’s project in the Phaedo of providing Pythagorean (...) and Orphic ideas with clearer meanings and better justifications. (shrink)

Much recent discussion in the philosophy of mathematics has concerned the indispensability argument—an argument which aims to establish the existence of abstract mathematical objects through appealing to the role that mathematics plays in empirical science. The indispensability argument is standardly attributed to W. V. Quine and Hilary Putnam. In this paper, I show that this attribution is mistaken. Quine's argument for the existence of abstract mathematical objects differs from the argument which many philosophers of mathematics ascribe to him. Contrary to (...) appearances, Putnam did not argue for the existence of abstract mathematical objects at all. I close by suggesting that attention to Quine and Putnam's writings reveals some neglected arguments for platonism which may be superior to the indispensability argument. (shrink)

This essay focuses on three recent books on morality and virtue, Michael Slote's 'Morals from Motives', Rosalind Hursthouse's 'On Virtue Ethics', and Philippa Foot's 'Natural Goodness'. Slote proposes an "agent-based" ethical theory according to which the ethical status of acts is derivative from assessments of virtue. Following Foot's lead, Hursthouse aims to vindicate an ethical naturalism that explains human goodness on the basis of views about human nature. Both Hursthouse and Slote take virtue to be morally basic in a way (...) that Foot, to her credit, does not. We argue that all three views face a range of serious difficulties. (shrink)

I argue that some important elements of the current cosmological model are 'conventionalist’ in the sense defined by Karl Popper. These elements include dark matter and dark energy; both are auxiliary hypotheses that were invoked in response to observations that falsified the standard model as it existed at the time.

The aim of this paper is to present an interpretation of Shepherd’s account of our most fundamental cognitive powers, most especially the faculty that Shepherd calls perception, which she claims is a unity of contributions from the understanding and the senses. I find that Shepherd is what we would nowadays call a meaning holist: she holds that the meaning of any natural-kind term is constituted by its place in a system of definitions, which system specifies the causal roles of the (...) objects its terms name. Such an account of meaning raises questions about the contact that such a system of definitions, or conceptual scheme, makes with the world. The natural place to seek answers to these questions is in Shepherd’s account of perception, which I argue Shepherd takes to be our most fundamental cognitive faculty. Our cognitive lives begin with perceptions, representations of objects as the cause of those very perceptions of them. With this interpretation in hand, I draw a contrast between it and Boyle’s and Lolordo’s recent work on Shepherd’s theory of meaning. I argue that for Shepherd truths about the causal powers of objects are analytic, and that the relevant empirical questions answered by science concern whether our conceptual scheme accurately represents the world. Finally, I provide additional support for this interpretation by showing that it comports with Shepherd’s criticism of her philosophical opponents, Berkeley, Hume, and Reid. (shrink)

Classical logic is usually interpreted as the logic of propositions. But from Boole's original development up to modern categorical logic, there has always been the alternative interpretation of classical logic as the logic of subsets of any given (nonempty) universe set. Partitions on a universe set are dual to subsets of a universe set in the sense of the reverse-the-arrows category-theoretic duality--which is reflected in the duality between quotient objects and subobjects throughout algebra. Hence the idea arises of a dual (...) logic of partitions. That dual logic is described here. Partition logic is at the same mathematical level as subset logic since models for both are constructed from (partitions on or subsets of) arbitrary unstructured sets with no ordering relations, compatibility or accessibility relations, or topologies on the sets. Just as Boole developed logical finite probability theory as a quantitative treatment of subset logic, applying the analogous mathematical steps to partition logic yields a logical notion of entropy so that information theory can be refounded on partition logic. But the biggest application is that when partition logic and the accompanying logical information theory are "lifted" to complex vector spaces, then the mathematical framework of quantum mechanics is obtained. Partition logic models indefiniteness (i.e., numerical attributes on a set become more definite as the inverse-image partition becomes more refined) while subset logic models the definiteness of classical physics (an entity either definitely has a property or definitely does not). Hence partition logic provides the backstory so the old idea of "objective indefiniteness" in QM can be fleshed out to a full interpretation of quantum mechanics. (shrink)

eSports practice designates a unique set of activities tethered to competitive, virtual environments, or worlds. This correlation between eSports practitioner and virtual world, we argue, is inadequately accounted for solely in terms of something physical or intellectual. Instead, we favor a perspective on eSports practice to be analyzed as a perceptual and embodied phenomenon. In this article, we present the phenomenological approach and focus on the embodied sensations of eSports practitioners as they cope with and perceive within their virtual worlds. (...) By approaching eSports phenomenologically, we uncover ways in which its unique forms of virtual involvement overlap with as well as differentiate themselves from traditional structures of embodiment. (shrink)

This paper discusses the significance of non-causal dependence for truthmaker theory. After introducing truthmaker theory (section 1), I discuss a challenge to it levelled by Benjamin Schnieder. I argue that Schnieder’s challenge can be met once we acknowledge the existence of non-causal dependence and of explanations which rely on it (sections 2 to 5). I then mount my own argument against truthmaker theory, based on the notion of non-causal dependence (sections 6 and 7).

The concept of the person is widely assumed to be indispensable for making a rights claim. But a survey of the concept's appearance in legal discourse reveals that the concept is stretched to the breaking point. Personhood stands at the center of debates as diverse as the legal status of embryos and animals to the rights and responsibilities of corporations and nations. This Note argues that personhood is a cluster concept with distinct components: the biological concept of the human being, (...) the notion of a rational agent, and unity of consciousness. Use of these component concepts (in lieu of the concept of the person) in legal reasoning would promote greater systematicity and coherence. (shrink)

I defend Joseph Melia’s nominalist account of mathematics from an objection raised by Mark Colyvan.

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

First published in 1990, _Existentialism_ is widely regarded as a classic introductory survey of the topic, and has helped to renew interest in existentialist philosophy. The author places existentialism within the great traditions of philosophy, and argues that it deserves as much attention from analytic philosophers as it has always received on the continent.

This paper is an explication of Gadamer's idea of "application." I argue that the relation between the first and third persons in application contains a viable conception of the normativity of understanding. Application includes a measure for understanding. The thing that is to be understood must be allowed to address me, and such involvement responds to the text’s meaning. While this measure is not expressible in principled rules, application is normatively accountable both to the text’s third-person claim to meaning and (...) to my first-person involvement with the text. The participation of the interpreter with the item of her understanding forms a normative standard. (shrink)

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

Philosophical accounts of the nature of belief, at least in the western tradition, are framed in large part by two ideas. One is that believing is a form of representing. The other is that a belief plays a causal role when a person acts on it. The standard picture of belief as a mental entity with representational properties and causal powers merges these two ideas. We are to think of beliefs as things that are true or false and that interact (...) with desires, intentions, and emotions to bring about rational action. Both ideas, I think, are ill-founded. One effect of abandoning them is a further blurring of the distinction between what is inside and what is outside our minds. Another is a shift towards a less mentalistic picture of the roots of rational action. (shrink)

Categorical logic has shown that modern logic is essentially the logic of subsets (or "subobjects"). Partitions are dual to subsets so there is a dual logic of partitions where a "distinction" [an ordered pair of distinct elements (u,u′) from the universe U ] is dual to an "element". An element being in a subset is analogous to a partition π on U making a distinction, i.e., if u and u′ were in different blocks of π. Subset logic leads to finite (...) probability theory by taking the (Laplacian) probability as the normalized size of each subset-event of a finite universe. The analogous step in the logic of partitions is to assign to a partition the number of distinctions made by a partition normalized by the total number of ordered pairs |U|² from the finite universe. That yields a notion of "logical entropy" for partitions and a "logical information theory." The logical theory directly counts the (normalized) number of distinctions in a partition while Shannon's theory gives the average number of binary partitions needed to make those same distinctions. Thus the logical theory is seen as providing a conceptual underpinning for Shannon's theory based on the logical notion of "distinctions.". (shrink)

Shepherd’s argument against Hume’s thesis that an object can begin its existence uncaused has received short shrift in the secondary literature. I argue that the key to understanding that argument’s success is understanding its dialectical context. Shepherd sees the dialectical situation as follows. Hume presents an argument against Locke and Clarke the conclusion of which is that an object can come into existence uncaused. An essential premise of that argument is Hume’s theory of mental representation. Hume’s theory of mental representation, (...) however, is itself implausible and unsupported. Therefore, one need not accept this premise or this conclusion. Thus, Shepherd proceeds to her discussion of the relation of cause and effect free to help herself to the thesis that every beginning of existence must have a cause. Additionally, she elsewhere pays down the debt she incurs in that argument by presenting her own alternative theory of mental representation, which is both plausible in its own right, and can account for the error that she takes Hume to make. (shrink)

In this chapter, we argue that it’s possible to lose your faith in God by the actions of other people. In particular, we argue that spiritually violent religious trauma, where religious texts are used to shame a person into thinking themselves unworthy of God’s love, can cause a person to stop engaging in activities that sustain their faith in God, such as engaging in the worship of God. To do this, we provide an analysis of faith, worship, and love on (...) which to have faith in God is to have an attitude of worship to him; to have such an attitude of worship to God is to love him; and to love God is to desire union with him. We apply this analysis particularly to the case of LGBT Christians and their experience in the church today. (shrink)

The chapter challenges hyperbolic claims about the centrality of appreciation of beauty to Buddhism. Within the texts, attitudes are more mixed, except for a form of 'inner beauty' - the beauty found in the expression of virtues or wisdom in forms of bodily comportment. Inner beauty is a stable presence throughout Buddhist history, practices, and art.

The proposal I offer attempts to remedy the inadequacies of exclusive focus on well-being for moral purposes. The proposal is this: We should allow the agent to decide for herself where she wants to throw the weight that is her due in moral reflection, with the proviso that she understands the way that her weight will be aggregated with others in reaching a moral outcome. I will call this the "autonomy principle." The autonomy principle, I claim, provides the consequentialist's best (...) prospect for taking people into account morally in a way that they endorse. (shrink)

Kagan argues that human beings who are neither persons nor even potential persons — if their impairment is independent of genetic constitution — are modal persons: individuals who might have been persons. Moreover, he proposes a view according to which both personhood and modal personhood are sufficient for counting more, morally, than nonhuman animals. In response to this proposal, I raise one relatively minor concern about Kagan's reasoning — that he judges too quickly that insentient beings can have interests — (...) before engaging the appeal to modal personhood. I challenge the thesis that modal personhood is relevant to one's moral status, first, by way of analogy to a kicker who misses a field goal though he might have made it; second, by casting doubt on implications for two impaired infants ; and, finally, by examining implications for dogs who would count as modal persons when genetic enhancements are capable of transforming them into persons. (shrink)

The notion of an agent and the notion of a self are connected, for agency is one role played by the self. Millgram argues for a disunity thesis of agency on the basis of extreme incommensurability across some major life events. We propose a similar negative thesis about the self, that it is composed of relatively independent threads reflecting the different roles and different mind-sets of the person's life. Our understanding of those threads is based on theories of the narrative (...) construction of the self. Our disunity thesis is that there need be no overarching narrative that unifies those narrative threads. To explain how the threads hang together to produce coherent action, we make these positive claims: control normally switches smoothly and unconsciously between threads as circumstances require, within one thread there is likely to be acknowledgment of other threads, some situations require a temporary blending of threads, and some plans and policies reach across different threads and contribute to some coordination among them. Our account of a self provides an account of agency that has merits in comparison to Millgram's. Our narrative approach allows explanations of actions beyond rational deliberation. (shrink)

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

I argue that Meno’s Paradox targets the type of knowledge that Socrates has been looking for earlier in the dialogue: knowledge grounded in explanatory definitions. Socrates places strict requirements on definitions and thinks we need these definitions to acquire knowledge. Meno’s challenge uses Socrates’ constraints to argue that we can neither propose definitions nor recognize them. To understand Socrates’ response to the challenge, we need to view Meno’s challenge and Socrates’ response as part of a larger disagreement about the value (...) of inquiry. (shrink)

Paul Feyerabend argued that theories can be faced with experimental anomalies whose refuting character can only be recognized by developing alternatives to the theory. The alternate theory must explain the experimental results without contrivance and it must also be supported by independent evidence. I show that the situation described by Feyerabend arises again and again in experiments or observations that test the postulates in the standard cosmological model relating to dark matter. The alternate theory is Milgrom’s modified dynamics. I discuss (...) three examples: the failure to detect dark-matter particles in laboratory experiments; the lack of evidence for dark-matter sub-haloes and the dwarf galaxies that are postulated to inhabit them; and the failure to confirm the predicted orbital decay of Milky Way satellite galaxies and other systems due to dynamical friction against the dark matter. In each case, Feyerabend’s criterion directs us to interpret the experimental or observational results as an indirect refutation of the standard cosmological model in favor of Milgrom’s theory. (shrink)

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

Implicit in our everyday attitudes and practices is the assumption that death ordinarily harms a person who dies. A far more contested matter is whether death harms sentient individuals who are not persons, a category that includes many animals and some human beings. On the basis of the deprivation account of the harm of death, I argue that death harms sentient nonpersons. I next consider possible bases for the commonsense judgment that death ordinarily harms persons more than it harms sentient (...) nonpersons. Contrary to what some philosophers believe, it is doubtful that the familiar resources of prudential value theory can vindicate this judgment. I show that the approach that at first glance seems most promising for supporting this judgment – namely, invoking an objective account of well-being – faces substantial challenges, before arguing that McMahan's time-relative interest account supplies the needed theoretical basis. I then go on to extract a significant practical implication of the first thesis, that death ordinarily harms sentient nonpersons: We should find a way to discontinue the routine killing of animal subjects following their use in experiments. (shrink)

Aristotle presents a formal logic in the Prior Analytics in which the premises and conclusions are never conditionals. In this paper I argue that he did not simply overlook conditionals, nor does their absence reflect a metaphysical prejudice on his part. Instead, he thinks that arguments with conditionals cannot be syllogisms because of the way he understands the explanatory requirement in the definition of a syllogism: the requirement that the conclusion follow because of the premises. The key passage is Prior (...) Analytics I.32, 47a22–40, where Aristotle considers an argument with conditionals that we would consider valid, but which he denies is a syllogism. I argue that Aristotle thinks that to meet the explanatory requirement a syllogism must draw its conclusion through the way its terms are predicated of one another. Because arguments with conditionals do not, in general, draw their conclusions through predications, he did not include them in his logic. (shrink)

After Marx, dissenting economics almost always used 'the labour theory' as a theory of value. This paper develops a modern treatment of the alternative labour theory of property that is essentially the property theoretic application of the juridical principle of responsibility: impute legal responsibility in accordance with who was in fact responsible. To understand descriptively how assets and liabilities are appropriated in normal production, a 'fundamental myth' needs to be cleared away, and then the market mechanism of appropriation can be (...) understood. On the normative side, neoclassical theory represents marginal productivity theory as showing that (a metaphorical version of) the imputation principle is satisfied ('people get what they produce') in competitive enterprises. Since that shows the moral commitment of neoclassical economics to the imputation principle, the labour theory of property is presented here as the actual non-metaphorical application of the imputation principle to property appropriation. The property-theoretic analysis at the firm level shows how the neoclassical (and much heterodox) analysis in terms of 'distributive shares' wholly misframed the basic questions. Finally, the paper shows how the imputation principle (modernised labour theory of property) is systematically violated in the present wage labour system of renting persons. The paper can be seen as taking up the recent challenge posed by Donald Katzner for a dialogue between neoclassical and heterodox microeconomics. (shrink)

A complementary strategy can be defined as any organizing activity which recruits external elements to reduce cognitive loads. Typical organizing activities include pointing, arranging the position and orientation of nearby objects, writing things down, manipulating counters, rulers or other artifacts that can encode the state of a process or simplify perception. To illustrate the idea of a complementary strategy, a simple experiment was performed in which subjects were asked to determine the dollar value of collections of coins. In the no-hands (...) condition, subjects were not allowed to touch the coin images or to move their hands in any way. In the hands condition, they were allowed to use their hands and fingers however they liked. Significant improvements in time and number of errors were observed when S's used their hands over when they did not. To explain these facts, a brief account of some commonly observed complementary strategies is presented, and an account of their potential benefits to perception, memory and attention. (shrink)

Modern categorical logic as well as the Kripke and topological models of intuitionistic logic suggest that the interpretation of ordinary “propositional” logic should in general be the logic of subsets of a given universe set. Partitions on a set are dual to subsets of a set in the sense of the category-theoretic duality of epimorphisms and monomorphisms—which is reflected in the duality between quotient objects and subobjects throughout algebra. If “propositional” logic is thus seen as the logic of subsets of (...) a universe set, then the question naturally arises of a dual logic of partitions on a universe set. This paper is an introduction to that logic of partitions dual to classical subset logic. The paper goes from basic concepts up through the correctness and completeness theorems for a tableau system of partition logic. (shrink)

The logical basis for information theory is the newly developed logic of partitions that is dual to the usual Boolean logic of subsets. The key concept is a "distinction" of a partition, an ordered pair of elements in distinct blocks of the partition. The logical concept of entropy based on partition logic is the normalized counting measure of the set of distinctions of a partition on a finite set--just as the usual logical notion of probability based on the Boolean logic (...) of subsets is the normalized counting measure of the subsets (events). Thus logical entropy is a measure on the set of ordered pairs, and all the compound notions of entropy (join entropy, conditional entropy, and mutual information) arise in the usual way from the measure (e.g., the inclusion-exclusion principle)--just like the corresponding notions of probability. The usual Shannon entropy of a partition is developed by replacing the normalized count of distinctions (dits) by the average number of binary partitions (bits) necessary to make all the distinctions of the partition. (shrink)

I argue that the technique Socrates describes in the Meno at 86e-87c allows him to make progress without definitions, even while accepting that definitions are necessary for knowledge. Some contend that the technique involves provisionally accepting a claim. I argue, instead, that it provides a secure biconditional that one can use to reduce the question one cares care about to a new question that one thinks will be easier to answer.

A theory of property needs to give an account of the whole life-cycle of a property right: how it is initiated, transferred, and terminated. Economics has focused on the transfers in the market and has almost completely neglected the question of the initiation and termination of property in normal production and consumption (not in some original state or in the transition from common to private property). The institutional mechanism for the normal initiation and termination of property is an invisible-hand function (...) of the market, the market mechanism of appropriation. Does this mechanism satisfy an appropriate normative principle? The standard normative juridical principle is to assign or impute legal responsibility according to de facto responsibility. It is given a historical tag of being "Lockean" but the basis is contemporary jurisprudence, not historical exegesis. Then the fundamental theorem of the property mechanism is proven which shows that if "Hume's conditions" (no transfers without consent and all contracts fulfilled) are satisfied, then the market automatically satisfies the Lockean responsibility principle, i.e., "Hume implies Locke." As a major application, the results in their contrapositive form, "Not Locke implies Not Hume," are applied to a market economy based on the employment contract. It is shown the production based on the employment contract violates the Lockean principle (all who work in an employment enterprise are de facto responsible for the positive and negative results) and thus Hume's conditions must also be violated in the marketplace (de facto responsible human action cannot be transferred from one person to another—as is readily recognized when and employer and employee together commit a crime). (shrink)

Counterfactual skepticism says that most ordinary counterfactuals are false. While few endorse counterfactual skepticism, the precise costs of the view are disputed and not generally well-understood. I have two aims in this paper. My first and primary aim is to establish, on grounds acceptable to all parties, that counterfactual skepticism is not benign. I argue it leads to significant skepticism about the future: if counterfactual skepticism is true, then we can have only very limited knowledge about the future. I give (...) three arguments to this conclusion, taking as premises principles connecting knowledge of indicative conditionals to knowledge of disjunctions; and principles linking knowledge of indicative conditionals to knowledge of counterfactual conditionals.My second aim is to examine the consequences for non-skeptical theories. My arguments indicate that not only are many ordinary counterfactuals true, but that we also know them. How can this be reconciled with the very real tension between counterfactuals and chance? I consider two solutions, one purely epistemic and one contextualist. Together they suggest something like contextualism about knowledge is required to fully resolve the skeptical threat. (shrink)

An experiment was performed to test the hypothesis that people sometimes take physical actions to make themselves more effective problem solvers. The task was to generate all possible words that could be formed from seven Scrabble letters. In one condition, participants could use their hands to manipulate the letters, and in another condition, they could not. Results show that more words were generated with physical manipulation than without. However, an interaction was obtained between the physical manipulation conditions and the specific (...) letter sets chosen, indicating that physical manipulation helps more for generating words in some circumstances than in others. Overall, our findings can be explained in terms of an interactive search process in which external, physical activity effectively complements internal, cognitive activity. Within this framework, the interaction can be explained in terms of the relative difficulty of generating words from the letters given in the different sets. (shrink)