From an observation by the poet Paul Valéry, I argue that rhyme schemes, while constraining, also enable the poet to achieve autonomy from various surrounding influences, such as the domestic and the political. The demand to keep to the rhyme scheme takes priority, reducing the likelihood of these dominating.

We present a high-level declarative programming language for representing argumentation schemes, where schemes represented in this language can be easily validated by domain experts, including developers of argumentation schemes in informal logic and philosophy, and serve as executable specifications for automatically constructing arguments, when applied to a set of assumptions. This new rule language for representing argumentation schemes is validated by using it to represent twenty representative argumentation schemes.

In [10] Friedman showed that is a conservative extension of <ε0for-sentences wherei= min, i.e.,i= 2, 3, 4 forn= 0, 1, 2 +m. Feferman [5], [7] and Tait [11], [12] reobtained this result forn= 0, 1 and even with instead of. Feferman and Sieg established in [9] the conservativeness of over <ε0for-sentences for alln. In each paper, different methods of proof have been used. In particular, Feferman and Sieg showed how to apply familiar proof-theoretical techniques by passing through languages with Skolem (...) functionals.In this paper we study the same choice principles in the presence of theBar Rule, which permits one to infer the scheme of transfinite induction on a primitive recursive relation ≺ when it has been proved that ≺ is wellfounded. The main result characterizes + as a conservative extension of a system of the autonomously iterated-comprehension axiom for-sentences. Forn= 0 this has been proved by Feferman in the form that + is a conservative extension of <Γ0; this was first done in [8] by use of the Gödel functional interpretation for the stronger systemZω+μ+ + and then more recently by the simpler methods of [9]. Jäger showed how the latter methods could also be used to obtain the general result of Theorem 1 below. (shrink)

Adversarial scheme points to situations of rivalry like auctions, public tendering, sports competitions, elections or trials. Thomas Pogge suggested that these schemes have great advantage: they force agents to reveal their full performance. But they also incentivize agents to manipulate the rules. In other schemes with incentives, he also suggests, agents can easily downplay their performance, but won’t engage in rule manipulation to the same extent. In this paper, I will argue that adversarial schemes and other (...) schemes with incentives advantages or disadvantages do not map from one to the other as Pogge suggests. Performance-downplaying also takes place in adversarial schemes, as well as in other schemes with incentives also lead to rule manipulation. I will also argue that there are genuine differences between these two types of schemes. Adversarial schemes have three unique advantages: first, they may be more effective in producing motivational improvements at a lower cost, second, they may lead to an automatic optimization of performances and, third, they may produce unique system benefits. In order to produce these advantages, we must design adversarial schemes properly and use them in the right situation. (shrink)

A background assumption of this paper is that the repertoire of inference schemes available to humanity is not fixed, but subject to change as new schemes are invented or refined and as old ones are obsolesced or abandoned. This is particularly visible in areas like health and environmental sciences, where enormous societal investment has been made in finding ways to reach more dependable conclusions. Computational modeling of argumentation, at least for the discourse in expert fields, will require the (...) possibility of modeling change in a stock of schemes that may be applied to generate conclusions from data. We examine Randomized Clinical Trial, an inference scheme established within medical science in the mid-20th Century, and show that its successful defense by means of practical reasoning allowed for its black-boxing as an inference scheme that generates (and warrants belief in) conclusions about the effects of medical treatments. Modeling the use of a scheme is well-understood; here we focus on modeling how the scheme comes to be established so that it is available for use. (shrink)

The paper develops a classificatory system of basic argument types on the basis of the epis-temological approach to argumentation. This approach has provided strict rules for several kinds of argu-ments. These kinds may be brought into a system of basic irreducible types, which rely on different parts of epistemology: deductive logic, probability theory, utility theory. The system reduces a huge mass of differ-ent argument schemes to basic types and gives them an epistemological foundation.

This paper contains a detailed account of the notion of admissibility in the setting of consequence relations. It is proved that the two notions of admissibility used in the literature coincide, and it provides an extension to multi–conclusion consequence relations that is more general than the one usually encountered in the literature on admissibility. The notion of a rule scheme is introduced to capture rules with side conditions, and it is shown that what is generally understood under the extension (...) of a consequence relation by a rule can be extended naturally to rule schemes, and that such extensions capture the intuitive idea of extending a logic by a rule. (shrink)

Many public information documents attempt to persuade the recipients that they should engage in or refrain from specific behaviour. This is based on the assumption that the recipient will decide about his or her behaviour on the basis of the information given and a rational evaluation of the pros and cons. An analysis of 20 public information brochures shows that the argumentation in persuasive brochures is often not marked as such. Argumentation is presented as factual information, and in many instances (...) the task of making argumentational links and drawing conclusions is left to the reader. However, since the information offered does follow familiar argumentational schemes, readers can, in principle, reconstruct the argument. All the brochures make use of pragmatic argumentation (argumentation from consequences),i. e.,they formulate at least certain benefits of the desirable behaviour or disadvantages of the undesirable behaviour. In addition, they make regular use of argumentation from cause to effect and argumentation from example. Argumentation from rules and argumentation from authority are less frequently used. This empirical analysis of the use of argumentation schemes is a solid base for interesting and rich hypotheses about the cognitive processing of persuasive brochures. Central processing requires the reader to be able to reconstruct argumentation from informational texts and to identify and evaluate various types of argumentation. (shrink)

This paper uses the language of formal dialectics to explore how argumentation schemes and their critical questions can be characterized as an extension to traditional dialectical systems. The aim is to construct a dialectical system in which the set of locutions is extended to include scheme-based moves the set of structural rules describes the roles that critical questioning can play; and the set of commitment rules distinguishes between exceptions and assumptions.

At the end of the 19th century, most professional historians – wherever they existed – deemed history to be a form of knowledge ruled by a method that bears no resemblance with those most commonly traceable in the natural sciences. The bulk of the historian’s task was then frequently regarded as being the application of procedures frequently referred to as ‘historical method’. In the context of such an emerging interest on historical methods and methodology, at least three textbooks stand out: (...) Johann Gustav Droysen’s Grundriss der Historik (Outline of the Theory of History), Ernst Bernheim’s Lehrbuch der historischen Methode (Handbook of Historical Method), and Charles Langlois and Charles Seignobos’s Introduction aux études historiques (Introduction to the Study of History). These books were quite influential in Germany, France, and elsewhere, and they very much helped promote a general idea of historical method that would become relatively consensual among historians of many nationalities by the early 20th century. Such a relative agreement on historical method sponsored both the communication and the development of a sense of disciplinary identity among historians trained within different and sometimes conflicting national traditions. It was then partially extended, partially challenged, and surely made more complex when, from the 1920s on, social and economic historians became a good part of the historiographical establishment in many countries. -/- The three books by Droysen, Bernheim, and Langlois and Seignobos were already pieced together by Rolf Torstendahl, who studied them as a group of texts that, despite their differences, contributed to shape the developments outlined above. However, Torstendahl’s primary aim was to show how Droysen, Bernheim, and Seignobos all resorted to ‘method’ as a way to circumvent skepticism against the possibility of historical knowledge, rather than investigate the internal interrelationships between the three texts. In this chapter I follow precisely this latter, not yet taken, road, focusing on crucial cross-references between the Grundriss, the Lehrbuch, and the Introduction. I intend to show that, at a general level, the schemes of historical method found in these texts are largely convergent, and that this convergence is due to Bernheim’s reading of Droysen and to Langlois and Seignobos’s reading of Bernheim. I will attempt to do it through a regressive approach that starts with an analysis of the Introduction. Aspects of the editorial history and circulation of the three texts will also be briefly addressed, as a way to illustrate their special importance within the framework of early 20th century historical theory. Because my argument calls for a focus on the most general lines of Droysen’s, Bernheim’s, and Langlois and Seignobos’s schemes of historical method, I will, for the sake of consistency, refrain from analysing in-depth the complex epistemological and ontological arguments in which those schemes are nested. (shrink)

This paper studies whether incentivizing performance with competition and cooperation-based incentive schemes, rather than individual compensation, affects peer effects on subsequent risk behaviour. We run a laboratory experiment in which we introduce three different compensation schemes—piece rate, the equal-split-sharing-rule and a tournament—associated with a real effort task and we measure risk behaviour both before and after the effort task. We find that competition more than halves peer influence on risk behaviour compared with piece-rate compensation and in some (...) specifications produces negative peer effects. Competition also significantly reduces an individual’s feeling of attachment to their peers and self-reported peer influence. (shrink)

In this article a discourse is regarded as a verbalization of some interactive cognitive process which may be represented in form of a logical-cognitive scheme as a model of this discourse. Such model is elaborated on the ground of logical-cognitive theory of practical reasoning by using the definitions of analytical rules for construing model sets. The discourse 's formal language is defined and takes into account the significance of quest schemes which are included in different kinds of intensional contexts (...) of discourse expressions. The discourse model is described in terms of cognitive interpretations which determine conditions of the actualization of cognitive events as elements of the discourse semantic. The pecularities of this model are explalned by deciding one cognitive riddle. (shrink)

The dominant rule of economic evaluation within health care posits that resources are distributed in order to maximize health benefit. There are instances, however, where the public has demonstrated that they do not prefer such an allocation scheme, particularly in the context of life-saving interventions. Objectives Deviations from preferences of maximizing health benefit have important implications on both financial and distributive levels. This study sought to specify the circumstances in which respondent preferences are inconsistent with maximizing health benefit. Methods (...) Ninety respondents recruited from the London School of Economics and Political Science completed a questionnaire comprised of a series of paired profiles involving various combinations of life-saving or quality-of-life enhancing interventions. Results The results indicate that saving a life holds value beyond that captured by traditional health benefit measurement and that the value of saving a life is not consistent across ages. More specifically, the value of saving a life was age-dependent and markedly attenuated for older-age patients. Conclusions Many respondents were willing to overlook maximizing health benefit in order to rescue a life in immediate peril, and showed a diminished sense of moral imperative to rescue older-age patients. In light of difficulties related to the implementation of larger-scale policies incorporating Rule of Rescue concerns, the most realistic approaches will likely involve adopting smaller-scale policies that address issues such as do not resuscitate and living wills. Potential policy solutions such as age or monetary thresholds for life-saving interventions may be favoured in a research context; however, their overall social feasibility is questionable. (shrink)

Rule consequentialism is usually taken to recommend a single ideal code for all moral agents. Here I argue that, depending on their theoretical mo- tivations, some rule consequentialists have good reasons to be relativists. Rule consequentialists who are moved by consequentialist considerations ought to support a scheme of multiple relativized moral codes because we could expect such a scheme to have better consequences in terms of impartial aggregate well- being than a single universal code. Rule consequentialists (...) who nd compelling the theory’s coherence with our considered moral intuitions should do the same because a scheme of multiple codes could better cohere with our intuitions about costless bene ts, though these intuitions must be weighed against our allegiance to moral universalism. (shrink)

Over the last decade, philosophers of science have extensively criticized the epistemic superiority of randomized controlled trials for testing safety and effectiveness of new drugs, defending instead various forms of evidential pluralism. We argue that scientific methods in regulatory decision-making cannot be assessed in epistemic terms only: there are costs involved. Drawing on the legal distinction between rules and standards, we show that drug regulation based on evidential pluralism has much higher costs than our current RCT-based system. We analyze these (...) costs and advocate for evaluating any scheme for drug regulatory tests in terms of concrete empirical benchmarks, like the error rates of regulatory decisions. (shrink)

The contraction-free sequent calculus G4 for intuitionistic logic is extended by rules following a general rule-scheme for nonlogical axioms. Admissibility of structural rules for these extensions is proved in a direct way by induction on derivations. This method permits the representation of various applied logics as complete, contraction- and cut-free sequent calculus systems with some restrictions on the nature of the derivations. As specific examples, intuitionistic theories of apartness and order are treated.

We study variants of Buss’s theories of bounded arithmetic axiomatized by induction schemes disallowing the use of parameters, and closely related induction inference rules. We put particular emphasis on \ induction schemes, which were so far neglected in the literature. We present inclusions and conservation results between the systems and \ of a new form), results on numbers of instances of the axioms or rules, connections to reflection principles for quantified propositional calculi, and separations between the systems.

We argue that common knowledge, of the kind used in reasoning in law and computing is best analyzed using a dialogue model of argumentation (Walton & Krabbe 1995). In this model, implicit premises resting on common knowledge are analyzed as endoxa or widely accepted opinions and generalizations (Tardini 2005). We argue that, in this sense, common knowledge is not really knowledge of the kind represent by belief and/or knowledge of the epistemic kind studied in current epistemology. This paper takes a (...) different approach, defining it in relation to a common commitment store of two participants in a rule-governed dialogue in which two parties engage in rational argumentation (Jackson & Jacobs 1980; van Eemeren & Grootendorst 2004). A theme of the paper is how arguments containing common knowledge premises can be studied with the help of argumentation schemes for arguments from generally accepted opinion and expert opinion. It is argued that common knowledge is a species of provi- sional acceptance of a premise that is not in dispute at a given point in a dia- logue, but may later be defeated as the discussion proceeds . (shrink)

This paper describes an approach to legal logic based on the formal analysis of argumentation schemes. Argumentation schemes a notion borrowed from the .eld of argumentation theory - are a kind of generalized rules of inference, in the sense that they express that given certain premises a particular conclusion can be drawn. However, argumentation schemes need not concern strict, abstract, necessarily valid patterns of reasoning, but can be defeasible, concrete and contingently valid, i.e., valid in certain contexts (...) or under certain circumstances. A method is presented to analyze argumentation schemes and it is shown how argumentation schemes can be embedded in a formal model of dialectical argumentation. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:74. RULE-UTILITARIANISM AND HUME'S THEORY OF JUSTICE One of the striking features of Hume's theory of justice is the narrowness of the range of judgments it is designed to illumine. For Hume the paradigms of judgments of justice are judgments about particular actions, not judgments about laws or institutions or states of affairs. Moreover, the characterization of actions as just or unjust is possible according to Hume only (...) in a certain kind of legal context - namely when questions arise about the conformity of conduct to a certain class of legal rules, those which comprise the law of property. In such contexts, actions are said to be just if they are in accordance with property rules and unjust if they are contrary to them. Of particular interest is the exclusion of judgments about the law - and in particular judgments about property rules - from the class of judgments of justice. Hume recognizes, of course, that we often have occasion to evaluate rules of law, including the rules which make up the law of property. When such judgments have to be made, however, it is never their justice or injustice which is in question for Hume. The fact that he often refers to the rules of property as "rules of justice" may seem to be inconsistent with this view, but it is not. When Hume refers to property rules in this way, it is not because he wishes to signify that the rules themselves satisfy some principle of justice, but rather because he conceives of them as embodying our criteria for the making of judgments about the justice of particular acts. Property rules cannot be viewed as "rules of justice" in this sense without satisfying some supralegal standard of acceptability. But the standard in quesrtion is social utility, not justice. Property rules qualify as "rules of justice", then, not because they are just but rather because they serve the public interest. Like some contemporary rule-utilitarians, Hume expressly disallows the question whether particular acts of 75. justice are socially useful. Or rather, to be more accurate, he claims that the disutility of particular acts sanctioned by property law counts neither against their being regarded as "acts of justice" nor against recognition of the obligation to perform them. Neither the characterisation of particular actions as "just" nor the stringency of the obligation to perform them is affected by the discovery that they might have to be said not to be in the public interest if attention were to be concentrated on the special circumstances of their performance. The reason is that it is a mistake, Hume thinks, for such acts to be viewed in isolation from other similar acts. Rather they must be seen as forming part of a scheme or system - a scheme or system which, taken in its entirety, serves the public interest. Hume's theory of justice thus embodies an unusually neat distinction between questions of justice and questions of social utility. When questions of justice are allowed to arise which is when the justice of particular acts is to be determined - questions of social utility do not arise. And when questions of social utility are allowed to arise - as they do when property rules have to be evaluated - questions of justice do not arise. Despite the sharp distinction he draws between justice and utility, Hume's theory of justice is clearly a utilitarian one. It is indeed a veritable prototype of the kind of theory now dubbed "rule-utilitarian". As such it has obvious attractions for would-be utilitarians, if it can be made to work. It would enable utilitarians to offer an account of judgments of justice in terms of rules enjoying the status of secondary principles of morality. Justice judgments could be represented as a special sub-class of moral judgments and the principles regulating them as subordinate to, and derivable from, the principle of utility. The vexed question of the relation between justice and utility would thereby be resolved without challenge to the assumption that they are different values and also without 76. abandonment of the claim that the principle of utility is the only underivative moral principle. By contrast, utilitarians for whom the... (shrink)

In this work I bring a conception of language and meaning as a shared institution to bear upon rule-following scepticism, i.e., upon the sceptical problem concerning the semantic determinacy of expressions involving infinite or indefinitely large and open extensions. Such scepticism proceeds from the observation that the extensions of expressions of this kind are not uniquely determined by epistemically accessible facts, to conclude that the expressions in question are indeterminate in point of extension, and that their meaning must consist (...) in their use. ;In the first chapter of this work, I argue that rule-following considerations by themselves do not suffice to establish these conclusions, and that additional premises are needed. I consider both internalist and extensionalist schemes to supplement the sceptical argument. I find such schemes lacking in persuasive support. Chapter 2, in particular, concentrates on Kripke's well known exegesis of Wittgenstein's argument, and on the internalist requirements upon which it is based. ;In Chapter 3, I offer an externalist account of the normative aspect in rule following. On the account I give, the rule one is projecting is determined extensionally by one's position in a community in which his projections would be corrected and evaluated by other members, and from which one has acquired the rule in the first place through a chain of communication, rather than by one's own projections, taken in isolation, which constitute only a partial understanding of the rule in question. This account is not designed to refute scepticism; rather its aim is to account for the normativity of rule-following in ways which do not invoke the internalist requirement upon which rule following scepticism is based. (shrink)

Adam Elga has argued that holders of imprecise credences fall prey to missed arbitrages, so that rational credences should be sharp. A decision rule proposed by Rohan Sud, Forward Looking, enables imprecise Bayesians to sidestep missed arbitrages and other ``bad books'' in isolated fixed-evidence binary betting sequences such as those of Elga. We show that Forward Looking imprecise Bayesians are committed to a bad book of bets when faced with a particular 3-bet variable-evidence binary betting sequence.

Few automated legal reasoning systems have been developed in domains of law in which a judicial decision maker has extensive discretion in the exercise of his or her powers. Discretionary domains challenge existing artificial intelligence paradigms because models of judicial reasoning are difficult, if not impossible to specify. We argue that judicial discretion adds to the characterisation of law as open textured in a way which has not been addressed by artificial intelligence and law researchers in depth. We demonstrate that (...) systems for reasoning with this form of open texture can be built by integrating rule sets with neural networks trained with data collected from standard past cases. The obstacles to this approach include difficulties in generating explanations once conclusions have been inferred, difficulties associated with the collection of sufficient data from past cases and difficulties associated with integrating two vastly different paradigms. A knowledge representation scheme based on the structure of arguments proposed by Toulmin has been used to overcome these obstacles. The system, known as Split Up, predicts judicial decisions in property proceedings within family law in Australia. Predictions from the system have been compared to those from a group of lawyers with favourable results. (shrink)

Can argumentation schemes play a part in the critical processing of argumentation by lay people? In a qualitative study, participants were invited to come up with strong and weak arguments for a given claim and were subsequently interviewed for why they thought the strong argument was stronger than the weak one. Next, they were presented with a list of arguments and asked to rank these arguments from strongest to weakest, upon which they were asked to motivate their judgments in (...) an interview. In order to assess whether lay people apply argument scheme specific criteria when performing these tasks, five different argumentation schemes were included in this study: argumentation from authority, from example, from analogy, from cause to effect, and from consequences. Laypeople’s use of criteria for argument quality was inferred from interview protocols. The results revealed that participants combined general criteria from informal logic and scheme-specific criteria. The results supported the conventional validity of the pragma-dialectical argument scheme rule in a strong sense and provided a more fine-grained view of central processing in the Elaboration Likelihood Model. (shrink)

Let Γn be a formula of LPA meaning “there is a proof of φ from PA-axioms, in which ω-rule is iterated no more than n times”. We examine relations over pairs of natural numbers of the kind. ≦H iff PA + RFNn' ⊩ RFNn .Where H denotes one of the hierarchies ∑ or Π and RFNn is the scheme of the reflection principle for Γn restricted to formulas from the class C implies “φ is true”, for every φ ∈ (...) C). Our main result is that. ≦H if n ≦ n' and k ≦ max. (shrink)

Science's priority rule rewards those who are first to make a discovery, at the expense of all other scientists working towards the same goal, no matter how close they may be to making the same discovery. I propose an explanation of the priority rule that, better than previous explanations, accounts for the distinctive features of the rule. My explanation treats the priority system, and more generally, any scheme of rewards for scientific endeavor, as a device for achieving (...) an allocation of resources among different research programs that provides as much benefit as possible to society. I show that the priority system is especially well suited to finding an efficient allocation of resources in those situations, characteristic of scientific inquiry, in which any success in an endeavor subsequent to the first success brings little additional benefit to society. (shrink)

Many people who have reached the age of majority still qualify as financial dependents of their parents, and may be registered as dependents on their parents’ medical schemes. This poses a practical conundrum, because major persons enjoy complete autonomy over their bodies to choose healthcare services as they please, including informational determination. However, their sensitive health information may end up being disclosed in the accounts rendered to their parents, as main members of medical schemes, thereby breaching their informational (...) privacy, medical confidentiality and possibly also damaging personal relationships. On the other hand, medical schemes must ensure that they strictly manage the business of their hospitalisation to ensure that they can adhere to their contractual and legal medical insurance obligations. Both major but financially dependent patients and medical schemes have good legal grounds to defend their respective positions. In this article, we will analyse and clarify the applicable legal and ethical grounds by considering medical confidentiality, the Protection of Personal Information Act, the Consumer Protection Act and the Medical Schemes Act and rules. We shall conclude with recommendations to accommodate the interests of both parties. (shrink)

A dynamical analysis of standard procedures for subensemble selection is used to show that the state restriction violation proposal in Part I of the paper cannot be realized by employing familiar correlation schemes. However, it is shown that measurement of an observable not commuting with the superselection operator is possible, a violation of the observable restrictions. This is interpreted as supporting the position that each of these restrictions is sufficient but not necessary for the superselection rule. The results (...) do constitute a proposal for superselection rule violation in theories requiring both restrictions, e.g., the axiomatic treatment by Bogolubov, Logunov, and Todorov. It is also concluded that superselection rules place restrictions on procedures for selective state preparations using correlations. More generally, it is conjectured that a mathematically conceivable decomposition of a given density operator does not necessarily represent a possibility for partitioning of the corresponding ensemble into subensembles by any physically realizable means. (shrink)

I argue that the denial of speakers' knowledge of language rules is based on conceptual confusion and in particular on a misanalysis of what it is to know a rule. I shall turn to the task of establishing this point after first providing the background for this issue: the difficulty of conceptualizing verbal behavior both under the hypothesis that speakers do, and under the hypothesis that speakers do not know the rules of grammar. I shall argue that this difficulty (...) and the dispute it has engendered are based on overly simple and inadequate views of rule knowledge. Our ordinary concept of knowing a rule has been radically ignored by theorists who have written on this issue. In consequence, they have operated with conceptual schemes too impoverished to allow for the knowledge that speakers do have. A more adequate analysis or account of rule knowledge will thus be the main concern of this paper with the problem of speakers’ knowledge of grammar being the motivation to attempt such an analysis. (shrink)

The likeness of sound between rhyming words is arbitrary, but words have meanings. Thus rhyme schemes carry an implicit meaning over against the explicit meaning of the lines in which they occur. The use of "death" and "breath" and other rhymes in Swinburne illustrates this duality, especially in his great sonnet addressed to Death. This prompts a discussion of the role of meter and rhyme in the physiology of dreams and memory, the human propensity to make rules, translations of (...) Dante, the comic rhymes of Noel Coward, and the real meaning of Seinfeld. (shrink)

We propose a new hybrid data mining method for predicting protein-protein interactions combining Likelihood-Ratio with rule induction algorithms. In essence, the new method consists of using a rule induction algorithm to discover rules representing partitions of the data, and then the discovered rules are interpreted as “bins” which are used to compute likelihood ratios. This new method is applied to the prediction of protein-protein interactions in the Saccharomyces Cerevisiae genome, using predictive genomic features in an integrated scheme. The (...) results show that the new hybrid method outperforms a pure likelihood ratio based approach. (shrink)

According to a common line of criticism, Donald Davidson’s argument in “On the Very Idea of a Conceptual Scheme” is invalid because it moves illicitly from the relatively weak thesis that conceptual schemes cannot be incommensurable to the stronger thesis that the idea of a conceptual scheme itself is incoherent. I argue in this paper that such objections fail because they misunderstand the position that Davidson’s argument is intended to rule out. According to the “scheme-content dualism” Davidson targets, (...) conceptual schemes differ only if they are incommensurable with one another. Thus, if Davidson has successfully shown the idea of incommensurability to be incoherent, then he has shown “the very idea of a conceptual scheme” to be incoherent, as well. (shrink)

In his paper “Fairness, Political Obligation, and the Justificatory Gap” (published in the Journal of Moral Philosophy), Jiafeng Zhu argues that the principle of fair play cannot require submission to the rules of a cooperative scheme, and that when such submission is required, the requirement is grounded in consent. I propose a better argument for the claim that fair play requires submission to the rules than the one Zhu considers. I also argue that Zhu’s attribution of consent to people commonly (...) thought to be bound to follow the rules by a duty of fair play is implausible. (shrink)

In the effort to address the persistent organ shortage it is sometimes suggested that we should incentivize people to sign up as organ donors. One way of doing so is to give priority in the allocation of organs to those who are themselves registered as donors. Israel introduced such a scheme recently and the preliminary reports indicate increased donation rates. How should we evaluate such initiatives from an ethical perspective? Luck egalitarianism, a responsibility-sensitive approach to distributive justice, provides one possible (...) justification: Those who decide against being organ donors limit the health care resources available to others. As such, a priority rule can be justified by a luck egalitarian approach to distributive justice. Furthermore, a priority rule inspired by luck egalitarianism is well equipped to avoid prominent criticisms of such a procurement system. Luck egalitarianism provides us with reaons to exempt people who are not responsible for their inability to donate from receiving lower priority, provide sufficient information about donation, and mitigate social and natural circumstances affecting people’s choice to donate. (shrink)

Some arguments are good; others are not. How can we tell the difference? This article advances three proposals as a partial answer to this question. The proposals are keyed to arguments conditioned by different degrees of uncertainty: mild, where the argument’s premises are hedged with point-valued probabilities; moderate, where the premises are hedged with interval probabilities; and severe, where the premises are hedged with non-numeric plausibilities such as ‘very likely’ or ‘unconfirmed’. For mild uncertainty, the article proposes to apply a (...) principle referred to as ‘Jeffrey’s rule’, for the principle is a generalization of Jeffrey conditionalization. For moderate uncertainty, the proposal is to extend Jeffrey’s rule for use with probability intervals. For severe uncertainty, the article proposes that even when lack of probabilistic information prevents the application of Jeffrey’s rule, the rule can be adapted to these conditions with the aid of a suitable plausibility measure. Together, the three proposals introduce an approach to argument evaluation that complements established frameworks for evaluating arguments: deductive soundness, informal logic, argumentation schemes, pragma-dialectics, and Bayesian inference. Nevertheless, this approach can be looked at as a generalization of the truth and validity conditions of the classical criterion for sound argumentation. (shrink)

In communities of user-generated content, systems for the management of content and/or their contributors are usually accepted without much protest. Not so, however, in the case of Wikipedia, in which the proposal to introduce a system of review for new edits (in order to counter vandalism) led to heated discussions. This debate is analysed, and arguments of both supporters and opponents (of English, German and French tongue) are extracted from Wikipedian archives. In order to better understand this division of the (...) minds, an analogy is drawn with theories of bureaucracy as developed for real-life organizations. From these it transpires that bureaucratic rules may be perceived as springing from either a control logic or an enabling logic. In Wikipedia, then, both perceptions were at work, depending on the underlying views of participants. Wikipedians either rejected the proposed scheme (because it is antithetical to their conception of Wikipedia as a community) or endorsed it (because it is consonant with their conception of Wikipedia as an organization with clearly defined boundaries). Are other open-content communities susceptible to the same kind of ‘essential contestation’? (shrink)

For several subsystems of second order arithmetic T we show that the proof-theoretic strength of T + (bar rule) can be characterized in terms of T + (bar induction) □ , where the latter scheme arises from the scheme of bar induction by restricting it to well-orderings with no parameters. In addition, we demonstrate that ACA + 0 , ACA 0 + (bar rule) and ACA 0 + (bar induction) □ prove the same Π 1 1 -sentences.

The paper pores over the recent conceptions of normative judgement developed against the background of advances in psychology and neuroscience. It begins by analyzing what normative claim of morality and law consists of before presenting and criticizing the Social Intuitionist Model of normative judgement developed by Jonathan Haidt. The model poses serious challenges for well-established normative concepts, and the concept of normativity as objective reason for action in particular. A question is asked of what the relationship between philosophical conceptions and (...) the findings of neuroscience should be. The conclusion is that, in the face of new scientific facts, philosophers have no choice but to carefully revise their conceptual schemes. (shrink)

The logic of single-conclusion proofs () is introduced. It combines the verification property of proofs with the single valuedness of proof predicate and describes the operations on proofs induced by modus ponens rule and proof checking. It is proved that is decidable, sound and complete with respect to arithmetical proof interpretations based on single-valued proof predicates. The application to arithmetical inference rules specification and -admissibility testing is considered. We show that the provability in gives the complete admissibility test for (...) the rules which can be specified by schemes in -language. The test is supplied with the ground proof extraction algorithm which eliminates the admissible rules from a -proof by utilizing the information from the corresponding -proofs. (shrink)

After some motivating remarks in Section 1, in Section 2 we show how to replace an axiomatic basis for any one of a broad range of sentential logics having finitely many axiom schemes and Modus Ponens as the sole proper rule, by a basis with the same axiom schemes and finitely many one-premiss rules. Section 3 mentions some questions arising from this replacement procedure , explores another such procedure, and discusses some aspects of the consequence relations associated (...) with the different axiomatizations in play. Several open problems are mentioned. An appendix briefly treats the issue of a similar ‘at most one-premiss rules’ reformulation of proof systems with sequent-to-sequent rules. (shrink)

The present paper deals with a systemS of propositional calculus, conjunction, equivalence and falsum being its primitive terms.The only primitive rule inS is the rule of extensionality defined by the scheme: $\frac{{E\alpha \beta ,\Phi (\alpha )}}{{\Phi (\beta )}}$.

In his political writings, F. A. Hayek faces a classic liberal dilemma: he opposes coercion but recognizes that sometimes the state can help to minimize it. Hayek attempts to resolve the dilemma of the limits of state power by offering a definition of the rule of law that does not depend on a controversial conception of rights. However, his effort to formalize the rule of law fails. Not only does Hayek implicitly rely on an undefended theory of rights, (...) but his rule‐of‐law scheme is limited to the elaboration of general principles of good government, neglecting the need for reforms aimed directly at the political processes that result in the controversial forms of coercion he deplores. (shrink)

A natural extension of Natural Deduction was defined by Schroder-Heister where not only formulas but also rules could be used as hypotheses and hence discharged. It was shown that this extension allows the definition of higher-level introduction and elimination schemes and that the set $\{ \vee, \wedge, \rightarrow, \bot \}$ of intuitionist sentential operators forms a {\it complete} set of operators modulo the higher level introduction and elimination schemes, i.e., that any operator whose introduction and elimination rules are (...) instances of the higher-level schemes can be defined in terms of $\{ \vee, \wedge, \rightarrow, \bot \}$.The aim of the present work is to extend the well-known connections between Proof Theory and Category Theory to higher-level Natural Deduction. To be precise, we will show how an adjointness between cartesian closed categories with finite coproducts can be associated, in a systematic way, with any operator $\phi$ defined by the higher-level schemes. The objects in the categories will be rules instead of formulas. (shrink)

The most discussed and mysterious column within the Babylonian astronomy is columnΦ. It is closely connected to the lunar velocity and to the duration of the Saros. This paper presents new ideas for the development and interpretation of columnΦ. It combines the excellent Goal-Year method with old ideas and practices from the “schematic astronomy”. Inspired by the old “TU11” rule for prediction of times of lunar eclipses, it proposes that columnΦ, in a similar way, used the sum of the (...) Lunar Four to predict times of lunar eclipses as well as the duration of one, 6, and 12 months by means of what usually is called “R–S” schemes. It also explains fully the structure and development of such schemes, a fact that strongly supports the new interpretation of columnΦ. (shrink)

1) Gaukroger estimates that there exist two irreconcilable theses in the Cartesian method in the Rules. The first thesis concerns the problem of the cognitive grasp of inference, the other the problem of the method of discovery. Descartes, by integrating deduction as a simple object of intuition, rejects the psychologicalinterpretation of inference, and elevates deduction to the status of a necessary condition of knowledge. On the other hand, the problem of the method of discovery requires that inference produces a new (...) truth as its conclusion. Descartes takes the algebraic solution of equations as the model of this method. But this orientation leads Descartes to deny all cognitive function operating in the inference of synthetic form. Thus, according to Gaukroger, these two theses tendto be opposed, calling into question the unity of the method. 2) We admit the cognitive analysis of Gaukroger on the Cartesian inference. However, Gaukroger does not see the importance of “the natural power of the mind” in the Rules. Indeed, the cognitive role of inference is always understood by Descartes, in light of this natural power. Thus, the main role of the method is to teach ways of increasing this power. Descartes tries to pose, by the algebraic treatment of questions, an analogy between the mathematical order and the order of the operations of the mind, enabling him to discover pure schemes of these operations. And, It is by theses schemes that the mind exercise itself in order to increase its natural power. For this reason, we must reconsider Gaukroger’s thesis that Descartesassimilates literally the method of discovery and algebraic solution, as well as his thesis of the inconsistency of the Cartesian method. (shrink)

In her book Antigone's Claim: Kinship between Life and Death, Judith Butler reads the figure of Antigone, who exists as an impossible aberration of kinship, as a challenge to the very terms of livability that are established by the reigning symbolic rules of Western thought. In this article I extend Butler's argument to reach beyond gender. I argue that African feminist scholarship shows that the kinship norms shaping the reigning symbolic rules of Western thought not only render certain gendered lives (...) unlivable, but through the gendered working thereof also become key to the colonial process of the racial dehumanization of the colonized and the violent expansion of Eurocentric capitalism. I show how Oyèrónké Oyĕwùmí, in her work on the Yorùbá people of Nigeria, provides, in a way analogous to Antigone, a glimpse of an order structured by kinship formations that are remarkably different from, and thereby bring into crisis, the normative versions of kinship that are posited as timeless truths. Through a reimagining or reconstruction of precolonial Yorùbá kinship formations, Oyĕwùmí articulates a different scheme of intelligibility, which enables radically different ways of being human and existing in the world. (shrink)

Conceptual knowledge inspires imagination. On the other hand, it is a claim to power as well. Multiple knowledge claims often, therefore, are engaged in a contest. This contest can take the form of several discourses. Extant power structures play a significant role in lending (or not lending) a voice to one or several such discourses. To one with the power to govern, knowledge claims flowing from abstract concepts generated in an elite discourse not only inspires imagination but also often leads (...) to ‘norms’ and ‘rules’ that drive governance in the system which leads to action. Norms and rules define actionability of the conceptual knowledge claim. However, for the one weighed by powerlessness in being governed, knowledge claims often get generated only in action, since an autonomous discourse is often lacking. Yet the sheer powerlessness of the authors of such knowledge claims generated in action leads to its non-celebration. It fails to get elevated. It might also wither away. Such actionable knowledge claims of the powerless often then gets manifested as something like an ‘unvoiced’ or an ‘unvoicable’ discourse, in macabre forms of subversion of ‘norms’ and ‘rules’ of the system that leads to a sense of failure in governance among those with power as well. Power, thus, brings actionable knowledge to the fore, but in two different forms. For the power-holder, it takes the form of a ‘deviation’ from norms and rules in the actionable domain through subversion by the powerless, revealing a gap between knowledge in the conceptual and actionable domain that is reluctantly (often tacitly) tolerated. For the powerless, on the other hand, actionable knowledge is living; negotiating on the ‘deviation’ is an existential requirement. This paper is an attempt to explore these dichotomies, how power (and the lack of it) alters the significance and implications of actionable knowledge. (shrink)