Political philosophy has difficulties to cope with the complexity and variety of state-religions relations. ‘Strict separationism’ is still the preferred option amongst liberals, deliberative and republican democrats, socialist and feminists. In this article, I develop a complex typology based on comparative history and sociology of religions. I summarize my reasons why institutional pluralist models like plural establishment or non-constitutional pluralism are attractive not only for religious minorities but for religiously deeply diverse societies in general. Most attention is paid (...) defending associative democracy, the most flexible and open variety of institutional pluralism, against realist objections that group representation is incompatible with liberal democracy, that it leads to stigmatization and bureaucratization, that it strengthens undemocratic leaders, that it leads to an ossification of the status quo, and, most importantly, that it is inherently divisive undermining social cohesion and political unity. In my refutation of these objections I try to show that it helps to integrate minority religions into liberal democratic policies compatible with reasonable pluralism and to prevent religious and political fundamentalism. (shrink)

Political philosophy has difficulties to cope with the complexity and variety of state-religions relations. ‘Strict separationism’ is still the preferred option amongst liberals, deliberative and republican democrats, socialist and feminists. In this article, I develop a complex typology based on comparative history and sociology of religions. I summarize my reasons why institutional pluralist models like plural establishment or non-constitutional pluralism are attractive not only for religious minorities but for religiously deeply diverse societies in general. Most attention is paid (...) defending associative democracy, the most flexible and open variety of institutional pluralism, against realist objections that group representation is incompatible with liberal democracy, that it leads to stigmatization and bureaucratization, that it strengthens undemocratic leaders, that it leads to an ossification of the status quo, and, most importantly, that it is inherently divisive undermining social cohesion and political unity. In my refutation of these objections I try to show that it helps to integrate minority religions into liberal democratic policies compatible with reasonable pluralism and to prevent religious and political fundamentalism. (shrink)

This article defends the principle of non-establishment against 21st-century projects of political religion, constitutional theocracy and political theology. It is divided into two parts, which will appear in two consecutive issues of Philosophy & Social Criticism, 39(4–5) and 39(6). Part 1 proceeds by constructing an ideal type of political secularism, and then discussing the innovative American model of constitutional dualism regarding religion that combined constitutional protection for the freedom of religious conscience and exercise with the principle of non-establishment. The article (...) analyses the strengths and limits of the ‘separation– accommodation’ frame that became hegemonic in 1st amendment jurisprudence from the 1940s to the 1990s. It challenges the standard caricature of the American model as strictly separationist and privatizing. It then critically assesses two contemporary alternatives to that frame: the integrationist approach and the equal liberty approach. The first, disguised as a concern for pluralism and fairness, challenges ‘separation’ and political secularism in a subtle attack on the non-establishment principle, aimed at drastically narrowing its scope. Successes of this approach in recent Supreme Court jurisprudence and politics have triggered a response by liberal egalitarians. The author addresses this response – the equal liberty model – in part 2, which will appear in Philosophy & Social Criticism 39(6), arguing that although on the right track, it fails to find a middle ground between political secularism and integration. (shrink)

It is still a popular philosophical position to call for a strict “separationism” concerning the private and the public sphere when it comes to religious convictions. Richard Rorty is one prominent supporter of this claim. The traditional critique against this division is mostly built on a particular characterization of religion that is at odds with Rortian assumptions. In this article, however, Rorty is criticized on his own terms turning pragmatically the objection to a fully internal one. What Rorty (...) values most, namely a tolerant and ironic liberalism as the capacity to describe oneself in new and interesting ways is precisely the role, I argue, that religious faith could play under “neo-liberal” conditions. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Good and Bad Ways to Think about Religion and Politics by Robert Benne, and: The Way of Peace: Christian Life in the Face of Discord by James M. Childs Jr.Bruce P. RittenhouseGood and Bad Ways to Think about Religion and Politics Robert Benne Grand Rapids, Mich.: Eerdmans, 2010. 127 pp. $14.00The Way of Peace: Christian Life in the Face of Discord James M. Childs Jr. Minneapolis: Fortress Press, (...) 2008. 149 pp. $19.00A comparison of Robert Benne’s Good and Bad Ways to Think about Religion and Politics and James Childs’s The Way of Peace illustrates the current divisions in political theology in the US Lutheran tradition. Benne’s book is a polemic aimed at the leadership of the mainline Protestant denominations and their mode of engagement with the American political process. In Benne’s account, these denominations draw too direct and exclusive a line between Christian faith and liberal political commitments; conversely, he sees greater agreement between core Christian norms and conservative political concerns. By contrast, Childs’s book provides an exegetical development of Christian norms of peace and peacemaking, followed by direct applications of Christian norms to public issues of economic justice and war that parallel the positions of secular liberals.Benne seeks to explore anew the issue of how Christians should interact with the political process. Unlike H. Richard Niebuhr, who undertook a similar project in Christ and Culture, Benne engages contemporary secular interpretations and critiques of religious engagement in politics. Benne rejects the strict separationist positions of the new atheists such as Richard Dawkins and the fusionist positions he attributes to Paul Tillich and the leadership of the contemporary mainline denominations in favor of a critical engagement model based on the Lutheran two kingdoms doctrine. Benne’s passion is not matched by the strength of his arguments. There is a straw man quality to his characterization of his antagonists. For example, Benne describes Tillich as seeing no difference between the demands of the Christian faith and democratic socialism. But Tillich explicitly recognizes the limitations of democratic [End Page 195] socialism in expressing Christian ideals and makes clear that his preference for this form of government is conditioned on a historical situation in which the alternatives are laissez-faire capitalism, fascism, and communism. Benne displays epistemological hubris when he questions mainstream scientific judgments. For example, he mocks the “alleged global warming consensus” (35) without offering any evidence that he possesses the necessary evidence or expertise to judge that consensus. He adds questionable historical claims, exaggerating Nazi persecution of Christians and minimizing the religious motivation of the European wars following the Reformation.Childs’s treatment of the question of how Christians are to engage in the US political process is even more problematic than Benne’s. His political prescriptions are written as if the problem did not exist, as if there existed a unified Christian polity fully faithful to its ideals that could express those ideals directly in the nation’s public policies. In this, there is a lack of the moral realism that Lutherans traditionally express through the doctrine that Christians are simul justus et peccator (at the same time justified and sinner). It is telling that the only sins that Childs acknowledges in the church are those that correspond to secular liberal norms: “racism, sexism, classism, and other forms of discrimination” (110). Childs’s representations of the church as holy, a community of peacemakers, and a sign of peace are normative not descriptive, effacing the traditional Lutheran distinction between the visible and invisible church. Childs also demonstrates a lack of political realism with respect to the influence of Christians in the American political process. In proposing that public policy be directed by Christian ideals, Childs either presupposes a significant conversion of our pluralistic society or he imagines that those not presently acting in the political process according to Christian moral principles can be persuaded to selflessness without conversion. The former position is not an empirical reality, and the latter contradicts the traditional Lutheran understanding of original sin, which holds that in the absence of faith human beings are curvatus in se, curved in upon themselves.Benne makes a... (shrink)

This article defends the principle of non-establishment against 21st-century projects of political religion, constitutional theocracy and political theology. It is divided into two parts. The first part, published in special issue 39.4–5 of Philosophy and Social Criticism, proceeds by constructing an ideal type of political secularism, and then discussing the innovative American model of constitutional dualism regarding religion that combined constitutional protection for the freedom of religious conscience and exercise with the principle of non-establishment. It then critically assesses the integrationist (...) approach –disguised as a concern for pluralism and fairness – as an alternative to this framework. The integrationist approach challenges ‘separation’ and political secularism in a subtle attack on the non-establishment principle, aimed at drastically narrowing its scope. Successes of this approach in recent Supreme Court jurisprudence and politics, have triggered a response by liberal egalitarians. I address this response – the equal liberty model – in this second part, arguing that although on the right track, it fails to find a middle ground between political secularism and integration. Instead, by abandoning the discourse of separation, it plays into populist integrationist hands without delivering on the promise of providing a coherent standard for deciding cases. The article proposes a third approach, one that does not throw out the non-establishment baby with the strict separationist bathwater and that wholeheartedly endorses political secularism, a sine qua non for 21st-century constitutional democracy. Equal liberty properly construed can help provide criteria for determining when an accommodation, a regulation or no regulation of religion by the state is appropriate. But it must be supplemented by other values – democratic and civil republican. The article concludes with a typology of the forms of regulation that are warranted under the conditions of the contemporary regulatory state, now the target and prize of politicized religion. (shrink)

Biological evolution and cultural evolution are distinct evolutionary processes; they are apparent also in human language, where both processes contributed in shaping its evolution. However, the nature of the interaction between these two processes is still debated today. It is often claimed that the emergence of modern language was preceded by the evolution of a language-ready brain: the latter is usually intended as a product of biological evolution, while the former is believed to be the consequence of cultural processes. I (...) label this account separationist, and I argue that current evidence coming from the archaeological and fossil record suggests that cultural evolution has played a pivotal role in shaping not only modern language but also the language-ready brain. I label the latter the integrative perspective. I analyze the two accounts from two different conceptual frameworks, the Standard Evolutionary Theory and the Extended Evolutionary Synthesis, and I discuss the limits of the sharp proximate–ultimate distinction in this specific case study arguing in favor of a causal feedback model. I extend the argument to the debate on gradual and punctuational evolutionary rates, suggesting that the debate on patterns in language evolution should leave room for discussion of the nature of the processes involved in producing those patterns, providing reasons in favor of the eco-evolutionary feedback dynamics underlying the integrative perspective. (shrink)

Can autonomous systems replace humans in the performance of their activities? How does the answer to this question inform the design of autonomous systems? The study of technical systems and their features should be preceded by the study of the activities in which they play roles. Each activity can be described by its overall goals, governing norms and the intermediate steps which are taken to achieve the goals and to follow the norms. This paper uses the activity realist approach to (...) conceptualize autonomous systems in the context of human activities. By doing so, it first argues for epistemic and logical conditions that illustrate the limitations of autonomous systems in tasks which they can and cannot perform, and then, it discusses the ramifications of the limitations of system autonomy on the design of autonomous systems. (shrink)

.This paper discusses Aristotle’s thesis and Boethius’ thesis, the most distinctive theorems of connexive logic. Its aim is to show that, although there is something plausible in Aristotle’s thesis and Boethius’ thesis, the intuitions that may be invoked to motivate them are consistent with any account of indicative conditionals that validates a suitably restricted version of them. In particular, these intuitions are consistent with the view that indicative conditionals are adequately formalized as strict conditionals.

This paper studies proof systems for the logics of super-strict implication ST2–ST5, which correspond to C.I. Lewis’ systems S2–S5 freed of paradoxes of strict implication. First, Hilbert-style axiomatic systems are introduced and shown to be sound and complete by simulating STn in Sn and backsimulating Sn in STn, respectively(for n=2,...,5). Next, G3-style labelled sequent calculi are investigated. It is shown that these calculi have the good structural properties that are distinctive of G3-style calculi, that they are sound and (...) complete, and it is shown that the proof search for G3. ST2 is terminating and therefore the logic is decidable. (shrink)

This paper introduces the logics of super-strict implications, where a super-strict implication is a strengthening of C.I. Lewis' strict implication that avoids not only the paradoxes of material implication but also those of strict implication. The semantics of super-strict implications is obtained by strengthening the (normal) relational semantics for strict implication. We consider all logics of super-strict implications that are based on relational frames for modal logics in the modal cube. it is shown (...) that all logics of super-strict implications are connexive logics in that they validate Aristotle's Theses and (weak) Boethius's Theses. A proof-theoretic characterisation of logics of super-strict implications is given by means of G3-style labelled calculi, and it is proved that the structural rules of inference are admissible in these calculi. It is also shown that validity in the S5-based logic of super-strict implications is equivalent to validity in G. Priest's negation-as-cancellation-based logic. Hence, we also give a cut-free calculus for Priest's logic. (shrink)

I present an interpretation of ideal theory that is grounded in the idea of society as a fair scheme of cooperation, which Rawls describes as the most fundamental idea of justice as fairness. A key element of the Rawlsian idea of cooperation, I claim, is that the individual participants of a genuinely cooperative scheme—whatever its scale—are morally accountable to each other for complying with the scheme’s rules. This means that each participant has the moral standing to demand of the others (...) that they comply with the rules. I argue that the logic of these moral demands requires that the scheme’s rules be worked out on the basis of a strict compliance assumption. In justice as fairness, society as a whole is a grand scheme of cooperation. The principles of justice constitute the moral terms of association for this cooperative scheme, and hence define the moral demands that citizens, as such, may make of one another. Thus, these principles of justice must likewise be worked out on the basis of a strict compliance assumption. I contrast this interpretation with the standard telic alternative, which grounds the strict compliance assumption in its role as part of the theory of a realistic utopia, and argue for the possibility of non-utopian ideal theories. (shrink)

Considerations of accuracy – the epistemic good of having credences close to truth-values – have led to the justification of a host of epistemic norms. These arguments rely on specific ways of measuring accuracy. In particular, the accuracy measure should be strictly proper. However, the main argument for strict propriety supports only weak propriety. But strict propriety follows from weak propriety given strict truth directedness and additivity. So no further argument is necessary.

This paper studies proof systems for the logics of super-strict implication \(\textsf{ST2}\) – \(\textsf{ST5}\), which correspond to C.I. Lewis’ systems \(\textsf{S2}\) – \(\textsf{S5}\) freed of paradoxes of strict implication. First, Hilbert-style axiomatic systems are introduced and shown to be sound and complete by simulating \(\textsf{STn}\) in \(\textsf{Sn}\) and backsimulating \(\textsf{Sn}\) in \(\textsf{STn}\), respectively (for \({\textsf{n}} =2, \ldots, 5\) ). Next, \(\textsf{G3}\) -style labelled sequent calculi are investigated. It is shown that these calculi have the good structural properties that (...) are distinctive of \(\textsf{G3}\) -style calculi, that they are sound and complete, and it is shown that the proof search for \(\mathsf {G3.ST2}\) is terminating and therefore the logic is decidable. (shrink)

The most popular and convincing arguments for the claim that vegetarianism is morally obligatory focus on the extensive, unnecessary harm done to animals and to the environment by raising animals industrially in confinement conditions (factory farming). I outline the strongest versions of these arguments. I grant that it follows from their central premises that purchasing and consuming factoryfarmed meat is immoral. The arguments fail, however, to establish that strict vegetarianism is obligatory because they falsely assume that eating vegetables is (...) the only alternative to eating factory-farmed meat that avoids the harms of factory farming. I show that these arguments not only fail to establish that strict vegetarianism is morally obligatory, but that the very premises of the arguments imply that eating some (non-factory-farmed) meat rather than only vegetables is morally obligatory. Therefore, if the central premises of these usual arguments are true, then strict vegetarianism is immoral. (shrink)

Strict moderate invariantism is the ho-hum, ‘obvious’ view about knowledge attributions. It says knowledge attributions are often true and that only traditional epistemic factors like belief, truth, and justification make them true. As commonsensical as strict moderate invariantism is, it is equally natural to withdraw a knowledge attribution when error possibilities are made salient. If strict moderate invariantism is true, these knowledge-denials are often false because the subject does in fact know the proposition. I argue that (...) class='Hi'>strict moderate invariantism needs an explanation of this phenomenon, but it does not have one. That is significant, for if strict moderate invariantism does not square with ordinary intuition, then it cannot rely on ordinary intuition for support. Section 1 introduces the concept of epistemic relevance blindness, which says ordinary subjects are generally insensitive to whether or not error possibilities are relevant to knowledge attributions. Section 2 focuses on Patrick Rysiew’s influential strict moderate invariantist pragmatic explanation of knowledge-denials and argues that such pragmatic explanations of knowledge-denials depend on attributors being epistemic relevance blind. Section 3 targets psychological explanations of epistemic relevance blindness offered separately by Jennifer Nagel and Mikkel Gerken. I argue that strict moderate invariantists lack a plausible explanation of epistemic relevance blindness. (shrink)

A type of argument occasionally made in metaethics, epistemology and philosophy of science notes that most ordinary uses of some expression fail to satisfy the strictest interpretation of the expression, and concludes that the ordinary assertions are false. This requires there to be a presumption in favour of a strict interpretation of expressions that admit of interpretations at different levels of strictness. We argue that this presumption is unmotivated, and thus the arguments fail.

:Strict liability in tort law is thought by some to have a moral counterpart. In this essay I attempt to determine whether there is, in fact, strict liability in the moral domain. I argue that there is, and I critically evaluate several accounts of its normative foundations before suggesting one of my own.

Strict/tolerant logic is a formally defined logic that has the same consequence relation as classical logic, though it differs from classical logic at the metaconsequence level. Specifically, it does not satisfy a cut rule. It has been proposed for use in work on theories of truth because it avoids some objectionable features arising from the use of classical logic. Here we are not interested in applications, but in the formal details themselves. We show that a wide range of logics (...) have strict/tolerant counterparts, with the same consequence relations but differing at the metaconsequence level. Among these logics are Kleene’s K3\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathsf {K_3}$$\end{document}, Priest’s LP\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathsf {LP}}$$\end{document}, and first-degree entailment, FDE. The primary tool we use is the bilattice. But it is more than a tool, it seems to be the natural home for this kind of investigation. (shrink)

Call an argument a ‘happy sorites’ if it is a sorites argument with true premises and a false conclusion. It is a striking fact that although most philosophers working on the sorites paradox find it at prima facie highly compelling that the premises of the sorites paradox are true and its conclusion false, few (if any) of the standard theories on the issue ultimately allow for happy sorites arguments. There is one philosophical view, however, that appears to allow for at (...) least some happy sorites arguments: strict finitism in the philosophy of mathematics. My aim in this paper is to explore to what extent this appearance is accurate. As we shall see, this question is far from trivial. In particular, I will discuss two arguments that threaten to show that strict finitism cannot consistently accept happy sorites arguments, but I will argue that (given reasonable assumptions on strict finitistic logic) these arguments can ultimately be avoided, and the view can indeed allow for happy sorites arguments. (shrink)

This book intends to show that radical naturalism, nominalism and strict finitism account for the applications of classical mathematics in current scientific theories. The applied mathematical theories developed in the book include the basics of calculus, metric space theory, complex analysis, Lebesgue integration, Hilbert spaces, and semi-Riemann geometry. The fact that so much applied mathematics can be developed within such a weak, strictly finitistic system, is surprising in itself. It also shows that the applications of those classical theories to (...) the finite physical world can be translated into the applications of strict finitism, which demonstrates the applicability of those classical theories without assuming the literal truth of those theories or the reality of infinity. Both professional researchers and students of philosophy of mathematics will benefit greatly from reading this book. (shrink)

Bernard Williams described the case of a lorry driver who runs over a child through no fault of his own. In this article, I pursue two aims. First, I want to motivate a puzzle about Williams’s case, which I call the Lorry Driver Paradox and which consists of three individually plausible but jointly inconsistent claims. Second, I want to offer a solution to this paradox based on a novel approach to so-called strict moral answerability. I conclude by responding to (...) the objection that strict answerability is a contradiction in terms. (shrink)

Dummett's objections to the coherence of the strict finitist philosophy of mathematics are thus, at the present time at least, ill-taken. We have so far no definitive treatment of Sorites paradoxes; so no conclusive ground for dismissing Dummett's response — the response of simply writing off a large class of familiar, confidently handled expressions as semantically incoherent. I believe that cannot be the right response, if only because it threatens to open an unacceptable gulf between the insight into his (...) own understanding available to a philosophically reflective speaker and the conclusions available to one confined to observing the former's linguistic practice; for an observer of our linguistic practice could never justifiably arrive at the conclusion that ‘red’, ‘child’, etc., are governed by inconsistent rules. But the Sorites is not the subject of this paper. The points I hope to have made plausible are: that a generalized intuitionist position cannot be so much as formulated and that even a most local intuitionism, argued for the special case of arithmetic, is hard pressed effectively to stabilize and defend itself; that strict finitism remains the natural outcome of the anti-realism which Dummett has propounded by way of support for the intuitionist philosophy of mathematics; that it is powerfully buttressed by the ideas of the latter Wittgenstein on rule-following; and that there is no extant compelling reason to suppose that its involvement with predicates of surveyability calls its coherence into question. The correct philosophical assessment of strict finitism, and its proper mathematical exegesis, remain absolutely open, almost virgin issues. This is not a situation which philosophers of mathematics should tolerate very much longer. (shrink)

Bayesians have a seemingly attractive account of rational credal states in terms of coherence. An agent's set of credences are synchronically coherent just in case they conform to the probability calculus. Some Bayesians impose a further putative coherence constraint called regularity: roughly, if X is possible, then it is assigned positive probability. I look at two versions of regularity – logical and metaphysical – and I canvass various defences of it as a rationality norm. Combining regularity with synchronic coherence, we (...) have a set of constraints known as strict coherence.I argue that strict coherence is untenable. In particular, I attack regularity as a rationality norm. First, I rebut each of the various defences of regularity. Then I argue directly against regularity: it conflicts with the Bayesian decision‐theoretic treatment of rational action. Thus, seemingly plausible theoretical and pragmatic norms turn out to be inconsistent.[Barbossa is about to kill Will,but Jack Sparrow shows up:]Barbossa: It's not possible!Jack: Not probable.To be uncertain is to be uncomfortable,but to be certain is to be ridiculous. (shrink)

Strict finitism is a minority view in the philosophy of mathematics. In this paper, we develop a strict finite axiomatic system for geometric constructions in which only constructions that are executable by simple tools in a small number of steps are permitted. We aim to demonstrate that as far as the applications of synthetic geometry to real-world constructions are concerned, there are viable strict finite alternatives to classical geometry where by one can prove analogs to fundamental results (...) in classical geometry. We consider this as one of many early steps investigating the extent to which strict finite foundations can be developed for the application of mathematics to the real-world. (shrink)

Jonathan Lowe has argued that a particular variation on C.I. Lewis' notion of strict implication avoids the paradoxes of strict implication. We show that Lowe's notion of implication does not achieve this aim, and offer a general argument to demonstrate that no other variation on Lewis' notion of constantly strict implication describes the logical behaviour of natural-language conditionals in a satisfactory way.

The dissertation studies the mathematical strength of strict constructivism, a finitistic fragment of Bishop's constructivism, and explores its implications in the philosophy of mathematics. ;It consists of two chapters and four appendixes. Chapter 1 presents strict constructivism, shows that it is within the spirit of finitism, and explains how to represent sets, functions and elementary calculus in strict constructivism. Appendix A proves that the essentials of Bishop and Bridges' book Constructive Analysis can be developed within strict (...) constructivism. Appendix B further develops, within strict constructivism, the essentials of the functional analysis applied in quantum mechanics, including the spectral theorem, Stone's theorem, and the self-adjointness of some common quantum mechanical operators. Some comparisons with other related work, in particular, a comparison with S. Simpson's partial realization of Hilbert's program, and a discussion of the relevance of M. B. Pour-El and J. I. Richards' negative results in recursive analysis are given in Appendix C. ;Chapter 2 explores the possible philosophical implications of these technical results. It first suggests a fictionalistic account for the ontology of pure mathematics. This leaves a puzzle about how truths about fictional mathematical entities are applicable to science. The chapter then explains that for those applications of mathematics that can be reduced to applications of strict constructivism, fictional entities can be eliminated in the applications and the puzzle of applicability can be resolved. Therefore, if strict constructivism were essentially sufficient for all scientific applications, the applicability of mathematics of mathematics in science would be accountable. The chapter then argues that the reduction of mathematics to strict constructivism also reduces the epistemological question about mathematics to that about elementary arithmetic. The dissertation ends with a suggestion that a proper epistemological basis for arithmetic is perhaps a mixture of Mill's empiricism and the Kantian views. (shrink)

von Fintel and Gillies : 329–360, 2007) have proposed a dynamic strict conditional account of counterfactuals as an alternative to the standard variably strict account due to Stalnaker and Lewis. Von Fintel’s view is motivated largely by so-called reverse Sobel sequences, about which the standard view seems to make the wrong predictions. More recently Moss :561–586, 2012) has offered a pragmatic/epistemic explanation that purports to explain the data without requiring abandonment of the standard view. So far the small (...) amount of subsequent literature has focused primarily on the original class of cases motivating the strict conditional view. What is needed in the debate is an examination of the predictions of the dynamic strict conditional account for a broader range of data. I undertake this task here, presenting a slew of cases that are problematic for the strict conditional view but not for Moss’s view, and considering some possible responses. Ultimately I take my contribution to constitute a significant blow to the dynamic strict conditional view, though not a decisive verdict against it. (shrink)

The responsible corporate officer doctrine is, as a formal matter, an instance of strict criminal liability: the government need not prove the defendant’s mens rea in order to obtain a conviction, and the defendant may not escape conviction by proving lack of mens rea. Formal strict liability is sometimes consistent with retributive principles, especially when the strict liability pertains to the grading of an offense. But is strict liability consistent with retributive principles when it pertains, not (...) to grading, but to whether the defendant has crossed the threshold from noncriminal to criminal conduct? In this essay, I review the two most plausible arguments supporting an affirmative answer in the context of the RCO doctrine. First, perhaps this doctrine reflects a rule-like form of negligence, akin to a rule that prohibits selling alcohol to a minor. Second, perhaps this doctrine expresses a duty to use extraordinary care to prevent a harm. Neither argument is persuasive. The first argument, although valid in some circumstances, fails to explain and justify the RCO doctrine. The second argument, a duty to use extraordinary care, is also inadequate. If “extraordinary care” simply means a flexibly applied negligence standard that considers the burdens and benefits of taking a precaution, it is problematic in premising criminal liability on ordinary negligence. If instead it refers to a higher duty or standard of care, it has many possible forms, such as requiring only a very slight deviation from a permissible or justifiable standard of conduct, placing a “thumb” on the scale of the Learned Hand test, identifying an epistemic standard more demanding than a reasonable person test, or recognizing a standard that is insensitive to individual capacities. However, some of these variations present a gratuitous or incoherent understanding of “negligence,” and none of them sufficiently explain and justify the RCO doctrine. (shrink)

Both Lowe and Tsai have presented their own versions of the theory that both indicative and subjunctive conditionals are strict conditionals. We critically discuss both versions and we find each version wanting.

This paper continues my work of [9], which showed there was a broad family of many valued logics that have a strict/tolerant counterpart. Here we consider a generalization of weak Kleene three valued logic, instead of the strong version that was background for that earlier work. We explain the intuition behind that generalization, then determine a subclass of strict/tolerant structures in which a generalization of weak Kleene logic produces the same results that the strong Kleene generalization did. This (...) paper provides much background, but is not self-contained. Some results from [9] are called on, and are not reproved here. [9] Melvin C. Fitting. “A Family of Strict/Tolerant Logics”. In: Journal of Philosophical Logic. Online. Print publication forthcoming. (shrink)

We investigate strictly positive finitely additive measures on Boolean algebras and strictly positive Radon measures on compact zerodimensional spaces. The motivation is to find a combinatorial characterisation of Boolean algebras which carry a strictly positive finitely additive finite measure with some additional properties, such as separability or nonatomicity. A possible consistent characterisation for an algebra to carry a separable separable positive measure was suggested by Talagrand in 1980, which is that the Stone space K of the algebra satisfies that its (...) space M(K) of measures is weakly separable, equivalently that C(K) embeds into l∞. We show that there is a ZFC example of a Boolean algebra (so of a compact space) which satisfies this condition and does not support a separable strictly positive measure. However, we use this property as a tool in a proof which shows that under MA+⇁ CH every atomless ccc Boolean algebra of size < c carries a nonatomic strictly positive measure. Examples are given to show that this result does not hold in ZFC. Finally, we obtain a characterisation of Boolean algebras that carry a strictly positive nonatomic measure in terms of a chain condition, and we draw the conclusion that under MA+⇁ CH every atomless ccc Boolean algebra satisfies this stronger chain condition. (shrink)

If T is a model complete theory with the strict order property, then the theory of the models of T with an automorphism has no model companion.

We introduce a system PSI for a strict implication operator called Priorean strict implication. The semantics for PSI is based on partial Kripke models without accessibility relations. PSI is proved sound and complete with respect to that semantics, and Prior's system Q and related systems are shown to be fragments of PSI or of a mild extension of it.

This book is a collection of original essays offering the first full-length consideration of the problem of strict liability in the criminal law: that is, the problem of criminal offences that allow a defendant to be convicted without proof of fault. Because of its potential to convict blameless persons, strict liability is a highly controversial phenomenon in the criminal law. Including Anglo-American and European perspectives, the contributions provide a sustained and wide-ranging examination of the fundamental issues. The breadth (...) and depth of the chapters combine to present readers with a sophisticated analysis of the place and legitimacy of strict liability in the criminal law. (shrink)

Notwithstanding the demands of retributive desert, strict criminal liability is sometimes defensible when the strict liability pertains, not to whether conduct is to be criminalized at all, but to the seriousness of the actor’s crime. Suppose an actor commits an intentional assault or rape, and accidentally brings about a death. Punishing the actor more seriously because the death resulted is sometimes justifiable, even absent proof of his independent culpability as to the death. But what punishment is proportionate for (...) such an actor? Should he be punished as harshly as an intentional or knowing killer? This article offers a framework for analysing these difficult questions. After rejecting a broad forfeiture justification for strict liability in grading, it articulates a more promising set of arguments, premised on the actor’s ‘change of normative position’ by choosing to commit a crime. Three principles of culpability sometimes justify strict liability in grading: holistic culpability, attention to the degree of unjustifiability of the risk, and rough comparability in culpability. Strict liability in grading can be appropriate when the risk of committing the more serious crime (i) is a risk intrinsic to the less serious crime or (ii) is minimally foreseeable. The article also addresses the relevance of moral luck, ie the principle that the fortuitous occurrence of a result or circumstance increases the actor’s just deserts. Even if moral luck is recognized, it cannot fully justify strict liability in grading. (shrink)

The strict dominance principle that a wager always paying better than another is rationally preferable is one of the least controversial principles in decision theory. I shall show that (given the Axiom of Choice) there is a contradiction between strict dominance and plausible isomorphism or symmetry conditions, by showing how in several natural cases one can construct isomorphic wagers one of which strictly dominates the other. In particular, I will show that there is a pair of wagers on (...) the outcomes of a uniform spinner which differ simply in where the zero degrees point of the spinner is defined to be but where one wager dominates the other. I shall also argue that someone who accepts Williamson’s famous argument that the probability of an infinite sequence of heads is zero should accept the symmetry conditions, and thus has reason to weaken the strict dominance principle, and I shall propose a restriction of the principle to “implementable” wagers. Our main result also has implications for social choice principles. (shrink)

The notion of strictly primitive recursive realizability is further investigated, and the realizable prenex sentences, which coincide with primitive recursive truths of classical arithmetic, are characterized as precisely those provable in transfinite progressions over a fragment of intuitionistic arithmetic. The progressions are based on uniform reflection principles of bounded complexity iterated along initial segments of a primitive recursively formulated system of notations for constructive ordinals. A semiformal system closed under a primitive recursively restricted -rule is described and proved equivalent to (...) the transfinite progressions with respect to the prenex sentences. (shrink)

We characterize strict Mittag-Leffler modules in terms of free realizations of positive primitive formulas, and rings over which projectives are trivial in terms of various notions of separability of strict Mittag-Leffler modules. © 2011 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim.

Termination for classical natural deduction is difficult in the presence of commuting/permutative conversions for disjunction. An approach based on reducibility candidates is presented that uses non-strictly positive inductive definitions.It covers second-order universal quantification and also the extension of the logic with fixed points of non-strictly positive operators, which appears to be a new result.Finally, the relation to Parigot’s strictly positive inductive definition of his set of reducibility candidates and to his notion of generalized reducibility candidates is explained.

It is common lore that standard, Kripke-style semantics for quantified modal logic is incompatible with the view that no individual may belong to more than one possible world, a view that seems to require a counterpart-theoretic semantics instead. Strictly speaking, however, this thought is wrong-headed. This note explains why.

Based on the strict definitions of concepts, such as deduction, the deduction rule and the deduction system, the form axiom, the substantive axiom, this article clearly shows the essence of the deductive reasoning, namely “Related attribute and the related restriction relations, which are conveyed in what the main concept of the deduction refers to, must be contained in those conveyed in what the premise proposition refers to”。Then puts forward the theorem “contradiction can not be derived from the strict (...) deduction system”, and gives the proofs. (shrink)

In his paper ‘Wang’s Paradox’, Michael Dummett provides an argument for why strict finitism in mathematics is internally inconsistent and therefore an untenable position. Dummett’s argument proceeds by making two claims: (1) Strict finitism is committed to the claim that there are sets of natural numbers which are closed under the successor operation but nonetheless have an upper bound; (2) Such a commitment is inconsistent, even by finitistic standards. -/- In this paper I claim that Dummett’s argument fails. (...) I question both parts of Dummett’s argument, but most importantly I claim that Dummett’s argument in favour of the second claim crucially relies on an implicit assumption that Dummett does not acknowledge and that the strict finitist need not accept. (shrink)

John Rawls divides this theory into two parts that he calls ideal and nonideal theory. In this essay I argue that Rawls runs together two quite different conceptions of this dyad corresponding to the idea of strict compliance and realistic utopia respectively. These conceptions employ different criteria of classification, are motivated by different concerns, and have different practical upshots. I present a view that combines the two coherently on Rawls’ behalf while remaining true to his intentions. But I argue (...) that even this amended view is unsatisfactory. Although the realistic utopia conception is well motivated, strict compliance is problematic. The upshot is that we can embrace the division of the theory of justice into ideal and nonideal theory, while rejecting the strict compliance understanding of ideal theory. (shrink)

This book intends to show that, in philosophy of mathematics, radical naturalism (or physicalism), nominalism and strict finitism (which does not assume the reality of infinity in any format, not even potential infinity) can account for the applications of classical mathematics in current scientific theories about the finite physical world above the Planck scale. For that purpose, the book develops some significant applied mathematics in strict finitism, which is essentially quantifier-free elementary recursive arithmetic (with real numbers encoded as (...) elementary recursive Cauchy sequences of rational numbers). Applied mathematical theories developed in the book include the basics of calculus, metric space theory, complex analysis, Lebesgue integration, Hilbert spaces, and semi-Riemann geometry (sufficient for the basic applications in classical quantum mechanics and general relativity). The fact that so much applied mathematics can be developed within such a weak, strictly finitisitc system is perhaps surprising in itself. It also shows that the applications of those classical theories to the finite physical world can be translated into the applications of strict finitism, which demonstrates the applicability of those classical theories without assuming the literal truth of those theories or the reality of infinity. The first chapter of the book contains an informal introduction to its philosophical motivation and technical strategy. The book is intended for students and researchers in philosophy of mathematics. -/- Contents -/- Preface 1 Introduction 2 Strict Finitism 3 Calculus 4 Metric Space 5 Complex Analysis 6 Integration 7 Hilbert Space 8 Semi-Riemann Geometry References Index. (shrink)

A strictly Millian approach to proper names is defended, i.e. one in which expressions when used properly ('onymically') refer directly, i.e. without the semantic intermediaryship of the words that appear to comprise them. The approach may appear self-evident for names which appear to have no component parts (in current English) but less so for others. Two modes of reference are distinguished for potentially ambiguous expressions such as The Long Island . A consequence of this distinction is to allow a speculative (...) neurolinguistics of proper ('onymic') and semantic ('non-onymic') reference. A further consequence is that translation of onymically referring expressions is impossible (since they have no semantic content), and some apparently self-evident objections to this view are met by insisting on a distinction between a proper name as a referring expression and its etymology. The nature of the linguistic mechanism(s) by which an expression becomes proper (i.e. loses sense) shows that etymological opacity is a precondition for the survival of words in certain proper names, furnishing evidence for reference without sense. The process of becoming proper amounts to abrogation of sense for the purpose of reference, which is precisely the requirement for a systematic defence of Mill. (shrink)

Interest surges in a distinctively metaphysical notion of ground. But a Schism has emerged between Orthodoxy’s view of ground as inducing a strict partial order structure on reality and Heresy’s rejection of this view. What’s at stake is the structure of reality (for proponents of ground), or even ground itself (for those who think this Schism casts doubt upon its coherence). I defend Orthodoxy against Heresy.