Hofstadter [1979, 2007] offered a novel Gödelian proposal which purported to reconcile the apparently contradictory theses that (1) we can talk, in a non-trivial way, of mental causation being a real phenomenon and that (2) mental activity is ultimately grounded in low-level rule-governed neural processes. In this paper, we critically investigate Hofstadter’s analogical appeals to Gödel’s [1931] First Incompleteness Theorem, whose “diagonal” proof supposedly contains the key ideas required for understanding both consciousness and mental causation. We maintain that bringing sophisticated (...) results from Mathematical Logic into play cannot furnish insights which would otherwise be unavailable. Lastly, we conclude that there are simply too many weighty details left unfilled in Hofstadter’s proposal. These really need to be fleshed out before we can even hope to say that our understanding of classical mind-body problems has been advanced through metamathematical parallels with Gödel’s work. (shrink)

Ideas for integrating AI into politics are now emerging and advancing at accelerating pace. This chapter highlights a few different varieties and show how they reflect different assumptions about the value of democracy. We cannot make informed decisions about which, if any, proposals to pursue without further reflection on what makes democracy valuable and how current conditions fail to fully realize it. Recent advances in political philosophy provide some guidance but leave important questions open. If AI advances to a state (...) where it can secure superior political outcomes, leading perspectives in political philosophy suggest that democracy may become obsolete. If we find this suggestion troubling, we need to put the case for democracy on stronger foundations. (shrink)

Traditional debate on the metaphysics of gender has been a contrast of essentialist and social-constructionist positions. The standard reaction to this opposition is that neither position alone has the theoretical resources required to satisfy an equitable politics. This has caused a number of theorists to suggest ways in which gender is unified on the basis of social rather than biological characteristics but is “real” or “objective” nonetheless – a position I term social objectivism. This essay begins by making explicit the (...) motivations for, and central assumptions of, social objectivism. I then propose that gender is better understood as a real kind with a historical essence, analogous to the biologist’s claim that species are historical entities. I argue that this proposal achieves a better solution to the problems that motivate social objectivism. Moreover, the account is consistent with a post-positivist understanding of the classificatory practices employed within the natural and social sciences. (shrink)

The kinds of real or natural kinds that support explanation and prediction in the social sciences are difficult to identify and track because they change through time, intersect with one another, and they do not always exhibit their properties when one encounters them. As a result, conceptual practices directed at these kinds will often refer in ways that are partial, equivocal, or redundant. To improve this epistemic situation, it is important to employ open-ended classificatory concepts, to understand when different research (...) programs are tracking the same real kind, and to maintain an ongoing commitment to interact causally with real kinds to focus reference on those kinds. A tempting view of these non-idealized epistemic conditions should be avoided: that they signal an ontological structure of the social world so plentiful that it would permit ameliorated classificatory schemes to achieve their normative aims regardless of whether they defer to real-kind classificatory schemes. To ground these discussions, the essay appeals to an overlooked convergence in the systematic naturalistic frameworks of Richard Boyd and Ruth Millikan. (shrink)

There is growing support for the view that social categories like men and women refer to “objective types” (Haslanger 2000, 2006, 2012; Alcoff 2005). An objective type is a similarity class for which the axis of similarity is an objective rather than nominal or fictional property. Such types are independently real and causally relevant, yet their unity does not derive from an essential property. Given this tandem of features, it is not surprising why empirically-minded researchers interested in fighting oppression and (...) marginalization have found this ontological category so attractive: objective types have the ontological credentials to secure the reality (and thus political representation) of social categories, and yet they do not impose exclusionary essences that also naturalize and legitimize social inequalities. This essay argues that, from the perspective of these political goals of fighting oppression and marginalization, the category of objective types is in fact a Trojan horse; it looks like a gift, but it ends up creating trouble. I argue that objective type classifications often lack empirical adequacy, and as a result they lack political adequacy. I also provide, and in reference to the normative goals described above, several arguments for preferring a social ontology of natural kinds with historical essences. (shrink)

Calls to hold artificial intelligence to account are intensifying. Activists and researchers alike warn of an “accountability gap” or even a “crisis of accountability” in AI. Meanwhile, several prominent scholars maintain that accountability holds the key to governing AI. But usage of the term varies widely in discussions of AI ethics and governance. This chapter begins by disambiguating some different senses and dimensions of accountability, distinguishing it from neighboring concepts, and identifying sources of confusion. It proceeds to explore the idea (...) that AI operates within an accountability gap arising from technical features of AI as well as the social context in which it is deployed. The chapter also evaluates various proposals for closing this gap. I conclude that the role of accountability in AI ethics and governance is vital but also more limited than some suggest. Accountability’s primary job description is to verify compliance with substantive normative principles—once those principles are settled. Theories of accountability cannot ultimately tell us what substantive standards to account for, especially when norms are contested or still emerging. Nonetheless, formal mechanisms of accountability provide a way of diagnosing and discouraging egregious wrongdoing even in the absence of normative agreement. Providing accounts can also be an important first step toward the development of more comprehensive regulatory standards for AI. (shrink)

There is broad agreement among social researchers and social ontologists that the project of dividing humans into social kinds should be guided by at least two methodological commitments. First, a commitment to what best serves moral and political interests, and second, a commitment to describing accurately the causal structures of social reality. However, researchers have not sufficiently analyzed how these two commitments interact and constrain one another. In the absence of that analysis, several confusions have set in, threatening to undermine (...) shared goals for the responsible modeling of social kinds of humans. This essay first explains the source and substance of these confusions. Then, by distinguishing different value-laden investigative questions into the classification of social kinds of humans, it sets out specific relations of dependence and constraint between empirically-driven investigations and value-driven investigations into social kinds of humans. The result is a more detailed and fruitful framework for thinking about the classification of social kinds that respects both normative interests and mind-independent causal regularities. (shrink)

In domains like stock brokerage, clinical psychiatry, and long‐term political forecasting, experts generally fail to outperform novices. Empirical researchers agree on why this is: experts must receive direct or environmental learning feedback during training to develop reliable expertise, and these domains are deficient in this type of feedback. A growing number of philosophers resource this consensus view to argue that, given the absence of direct or environmental philosophical feedback, we should not give the philosophical intuitions or theories of expert philosophers (...) greater credence than those of novice philosophers. This article has three objectives. The first is to explore several overlooked issues concerning the strategy of generalizing from empirical studies of non‐philosophical expertise to the epistemic status of philosophical expertise. The second is to explain why empirical research into a causal relationship between direct learning feedback and enhanced expert performance does not provide good grounds for abandoning a default optimism about the epistemic superiority of expert philosophical theories. The third is to sketch a positive characterization of learning feedback that addresses developmental concerns made salient by the empirical literature on expert performance for specifically theory‐driven or “armchair” domains like philosophy. (shrink)

Attempts have been made to prove God's non-existence. Often this takes the form of an appeal to the so-called Argument from Evil: if God were to exist, then he would not permit as much suffering in the world as there actually is. Hence the fact that there is so much suffering constitutes evidence for God's non-existence. In this essay I propose a variation which I shall call ‘The Argument from Non-belief’. Its basic idea is that if God were to exist, (...) then he would not permit as much non-belief in the world as there actually is. Hence the fact that there is so much non-belief constitutes evidence for God's non-existence. (shrink)

Beauvoir’s The Second Sex stands out as a master class in the accommodation of conceptual and inferential practices to real, objective gender kinds. Or so I will argue. To establish this framing, we will first need in hand the kind of scientific epistemology that correctly reconciles epistemic progress and error, particularly as pertains to the unruly social sciences. An important goal of the paper is to develop that epistemological framework and unlock its ontological implications for the domain of gender. As (...) we will see, the real gender kinds that contemporary social scientists successfully identify and track are very much the same kinds to which Beauvoir was coordinating reference in The Second Sex. The correct identification of those kinds endures as a moral and political priority, regardless of one’s other gender-related normative agenda. (shrink)

Analogical cognition refers to the ability to detect, process, and learn from relational similarities. The study of analogical and similarity cognition is widely considered one of the ‘success stories’ of cognitive science, exhibiting convergence across many disciplines on foundational questions. Given the centrality of analogy to mind and knowledge, it would benefit philosophers investigating topics in epistemology and the philosophies of mind and language to become familiar with empirical models of analogical cognition. The goal of this essay is to describe (...) recent empirical work on analogical cognition as well as model applications to philosophical topics. Topics to be discussed include the epistemological distinction between implicit knowledge and explicit knowledge, the debate between empiricists and nativists, the frame problem, expertise, creativity and autism, cognitive architecture, and relational knowledge. Particular attention is given to Dedre Gentner and colleague’s structure-mapping theory – the most developed and widely accepted model of analogical cognition. (shrink)

Modularity theorists have challenged that there are, or could be, general learning mechanisms that explain theory-of-mind development. In response, supporters of the ‘scientific theory-theory’ account of theory-of-mind development have appealed to children's use of auxiliary hypotheses and probabilistic causal modeling. This article argues that these general learning mechanisms are not sufficient to meet the modularist's challenge. The article then explores an alternative domain-general learning mechanism by proposing that children grasp the concept belief through the progressive alignment of relational structure that (...) occurs as a result of structural-comparison. The article also explores the implications of the proposed account for Fodor's puzzle of conceptual learning. (shrink)

In some domains experts perform better than novices, and in other domains experts do not generally perform better than novices. According to empirical studies of expert performance, this is because the former but not the latter domains make available to training practitioners a direct form of learning feedback. Several philosophers resource this empirical literature to cast doubt on the quality of philosophical expertise. They claim that philosophy is like the dubious domains in that it does not make available the good, (...) direct kind of learning feedback, and thus there are empirical grounds for doubting the epistemic quality of philosophical expertise. I examine the empirical studies that are purportedly bad news for professional philosophers. On the basis of that examination, I provide three reasons why the empirical study of non-philosophical expertise does not undermine the status of philosophical expertise. First, the non-philosophical task-types from which the critics generalize are unrepresentative of relevant philosophical task-types. Second, empirical critiques of non-philosophical experts are often made relative to the performance of linear models—a comparison that is inapt in a philosophical context. Third, the critics fail to discuss findings from the empirical study of non-philosophical expertise that have more favorable implications for the epistemic status of philosophical expertise. In addition to discussing implications for philosophical expertise, this article makes progress in the philosophical analysis of the science of expertise and expert development. (shrink)

The paper discusses the active part in the process of perceiving, usually expressed by the Greek word krinein. It is argued that krinein in one of its uses means "to judge" in the sense of judging a case, i. e. deciding it. It is not used for making statements. A second meaning of the Greek word is that of discerning or discriminating, and it is this meaning that plays a central part in Aristotle's theory of perception.

Experimental philosophy involves subjecting philosophical methods and judgments to empirical scrutiny. I begin by exploring conceptual, confirmational, and empirical factors that limit the significance of experiment-based and survey-based approaches to the evaluation of philosophical epistemic activities. I then consider specific criticisms of experimental philosophy: its experimental conditions lack ecological validity; it wrongly assumes that philosophers rely on psychologized data; it overlooks the reflective and social elements of philosophical case analysis; it misconstrues the importance of both procedural and evaluative forms of (...) philosophical expertise; it incorrectly views psychological bias as incompatible with reliability; and it generalizes to a global, self-defeating skepticism about case judgment. I explain why these criticisms should be understood as converging and interdependent. I also set out a three-level model of philosophical case judgment that frames the criticisms. (shrink)

The theory of mind debate has reached a “hybrid consensus” concerning the status of theory-theory and simulation-theory. Extant hybrid models either specify co-dependency and implementation relations, or distribute mentalizing tasks according to folk-psychological categories. By relying on a non-developmental framework these models fail to capture the central connection between simulation and theory. I propose a “dynamic” hybrid that is informed by recent work on the nature of similarity cognition. I claim that Gentner’s model of structure-mapping allows us to understand simulation (...) as a process in which psychological representations are aligned, causing the spontaneous abstraction of theoretical generalizations about the psychological domain. (shrink)

The question as to what makes a perfect Aristotelian syllogism a perfect one has long been discussed by Aristotelian scholars. G. Patzig was the first to point the way to a correct answer: it is the evidence of the logical necessity that is the special feature of perfect syllogisms. Patzig moreover claimed that the evidence of a perfect syllogism can be seen for Barbara in the transitivity of the a-relation. However, this explanation would give Barbara a different status over the (...) other three first figure syllogisms. I argue that, taking into account the role of the being-contained-as-in-a-whole formulation, transitivity can be seen to be present in all four first figure syllogisms. Using this wording will put the negation sign with the predicate, similar to the notation in modern predicate calculus. (shrink)

This paper presents a new solution to the problem of peer disagreement that distinguishes two principles of rational belief, here called probability and autonomy. When we discover that we disagree with peers, there is one sense in which we rationally ought to suspend belief, and another in which we rationally ought to retain our original belief. In the first sense, we aim to believe what is most probably true according to our total evidence, including testimony from peers and authorities. In (...) the second, we aim to base our beliefs only on objective evidence and argumentation, even if that lowers the probability of their being true. The first principle of rational belief tends to serve the short-term epistemic interests of individuals, while the second tends to serve the long-term epistemic interests of both individuals and groups. The best way to reconcile these principles in cases of peer disagreement is to associate them with two corresponding species of belief, here called perception and opinion. (shrink)

In July 2020, more than 1,000 companies that advertise on social media platforms withdrew their business, citing failures of the platforms (especially Facebook) to address the proliferation of harmful content. The #StopHateForProfit movement invites reflection on an understudied topic: the ethics of boycotting by corporations. Under what conditions is corporate boycotting permissible, required, supererogatory, or forbidden? Although value-driven consumerism has generated significant recent discussion in applied ethics, that discussion has focused almost exclusively on the consumption choices of individuals. As this (...) article underscores, value-driven consumerism by business corporations complicates these issues and invites further examination. We propose principles for the ethics of boycotting by corporations, indicate how these principles relate to different CSR paradigms, and show how these insights can help assess recent instances of corporate boycotting. (shrink)

It is increasingly clear that children's excessive consumption of products high in added sugar causes obesity and obesity-related health problems like type 2 diabetes, cardiovascular disease, and metabolic syndrome. Less clear is how best to address this problem through public health policy. In contrast to policies that might conflict with adult's right to self-determination — for example sugar taxes and soda bans — this article proposes that children's access to products high in added sugars should be restricted in the same (...) way that children's access to tobacco products is restricted. The article first considers how the recommended policy will protect a child's right to an open future while not violating parental rights. The article then explores how the implementation of the recommended policy can help transform the social meaning of sugar and thereby curb the parental supply of added sugar to children — a central cause of obesity. The article also addresses several potential objections. (shrink)

I argue, firstly, that the accounts of 'accident' in Aristotle's Met. V 30 and in Top. I 5 cannot be used to elucidate each other: the Metaphysics passage tries to disentangle the uses of a Greek word, the Topics passage introduces technical terms for Aristotle's semantics. I then argue that the positive definition in Top. I 5 is to be understood in the following way: X is an accident of Y iff X belongs to Y and if there is a (...) Z such that X can belong to Z and also not belong to Z. Thus, being white is an accident of snow. I finally argue that certain shortcomings in the Topics account lead Aristotle to redefine accident in the Posterior Analytics. (shrink)

Intergenerational transfers are a core feature of the practice of private philanthropy. A substantial portion of the resources committed to charitable causes comes from transfers (either during life or at death) that continue to pay out after death. Indeed, much of the power of the charitable foundation lies in its ability to extend the life of an enterprise beyond the mortal existence of its initiating agents. Despite their prevalence, whether and in what way the instruments of intergenerational philanthropy can be (...) justified is controversial. Many have argued that these instruments unfairly privilege the interests of the dead at the expense of the living and unborn. More recently, others have argued that intergenerational charitable transfers comport with the demands of distributive justice and are therefore legitimate. This paper contends that both of these perspectives fail to see the problem for what it is. Intergenerational charitable transfers may indeed promote justice in certain respects, but they do so at the cost of imposing the judgments of the dead onto the living. Respecting the wishes of the past conflicts with an interest in “generational sovereignty.” The paper concludes that properly accounting for this interest in generational sovereignty doesn’t require the abolition of intergenerational philanthropy. But it does tell in favor of a different regulatory orientation than most legal systems currently adopt. (shrink)

Kant’s Categorical Imperative (CI) is to be taken as a necessary and sufficient condition for any action that is permissible, i. e. not prohibited. The class of permissible actions contains actions which are allowed as well as those which are morally required. If to perform an action and to abstain from this action can be taken to be ‘practical opposites’, then an action that is morally required for, a duty, is an action whose practical opposite is prohibited, and vice versa. (...) The class of actions which are merely allowed (neither prohibited nor morally required for) contains all and only those actions who together with their practical opposites belong to the class of permissible (not prohibited) actions. The paper then adduces passages from Kant’s ethical writings on the CI supporting these distinctions. (shrink)

For the last several years I have made the daily newspaper the pedagogical center piece of my philosophy seminar. This essay begins by describing the variations, themes, and logistics of this approach. The essay then offers several arguments in support of the value of this approach. The first argument references measurable indicators of success. A second argument contends that by “going live” with philosophical concepts, the newspaper-centered approach is uniquely well-positioned to motivate and excite the philosophy student. A third argument (...) claims that the newspaper-centered approach is well-positioned to construct an individualized bridge between the student and the world of philosophy. (shrink)

Why is science so rare and faith so common in human history? Traditional cultures persist because it is subjectively rational for each maturing child to defer to the unanimous beliefs of his elders, regardless of any personal doubts. Science is possible only when individuals promote new theories (which will probably be proven false) and forgo the epistemic advantages of accepting established views (which are more likely to be true). Hence, progressive science must rely upon the epistemic altruism of experimental thinkers, (...) while traditions of faith depend on the epistemic self-interest of their followers. (shrink)

This paper discusses the reports in Diogenes Laertius and in Sextus Empiricus concerning the classification of propositions. It is argued that the material in Sextus uses a source going back to the Dialectical school whose most prominent members were Diodorus Cronus and Philo of Megara. The material preserved in Diogenes Laertius, on the other hand, goes back to Chrysippus.

This paper (1) criticizes Patzig's explanation of Aristotle's reason for calling his first figure syllogisms perfect syllogisms, i.e. the transitivity relation: it can only be used for Barbara, not for the other three moods. The paper offers (2) an alternative interpretation: It is only in the case of the (perfect) first figure moods that we can move from the subject term of the minor premiss, taken to be a predicate of an individual, to the predicate term of the major premiss. (...) This contention is supported (i) by Aristotle's wording of the dictum de omni et nullo and (ii) by Aristotle's use of a formula which puts the minor term in the first position when he first states Barbara and Celarent. (shrink)

In this paper I defend the existence of a Dialectical school proper against criticisms brought forward by Klaus Döring and by Jonathan Barnes. Whereas Döring claims that there was no Dialectical school separate from the Megarians, Barnes takes issue with my claim (argued for in “Dialektiker und frühe Stoiker bei Sextus Empiricus”) that most of the reports in Sextus on the dialecticians refer to members of the Dialectical school. Barnes contends that these dialecticians are in fact Stoic logicians. As against (...) Döring, I argue that the passage in Diogenes Laertius II 113 (first drawn attention to by David Sedley) which talks of a the Megarian Stilpo winning over disciples from the Dialecticians is not refuted by Döring’s arguments. It clearly shows that the Dialecticians and the Megarians at the time were taken to be different philosophical sects. As against Barnes I insist on the differences between the report in Ps.-Galen’s Historia 9 and the Sextan report on the theory of sign in AM VIII. These reports offer incompatible definitions of the indicative sign. Moreover, the classification of simple propositions reported by Sextus at AM VIII 96f. cannot be a truncated version of the (Stoic) list to be found in Diogenes Laertius VII 69f. since in Sextus’ report one of the three classes of simple propositions is labelled middle (meson). This is a certain sign that we are dealing with a triad, and hence that this list is meant to be complete. Therefore the classification found in Sextus and attributed to the dialecticians and the one in Diogenes Laertius reporting Stoic material do come from different sources. (shrink)

[ES] Esta es una discusión de algunos temas vagamente conectados en los artículos de Saul Kripke «The first person» y «Frege’s theory of sense and reference». [EN] This is a discussion of some loosely connected issues in Saul Kripke’s articles «The first person» and «Frege’s theory of sense and reference».

The paper discusses Habermas` contribution to a debate between him and Joseph Ratzinger, at the time the prefect of the Congregation for the Catholic faith. Habermas is criticized for his tendency to adopt openly anti-enlightenment positions.

This is a reply to Vincent Carraud/René Verdon « Remarques circonspectes sur la mort de Descartes » (published in Revue du dix-septième siècle, n° 265, 2014/4, pp. 719-726, online: http://www.cairn.info/revue-dix-septieme-siecle-2014-4-page-719.htm, containing a critique of my "L'énigme de la mort de Descartes" Paris, 2011). I discuss the fatal illness and the death of Descartes, arguing that Descartes was very probably the victim of arsenical poisoning. The suspected murderer is a French priest, François Viogué, living with Descartes in 1650 at the French (...) embassy in Stockholm who may have seen in Descartes an obstacle to the hoped for conversion of queen Christina of Sweden. As against Carraud/Verdon I stress the medical facts, in particular the fact that Descartes himself seems to have suspected poisoning, since he asked for an emetic shortly before his death. (shrink)

I contend that “philosophos” is meant to carry the connotation of a Pythagorean: Euenus is a native from Paros which had a strong Pythagorean community down to the end of the fifth century. Moreover, “philosophos” was used to refer to the Pythagoreans, as can be seen from the story related by Cicero from Heraclides Ponticus (Tusc. Disp. V, iii, 7-8; cp. DL, 1.12; 8.8). I argue (against Burkert) that even if this story is part of the lore surrounding Pythagoras and, (...) hence, without historical value as for Pythagoras, it may still be used as evidence for the use of “philosophos” among latter-day Pythagoreans. (shrink)

This reply affirms Temkin’s critical perspective on effective altruism but seeks to draw out its constructive implications. It first encourages Temkin to defend the practical urgency of global poverty in the face of doubts about aid effectiveness. It then argues for a more holistic conception of effectiveness to mitigate these doubts. It considers some alternative aid strategies that respond to this broader conception. Finally, it exhorts effective altruists to think more seriously about the reform of global institutions.

The paper starts from a distinction between two terms in Aristotle: kategoroumenon and kategoria. It is argued that the job of the first is to pick out 'predicated predicates' (i.e. predicates attached to a specific subject), the job of the second is to designate 'predicable predicates' (terms which can be attached to specific subjects). It is then argued (1) that Aristotle's division of the (erroneously) so-called 'predicables' (i. e. genus, proprium, definiens, accident) is a classification of predicated predicates, (2) that (...) the list of the "genera of kategoriai" in Top. I 9 which starts with ti estin (essence) as its first member contains a classification of predicable predicates, and (3) that the list in Cat. 4 (starting with ousia, 'substance') is a classification not of kategoriai, but of things there are. (shrink)

The reason for Aristotle’s treatment of (traditional) fourth figure syllogisms as first figure syllogisms with inverted terms in the conclusion is the following: To disprove the conclusiveness of a premiss pair Aristotle formulates two triplets of true propositions such that two of them correspond to the premiss pair in question and that the third proposition corresponding to a conclusion is an a-proposition in the first case, an e-proposition in the other. Since the truth of an a-proposition grants the falsity of (...) the contrary e- and of the contradictory o-proposition, the first triplet offers two counter-instances for invalid syllogisms with true premisses and false conclusions. Similarly the true e-proposition grants the falsity of an a- and an i-conclusion. Since an a-proposition can be converted to an i-proposition and an e-proposition is equivalent to its converse, these first figure triplets also disprove any first figure syllogism with converted conclusions, with the exception of o-conclusions. The invalidity of the latter ones, however, can be shown by using premiss conversions of (invalid) second and third figure syllogisms. The proposed explanation also makes clear why there are no rejection proofs for invalid syllogisms of (traditional) fourth figure syllogisms in the Analytics. (shrink)

This paper discusses the question why the first edition of Descartes' Meditations carries a title announcing a proof of the immortality of the soul, whereas Descartes himself (in the Synopsis as well as in his Replies) explicitly denies any intention to deliver such a proof. In the first part of the paper, I refute existing attempts to explain this inconsistency. In the second part, I argue that it was Descartes' intention to announce a proof for the immaterialitas, not for the (...) immortalitas of the soul, and that the first of these two words has been misread, probably by the Paris printer, and turned into immortalitas. I first adduce as evidence a remark by Baillet in his second (abbreviated) version of Descartes' biography, a remark that has hitherto gone unnoticed in the learned literature. (Baillet explicitly states, using French words indeed, that immortalitas/immortalité was put instead of immaterialitas/immaterialité.) I secondly point to three statements by Descartes concerning either the Meditations or the content of metaphysics generally; Descartes mentions the immateriality of the soul on all three occasions. -/- . (shrink)

Gini coefficients, which measure gross inequalities rather than their unfair components, are often used as proxy measures of absolute or relative distributive injustice in Western societies. This presupposes that the fair inequalities in these societies are small and stable enough to be ignored. This article presents a model for a series of ideal, perfectly just societies, where comfortable lives are equally available to everyone, and calculates the Gini coefficients for each. According to this model, inequalities produced by age and other (...) demographic factors, together with reasonable choices under equal opportunity, can raise the Gini coefficients for perfectly just societies to levels at least as high as those of any current Western country, and can as easily account for differences in Gini coefficients between such societies or within one such society over time. If Gini coefficients at these levels are possible for ideal societies without distributive injustice, then they should not be used as proxy measures of distributive injustice in real societies. (shrink)

This article offers a simple technical resolution to the problem of induction, which is to say that general facts are not always inferred from observations of particular facts, but are themselves sometimes defeasibly observed. The article suggests a holistic account of observation that allows for general statements in empirical theories to be interpreted as observation reports, in place of the common but arguably obsolete idea that observations are exclusively particular. Predictions and other particular statements about unobservable facts can then appear (...) as deductive consequences of such general observation statements, rather than inductive consequences of other particular statements. This semantic shift resolves the problem by eliminating induction as a basic form of inference, and folding the justification of general beliefs into the more basic problem of perception. (shrink)

Solipsism can be refuted along fairly traditional, internalist lines, by means of a second-order induction. We are justified in believing in other minds, because other people tell us that they have minds, and we have good inductive reason to believe that whatever certain others say is likely to be true. This simple argument is sound, the author argues, even though we are in no prior position to believe that other thinking people exist as such, or that the sounds they make (...) have any meaning. The mere phenomenal surfaces of others' statements form sufficient grounds for the induction that the argument requires. (shrink)

This article provides an intuitive semantic account of a new logic for comparisons (CL), in which atomic statements are assigned both a classical truth-value and a “how much” value or extension in the range [0, 1]. The truth-value of each comparison is determined by the extensions of its component sentences; the truth-value of each atomic depends on whether its extension matches a separate standard for its predicate; everything else is computed classically. CL is less radical than Casari’s comparative logics, in (...) that it does not allow for the formation of comparative statements out of truth-functional molecules. It is argued that CL provides a better analysis of predicate vagueness than classical logic, fuzzy logic or supervaluation theory. (shrink)

There are things of which it is true to say that there are no such things. How can we resolve this paradox? Panayot Butchvarov argues that there are objects of reference that are not also entities, where the former must merely be thinkable but the latter must be indefinitely re-identifiable. This paper argues that fictional and many other unreal objects are indeed indefinitely re-identifiable, so they must be counted as existing things on Butchvarov's theory. The paradox is best resolved by (...) distinguishing among domains of existence: Sherlock Holmes exists in the unrestricted domain of objects and in the fictional domain created by Conan Doyle, but not in the domain of the real world. Thus to exist and to be real are different things; all objects exist in some domain, but only real objects really exist. (shrink)

Why does Aristotle not use the copulative wording for categorical propositions, but instead the clumsier terminological formulations (e. g. the B belongs to every A) in his syllogistic? The proposed explanations by Alexander, Lukasiewicz and Patzig: Aristotle wants to make clear the difference between subject and predicate, seems to be insufficient. In quantified categorical propositions, this difference is always sufficiently clear by the use of the pronouns going with the subject expressions. Aristotle opts for the terminological wording because in premiss (...) pairs of figures two and three he can thus suppress the middle term in one of the premisses and connect the major and minor term, using connecting particles. This renders the syllogisms more transparent. Had he used the copulative wording instead, he would have run into difficulties, in particular with o-propositions among the premisses (i. e. in Baroco and Bocardo) because in these cases the pronoun expressing the quantification would have to go with the subject term, the negation with the predicate. (shrink)

Empirical knowledge exists in the form of antiskeptical conditionals, which are propositions like [if I am not undetectably deceived, then I am holding a pen]. Such conditionals, despite their trivial appearance, have the same essential content as the categorical propositions that we usually discuss, and can serve the same functions in science and practical reasoning. This paper sketches out two versions of a general response to skepticism that employs these conditionals. The first says that our ordinary knowledge attributions can safely (...) be replaced by statements using antiskeptical conditionals, which provides a way around the standard sort of skeptical argument while accepting its soundness with respect to the usual targets. The second analyzes the objects of our ordinary knowledge attributions as antiskeptical conditionals, which allows us to refute, not just evade, the skeptic's argument. Both versions compare favorably to the best-knowncurrent approaches to skepticism, including semantic contextualism. (shrink)

In this paper I provide some formal schemas for the analysis of vague predicates in terms of a set of semantic relations other than classical synonymy, including weak synonymy (as between "large" and "huge"), antonymy (as between "large" and "small"), relativity (as between "large" and "large for a dog"), and a kind of supervenience (as between "large" and "wide" or "long"). All of these relations are representable in the simple comparative logic CL, in accordance with the basic formula: the more (...) something is F, the more (or less) it is G. I use Carnapian meaning postulates to define these relations as constraints on interpretations of the formal language of CL. (shrink)

After a presentation of the problem of God's hiddenness, there is discussion of two arguments for God's nonexistence related to that problem. One is the Lack-of-evidence Argument (LEA), according to which there would have been good objective evidence of God's existence if he were to exist. The other is the Argument from Nonbelief (ANB), according to which there would not be as many nonbelievers as there actually are if God were to exist. Reasons are given for assessing ANB as a (...) stronger argument than LEA. (shrink)

A version of the Fine-tuning Argument (FTA) considered in a previous essay is replaced by an improved version, which is then refuted.Advocates of FTA must proclaim that there is no world ensemble, that a great many alternatives to the physical constants of our universe are physically possible and roughly equal in probability to them, and that alternate hypothetical worlds are all, or almost all, uninteresting in comparison to our universe. But no reason has been produced to believe any of these (...) claims, and so FTA, even in its improved version, can still be dismissed as unsupported, doubtful, and weak. (shrink)

This online essay puts forth and defends precise definitions of the terms "atheism," "agnosticism." and "[theological] noncognitivism.".

This online essay explores how the term "miracle" is best defined and whether it is possible for scientists, as scientists, to believe in miracles.