This paper presents a new reconstruction of Wittgenstein’s famous (and controversial) rule-following arguments. Two are the novel features offered by our reconstruction. In the first place, we propose a shift of the central focus of the discussion, from the general semantics and the philosophy of mind to the philosophy of mathematics and the rejection of the notion of a function. The second new feature is positive: we argue that Wittgenstein offers us a new alternative notion of a rule (to replace (...) the rejected functions), a notion reminiscent of Category Theory’s notion of a morphism. (shrink)

Tichý’s Transparent Intensional Logic (TIL) is an overarching logical framework apt for the analysis of all sorts of discourse, whether colloquial, scientific, mathematical or logical. The theory is a procedural (as opposed to denotational) one, according to which the meaning of an expression is an abstract, extra-linguistic procedure detailing what operations to apply to what procedural constituents to arrive at the product (if any) of the procedure that is the object denoted by the expression. Such procedures are rigorously defined as (...) TIL constructions. Though TIL analytical potential is very large, deduction in TIL has been rather neglected. Tichý defined a sequent calculus for pre-1988 TIL, that is TIL based on the simple theory of types. Since then no other attempt to define a proof calculus for TIL has been presented. The goal of this paper is to propose a generalization and adjustment of Tichý’s calculus to TIL 2010. First, I briefly recapitulate the rules of simple-typed calculus as presented by Tichý. Then, I propose the adjustments of the calculus so that it be applicable to hyperintensions within the ramified hierarchy of types. TIL operates with a single procedural semantics for all kinds of logical-semantic context, be it extensional, intensional or hyperintensional. I show that operating in a hyperintensional context is far from being technically trivial. Yet, it is feasible. To this end, we introduce a substitution method that operates on hyperintensions. It makes use of a four-place substitution function (called Sub) defined over hyperintensions. (shrink)

The naive theory of properties states that for every condition there is a property instantiated by exactly the things which satisfy that condition. The naive theory of properties is inconsistent in classical logic, but there are many ways to obtain consistent naive theories of properties in nonclassical logics. The naive theory of classes adds to the naive theory of properties an extensionality rule or axiom, which states roughly that if two classes have exactly the same members, they are identical. In (...) this paper we examine the prospects for obtaining a satisfactory naive theory of classes. We start from a result by Ross Brady, which demonstrates the consistency of something resembling a naive theory of classes. We generalize Brady’s result somewhat and extend it to a recent system developed by Andrew Bacon. All of the theories we prove consistent contain an extensionality rule or axiom. But we argue that given the background logics, the relevant extensionality principles are too weak. For example, in some of these theories, there are universal classes which are not declared coextensive. We elucidate some very modest demands on extensionality, designed to rule out this kind of pathology. But we close by proving that even these modest demands cannot be jointly satisfied. In light of this new impossibility result, the prospects for a naive theory of classes are bleak. (shrink)

Legal anti-positivism is widely believed to be a general theory of law that generates far too many false negatives. If anti-positivism is true, certain rules bearing all the hallmarks of legality are not in fact legal. This impression, fostered by both positivists and anti-positivists, stems from an overly narrow conception of the kinds of moral facts that ground legal facts: roughly, facts about what is morally optimific—morally best or morally justified or morally obligatory given our social practices. A less (...) restrictive view of the kinds of moral properties that ground legality results in a form of anti-positivism that can accommodate any legal rule consistent with positivism, including the alleged counter-examples. This form of “inclusive” anti-positivism is not just invulnerable to extensional challenges from the positivist. It is the only account that withstands extensional objections, while incorporating, on purely conceptual grounds, a large part of the content of morality into law. (shrink)

This paper develops a theory of propositional identity which distinguishes necessarily equivalent propositions that differ in subject-matter. Rather than forming a Boolean lattice as in extensional and intensional semantic theories, the space of propositions forms a non-interlaced bilattice. After motivating a departure from tradition by way of a number of plausible principles for subject-matter, I will provide a Finean state semantics for a novel theory of propositions, presenting arguments against the convexity and nonvacuity constraints which Fine (2016, 2017a,b) introduces. (...) I will then move to compare the resulting logic of propositional identity (PI) with Correia’s (2016) logic of generalised identity (GI), as well as the first degree fragment of Angell’s (1989) logic of analytic containment (AC). The paper concludes by extending PI to include axioms and rules for a subject-matter operator, providing a much broader theory of subject-matter than the principles with which I will begin. (shrink)

Modal logic is one of philosophy’s many children. As a mature adult it has moved out of the parental home and is nowadays straying far from its parent. But the ties are still there: philosophy is important to modal logic, modal logic is important for philosophy. Or, at least, this is a thesis we try to defend in this chapter. Limitations of space have ruled out any attempt at writing a survey of all the work going on in our field—a (...) book would be needed for that. Instead, we have tried to select material that is of interest in its own right or exemplifies noteworthy features in interesting ways. Here are some themes that have guided us throughout the writing: • The back-and-forth between philosophy and modal logic. There has been a good deal of give-and-take in the past. Carnap tried to use his modal logic to throw light on old philosophical questions, thereby inspiring others to continue his work and still others to criticise it. He certainly provoked Quine, who in his turn provided—and continues to provide—a healthy challenge to modal logicians. And Kripke’s and David Lewis’s philosophies are connected, in interesting ways, with their modal logic. Analytic philosophy would have been a lot different without modal logic! • The interpretation problem. The problem of providing a certain modal logic with an intuitive interpretation should not be conflated with the problem of providing a formal system with a model-theoretic semantics. An intuitively appealing model-theoretic semantics may be an important step towards solving the interpretation problem, but only a step. One may compare this situation with that in probability theory, where definitions of concepts like ‘outcome space’ and ‘random variable’ are orthogonal to questions about “interpretations” of the concept of probability. • The value of formalisation. Modal logic sets standards of precision, which are a challenge to—and sometimes a model for—philosophy. Classical philosophical questions can be sharpened and seen from a new perspective when formulated in a framework of modal logic. On the other hand, representing old questions in a formal garb has its dangers, such as simplification and distortion. • Why modal logic rather than classical (first or higher order) logic? The idioms of modal logic—today there are many!—seem better to correspond to human ways of thinking than ordinary extensional logic. (Cf. Chomsky’s conjecture that the NP + VP pattern is wired into the human brain.) In his An Essay in Modal Logic (1951) von Wright distinguished between four kinds of modalities: alethic (modes of truth: necessity, possibility and impossibility), epistemic (modes of being known: known to be true, known to be false, undecided), deontic (modes of obligation: obligatory, permitted, forbidden) and existential (modes of existence: universality, existence, emptiness). The existential modalities are not usually counted as modalities, but the other three categories are exemplified in three sections into which this chapter is divided. Section 1 is devoted to alethic modal logic and reviews some main themes at the heart of philosophical modal logic. Sections 2 and 3 deal with topics in epistemic logic and deontic logic, respectively, and are meant to illustrate two different uses that modal logic or indeed any logic can have: it may be applied to already existing (non-logical) theory, or it can be used to develop new theory. (shrink)

This paper is the twin of (Duží and Jespersen, in submission), which provides a logical rule for transparent quantification into hyperprop- ositional contexts de dicto, as in: Mary believes that the Evening Star is a planet; therefore, there is a concept c such that Mary be- lieves that what c conceptualizes is a planet. Here we provide two logical rules for transparent quantification into hyperpropositional contexts de re. (As a by-product, we also offer rules for possible- world propositional (...) contexts.) One rule validates this inference: Mary believes of the Evening Star that it is a planet; therefore, there is an x such that Mary believes of x that it is a planet. The other rule validates this inference: the Evening Star is such that it is believed by Mary to be a planet; therefore, there is an x such that x is believed by Mary to be a planet. Issues unique to the de re variant include partiality and existential presupposition, sub- stitutivity of co-referential (as opposed to co-denoting or synony- mous) terms, anaphora, and active vs. passive voice. The validity of quantifying-in presupposes an extensional logic of hyperinten- sions preserving transparency and compositionality in hyperinten- sional contexts. This requires raising the bar for what qualifies as co-denotation or equivalence in extensional contexts. Our logic is Tichý’s Transparent Intensional Logic. The syntax of TIL is the typed lambda calculus; its highly expressive semantics is based on a procedural redefinition of, inter alia, functional abstraction and application. The two non-standard features we need are a hyper- intension (called Trivialization) that presents other hyperintensions and a four-place substitution function (called Sub) defined over hy- perintensions. (shrink)

Interpreters have found it exceedingly difficult to understand how Hume could be right in claiming that his two definitions of ‘cause’ are essentially the same. As J. A. Robinson points out, the definitions do not even seem to be extensionally equivalent. Don Garrett offers an influential solution to this interpretative problem, one that attributes to Hume the reliance on an ideal observer. I argue that the theoretical need for an ideal observer stems from an idealized concept of definition, which many (...) interpreters, including Garrett, attribute to Hume. I argue that this idealized concept of definition indeed demands an unlimited or infinite ideal observer. But there is substantial textual evidence indicating that Hume disallows the employment of idealizations in general in the sciences. Thus Hume would reject the idealized concept of definition and its corresponding ideal observer. I then put forward an expert-relative reading of Hume’s definitions of ‘cause’, which also renders both definitions extensionally equivalent. On the expert-relative reading, the meaning of ‘cause’ changes with better observations and experiments, but it also allows Humean definitions to play important roles within our normative practices. Finally, I consider and reject Henry Allison’s argument that idealized definitions and their corresponding infinite minds are necessary for expert reflection on the limitations of current science. (shrink)

I focus on three mereological principles: the Extensionality of Parthood (EP), the Uniqueness of Composition (UC), and the Extensionality of Composition (EC). These principles are not equivalent. Nonetheless, they are closely related (and often equated) as they all reflect the basic nominalistic dictum, No difference without a difference maker. And each one of them—individually or collectively—has been challenged on philosophical grounds. In the first part I argue that such challenges do not quite threaten EP insofar as they are either self-defeating (...) or unsupported. In the second part I argue that they hardly undermine the tenability of EC and UC as well. (shrink)

Extensional scientific realism is the view that each believable scientific theory is supported by the unique first-order evidence for it and that if we want to believe that it is true, we should rely on its unique first-order evidence. In contrast, intensional scientific realism is the view that all believable scientific theories have a common feature and that we should rely on it to determine whether a theory is believable or not. Fitzpatrick argues that extensional realism is immune, (...) while intensional realism is not, to the pessimistic induction. I reply that if extensional realism overcomes the pessimistic induction at all, that is because it implicitly relies on the theoretical resource of intensional realism. I also argue that extensional realism, by nature, cannot embed a criterion for distinguishing between believable and unbelievable theories. (shrink)

Ethical extensionism is a common argument pattern in environmental and animal ethics, which takes a morally valuable trait already recognized in us and argues that we should recognize that value in other entities such as nonhuman animals. I exposit ethical extensionism’s core argument, argue for its validity and soundness, and trace its history to 18th century progressivist calls to expand the moral community and legal franchise. However, ethical extensionism has its critics. The bulk of the paper responds to recent criticisms, (...) including (1) environmental ethicists’ objection against its austere conception of moral value (2), feminist ethicists’ claim that extensionism fails to account for the moral significance of difference, (3) disability theorists’ concern that ethical extensionist arguments are offensive, and (4) animal rights theorists’ lament that extensionism is a practical failure. While something is to be gained from each criticism, I argue that they ultimately fail and that extensionism remains compelling. (shrink)

Bioethics seems preoccupied with establishing, debating, promoting and sometimes debunking principles. While these tasks trade on the status of the word ‘principle’ in our ordinary language, scant attention is paid to the way principles operate in language. In this paper, we explore how principles relate to rules and practices so as to better understand their logic. We argue that principles gain their sense and power from the practices which give them sense. While general principles can be, and are, establishable (...) in abstraction from specific practices, as they are in principlist bioethics, such principles are impotent as moral guides to action. We show that the purchase any principle has as a moral guide to action emerges from its indexical properties as a principle which has sense in a specific practice. The meaning of any principle is internal to the practice and context in which it is invoked and, therefore, principles are not kinds of master rule which dictate moral judgement in new contexts but rather chameleon-like rules which change with the contexture in which they are invoked. (shrink)

Intensional evidence is any reason to accept a proposition that is not the truth values of the proposition accepted or, if it is a complex proposition, is not the truth values of its propositional contents. Extensional evidence is non-intensional evidence. Someone can accept a complex proposition, but deny its logical consequences when her acceptance is based on intensional evidence, while the logical consequences of the proposition presuppose the acceptance of extensional evidence, e.g., she can refuse the logical consequence (...) of a proposition she accepts because she doesn’t know what are the truth-values of its propositional contents. This tension motivates counterexamples to the negation of conditionals, the propositional analysis of conditionals, hypothetical syllogism, contraposition and or-to-if. It is argued that these counterexamples are non-starters because they rely on a mix of intensionally based premises and extensionally based conclusions. Instead, a genuine counterexample to classical argumentative forms should present circumstances where an intuitively true and extensionally based premise leads to an intuitively false conclusion that is also extensionally based. The other point is that evidentiary concerns about intensionally based beliefs should be constrained by the truth conditions of propositions presented by classical logic, which are nothing more than requirements of coherence in distributions of truth value. It is argued that this restriction also dissolves some known puzzles such as conditional stand-offs, the Adams pair, the opt-out property and the burglar’s puzzle. (shrink)

There is an increase in the use of in-door wireless networking solutions via Wi-Fi and this increase infiltrated and utilized Wi-Fi enable devices, as well as smart mobiles, games consoles, security systems, tablet PCs and smart TVs. Thus the demand on Wi-Fi connections increased rapidly. Rule Based System is an essential method in helping using the human expertise in many challenging fields. In this paper, a Rule Based System was designed and developed for diagnosing the wireless connection problems and attain (...) a precise decision about the cause of the problem. SL5 Object expert system language was used in developing the rule based system. An Evaluation of the rule based system was carried out to test its accuracy and the results were promising. (shrink)

Neo-Fregean approaches to set theory, following Frege, have it that sets are the extensions of concepts, where concepts are the values of second-order variables. The idea is that, given a second-order entity $X$, there may be an object $\varepsilon X$, which is the extension of X. Other writers have also claimed a similar relationship between second-order logic and set theory, where sets arise from pluralities. This paper considers two interpretations of second-order logic—as being either extensional or intensional—and whether either (...) is more appropriate for this approach to the foundations of set theory. Although there seems to be a case for the extensional interpretation resulting from modal considerations, I show how there is no obstacle to starting with an intensional second-order logic. I do so by showing how the $\varepsilon$ operator can have the effect of “extensionalizing” intensional second-order entities. (shrink)

Rule-Consequentialism faces “the problem of partial acceptance”: How should the ideal code be selected given the possibility that its rules may not be universally accepted? A new contender, “Calculated Rates” Rule-Consequentialism claims to solve this problem. However, I argue that Calculated Rates merely relocates the partial acceptance question. Nevertheless, there is a significant lesson from this failure of Calculated Rates. Rule-Consequentialism’s problem of partial acceptance is more helpfully understood as an instance of the broader problem of selecting the ideal (...) code given various assumptions—assumptions about who will accept and comply with the rules, but also about how the rules will be taught and enforced, and how similar the future will be. Previous rich discussions about partial acceptance provide a taxonomy and groundwork for formulating the best version of Rule-Consequentialism. (shrink)

I criticize Yamada's account of rule-following. Yamada's conditions are not necessary. And he misses the deepest level of the rule-following considerations: how meaning rules come about.

I introduce an account of when a rule normatively sustains a practice. My basic proposal is that a rule normatively sustains a practice when the value achieved by following the rule explains why agents continue following that rule, thus establishing and sustaining a pattern of activity. I apply this model to practices of belief management and identifies a substantive normative connection between knowledge and belief. More specifically, I proposes one special way that knowledge might set the normative standard for belief: (...) knowing is essentially the unique way of normatively sustaining cognition and, thereby, inquiry. In this respect, my proposal can be seen as one way of elaborating a “knowledge-first” normative theory. (shrink)

‘Rule-following’ is a name for a cluster of phenomena where we seem both guided and “normatively” constrained by something general in performing particular actions. Understanding the phenomenon is important because of its connection to meaning, representation, and content. This article gives an overview of the philosophical discussion of rule-following with emphasis on Kripke’s skeptical paradox and recent work on possible solutions. Part I of this two-part contribution is devoted to the basic issues from Wittgenstein to Kripke. Part II will be (...) about recent answers to the skeptical paradox and Boghossian’s and Wright’s new puzzles. (shrink)

Ideas on meaning, rules and mathematical proofs abound in Wittgenstein’s writings. The undeniable fact that they are present together, sometimes intertwined in the same passage of Philosophical Investigations or Remarks on the Foundations of Mathematics, does not show, however, that the connection between these ideas is necessary or inextricable. The possibility remains, and ought to be checked, that they can be plausibly and consistently separated. I am going to examine two views detectable in Wittgenstein’s works: one about proofs, the (...) other about meaning and rules. The first is the denial of the objectivity of proof. The second is a conception of meaning stemming from the rule-following considerations. I shall argue that, though Wittgenstein seems to conjoin the two views, they can be, and should be, separated1. (shrink)

I discuss Frege's argument - later called the slingshot - that if a construction is extensional and preserves logical equivalence then it is truth-functional. I consider some simple apparent counterexamples and conclude that they are not sentence-embedding in the required way.

Are norms of inquiry in tension with epistemic norms? I provide a (largely) negative answer, turning to a picture of epistemic practices as rule-governed games. The idea is that, while epistemic norms are correctness standards for the attitudes involved in epistemic games, norms of inquiry derive from the aims of those games. Attitudes that, despite being epistemically correct, are inadvisable regarding the goals of some inquiry are just like bad (but legal) moves in basketball or chess. I further consider cases (...) in which the aims of inquiry recommend breaking epistemic norms. I compare them to strategic infractions, which are common in many coherent games. Finally, I explore the connections between rules and aims in games and in inquiry. I show that in both cases respecting the rules is constitutively required for satisfying the aims of the practice. (shrink)

What are rules? In this paper I develop a view of regulative rules which takes them to be a distinctive normative kind occupying a middle ground between orders and normative truths. The paradigmatic cases of regulative rules that I’m interested in are social rules like rules of etiquette and legal rules like traffic rules. On the view I’ll propose, a rule is a general normative content that is in force due to human activity: (...) enactment by an authority or acceptance by a community. Rules are unlike orders in being not necessarily communicative, not an expression’s of the giver’s will, not evaluable for sincerity, and in that they have propositional content. And they’re unlike normative truths in that they’re themselves not even truth-evaluable (though their contents are). This is because rules qua things that are in force are not like constatives which have a mind to world direction of fit, but more like performatives. Furthermore, they differ from normative truths in that their normativity is isolated from their background justification and is therefore not dependent on contributory notions like reasons coming together in a weighing explanation. As such, they occupy a middle ground between orders and normative truths, much like in H. L. A. Hart’s opinion law occupies a middle ground between “coercion” and “morality” (Hart 1961/1994). I also illustrate the virtues of this understanding of rules by showing how proper appreciation of how they differ from normative truths helps us defuse a common objection to Hart’s practice theory of rules. (shrink)

I frame my argument by way of Hayek's tendency to treat Hume and Smith as central articulations of the rule of law. The rest of the paper explores their defense of clientelism. First, I introduce Hume’s ideas on the utility of patronage in his essay, “Of the Independency of Parliament.” I argue that in Hume clientelism just is a feature of parliamentary business. It seems ineliminable. I then contextualize Hume’s account by comparing it to Montesquieu’s account of this system of (...) patronage in Book XIX, chapter 27 of The Spirit of the Laws. Montesquieu primarily treats it as a species of bad corruption. However, he also sees some benefits to it. I then turn to Smith and I show that he echoes Hume’s analysis of corruption in an easily ignored passage in Wealth of Nations. I then show that for Smith one argument in favor of a kind of federal parliamentary union between Great Brittain and her American colonies lies in its ability to facilitate and make more efficient the system of patronage by the Crown. While Smith’s account of these matters is quite Humean, one can discern in Smith a distinct cost-benefit argument for the acceptance of the necessity of a system of patronage in the service of the peaceful expansion and entrenchment of the rule of law in his proposal for parliamentary union. (shrink)

Many philosophers think that games like chess, languages like English, and speech acts like assertion are constituted by rules. Lots of others disagree. To argue over this productively, it would be first useful to know what it would be for these things to be rule-constituted. Searle famously claimed in Speech Acts that rules constitute things in the sense that they make possible the performance of actions related to those things (Searle 1969). On this view, rules constitute games, (...) languages, and speech acts in the sense that they make possible playing them, speaking them and performing them. This raises the question what it is to perform rule-constituted actions (e. g. play, speak, assert) and the question what makes constitutive rules distinctive such that only they make possible the performance of new actions (e. g. playing). In this paper I will criticize Searle’s answers to these questions. However, my main aim is to develop a better view, explain how it works in the case of each of games, language, and assertion and illustrate its appeal by showing how it enables rule-based views of these things to respond to various objections. (shrink)

There are two main ways in which the notion of mereological fusion is usually defined in the current literature in mereology which have been labelled ‘Leśniewski fusion’ and ‘Goodman fusion’. It is well-known that, with Minimal Mereology as the background theory, every Leśniewski fusion also qualifies as a Goodman fusion. However, the converse does not hold unless stronger mereological principles are assumed. In this paper I will discuss how the gap between the two notions can be filled, focussing in particular (...) on two specific sets of principles that appear to be of particular philosophical interest. The first way to make the two notions equivalent can be used to shed some interesting light on the kind of intuition both notions seem to articulate. The second shows the importance of a little-known mereological principle which I will call ‘Mild Supplementation’. As I will show, the mereology obtained by adding Mild Supplementation to Minimal Mereology occupies an interesting position in the landscape of theories that are stronger than Minimal Mereology but weaker than what Achille Varzi and Roberto Casati have labelled ‘Extensional Mereology’. (shrink)

The level of enjoyment in participating in sports activities is one component that causes young athletes to decide to stop or become more motivated to pursue sports activities. Practicing and participating in competitions are the main activities in sports coaching interactions towards optimal performance. This study aims to determine the effect of modifying the match rules implemented in youth soccer competitions on the level of enjoyment of players. Using an experimental method with 20 soccer schools participating in a competition (...) with modified game rules. Players registered by his team amounted to an average of 13.8 players aged 9-12 years. The number of players who are willing to fill out the pleasure level questionnaire is 238 players. Each player was asked to fill out a questionnaire before and after the competition, the questionnaire was analyzed using the mean and percentage test technique. The results of data analysis showed the average score before participating in the competition was 4.10 while after participating in the competition it was 4.47, which means an increase of 8.88%. The results showed that the level of enjoyment of the players increased after participating in the competition. Modification of the rule of the game in competition affects the level of enjoyment of players in the interaction of youth soccer coaching. Coaches, administrators, and match organizers are expected to have a positive paradigm of thinking and policy making towards the organization of competitions for young soccer players. (shrink)

1. Do models formulated in programming languages use explicit rules where connectionist models do not? 2. Are rules as found in programming languages hard, precise, and exceptionless, where connectionist rules are not? 3. Do connectionist models use rules operating on distributed representations where models formulated in programming languages do not? 4. Do connectionist models fail to use structure sensitive rules of the sort found in "classical" computer architectures? In this chapter we argue that the answer (...) to each of these questions is negative. (shrink)

In the middle of the 20th century, it was a common Wittgenstein-inspired idea in philosophy that for a linguistic expression to have a meaning is for it to be governed by a rule of use. In other words, it was widely believed that meanings are to be identified with use-conditions. However, as things stand, this idea is widely taken to be vague and mysterious, inconsistent with “truth-conditional semantics”, and subject to the Frege-Geach problem. In this paper I reinvigorate the ideas (...) that meaningfulness is a matter of being governed by rules of use and that meanings are best thought of in terms of use-conditions. I will do this by sketching the Rule-Governance view of the nature of linguistic meaningfulness, showing that the view isn’t by itself subject to the two problems, and explain why the idea has had a lasting appeal to philosophers from Strawson to Kaplan and why we should find it continually attractive. (shrink)

The original interest of this article lies in existential import. It provides a broader view on the problem by reference to modern, symbolic logic (ch.1). Gradually, however, our interest will change into the amalgamated expressions often used in logic; that is, why are such expressions as “x is a round triangle” applied in logic? We critically discuss this question from an extensional viewpoint, namely model theoretic semantics (ch.2). We also touch on Church’s λ-calculus in the appendix (app.2).

Brad Hooker; II*—Rule-Consequentialism, Incoherence, Fairness1, Proceedings of the Aristotelian Society, Volume 95, Issue 1, 1 June 1995, Pages 19–36, https://d.

In this article, it is argued that existing democracies might establish popular rule even if Joseph Schumpeter’s notoriously unflattering picture of ordinary citizens is accurate. Some degree of popular rule is in principle compatible with apathetic, ignorant and suggestible citizens, contrary to what Schumpeter and others have maintained. The people may have control over policy, and their control may constitute popular rule, even if citizens lack definite policy opinions and even if their opinions result in part from elites’ efforts to (...) manipulate these opinions. Thus, even a purely descriptive, ‘realist’ account of democracy of the kind that Schumpeter professed to offer may need to concede that there is no democracy without some degree of popular rule. (shrink)

Object x being a member of itself or not and x being a member of R or not constitute two vastly different concepts. This paper attempts to locate the reflection of such an utter difference within the formal structure of the axiom of extensionality. -/- .

The going-on problem (GOP) is the central concern of Wittgenstein's later philosophy. It informs not only his epistemology and philosophy of mind, but also his views on mathematics, universals, and religion. In section I, I frame this issue as a matter of accounting for intentionality. Here I follow Saul Kripke's lead. My departure therefrom follows: first, a criticism of Wittgenstein's “straight” conventionalism and, secondly, a defense of a solution Kripke rejects. I proceed under the assumption, borne out in the end, (...) that statements of rule-following have truth-conditions and are not, as Kripke seems willing to concede, merely "assertible" in circumstances of a specified sort. Ultimately, my goal is to demonstrate that intending can be understood in terms of an individual's dispositions rather than those of the community to which she belongs. (shrink)

This paper discusses the prospects of a dispositional solution to the Kripke–Wittgenstein rule-following puzzle. Recent attempts to employ dispositional approaches to this puzzle have appealed to the ideas of finks and antidotes—interfering dispositions and conditions—to explain why the rule-following disposition is not always manifested. We argue that this approach fails: agents cannot be supposed to have straightforward dispositions to follow a rule which are in some fashion masked by other, contrary dispositions of the agent, because in all cases, at least (...) some of the interfering dispositions are both relatively permanent and intrinsic to the agent. The presence of these intrinsic and relatively permanent states renders the ascription of a rule-following disposition to the agent false. (shrink)

Many believe that, if true, reason-statements of the form ‘that X is F is a reason to φ’ describe a ‘favouring-relation’ between the fact that X is F and the act of φing. This favouring-relation has been assumed to share many features of other, more concrete relations. This combination of views leads to immediate problems. Firstly, unlike statements about many other relations, reason-statements can be true even when the relata do not exist, i.e., when the relevant facts do not obtain (...) and the relevant acts are not done. Secondly, the previous combination of views also makes it very difficult to draw the distinction between agent-relative and agent-neutral reasons. I argue that we should think that the predicate ‘is a reason to’ creates non-extensional contexts in the statements in which it is used. This would both solve the previous problems and avoid the awkward consequences of the so-called slingshot argument. (shrink)

Most plausible moral theories must address problems of partial acceptance or partial compliance. The aim of this paper is to examine some proposed ways of dealing with partial acceptance problems as well as to introduce a new Rule Utilitarian suggestion. Here I survey three forms of Rule Utilitarianism, each of which represents a distinct approach to solving partial acceptance issues. I examine Fixed Rate, Variable Rate, and Optimum Rate Rule Utilitarianism, and argue that a new approach, Maximizing Expectation Rate Rule (...) Utilitarianism, better solves partial acceptance problems. (shrink)

This paper describes and defends a novel and distinctively egalitarian conception of the rule of law. Official behavior is to be governed by preexisting, public rules that do not draw irrelevant distinctions between the subjects of law. If these demands are satisfied, a state achieves vertical equality between officials and ordinary people and horizontal legal equality among ordinary people.

Rule-following is a normative doing and therefore needs to be reconsidered in a metaethical framework. Rule-following will be discussed in the light of cognitivism and non-cognitivism. It will be shown that neither cognitivism nor non-cognitivism are sufficiently good accounts for conceptualizing rule-following, because they are held captive by a quasi-mechanistical picture of rule-following. This idea stems from Stanley Cavell´s and John McDowell´s approach to rule-following. McDowell appeals to the idea that we participate in “shared forms of life” and therefore are (...) able to follow rules correctly. I believe that his quietist view can be amplified by conceptualizing different modes of following a rule. We can also follow a rule e.g. ironically and still grasp the conceptual content of the rule adequately. (shrink)

In a recent paper, Tim Henning argues that the result that we should save the greatest number in rescue cases can be established on procedural grounds without making use of the aggregation of interests. He first argues that we ought to respect the affected persons' equal claims to have a say in the rescue decision and that this can only be achieved by the majority rule, which consists in giving each affected person an equal vote. Then he argues for the (...) second claim that if everyone votes in their self-interest, then the greatest number will be saved. I present a class of cases in which the second claim fails. This establishes that even if self-interested voting is assumed, the majority rule does not always lead to the greatest number being saved. (shrink)

This self-contained one page paper produces one valid two-premise premise-conclusion argument that is a counterexample to the entire three traditional rules of distribution. These three rules were previously thought to be generally applicable criteria for invalidity of premise-conclusion arguments. No longer can a three-term argument be dismissed as invalid simply on the ground that its middle is undistributed, for example. The following question seems never to have been raised: how does having an undistributed middle show that an argument's (...) conclusion does not follow from its premises? This result does nothing to vitiate the theories of distribution developed over the period beginning in medieval times. What it does vitiate is many if not all attempts to use distribution in tests of invalidity outside of the standard two-premise categorical arguments—where they were verified on a case-by-case basis without further theoretical grounding. In addition it shows that there was no theoretical basis for many if not all claims of fundamental status of rules of distribution. These results are further support for approaching historical texts using mathematical archeology. (shrink)

The widely discussed "discursive dilemma" shows that majority voting in a group of individuals on logically connected propositions may produce irrational collective judgments. We generalize majority voting by considering quota rules, which accept each proposition if and only if the number of individuals accepting it exceeds a given threshold, where different thresholds may be used for different propositions. After characterizing quota rules, we prove necessary and sufficient conditions on the required thresholds for various collective rationality requirements. We also (...) consider sequential quota rules, which ensure collective rationality by adjudicating propositions sequentially and letting earlier judgments constrain later ones. Sequential rules may be path-dependent and strategically manipulable. We characterize path-independence and prove its essential equivalence to strategy-proofness. Our results shed light on the rationality of simple-, super-, and sub-majoritarian decision-making. (shrink)

This essay formulates a moral principle I call sustainability’s golden rule. This principle, I will argue, goes a long way in providing correct moral guidance for sustainable development. In laying out these ideas, the essay proceeds as follows: first, a very basic, oft-privileged definition of sustainable development is put forward; second, I make clear how sustainability’s golden rule is formulable from basic moral considerations that explain why sustainable development should be pursued at all; and lastly, I deduce some of the (...) general implications sustainability’s golden rule has for sustainable development. (shrink)

This paper is about what we call Deontically-flavored Nominal Constructions (DNCs) in English, such as "No ice cream" or "Dogs on leash only". DNCs are often perceived as commands and have been argued to be a type of non-canonical imperative, much like root infinitives in German or Russian. We argue instead that DNCs at their core are declaratives that cite a rule but can be used performatively in the right context. We propose that DNCs contain an elided deontic modal, i.e., (...) allowed, whose presence explains their distributional restrictions and interpretational properties. Among other things, we speculate on the licensing conditions of DNCs (the presence of 'only' or the negative determiner 'no'), suggesting that these are tied to the properties of discourses in which rules can be used naturally. (shrink)

What is the American rule of law? Is it a paradigm case of the strong constitutionalism concept of the rule of law or has it fallen short of its rule of law ambitions? -/- This open access book traces the promise and paradox of the American rule of law in three interwoven ways. -/- It focuses on explicating the ideals of the American rule of law by asking: how do we interpret its history and the goals of its constitutional framers (...) to see the rule of law ambitions its foundational institutions express? -/- It considers those constitutional institutions as inextricable from the problem of race in the United States and the tensions between the rule of law as a protector of property rights and the rule of law as a restrictor on arbitrary power and a guarantor of legal equality. In that context, it explores the distinctive role of Black liberation movements in developing the American rule of law. -/- Finally, it considers the extent to which the American rule of law is compromised at its frontiers, and the extent that those compromises undermine legal protections Americans enjoy in the interior. It asks how America reflects the legal contradictions of capitalism and empire outside its borders, and the impact of those contradictions on its external goals. (shrink)

Free trade agreements are about reducing tariffs, market access in services, protection of intellectual property rights, streamlining customs procedures, trade remedy measures, and dispute settlement mechanism. Equally important if not even more important than these provisions is the designation of rules of origin. Many benefits can be lost if restrictive rules of origin are incorporated. Rules of origin are supposed to be straightforward and easy-to-follow methods used to determine origin of imported goods. The policy question that arises (...) is how to improve trade integration among Arab countries through more effective rules of origin. (shrink)

Foundational theories of mental content seek to identify the conditions under which a mental representation expresses, in the mind of a particular thinker, a particular content. Normativists endorse the following general sort of foundational theory of mental content: A mental representation r expresses concept C for agent S just in case S ought to use r in conformity with some particular pattern of use associated with C. In response to Normativist theories of content, Kathrin Glüer-Pagin and Åsa Wikforss propose a (...) dilemma, alleging that Normativism either entails a vicious regress or falls prey to a charge of idleness. In this paper, I respond to this argument. I argue that Normativism can avoid the commitments that generate the regress and does not propose the sort of explanation required to charge that its explanation has been shown to be problematically idle. The regress-generating commitment to be avoided is, roughly, that tokened, contentful mental states are the product of rule-following. The explanatory task Normativists should disavow is that of explaining how it is that beliefs and other contentful mental states are produced. I argue that Normativism, properly understood as a theory of content, does not provide this kind of psychological explanation, and therefore does not entail that such explanations are to be given in terms of rule-following. If this is correct, Normativism is not the proper target of the dilemma offered by Glüer-Pagin and Wikforss. Understanding why one might construe Normativism in the way Glüer-Pagin and Wikforss must, and how, properly understood, it avoids their dilemma, can help us to appreciate the attractiveness of a genuinely normative theory of content and the importance of paying careful attention to the sort of normativity involved in norm-based theories of content. (shrink)

The article discusses the limitations of psycho-physical parallellism and the implications of a pscycho-physical interaction paradigm considering the notion Downward Causation. The focus is on the notion of levels in nature and their interrelations, and it argues that the notion of rule-based systems should be considered a subcategory of rule-generating systems partly based on redundancy functions rather than rules.

Much of the ontology made in the analytic tradition of philosophy nowadays is founded on some of Quine’s proposals. His naturalism and the binding between existence and quantification are respectively two of his very influential metaphilosophical and methodological theses. Nevertheless, many of his specific claims are quite controversial and contemporaneously have few followers. Some of them are: (a) his rejection of higher-order logic; (b) his resistance in accepting the intensionality of ontological commitments; (c) his rejection of first-order modal logic; and (...) (d) his rejection of the distinction between analytic and synthetic statements. I intend to argue that these controversial negative claims are just interconnected consequences of those much more accepted and apparently less harmful metaphilosophical and methodological theses, and that the glue linking all these consequences to its causes is the notion of extensionality. (shrink)

‘Rule-following’ is a name for a cluster of phenomena where we seem both guided and “normatively” constrained by something general in performing particular actions. Understanding the phenomenon is important because of its connection to meaning, representation, and content. This article gives an overview of the philosophical discussion of rule-following with emphasis on Kripke’s skeptical paradox and recent work on possible solutions. Part I of this two-part contribution was devoted to the basic issues from Wittgenstein to Kripke. Part II is about (...) recent answers to the skeptical paradox and Boghossian’s and Wright’s new puzzles. (shrink)