Speakers with autism spectrum disorder are found to exhibit atypical pitch patterns in speech production. However, little is known about the production of lexical tones as well as neutral tones by tone-language speakers with ASD. Thus, this study investigated the height and shape of tones produced by Mandarin-speaking children with ASD and their age-matched typically developing peers. A pronunciation experiment was conducted in which the participants were asked to produce reduplicated nouns. The findings from the acoustic analyses showed that although (...) ASD children generally produced both lexical tones and neutral tones with distinct tonal contours, there were significant differences between the ASD and TD groups for tone height and shape for T1/T1N, T3/T3N, and T4/T4N. However, we did not find any difference in T2/T2N. These data implied that the atypical acoustic pattern in the ASD group could be partially due to the suppression of the F0 range. Moreover, we found that ASD children tended to produce more errors for T2/T2N, T3/T3N than for T1/T1N, T4/T4N. The pattern of tone errors could be explained by the acquisition principle of pitch, similarities among different tones, and tone sandhi. We thus concluded that deficits in pitch processing could be responsible for the atypical tone pattern of ASD children, and speculated that the atypical tonal contours might also be due to imitation deficits. The present findings may eventually help enhance the comprehensive understanding of the representation of atypical pitch patterns in ASD across languages. (shrink)

In traditional 3D reconstruction methods, using a single view to predict the 3D structure of an object is a very difficult task. This research mainly discusses human pose recognition and estimation based on 3D multiview basketball sports dataset. The convolutional neural network framework used in this research is VGG11, and the basketball dataset Image Net is used for pretraining. This research uses some modules of the VGG11 network. For different feature fusion methods, different modules of the VGG11 network are used (...) as the feature extraction network. In order to be efficient in computing and processing, the multilayer perceptron in the network model is implemented by a one-dimensional convolutional network. The input is a randomly sampled point set, and after a layer of perceptron, it outputs a feature set of n × 16. Then, the feature set is sent to two network branches, one is to continue to use the perceptron method to generate the feature set of n × 1024, and the other network is used to extract the local features of points. After the RGB basketball sports picture passes through the semantic segmentation network, a picture containing the target object is obtained, and the picture is input to the constructed feature fusion network model. After feature extraction is performed on the RGB image and the depth image, respectively, the RGB feature, the local feature of the point cloud, and the global feature are spliced and fused to form a feature vector of N × 1152. There are three branches for this vector network, which, respectively, predict the object position, rotation, and confidence. Among them, the feature dimensionality reduction is realized by one-dimensional convolution, and the activation function is the ReLU function. After removing the feature mapping module, the accuracy of VC-CNN_v1 dropped by 0.33% and the accuracy of VC-CNN_v2 dropped by 0.55%. It can be seen from the research results that the addition of the feature mapping module improves the recognition effect of the network to a certain extent. (shrink)

Remanufacturing has become an important way to realize sustainable development strategy. For remanufacturing closed-loop supply chain under different circumstances, many factors are considered, such as consumers’ different preferences for the purchase and payment of remanufactured products and the quality of recycled products. In this study, three models are presented for supply chain system, including a manufacturer lead and a retailer recycle. While nongovernment participation and non-supply-chain coordination are considered in model I, model II has government participation but non-supply-chain coordination, and (...) model III has both government participation and supply chain coordination. The equilibrium decisions are derived for each model using the game-theoretic approach. The study found that consumers’ preferences affect the pricing decisions of remanufactured products. When consumers’ willingness to buy and pay for remanufactured products is close to that of new products, the total profit of the supply chain will significantly increase; the quality of recycled products will also influence the pricing decisions of new/remanufactured products, which in turn will affect the market demand for products. Government participation is conducive to encouraging manufacturer, retailer, and consumers to actively participate in the recycling and remanufacturing activities of used products. Supply chain coordination contracts can further enhance the role of the consumer market and promote the implementation of government policies. Under certain conditions, revenue sharing contract coordination can significantly increase the total profit of the supply chain system. The research conclusions have certain reference value for the coordination among the nodes of the remanufacturing supply chain and the formulation of policies with government participation. (shrink)

Physical contact between organelles are widespread, in part to facilitate the shuttling of protein and lipid cargoes for cellular homeostasis. How do protein‐protein and protein‐lipid interactions shape organelle subdomains that constitute contact sites? The endoplasmic reticulum (ER) forms extensive contacts with multiple organelles, including lipid droplets (LDs) that are central to cellular fat storage and mobilization. Here, we focus on ER‐LD contacts that are highlighted by the conserved protein seipin, which promotes LD biogenesis and expansion. Seipin is enriched in ER (...) tubules that form cage‐like structures around a subset of LDs. Such enrichment is strongly dependent on polyunsaturated and cyclopropane fatty acids. Based on these findings, we speculate on molecular events that lead to the formation of seipin‐positive peri‐LD cages in which protein movement is restricted. We hypothesize that asymmetric distribution of specific phospholipids distinguishes cage membrane tubules from the bulk ER. (shrink)

This book exhibits deep philosophical quandaries and intricacies of the historical development of science lying behind a simple and fundamental item of common sense in modern science, namely the composition of water as H2O. Three main phases of development are critically re-examined, covering the historical period from the 1760s to the 1860s: the Chemical Revolution, early electrochemistry, and early atomic chemistry. In each case, the author concludes that the empirical evidence available at the time was not decisive in settling the (...) central debates and therefore the consensus that was reached was unjustified or at least premature. This leads to a significant re-examination of the realism question in the philosophy of science and a unique new advocacy for pluralism in science. Each chapter contains three layers, allowing readers to follow various parts of the book at their chosen level of depth and detail. The second major study in "complementary science", this book offers a rare combination of philosophy, history and science in a bid to improve scientific knowledge through history and philosophy of science. (shrink)

This book presents the concept of “complementary science” which contributes to scientific knowledge through historical and philosophical investigations. It emphasizes the fact that many simple items of knowledge that we take for granted were actually spectacular achievements obtained only after a great deal of innovative thinking, painstaking experiments, bold conjectures, and serious controversies. Each chapter in the book consists of two parts: a narrative part that states the philosophical puzzle and gives a problem-centred narrative on the historical attempts to solve (...) the puzzle; and the analysis part which provides in-depth analyses of certain scientific, historical, and philosophical aspects of the story. (shrink)

This book attempts to answer two questions: Are alternatives for choice ever incomparable? and In what ways can items be compared? The arguments offered suggest that alternatives for choice no matter how different are never incomparable, and that the ways in which items can be compared are richer and more varied than commonly supposed.

This book attempts to answer two questions: Are alternatives for choice ever incomparable? and In what ways can items be compared? The arguments offered suggest that alternatives for choice no matter how different are never incomparable, and that the ways in which items can be compared are richer and more varied than commonly supposed.

Functional language has been used in many multinational corporations as a way to overcome the problems caused by the coexistence of multiple languages in the workplace. The existing literature has explored the importance, adoption, and effectiveness of functional language. Yet, how functional language shapes host country employees’ moral cognition and behavior is insufficiently researched. Guided by the Social Identity Theory, this manuscript shows that host country employees’ functional language proficiency enhances their unethical pro-organizational behavior through their linguistic group identification and (...) moral disengagement. We tested our predictions using the data collected from 309 full-time host country employees through an online survey, and the results generally supported our hypotheses. The findings make contributions to both international management and language literature and organizational moral behavior literature. (shrink)

This paper presents a new method to recognize human activities based on weighted classification for the features extracted by human body. Towards this end, new features depend on weight taken from image or video used in proposed descriptor. Human pose plays an important role in extracted features; then these features are used as the weight input with classifier. We use machine learning during two steps of training and testing images of standard dataset that can be used during benchmarking the system. (...) Unlike previous methods that need size or length of shapes mainly to represent the cues when machine learning is used to recognize human activities, accurate experimental results coming from appropriate segments of the human body proved the worthiness of proposed method. Twelve activities are used in challenging of availability comparison with dataset to demonstrate our method. The results show that we achieved 87.3% in training set, while in testing set, we achieved 94% in terms of precision. (shrink)

This paper is the introduction to the volume. It gives an argumentative view of the philosophical landscape concerning incommensurability and incomparability. It argues that incomparability, not incommensurability, is the important phenomenon on which philosophers should be focusing and that the arguments for the existence of incomparability are so far not compelling.

Can quite different values be rationally weighed against one another? Can the value of one thing always be ranked as greater than, equal to, or less than the value of something else? If the answer to these questions is no, then in what areas do we find commensurability and comparability unavailable? And what are the implications for moral and legal decision making? This book struggles with these questions, and arrives at distinctly different answers.".

We argue why interpretability should have primacy alongside empiricism for several reasons: first, if machine learning models are beginning to render some of the high-risk healthcare decisions instead of clinicians, these models pose a novel medicolegal and ethical frontier that is incompletely addressed by current methods of appraising medical interventions like pharmacological therapies; second, a number of judicial precedents underpinning medical liability and negligence are compromised when ‘autonomous’ ML recommendations are considered to be en par with human instruction in specific (...) contexts; third, explainable algorithms may be more amenable to the ascertainment and minimisation of biases, with repercussions for racial equity as well as scientific reproducibility and generalisability. We conclude with some reasons for the ineludible importance of interpretability, such as the establishment of trust, in overcoming perhaps the most difficult challenge ML will face in a high-stakes environment like healthcare: professional and public acceptance. (shrink)

This paper investigates two puzzles in practical reason and proposes a solution to them. First, sometimes, when we are practically certain that neither of two alternatives is better than or as good as the other with respect to what matters in the choice between them, it nevertheless seems perfectly rational to continue to deliberate, and sometimes the result of that deliberation is a conclusion that one alternative is better, where there is no error in one’s previous judgment. Second, there are (...) striking differences between rational agents – some rational agents have most reason to pursue careers on Wall Street while others have most reason to take up a career in teaching, or scuba diving, or working for political causes. These differences aren’t plausibly explained by ‘passive’ facts about our psychology or their causal interaction with our environment; instead, these facts seem in some sense to ‘express who we are’. But what is this sense? These puzzles disappear if we adopt a novel view about the source of the normativity of reasons – some reasons are given to us and others are reasons in virtue of an act of will. We make certain considerations reasons through an act of will and thus sometimes make it true through an act of agency that we have most reason to do one thing rather than another. (shrink)

This article explores the main similarities and differences between Derek Parfit’s notion of imprecise comparability and a related notion I have proposed of parity. I argue that the main difference between imprecise comparability and parity can be understood by reference to ‘the standard view’. The standard view claims that 1) differences between cardinally ranked items can always be measured by a scale of units of the relevant value, and 2) all rankings proceed in terms of the trichotomy of ‘better than’, (...) ‘worse than’, and ‘equally good’. Imprecise comparability, which can be understood in terms of the more familiar notions of cardinality and incommensurability, rejects only the first claim while parity rejects both claims of the standard view. -/- I then argue that insofar as those attracted to imprecise comparability assume that all rankings are trichotomous, as Parfit appears to, the view should be rejected. This is because imprecise equality is not a form of equality but is a sui generis ‘fourth’ basic way in which items can be ranked. We should, I argue, understand imprecise equality as parity, and imprecise comparability as entailing ‘tetrachotomy’ – that if two items are comparable, one must better than, worse than, equal to, or on a par with the other. Thus those attracted to the idea that cardinality can be imprecise should abandon trichotomy and accept parity and tetrachotomy instead. -/- Finally, I illustrate the difference between Parfit’s trichotomous notion of imprecise comparability and parity by examining how each notion might be employed in different solutions to the problem posed by the Repugnant Conclusion in population ethics. I suggest that parity provides the arguably more ecumenical solution to the problem. (shrink)

This paper begins with a response to Josh Gert’s challenge that ‘on a par with’ is not a sui generis fourth value relation beyond ‘better than’, ‘worse than’, and ‘equally good’. It then explores two further questions: can parity be modeled by an interval representation of value? And what should one rationally do when faced with items on a par? I argue that an interval representation of value is incompatible with the possibility that items are on a par (a mathematical (...) proof is given in the appendix). I also suggest that there are three senses of ‘rationally permissible’ which, once distinguished, show that parity does distinctive practical work that cannot be done by the usual trichotomy of relations or by incomparability. In this way, we have an additional argument for parity from the workings of practical reason. (shrink)

According to agency theory, agents base their economic decisions on self-interests when adverse selection conditions exist. However, cognitive moral development theory predicts that ethics/morals may influence decision-makers not to behave egoistically. Rutledge and Karim, 173-184) find both the moral reasoning level of the managers and an adverse selection condition affect a manager's project evaluation decisions significantly. Since prior studies have shown that national culture might influence the application of agency theory in project evaluation, this current study uses a different moral (...) development measurement to reexamine Rutledge and Karim's hypotheses in another culture. A total of 73 Taiwanese executive MBA students with an average of 12.17 years work experience participated in this study. We found that both moral development level and adverse selection conditions significantly affect managers' project continuance decisions. The interaction effect of these two factors indicates that, when adverse selection conditions exist, participants with a high level of moral development exhibit less of a tendency to continue an unprofitable project than those with a low level of moral development. With subjects from a different culture, our results confirm the findings of Rutldege and Karim. That is, the effects of moral development and adverse selection conditions on managers' project continuance decisions are robust and can be generalized to different cultures. Implications of the findings of this study to multinational firms are also discussed. (shrink)

What sorts of consideration can be normative reasons for action? If we systematize the wide variety of considerations that can be cited as normative reasons, do we find that there is a single kind of consideration that can always be a reason? Desire-based theorists think that the fact that you want something or would want it under certain evaluatively neutral conditions can always be your normative reason for action. Value-based theorists, by contrast, think that what plays that role are evaluative (...) facts (or the facts that subvene them) about what you want, such as the fact that having it would be good in some way. This paper argues that value-based theorists are wrong; if we try to find a single kind of consideration that can always be normative reason, we find that sometimes our reason is the fact that we want something and not any corresponding evaluative fact. (shrink)

A popular and plausible response against Laudan's “pessimistic induction” has been what I call “preservative realism,” which argues that there have actually been enough elements of scientific knowledge preserved through major theory‐change processes, and that those elements can be accepted realistically. This paper argues against preservative realism, in particular through a critical review of Psillos's argument concerning the case of the caloric theory of heat. Contrary to his argument, the historical record of the caloric theory reveals that beliefs about the (...) properties of material caloric, rejected by subsequent theories, were indeed central to the successes of the caloric theory. Therefore caloric remains a favorable case for Laudan. Further, I argue that even confirmed cases of preservation do not warrant an inference to truth. (shrink)

This paper argues for the existence of a fourth positive generic value relation that can hold between two items beyond ‘better than’, ‘worse than’, and ‘equally good’: namely ‘on a par’.

The central aim of this book is to answer two questions: Are alternatives for choice ever incomparable? and, In what ways can items be compared? The arguments offered suggest that alternatives for choice no matter how different are never incomparable, and that the ways in which items can be compared are richer and more varied than commonly supposed. This work is the first book length treatment of the topics of incomparability, value, and practical reason.

Slurs are derogatory words and they are used to derogate certain groups. Theories of slurs must explain why they are derogatory words, as well as other features like independence and descriptive ineffability. This paper proposes an illocutionary force indicator theory of slurs: they are derogatory terms because their use is to perform the illocutionary act of derogation, which is a declarative illocutionary act to enforce norms against the target. For instance, calling a Chinese person “chink” is an act of derogation (...) to enforce racist norms that license exclusion of the Chinese, deny their rights to dignity, etc. The contribution of this paper is twofold. First, it offers a more comprehensive explanation of the features of slurs than earlier speech act approaches. Second, it provides a theory that is immune to the problems faced by existing theories, such as wrong predictions of truth-conditions, explaining unacceptability to non-bigots, and explaining slurs against the dominant groups. (shrink)

This encyclopedia entry urges what it takes to be correctives to common (mis)understandings concerning the phenomenon of incommensurability and incomparability and briefly outlines some of their philosophical upshots.

In this innovative book, Hasok Chang constructs a philosophy of science for 'realistic people' interested in understanding and promoting the actual practices of inquiry in science and other knowledge-focused areas of life. Inspired by pragmatist philosophy, he reconceives the very notions of reality and truth on the basis of his concept of the 'operational coherence' of epistemic activities, and offers new pragmatist conceptions of truth and reality as operational ideals achievable in actual scientific practice. Rejecting the version of scientific (...) realism that is concerned with claiming that our theories correspond to an ultimate reality, he proposes instead an 'activist realism': a commitment to do all that we can actually do to improve our knowledge of realities. His book will appeal to scholars and students in philosophy, science and the history of science, and all who are concerned about the place of science and empirical truth in society. (shrink)

Why do some epistemic objects persist despite undergoing serious changes, while others go extinct in similar situations? Scientists have often been careless in deciding which epistemic objects to retain and which ones to eliminate; historians and philosophers of science have been on the whole much too unreflective in accepting the scientists’ decisions in this regard. Through a re-examination of the history of oxygen and phlogiston, I will illustrate the benefits to be gained from challenging and disturbing the commonly accepted continuities (...) and discontinuities in the lives of epistemic objects. I will also outline two key consequences of such re-thinking. First, a fresh view on the (dis)continuities in key epistemic objects is apt to lead to informative revisions in recognized periods and trends in the history of science. Second, recognizing sources of continuity leads to a sympathetic view on extinct objects, which in turn problematizes the common monistic tendency in science and philosophy; this epistemological reorientation allows room for more pluralism in scientific practice itself. (shrink)

In virtue of what is something a reason for action? That is, what makes a consideration a reason to act? This is a metaphysical or meta-normative question about the grounding of reasons for action. The answer to the grounding question has been traditionally given in ‘pure’, univocal terms. This paper argues that there is good reason to understand the ground of practical normativity as a hybrid of traditional ‘pure’ views. The paper 1) surveys the three leading ‘pure’ answers to the (...) question of a normative ground, 2) examines one or two of the most difficult problems for each, proposing along the way a new objection to one, and 3) argues that a particular hybrid view about normative grounds –‘hybrid voluntarism’ – avoids each of the main problems faced by the three leading ‘pure’ views. (shrink)

What can we conclude from a mere handful of case studies? The field of HPS has witnessed too many hasty philosophical generalizations based on a small number of conveniently chosen case studies. One might even speculate that dissatisfaction with such methodological shoddiness contributed decisively to a widespread disillusionment with the whole HPS enterprise. Without specifying clear mechanisms for history-philosophy interaction, we are condemned to either making unwarranted generalizations from history, or writing entirely "local" histories with no bearing on an overall (...) understanding of the scientific process. I propose a move away from the habit of viewing historical cases as an inductive evidence-base for general philosophical theses. The relation between historical and philosophical studies should not be seen as one between the particular and the general, but as a relation between the concrete and the abstract. An abstract framework is necessary for telling any concrete story at all. In this paper I explore how doing concrete history can help our abstract philosophizing. In the absence of ready-made philosophical concepts appropriate for understanding a given historical episode, the historian is compelled to craft new abstract philosophical concepts. Therefore, history-writing can be a very effective method of philosophical discovery. I will illustrate these claims through a discussion of two investigations in HPS from my own recent and current work: (1) temperature measurement and epistemic iteration; (2)constitution and laboratory practices in the Chemical Revolution. (This will also raise, and solve, a problem of reflexivity: how can we use case studies to show how to go beyond case studies?). (shrink)

The feeling of being offended, as a moral emotion, plays a key role in issues such as slurs, the offense principle, ethics of humor, etc. However, no adequate theory of offense has been developed in the literature, and it remains unclear what questions such a theory should answer. This paper attempts to fill the gap by performing two tasks. The first task is to clarify and summarize the questions of offense into two kinds, the descriptive questions (e.g., what features differentiate (...) offense from similar moral states like anger?) and the normative questions (e.g., what are the conditions for taking offense to be apt?). The second task is to answer these questions by developing what I call ‘the violated norm theory of offense’. According to this theory, feeling offended entails that the norm one endorses is judged to be violated by the offender. Appealing to the violated norm enables this theory to answer the descriptive questions (e.g., taking offense differs from anger because of features like not requiring victims and the difficulty of animal offense) and the normative questions of offense (e.g., taking offense is apt only if the violated norm is universalizable). (shrink)

Building on my previous writings on presentism, pluralism, and “complementary science”, I develop an activist view of historiography. I begin by recognizing the inevitability of presentism. Our own purposes and perspectives do and should guide the production of our accounts of the past; like funerals, history-writing is for the living. There are different kinds of presentist history, depending on the historians’ purposes and perspectives. My particular inclination is pluralist. Science remembers its own history from a particular perspective, which views the (...) past as imperfect versions of the present; if professional historians of science shared this perspective, our work would be redundant. Instead, we can make it our task to illuminate the aspects of the past of science that scientists themselves tend to ignore and forget. History of science can also take a more productive role in the creation and improvement of scientific knowledge. Scientific progress as we know it tends to involve the shutting down of alternative paths of inquiry, resulting in a loss of potential and actual knowledge. A critical and sympathetic engagement with the past allows us to recover the lost paths, which can also suggest new paths. These points will be illustrated by a number of examples, especially from the history of chemistry and physics, including the recovery and extension of past experiments. (shrink)

This paper argues that there is a particular kind of ‘internal’ commitment typically made in the context of romantic love relationships that has striking meta-normative implications for how we understand the role of the will in practical normativity. Internal commitments cannot plausibly explain the reasons we have in committed relationships on the usual model – as triggering reasons that are already there, in the way that making a promise triggers a reason via a pre-existing norm of the form ‘If you (...) make a promise to x, then you have a reason to x’. Instead, internal commitments are that in virtue of which one has the special reasons of committed relationships; they are the grounds of such reasons. In this way, the will is a source of practical normativity. (shrink)

Recently, some of the leading proponents of the view that there is widespread incommensurability among goods have suggested that the incommensurability of some goods is a constitutive feature of the goods themselves. So, for example, a friendship and a million dollars are incommensurable because it is part of what it is to be a friendship that it be incommensurable with money. According to these ‘constitutive incommensurabilists’ incommensurability follows from the very nature of certain goods. In this paper, I examine this (...) idea and argue that constitutive incommensurabilists have mistaken for constitutive incommensurability a particular emphatic kind of comparability. This examination involves an account of ‘higher’ and ‘lower’ goods and an explanation of how goods of different ‘types’ figure in practical conflict. (shrink)

Historians often feel that standard philosophical doctrines about the nature and development of science are not adequate for representing the real history of science. However, when philosophers of science fail to make sense of certain historical events, it is also possible that there is something wrong with the standard historical descriptions of those events, precluding any sensible explanation. If so, philosophical failure can be useful as a guide for improving historiography, and this constitutes a significant mode of productive interaction between (...) the history and the philosophy of science. I illustrate this methodological claim through the case of the Chemical Revolution. I argue that no standard philosophical theory of scientific method can explain why European chemists made a sudden and nearly unanimous switch of allegiance from the phlogiston theory to Lavoisier's theory. A careful re-examination of the history reveals that the shift was neither so quick nor so unanimous as imagined even by many historians. In closing I offer brief reflections on how best to explain the general drift toward Lavoisier's theory that did take place. (shrink)

Traditional theories construe approximate truth or truthlikeness as a measure of closeness to facts, singular facts, and idealization as an act of either assuming zero of otherwise very small differences from facts or imagining ideal conditions under which scientific laws are either approximately true or will be so when the conditions are relaxed. I first explain the serious but not insurmountable difficulties for the theories of approximation, and then argue that more serious and perhaps insurmountable difficulties for the theory of (...) idealization force us to sever its close tie to approximation. This leads to an appreciation of lawlikeness as a measure of closeness to laws, which I argue is the real measure of idealization whose main purpose is to carve nature at its joints. (shrink)

What makes a choice hard? I discuss and criticize three common answers and then make a proposal of my own. Paradigmatic hard choices are not hard because of our ignorance, the incommensurability of values, or the incomparability of the alternatives. They are hard because the alternatives are on a par; they are comparable, but one is not better than the other, and yet nor are they equally good. So understood, hard choices open up a new way of thinking about what (...) it is to be a rational agent. (shrink)

‘Normative powers’ are capacities to create normative reasons by our willing or say-so. They are significant, because if we have them and exercise them, then sometimes the reasons we have are ‘up to us’. But such powers seem mysterious. How can we, by willing, create reasons? In this paper, I examine whether normative powers can be adequately explained normatively, by appeal to norms of a practice, normative principles, human interests, or values. Can normative explanations of normative powers explain how an (...) exercise of the will can afford us special freedom in determining our reasons? I argue that normative approaches to answering this question prove to be inadequate. To vindicate the thought that normative powers can make our reasons ‘up to us’, we need an altogether different approach to understanding them, one that is located not in the normative but in the metaphysical. I end the paper by sketching a metaphysical explanation of normative powers. This metaphysical defence of normative powers provides a window into a different, more agent-centered way of thinking about rational agency. (shrink)

This book contains an introduction to symbolic logic and a thorough discussion of mechanical theorem proving and its applications. The book consists of three major parts. Chapters 2 and 3 constitute an introduction to symbolic logic. Chapters 4–9 introduce several techniques in mechanical theorem proving, and Chapters 10 an 11 show how theorem proving can be applied to various areas such as question answering, problem solving, program analysis, and program synthesis.

In other work I have argued that items can be on a par, where being on a par is a fourth, basic, sui generis value relation beyond the usual trichotomy of ‘better than’, ‘worse than’, and ‘equally good’. In this paper, I aim to marshal non-technical, intuitive arguments for this view. First, I try to cast doubt on the leading source of intuitive resistance to parity, the conviction that if two items are comparable, one must be better than the other, (...) worse than it, or they must be equally good. Second, I explain how parity can arise by appealing to an uncontroversial distinction between quantity and quality of value. I propose both sufficient conditions for parity and a nontechnical model of the notion. My overall aim is to bring into view a simple and intuitive picture of value – and more generally of normativity – in which parity plays a significant role. (shrink)