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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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.

.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 article bears on four topics: observational predicates and phenomenal properties, vagueness, strict finitism as a philosophy of mathematics, and the analysis of feasible computability. It is argued that reactions to strict finitism point towards a semantics for vague predicates in the form of nonstandard models of weak arithmetical theories of the sort originally introduced to characterize the notion of feasibility as understood in computational complexity theory. The approach described eschews the use of nonclassical logic and related devices (...) like degrees of truth or supervaluation. Like epistemic approaches to vagueness, it may thus be smoothly integrated with the use of classical model theory as widely employed in natural language semantics. But unlike epistemicism, the described approach fails to imply either the existence of sharp boundaries or the failure of tolerance for soritical predicates. Applications ofmeasurement theory(in the sense of Krantz, Luce, Suppes, & Tversky (1971)) to vagueness in the nonstandard setting are also explored. (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)

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 deontic 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)

: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.

This paper consists of four parts. Part 1 is an introduction. Part 2 evaluates arguments for the claim that there are no strict empirical laws in biology. I argue that there are two types of arguments for this claim and they are as follows: (1) Biological properties are multiply realized and they require complex processes. For this reason, it is almost impossible to formulate strict empirical laws in biology. (2) Generalizations in biology hold contingently but laws go beyond (...) describing contingencies, so there cannot be strict laws in biology. I argue that both types of arguments fail. Part 3 considers some examples of biological laws in recent biological research and argues that they exemplify strict laws in biology. Part 4 considers the objection that the examples in part 3 may be strict laws but they are not distinctively biological laws. I argue that given a plausible account of what distinctively biological means, such laws are distinctively biological. (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)

It is easy to understand the apparent appeal of strict liability to policymakers and legal reformers seeking to reduce crime: if the criminal law can do away with its traditional culpability requirement, it can increase the likelihood of conviction and punishment of those who engage in prohibited conduct or bring about prohibited harm or evil. And such an increase in punishment rate can enhance the crime-control effectiveness of a system built upon general deterrence or incapacitation of the dangerous. Similar (...) arguments support the use of criminal liability for regulatory offenses. Greater punishment rates suggest greater compliance. But this analysis fails to appreciate the crime-control costs of strict liability. By explicitly providing for punishment in the absence of moral blameworthiness, the law undermines its moral credibility with the community and thereby provokes subversion and resistance instead of the cooperation and acquiescence it needs for effective crime control. More importantly, the system’s lost moral credibility undermines the law’s ability to harness the powerful forces of stigmatization, social influence, and internalized norms. Given the serious limitations inherent in the real-world application of general deterrence and preventive detention programs, the most effective crime-control strategy is to build the criminal law’s reputation for being just, which means avoiding the use of strict liability. (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)

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 posits a largest natural number. The view is usually thought to be objectionably arbitrary. After all, there seems to be no apparent reason as to why the natural numbers should ‘stop’ at a specific point and not a bit later on the natural line. Drawing on how arguments from arbitrariness are employed in mereology, I propose several ways of understanding this objection against strict finitism. No matter how it is understood, I argue that it is always (...) found wanting. (shrink)

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)

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.

Deontologists often assume that ethical constraints hold ‘come what may’ but that violations of the constraints can be excused or pardoned. Vinit Haksar has argued for pardon as deontologically appropriate mitigation for the violation of deontological constraints. However, the reasons he adduces against excuse are inconclusive. In this paper, I show how complex the question of excuse versus pardon for deontological transgressions is. Liability for the development of character traits and the assumption of agent-centered responsibility have to be taken into (...) account before the possibility of pardon can be identified as appropriate deontological softener for strict constraints. (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)

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)

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.

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)

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.

We investigate the notions of strict independence and strict non-forking, and establish basic properties and connections between the two. In particular, it follows from our investigation that in resilient theories strict non-forking is symmetric. Based on this study, we develop notions of weight which characterize NTP2, dependence and strong dependence. Many of our proofs rely on careful analysis of sequences that witness dividing. We prove simple characterizations of such sequences in resilient theories, as well as of Morley (...) sequences which are witnesses. As a by-product we obtain information on types co-dominated by generically stable types in dependent theories. For example, we prove that every Morley sequence in such a type is a witness. (shrink)

Two classically equivalent, but constructively inequivalent, strict convexity properties of a preference relation are discussed, and conditions given under which the stronger notion is a consequence of the weaker. The last part of the paper introduces uniformly rotund preferences, and shows that uniform rotundity implies strict convexity. The paper is written from a strictly constructive point of view, in which all proofs embody algorithms. MSC: 03F60, 90A06.

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)

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.

provide a plausible alternative to utilitarianism. Rawls gives two kinds of arguments to show that his two principles of justice are more plausible or more nearly correct than utilitarianism. First, he argues that the two principles of justice provide a better match with our 'considered judgments in reflective equilibrium.' Second, he argues that his two principles would be chosen in preference to the principle of utility in 'the original position.' I shall be concerned only with the second of these two (...) arguments in this paper. According to Rawls, people in the original position choose principles on the assumption that whatever principles are chosen will be strictly complied with, i.e., they choose on the assumption that the basic institutions of their society and all of the actions of its members will be in compliance with whatever principles are chosen. (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 American tort system regularly conducts a sort of lottery in which plaintiffs try to name as many defendants in a tort action as they can in order to collect a large judgment from at least one of them. This procedure is encouraged under strict joint and several liability, which permits plaintiffs to recover greater damages from defendants - usually businesses - with less moral culpability for the tort than poorer defendants, who bear greater culpability. In a case involving (...) the Disney Corporation and a negligent amusement park rider, for instance, Disney was forced to pay 86% of the court award to the plaintiff, even though the jury found the company to be only 1% liable for the injury. The legal principle of joint and several liability violates morality in several different ways. Even though the principle appears to be better in the short run for plaintiffs, I will show that it fails not only to satisfy utilitarianism, but compensatory justice as well. Hence, the legal principle of joint and several liability should be eliminated in favor of a better, fairer law, which I will briefly sketch at the end. (shrink)

According to the theory of lexical access presented by Levelt, Roelofs & Meyer, processing of semantic–syntactic information and phonological information proceeds in a strictly discrete, serial manner. We will evaluate this claim in light of recent evidence from the literature and unpublished findings from our laboratory.

We prove two conservation results involving a generalization of the principle of strict ${\Pi^1_1}$ -reflection, in the context of bounded arithmetic. In this context a separation between the concepts of bounded set and binary sequence seems to emerge as fundamental.

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.

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)

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.

This article conceptualizes what strict liability is in the criminal law. Four properties are found to be individually necessary, only jointly sufficient, for there to be the kind of moral blameworthiness that must underlie any just punishment: prima facie wrongdoing, absence of justification, prima facie culpability, and absence of excuse. Whenever criminal liability is imposed without the presence of one or more of these properties, the liabuility is said to be strict.

Strict/tolerant logic, ST, evaluates the premises and the consequences of its consequence relation differently, with the premises held to stricter standards while consequences are treated more tolerantly. More specifically, ST is a three-valued logic with left sides of sequents understood as if in Kleene’s Strong Three Valued Logic, and right sides as if in Priest’s Logic of Paradox. Surprisingly, this hybrid validates the same sequents that classical logic does. A version of this result has been extended to meta, metameta, (...) … consequence levels in Barrio et al.. In my earlier paper Fitting I showed that the original ideas behind ST are, in fact, much more general than first appeared, and an infinite family of many valued logics have Strict/Tolerant counterparts. This family includes both Kleene’s and Priest’s logic individually, as well as first degree entailment. For instance, for both the Kleene and the Priest logic, the corresponding strict/tolerant logic is six-valued, but with differing sets of strictly and tolerantly designated truth values. The present paper extends that generalization in two directions. We examine a reverse notion, of Tolerant/Strict logics, which exist for the same structures that were investigated in Fitting. And we show that the generalization extends through the meta, metameta, … consequence levels for the same infinite family of many valued logics. Finally we close with remarks on the status of cut and related rules, which can actually be rather nuanced. Throughout, the aim is not the philosophical applications of the Strict/Tolerant idea, but the determination of how general a phenomenon it is. (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)

This essay is a contribution to the discussion, now going on for many years, concerning what sorts of identity relations should be represented in the syntax and semantics of formal grammar and what properties those relations should have. In what follows, I will use the neutral cover term coconstrual to refer identity relations of one sort or another between nominals when no particular syntactic or semantic analysis is presupposed (among which are dependent identity, covaluation and coreference). The central claim made (...) here is (I), with its consequence in (Ia) and the far-from-innocent background assumption in (II). Most of my argumentation is designed to establish (Ia) to argue that it should be understood as the natural consequence of (I) and with respect to strict readings in ellipsis contexts. Although I will also argue for (II), I rely on Safir (2004b) for a more general defense of it. (shrink)