The capacity of visual attention/STM can be determined by change-detection experiments. Detecting the presence of change leads to an estimate of 4 items, while detecting the absence of change leads to an estimate of 1 item. Thus, there are two magical numbers in vision: 4 and 1. The underlying limits, however, are not necessarily those of central STM.

With the aid of some results from current linguistic theory I examine a recent anti-Fregean line with respect to hybrid talk of numbers and ordinary things, such as ‘the number of moons of Jupiter is four’. I conclude that the anti-Fregean line with respect to these sentences is indefensible.

This Element, written for researchers and students in philosophy and the behavioral sciences, reviews and critically assesses extant work on number concepts in developmental psychology and cognitive science. It has four main aims. First, it characterizes the core commitments of mainstream number cognition research, including the commitment to representationalism, the hypothesis that there exist certain number-specific cognitive systems, and the key milestones in the development of number cognition. Second, it provides a taxonomy of influential views within mainstream number cognition (...) research, along with the central challenges these views face. Third, it identifies and critically assesses a series of core philosophical assumptions often adopted by number cognition researchers. Finally, the Element articulates and defends a novel version of pluralism about number concepts. (shrink)

Suppositions can be introduced in either the indicative or subjunctive mood. The introduction of either type of supposition initiates judgments that may be either qualitative, binary judgments about whether a given proposition is acceptable or quantitative, numerical ones about how acceptable it is. As such, accounts of qualitative/quantitative judgment under indicative/subjunctive supposition have been developed in the literature. We explore these four different types of theories by systematically explicating the relationships canonical representatives of each. Our representative qualitative accounts of (...) indicative and subjunctive supposition are based on the belief change operations provided by AGM revision and KM update respectively; our representative quantitative ones are offered by conditionalization and imaging. This choice is motivated by the familiar approach of understanding supposition as `provisional belief revision' wherein one temporarily treats the supposition as true and forms judgments by making appropriate changes to their other opinions. To compare the numerical judgments recommended by the quantitative theories with the binary ones recommended by the qualitative accounts, we rely on a suitably adapted version of the Lockean thesis. Ultimately, we establish a number of new results that we interpret as vindicating the often-repeated claim that conditionalization is a probabilistic version of revision, while imaging is a probabilistic version of update. (shrink)

A ‘lottery belief’ is a belief that a particular ticket has lost a large, fair lottery, based on nothing more than the odds against it winning. The lottery paradox brings out a tension between the idea that lottery beliefs are justified and the idea that that one can always justifiably believe the deductive consequences of things that one justifiably believes – what is sometimes called the principle of closure. Many philosophers have treated the lottery paradox as an argument against the (...) second idea – but I make a case here that it is the first idea that should be given up. As I shall show, there are a number of independent arguments for denying that lottery beliefs are justified. (shrink)

The debate over persistence currently involves three competing theories—one three-dimensionalist theory called “endurantism” and two four-dimensionalist theories called “perdurantism” and “exdurantism.” This inner debate between the latter two persistence theories is what I aim to clarify, and ultimately, I argue that perdurantism is superior to exdurantism because exdurantism is too extravagant in counting ordinary objects in the world. Extravagant for the reason that objects in their entirety are bound to their momentary stages, and there is practically an interminable number (...) of these stages, which is not reasonable when counting in the ordinary world. (shrink)

All accepted proofs of the Four Colour Theorem (4CT) are computer-dependent; and appeal to the existence, and manual identification, of an ‘unavoidable’ set containing a sufficient number of explicitly defined configurations—each evidenced only by a computer as ‘reducible’—such that at least one of the configurations must occur in any chromatically distinguished, minimal, planar map. For instance, Appel and Haken ‘identified’ 1,482 such configurations in their 1977, computer-dependent, proof of 4CT; whilst Neil Robertson et al ‘identified’ 633 configurations as sufficient (...) in their 1997, also computer-dependent, proof of 4CT. However, treating any specific number of ‘reducible’ configurations in an ‘unavoidable’ set as sufficient entails a minimum number as necessary and sufficient. We now show that the minimum number of such configurations can only be the one corresponding to the ‘unavoidable’ set of a ‘reducible’, 4-sided configuration identified by Alfred Kempe in his, seemingly fatally flawed, 1879 ‘proof’ of 4CT. Although Kempe appealed to putative properties of ‘Kempe’ chains in a graphical representation to fallaciously argue that a 5-sided configuration was also in the ‘unavoidable’ set, and ‘reducible’, we shall show why the flaw in his ‘proof’ is not fatal when the argument is expressed geometrically; and that, essentially, Kempe correctly argued that any planar map which admits a chromatic differentiation with a five-sided area C that shares non-zero boundaries with four, all differently coloured, neighbours can be 4-coloured. (shrink)

The aim of this paper is to explore and understand the Albanian Party System. The analysis will cover the period from the collapse of the communist regime in 1991 until 2014. It will try to investigate what forces drive the battle of the parties, what cleavages 'divide' society and consequently the party system as well as which are the parties that count the most. in order to assess this, the paper will focus on the parliamentary parties and will relay on (...) various theoretical concepts of the contemporary literature on political parties. First it will draw on Sartori's concept of 'relevance' in order to understand whether all the parliamentary parties over the course of twenty four years of pluralism are important or not and what weight do they have. Then it will use the Laakso - Taagepera index of the Effective Number of Parties to understand how power is distributed within the parliament. (shrink)

To your left, three strangers are drowning. To your right, one other stranger is drowning. You can effortlessly save the three by throwing a lifebuoy to your left. Alternatively, you can save the one by throwing the lifebuoy to your right. You cannot save all four. What should you do? It’s wrong to do nothing, but is it wrong to save just the one stranger? Are you morally required to save the three? Many claim that, when those you can (...) help are innocent strangers with similar interests at stake, you’re required to save the greater number. Is this claim justified? This essay reviews some doubts. (shrink)

All acknowledged proofs of the Four Colour Theorem (4CT) are computerdependent. They appeal to the existence, and manual identification, of an ‘unavoidable’ set containing a sufficient number of explicitly defined configurations—each evidenced only by a computer as ‘reducible’—such that at least one of the configurations must occur in any chromatically distinguished, putatively minimal, planar map. For instance, Appel and Haken ‘identified’ 1,482 such configurations in their 1977, computer-dependent, proof of 4CT; whilst Neil Robertson et al ‘identified’ 633 configurations as (...) sufficient in their 1997, also computer-dependent, proof of 4CT. However, treating any specific number of ‘reducible’ configurations in an ‘unavoidable’ set as sufficient entails a minimum number as necessary and sufficient. We now show that the minimum number of such configurations can only be the one corresponding to the ‘unavoidable’ set of the single, ‘reducible’, 4-sided configuration identified by Alfred Kempe in his, seemingly fatally flawed, 1879 ‘proof’ of 4CT. We shall further show that although Kempe fallaciously concluded that a 5-sided configuration was also in the ‘unavoidable’ set, and appealed to unproven properties of ‘Kempe’ chains in a graphical representation to then argue for its ‘reducibility’, neither flaw in his ‘proof’ is fatal when the argument is expressed geometrically; and that, essentially, Kempe correctly argued that any planar map which admits a chromatic differentiation with a five-sided area C that shares non-zero boundaries with four, all differently coloured, neighbours can be 4-coloured. (shrink)

The purpose of this study is to identify the factors affecting the organizational performance. Four factors, motivation, ability, roles, and situation, will be in-dept identified to explore how each factor positively impacts the organizational performance. The study is conducted, using applied qualitative descriptive approach and analysis method. The fours factors (Motivation, Ability, Roles, Organizational Support) are adopted from a few previous studies. Each factor is studied and analyzed based on empirical papers that have been observed, tested, and experienced by (...) vaiours articles from different countries’ authors. After the description of each factor, it is found that a number of organizations have been considerably affected by these four factors. In addition, each factor is found to be very dependent to one another. A constant growth of organizational performance should be steadily dependent on the four factors, meaning that the organization should apply all the four factors at the same time to ensure its constant increasing performance. It is noted that an absence of one factor will definitely lead to the fall and decrease of the performance of the organization and the presence of the four factors at the same time will definitely ensure the increasing performance of the organization. (shrink)

What Stanislas Debaene dubs "the number sense" is a natural ability humans share with other animals, enabling us to "count" to four virtually instantaneously. This so-called "accumulator" provides "a direct intuition of what numbers mean". Beyond four, our ability to perceive numbers becomes approximate, though concepts enable us to move beyond approximation. Because humans typically learn number concepts in early childhood, we easily forget that our brains retain the number sense throughout life. This book examines the (...) biological basis for this intuitive ability, with nine chapters organized into three readily graspable groups of three. Aside from its frustrating lack of a clear referencing system, the book is a pleasure to read. (shrink)

Number words seemingly function both as adjectives attributing cardinality properties to collections, as in Frege’s ‘Jupiter has four moons’, and as names referring to numbers, as in Frege’s ‘The number of Jupiter’s moons is four’. This leads to what Thomas Hofweber calls Frege’s Other Puzzle: How can number words function as modifiers and as singular terms if neither adjectives nor names can serve multiple semantic functions? Whereas most philosophers deny that one of these uses is genuine, we (...) instead argue that number words, like many related expressions, are polymorphic, having multiple uses whose meanings are systematically related via type shifting. (shrink)

Tetrainertia, as a universal process, function of moving matter, is its structural characteristic. And the sphere is a product of matter, its concrete form and a figurative model for studying the properties of tetrainertia. This thinking is a supplement to the first publication: The mechanics of existence.

Frege famously held that numbers play the role of objects in our language and thought, and that this role is on display when we use sentences like "The number of Jupiter's moons is four". I argue that this role is an example of a general pattern that also encompasses persons, times, locations, reasons, causes, and ways of appearing or acting. These things are 'objects' simply in the sense that they are answers to questions: they are the sort of (...) thing we search for and specify during investigation or inquiry. I support this epistemological conception of objects by studying specificational sentences, a class of sentences which includes Frege's original example. I defend an analysis of such sentences as question-answer pairs, and show how to formally represent this analysis using game-theoretical semantics. (shrink)

A number of Christian theologians and philosophers have been critical of overly moralizing approaches to the doctrine of sin, but nearly all Christian thinkers maintain that moral fault is necessary or sufficient for sin to obtain. Call this the “Moral Consensus.” I begin by clarifying the relevance of impurities to the biblical cataloguing of sins. I then present four extensional problems for the Moral Consensus on sin, based on the biblical catalogue of sins: (1) moral over-demandingness, (2) agential unfairness, (...) (3) moral repugnance, and (4) moral atrocity. Next, I survey several partial solutions to these problems, suggested by the recent philosophical literature. Then I evaluate two largely unexplored solutions: (a) genuine sin dilemmas and (b) defeasible sinfulness. I argue that (a) creates more problems than it solves and that, while (b) is well-motivated and solves or eases each of the above problems, (b) leaves many biblical ordinances about sin morally misleading, creating (5) a pedagogical problem of evil. I conclude by arguing that (5) places hefty explanatory burdens on those who would appeal to (b) to resolve the four extensional problems discussed in this paper. So Christian thinkers may need to consider a more radical separation of sin and moral fault. (shrink)

Four perspectives on numerical origins are examined. The nativist model sees numbers as an aspect of numerosity, the biologically endowed ability to appreciate quantity that humans share with other species. The linguistic model sees numbers as a function of language. The embodied model sees numbers as conceptual metaphors informed by physical experience and expressed in language. Finally, the extended model sees numbers as conceptual outcomes of a cognitive system that includes material forms as constitutive components. (...) If numerical origins are to be found, each perspective must address one or more critical questions that will require working across discipline boundaries. (shrink)

The proposed publication is oriented to those who are interested in the issues of being and thinking (consciousness). The emphasis on matter and movement in its dynamically stable state - tetrainertia, as a special phenomenon and the essence and quality of objective reality are considered.

• A number of reasons have been offered for Vietnam’s success in containing the COVID-19 pandemic during the first four months of 2020, including Vietnam’s experience in fighting epidemics and its single-party system which allows for timely and aggressive infection control. • Contentions that Vietnam’s measures, being dependent on its particular political and social structures, are not replicable elsewhere is incomplete, if not outright wrong. • Vietnam’s successful pandemic control required a high level of preparedness and a host of (...) coordinated efforts to provide accurate and credible information to the public about epidemic risks and ongoing infection control measures. • A proactive communication strategy was in place from the very beginning, utilizing various platforms such as online news sites, low-cost text messaging, user-friendly apps, local community loudspeakers, and pandemic awareness campaigns. • Open communication ensured public understanding of and support for the government response, thereby facilitating effective government-citizen cooperation. This is a lesson for other countries as much as for Vietnam in the post-pandemic period. (shrink)

The paper continues the consideration of Hilbert mathematics to mathematics itself as an additional “dimension” allowing for the most difficult and fundamental problems to be attacked in a new general and universal way shareable between all of them. That dimension consists in the parameter of the “distance between finiteness and infinity”, particularly able to interpret standard mathematics as a particular case, the basis of which are arithmetic, set theory and propositional logic: that is as a special “flat” case of Hilbert (...) mathematics. The following four essential problems are considered for the idea to be elucidated: Fermat’s last theorem proved by Andrew Wiles; Poincaré’s conjecture proved by Grigori Perelman and the only resolved from the seven Millennium problems offered by the Clay Mathematics Institute (CMI); the four-color theorem proved “machine-likely” by enumerating all cases and the crucial software assistance; the Yang-Mills existence and mass gap problem also suggested by CMI and yet unresolved. They are intentionally chosen to belong to quite different mathematical areas (number theory, topology, mathematical physics) just to demonstrate the power of the approach able to unite and even unify them from the viewpoint of Hilbert mathematics. Also, specific ideas relevant to each of them are considered. Fermat’s last theorem is shown as a Gödel insoluble statement by means of Yablo’s paradox. Thus, Wiles’s proof as a corollary from the modularity theorem and thus needing both arithmetic and set theory involves necessarily an inverse Grothendieck universe. On the contrary, its proof in “Fermat arithmetic” introduced by “epoché to infinity” (following the pattern of Husserl’s original “epoché to reality”) can be suggested by Hilbert arithmetic relevant to Hilbert mathematics, the mediation of which can be removed in the final analysis as a “Wittgenstein ladder”. Poincaré’s conjecture can be reinterpreted physically by Minkowski space and thus reduced to the “nonstandard homeomorphism” of a bit of information mathematically. Perelman’s proof can be accordingly reinterpreted. However, it is valid in Gödel (or Gödelian) mathematics, but not in Hilbert mathematics in general, where the question of whether it holds remains open. The four-color theorem can be also deduced from the nonstandard homeomorphism at issue, but the available proof by enumerating a finite set of all possible cases is more general and relevant to Hilbert mathematics as well, therefore being an indirect argument in favor of the validity of Poincaré’s conjecture in Hilbert mathematics. The Yang-Mills existence and mass gap problem furthermore suggests the most general viewpoint to the relation of Hilbert and Gödel mathematics justifying the qubit Hilbert space as the dual counterpart of Hilbert arithmetic in a narrow sense, in turn being inferable from Hilbert arithmetic in a wide sense. The conjecture that many if not almost all great problems in contemporary mathematics rely on (or at least relate to) the Gödel incompleteness is suggested. It implies that Hilbert mathematics is the natural medium for their discussion or eventual solutions. (shrink)

Quantifier variance faces a number of difficulties. In this paper we first formulate the view as holding that the meanings of the quantifiers may vary, and that languages using different quantifiers may be charitably translated into each other. We then object to the view on the basis of four claims: (i) quantifiers cannot vary their meaning extensionally by changing the domain of quantification; (ii) quantifiers cannot vary their meaning intensionally without collapsing into logical pluralism; (iii) quantifier variance is not (...) an ontological doctrine; (iv) quantifier variance is not compatible with charitable translation and as such is internally inconsistent. In light of these troubles, we recommend the dissolution of quantifier variance and suggest that the view be laid to rest. (shrink)

An increasing number of moral realists and anti-realists have recently attempted to support their views by appeal to science. Arguments of this kind are typically criticized on the object-level. In addition, however, one occasionally also comes across a more sweeping metatheoretical skepticism. Scientific contributions to the question of the existence of objective moral truths, it is claimed, are impossible in principle; most prominently, because such arguments impermissibly derive normative from descriptive propositions, such arguments beg the question against non-naturalist moral realism, (...) science cannot inform conceptual accounts of moral judgements, and the conceptual is logically prior to the empirical. My main aim in this paper is to clarify and critically assess these four objections. Moreover, based on this assessment, I will formulate four general requirements that science-based arguments in favor of moral realism and anti-realism should meet. It will turn out that these arguments are limited in several ways, and that some existing arguments have been unsound. Yet it is still possible in principle for the empirical sciences to contribute to the moral realism/anti-realism debate. (shrink)

This paper develops four proposals for explicating the notion of an ersatz part. It then evaluates each proposal with respect to a number of jobs for which ersatz parts are posited. We argue that each of the four notions of ersatz parthood do better with respect to some jobs, and worse with respect to others. Thus, we think, it’s horses for courses: which notion of ersatz part one chooses will be sensitive to which metaphysical project one is pursuing.

Food security brings a number of benefits to humanity from which nobody can be excluded and which can be simultaneously enjoyed by all. An economic understanding of the concept sees food security qualify as a global public good. However, there are four other ways of understanding a public good which are worthy of attention. A normative public good is a good from which nobody ought to be excluded. Alternatively, one might acknowledge the benevolent character of a public good. Others (...) have argued that public goods demand being public in the sense of being visible to all. Finally, it has also been argued that public goods are those goods which need joint action to be produced and maintained. This chapter discusses these five understandings of the public good in relation to food security and highlights the advantage of assessing policies from each of these perspectives. (shrink)

The present paper intends to report two results. It is shown that the formula P(x)=∀y∀z[¬G(x, y)→¬M(z)] provides the logic underlying gauge symmetry, where M denotes the predicate of being massive. For the logic of spontaneous symmetry breaking, by Higgs mechanism, we have P(x)=∀y∀z[G(x, y)→M(z)]. Notice that the above two formulas are not logically equivalent. The results are obtained by integrating four components, namely, gauge symmetry and Higgs mechanism in quantum field theory, and Gödel's incompleteness theorem and Tarski's indefinability theorem (...) in mathematical logic. Gödel numbering is the key for arithmetic modeling applied in this paper. (shrink)

The aim of this paper is to evaluate the critical success factors and investigate the benefits that might be gained once implementing Electronic Customer Relationship Management at HEI from employee perspective. The study conducted at Al Quds Open University in Palestine and data collected from (300) employee through a questionnaire which consist of four variables. A number of statistical tools were intended for hypotheses testing and data analysis, including Spearman correlation coefficient for Validity, reliability correlation using Cronbach’s alpha, and (...) Frequency and Descriptive analysis. The overall findings of the current study show that all the features were important for staff and it was critical success factors, at the same time, websites were providing all the features discussed by the theory whereas staff showed their willingness to use those features if provided. It is also discovered that implementing Electronic Customer Relationship Management can cause staff retention, were provided efficiently and needed to be improved. Research limitations: The survey findings were based on QOU employee in Palestine, UAE and KSA branches not included in the study. (shrink)

The evaluation of labour markets and of particular jobs ought to be sensitive to a plurality of benefits and burdens of work. We use the term 'the goods of work' to refer to those benefits of work that cannot be obtained in exchange for money and that can be enjoyed mostly or exclusively in the context of work. Drawing on empirical research and various philosophical traditions of thinking about work we identify four goods of work: 1) attaining various types (...) of excellence; 2) making a social contribution; 3) experiencing community; and 4) gaining social recognition. Our account of the goods of work can be read as unpacking the ways in which work can be meaningful. The distribution of the goods of work is a concern of justice for two conjoint reasons: First, they are part of the conception of the good of a large number of individuals. Second, in societies without an unconditional income and in which most people are not independently wealthy, paid work is non-optional and workers have few, if any, occasions to realize these goods outside their job. Taking into account the plurality of the goods of work and their importance for justice challenges the theoretical and political status quo, which focuses mostly on justice with regard to the distribution of income. We defend this account against the libertarian challenge that a free labour market gives individuals sufficient options to realise the goods of work important to them, and discuss the challenge from state neutrality. In the conclusion, we hint towards possible implications for today’s labour markets. (shrink)

Clinical microbiology serves as a partner to clinicians in the diagnosis and treatment of infectious diseases. Antibiotics are prescribed empirically before the availability of antimicrobial susceptibility testing data, especially when the patient's medical status could deteriorate by suspending the treatment. To investigate the impact of antimicrobial susceptibility testing on the management of outpatients with suspected bacterial infection in Libyan patients, a cross-sectional prospective study concluded on microbial microdroplet culture by including outpatients with suspected bacterial infection, who have done antimicrobial susceptibility (...) testing. Thus, 53 Libyan patients with urinary tract infections and 14 Libyan patients with skin infections were included in this study. Before the availability of antimicrobial susceptibility testing data, 25 patients were appropriately treated while 42 patients were inappropriately treated. After the availability of antimicrobial susceptibility testing data, the number of appropriately treated patients increased to 57 patients. Thus, antimicrobial susceptibility testing improved the management of 41 patients by discontinuing an unnecessary antibiotic in four patients, starting necessary antibiotic therapy in 18 patients, and changing to more appropriate antibiotic in 19 patients. However, the antimicrobial susceptibility testing has no impact on the management of 24 patients and has led to the worsening of the management of two patients. The effect of antimicrobial susceptibility testing of antibiotic de-escalation was assessed in 35 patients; however, antibiotic de-escalation occurred in six patients. Thus, data of antimicrobial susceptibility testing has improved the management of Libyan outpatients with bacterial infection but their role in antibiotic de-escalation was slight. (shrink)

The large number of species in the Allium genus has necessitated comparative analysis of related species which has always been used in many cases to describe patterns and directions of chromosomal evolution within a group. This study was carried out to cytologically analyse two species of Allium- Allium cepa and Allium sativum. All the four stages of cell division were observed in both species, although well spread metaphase chromosomes could not be observed in A. sativum which limited the extent (...) to which we could cytologically evaluate the species. Allium cepa in this study show cell with a complement of sixteen chromosomes. A total chromosome length of 577.5 µm was observed in the best c-metaphase spread with the longest chromosome being 43.4µm and the shortest 27.9 µm. Further studies are still required in the karyotype analysis of A. sativum from Nigeria. (shrink)

Aristotle distinguishes between four causes (Phy., B, 3; PsA, B, 11, 94a20-24): a) Material cause: that from which; the antecedent out of which a thing comes to be and persists. E.g. the bronze of the statue; the silver of the bowl b) Formal cause: essence; the form or the archetype, i.e. the statement of the essence and its genera and the parts in definition; the whole and the co-positing. E.g. the relation 2:1 and generally number as cause of the (...) octave c) Efficient cause: the primary source of the change or coming to rest. E.g. The seed, the advisor and the father; generally: what makes of what is made and what causes change of what is changed. d) Final cause: cause in the sense of end or the good or that for the sake of which a thing is done. E.g. health as the cause of walking about The four causes are causes of the thing as it is itself. As the word cause has several senses, there are several causes of the same thing as that thing and not merely in virtue of a concomitant attribute: ‘Both the art of the sculptor and the bronze are causes of the statue. These are causes of the statue qua statue, not in virtue of anything else that it may be- only not in the same way.’ (Phy., B, 3) 1) Other senses of cause Aristotle distinguishes proper from accidental cause: while it is its sculptor who is the proper cause of a statue, Socrates, the sculptor, is the accidental cause. (Phy., B, 3) Moreover, he distinguishes potential from actual cause, the ‘house builder’ from ‘house-builder building.’ (Phy., B, 3) In Physics (B, 3) Aristotle makes three distinctions between causes by their multiplication he achieves twelve sorts of causes: ‘All these various uses, however, come to six in number, under each of which again the usage is twofold. Cause means either what is particular or a genus, or an incidental attribute or a genus of that, and these either as a complex or each by itself; and all six either as actual or as potential.’ In Metaphysics (Λ, 1069b32-34) he distinguishes between three causes: ‘The causes and the principles, then, are three, two being the pair of contraries of which one is formula and the form and the other is privation, and the third being the matter.’ 2) Cause and knowledge A question is indeed a search for the cause. (e.g. PsA., B, 11, 94a36-38) Knowing the cause is the necessary condition of scientific knowledge (PsA., B, 11, 94a20-21) In fact, ‘men do not think they know a thing till they have grasped the ‘why’ of (which is to grasp the primary cause).’ (Phy., A, 1) ‘To know the essential nature of a thing is the same as to know the cause of a thing’s existence.’ (PsA., B, 8, 93a4-5) ‘Where demonstration is possible,’ Aristotle says, ‘one who can give no account which includes the cause has no scientific knowledge. If, then, we suppose a syllogism in which, though A necessarily inheres in C, yet B, the middle term of the demonstration, is not necessarily connected with A and C, then the man who argues thus has no reasoned knowledge of the conclusion, since this conclusion does not owe its necessity to the middle term: for though the conclusion is necessary, the mediating link is a contingent fact.’ (PsA., A, 6, 74b) . (shrink)

Rapid advances in AI-based automation have led to a number of existential and economic concerns. In particular, as automating technologies develop enhanced competency they seem to threaten the values associated with meaningful work. In this article, we focus on one such value: the value of achievement. We argue that achievement is a key part of what makes work meaningful and that advances in AI and automation give rise to a number achievement gaps in the workplace. This could limit people’s ability (...) to participate in meaningful forms of work. Achievement gaps are interesting, in part, because they are the inverse of the (negative) responsibility gaps already widely discussed in the literature on AI ethics. Having described and explained the problem of achievement gaps, the article concludes by identifying four possible policy responses to the problem. (shrink)

I defend the 'Repugnant' Conclusion that for any possible population of happy people, a population containing a sufficient number of people with lives barely worth living would be better. Four lines of argument converge on this conclusion, and the conclusion has a simple, natural theoretical explanation. The opposition to the Repugnant Conclusion rests on a bare appeal to intuition. This intuition is open to charges of being influenced by multiple distorting factors. Several theories of population ethics have been devised (...) to avoid the Repugnant Conclusion, but each generates even more counterintuitive consequences. The intuition opposing the Repugnant Conclusion is thus among the best candidates for an intuition that should be revised. (shrink)

Past work has demonstrated that people’s moral judgments can influence their judgments in a number of domains that might seem to involve straightforward matters of fact, including judgments about freedom, causation, the doing/allowing distinction, and intentional action. The present studies explore whether the effect of morality in these four domains can be explained by changes in the relevance of alternative possibilities. More precisely, we propose that moral judgment influences the degree to which people regard certain alternative possibilities as relevant, (...) which in turn impacts intuitions about freedom, causation, doing/allowing, and intentional action. Employing the stimuli used in previous research, Studies 1a, 2a, 3a, and 4a show that the relevance of alternatives is influenced by moral judgments and mediates the impact of morality on non-moral judgments. Studies 1b, 2b, 3b, and 4b then provide direct empirical evidence for the link between the relevance of alternatives and judgments in these four domains by manipulating (rather than measuring) the relevance of alternative possibilities. Lastly, Study 5 demonstrates that the critical mechanism is not whether alternative possibilities are considered, but whether they are regarded as relevant. These studies support a unified framework for understanding the impact of morality across these very different kinds of judgments. (shrink)

The Belnap–Dunn logic is a well-known and well-studied four-valued logic, but until recently little has been known about its extensions, i.e. stronger logics in the same language, called super-Belnap logics here. We give an overview of several results on these logics which have been proved in recent works by Přenosil and Rivieccio. We present Hilbert-style axiomatizations, describe reduced matrix models, and give a description of the lattice of super-Belnap logics and its connections with graph theory. We adopt the point (...) of view ofAlgebraic Logic, exploring applications of the general theory of algebraization of logics to the super-Belnap family. In this respect we establish a number of new results, including a description of the algebraic counterparts, Leibniz filters, and strong versions of super-Belnap logics, as well as the classification of these logics within the Leibniz and Frege hierarchies. (shrink)

Recent years have witnessed intensive efforts to specify which requirements ethical artificial intelligence (AI) must meet. General guidelines for ethical AI consider a varying number of principles important. A frequent novel element in these guidelines, that we have bundled together under the term explicability, aims to reduce the black-box character of machine learning algorithms. The centrality of this element invites reflection on the conceptual relation between explicability and the four bioethical principles. This is important because the application of general (...) ethical frameworks to clinical decision-making entails conceptual questions: Is explicability a free-standing principle? Is it already covered by the well-established four bioethical principles? Or is it an independent value that needs to be recognized as such in medical practice? We discuss these questions in a conceptual-ethical analysis, which builds upon the findings of an empirical document analysis. On the example of the medical specialty of radiology, we analyze the position of radiological associations on the ethical use of medical AI. We address three questions: Are there references to explicability or a similar concept? What are the reasons for such inclusion? Which ethical concepts are referred to? (shrink)

According to luck egalitarianism, it is unjust if some are worse off than others through no fault or choice of their own. The most common criticism of luck egalitarianism is the ‘harshness objection’, which states that luck egalitarianism allows for too harsh consequences, as it fails to provide justification for why those responsible for their bad fate can be entitled to society's assistance. It has largely gone unnoticed that the harshness objection is open to a number of very different interpretations. (...) We present four different interpretations of the harshness objection in which the problem pertains to counterintuitive implications, badness of outcome, disproportionality, or inconsistency, respectively. We analyse and discuss appropriate luck egalitarian replies. Disentangling these different versions clarifies what is at the heart of this dispute and reveals the point of the harshness objection. We conclude that only the inconsistency version involves a durable problem for luck egalitarianism. (shrink)

Aristotle classifies opposition (ἀντικεῖσθαι) into four groups: relatives (τὰ πρός τι), contraries (τὰ ἐναντία), privation and possession (στρέσις καὶ ἓξις) and affirmation and negation (κατάφασις καὶ ἀπόφασις). (Cat. , 10, 11b15-23) His example of relatives are the double and the half. Aristotle’s description of relatives as a kind of opposition is as such: ‘Things opposed as relatives are called just what they are, of their opposites (αὐτὰ ἃπερ ἐστι τῶν ἀντικειμένων λέγεται) or in some other way in relation to (...) them. For example, the double is called just what it is double of the other (οἷον τὸ διπλάσιον, αὐτὸ ὃπερ ἐστίν, ἑτέρου διπλάσιον λέγεται). Again, knowledge and the knowable are opposed as relatives, and knowledge is called just what it is, of the knowable, and the knowable too is called just what it is, in relation to its opposite, knowledge; for the knowable is called knowable by something-by knowledge.’ (Cat., 10, 11b24-30) 2) Senses of relatives In Met., Δ, 1020b26-32 Aristotle distinguishes three senses of relatives: i) That which contains something else many times to that which is contained many times in something else, and that which exceeds to that which is exceeded. E.g. double to half ii) The active to the passive; e.g. that which can heat to that which can be heated iii) The measurable to the measure, e.g. the knowable to knowledge and the perceptible to perception. 3) Relatives and contraries Aristotle’s discussion of relatives is unbelievably ambiguous. While he enumerates relatives besides contraries, privation-possession and affirmation-negation as four types of opposition (Cat., 10, 11b15-23), not only does not he restrict relatives to oppositions but he also does not totally differentiate it from contraries. Aristotle distinguishes between two senses of relatives one of which is contraries: ‘We have distinguished elsewhere the two senses in which relatives are so called-some as contraries (ὡς ἐναντία), others as knowledge to things known, a term being called relative because what is said one to the other is said by the other to itself (τῷ λέγεσθαί τι ἄλλο πρὸς αὐτό). (Met., I, 1056b34-1057a1) It seems that this differentiation is the same as, and maybe the one he himself refers to, the differentiation between the second and the third senses of relatives in Met., Δ, 1021a27-32: ‘Relative terms which imply number or capacity, therefore, are all relative because their very essence includes in its nature a reference to something else, not because something else is related to it (πρός τι πὰντα ἐστὶ πρός τι τῷ ὃπερ ἐστὶν ἄλλου λέγεσθαι αὐτὸ ὃ ἐστιν, ἀλλὰ μὴ τῷ ἄλλο πρὸς ἐκεινο); but that which is measurable or knowable or thinkable is called relative because something else is related to it. For the thinkable implies that there is thought of it, but the thought is not relative to that of which it is the thought; for we should then have said the same thing twice.’ Although Aristotle confirms contrariety in relatives (e.g. virtue to vice and knowledge to ignorance), he denies that there is a contrary ‘to every relative’ as there can be no contrary to what is double or treble. (Cat., 7, 6b15-19) The fact that Aristotle dedicates one sense of relatives to contraries means that the fourfold division of oppositions is not such a strict division without any kind of community between them. In his example of the first sense, however, Aristotle says: ‘One and number are in a sense opposed, not as contrary, but as we have said some relative terms are opposed; for inasmuch as one is measure and the other measurable, they are opposed.’ (Met., I, 1057a4-6) Now, the question is: Is Aristotle’s first sense of relative a contrary or not? Aristotle tells us that the opposition in this sense of relatives is the opposition of measure and measurable. The second sense has two differences with the first one: i) it is not a contrary and ii) what is said by one of the relatives to the other is also said by the latter to the former. To differentiate it from the first sense, when the one is the measure of the other, the latter will be the measure of the former as well: ‘But though knowledge is similarly spoken of as related to the knowable, the relation does not work out similarly for while knowledge might be thought to be the measure, and the knowable the thing measured, the fact is that all knowledge is knowable, but not all that is knowable is knowledge, because in a sense knowledge is measured by the knowable.’ (Met., I, 1057a7-12) Aristotle’s assertion at Met., I, 1057a36-37 that ‘of relative terms, those which are not contrary have no intermediate’ ensures us that we must take the first sense as contraries. Here he mentions a criterion of differentiation between two senses: while the first sense accepts intermediates (as, for example, great and small do), the second one does not. (Met., I, 1057a37-b1) It seems, however, that it is only the second sense that is the essential sense of relatives because the first sense, Aristotle says, is an accidental sense: ‘The one is opposed then to the many in numbers as measure to things measureable; and these are opposed as relatives which are not from their very nature relatives.’ (Met., I, 1056b32-34) 4) Definition of relative Aristotle’s first definition of the category of relative (πρός τι) is as such: ‘We call relative all such things as are said to be just what they are, of or than other things, or in some other way in relation to something else (Πρός τι δὲ τὰ τοιαῦτα λέγεται, ὃσα αὐτὰ ἃπερ ἐστὶν ἓτερων εἶναι λέγεται, ἢ ὁπωσοῦν ἄλλως πρὸς ἓτερον). (Cat., 7, 6a36-37; repeated almost without any change in: Cat., 7, 6b6-8) Aristotle’s examples are larger (because it is what it is than something else (τοῦθ᾿ ὃπερ ἐστὶν ἑτέρου λέγεται) that means it is called larger than something) and double. (Cat., 7, 6a37-b1) Aristotle’s aporia regarding relative is about their relation with substances: whether no substance is spoken of as a relative, or whether this is possible with regard to some secondary substances. (Cat., 7, 8a13-15) In the case of primary substances, it seems that he is confident, at least at first, that neither themselves nor their parts are spoken of in relation to anything: neither an individual man is called someone’s individual man nor an individual hand is called someone’s individual hand (but someone’s hand). (Cat., 7, 8a15-21) Although it is obvious that most of secondary substances are not spoken of as relatives (a man is not called someone’s man) (Cat., 7, 8a21-25), there are some with them there is room for dispute: a head is someone’s head and a hand is called someone’s hand, which seem to be relatives. (Cat., 7, 8a25-28) Aristotle thinks this must be due to the previous definition’s being problematic: with that definition ‘it is either exceedingly difficult or impossible to reach the solution that no substance is spoken of as a relative.’ (Cat., 7, 8a28-32) Thus, Aristotle changes his previous definition to a new one: ‘Those things are relatives for which being is the same as being somehow related to something’ (ἔστι τὰ πρός τι οἷς τὸ εἶναι ταὐτόν ἐστι τῷ πρός τί). (Cat., 7, 8a32-34) Although the first definition does indeed apply to all relations, its problem is that it does not take ‘their own being relative’ (τῷ πρός τι αὐτοῖς εἶναι) the same as ‘their being what they are of other things’ (ἃπερ ἐστὶν ἑτέρων λέγεσθαι). (Cat., 7, 8a34-37) Although this change of definition is to exclude all substances from being relative, what Aristotle says in Topics (To., Z, 8, 146a39- ), seems to ignore this: ‘For of everything relative the substance is relative to something else, seeing that the being of every relative term is identical with being in a certain relation to something.’ 5) Necessary knowledge of the related Knowledge of that in relation to which a relative is spoken of is necessary when one knows the relative: it is impossible to know a relative and at the same time not to know that in relation to which it is spoken of. (Cat., 7, 8a37-b3) To prove this, Aristotle adheres to the definition of relatives: ‘If someone knows of a certain ‘this’ that it is a relative, and being for relatives is the same as being somehow related to something, he knows that also to which this is somehow related.’ (Cat., 7, 8a37-b3; cf. 7, 8b3-15 for Aristotle’s examples) This necessary knowledge of the related, if we call it so, dedicates Aristotle an epistemological reason, besides the ontological one mentioned in his definition, for the exclusion of substances. As we noted in our discussion of Aristotle’s definition of relatives, he changed his first definition to exclude all substances from being relatives. Therefore, it is evident that for him relatives must not include substances, either primary or secondary. Aristotle does have no problem with primary substances simply because it is evident for him that they cannot be relatives. The same can be said about most of the secondary substances as well. The problem for which he changed the definition of substances was about some secondary substances like ‘head’ or ‘hand’: the fact that it is possible to know a hand or head without necessarily knowing definitely that in relation to which it is spoken of proves that they are not relatives. (Cat., 7, 8b15-21) 6) Reciprocation Aristotle regards reciprocation (ἀντιστρέφειν) necessary in all relations: ‘All relatives are spoken of in relation to correlatives that reciprocate.’ (Cat., 7, 6b28-29; cf. Cat., 10, 12b21-24) The sense of reciprocation is clear by his own examples: ‘The slave is called slave of a master and the master is called master of a slave; the double double of a half, and the half half of a double.’ (Cat., 7, 6b29-31) Reciprocation of relatives is so necessary that if there seems that we do not have reciprocation, it must necessarily be due to a mistake and that in relation to which something is spoken of must have not been given properly. (Cat., 7, 6b36-7a1) Aristotle’s example is this: If a wing is given as of a bird, ‘bird of a wing’ does not reciprocate because it has not been given properly: a wing is of a winged and not of a bird; a wing is wing of a winged and a winged is winged with a wing. (Cat., 7, 7a1-5) Even if we do not have a proper name to have a proper reciprocation, Aristotle points, we must invent names. (Cat., 7, 7a5-15 and 7b10-14) Thus, having proper names is the condition of necessary reciprocation: ‘All relatives are spoken of in relation to correlatives that reciprocate, provided they are properly given.’ (Cat., 7, 7a22-23) This condition is also said in another way: there is no reciprocation if a relation is given as related to some chance thing or to something that is accidentally the related thing like when, for example, a slave is given as of a man or a biped instead of being given as of a master. (Cat., 7, 7a25-31) 7) Simultaneity of relatives Aristotle believes that in most cases relatives are simultaneous: double and half or master and slave must exist at the same time: when there is a half, there is a double and when there is a slave, there is a master. (Cat., 7, 7b10-14) However, this receives some exceptions like knowable, which is prior and can, thus, exist before and without knowledge. (Cat., 7, 7b22-27) What approves this non-simultaneousness for Aristotle is that the destruction of knowledge does not carry the knowable to destruction. (Cat., 7, 7b27-31) The same is said about perception and perceptible. (Cat., 7, 7b35-8a9) Aristotle attaches simultaneity to reciprocation. This reciprocation, however, is not a simple reciprocation but ‘reciprocation as to implication of existence’ (ἀντιστρέφει μὲν κατὰ τὴν τοῦ εἶναι) with the condition that neither be in any way the cause of the other’s existence. (Cat., 13, 14b27-29; the same is said also at: Cat., 13, 15a4-11) Aristotle’s examples are the double and the half because when there is a double there is a half and when there is a half there is a double but neither is the cause of the other’s existence. (Cat., 13, 14b29-32) (We have ‘reciprocation as to implication of existence’ also in relation between genus and species but it seems that this has a totally different sense there. 8) Having no independent reality That a relative cannot be a substance, either a primary or a secondary substance, is discussed in our review of both the definition of relatives and their reciprocation. The differentiation of relatives and substances are so deep for Aristotle that after questioning the possibility of any common element or principle for substances and relatives (Met., Λ, 1070a33-36), he asserts that no substance, on the one hand, is the element of relatives and none of the relatives, on the other hand, is the element of substances. (Met., Λ, 1070b3-4) Aristotle does not, however, suffice to this. For him, relatives have the least substantiality, which is, for him, almost the same as reality: ‘The relative is least of all categories a real thing (φύσις τις) or substance, and less than quality and quantity; and the relative is an affection of quantity.’ (Met., M, 1088a22-25) Aristotle believes that an evidence of this least reality (ὄν) and substantiality is that relatives have no proper generation, destruction or movement while each of substance, quality and quantity have them. (Met., M, 1088a29-35) Moreover, neither motion (Phy., E, 1) nor any kind of change is applicable to relatives so that relatives are neither themselves alterations nor the subject of alterations (Phy., Z, 3) and the process of losing and acquiring states cannot be considered as alterations because these are the result of the alterations of non-relative things of which they are states. (Phy., Z, 3) Relative is not even matter but is something different. (Met., M, 1088a24-25) The reason is that the matter is potentially of a nature but relative is neither potentially nor actually of a nature. (Met., M, 1088b1-2) To understand the status of relatives in Aristotle’s world, we have to make a tripartite classification; a classification that though Aristotle himself did not make, his assertions approve it. Based on this division, there are three kinds of being in the world: i) Independent beings: This class includes only substances. ii) Dependent beings: This class includes qualities and quantities. Although they are real, they are ‘in’ substances and cannot exist without them. iii) Super dependent beings: This class includes at least relatives. The fact that relatives must be considered in a third class different from substances, on the one hand, and qualities and quantities, on the other hand, is obvious not only from the previously mentioned texts (Met., M, 1088a22-25, 29-35 and b1-2) in which relatives’ reality is considered less than all substances, qualities and quantities and different from matters but from this text: ‘For there is nothing either great or small, many or few, or, in general, relative which is not something (τι ὄν) different (ἓτερον) [that is also] many or few or great or small’. (Met, N, 1088a27-30) Therefore, super dependent beings are those beings that must necessarily be also something else, i.e. an independent or dependent being. Ackrill (1963, 99) points that some of the words used by Aristotle to exemplify relational entities, e.g. slave, are endowed with a complete sense and do not need to be supplemented by a correlate. (Thus, the linguist criterion of incompleteness would be deficient. Some other instances of relative entities like ‘state,’ ‘knowledge’ and perception are not necessarily followed by the genitive case. 9) Extent of relatives What is the extent of relatives? What are or are not included in relatives either among categories or among other concepts? Which concepts or things Aristotle regard as relative? i) Aristotle includes state (ἓξις) and position (θέσις) among relatives. (Cat., 7, 6b2-6; Cat., 7, 6b11-14; Cat., 8, 11a20-24) ii) Although relative is not matter but is something different (Met., M, 1088a24-25), matter is ‘non-being’ only in virtue of an attribute (Phy., A, 9) and is, thus, a relative term. (Phy., B, 2, 194b9) 10) Property and relativity Aristotle draws a contrast between two types of giving a property, absolute and relative: ‘A property is given either in its own right and for always or relative to something else and for a time.’ (To., E, 1, ^128b15-18) Being a civilized man, for example, is an absolute property for man while to command is a relative property for the soul. The absolute property, however, is considered not only potential to be discussed or observed in relation to many things or periods of time, it in fact ‘belongs to its subject relatively to every single thing that there is, so that if the subject is not distinguished relatively to everything else, the property will not have been given correctly.’ (To., E, 1, 129a18-20) Therefore, an absolute property is a property that ‘is ascribed to a thing in comparison with everything else and distinguishes it from everything else.’ (To., E, 1, 128b33- ) An absolute property is, then, absolutely relative and not conditionally relative, i.e. relative to a specific thing. This is what differentiates it from a relative property, which is relative to a certain thing: ‘A property relative to something else is one which separates its subject off not from everything else but from a particular definite thing.’ (To., E, 1, 128b33- ) One important difference between absolute and relative properties is that while an accident can be a relative property, it can never be an absolute property. (To., I, 5, ^102b20-36) For example, sitting, which is an accident, is also a property relatively to those who are not sitting. (To., I, 5, ^102b20-36) 11) Platonic theories as relatives At least three of Platonic theories Aristotle attaches to relatives: i) Forms ‘It seems that a Form is always spoken of in relation to a Form-this desire itself is for the pleasure itself, and wishing itself is for the good itself.’ (To., Z, 8, 147a^10) Moreover, the theory of Forms takes the relative prior to the absolute as, for example, it takes not the dyad but the number as first. (Met., A, 990b15-17) Aristotle believes that this is against not only the necessities of the case but only the Platonists’ opinion because Forms must be substances only, if they can be shared. (Met., A, 990b27-29) There are, however, things like ‘equal’ which are only relative: they are only in relation to something else. Now the theory that ideas are supposed to be substances only should entail the substantiality of merely relatives. The reason being that Forms are not shared incidentally but each thing shares in that which is not predicated of a subject. (Met., A, 990b29-31) ii) Unequal The Platonic theory of great and small or unequal, which we know more from Aristotle and has, in Platonic philosophy, a role like that of matter in Aristotelian philosophy, is also called relative by Aristole. (Met., M, 1089b4-15) iii) Potentiality Aristotle says that Platonists take what potentially is a ‘this’ and a substance but not actually so a relative because it is ‘neither potentially the one or being, nor the contradictory of the one nor of being, but one among beings.’ (Met., N, 1089b15-20) 12) All things as relative Aristotle attaches the theory that ‘everything is true’ to relativity and thinks the consequence of believing in this theory is that everything is true: ‘He who says all things that appear are true, makes all things relative.’ (Met., Γ, 1011a17-20) 13) Genera and species of relatives There are some genera, Aristotle hints, that are relative but their species are not relative. In such cases, the genera are spoken of in relation to something, but none of the particular cases are so spoken. (Cat., 8, 11a20-36) Aristole’s examples are knowledge and grammar of which the former is a relative but the latter is a quality. The consequence of this is that there is nothing absurd for a thing to be in both genera of relative and quality. (Cat., 8, 11a37- ) However, when the species is a relative, the genera will be a relative too. (To., Δ, 4, 124b15- ) Moreover, Aristotle asserts that ‘the differentiae of relative terms are themselves relative.’ (To., Z, 6, 145a14-16) Things that are called relative are called so, Aristotle says, ‘because the classes that include them are of this sort, e.g. medicine is thought to be relative bcs its genus, knowledge, is thought to be relative,’ (Met., Δ, 1021b4-6) 14) Relatives as indefinite? Fabio Morales takes 1088a29-b1 as a textual evidence supporting the assumption that Aristotle regarded relational terms as indefinite. (shrink)

There are four ways in which things are said to oppose (ἀντικεῖσθαι) each other: as relatives (τὰ πρός τι), as contraries (τὰ ἐναντία), as privation and possession (στρέσις καὶ ἓξις) and as affirmation and negation (κατάφασις καὶ ἀπόφασις). (Cat. , 10, 11b15-23) Aristotle’s examples are: double and half for relatives, good and bad for contraries, blindness and sight for privation and possession and ‘He is sitting’ and ‘he is not sitting’ for affirmation and negation. We discussed relatives separately thus (...) we ignore it here. A. Contraries Contraries (ἐναντία) have the following features: 1) They are not said of each other (οὐδαμῶς πρὸς ἄλληλα λέγεται) as relatives are said of each other. (Cat., 10, 11b15-23) 2) Contraries are of two kinds: a) Non-intermediables: Those that it is necessary for one or the other of them to belong to the things they naturally occur in or predicated of and accept no intermediate between themselves. Since it is necessary for one of e.g. health and sickness to occur in an animal’s body or odd and even to belong to a number, there is no intermediate between health and sickness or odd and even. (Cat., 10, 11b38-12a9; 12b28-34) b) Intermediables: Those that it is not necessary for one of them to belong to the things they naturally occur in or predicated of and accept intermediates between themselves. It is not necessary for one of e.g. black and white to belong to a body and there may be some intermediates between them. (Cat., 10, 12a9-25; 12b34-40) 3) Contraries can change to one another when the thing capable of receiving them is there. (Cat., 13a18-21) The only exception is when one of the contraries belongs to something by nature. In such cases, change is not possible as the hotness of fire cannot change to coldness while fire is still there. 4) Contraries belong to the same thing, either the same in species or in genus as e.g. sickness and health in an animal’s body or whiteness and blackness in body simply. (Cat., 10, 14a15- ) In Metaphysics (I, 1058a8-10) Aristotle asserts that contraries are in the same genus. 5) There are three possibilities about the genera of contraries: they either are in the same genus, e.g. black and white, or in the contrary genera, e.g. justice and injustice, or are themselves genera, e.g. good and bad. (Cat., 11, 14a19-25) 6) Doing and being affected admit of contrariety, e.g. heating is contrary to cooling. (Cat., 9, 11b1-4) 7) Substances only are able to receive contraries. (Cat., 5, 4a10-17) 8) There is nothing contrary to a substance, whether primary or secondary. (Cat., 5, 3b24-27) Thus, neither man nor an individual man has a contrary. 9) There is no contrary to a quantity: e.g. four-foot ot ten has no contrary. (Cat., 5, 3b27-32) 10) Otherness in species means to be contraries. (Met., I, 1058a17-20) 11) Contrariety is complete difference. Two things that have the same genus but are different in species are other than one another in the highest degree and their difference is complete, i.e. they cannot be present along with one another. (Met., I, 1058a10-16) 12) One of the contraries is a privation, which is a denial of a predicate to a determinate genus. (Met., Γ, 1011b18-20) 13) ‘Neither true judgments nor true propositions can be contrary the one to the other.’ (OI., II, 14, 24b6-7) B. Privation and possession Privation and possession are said in connection with the same thing in which the possession naturally occurs. Only that thing which is capable of receiving a possession and only when it is entirely absent from that which naturally has it and only at the time when it is natural for it to have it, is called to be deprived of it. (Cat., 10, 12a26-30) A thing is not called e.g. blind if it has never had or was not supposed to have sight. That privation and possession are not relatives is obvious from the fact that none is called just what it is, of its opposite. (Cat., 10, 12b16-21) Moreover, while relatives reciprocate, they do not. (Cat., 10, 12b21-25) That they are not contraries is explained by the classification of contraries to intermediable and non-intermediable contraries. The latter are different from privation and possession because it is necessary for one of such contraries to be predicated of absolutely everything while it is not the case about privation and possession because they are necessary only in things naturally capable of their predication. Intermediable contraries are different from privation and possession because while the former are not necessary the latter are necessary in their subject matters. (Cat., 13a3-17) Unlike contraries for each of which it is possible to change to the other, change in privation and possession is allowed only from possession to privation and not vice versa: neither a blind man gets sight nor a bald man regain his hair. (Cat., 13a18-36) C. Affirmation and negation Aristotle regards the reception of truth and falsity as the main difference affirmation and negation opposition has in respect of other three kinds of opposition: it is only affirmation and negation that it is always necessary for one of them to be true and the other to be false (Cat., 13a37-b26), no matter the subject of affirmation or negation exists or not. (Cat., 10, 13b27-35) ‘It is impossible that contradictory propositions should both be true of the same subject.’ (OI., II, 12, 21b17-18) It is evident both about relatives and those contraries that include no co-positing, e.g. health and sickness. The only cases that resemble affirmation and negation are those contraries that are said with co-positing, e.g. ‘Socrates is well’ and ‘Socrates is sick.’ Yet, Aristotle points, not even with these is it necessary always for one to be true and the other false because if Socrates does not exist, neither will be true. (Cat., 10, 13b12-19) This is true also about privation and possession: neither ‘Socrates has sight’ nor ‘Socrates is blind’ are true if he does not exist. Moreover, it is not necessary for one or the other of them to be true or false even if he exists because until the time when it is natural for Socrates to have sight, both are false. (Cat., 10, 13b20-26) . (shrink)

What is techno-optimism and how can it be defended? Although techno-optimist views are widely espoused and critiqued, there have been few attempts to systematically analyse what it means to be a techno-optimist and how one might defend this view. This paper attempts to address this oversight by providing a comprehensive analysis and evaluation of techno-optimism. It is argued that techno-optimism is a pluralistic stance that comes in weak and strong forms. These vary along a number of key dimensions but each (...) shares the view that technology plays a key role in ensuring that the good prevails over the bad. Whatever its strength, to defend this stance, one must flesh out an argument with four key premises. Each of these premises is highly controversial and can be subjected to a number of critiques. The paper discusses five such critiques in detail. The paper also considers possible responses from the techno-optimist. Finally, it is concluded that although strong forms of techno-optimism are not intellectually defensible, a modest, agency-based version of techno-optimism may be defensible. (shrink)

Under what conditions are two utterances utterances of the same word? What are words? That these questions have not received much attention is rather surprising: after all, philosophers and linguists frequently appeal to considerations about word and sentence identity in connection with a variety of puzzles and problems that are foundational to the very subject matter of philosophy of language and linguistics.1 Kaplan’s attention to words is thus to be applauded. And there is no doubt that his discussion contains many (...) useful insights. Nevertheless, we find his picture deeply flawed for a variety of crosscutting reasons. Our aim in this paper is to further advance an understanding of the nature of words, both by remedying the problems with Kaplan’s account, and also by achieving a suitable perspective on what the metaphysical investigation of word identity can hope to achieve. Our discussion divides into four parts. In Part One, we examine and critique Kaplan’s discussion of a contrast integral to his own account: that between the type-token and the stage-continuant conceptions of words. In Part Two, we present three constraints on any account of words and two further themes in Kaplan’s discussion central to his conception of words – the role of repetition and the constitutive authority of intentions. While these ideas have laudable motivations, we argue they are far from the best way of making good on the insights that drive them. The final two sections take a skeptical turn. In Part Three, we express doubt about Kaplan’s presumption of the importance of what he calls ‘common currency names’, thus raising a suspicion that he may be in pursuit of chimera. Finally, in Part Four, we express pessimism about whether interesting answers to question above will be forthcoming, and suggest that the legitimacy of our word ontology need not depend on the availability of such answers. Along the way, we tease apart a number of metaphysical questions in the vicinity of the topic of word individuation – questions that are often not disentangled – and consider how the discussion of the previous parts bears on them.. (shrink)

There are many domains about which we think we are reliable. When there is prima facie reason to believe that there is no satisfying explanation of our reliability about a domain given our background views about the world, this generates a challenge to our reliability about the domain or to our background views. This is what is often called the reliability challenge for the domain. In previous work, I discussed the reliability challenges for logic and for deductive inference. I argued (...) for four main claims: First, there are reliability challenges for logic and for deduction. Second, these reliability challenges cannot be answered merely by providing an explanation of how it is that we have the logical beliefs and employ the deductive rules that we do. Third, we can explain our reliability about logic by appealing to our reliability about deduction. Fourth, there is a good prospect for providing an evolutionary explanation of the reliability of our deductive reasoning. In recent years, a number of arguments have appeared in the literature that can be applied against one or more of these four theses. In this paper, I respond to some of these arguments. In particular, I discuss arguments by Paul Horwich, Jack Woods, Dan Baras, Justin Clarke-Doane, and Hartry Field. (shrink)

Kit Fine, the leading proponent of the metaphysical project of grounding theory, has offered a number of potentially devastating objections to truthmaker theory, the branch of metaphysics dedicated to exploring the ontological grounds for truths. In this paper I show what presuppositions about truthmaker theory Fine’s objections are based upon, and why they are false. I discuss four objections that Fine raises, and demonstrate how truthmaker theorists may respond to them. I then showcase the positive contribution that truthmaker theory (...) can make to metaphysics, including its ability to speak to a core metaphysical topic (the ontological grounds for truths) that Fine’s approach to grounding must ultimately remain silent on. I conclude by exploring what I take to be the best option when it comes to understanding how truthmaking and grounding fit together. (shrink)

Many philosophers think that we should use a lottery to decide who gets a good to which two persons have an equal claim but which only one person can get. Some philosophers think that we should save identified persons from harm even at the expense of saving a somewhat greater number of statistical persons from the same harm. I defend a principled way of justifying both judgements, namely, by appealing to the decreasing marginal moral value of survival chances. I identify (...) four desiderata that, I contend, any such justification should satisfy, and explain how my account meets these desiderata, unlike some previous accounts. (shrink)

In Reasons and Persons, Parfit (1984) posed a challenge: provide a satisfying normative account that solves the Non-Identity Problem, avoids the Repugnant and Absurd Conclusions, and solves the Mere-Addition Paradox. In response, some have suggested that we look toward person-affecting views of morality for a solution. But the person-affecting views that have been offered so far have been unable to satisfy Parfit's four requirements, and these views have been subject to a number of independent complaints. This paper describes a (...) person-affecting account which meets Parfit's challenge. The account satisfies Parfit's four requirements, and avoids many of the criticisms that have been raised against person-affecting views. (shrink)

Bernard Williams argued that historical and philosophical inquiry were importantly linked in a number of ways. This introductory chapter distinguishes four different connections he identified between philosophy and history. (1) He believed that philosophy could not ignore its own history in the way that science can. (2) He thought that when engaging with philosophy’s history primarily to produce history, one still had to draw on philosophy. (3) Even doing history of philosophy philosophically, i.e. primarily to produce philosophy, required a (...) keen sense of how historically distant from us past philosophers were, on his view, because the point of reading them was to confront something different from the present. (4) He held that systematic philosophy itself needed to be done historically, engaging not necessarily with its own history, but with that of the concepts it sought to understand. The chapter closes with an overview of the volume’s structure and content. (shrink)

The standard version of sufficientarianism maintains that providing people with enough, or as close to enough as is possible, is lexically prior to other distributive goals. This article argues that this is excessive – more than distributive justice allows – in four distinct ways. These concern the magnitude of advantage, the number of beneficiaries, responsibility and desert, and above-threshold distribution. Sufficientarians can respond by accepting that providing enough unconditionally is more than distributive justice allows, instead balancing sufficiency against other (...) considerations. (shrink)

Habermas’ ‘ethics of citizenship’ raises a number of relevant concerns about the dangers of a secularistic exclusion of religious contributions to public deliberation, on the one hand, and the dangers of religious conflict and sectarianism in politics, on the other. Agreeing largely with these concerns, the paper identities four problems with Habermas’ approach, and attempts to overcome them: the full exclusion of religious reasons from parliamentary debate; the full inclusion of religious reasons in the informal public sphere; the philosophical (...) distinction between secular and religious reasons; and the sociological distinction between ‘Western’ and ‘non-Western’ religions. The result is a revised version of the ethics of citizenship, which I call moderate inclusivism. Most notably, moderate inclusivism implies a replacement of Habermas’ ‘institutional translation proviso’ with a more flexible ‘conversational translation proviso’. (shrink)

Many mathematicians have cited depth as an important value in their research. However, there is no single widely accepted account of mathematical depth. This article is an attempt to bridge this gap. The strategy is to begin with a discussion of Szemerédi's theorem, which says that each subset of the natural numbers that is sufficiently dense contains an arithmetical progression of arbitrary length. This theorem has been judged deep by many mathematicians, and so makes for a good case on (...) which to focus in analyzing mathematical depth. After introducing the theorem, four accounts of mathematical depth will be considered. (shrink)

This paper takes a fresh look at the nativism–empiricism debate, presenting and defending a nativist perspective on the mind. Empiricism is often taken to be the default view both in philosophy and in cognitive science. This paper argues, on the contrary, that there should be no presumption in favor of empiricism (or nativism), but that the existing evidence suggests that nativism is the most promising framework for the scientific study of the mind. Our case on behalf of nativism has (...) class='Hi'>four parts. (1) We characterize nativism’s core commitments relative to the contemporary debate between empiricists and nativists, (2) we present the positive case for nativism in terms of two central nativist arguments (the poverty of the stimulus argument and the argument from animals), (3) we respond to a number of influential objections to nativist theories, and (4) we explain the nativist approach to the conceptual system. (shrink)

There is a popular theory in the metaphysics of time according to which time is one of four similar dimensions that make up a single manifold that is appropriately called spacetime. One consequence of this thesis is that changing an object’s orientation in the manifold does not change its intrinsic features. In this paper I offer a new argument against this popular theory. I claim that an especially good performance of a particularly beautiful piece of music, when oriented within (...) the manifold in the normal way, adds to the intrinsic value of the world, but that if the same performance is turned sideways within the manifold, so that it involves a number of different notes spread out in space and all occurring at the same time, then it does not add the same intrinsic value to the world. (shrink)