Comparable worth is a controversial compensation strategy. In this paper, research issues that arise when employers perform point-based job evaluations, but deviate from them because of market factors, are discussed. Greater research attention to the actual operation of markets and to the consequences of conflicts in equity perceptions is encouraged.

Despite a large and multifaceted effort to understand the vast landscape of phenotypic data, their current form inhibits productive data analysis. The lack of a community-wide, consensus-based, human- and machine-interpretable language for describing phenotypes and their genomic and environmental contexts is perhaps the most pressing scientific bottleneck to integration across many key fields in biology, including genomics, systems biology, development, medicine, evolution, ecology, and systematics. Here we survey the current phenomics landscape, including data resources and handling, and the progress that (...) has been made to accurately capture relevant data descriptions for phenotypes. We present an example of the kind of integration across domains that computable phenotypes would enable, and we call upon the broader biology community, publishers, and relevant funding agencies to support efforts to surmount today's data barriers and facilitate analytical reproducibility. (shrink)

This paper is about the good side of modal logic, the bad side of modal logic, and how hybrid logic takes the good and fixes the bad.In essence, modal logic is a simple formalism for working with relational structures . But modal logic has no mechanism for referring to or reasoning about the individual nodes in such structures, and this lessens its effectiveness as a representation formalism. In their simplest form, hybrid logics are upgraded modal logics in which reference to (...) individual nodes is possible.But hybrid logic is a rather unusual modal upgrade. It pushes one simple idea as far as it will go: represent all information as formulas. This turns out to be the key needed to draw together a surprisingly diverse range of work . Moreover, it displays a number of knowledge representation issues in a new light, notably the importance of sorting. (shrink)

Hybridization is a method invented by Arthur Prior for extending the expressive power of modal languages. Although developed in interesting ways by Robert Bull, and by the Sofia school , the method remains little known. In our view this has deprived temporal logic of a valuable tool.The aim of the paper is to explain why hybridization is useful in temporal logic. We make two major points, the first technical, the second conceptual. First, we show that hybridization gives rise to well-behaved (...) logics that exhibit an interesting synergy between modal and classical ideas. This synergy, obvious for hybrid languages with full first-order expressive strength, is demonstrated for a weaker local language capable of defining the Until operator; we provide a minimal axiomatization, and show that in a wide range of temporally interesting cases extended completeness results can be obtained automatically. Second, we argue that the idea of sorted atomic symbols which underpins the hybrid enterprise can be developed further. To illustrate this, we discuss the advantages and disadvantages of a simple hybrid language which can quantify over paths. (shrink)

In this paper we discuss two hybrid languages, ℒ and ℒ, and provide them with complete axiomatizations. Both languages combine features of modal and classical logic. Like modal languages, they contain modal operators and have a Kripke semantics. Unlike modal languages, in these systems it is possible to 'label' states by using A and ↓ to bind special state variables.This paper explores the consequences of hybridization for completeness. As we shall show, the challenge is to blend the modal idea of (...) canonical models with the classical idea of witnessed maximal consistent sets. The languages ℒ and ℒ provide us with two extreme examples of the issues involved. In the case of ℒ, we can combine these ideas relatively straightforwardly with the aid of analogs of the Barcan axioms coupled with a modal theory of labeling. In the case of ℒ, on the other hand, although we can still formulate a theory of labeling, the Barcan analogs are not valid. We show how to overcome this difficulty by using COV*, an infinite collection of additional rules of proof which has been used in a number of investigations of extended modal logic. (shrink)

In their simplest form, hybrid languages are propositional modal languages which can refer to states. They were introduced by Arthur Prior, the inventor of tense logic, and played an important role in his work: because they make reference to specific times possible, they remove the most serious obstacle to developing modal approaches to temporal representation and reasoning. However very little is known about the computational complexity of hybrid temporal logics.In this paper we analyze the complexity of the satisfiability problem of (...) a number of hybrid temporal logics: the basic hybrid language over transitive trees; nominal Until logic; and referential interval logic. We discuss the effects of including nominals, the @ operator, the somewhere modality E, and the difference operator D. Adding nominals to tense logic leads for several frame-classes to an increase in complexity of the satisfiability problem from PSPACE to EXPTIME. On transitive trees, however, the satisfiability problem for this language can be decided in PSPACE. Along the way we make a detour through hybrid propositional dynamic logic: we establish upper bounds for a number of temporal logics by generalizing results due to Passy and Tinchev [29] and De Giacomo [16]. We conclude with some remarks on the relevance of our results to description logic, and draw attention to the utility of the spypoint technique for proving upper and lower bounds. (shrink)

Simon Blackburn has claimed that on a theory of revealed preference it is tautological that any eligible player - one whose preferences are consistent - plays hawk, chooses a strategy of non-cooperation with the other prisoner. This claim is examined and rejected. A prisoner in the appropriate sense is defined not by preferences over actions (playing hawk or playing dove) but by preferences over the four possible outcomes which result from the players' actions jointly (both playing hawk, both playing (...) dove, the first playing hawk and the second dove, and vice versa). It is not inconsistent to suppose that a prisoner has the appropriate preferences over outcomes but nevertheless chooses to play dove. This can happen either if the prisoner believes for some reason that the full range of outcomes is not available, or if the prisoner is simply a bad strategic thinker. It is perhaps tautological that a player with the appropriate preferences over outcome and with suitable beliefs will if rational choose to play hawk. However, rationality would then involve an appeal to a further principle, the sure-thing principle: if a prisoner would choose hawk knowing that the other will choose hawk, and would also choose hawk knowing that the other will choose dove, then hawk should be chosen when it is uncertain what the other will choose. (shrink)

This thesis concerns the source of modal truth. I aim to answer the question: what is it in virtue of which there are truths concerning what must have been the case as a matter of necessity, or could have been the case but isn't. I begin by looking at a dilemma put forward by Simon Blackburn which attempts to show that any realist answer to this question must fail, and I conclude that either horn of his dilemma can be (...) resisted. I then move on to clarify the nature of the propositions whose truth I am aiming to find the source of. I distinguish necessity de re from necessity de dicto, and argue for a counterpart theoretic treatment of necessity de re. As a result, I argue that there is no special problem concerning the source of de re modal facts. The problem is simply to account for what it is in virtue of which there are qualitative ways the world could have been, and qualitative ways it couldn't have been. I look at two ways to answer this question: by appealing to truthmakers in the actual world, or by appealing to non-actual ontology. I develop a theory of truthmakers, but argue that it is unlikely that there are truthmakers for modal truths among the ontology of the actual. I look at the main possibilist ontology, David Lewis' modal realism, but argue that warrant for that ontology is unobtainable, and that we shouldn't admit non-actual possibilia into our ontology. I end by sketching a quasi-conventionalist approach to modality which denies that there are modal facts, but nevertheless allows that we can speak truly when we use modal language. (shrink)

Blackburn’s dilemma (as commonly understood) is that in explaining truths of the form ‘Necessarily-P’ we have to appeal either to a necessary truth, in which case we don’t seem to make the right kind of progress, or to a contingent truth, in which case we seem to undermine the necessity we were meant to be explaining. This paper advances two claims. First, it is argued that the dilemma is wider in scope than usually supposed. The standard assumption (evident also (...) in Black-burn’s original paper (1993)) is that the dilemma applies to explanations of truths of the form ‘Necessarily-P’. I argue that the real problem identified by Blackburn doesn’t just apply to explanations of truths of this form, but to explanations of necessary truths in general (e.g. truths of logic, mathematics, etc.). In the course of this argument it also transpires that the real problem on the necessity horn is rather different—and rather less susceptible to obvious objections—than it is usually taken to be. It concerns the antinaturalistic core of necessity. Second, it is argued that there is an escape from the antinaturalistic core on the contingency horn. In the footsteps of Wright (1985), the claim is that the contingency horn is tenable for those who believe that the necessary truth in question is analytic, i.e. follows from its meaning. (shrink)

Se è un difetto della ragione essere incapaci di adottare certi mezzi, allo stesso modo è un difetto della ragione essere incapaci di adottare certi fini, dicono i kantiani. Secondo Blackburn questa tesi non-strumentalista deve la sua apparente validità ad una fallacia modale. Dal condizionale «Se si adotta il fine X, è necessario adottare il mezzo Y», si deriva il conseguente «Si deve adottare il mezzo Y», ci si interroga sulla natura del modale che occorre nel conseguente, poi si (...) ricostruisce l’antecedente come «E’ necessario adottare il fine X» e infine si ricostruisce il condizionale come «Se è necessario adottare il fine X, è necessario adottare il mezzo Y». Il non-strumentalista è così portato a credere che la stessa normatività che è contenuta nel principio strumentalista deve essere derivata dalla normatività dei fini (p. 242). (shrink)

This modern, advanced textbook reviews modal logic, a field which caught the attention of computer scientists in the late 1970's.

This modern, advanced textbook reviews modal logic, a field which caught the attention of computer scientists in the late 1970's.

Ruling Passions is about human nature. It is an invitation to see human nature a certain way. It defends this way of looking at ourselves against competitors, including rational choice theory, modern Kantianism, various applications of evolutionary psychology, views that enchant our natures, and those that disenchant them in the direction of relativism or nihilism. It is a story centred upon a view of human ethical nature, which it places amongst other facets of human nature, as just one of the (...) elements which give us the manifold objects of our concerns and cares. (shrink)

The classic approaches -- Correspondence -- Coherence -- Pragmatism -- Deflationism -- Tarski and the semantic theory of truth -- Summary of part I -- Varieties of enquiry -- Truths of taste; truth in art -- Truth in ethics -- Reason -- Religion and truth -- Interpretations.

The author of the highly popular book Think, which Time magazine hailed as "the one book every smart person should read to understand, and even enjoy, the key questions of philosophy," Simon Blackburn is that rara avis--an eminent thinker who is able to explain philosophy to the general reader. Now Blackburn offers a tour de force exploration of what he calls "the most exciting and engaging issue in the whole of philosophy"--the age-old war over truth. The front lines (...) of this war are well defined. On one side are those who believe in plain, unvarnished facts, rock-solid truths that can be found through reason and objectivity--that science leads to truth, for instance. Their opponents mock this idea. They see the dark forces of language, culture, power, gender, class, ideology and desire--all subverting our perceptions of the world, and clouding our judgement with false notions of absolute truth. Beginning with an early skirmish in the war--when Socrates confronted the sophists in ancient Athens--Blackburn offers a penetrating look at the longstanding battle these two groups have waged, examining the philosophical battles fought by Plato, Protagoras, William James, David Hume, Hans-Georg Gadamer, Jacques Derrida, Michel Foucault, Richard Rorty, and many others, with a particularly fascinating look at Nietzsche. Among the questions Blackburn considers are: is science mere opinion, can historians understand another historical period, and indeed can one culture ever truly understand another. Blackburn concludes that both sides have merit, and that neither has exclusive ownership of truth. What is important is that, whichever side we embrace, we should know where we stand and what is to be said for our opponents. (shrink)

Reflection Principles are commonly thought to produce only strong axioms of infinity consistent with V = L. It would be desirable to have some notion of strong reflection to remedy this, and we have proposed Global Reflection Principles based on a somewhat Cantorian view of the universe. Such principles justify the kind of cardinals needed for, inter alia , Woodin’s Ω-Logic.

A modal logic is developed to deal with finite ordered binary trees a they are used in linguistics. A modal language is introduced with operators for the ‘mother of’, ‘first daughter of’ and ‘second daughter of’ relations together with their transitive reflexive closures. The relevant class of tree models is defined and three linguistic applications of this language are discussed: context free grammars, command relations, and trees decorated with feature structures. An axiomatic proof system is given for which completeness is (...) shown with respect to the class of finite ordered binary trees. A number of decidability results follow. (shrink)