It is widely accepted that there is a clear sense in which the first-order paraconsistent constructive logic with strong negation of Almukdad and Nelson, QN4, is more constructive than intuitionistic first-order logic, QInt. While QInt and QN4 both possess the disjunction property and the existence property as characteristics of constructiveness (or constructivity), QInt lacks certain features of constructiveness enjoyed by QN4, namely the constructible falsity property and the dual of the existence property. This paper deals with the constructiveness of the (...) contra-classical, connexive, paraconsistent, and contradictory non-trivial first-order logic QC, which is a connexive variant of QN4. It is shown that there is a sense in which QC is even more constructive than QN4. The argument focuses on a problem that is mirror-inverted to Raymond Smullyan’s drinker paradox, namely the invalidity of what will be called the drinker truism and its dual in QN4 (and QInt), and on a version of the Brouwer-Heyting-Kolmogorov interpretation of the logical operations that treats proofs and disproofs on a par. The validity of the drinker truism and its dual together with the greater constructiveness of QC in comparison to QN4 may serve as further motivation for the study of connexive logics and suggests that constructive logic is connexive and contradictory (the latter understood as being negation inconsistent). (shrink)

In lieu of an abstract, here is a brief excerpt of the content:John P. Sisk DOCTOR JOHNSON KICKS A STONE Readers OF Boswell's Life ofJohnson will remember the great Doctor's refutation of Bishop Berkeley's idealism. He and Boswell had just come out of a church in Harwich and were discussing the Bishop's "ingenious sophistry to prove the nonexistence of matter." Boswell observed "that though we are satisfied his doctrine is not true, it is impossible to refute it." To mis Johnson (...) responded, "striking his foot with mighty force against a large stone, till he rebounded from it, T refute it thus.'" For Boswell diis was an argument from first principles diat are as fundamental to metaphysics as axioms are to mathematics. To use Johnson's own phrase, it is an argument based on "the experience of mankind" — the ground upon which he confidendy stood when he expressed his disapproval of such other phUosophical contemporaries as Hume, Voltaire, and Rousseau (the latter "a rascal who ought to be hunted out of society"). Or as WalterJackson Bate puts it in TheAchievement ofSamuelJohnson, the first principle ofhis thinking was "To go back to the living and concrete nature of experience."1 Boswell thought Johnson a philosopher, though he admits in a famous passage that his table manners might have suggested otherwise. Apparently G. K. Chesterton thought he had some claim to the term, for he called Johnson's novel Rasselas "a sort of philosophical satire on philosophy." Most likelyJohnson thought ofhimselfas among many other things a philosopher: the humanities had not yet setded snugly into dieir modern compartments. Now, of course, any undergraduate student of philosophy is willing to believe that Johnson's argument against Berkeley isn't worth much (he may be no less willing to believe that the Bishop's argument isn't worth much eitiier). He may also know that in the perspective of die modern physicist Johnson's stone was not as solid as Johnson thought it was — though it is likely he would have thought diis information 65 66Philosophy and Literature no more relevant to die argument dian Thaïes' belief diat all diings are made of water or Pydiagoras' diat all diings are numbers. The important thing was whether a drinker violated die experience of mankind. When the Scotchman Lord Hunderland praised the ancient philosophers for the candor and good humor widi which they disputed with one anotherJohnson would have none of it: "They disputed with good humour upon dieir fanciful dieories," he said, "because diey were not interested in the truth of them." It is not hard to imagine the Doctor's reaction to our own fanciful theories in philosophy, linguistics, and literary criticism. Suppose him at the Mitre Tavern for an evening's defense of die experience of mankind against die ingenious sophistries of a company made up ofJacques Derrida, Geoffrey H. Hartman, Stanley Fish, Michel Foucault, Paul de Man, and Jacques Lacan — the lot of them variously committed to the belief diat the proper job of philosophy is not the pursuit of the truth but the pursuit of die trudi about die pursuit of die truth. Johnson eyes die group warily, expecting the worst. There are too many Frenchmen present, and as he made clear at supper one July evening in the Turk's Head coffee house, French writers are superficial "because they are not scholars, and so proceed upon the mere power of dieir own minds." Nevertheless, the assembled gendemen present their positions: we are all prisoners ofthe total epistemological environment of our age, our episteme; locked linguistically into interpretive communities, we cannot know die text in itself; die proper function of the critic is creative free play, the text being merely a convenient occasion; language, being self-referential, cannot reveal a subject; human agency is a flattering but deceptive myth; transcendent systems of thought are impossible; if literature touches reality anywhere we cannot know it. MeanwhileJohnson, than whom no man ever had "a more ardent love of literature, or a higher respect for it," is in high dudgeon, kicking figurative stones right and left, no real ones being available inside the Mitre. His adversaries observe him with indulgent good humor, amused but not impressed with this crude bourgeois display, having... (shrink)

Modern scholars hold Bacon's philosophical works, Novum Organum, Advancement of Learning, and The New Atlantis, as his greatest achievements. Bowen's story reveals a man whose genius it was not to immerse himself in the rigor of scientific experimentation, but to realize what questions science should ask, and thereby reach beyond the status quo and appeal to the wider imagination of his generation. In his writings, Bacon challenged established social and religious orders, raised questions about the mind/body relation and the role (...) of dreams, and foresaw the development of the modern research university. It is Bacon's legacy to have gone beyond his age and, out of pure intuition, anticipate the concerns of future generations. (shrink)

This short article represents the first attempt to define a new core cultural value that will enable engaging the business sector in humankind’s mission to heal nature. First, I start with defining the problem of the current business culture and the extant thinking on how to solve environmental problems, which I called “the eco-deficit culture.” Then, I present a solution to this problem by formulating the “semiconducting principle” of monetary and environmental values exchange, which I believe can generate “an (...) eco-surplus business culture.” This work adds one new element, the eleventh cultural value, to the ten core values of progressive cultures postulated by Harrison (2000). (shrink)

The sensitivity principle is a compelling idea in epistemology and is typically characterized as a necessary condition for knowledge. This collection of thirteen new essays constitutes a state-of-the-art discussion of this important principle. Some of the essays build on and strengthen sensitivity-based accounts of knowledge and offer novel defences of those accounts. Others present original objections to sensitivity-based accounts and offer comprehensive analysis and discussion of sensitivity's virtues and problems. The resulting collection will stimulate new debate about the (...) sensitivity principle and will be of great interest and value to scholars and advanced students of epistemology. (shrink)

Drawing on the principle of subsidiarity, this article develops a framework for allocating medical decision-making authority in the absence of capacity to consent and argues that decisional authority in paediatric transgender healthcare should generally lie in the patient. Regardless of patients’ capacity, there is usually nobody better positioned to make medical decisions that go to the heart of a patient’s identity than the patients themselves. Under the principle of subsidiarity, decisional authority should only be held by a higher (...) level decision-maker, such as parents or judges, if lower level decision-makers are incapable of satisfactorily addressing the issue even with support and the higher level decision-maker is better positioned to satisfactorily address the issue than all lower level decision-makers. Because gender uniquely pertains to personal identity and self-realisation, parents and judges are rarely better positioned to make complex medical decisions. Instead of taking away trans youth’s authority over their healthcare decisions, we should focus on supporting their ability to take the best possible decision for themselves. (shrink)

Libertarianism is a controversial political theory. But it is often presented as a resting upon a simple, indeed commonsense, moral principle. The libertarian “Non-Aggression Principle” (NAP) prohibits aggression against the persons or property of others, and it is on this basis that the libertarian opposition to redistributive taxation, legal paternalism, and perhaps even the state itself is thought to rest. This paper critically examines the NAP and the extent to which it can provide support for libertarian political theory. (...) It identifies two problems with existing libertarian appeals to the NAP. First, insofar as libertarians employ a moralized understanding of aggression, their principle is really about the protection of property rights rather than the prohibition of aggression. Second, the absolutist prohibition on aggression, which libertarians typically endorse and which is necessary to generate strongly libertarian conclusions, is grossly implausible. The paper concludes by setting forth a version of the NAP that does not suffer from these problems. It argues that this more moderate and defensible version of the NAP still has important libertarian implications, but that a full defense of libertarianism cannot rely upon appeals to non-aggression alone. (shrink)

Normative political theorists have been growing more and more aware of the many difficult questions raised by the discretionary power inevitably left to public administrators. This article aims to advance a novel normative principle, called ‘principle of restraint’, regulating reform of established administrative agencies. I argue that the ability of public administrators to exercise their power in accordance with the requirements of public reason is protected by an attitude of restraint on the part of potential reformers. Specifically, they (...) should refrain from any reform of an administrative agency that involves a switch to a considerably more loosely interconnected system of values underlying the work of that agency. To illustrate the importance of the principle of restraint, I examine a case from British health policy, showing that a recent reform of the National Institute for Health and Care Excellence well exemplifies the serious problems brought by any violation of that principle. (shrink)

This paper critiques the All-Subjected Principle. The All-Subjected Principle is one of the most prominent answers to the Boundary Problem, which consists in determining who should be entitled to participate in which democratic decision. The All-Subjected Principle comes in many versions, but the general idea is that all people who are subjected in a relevant sense with regard to a democratic decision should be entitled to participate in that decision. One respect in which versions of the All-Subjected (...) Principle differ concerns how to best understand ‘subjectedness’. One view spells out ‘subjectedness’ in terms of legal bindingness. Another view understands ‘subjectedness’ in terms of coercion. I argue that the All-Subjected Principle is extensionally inadequate on both views in that it yields verdicts that are at odds with our considered judgements about certain cases. These cases involve legal norms of referral or international administrative assistance. (shrink)

The difficulty of explaining the outputs of artificial intelligence (AI) models and what has led to them is a notorious ethical problem wherever these technologies are applied, including in the medical domain, and one that has no obvious solution. This paper examines the proposal, made by Luciano Floridi and colleagues, to include a new ‘principle of explicability’ alongside the traditional four principles of bioethics that make up the theory of ‘principlism’. It specifically responds to a recent set of criticisms (...) that challenge the supposed need for such a principle to perform an enabling role in relation to the traditional four principles and therefore suggest that these four are sufficient without the addition of explicability. The paper challenges the critics’ premise that explicability cannot be an ethical principle like the classic four because it is explicitly subordinate to them. It argues instead that principlism in its original formulation locates the justification for ethical principles in a midlevel position such that they mediate between the most general moral norms and the contextual requirements of medicine. This conception of an ethical principle then provides a mold for an approach to explicability on which it functions as an enabling principle that unifies technical/epistemic demands on AI and the requirements of high-level ethical theories. The paper finishes by anticipating an objection that decision-making by clinicians and AI fall equally, but implausibly, under the principle of explicability’s scope, which it rejects on the grounds that human decisions, unlike AI’s, can be explained by their social environments. (shrink)

I argue that Émilie Du Châtelet breaks with Christian Wolff regarding the scope and epistemological content of the principle of sufficient reason, despite his influence on her basic ontology and their agreement that the principle of sufficient reason has foundational importance. These differences have decisive consequences for the ways in which Du Châtelet and Wolff conceive of science.

I give an account how the principle of ‘respect for autonomy’ dominates the field of bioethics, and how it came to triumph over its competitors, ‘respect for persons’ and ‘respect for free power of choice’. I argue that ‘respect for autonomy’ is unsatisfactory as a basic principle of bioethics because it is grounded in too individualistic a worldview, citing concerns of African theorists and other communitarians who claim that the principle fails to acknowledge the fundamental importance of (...) understanding persons within the nexus of their communal relationships. I defend the claim that ‘respect for persons’ is a more appropriate principle, as it is able to acknowledge both individual decision making and the essential relationality of persons. I acknowledge that my preference for ‘respect for persons’ is problematic because of the important debate around the definition of ‘personhood’ in bioethics discourse. Relying on Thaddeus Metz's conception of moral status, I propose a relational definition of personhood that distinguishes between persons with agency and persons without agency, arguing that we have different moral obligations to these distinct categories of persons. I claim that this conception of personhood is better able to accommodate our moral intuitions than conventional approaches, and that it is able to do so without being speciesist or question-begging. (shrink)

Theorizing in ecology and evolution often proceeds via the construction of multiple idealized models. To determine whether a theoretical result actually depends on core features of the models and is not an artifact of simplifying assumptions, theorists have developed the technique of robustness analysis, the examination of multiple models looking for common predictions. A striking example of robustness analysis in ecology is the discovery of the Volterra Principle, which describes the effect of general biocides in predator-prey systems. This paper (...) details the discovery of the Volterra Principle and the demonstration of its robustness. It considers the classical ecology literature on robustness and introduces two individual-based models of predation, which are used to further analyze the Volterra Principle. The paper also introduces a distinction between parameter robustness, structural robustness, and representational robustness, and demonstrates that the Volterra Principle exhibits all three kinds of robustness. *Received September 2006; revised May 2007. ‡Earlier versions of this paper were presented at the Australasian Association of Philosophy, the London School of Economics, and the University of Bristol. The authors wish to thank those audiences as well as Patrick Forber, Ken Waters, Deena Skolnick Weisberg, Uri Wilensky, and Bill Wimsatt for many helpful comments. Special thanks to Giacomo Sillari for his assistance in translating Volterra's original paper and his insightful thoughts about Volterra's aims and methods. Some of the research in this paper was supported by NSF grant SES-0620887 to MW. †To contact the authors, please write to: Michael Weisberg, Department of Philosophy, University of Pennsylvania, 433 Logan Hall, Philadelphia, PA 19104; e-mail: [email protected]; Kenneth Reisman, Pluribo, Inc., 100 Park Avenue, Suite 1600, New York, NY 10017; e-mail: [email protected]. (shrink)

According to the class of de minimis decision principles, risks can be ignored (or at least treated very differently from other risks) if the risk is sufficiently small. In this article, we argue that a de minimis threshold has no place in a normative theory of decision making, because the application of the principle will either recommend ignoring risks that should not be ignored (e.g., the sure death of a person) or it cannot be used by ordinary bounded and (...) information-constrained agents. (shrink)

The design argument for God’s existence was critically assessed when in the growth of modern science the cognitive value of teleological categories was called into question. In recent discussions dealing with anthropic principles there has appeared a new version of the design argument, in which cosmic design is described without the use of teleological terms. The weak anthropic principle (WAP), a most critical version of all these principles, describes the fine-tuning of physical parameters necessary to the genesis of carbon-based (...) life. Consequently, a new version of the philosophical design argument can be developed on the basis of the weak anthropic principle.(edited). (shrink)

In this essay, “The Principle of Autonomy in Kant’s Moral Theory: Its Rise and Fall,” Pauline Kleingeld notes that Kant’s Principle of Autonomy, which played a central role in both the Groundwork for the Metaphysics of Morals and the Critique of Practical Reason, disappeared by the time of the Metaphysics of Morals. She argues that its disappearance is due to significant changes in Kant’s political philosophy. The Principle of Autonomy states that one ought to act as if (...) one were giving universal laws through one’s maxims. The criterion of just legislation that Kant accepted in the mid-1780s does not require any actual consent on the part of the citizens—genuine universality is sufficient for a law to be just. Hence, at that time, Kant could indeed explicate the criterion governing the moral permissibility of one’s maxims by drawing an analogy with the criterion governing the justice of political laws. In the Metaphysics of Morals and in other works in the 1790s, however, he added the further condition that laws must be given with the consent of the citizens. With this further condition, the moral criterion was no longer fully analogous to the criterion for political laws being just. Accordingly, Kleingeld argues, Kant dropped the Principle of Autonomy, which was firmly based on that analogy. (shrink)

If a proposition is typically true, given your evidence, then you should believe that proposition; or so I argue here. In particular, in this paper, I propose and defend a principle of rationality---call it the `Typical Principle'---which links rational belief to facts about what is typical. As I show, this principle avoids several problems that other, seemingly similar principles face. And as I show, in many cases, this principle implies the verdicts of the Principal Principle: (...) so ultimately, the Typical Principle may be the more fundamental of the two. (shrink)

The common cause principle says that every correlation is either due to a direct causal effect linking the correlated entities or is brought about by a third factor, a so-called common cause. The principle is of central importance in the philosophy of science, especially in causal explanation, causal modeling and in the foundations of quantum physics. Written for philosophers of science, physicists and statisticians, this book contributes to the debate over the validity of the common cause principle, (...) by proving results that bring to the surface the nature of explanation by common causes. It provides a technical and mathematically rigorous examination of the notion of common cause, providing an analysis not only in terms of classical probability measure spaces, which is typical in the available literature, but in quantum probability theory as well. The authors provide numerous open problems to further the debate and encourage future research in this field. (shrink)

In this article we defend the view that, on the All Affected Principle of voting rights, the weight of a person’s vote on a decision should be determined by and only by the degree to which that dec...

The Principle of Reason, the text of an important and influential lecture course that Martin Heidegger gave in 1955–56, takes as its focal point Leibniz’s principle: nothing is without reason.

The paper proposes a way to naturalise Charles S. Peirce’s conception of the scientific method, which he specified in terms of abduction, deduction and induction. The focus is on the central issue of the economy of research in abduction and self-correction by error reduction in induction. We show how Peirce’s logic of science receives support from modern breakthroughs in computational neuroscience, and more specifically from Karl Friston’s statements of active inference and the Free Energy Principle, namely the account of (...) how organisms’ capacity to decrease the discrepancy between the expected value and actual outcomes entails the minimisation of errors in their hypotheses about the world. A scientific account of organisms’ capacity to choose policies and form expectations is aligned with Peirce’s theories of abduction and induction, and especially with the economy of research. The upshot is the recovery of Peirce’s theory of the logic of science in the context of active inquiry. (shrink)

The paper formulates and proves a strengthening of ‘Frege’s Theorem’, which states that axioms for second-order arithmetic are derivable in second-order logic from Hume’s Principle, which itself says that the number of Fs is the same as the number ofGs just in case the Fs and Gs are equinumerous. The improvement consists in restricting this claim to finite concepts, so that nothing is claimed about the circumstances under which infinite concepts have the same number. ‘Finite Hume’s Principle’ also (...) suffices for the derivation of axioms for arithmetic and, indeed, is equivalent to a version of them, in the presence of Frege’s definitions of the primitive expressions of the language of arithmetic. The philosophical significance of this result is also discussed. (shrink)

one important product of kant's pre-critical metaphysics is the proof of God's existence that he presented in The Only Possible Argument of 1763.1 Kant's proof moves from what I will call here the 'actualist principle', every real possibility must be grounded in actuality, to the conclusion that there exists a unique necessary being, i.e. an ens realissimum, which grounds all real possibility. The pre-critical proof deserves interest in its own right, for not only does it have an intriguing logical (...) structure, but it also allows us to observe Kant's first elaborate discussion of modal concepts. However, what has attracted particular scholarly attention in the last few decades is the perplexing attitude... (shrink)

The precautionary principle in public decision making concerns situations where following an assessment of the available scientific information, there are reasonable grounds for concern for the possibility of adverse effects on the environment or human health, but scientific uncertainty persists. In such cases provisional risk management measures may be adopted, without having to wait until the reality and seriousness of those adverse effects become fully apparent. This is the definition of the precautionary principle as operationalized under EU law. (...) The precautionary principle is a deliberative principle. Its application involves deliberation on a range of normative dimensions which need to be taken into account while making the principle operational in the public policy context. Under EU law, any risk management measures to be adopted while implementing the precautionary principle, have to be proportionate to ensure the chosen high level of protection in the European Community. This articlewill illustrate the established practice concerning the release of genetically modified organisms into the environment and how the principle is implemented under hard law. The article also provides an outlook on what this may imply for the relative new case of nanotechnology and the use of precautionary principle within the context of soft law (use of codes of conduct). (shrink)

The Principle of Sufficient Reason must be justified dialectically: by showing the disastrous consequences of denying it. We formulate a version of the Principle that is restricted to basic natural facts, which entails the obtaining of at least one supernatural fact. Denying this principle results in extreme empirical skepticism. We consider six current theories of empirical knowledge, showing that on each account we cannot know that we have empirical knowledge unless we all have a priori knowledge of (...) the PSR. We consider objections based on Neo-Humeanism and the essentiality of origins, and we consider the possibility that we have empirical knowledge without knowing it. (shrink)

In this paper, we rigorously prove the existence of type-level ordered pairs in Quine’s New Foundations with atoms, augmented by the axiom of infinity and the axiom of choice (NFU + Inf + AC). The proof uses the cardinal squaring principle; more precisely, its instance for the (infinite) universe (VCSP), which is a theorem of NFU + Inf + AC. Therefore, we have a justification for proposing a new axiomatic extension of NFU, in order to obtain type-level ordered pairs (...) almost from the beginning. This axiomatic extension is NFU + Inf + AC + VCSP, which is equivalent to NFU + Inf + AC, but easier to reason about. (shrink)

Developing and implementing artificial intelligence (AI) systems in an ethical manner faces several challenges specific to the kind of technology at hand, including ensuring that decision-making systems making use of machine learning are just, fair, and intelligible, and are aligned with our human values. Given that values vary across cultures, an additional ethical challenge is to ensure that these AI systems are not developed according to some unquestioned but questionable assumption of universal norms but are in fact compatible with the (...) societies in which they operate. This is particularly pertinent for AI research and implementation across Africa, a ground where AI systems are and will be used but also a place with a history of imposition of outside values. In this paper, we thus critically examine one proposal for ensuring that decision-making systems are just, fair, and intelligible—that we adopt a principle of explicability to generate specific recommendations—to assess whether the principle should be adopted in an African research context. We argue that a principle of explicability not only can contribute to responsible and thoughtful development of AI that is sensitive to African interests and values, but can also advance tackling some of the computational challenges in machine learning research. In this way, the motivation for ensuring that a machine learning-based system is just, fair, and intelligible is not only to meet ethical requirements, but also to make effective progress in the field itself. (shrink)

Peter van Inwagen presented a powerful argument against the Principle of Sufficient Reason, which I henceforth abbreviate as ‘PSR’. For decades, the consensus was that this argument successfully refuted PSR. However, now a growing consensus holds that van Inwagen’s argument is fatally flawed, at least when ‘sufficient reason’ is understood in terms of ground, for on this understanding, an ineliminable premiss of van Inwagen’s argument is demonstrably false and cannot be repaired. I will argue that this growing consensus is (...) mistaken and that a powerful argument relevantly similar to van Inwagen’s should still concern us, even when we understand ‘sufficient reason’ in terms of ground. (shrink)

Is it ethical for doctors or courts to prevent patients from making choices that will cause significant harm to themselves in the future? According to an important liberal principle the only justification for infringing the liberty of an individual is to prevent harm to others; harm to the self does not suffice.In this paper, I explore Derek Parfit’s arguments that blur the sharp line between harm to self and others. I analyse cases of treatment refusal by capacitous patients and (...) describe different forms of paternalism arising from a reductionist view of personal identity. I outline an Identity Relative Paternalistic Intervention Principle for determining when we should disallow refusal of treatment where the harm will be accrued by a future self, and consider objections including vagueness and non-identity.Identity relative paternalism does not always justify intervention to prevent harm to future selves. However, there is a stronger ethical case for doing so than is often recognised. (shrink)

The paper discusses Peano's defense and application of permanence of forms as a principle of mathematical practice. (Dedicated to the memory of Mic Detlefsen.).

This is a reply to objections by the distinguished German philosopher Georg Meggle to Honderich's moral defence of Palestinian terrorism. It has to do with (1) the Principle of Humanity, (2) Zionism, Neo Zionism, a Palestinian moral right to terrorism within historic Palestine, (3) Just War theory and the Principle of Humanity, (4) terrorism in general defined as causing fear, (5) terrorism in general defined as the killing of innocents, (6) objections to the Palestinian moral right, (7) the (...) case of Palestine and the Principle of Humanity, (8) anti semitism, Meggle, Jurgen Habermas, and the publisher Abraham Melzer. There is also another reply to objections , in this case by Tamara Meisels, of Tel Aviv University. (shrink)

An important question in epistemology is whether the KK principle is true, i.e., whether an agent who knows that p is also thereby in a position to know that she knows that p. We explain how a “transparency” account of self-knowledge, which maintains that we learn about our attitudes towards a proposition by reflecting not on ourselves but rather on that very proposition, supports an affirmative answer. In particular, we show that such an account allows us to reconcile a (...) version of the KK principle with an “externalist” or “reliabilist” conception of knowledge commonly thought to make that principle particularly problematic. (shrink)