We show that the so-called weak Markov's principle which states that every pseudo-positive real number is positive is underivable in [MATHEMATICAL SCRIPT CAPITAL T]ω ≔ E-HAω + AC. Since [MATHEMATICAL SCRIPT CAPITAL T]ω allows one to formalize Bishop's constructive mathematics, this makes it unlikely that WMP can be proved within the framework of Bishop-style mathematics . The underivability even holds if the ine.ective schema of full comprehension for negated formulas is added, which allows one to derive the (...) law of excluded middle for such formulas. (shrink)

The purpose of this paper is an axiomatic study of the interrelations between certain continuity properties. We show that every mapping is sequentially continuous if and only if it is sequentially nondiscontinuous and strongly extensional, and that "every mapping is strongly extensional", "every sequentially nondiscontinuous mapping is sequentially continuous", and a weak version of Markov's principle are equivalent. Also, assuming a consequence of Church's thesis, we prove a version of the Kreisel-Lacombe-Shoenfield-Tsĕitin theorem.

We deal with a restricted form WC-N' of the weak continuity principle, a version BT' of Baire's theorem, and a boundedness principle BD-N. We show, in the spirit of constructive reverse mathematics, that WC-N'. BT' + ¬LPO and BD-N + ¬LPO are equivalent in a constructive system, where LPO is the limited principle of omniscience.

The completeness w.r.t. Kripke frames with equality (or, equivalently, w.r.t. Kripke sheaves, [ 8 ] or [4, Sect. 3.6]) is established for three superintuitionistic predicate logics: ( Q - H + D *), ( Q - H + D *&K), ( Q - H + D *& K & J ). Here Q - H is intuitionistic predicate logic, J is the principle of the weak excluded middle, K is Kuroda’s axiom, and D * (cf. [ 12 ]) (...) is a weakened version of the well-known constant domains principle D . Namely, the formula D states that any individual has ancestors in earlier worlds, and D * states that any individual has $${\neg\neg}$$ -ancestors (i.e., ancestors up to $${\neg\neg}$$ -equality) in earlier worlds. In particular, the logic ( Q - H + D *& K & J ) is the Kripke sheaf completion of ( Q - H + E & K & J ), where E is a version of Markov’s principle (cf. [ 12 ]). On the other hand, we show that the logic ( Q - H + D *& J ) is incomplete w.r.t. Kripke sheaves. (shrink)

Moral conclusions cannot validly be inferred from nonmoral premises – this principle, commonly called “Hume’s law,” presents a conundrum. On one hand, it seems obviously true, and its truth is often simply taken for granted. On the other hand, an ingenious argument by A. N. Prior seems to refute it. My aim here is a resolution. I shall argue, first, that Hume’s law is ambiguous, admitting both a strong and a weak interpretation; second, that the strong interpretation is (...) false, as shown by Prior’s argument; and, third, that the weak interpretation is true. (shrink)

This paper deals with Hans Reichenbach's common cause principle. It was propounded by him in, and has been developed and widely applied by Wesley Salmon, e.g. in and. Thus, it has become one of the focal points of the continuing discussion of causation. The paper addresses five questions. Section 1 asks: What does the principle say? And section 2 asks: What is its philosophical significance? The most important question, of course, is this: Is the principle true? To (...) answer that question, however, one must first consider how one might one argue about it at all. One can do so by way of examples, the subject of section 3, or more theoretically, which is the goal of section 4. Based on an explication of probabilistic causation proposed by me in,, and, section 4 shows that a variant of the principle is provable within a classical framework. The question naturally arises whether the proved variant is adequate, or too weak. This is pursued in section 5. My main conclusion will be that some version of Reichenbach's principle is provably true, and others may be. This may seem overly ambitious, but it is not. The paper does not make any progress on essential worries about the common cause principle arising in the quantum domain; it only establishes more rigorously what has been thought to be plausible at least within a classical framework. (shrink)

The so-called weak König's lemma WKL asserts the existence of an infinite path b in any infinite binary tree . Based on this principle one can formulate subsystems of higher-order arithmetic which allow to carry out very substantial parts of classical mathematics but are Π 2 0 -conservative over primitive recursive arithmetic PRA . In Kohlenbach 1239–1273) we established such conservation results relative to finite type extensions PRA ω of PRA . In this setting one can consider also (...) a uniform version UWKL of WKL which asserts the existence of a functional Φ which selects uniformly in a given infinite binary tree f an infinite path Φf of that tree. This uniform version of WKL is of interest in the context of explicit mathematics as developed by S. Feferman. The elimination process in Kohlenbach [10] actually can be used to eliminate even this uniform weak König's lemma provided that PRA ω only has a quantifier-free rule of extensionality QF-ER instead of the full axioms of extensionality for all finite types. In this paper we show that in the presence of , UWKL is much stronger than WKL: whereas WKL remains to be Π 2 0 -conservative over PRA, PRA ω ++ UWKL contains full Peano arithmetic PA. We also investigate the proof–theoretic as well as the computational strength of UWKL relative to the intuitionistic variant of PRA ω both with and without the Markov principle. (shrink)

In this paper, the independence of irrelevant alternatives and the Pareto principle are simultaneously weakened in the Arrovian framework of social choice. Moreover, we also relax transitivity of social preferences. We show that impossibility remains under weaker versions of Arrow’s original conditions. Our results complement the recent work by Coban and Sanver (Soc Choice Welf 43(4):953–961, 2014).

Limited Aggregation is the view that when there are competing moral claims that demand our attention, we should sometimes satisfy the largest aggregate of claims, depending on the strength of the claims in question. In recent years, philosophers such as Patrick Tomlin and Alastair Norcross have argued that Limited Aggregation violates a number of rational choice principles such as Transitivity, Separability, and Contraction Consistency. Current versions of Limited Aggregation are what may be called Comparative Approaches because they involve assessing the (...) relative strengths of various claims. In this paper, we offer a non-comparative version of Limited Aggregation, what we call the Threshold Approach. It states that there is a non-relative threshold that separates various claims. We demonstrate that the Threshold Approach does not violate rational choice principles such as Transitivity, Separability, and Contraction Consistency, and we show that potential concerns regarding such a view are surmountable. (shrink)

We systematically study several principles and give a principle which is weaker than disjunctive Markov’s principle. We also show that the principle is underivable and strictly weaker than MP∨ in certain extensions of the system EL of elementary analysis.

We consider a weak version of Schindler’s remarkable cardinals that may fail to be ${{\rm{\Sigma }}_2}$-reflecting. We show that the ${{\rm{\Sigma }}_2}$-reflecting weakly remarkable cardinals are exactly the remarkable cardinals, and that the existence of a non-${{\rm{\Sigma }}_2}$-reflecting weakly remarkable cardinal has higher consistency strength: it is equiconsistent with the existence of an ω-Erdős cardinal. We give an application involving gVP, the generic Vopěnka principle defined by Bagaria, Gitman, and Schindler. Namely, we show that gVP + “Ord (...) is not ${{\rm{\Delta }}_2}$-Mahlo” and ${\text{gVP}}$ + “there is no proper class of remarkable cardinals” are both equiconsistent with the existence of a proper class of ω-Erdős cardinals, extending results of Bagaria, Gitman, Hamkins, and Schindler. (shrink)

When the Canonical Ramsey’s Theorem by Erdős and Rado is applied to regressive functions, one obtains the Regressive Ramsey’s Theorem by Kanamori and McAloon. Taylor proved a “canonical” version of Hindman’s Theorem, analogous to the Canonical Ramsey’s Theorem. We introduce the restriction of Taylor’s Canonical Hindman’s Theorem to a subclass of the regressive functions, the $$\lambda $$ λ -regressive functions, relative to an adequate version of min-homogeneity and prove some results about the Reverse Mathematics of this Regressive Hindman’s (...) Theorem and of natural restrictions of it. In particular we prove that the first non-trivial restriction of the principle is equivalent to Arithmetical Comprehension. We furthermore prove that the well-ordering-preservation principle for base-$$\omega $$ ω exponentiation is reducible to this same principle by a uniform computable reduction. (shrink)

The presented enhanced version of Eriksen’s theorem defines an universal transform of the Foldy–Wouthuysen type and in any external static electromagnetic field reveals a discrete symmetry of Dirac’s equation, responsible for existence of a highly influential conserved quantum number—the charge index distinguishing two branches of DE spectrum. It launches the charge-index formalism obeying the charge-index conservation law. Via its unique ability to manipulate each spectrum branch independently, the CIF creates a perfect charge-symmetric architecture of Dirac’s quantum mechanics, which resolves (...) all the riddles of the standard DE theory. Besides the abstract CIF algebra, the paper discusses: the novel accurate charge-symmetric definition of the electric-current density; DE in the true-particle representation, where electrons and positrons coexist on equal footing; flawless “natural” scheme of second quantization; and new physical grounds for the Fermi–Dirac statistics. As a fundamental quantum law, the CICL originates from the kinetic-energy sign conservation and leads to a novel single-particle physics in strong-field situations. Prohibiting Klein’s tunneling in Klein’s zone via the CICL, the precise CIF algebra defines a new class of weakly singular DE solutions, strictly confined in the coordinate space and experiencing the total reflection from the potential barrier. (shrink)

In 1957, Gödel proved that completeness for intuitionistic predicate logic HPL implies forms of Markov's Principle, MP. The result first appeared, with Kreisel's refinements and elaborations, in Kreisel. Featuring large in the Gödel-Kreisel proofs are applications of the axiom of dependent choice, DC. Also in play is a form of Herbrand's Theorem, one allowing a reduction of HPL derivations for negated prenex formulae to derivations of negations of conjunctions of suitable instances. First, we here show how to deduce (...) Gödel's results by alternative means, ones arguably more elementary than those of Kreisel. We avoid DC and Herbrand's Theorem by marshalling simple facts about negative translations and Markov's Rule. Second, the theorems of Gödel and Kreisel are commonly interpreted as demonstrating the unprovability of completeness for HPL, if means of proof are confined within strictly intuitionistic metamathematics. In the closing section, we assay some doubts about such interpretations. (shrink)

In Carnap’s autobiography, he tells the story how one night in January 1931, “the whole theory of language structure” in all its ramifications “came to [him] like a vision”. The shorthand manuscript he produced immediately thereafter, he says, “was the first version” of Logical Syntax of Language. This document, which has never been examined since Carnap’s death, turns out not to resemble Logical Syntax at all, at least on the surface. Wherein, then, did the momentous insight of 21 January (...) 1931 consist? We seek to answer this question by placing Carnap’s shorthand manuscript in the context of his previous efforts to accommodate scientific theories and metalinguistic claims within Wittgenstein’s Tractatus theory of meaning. The breakthrough of January 1931 consists, from this viewpoint, in the rejection of the Tractatus theory in favor of the meta-mathematical perspective of Hilbert, Gödel, and Tarski. This was not yet the standpoint of the published Logical Syntax, as we show, but led naturally to the “principle of tolerance” and thus to Carnap’s mature philosophy, in which the inconsistencies between this first view and the principle of tolerance, which survived into the published Syntax, were overcome. (shrink)

The book defines and critically discusses the following five principles: the harm principle, legal paternalism, the offense principle, legal moralism and the dignity principle of criminalization. The book argues that all five principles raise important problems that point to rejections (or at least a rethink) of standard principles of criminalization. The book shows that one of the reasons why we should reject or revise standard principles of criminalization is that even the most plausible versions of the harm (...) principle and legal paternalism that have been offered so far are rendered redundant by general moral theories. Furthermore, it demonstrates that the other three principles (or versions thereof), the offense principle, legal moralism and the dignity principle of criminalization, can either be covered by the harm principle, thus making these principles also redundant, or be seen to have what look like other unacceptable implications (e.g. that versions of legal moralism are based on speculative and incorrect empirical assumptions or violate what is called the criminological levelling-down challenge). As such, there is reason to move beyond traditional principles of criminalization, and instead to investigate alternative principles the state should be guided by when attempting to justify which kinds of conduct should be criminalized. Moreover, this book presents and defends such a principle – the utilitarian principle of criminalization. (shrink)

Context: Is non-dualist epistemology, based on the unity of descriptions and objects, logically consistent? Problem: What is the status of the infinite regresses that the non-dualist Josef Mitterer, in his book The Beyond of Philosophy, censures in dualist thought? Their academic discussion is still in its infancy. Method: An attempt to reconstruct and differentiate Mitterer’s infinite regress accusations against dualism (originating from the 1970s) with today’s means and distinctions. Results: A weak and a strong linguistic principle are presented (...) (non-dualism being subsumed under the strong linguistic principle), which are defined as such depending on whether the infinite regresses of dualism are interpreted as benign or as vicious. Implications: Further penetrating investigation of the infinite regresses highlighted by Mitterer is of crucial importance because these regresses have not yet been discussed and classified in relevant current publications on infinite regress arguments by authors such as Rescher or Gratton. Such proper classification is indispensable, however, if the value of the non-dualist alternative to, and its critique of, dualist thought is to be assessed adequately. (shrink)

I discuss the relationship between different versions of the equivalence principle in general relativity, among them Einstein's equivalence principle, the weak equivalence principle, and the strong equivalence principle. I show that Einstein's version of the equivalence principle is intimately linked to his idea that in GR gravity and inertia are unified to a single field, quite like the electric and magnetic field had been unified in special relativistic electrodynamics. At the same time, what (...) is now often called the strong equivalence principle, related to the local validity of special relativity, can also be found in Einstein's writings, albeit by a different name and clearly separated from what he calls the equivalence principle. I discuss both the development of Einstein's thoughts on the different versions of the equivalence principle, their relationship to the relativity principle, as well as later reflections and variants proposed. (shrink)

The ‘causal-constitution’ fallacy, the ‘cognitive bloat’ worry, and the persisting theoretical confusion about the fundamental difference between the hypotheses of embedded (HEMC) and extended (HEC) cognition are three interrelated worries, whose common point—and the problem they accentuate—is the lack of a principled criterion of constitution. Attempting to address the ‘causal-constitution’ fallacy, mathematically oriented philosophers of mind have previously suggested that the presence of non-linear relations between the inner and the outer contributions is sufficient for cognitive extension. The abstract idea of (...) non-linearity, however, can be easily misunderstood and has, in the past, led to incorrect and counterintuitive conclusions about what may count as part of one’s overall cognitive system. In order to prevent any further mistakes I revisit dynamical systems theory to study the nature of the continuous mutual interactions that give rise to the aforementioned non-linear relations. Moreover, focusing on these interactions will allow us to provide two distinct arguments in support of the ontological postulation of extended cognitive systems, as well as an objective criterion of constitution. Accordingly, I put forward a version of HEC that treats continuous mutual interactions (and the resultant non-linear relations) not just as sufficient but also as necessary for cognitive extension. Such a qualified version of HEC may exclude certain alleged cases of cognitive extension where the agent does not mutually interact with his artifacts (e.g., shopping lists and directory services), but it is immune both to the ‘causal-constitution’ fallacy and the ‘cognitive bloat’ worry, and it can be sharply distinguished from HEMC. (shrink)

According to the Consequence Argument, the truth of determinism plus other plausible principles would yield the conclusion that we have no free will. In this paper I will argue that the conception of determinism typically employed in the various versions of the Consequence Argument is not plausible. In particular, I will argue that, taken most straightforwardly, determinism as defined in the Consequence Argument would imply that the existence of God is logically impossible. This is quite an implausible result. The truth (...) or falsity of determinism is typically taken to be a contingent, empirical matter. But how could the empirical discovery that determinism is true lead to the conclusion that God’s existence is a logical impossibility? The defender of the Consequence Argument can avoid this conclusion, but only at the cost of making other similarly implausible claims. The objection.. (shrink)

Frege's Grundgesetze was one of the 19th century forerunners to contemporary set theory which was plagued by the Russell paradox. In recent years, it has been shown that subsystems of the Grundgesetze formed by restricting the comprehension schema are consistent. One aim of this paper is to ascertain how much set theory can be developed within these consistent fragments of the Grundgesetze, and our main theorem shows that there is a model of a fragment of the Grundgesetze which defines a (...) model of all the axioms of Zermelo-Fraenkel set theory with the exception of the power set axiom. The proof of this result appeals to G\"odel's constructible universe of sets, which G\"odel famously used to show the relative consistency of the continuum hypothesis. More specifically, our proofs appeal to Kripke and Platek's idea of the projectum within the constructible universe as well as to a weak version of uniformization (which does not involve knowledge of Jensen's fine structure theory). The axioms of the Grundgesetze are examples of abstraction principles, and the other primary aim of this paper is to articulate a sufficient condition for the consistency of abstraction principles with limited amounts of comprehension. As an application, we resolve an analogue of the joint consistency problem in the predicative setting. (shrink)

One common objection against the Principle of Sufficient Reason is that it leads to a highly counterintuitive position, namely, necessitarianism. In this paper, drawing on Avicenna’s modal theory, I differentiate between two versions of necessitarianism: strong necessitarianism and weak necessitarianism. I argue that the modal intuition driving this objection pertains to strong necessitarianism, while the Principle of Sufficient Reason, at most, leads to weak necessitarianism.

Let M=\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\mathcal{M}}=}$$\end{document} be a weakly o-minimal expansion of a dense linear order without endpoints. Some tame properties of sets and functions definable in M\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\mathcal{M}}}$$\end{document} which hold in o-minimal structures, are examined. One of them is the intermediate value property, say IVP. It is shown that strongly continuous definable functions in M\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\mathcal{M}}}$$\end{document} satisfy an extended (...) version of IVP. After introducing a weak version of definable connectedness in M\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\mathcal{M}}}$$\end{document}, we prove that strong cells in M\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\mathcal{M}}}$$\end{document} are weakly definably connected, so every set definable in M\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\mathcal{M}}}$$\end{document} is a finite union of its weakly definably connected components, provided that M\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\mathcal{M}}}$$\end{document} has the strong cell decomposition property. Then, we consider a local continuity property for definable functions in M\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\mathcal{M}}}$$\end{document} and conclude some results on cell decomposition regarding that property. Finally, we extend the notion of having no dense graph which was examined for definable functions in and related to uniform finiteness, definable completeness, and others. We show that every weakly o-minimal structure M\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\mathcal{M}}}$$\end{document} having cell decomposition, satisfies NDG, i.e. every definable function in M\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\mathcal{M}}}$$\end{document} has no dense graph. (shrink)

ETHICS ON THE JOB guides the reader through a step-by-step analysis to help them make good decisions in the face of ethical conflict. With the RESOLVEDD strategy, the authors have devised a powerful system for ethical decision-making in the workplace, which they teach students to implement through timely case studies and detailed analyses. Students develop a working grasp of important philosophical principles and their application in ethical conflicts, and learn to apply the RESOLVEDD strategy to ethical issues in their own (...) lives. A classic text in ethical decision-making, ETHICS ON THE JOB is widely used in business ethics classes and corporate training programs across the country. Important Notice: Media content referenced within the product description or the product text may not be available in the ebook version. (shrink)

Suppose that λ is the successor of a singular cardinal μ whose cofinality is an uncountable cardinal κ. We give a sufficient condition that the club filter of λ concentrating on the points of cofinality κ is not λ+-saturated.1 The condition is phrased in terms of a notion that we call weak reflection. We discuss various properties of weak reflection. We introduce a weak version of the ♣-principle, which we call ♣*−, and show that if (...) it holds on a stationary subset S of λ, then no normal filter on S is λ+-saturated. Under the above assumptions, ♣*− is true for any stationary subset S of λ which does not contain points of cofinality κ. For stationary sets S which concentrate on points of cofinality κ, we show that ♣*− holds modulo an ideal obtained through the weak reflection. (shrink)

In the context of [Formula: see text], we analyze a version of Hindman’s finite unions theorem on infinite sets, which normally requires the Axiom of Choice to be proved. We establish the implication relations between this statement and various classical weak choice principles, thus precisely locating the strength of the statement as a weak form of the [Formula: see text].

Several liberal philosophers and penal theorists have argued that the state has a reason to prohibit acts that harm individuals. But what is harm? According to one specification of harm, a person P is harmed by an act (or an event) a iff, as a result of a, P is made worse off in terms of well-being. One central question here involves the baseline against which we assess whether someone is ‘worse off’. In other words, when a person is harmed (...) he is worse off, certainly—but what is worse off a variation from? A central part of the paper critically discusses different answers to this question based on versions of what we can call: the temporal baseline, the baseline from mankind and the counterfactual baseline. Essentially, it will be argued that the counterfactual baseline leaves us with a better understanding of harming than the other baselines discussed. The final part of the paper will describe some of the implications of our investigation for the application and evaluation of the view that harm matters in the justification of which type of acts should be criminalized by the state. The overall conclusion of the paper is that adherents of a view like the harm principle face a dilemma. Either they can accept the counterfactual baseline but then, they can do without the harm principle. Or they can reject the counterfactual baseline—but then they will have to formulate an alternative baseline which, as will be shown in the paper, is no easy task. (shrink)

This article provides a theoretical critique from a particular ‘ideal type’ ethical perspective of professional codes in general and the United Kingdom Central Council for Nursing, Midwifery and Health Visiting (UKCC) Code of professional conduct (reprinted on pp. 77-78) in particular. Having outlined a specific ‘ideal type’ of what ethically informed and aware practice may be, the article examines the extent to which professional codes may be likely to elicit and engender such practice. Because of their terminological inexactitudes and confusions, (...) their arbitrary values and principles, their lack of helpful ethical guidance, and their exclusion of ordinary moral experience, a number of contemporary professional codes in health and social care can be arraigned as ethically inadequate. The UKCC Code of professional conduct embodies many of these flaws, and others besides. Some of its weaknesses in this respect are anatomized before some tentative suggestions are offered for the reform of codes and the engendering of greater ethical awareness among professionals in the light of greater public ethical concerns and values. (shrink)

Different analyses of two-wrongs reasoning are presented and provide relief for the Groarke, Tindale, and Fisher analysis which is suggestive of the origin of this type of reasoning in Bentham and Mill. Aquinas's doctrine of double effect is entertained as a possible counterexample (which it is not). Two-wrongs reasoning can be either acceptable (reasonable) or unacceptable, and there are conditions that can be laid down for both situations in discourse. A negative version of the utilitarian principle assists us (...) in understanding two-wrongs reasoning in moral contexts. (shrink)

In this paper we formalize an approach to knowledge that we call Interrogative Epistemology, in the spirit of Hintikka’s “interrogative model” of knowledge. According to our approach, an agent’s knowledge is shaped and limited by her interrogative agenda. The dynamic correlate of this postulate is our Selective Learning principle: the agent’s agenda limits her potential for knowledge-acquisition. Only meaningful information, that is relevant to one’s issues, can really be learnt. We use this approach to propose a new perspective on (...) group knowledge, understood in terms of the epistemic potential of a group of agents: the knowledge that the group may come to possess in common after all members share their individual information. We argue that the standard notions of group knowledge studied in the literature, ranging from distributed knowledge to common knowledge, do not give us a good measure of a group’s epistemic potential. Common knowledge is too weak and too “static”, focusing on what the agents can coordinate upon only based on their actual, current knowledge, thus disregarding testimonial knowledge. In contrast, the concept of distributed knowledge is too strong, being based on the assumption that agents can completely internalize all the testimonial evidence received from others, irrespective of the limitations posed by their own interrogative agendas. We show that a group’s true epistemic potential typically lies in between common knowledge and distributed knowledge. We propose a logical formalization of these concepts, which comes together with a complete axiomatization, and we use this setting to explain both the triumphs and the failures of collective knowledge, treating examples that range from “collective scientific knowledge” [14, 35, 43] to the so-called “curse of the committee”. (shrink)

The notion that it is useful to specify norms progressively in order to resolve doubts about what to do, which I developed initially in a 1990 article, has been only partly assimilated by the bioethics literature. The thought is not just that it is helpful to work with relatively specific norms. It is more than that: specification can replace deductive subsumption and balancing. Here I argue against two versions of reliance on balancing that are prominent in recent bioethical discussions. Without (...) meaning to address the substance or the overall merits of either view I criticize, I attack Gert, Culver and Clouser's implicit reliance on some overall dimension of balancing as a basis of resolving conflicts among norms and Beauchamp and Childress's residual acceptance of 'justified balancing'. The former authors' description of resolving conflicts depends upon a type of value commensurability that (as they otherwise seem to admit) does not obtain, while the latter authors' role for justified balancing would be better served by continued specification. (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)

We examine, from a constructive perspective, the relation between the complements of S, T, and S ∩ T in X, where X is either a metric space or a normed linear space. The fundamental question addressed is: If x is distinct from each element of S ∩ T, if s ϵ S, and if t ϵ T, is x distinct from s or from t? Although the classical answer to this question is trivially affirmative, constructive answers involve Markov's (...) class='Hi'>principle and the completeness of metric spaces. (shrink)

The economic and socio-political impact of multinational corporations (MNCs) on third world countries has been the subject of intense debate and controversy leading to charges of exploitation and colonization on the one hand, and demands for codes of conduct on the other. This article examines the working of one of the most comprehensive of such codes under the most reprehensible political conditions, i.e., the operations of U.S.—based multinational corporations in South Africa under the acgis of the Sullivan Principles. It is (...) argued that despite the best intentions, and considerable social goodwill, the Sullivan Principles were seriously flawed both as to goals and as to means of achieving them. Finally, it suggests a new approach to developing standards of MNC behavior in third world countries which emphasizes those areas of activities that are directly under the control of MNCs, and offers targets of achievement to which MNCs can and should be held accountable.The paper is a revised and expanded version of a keynote speech delivered by the author at the First Biannual Conference on Advances in Management, Orlando, Florida March 25–28, 1992. (shrink)

Much of our know-how is acquired through practice: we learn how to cook by cooking, how to write by writing, and how to dance by dancing. As Aristotle argues, however, this kind of learning is puzzling, since engaging in it seems to require possession of the very knowledge one seeks to obtain. After showing how a version of the puzzle arises from a set of attractive principles, I argue that the best solution is to hold that knowledge-how comes in (...) degrees, and through practice a person gradually learns how to do something. However, the two standard accounts of know-how in the literature, intellectualism and anti-intellectualism, cannot properly account for the distinctive way in which know-how is gradually acquired by practice, a process in which conceptual representations and practical abilities are intimately interwoven. Drawing on Gareth Evans's work, I outline an account that may do so, and use this account to distinguish between two forms of learning to explain why skill generally cannot be learnt through testimony, and requires practice. (shrink)

I advance a decision principle called the "weak dominance principle" (WDP) based on the interval notion of probability to deal with the Ellsberg type paradox (ETP). Given ETP, I explain three things: (i) Why WDP is a better principle than many principles e.g. Kyburg's principle and Gardenfors and Sahlin's principle, (ii) Why one should not, contrary to many principles, expect a unique solution in ETP, and (iii) What is the relationship between WDP and the (...) principles mentioned above. I prove also that WDP induces a strict partial ordering on the intervals to which it is applied. (shrink)

Order of information plays a crucial role in the process of updating beliefs across time. In fact, the presence of order effects makes a classical or Bayesian approach to inference difficult. As a result, the existing models of inference, such as the belief-adjustment model, merely provide an ad hoc explanation for these effects. We postulate a quantum inference model for order effects based on the axiomatic principles of quantum probability theory. The quantum inference model explains order effects by transforming a (...) state vector with different sequences of operators for different orderings of information. We demonstrate this process by fitting the quantum model to data collected in a medical diagnostic task and a jury decision-making task. To further test the quantum inference model, a new jury decision-making experiment is developed. Using the results of this experiment, we compare the quantum inference model with two versions of the belief-adjustment model, the adding model and the averaging model. We show that both the quantum model and the adding model provide good fits to the data. To distinguish the quantum model from the adding model, we develop a new experiment involving extreme evidence. The results from this new experiment suggest that the adding model faces limitations when accounting for tasks involving extreme evidence, whereas the quantum inference model does not. Ultimately, we argue that the quantum model provides a more coherent account for order effects that was not possible before. (shrink)

The paper defends the thesis that phenomenological methods can play key role in explications of the transformation reasons of philosophical images of science. It can be made by the comparative analysis among phenomenology and other approaches revealing strong and weaknesses of separate approaches. Such principles of an explication of the transformation reasons of philosophical images of science were allocated: 1) the science is a set of the idealizing consciousness attitudes which allow to build images of the world in borders of (...) regional ontologies (or «particular ways of understanding of reality»);2) idealizing attitudes correspond to the comprehension of intentionality experiences structures; 3) the general transformation reason of images of science is the change of consciousness attitudes. (shrink)

Lists of species underpin many fields of human endeavour, but there are currently no universally accepted principles for deciding which biological species should be accepted when there are alternative taxonomic treatments (and, by extension, which scientific names should be applied to those species). As improvements in information technology make it easier to communicate, access, and aggregate biodiversity information, there is a need for a framework that helps taxonomists and the users of taxonomy decide which taxa and names should be used (...) by society whilst continuing to encourage taxonomic research that leads to new species discoveries, new knowledge of species relationships, and the refinement of existing species concepts. Here, we present 10 principles that can underpin such a governance framework, namely (i) the species list must be based on science and free from nontaxonomic considerations and interference, (ii) governance of the species list must aim for community support and use, (iii) all decisions about list composition must be transparent, (iv) the governance of validated lists of species is separate from the governance of the names of taxa, (v) governance of lists of accepted species must not constrain academic freedom, (vi) the set of criteria considered sufficient to recognise species boundaries may appropriately vary between different taxonomic groups but should be consistent when possible, (vii) a global list must balance conflicting needs for currency and stability by having archived versions, (viii) contributors need appropriate recognition, (ix) list content should be traceable, and (x) a global listing process needs both to encompass global diversity and to accommodate local knowledge of that diversity. We conclude by outlining issues that must be resolved if such a system of taxonomic list governance and a unified list of accepted scientific names generated are to be universally adopted. (shrink)

The precautionary principle is often invoked in relation to pregnant women and may be one of the underlying reasons for their continuous underrepresentation in clinical research. The principle is appealing, because potential fetal harm as a result of research participation is considered to be serious and irreversible. In our paper, we explore through conceptual analysis whether and if so how the precautionary principle should apply to pregnant women. We argue that the principle is a decision-making strategy (...) underlying risk-benefit decisions in clinical research, which can be applied to pregnant women. However, the current application is a strong one, leading to the promotion of absolute exclusion or, less often, absolute inclusion of pregnant women. In order to change this paralyzing situation, a shift toward weak precautionary thinking is necessary. Instead of automatic extreme precaution, a balance will be found between harms and potential benefits of including pregnant women in clinical research. (shrink)

Recently, American Psychologist published a review of the evidence for parapsychology that supported the general claims of psi (the umbrella term often used for anomalous or paranormal phenomena). We present an opposing perspective and a broad-based critique of the entire parapsychology enterprise. Our position is straightforward. Claims made by parapsychologists cannot be true. The effects reported can have no ontological status; the data have no existential value. We examine a variety of reasons for this conclusion based on well-understood scientific principles. (...) In the classic English adynaton, “pigs cannot fly.” Hence, data that suggest that they can are necessarily flawed and result from weak methodology or improper data analyses or are Type I errors. So it must be with psi effects. What we find particularly intriguing is that, despite the existential impossibility of psi phenomena and the nearly 150 years of efforts during which there has been, literally, no progress, there are still scientists who continue to embrace the pursuit. (PsycInfo Database Record (c) 2022 APA, all rights reserved). (shrink)

In this paper we study a reducibility that has been introduced by Klaus Weihrauch or, more precisely, a natural extension for multi-valued functions on represented spaces. We call the corresponding equivalence classes Weihrauch degrees and we show that the corresponding partial order induces a lower semi-lattice. It turns out that parallelization is a closure operator for this semi-lattice and that the parallelized Weihrauch degrees even form a lattice into which the Medvedev lattice and the Turing degrees can be embedded. The (...) importance of Weihrauch degrees is based on the fact that multi-valued functions on represented spaces can be considered as realizers of mathematical theorems in a very natural way and studying the Weihrauch reductions between theorems in this sense means to ask which theorems can be transformed continuously or computably into each other. As crucial corner points of this classification scheme the limited principle of omniscience LPO, the lesser limited principle of omniscience LLPO and their parallelizations are studied. It is proved that parallelized LLPO is equivalent to Weak Kőnig's Lemma and hence to the Hahn—Banach Theorem in this new and very strong sense. We call a multi-valued function weakly computable if it is reducible to the Weihrauch degree of parallelized LLPO and we present a new proof, based on a computational version of Kleene's ternary logic, that the class of weakly computable operations is closed under composition. Moreover, weakly computable operations on computable metric spaces are characterized as operations that admit upper semi-computable compact-valued selectors and it is proved that any single-valued weakly computable operation is already computable in the ordinary sense. (shrink)

In this article, I derive a weak version of Kant's categorical imperative within an informal game-theoretic framework. More specifically, I argue that Hobbesian agents would choose what I call the weak principle of universalization, if they had to decide on a rule of conflict resolution in an idealized but empirically defensible hypothetical decision situation. The discussion clarifies (i) the rationality requirements imposed on agents, (ii) the empirical conditions assumed to warrant the conclusion, and (iii) the political (...) institutions that are necessary to implement the derived principle. The analysis demonstrates the moral significance of the weak principle of universalization and its epistemic advantage over the categorical imperative. (shrink)