This book gives a comprehensive overview of central themes of finite model theory â expressive power, descriptive complexity, and zero-one laws â together with selected applications relating to database theory and artificial intelligence, especially constraint databases and constraint satisfaction problems. The final chapter provides a concise modern introduction to modal logic, emphasizing the continuity in spirit and technique with finite model theory. This underlying spirit involves the use of various fragments of and hierarchies within first-order, second-order, fixed-point, and infinitary logics (...) to gain insight into phenomena in complexity theory and combinatorics. The book emphasizes the use of combinatorial games, such as extensions and refinements of the Ehrenfeucht-Fraissé pebble game, as a powerful way to analyze the expressive power of such logics, and illustrates how deep notions from model theory and combinatorics, such as o-minimality and treewidth, arise naturally in the application of finite model theory to database theory and AI. Students of logic and computer science will find here the tools necessary to embark on research into finite model theory, and all readers will experience the excitement of a vibrant area of the application of logic to computer science. (shrink)
This early essay of Spencer's was originally published anonymously in The Leader for March 20 1852. It was the second contribution in a regular series entitled "The Haythorne Papers". Spencer's identity was revealed some while after. It is reproduced in Herbert Spencer, Essays Scientific, Political & Speculative, Williams and Norgate (3 vols 1891) pp.1 7]; and here in full. David Clifford, Ph.D., Cambridge University, prepared the html text in 1997; George P. Landow reformatted it in 2008.
Some time ago, John Perry argued that the content of an indexical belief, that is, a belief expressible with a sentence containing an indexical or demonstrative, cannot be a proposition. I consider several of his arguments for this view, and show that they can be extended to show that belief expressible with other non-indexical expressions such as natural kind terms and proper names presents the very same problem for the traditional picture. I then suggest that if indexical belief has any (...) special status, this is not because it has a special kind of content, but rather because action is impossible if agents do not have indexical belief. (shrink)
A material simple is a material object that has no proper parts. Some philosophers have argued for the possibility of extended simples. Some have even argued for the possibility of heterogeneous simples or simples that have intrinsic variations across their surfaces. There is a puzzle, though, that is meant to show that extended, heterogeneous simples are impossible. Although several plausible responses have been given to this puzzle, I wish to reopen the case against extended, heterogeneous simples. In this paper, I (...) briefly canvass responses to this puzzle which may be made in defense of extended, heterogeneous simples. I then present a new version of this puzzle which targets simples that occupy atomic yet extended regions of space. It seems that none of the traditional responses can be used to successfully save this particular kind of extended simple from the new puzzle. I also consider some non-traditional defenses of heterogeneous extended simples and argue that they too are unsuccessful. Finally, I will argue that a substantial case can be made against the possibility of extended heterogeneous simples of any kind. (shrink)
A curious ambiguity has arisen in the race debate in recent years. That ambiguity is what is actually meant by ‘biological racial realism’. Some philosophers mean that ‘race is a natural kind in biology’, while others mean that ‘race is a real biological kind’. However, there is no agreement about what a natural kind or a real biological kind should be in the race debate. In this article, I will argue that the best interpretation of ‘biological racial realism’ is one (...) that interprets ‘biological racial realism’ as ‘race is a genuine kind in biology’, where a genuine kind is a valid kind in a well-ordered scientific research program. I begin by reviewing previous interpretations of ‘biological racial realism’ in the race debate. Second, I introduce the idea of a genuine kind and compare it to various notions of natural and real biological kinds used in the race debate. Third, I present and defend an argument for my view. Fourth, I provide a few interesting consequences of my view for the race debate. Last, I provide a summary of the article. (shrink)
Newton’s Principia introduces four rules of reasoning for natural philosophy. Although useful, there is a concern about whether Newton’s rules guarantee truth. After redirecting the discussion from truth to validity, I show that these rules are valid insofar as they fulfill Goodman’s criteria for inductive rules and Newton’s own methodological program of experimental philosophy; provided that cross-checks are used prior to applications of rule 4 and immediately after applications of rule 2 the following activities are pursued: (1) research addressing observations (...) that systematically deviate from theoretical idealizations and (2) applications of theory that safeguard ongoing research from proceeding down a garden path. (shrink)
Ontological pluralism is the view that there are ways of being. Ontological pluralism is enjoying a revival in contemporary metaphysics. We want to say that there are numbers, fictional characters, impossible things, and holes. But, we don’t think these things all exist in the same sense as cars and human beings. If they exist or have being at all, then they have different ways of being. Fictional characters exist as objects of make-believe and holes exist as absences in objects. But, (...) human beings and cars exist in a much more robust sense. What are ways of being? Why should be believe in them and what should we believe about them? This short essay provides an overview of the recent revival of ways of being and explores some of the surrounding issues. (shrink)
The general composition question asks “what are the necessary and jointly sufficient conditions any xs and any y must satisfy in order for it to be true that those xs compose that y?” Although this question has received little attention, there is an interesting and theoretically fruitful answer. Namely, strong composition as identity (SCAI): necessarily, for any xs and any y, those xs compose y iff those xs are identical to y. SCAI is theoretically fruitful because if it is true, (...) then there is an answer to one of the most difficult and intractable questions of mereology (The Simple Question). In this paper, I introduce the identity account of simplicity and argue that if SCAI is true then this identity account of simplicity is as well. I consider an objection to the identity account of simplicity. Ultimately, I find this objection unsuccessful. (shrink)
We discuss the view that a hole is identical to the region of spacetime at which it is located. This view is more parsimonious than the view that holes are sui generus entities located at those regions surrounded by their hosts and it is more plausible than the view that there are no holes. We defend the spacetime view from several objections.
Roy Sorensen has discussed a scenario he calls 'the Disappearing Act', introduced a puzzle based on this scenario, and offered a solution to this puzzle. We argue against Sorensen's solution and offer our own.
The Russellian approach to the semantics of attitude ascriptions faces a problem in explaining the robust speaker intuitions that it does not predict. A familiar response to the problem is to claim that utterances of attitude ascriptions may differ in their Gricean conversational implicatures. I argue that the appeal to Grice is ad hoc. First, we find that speakers do not typically judge an utterance false merely because it implicates something false. The apparent cancellability of the putative implicatures is irrelevant, (...) since cancellability does not indicate conversational implicature. Finally, the appeal assumes, implausibly, that ordinary speakers generally subscribe to a particular philosophical theory about belief. (shrink)
In this paper, I take issue with the familiar view that the problem of the essential indexical is a merely technical problem, which can be solved through a straightforward revision of the familiar model of belief content. (The familiar model just says that the content of belief is a proposition.) I do not object to these technical fixes, but I think they leave some questions unanswered. Specifically, they deny us an attractive account of what it is for different people to (...) completely agree on their conception of what the world is like, according to which complete agreement consists in having beliefs with the same propositional content, but they do not give us anything to replace it with. Here, I consider whether we can say anything general about the relation between my beliefs and your beliefs (including, of course, our indexical beliefs), when you and I completely agree about what the world is like. (shrink)
The Principle of Alternative Possibilities is the intuitive idea that someone is morally responsible for an action only if she could have done otherwise. Harry Frankfurt has famously presented putative counterexamples to this intuitive principle. In this paper, I formulate a simple version of the Principle of Alternative Possibilities that invokes a course-grained notion of actions. After warming up with a Frankfurt-Style Counterexample to this principle, I introduce a new kind of counterexample based on the possibility of time travel. At (...) the end of the paper, I formulate a more sophisticated version of the Principle of Alternative Possibilities that invokes a certain fine grained notion of actions. I then explain how this new kind of counterexample can be augmented to show that even the more sophisticated principle is false. (shrink)
The early abolition of serfdom in England, the early growth of relatively free institutions, and the greater recognition of popular claims after the decay of feudalism had divorced the masses from the soil, were traits of English life which may be looked back upon with pride. When it was decided that any slave who set foot in England became free; when the importation of slaves into the Colonies was stopped; when twenty millions were paid for the emancipation of slaves in (...) the West Indies; and when, however unadvisedly, a fleet was maintained to stop the slave trade; our countrymen did things worthy to be admired. And when England gave a home to political refugees and took up the causes of small states struggling for freedom, it again exhibited noble traits which excite affection. But there are traits, unhappily of late more frequently displayed, which do the reverse. Contemplation of the acts by which England has acquired over eighty possessions – settlements, colonies, protectorates, &c. – does not arouse feelings of satisfaction. The transitions from missionaries to resident agents, then to officials having armed forces, then to punishments of those who resist their rule, ending in so called “pacification” – these processes of annexation, now gradual and now sudden, as that of the new Indian province and that of Barotziland, which was declared a British colony with no more regard for the wills of the inhabiting people than for those of the inhabiting beasts – do not excite sympathy with their perpetrators. Love of country is not fostered in me on remembering that when, after our Prime Minister had declared that we were bound in honour to the Khedive to reconquer the Soudan, we, after the re conquest, forthwith began to administer it in the name of the Queen and the Khedive – practically annexing it; nor when, after promising through the mouths of two Colonial Ministers not to interfere in the internal affairs of the Transvaal, we proceeded to insist on certain electoral arrangements, and made resistance the excuse for a desolating war.. (shrink)
Understanding a conversation sometimes requires us to keep track of what has been said about the objects under discussion. This fact presents a problem for a familiar account of content, the Russellian theory as advanced by Scott Soames and Nathan Salmon. Here I sketch an account of keeping track of objects in conversation, on which it involves presupposing unexpressed identity statements about the objects under discussion. The account is an application of a Stalnaker-style possible worlds account of assertion content, that (...) treats these unexpressed identities as part of an evolving set of presuppositions. Finally, I propose a two-dimensionalist extension of the basic Stalnakerian account to deal with the sort of case in which utterances are best understood as conveying the diagonal proposition of a two-dimensional propositional concept. These are discourses in which some of all parties to the conversation are confused about exactly which object is being discussed, even though they do keep track of what has been said about it. (shrink)
Recession of the galaxies indicates a repulsive force and suggests that Newton's formulation of gravitation is not complete. A possible modification is proposed, and this Neo-Newtonian equation allows a quantitative treatment of Mach's principle. It also limits the velocity of matter to c and gives a correct prediction for the perihelion of Mercury.
When making an assessment of animal welfare, it is important to take environmental (housing) or animal-based parameters into account. An alternative approach is to focus on the behavior and appearance of the animal, without making actual measurements or quantifying this. None of these tell the whole story. In this paper, we suggest that it is possible to find common ground between these (seemingly) diametrically opposed positions and argue that this may be the way to deal with the complexity of animal (...) welfare. The model will have to be acceptable for the different parties that will be affected by it and real benefits for the animal should result from it. This will be the basis of a practical ethical approach. All this can be condensed into a model that essentially is made up out of three basic elements: the classical welfare analysis with an existing welfare assessment tool, an assessment of the stockholder, and an implementation of the Free Choice Profiling technique. This new framework does not pretend to be a different or better animal welfare matrix; it is intended to integrate existing knowledge and to provide a practical tool to improve animal welfare. It identifies whether there are welfare problems on a farm, if present whether these problems are caused by the housing system or the stockholder, and what can be done to improve the situation. (shrink)
Perhaps the commonest reasons for the keeping of pets are companionship and as a conduit for affection. Pets are, therefore, being “used” for human ends in much the same way as laboratory or farm animals. So shouldn’t the same arguments apply to the use of pets as to those used in other ways? In accepting the “rights” of farm animals to fully express their natural behavior, one must also accept the “right” of pets to express their intrinsic natural behavior. Dogs (...) kept in houses for most of the day are being kept in an unnatural environment. So are rabbits kept in hutches, and guinea-pigs or birds in cages. These conditions infringe the animals’ telos. Dogs are naturally pack animals, so is a dog in isolation being denied its telos? Other actions more deliberately infringe telos and autonomy. Enforced shampooing – or even exercise; hair-cutting of poodles; putting animals in clothes; and tail-docking. If de-beaking of chickens is considered wrong, then the same must be true for tail-docking of dogs. One should also question the ethics of specialist breeding – especially when that results in physiological disadvantages (boxers with breathing troubles). There would appear to be no advantage to the animals in having such health problems and when these are the direct result of the breeders’ desire for specific cosmetic traits, we should question the ethics of the practice at least as much as when animals are bred for specific agricultural traits. (shrink)
In this paper I present two new arguments against the possibility of an omniscient being. My new arguments invoke considerations of cardinality and resemble several arguments originally presented by Patrick Grim. Like Grim, I give reasons to believe that there must be more objects in the universe than there are beliefs. However, my arguments will rely on certain mereological claims, namely that Classical Extensional Mereology is necessarily true of the part-whole relation. My first argument is an instance of a problem (...) first noted by Gideon Rosen and requires an additional assumption about the mereological structure of certain beliefs. That assumption is that an omniscient being’s beliefs are mereological simples. However, this assumption is dropped when I present my second argument. Thus, I hope to show that if Classical Extensional Mereology is true of the part-whole relation, there cannot be an omniscient being. (shrink)
The discussion of universals in Peter Abelard’s Logica ‘Ingredientibus’ has been interpreted in many ways. Of particular controversy has been the proper way to interpret his use of the term status. In this paper I offer an interpretation of status by comparing Abelard’s account of knowledge of universals to Edmund Husserl’s presentations of categorial and eidetic intuition. I argue that status is meant to be understood as something like an ideal object, in Husserl’s sense of the term. First, I present (...) Abelard’s discussion of status and distinguish this term from universals, things, acts of understanding, and forms. Next, I consider Husserl’s account of categorial and eidetic intuition. Finally, I draw parallels between the two while showing how an interpretation of status as ideal object overcomesthe interpretive problems encountered by other commentators on Abelard. (shrink)
Since we explain behavior by ascribing intentional states to the agent, many philosophers have assumed that some guiding principle of folk psychology like [Intentional States and Actions] must be true. [Intentional States and Actions]: If A and B are different actions, then the agents performing them must differ in their intentional states at the time they are performed. Recent results in the physiology of vision present a prima facie problem for this principle. These results show that some visual information that (...) guides spatial manipulation and fine motor control is unavailable for verbal report. Plausibly, this information is not consciously available to the agent, and as such, not available to inform the content of intentional states. Thus, it is hard to see how every difference in action is subject to intentional explanation, as [Intentional States and Actions] requires. I articulate the prima facie problem and argue that the most plausible solution requires us to reject [Intentional States and Actions]. (shrink)
In the last 50 years, multiauthored publications have become more prevalent, given the increasing number of collaborative, interdisciplinary, multicenter research studies. The determination of authorship credit and order is a difficult process, especially for graduate students, whose disadvantaged power position in research settings increases their vulnerability to exploitation. The American Psychological Association has published ethical standards for determining authorship credit, but the power difference inherent in the student-faculty relationship may complicate this ethical dilemma. The authors reviewed a number of previously (...) recommended strategies and proposed that determining authorship credit is most effectively facilitated through professional development. (shrink)
Human ability to freely choose requires knowledge of human nature and the final end of man. For Aristotle, this end is happiness or full flourishing, whichinvolves various virtues. Modern scholarship has led to debate over which virtues are absolutely necessary. Taking into account the hierarchical nature of the soul and the fact that relationships with the divine and with others are necessary for human flourishing, it can be seen that human flourishing requires contemplation, phronesis and all the moral virtues, as (...) perfections of the various parts of the soul. The truly happy person has actualized all of his faculties and potential relationships. Rather than taking one of the standard exclusivist or inclusivist viewpoints on this ‘problem of the two lives,’ this paper argues that a holistic reading of Aristotle’s ethical works requires a hierarchical and relational view of the virtues, with all of them necessary for human flourishing. (shrink)
words express the sentiment which sways the British nation in its dealings with the Boer republics; and this sentiment it is which, definitely displayed in this case, pervades indefinitely the political feeling now manifesting itself as Imperialism. Supremacy, where not clearly imagined, is vaguely present in the background of consciousness. Not the derivation of the word only, but all its uses and associations, imply the thought of predominance – imply a correlative subordination. Actual or potential coercion of others, individuals or (...) communities, is necessarily involved in the conception. (shrink)
§ . As a corollary to the proposition that all institutions must be subordinated to the law of equal freedom, we cannot choose but admit the right of the citizen to adopt a condition of voluntary outlawry. If every man has freedom to do all that he wills, provided he infringes not the equal freedom of any other man, then he is free to drop connection with the state - to relinquish its protection and to refuse paying toward its support. (...) It is self evident that in so behaving he in no way trenches upon the liberty of others, for his position is a passive one, and while passive he cannot become an aggressor. It is equally self evident that he cannot be compelled to continue one of a political corporation without a breach of the moral law, seeing that citizenship involves payment of taxes; and the taking away of a man's property against his will is an infringement of his rights. Government being simply an agent employed in common by a number of individuals to secure to them certain advantages, the very nature of the connection implies that it is for each to say whether he will employ such an agent or not. If anyone of them determines to ignore this mutual safety confederation, nothing can be said except that he loses all claim to its good offices and exposes himself to the danger of maltreatment - a thing he is quite at liberty to do if he likes. He cannot be coerced into political combination without a breach of the law of equal freedom; he can withdraw from it without committing any such breach, and he has therefore a right so to withdraw. (shrink)
In Propositional Attitudes, Mark Richard claims that some natural and formal language sentences of the form( x)( y)(x = y [y/x])are false. He suggests a substitution for that is sensitive to certain ancillary features of the variable letter as well as the assignment, and then argues that this substitution generates a false instance of the above-mentioned schema. I reject Richard's argument and argue further that the sentence is not an instance of that schema. I then argue that his putative natural (...) language example fails as well. Finally, I suggest that although Richard's mistake here does not present any technical problem for his semantics for attitude ascriptions, it undermines his claim that his semantic theory is better able to respect the surface form of attitude ascriptions in natural languages than competing theories. (shrink)
This article contributes to recent existentialist interventions in critical criminology (see Lippens and Crewe 2009) and offers the existential concept of ‘event’ as a guiding image for critical victimology. Whereas existential criminologists have examined crime and wrongdoing, very little attention has been given to victimization. I utilize the existential phenomenology of Martin Heidegger and Claude Romano to offer a critique of existing approaches to victimization within mainstream criminology and develop an evential analytic to understand the event of victimization. This paper (...) brings together existential philosophy and victimology to offer an alternative approach to victimization. I engage with the ‘problem of number’ in conventional victimology and offer a critique of quantitative approaches to victimization based on the unsubstitutability and singularity of existence. Through a discussion of selfhood and embodiment from an evential standpoint, this paper moves beyond existing victimological approaches to identity. I also consider the relationship between victimization and trauma. In the final section of the paper I carve out an alternative research agenda through a discussion of bearing witness and events of victimization. (shrink)