The relationship between libertarianism and state is a contested one. Despite pressing full and strict ownership of one’s person and any justly acquired goods, many libertarians have suggested ways in which a state, albeit limited, can be regarded as just. Peter Vallentyne has proposed that all plausible versions of libertarianism are compatible with what he calls ‘private-law states’. His proposal is underpinned by a particular conception of rights, which brings Interest Theory of rights and Will Theory (...) of rights together. If convincing, Vallentyne’s theory of rights enables libertarians to accommodate a limited but nevertheless coercive state that can act without the full consent of the affected citizen. In this paper, it is argued that Vallentyne’s hybrid theory of rights is implausible from a libertarian perspective as well as fails to align itself with common and deeply held moral intuitions. Hence the conflict between mainstream libertarianism and the state is not solved by Vallentyne’s proposal. (shrink)

This is the first comprehensive explanation and survey of the Interest-Will theories of rights debate. It elucidates the traditional understanding of it as a dispute over how best to explain A RIGHT and clarifies the theories’ competing criteria for that concept. The rest of the article then shows why recent developments are either problematic or simply fail to actually advance the debate. First, it is erroneous, as some theorists have done, to frame the entire debate in terms of competing (...) explanations of the direction of ‘directed’ duties. This is because the theories’ respective answers to that issue are themselves dependent upon their respective conceptions of A RIGHT – ones that do not even necessitate the identification of different directions for such duties. Second, all of the new would-be alternative or hybrid theories are shown to merely be versions of the Interest theory. Third, recent efforts to cabin off the debate to ‘normative’ theorisation (i.e., to morally or politically evaluative accounts) are misguided. (shrink)

My task here is to articulate my own novel hybrid theory of (claim-)rights, namely, the Tracking Theory of rights. While new, it has historical antecedents. There is nothing (entirely) new under the sun. Its most vivid antecedents come from the fields of epistemology, in particular Robert Nozick's work, and legal philosophy, in particular Gopal Sreenivasan's work. I am happy to stand on the shoulders of giants. Here I want to freshly articulate the theory from (...) the ground up. So the challenge will be to keep the articulation of the Tracking Theory front and centre, but, naturally, indebtedness to Nozick and Sreenivasan will be woven in at multiple junctures. My Tracking Theory will neither stand nor fall with Nozick's. The relation is more subtle. The strategy is to trade on the indubitable subtlety of Nozick's epistemology to capture the structure of a central normative concept. (shrink)

My task here is to articulate my own novel hybrid theory of (claim-)rights, namely, the Tracking Theory of rights. While new, it has historical antecedents. There is nothing (entirely) new under the sun. Its most vivid antecedents come from the fields of epistemology, in particular Robert Nozick's work, and legal philosophy, in particular Gopal Sreenivasan's work. I am happy to stand on the shoulders of giants. Here I want to freshly articulate the theory from (...) the ground up. So the challenge will be to keep the articulation of the Tracking Theory front and centre, but, naturally, indebtedness to Nozick and Sreenivasan will be woven in at multiple junctures. My Tracking Theory will neither stand nor fall with Nozick's. The relation is more subtle. The strategy is to trade on the indubitable subtlety of Nozick's epistemology to capture the structure of a central normative concept. (shrink)

My task here is to articulate my own novel hybrid theory of (claim-)rights, namely, the Tracking Theory of rights. While new, it has historical antecedents. There is nothing (entirely) new under the sun. Its most vivid antecedents come from the fields of epistemology, in particular Robert Nozick's work, and legal philosophy, in particular Gopal Sreenivasan's work. I am happy to stand on the shoulders of giants. Here I want to freshly articulate the theory from (...) the ground up. So the challenge will be to keep the articulation of the Tracking Theory front and centre, but, naturally, indebtedness to Nozick and Sreenivasan will be woven in at multiple junctures. My Tracking Theory will neither stand nor fall with Nozick's. The relation is more subtle. The strategy is to trade on the indubitable subtlety of Nozick's epistemology to capture the structure of a central normative concept. (shrink)

My task here is to articulate my own novel hybrid theory of (claim-)rights, namely, the Tracking Theory of rights. While new, it has historical antecedents. There is nothing (entirely) new under the sun. Its most vivid antecedents come from the fields of epistemology, in particular Robert Nozick's work, and legal philosophy, in particular Gopal Sreenivasan's work. I am happy to stand on the shoulders of giants. Here I want to freshly articulate the theory from (...) the ground up. So the challenge will be to keep the articulation of the Tracking Theory front and centre, but, naturally, indebtedness to Nozick and Sreenivasan will be woven in at multiple junctures. My Tracking Theory will neither stand nor fall with Nozick's. The relation is more subtle. The strategy is to trade on the indubitable subtlety of Nozick's epistemology to capture the structure of a central normative concept. (shrink)

There are two important traditions in the philosophy of induction. According to one tradition, which has dominated for the last couple of centuries, inductive arguments are warranted by rules. Bayesianism is the most popular view within this tradition. Rules of induction provide functional accounts of inductive support, but no rule is universal; hence, no rule is by itself an accurate model of inductive support. According to another tradition, inductive arguments are not warranted by rules but by matters of fact. Norton’s (...) material theory of induction (MTI) is an influential view within this tradition. Norton’s MTI fails to provide an account of inductive support, but it provides a good account of inductive warrant that can help us define the domain of validity of each rule of induction. Despite their limitations, both approaches to induction are illuminating important aspects of how relations of inductive support work. In this article I present a hybrid theory of induction (HTI), in which I acknowledge and articulate the role of both rules and matters of fact in our understanding of inductive support. According to the HTI, rules of induction accurately describe relations of inductive support when they are warranted, and a rule of induction is warranted if the right facts about the matter of the induction obtain. Crucially, the HTI allows us to address the main challenges that each tradition faces while retaining their strengths, thus obtaining a functional and accurate account of inductive support. The HTI also provides a useful general framework to examine and understand induction, to make sense of how different rules of induction can coexist and to tackle some problems in epistemology. Moreover, the HTI allows us to clarify and resolve some current debates on induction, like the apparent divide between Norton and rule-based theorists. (shrink)

Immanuel Kant appears to make both retributivist and consequentialist statements about criminal punishment in the Metaphysical Foundations of the Doctrine of Right. In recent decades, some scholars have argued that Kant’s theory of criminal punishment is a hybrid of consequentialism and retributivism. B. Sharon Byrd’s interpretation is the most influential version of this view. I argue that the textual evidence in favor of the consequentialist side of the hybrid interpretation is weak and the evidence in favor of (...) the retributivist side is non-existent. There are also passages that contradict the interpretation. I conclude that the hybrid interpretation should be abandoned. (shrink)

In this dissertation, I argue that all extant theories of prudential value are either a) enumeratively deficient, in that they are unable to accommodate everything that, intuitively, is a basic constituent of prudential value, b) explanatorily deficient, in that they are at least sometimes unable to offer a plausible story about what makes a given thing prudentially valuable, or c) both. In response to the unsatisfactory state of the literature, I present my own account, the Disjunctive Hybrid Theory (...) or DHT. DHT answers to and remedies each of the above inadequacies in a way that no other approach can. This account has the following general structure:Disjunctive Hybrid Theory (DHT): Thing x is basically good for person P if and only if x is either a) cared about (sufficiently and in the right way) by P, b) a bearer of (the right kind of) attitude-independent value, or c) both.Although it follows other recent accounts in combining elements from objective and subjective theories, DHT is a hybrid theory of a quite new kind. This is because it denies both subjective necessity (the constraint that, if thing x is to be basically good for person P, P must have some pro-attitude toward x) and objective necessity (the constraint that, if thing x is to be basically good for person P, x must have some attitude-independent value). I argue that the rejection of both necessity claims is called for if we are to move beyond the enumerative and explanatory limitations of existing accounts.I begin by outlining the general structure of DHT. I then argue, against various recent authors, that desire-satisfactionism remains the most appealing subjectivist approach to prudential value, in that it is best able to capture the central subjectivist insight. This insight is that a person can confer prudential value upon things by caring about them (sufficiently and in the right way). The subjectivist strand of DHT will thus be a version of desire-satisfactionism, which must be interpreted in line with what I call the object, as opposed to the combo, view. I move on to further motivate and develop the second, objectivist strand of DHT. This part of the theory involves a commitment to robustly attitude-independent prudential goods. I close by addressing some puzzles for the theory, and considering some of its more specific applications. (shrink)

What makes it the case that a given experience is pleasurable? According to the felt-quality theory, each pleasurable experience is pleasurable because of the way that it feels—its “qualitative character” or “felt-quality”. According to the attitudinal theory, each pleasurable experience is pleasurable because the experiencer takes certain attitudes towards it. These two theories of pleasure are typically framed as rivals, but it could be that they are both partly right. It could be that pleasure is partly a matter (...) of felt-quality, and partly a matter of attitudes. It could be that a hybrid theory is true. In this paper, I aim to advance the cause of hybrid theories of pleasure. I do this in two ways. I begin by examining the challenges which motivate the search for a hybrid theory. I call these the HONEST challenges: Heterogeneity, Oppositeness, Normativity, Euthyphro, Separateness, and Togetherness. The first three challenges—HON—are challenges for the felt-quality theory. The second three challenges—EST—are challenges for the attitudinal theory. Having established the HONEST challenges, I then describe and motivate a particular cluster of hybrid theories which I will call dispositional hybrid theories. According to these theories, pleasurable experiences are all and only those experiences which dispose us to desire them in virtue of feeling the way that they do. The dispositional theories deliver on the promise of hybrid theories: because they appeal to both felt-qualities and attitudes, they have the resources to avoid most, if not all, of the HONEST challenges. (shrink)

"An important contribution to contemporary jurisprudential debate and to legal thought more generally, Just Interpretations is far ahead of currently available work."--Peter Goodrich, author of Oedipus Lex "I was struck repeatedly by the clarity of expression throughout the book. Rosenfeld's description and criticism of the recent work of leading thinkers distinguishes his work within the legal theory genre. Furthermore, his own theory is quite original and provocative."--Aviam Soifer, author of Law and the Company We Keep.

Bex analyzes the case with an informal version of his hybrid theory, which combines scenario construction and argumentation. Arguments based on evidence can be used to reason about alternative scenarios. Bex claims that his hybrid theory provides the best of both worlds by combining cognitively feasible story‐based reasoning with more detailed rational argumentation. However, like the argument‐based approach, the hybrid theory does not provide a systematic account of uncertainty.

John Locke's political theory has been the subject of many detailed treatments by philosophers and political scientists. But The Lockean Theory of Rights is the first systematic, full-length study of Locke's theory of rights and of its potential for making genuine contributions to contemporary debates about rights and their place in political philosophy. Given that the rights of persons are the central moral concept at work in Locke's and Lockean political philosophy, such a (...) study is long overdue. (shrink)

G. W. F. Hegel’s theory of punishment has been most often thought to fit within a particular penal camp. The most popular interpretation is that this theory is retributivist because criminals should only be punished only where deserved in an effort to “annul” crime. Others believe this theory is a theory of moral education whereby criminals come to understand their crimes as wrongs in an effort to reform their behaviour. These interpretations all fail to acknowledge the (...) novelty of Hegel’s theory of punishment. Hegel’s originality consists in offering the first unified theory of punishment. A unified theory of punishment aspires to offer a single, coherent theory of punishment that brings together retributivist, deterrent, and rehabilitative elements without substantial conflict. We can find similar unified theories of punishment amongst Hegel’s earliest defenders, the British Idealists (or “British Hegelians”), who helped to popularize Hegel’s philosophical contributions in the late nineteenth century. Thus, Hegel’s novel theory of punishment marks the beginning of a new tradition concerning how we might think about punishment. (shrink)

Moral language displays a characteristic duality. On the one hand, moral claims seem to be similar to descriptive claims: To say that an act is right seems to be a matter of making an assertion, thus indicating that the speaker has a moral belief about which she can be correct or mistaken. On the other hand, moral claims seem to be different from descriptive claims: There is a sense in which, by claiming that an act is right, a speaker indicates (...) that she is inclined to perform the act, to want others to perform it, and to react with praise towards those who do it. Hybrid theories maintain that utterances of moral sentences have both a descriptive and a practical linguistic function. In this thesis, I investigate how a hybrid theory can best accommodate the descriptive and the practical aspects of moral language. I evaluate and criticize the way that existing hybrid theories have proposed to explain the duality of moral language. The main arguments against these views are that they either: fail to accommodate the way that the practical or attitudinal import of moral claims vary across different contexts and linguistic environments; or that they fail to show how the practical or attitudinal import is reliably inferred by interlocutors in virtue of general communicative principles. I develop and defend a new hybrid theory called ‘dynamic descriptivism’. This theory accommodates the duality of moral language by appeal to the way that moral utterances affect a dimension of communication which consists of the shared assumptions that interlocutors mutually assume to mutually accept. Moreover, I discuss a problem which has affected a wide range of theories of moral language – including existing hybrid theories – which is the problem of explaining what it is that interlocutors disagree about when they disagree about matters of morality. I argue that that dynamic descriptivism offers new resources for solving this problem. (shrink)

This article provides an explanatory account of a central class of moral rights; their normative grounding, the conditions for their possession and forfeiture, and their moral stringency. It argues that interpersonal rights against harm and rights to assistance are best understood as arising from reciprocity relations between moral agents. The account has significant advantages compared with rivals such as the interest theory of rights. By explaining the differential enforceability of rights against harm and (...) class='Hi'>rights to assistance, the reciprocity theory helps to refute an argument made by Cecile Fabre that the poor may have a justification for engaging in war against the affluent to compel them to fulfil their duties of assistance to the poor. (shrink)

In this paper, I present main ideas of the Hybrid Theory of Reference for Proper Names. First, I try to define the ​position of the Hybrid Theory within the discussion about reference. Then I briefly explain most significant aspects of the theory as they were defined by Gareth Evans. Apart from that, I also offer some additions to the theory. The addition, I spend most space on concerns phrases that I call “mock names” which (...) are expressions that look like proper names but in fact are nothing more than abbreviations for descriptions used attributively. (shrink)

Time passes; sometimes swiftly, sometimes interminably, but always it passes. We see the world change as events emerge from the shroud of the future, clandestinely slinking into the past almost immediately as though they are reluctant to meet our gaze: children are born, old friends and relatives die, governments once full of youthful enthusiasm wane. If the Earth were sentient, it might feel itself being torn apart as tectonic plates diverge, and chuckle as it outlived species upon species of transient (...) parasites. How could anyone possibly deny that time passes? (shrink)

This article helps to clear up some misunderstandings about the Will Theory of rights. Section 2 briefly outlines the Theories of Rights. Section 3 elucidates some salient differences amongst self-described anti–Interest Theory accounts. Section 4 rebuts Carl Wellman’s and Arthur Ripstein’s respective arguments about the Will Theory differing from “Choice” or Kantian theories of a right. Section 5 then offers a candidate explanation of why people might subscribe to the Will Theory in the first (...) place. (shrink)

The Will Theory of Rights says that having control over another’s duties grounds rights. The Will Theory has commonly been objected to on the grounds that it undergenerates right-ascriptions along three fronts. This paper systematically examines a range of positions open to the Will Theory in response to these counterexamples, while being faithful to the Will Theory’s focus on normative control. It argues that of the seemingly plausible ways the defender of the Will (...) class='Hi'>Theory can proceed, one cannot both be faithful to the theory’s focus on normative control as the grounds of rights and achieve extensional adequacy. (shrink)

Nicholas Vrousalis has aimed to recast an old objection to the will theory of rights by focusing on Hillel Steiner’s version of that theory. He has argued that Will Theory must either be insensitive to the (values of the) lives of the unempowerable, or be incomplete, because it has no argumentative resources within its conceptual apparatus to ascribe or justify restrictions on the amount of discretion exercised by legal officials. I show that both charges are problematic. (...) They rely on some of Steiner’s inferences which are simply unjustified because they are based on misinterpretations of the logic of Hohfeld’s terminology. The problem for Vrousalis is that his critique takes for granted some of these flawed arguments. The critique is also misdirected to the extent that it assumes that the problems with Steiner’s theory affect Will Theory in general. (shrink)

Hart's will theory of rights has been subjected to at least three significant criticisms. First, it is thought unable to account for the full range of legal rights. Second, it is incoherent, for it values freedom while permitting an agent the option of alienating his or her capacity for choice. Third, any attempt to remedy the first two problems renders the theory reducible to the rival benefit theory. My aim is to address these objections. I (...) argue that will theory has been made vulnerable due to misinterpretation. The theory has been characterized as placing great stress on liberty rights (or claim-protected liberties), whereas it is powers that are central, and hence not choice but control. My argument does, however, depend upon appealing to an extra-legal notion — the hypothetical contract — but I argue that this is consistent with the main aim of a theory of rights. (shrink)

What are the consequences of modernity for the institution of contracting? As the unity of the traditional contract is dissolved into a multiplicity of separate contracting worlds, the binding force of contracting needs to be reformulated from an interpersonal to an interdiscursive relation. The central thesis of this Article is that the unity of contracting is hidden in the blind spot of the distinction between contracting worlds. Contracting needs two diametrically contradictory but complementary theories which cannot be integrated into a (...) synthesis. As demonstrated with the example of the expertise contract, the subtle interplay of different contracting worlds depends basically on a fragile symmetry of chances of translation. The normative correlate of contract understood as translation between different worlds of meaning would be an extension of constitutional rights into the context of private governance regimes. (shrink)

This essay critically examines three theories of moral rights, theBenefit, the Interest, and the Choice theories. The Interest andChoice theories attempt to explain how rights can be more robustthan seems possible on the Benefit theory. In particular, moralrights are supposed to be resistant to trade-offs to supportprincipled anti-paternalism, to constitute a distinct dimensionof morality, and to provide right holders with a range ofdiscretionary choice. I argue that these and other featuresare better yet provided by a fourth (...) class='Hi'>theory of moral rights, theJurisdiction theory. (shrink)

Journal of Applied Philosophy, EarlyView.

A provoking new approach to how we understand metaphors thoroughly comparing and contrasting the claims made by relevance theorists and cognitive linguists. The resulting hybrid theory shows the complementarity of many positions as well as the need and possibility of achieving a broader and more realistic theory of our understanding.

ABSTRACTAccording to interest theorists of rights, rights function to protect the right-holder's interests. True. But this leaves a lot unsaid. Most saliently here, it is certainly not the case that every agent who stands to benefit from performance of a duty gets to be a right-holder. For a theory to allow this to be the case—to allow for an explosion of right-holders—would be tantamount to a reductio thereof. So the challenge for interest theorists is to respect the (...) core of the interest theory while delimiting the set of right-holders in a principled manner. The foremost explicit attempt to do this has invoked Bentham's test. Predictably, invocation of this test has come under attack, with the ultimate aim of challenging the interest theory itself. My purpose in this paper is to render Bentham's test as clearly and accurately as possible. Doing so will raise issues of modality—ultimately in rendering Bentham's test's logical form. Ultimately a core attack on Bentham's test falls away, and, to that extent, the interest theory remains standing as a promising theory of rights. (shrink)

The paper engages the conceptual question of the nature of rights. First, moral methodology for developing criteria to judge the adequacy of theories for the concept of rights is discussed. Standard methodologies for conceptual theory, such as analysis of language practices, appealing to intuitions to test and correct hypotheses, and mixtures of these with appeals to substantive moral values, are shown to fail in important ways to give us reasons to adopt one or another view of the (...) concept. An alternative methodology is proposed which appeals to the distinct role of concepts in our value scheme (the added value of being able to employ such concepts in our moral judgments). This is then used to develop criteria for a successful theory of rights. Two existing theories are shown, as a matter of illustration, to fail to satisfy the criteria, and finally an alternative theory of rights which does satisfy these criteria is proposed and defended. (shrink)

Psychologists of concepts’ traditional assumption that there are many properties common to all concepts has been subject to devastating critiques in psychology and in the philosophy of psychology. However, it is currently unclear what approach to concepts is best suited to replace this traditional assumption. In this article, we compare two competing approaches, the Heterogeneity Hypothesis and the hybrid theories of concepts, and we present an empirical argument that tentatively supports the former over the latter.

Hybrid theories are metaethical theories concerning the content of sentences about moral value. These theories claim that sentences with ethical content express two kinds of mental state. One state is an affect‐like state. The other is a belief‐like state. The expressed affect‐like state will involve a moral attitude of some kind, such as approval, but it is not part of the truth‐conditions of the sentence. We can divide hybridists into two kinds.

It is discerned what light can bring the recent historical reconstructions of maxwellian optics and electromagnetism unification on the following philosophical/methodological questions. I. Why should one believe that Nature is ultimately simple and that unified theories are more likely to be true? II. What does it mean to say that a theory is unified? III. Why theory unification should be an epistemic virtue? To answer the questions posed genesis and development of Maxwellian electrodynamics are elucidated. It is enunciated (...) that the Maxwellian Revolution is a far more complicated phenomenon than it may be seen in the light of Kuhnian and Lakatosian epistemological models. Correspondingly it is maintained that maxwellian electrodynamics was elaborated in the course of the old pre-maxwellian programmes’ reconciliation: the electrodynamics of Ampére-Weber, the wave theory of Young-Fresnel and Faraday’s programme. To compare the different theoretical schemes springing from the different language games James Maxwell had constructed a peculiar neutral language. Initially it had encompassed the incompressible fluid models; eventually – the vortices ones. The three programmes’ encounter engendered the construction of the hybrid theory at first with an irregular set of theoretical schemes. However, step by step, on revealing and gradual eliminating the contradictions between the programmes involved, the hybrid set is “put into order” (Maxwell’s term). A hierarchy of theoretical schemes starting from ingenious crossbreeds (the displacement current) and up to usual hybrids is set up. After the displacement current construction the interpenetration of the pre-maxwellian programmes begins that marks the commencement of theoretical schemes of optics, electricity and magnetism real unification. Maxwell’s programme surpassed that of Ampére-Weber because it did absorb the ideas of the Ampére-Weber programme, as well as the presuppositions of the programmes of Young-Fresnel and Faraday properly co-ordinating them with each other. But the opposite statement is not true. The Ampére-Weber programme did not assimilate the propositions of the Maxwellian programme. Maxwell’s victory over his rivals became possible because the gist of Maxwell’s unification strategy was formed by Kantian epistemology looked in the light of William Whewell and such representatives of Scottish Enlightenment as Thomas Reid and Sir William Hamilton. Maxwell did put forward as basic synthetic principles the ideas that radically differed from that of Ampére-Weber approach by their open, flexible and contra-ontological, genuinly epistemological, Kantian character. For Maxwell, ether was not the ultimate building block of physical reality, from which all the charges and fields should be constructed. “Action at a distance”, “incompressible fluid”, “molecular vortices”, etc. were contrived analogies for Maxwell, capable only to direct the researcher at the “right” mathematical relations. Key words: J.C. Maxwell, unification of optics and electromagnetism, I. Kant, T. Reid, W. Hamilton . (shrink)

‘Hybrid’ theories of personal good, defended by e.g. Parfit, Wolf, and Kagan, equate it, not with a subjective state such as pleasure on its own, nor with an objective state such as knowledge on its own, but with a whole that supposedly combines the two. These theories apply Moore's principle of organic unities, which says the value of a whole needn't equal the sum of the values its parts would have by themselves. This allows them, defenders say, to combine (...) the attractions of purely subjective and purely objective views. This common understanding of the theories is, however, mistaken. At the most fundamental level they don't combine a subjective and an objective element but two objective ones. Once this is understood, their attraction as hybrid theories diminishes: the value in their wholes may be just the sum of the values in their parts. (shrink)

This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This work was reproduced from the original artifact, and remains as true to the original work as possible. Therefore, you will see the original copyright references, library stamps (as most of these works have been housed in our most important libraries around the world), and other notations in the work. This work is in the public domain (...) in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work. As a reproduction of a historical artifact, this work may contain missing or blurred pages, poor pictures, errant marks, etc. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and made generally available to the public. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant. (shrink)

The Will Theory of Rights has commonly been criticized for excluding from the class of rights bearers all subjects who are incapable of agency. The Interest Theory of Rights faces the challenge of avoiding undue proliferation of the class of rights bearers. I advance a novel argument for a specific demarcation of the class of rights bearers. I then argue that this demarcation implies that the function of the moral rights of subjects (...) incapable of exercising agency is to protect them from being treated with illegitimate disregard in a certain sense. I advance reasons for holding that this theory is neither a Will Theory nor an Interest Theory, or a combination of these theories. The proposed account is significant also if it is interpreted as a version of the Interest Theory. It brings significant benefits in the form of cohesiveness, simplicity, and intuitive appeal. (shrink)

This is primarily a conceptual paper. The goal of the paper is to put into perspective the proof-theory of hybrid logic and in particular, try to give an answer to the following question: Why does the proof-theory of hybrid logic work so well compared to the proof-theory of ordinary modal logic?Roughly, there are two different kinds of proof systems for modal logic: Systems where the formulas involved in the rules are formulas of the object language, (...) that is, ordinary modal-logical formulas, and systems where the formulas involved in the rules are metalingustic formulas obtained by attaching labels representing possible worlds to ordinary modal-logical formulas. Systems of the second kind often also involve an explicit representation of the accessibility relation. From a proof-theoretic point of view, modal-logical systems of the first kind are less well-behaved than systems of the second kind.It turns out that this can be remedied by hybridization, that is, hybridization of modal logics enables the formulation of well-behaved proof systems without involving metalinguistic machinery. What has happened is that the metalinguistic machinery has been internalized in the object language. This gives an answer to the initial question, which is that the proof-theory of hybrid logic works so well because the metalinguistic semantic machinery has been internalized in the object language. (shrink)