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)

A variant of realizability for Heyting arithmetic which validates Church’s thesis with uniqueness condition, but not the general form of Church’s thesis, was introduced by Lifschitz (Proc Am Math Soc 73:101–106, 1979). A Lifschitz counterpart to Kleene’s realizability for functions (in Baire space) was developed by van Oosten (J Symb Log 55:805–821, 1990). In that paper he also extended Lifschitz’ realizability to second order arithmetic. The objective here is to extend it to full intuitionistic Zermelo–Fraenkel set theory, IZF. The machinery (...) would also work for extensions of IZF with large set axioms. In addition to separating Church’s thesis with uniqueness condition from its general form in intuitionistic set theory, we also obtain several interesting corollaries. The interpretation repudiates a weak form of countable choice, ACω,ω, asserting that a countable family of inhabited sets of natural numbers has a choice function. ACω,ω is validated by ordinary Kleene realizability and is of course provable in ZF. On the other hand, a pivotal consequence of ACω,ω, namely that the sets of Cauchy reals and Dedekind reals are isomorphic, remains valid in this interpretation. Another interesting aspect of this realizability is that it validates the lesser limited principle of omniscience. (shrink)

In recent years the question of whether adding the limited principle of omniscience, LPO, to constructive Zermelo–Fraenkel set theory, CZF, increases its strength has arisen several times. As the addition of excluded middle for atomic formulae to CZF results in a rather strong theory, i.e. much stronger than classical Zermelo set theory, it is not obvious that its augmentation by LPO would be proof-theoretically benign. The purpose of this paper is to show that CZF+RDC+LPO has indeed the (...) same strength as CZF, where RDC stands for relativized dependent choice. In particular, these theories prove the same Π02 theorems of arithmetic. (shrink)

We present a new functional interpretation, based on a novel assignment of formulas. In contrast with Gödel’s functional “Dialectica” interpretation, the new interpretation does not care for precise witnesses of existential statements, but only for bounds for them. New principles are supported by our interpretation, including the FAN theorem, weak König’s lemma and the lesser limited principle of omniscience. Conspicuous among these principles are also refutations of some laws of classical logic. Notwithstanding, we end up discussing (...) some applications of the new interpretation to theories of classical arithmetic and analysis. (shrink)

Many existence propositions in constructive analysis are implied by the lesser limited principle of omniscience LLPO; sometimes one can even show equivalence. It was discovered recently that some existence propositions are equivalent to Bouwer's fan theorem FAN if one additionally assumes that there exists at most one object with the desired property. We are providing a list of conditions being equivalent to FAN, such as a unique version of weak König's lemma. This illuminates the relation between (...) FAN and LLPO. Furthermore, we give a short and elementary proof of the fact that FAN is equivalent to each positive valued function with compact domain having positive infimum. (shrink)

We define a notion of realizability, based on a new assignment of formulas, which does not care for precise witnesses of existential statements, but only for bounds for them. The novel form of realizability supports a very general form of the FAN theorem, refutes Markov's principle but meshes well with some classical principles, including the lesser limited principle of omniscience and weak König's lemma. We discuss some applications, as well as some previous results in the (...) literature. (shrink)

We develop a number of variants of Lifschitz realizability for $\mathbf {CZF}$ by building topological models internally in certain realizability models. We use this to show some interesting metamathematical results about constructive set theory with variants of the lesser limited principle of omniscience including consistency with unique Church’s thesis, consistency with some Brouwerian principles and variants of the numerical existence property.

Todd and Rabern (2021) have argued that if we assume that future contingents are untrue and if we accept the Retro-closure principle (???? → PF(????)), then the existence of a temporal omniscient entity becomes metaphysically impossible. Since the truth of a metaphysical and theological theory should not be dependent on questions of temporal semantics, Todd and Rabern conclude that, if one wishes to maintain that future contingents are untrue, one must abandon the Retro-closure principle. The aim of this (...) paper is to propose a temporal semantics system in which future contingents are untrue, the Retro-closure principle is valid, and the possibility of the existence of an omniscient and temporal being is guaranteed. (shrink)

The major themes that run through the book are focused on the general analysis of rights. Central to the rights issues discussed are the problems related to the liberal harm and offence principles as prima facie cases for the limitation of individual liberty of the members of the society. This book considered the liberal standpoint for the limitation of liberty as deficient for the protection of most rights of the members of the society especially groups such as cultural and religious (...) groups and therefore argues for a more inclusive principle for the protection of such groups. (shrink)

Cortical stimulation has been used for brain mapping for over a century, and a standard assumption is that stimulation interferes with task execution due to local effects at the stimulation site. Stimulation can however produce afterdischarges which interfere with functional localization and can lead to unwanted seizures. We previously showed that cognitive effort can terminate these afterdischarges, when termination thus occurs, there are electrocorticography changes throughout the cortex, not just at sites with afterdischarges or sites thought functionally important for the (...) cognitive task used, and thresholds for afterdischarges and functional responses can change among stimulation trials. We here show that afterdischarge termination can occur prior to overt performance of the cognitive tasks used to terminate them. These findings, taken together, demonstrate that task-related brain changes are not limited to one or a group of functional regions or a specific network, and not limited to the time directly surrounding overt task execution. Discrete locations, networks and times importantly underpin clinical behaviors. However, brain activity that is diffuse in location and extended in time also affect task execution and can affect brain mapping. This may in part reflect fluctuating levels of attention, engagement, or motivation during testing. (shrink)

This collection of articles, mostly by philosophers, but including two doctors and an economic historian, is intended as a contribution to applied ethics and medical ethics. The articles tackle two questions: how can the autonomy of the elderly be increased, and how can a just proportion of medical resources be secured for them? The seven articles dealing with the first question apply work in the theory of ethics on the nature and limits of autonomy to the particular case study of (...) the elderly: there are a number of detailed conclusions about what can and should be done, and a general consensus that, while the right to die with dignity is important, even more important is the improvement of the quality of life. The seven articles dealing with resources examine the problems created by an ageing population and the arguements for discriminating against the elderly: the main conclusions is that none of these arguments are sound or convincing. Overall the book seeks to make both a theoretical and a practical contribution to this field. (shrink)

One of the major challenges in the philosophy of religion is theological fatalism—roughly, the claim that divine omniscience is incompatible with free will. In this article, I present new reasons to be skeptical of what I consider to be the strongest argument for theological fatalism. First, I argue that divine foreknowledge is not necessary for an argument against free will if we take into account divine knowledge of contingent a priori truths. Second, I show that this argument can be (...) generalized so that ordinary human knowledge of contingent a priori truths also leads to an argument against free will. This, I believe, results in an absurd conclusion that is unacceptable to both theists and non-theists. But if there is something wrong with this argument, there is something wrong, too, with the argument for theological fatalism. Although there is a range of possible responses, I suggest that the core issue in all cases is a closure principle—specifically, the principle that ‘no choice about’ is closed under entailment (or strict implication). (shrink)

ABSTRACT First, I consider a few motivations to idealize epistemic logics1 in such a degree that brings up the problem of logical omniscience [LOP]. I argue that the main motivation to hold omniscience is of a philosophical-scientific2 background, in the sense philosophers have a not so peculiar way of investigating underlying mechanisms, i.e., the interaction of several different components of complex systems may be better understood in isolation, even if such components are not found isolated in a realistic (...) context. It is defended that the implicit and explicit knowledge distinction is compatible that view since idealizations made by modal epistemic logic are so strong that the agents they describe hardly have anything in common with real agents. I conclude by showing how LOP can be accommodated in the logic of being informed using the Inverse Relationship Principle. 1Epistemic modal logics and the logic of being informed may collapse in many scenarios, as shown in previous articles. 2Does not necessarily imply in a naturalized epistemology a la. For a plea for non-naturalism as constructionism see. (shrink)

This is a short but very interesting book, which repays study. It is essentially a defence and an application to medical ethics of the principle of liberty (page 12), that “the liberty …of competent, well-informed, free agents must be …maximally protected in matters which concern only or mainly themselves”. Adoption of this Millian principle, which is argued for in the introduction, along with the adoption of principles of equality (that the needs and interests of all should be taken (...) into account) and of responsibility for the welfare of one's fellow beings, raises, it may be said, three questions: who is a person (and therefore to be taken into account); when is a person sufficiently competent, and when do people have to sacrifice some liberty to help or protect the welfare of others? Chapter 1 tackles the first of these questions, following the defence of the principle of liberty in the introduction; chapters two to four deal with issues raised by the second question—whether …. (shrink)

Pediatric intervention principles help clinicians and health-care institutions determine appropriate responses when parents’ medical decisions place children at risk. Several intervention principles have been proposed and defended in the pediatric ethics literature. These principles may appear to provide conflicting guidance, but much of that conflict is superficial. First, seemingly different pediatric intervention principles sometimes converge on the same guidance. Second, these principles often aim to solve different problems in pediatrics or to operate in different background conditions. The potential for convergence (...) between intervention principles—or at least an absence of conflict between them—matters for both the theory and practice of pediatric ethics. This article builds on the recent work of a diverse group of pediatric ethicists tasked with identifying consensus guidelines for pediatric decision-making. (shrink)

The Belmont Report’s three foundational ethical principles—respect for persons, beneficence, and justice—have shaped regulation, practice, and our collective thinking about research with human beings in the United States for over 40 years. While it has proven remarkably adaptable, Belmont’s framework is a product of a specific time and historical context. Both the research enterprise and society at large have changed in significant ways since its creation. For example, the last four decades have seen a general democratization of knowledge production, increasing (...) skepticism of authority and expertise, and growing demands that institutions of power be more transparent about their activities so they can be better held to account. Within the research enterprise, the emergence of community engaged- and patient-centered research reflects these changes. This chapter examines the application of Belmont’s framework to stakeholder-engaged research, both illuminating its flexibilities and identifying its limitations, in terms of the values, norms, and expectations that are central to stakeholder-engaged research but unaccounted for by Belmont. (shrink)

Omniscience is the divine attribute of possessing complete or unlimited knowledge. This article examines motivations for taking such a property to be a divine attribute, attempts to define or analyse omniscience, possible limitations on the extent of divine knowledge, and, finally, objections either to the coherence of the concept or to its compatibility with other divine attributes or with widely accepted claims.

The fact that morphological elements characteristically represent several derivational relationships, and any given relationship is typically marked by multiple morphological means has led to an assumption of basic irregularity in derivational phenomena. Creativity in this area, coupled with the limited range of variation and the relatedness of the variants within that range, in both Indonesian and English, suggests a highly constrained system for the expression of cognate noun: verb relationships.

In a recent paper, Dennis Whitcomb argues that omniscience is impossible. But if there cannot be any omniscient beings, then God, at least as traditionally conceived, does not exist. The objection is, roughly, that the thesis that there is an omniscient being, in conjunction with some principles about grounding, such as its transitivity and irreflexivity, entails a contradiction. Since each of these principles is highly plausible, divine omniscience has to go. In this article, I argue that Whitcomb's argument, (...) if sound, has several unacceptable consequences. Among others, it implies that nobody knows that someone has knowledge, that, for most of us, all of our beliefs are false, and that there are no truths. This reductio all by itself provides sufficient reason to reject the argument. However, I also provide a diagnosis of where precisely the argument goes wrong. I argue that Whitcomb's crucial notion of grounding actually covers two distinct relations and that the principle of transitivity is true only for cases in which one of these relations holds rather than both of them. (shrink)

We present an experimental test of the validity of the Pauli Exclusion Principle for electrons based on the concept put forward a few years ago by Ramberg and Snow. In this experiment we perform a very accurate search of X-rays from the Pauli-forbidden atomic transitions of electrons in the already filled 1S shells of copper atoms. Although the experiment has a simple structure, it poses deep conceptual and interpretational problems. Here we describe the experimental method and recent experimental results, (...) which we interpret as an upper limit for the probability to violate the Pauli Exclusion Principle. We present also future plans to upgrade the experimental apparatus using Silicon Drift Detectors. (shrink)

God’s omniscience generates certain puzzles, not least regarding how such omniscience is compatible with human free will. One option in this regard is to impose limitations on the scope of God’s knowledge, but that then poses the further question of how such limitations can be compatible with God’s nature as a perfect being. I offer a novel way of approaching these questions, which appeals to what I claim is an independently motivated distinction between lacking knowledge and being ignorant. (...) In particular, it is contended that God’s omniscience is best understood not as a complete knowledge of all truths, but rather as a kind of deliberate non-knowing that excludes ignorance. God might not know all truths, but that’s not because of any cognitive lack, and there is certainly no truth about which he is ignorant. (shrink)

The position underlying this article is that while pilots are not strictly required to justify moving in the direction of a basic income system, nevertheless they can play several useful functions in the debate. These include rebutting common preconceptions, for instance that basic income will make people ‘lazy’, indicating non-monetary benefits such as improved health and wellbeing, and testing how a basic income might best be introduced in a given region, country or city. In that context the article goes on (...) to present 19 guiding principles for the design, implementation and evaluation of basic income pilots, with examples of selected experiments and pilots past and present. (shrink)

Neo-Fregean logicism attempts to base mathematics on abstraction principles. Since not all abstraction principles are acceptable, the neo-Fregeans need an account of which ones are. One of the most promising accounts is in terms of the notion of stability; roughly, that an abstraction principle is acceptable just in case it is satisfiable in all domains of sufficiently large cardinality. We present two counterexamples to stability as a sufficient condition for acceptability and argue that these counterexamples can be avoided only (...) by major departures from the existing neo-Fregean programme. (shrink)

In contemporary philosophy of religion, the doctrine of omniscience is typically rendered propositionally, as the claim that God knows all true propositions (and believes none that are false). But feminist work makes clear what even the analytic tradition sometimes confesses, namely, that propositional knowledge is quite limited in scope. The adequacy of propositional conceptions of omniscience is therefore in question. This paper draws on the work of feminist epistemologists to articulate alternative renderings of omniscience which remedy (...) the deficiencies of the traditional formulation. (shrink)

Taking divine omniscience as including temporal omniscience, which means God exists at all times and knows everything, I point out the fallacies in an incompatibilist argument. Syntactically, due to misapplication of the principle of substitutivity, this incompatibilist argument isn’t valid. Semantically, due to cancelation of a supposition on which God’s earlier belief depends, an agent’s alternative action won’t result in falsification of divine belief. Finally, by appealing to an eternalist conception of truth of proposition about the future, (...) I argue that what divine belief entails isn’t the necessity of an agent’s action but the action itself, and put forward a notion of conditional fatalism, which allows for human free will. (shrink)

It would be very difficult to discuss the question concerning the hypothesis of omniscience in microeconomics without relating this hypothesis to the more fundamental hypothesis of rationality (usually referred to as rationality principle or postulate) which is at the base of the very idea of an economic theory and even social sciences. Indeed omniscience is a quality which was typically attributed to homo oeconomicus whose essential characteristic is to be perfectly "rational". This association between omniscience and (...) rationality goes back to the marginalist revolution which progressively brought economists to model economic agents as rational calculators who make each decision by systematically maximizing their utility through the standard application of more or less sophisticated mathematical methods. But since the very idea of such a maximization has no meaning if all relevant parameters and variables are not carefully taken into account, it became relatively common to associate omniscience (the required knowledge of such parameters and variables) and rationality (the disposition to make decisions which tend to maximize the degree of success in reaching a goal). (shrink)

My conclusions are the following:We can distinguish between two sorts of kowledge: intellectual knowledge (knowledge of true propositions) and experiential knowledge (knowledge of how certain experiences feel).If we want the doctrine of divine omniscience to be theologically relevant, we will have to assert that divine omniscience involves experiential as well as intellectual omniscience.In order to be omniscient, God does not need to share all the feelings of His creatures with them. However, in order to be experientially omniscient, (...) God must have undergone at least some experiences Himself.If God would be able to have these experiences only by becoming incarnate, God would need the incarnation in order to become omniscient. In this respect human nature would then be more perfect than the divine nature: it would be capable of knowing things which God could only come to know by becoming human. It is therefore preferable to maintain that the divine nature itself is capable of undergoing certain experiences.If the divine nature were incapable of undergoing any experience, God would nevertheless be able to have a vast knowledge of true propositions concerning experiences. For descriptions of experiences and for the evaluation of these descriptions, however, He would be dependent in principle upon His creatures. (shrink)

This chapter contains sections titled: Works cited.

One of the major challenges in the philosophy of religion is theological fatalism — roughly, the claim that divine omniscience is incompatible with free will. In this article, I present new reasons to be sceptical of what I consider to be the strongest argument for theological fatalism. First, I argue that divine foreknowledge is not necessary for an argument against free will if we take into account divine knowledge of contingent a priori truths. Second, I show that this argument (...) can be generalized so that ordinary human knowledge of contingent a priori truths also leads to an argument against free will. This, I believe, results in an absurd conclusion that is unacceptable to both theists and non-theists. But if there is something wrong with this argument, there is something wrong, too, with the argument for theological fatalism. Although there is a range of possible responses, I suggest that the core issue in all cases is a closure principle — specifically, the principle that ‘no choice about’ is closed under entailment (or strict implication). (shrink)

Patrick Grim argues that God cannot beomniscient because no one other than me canacquire knowledge de se of myself. Inparticular, according to Grim, God cannot knowwhat I know in knowing that I am making amess. I argue, however, that given twoplausible principles regarding divineattributes there is no reason to accept Grim'sconclusion that God cannot be omniscient. Inthis paper I focus on the relationship betweendivine omniscience and necessaryimpossibilities, in contrast to the generaltrend of research since Aquinas, which hasconcentrated on the (...) relationship between divineomnipotence and necessary impossibilities. (shrink)

There is a familiar argument based on the principle that the past is fixed that, if God foreknows what I will do, I do not have the power to act otherwise. So, there is a problem about reconciling divine omniscience with the power to do otherwise. However the problem posed by the argument does not provide a good reason for adopting the view that God is outside time. In particular, arguments for the fixity of the past, if successful, (...) either establish His timelessness independently of the problem, or mean that the problem could not be solved by adopting the view that He is timeless. (Published Online April 7 2006). (shrink)

The main purpose of this paper is to investigate constructively the relationship between proximal convergence, uniform sequential convergence and uniform convergence for sequences of mappings between apartness spaces. It is also shown that if the second space satisfies the Efremovic axiom, then proximal convergence preserves strong continuity.

What is knowledge and what, if any, are its limits? In this essay I present a scientist’s view of our limits to knowledge, which come in many forms. Limits are set by our imagination and cultural backgrounds, by our technology, and by some of the laws of physics themselves. Science creates knowledge about the world through making models and measurement; and understanding the limits of our measurements is a central tenet of physics. Within physics, the calculation of these limits is (...) generally harder than the measurements themselves, and within other disciplines it can be very difficult indeed. But measurements can only be made within the context of a model, and choosing between competing models can be very contentious. When competing models predict the same outcomes a further principle is required – Occam’s razor. (shrink)

In a number of articles Donald Davidson has argued that the charitable nature of his method of radical interpretation rules out the possibility of massive error and thus refutes Cartesian skepticism. The diversity of such arguments and the suggestions that are all being made under the name of the principle of charity have prompted a large body of conflicting responses, adding only to the obscurity of the issues that are generally associated with the question of skepticism. In this paper (...) I propose to consider the debate in a new light by reconstruing the principle of charity as a supervenience constraint on belief attribution. This would help explain some of the puzzling features of Davidson's arguments, like the idea of an omniscient interpreter, and the ensuing commentaries. Having provided an analysis of the limitations of Davidson's arguments, I shall then suggest an alternative explanation of the purported necessity of the principle of charity. Finally, having construed the principle of charity as a supervenience constraint, I shall examine what consequences this construal has for the logical status of the principle itself and its alleged epistemic potentials. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reply to Amos Yong's "Ignorance, Knowledge, and Omniscience"Dennis HirotaAmos Yong has provided a detailed outline for a comparison of parallel topics in Shinran and Calvinist thought, as well as reflections on epistemological issues he believes confront both traditions in similar ways. I have long sensed that the turn of thought by which the Augustinian problematic of predestination and free will became the Calvinist idea of unconditional election reflects (...) a kind of thoroughgoing critique of self-power characteristic of Japanese Pure Land perceptions. Nevertheless, in this limited reply, I will focus chiefly on the understanding of Shinran in Yong's paper.In my chapter in The Boundaries of Knowledge in Buddhism, Christianity, and Science, as well as my essay above, both of which Yong responds to, I suggest that the dominant Western paradigms for approaching Shinran have tended to obscure what is salient in his thought by presupposing the nature of religious engagement and focusing on conceptual analogues to Western ideas. For Shinran, however, self-power and Other Power are not simply subjective attitudes of the practitioner toward doctrinal teachings, but distinct modes of human existence; between them lies a transformative shift that Shinran terms the realization of shinjin. Thus, I wonder if, despite the resemblances Yong sets forth in his treatment of the Calvinist TULIP, Shinran's concern with the overcoming of the false reification of self and attainment, in some sense, of nondiscriminative wisdom or reality does not indicate a significant and persistent dissonance at the core of the thinking of the two religious figures.It appears that the central concern in the Calvinist narrative is the relationship between human beings and God as agents of will. From the bedrock predicament of estrangement and need for reconciliation emerges the problems of sin, election, atonement, grace, and preservation from apostasy. Although noteworthy structural analogies between the traditions might be pursued, of these terms, it is only grace, perhaps, that has an unforced counterpart in Shinran's thought. Amida Buddha is not sinned against and does not select, judge, make righteous, or forgive. The dilemma that beings face is not disobedience and expiation, but the pain arising from clinging to a delusional self, one falsely imagined to be an enduring, transcendent subject and autonomous agent.For this reason, moreover, Shinran's stance in his writings might better be characterized as phenomenological and hermeneutical than epistemological. When he [End Page 211] states, "Whether the nembutsu is truly the seed for being born in the Pure Land, or whether it is a karmic act that causes one to fall into hell, I do not know," he is manifesting a world of lived experience and challenging ontological presuppositions. From a Shin perspective, modern scientific knowledge belongs among human modes of apprehending the world but does not displace all others or resolve fundamental ignorance. Yong repeatedly refers to the notion of the last dharma-age, as though the times were a distorting medium that condemns its human inhabitants to lives of dissoluteness. Rather, for Shinran, human existence itself is irrevocably conditioned, and salvation lies in being pervaded by wisdom-compassion while remaining possessed of falsity and afflicting attachment. [End Page 212]Dennis HirotaRyukoku UniversityCopyright © 2011 University of Hawai'i Press... (shrink)

Open peer commentary on the article “What Can the Global Observer Know?” by Diana Gasparyan. Upshot: From the standpoint of epistemology-centered operationalist, pragmatist, constructivist perspectives, which are firmly grounded in the capacities of limited observers, all omniscient observers in realist ontologies and theologies appear both completely unattainable in practice and conceptually incoherent in their formulations. Nevertheless, these ideas may be useful heuristically.

Introspection is the capacity by which we know our own conscious mental states. Several theories aim to explain it. According to acquaintance theory, we know our experiences by being acquainted with them. Acquaintance is non-causal, non-inferential, and non-observational. I present a dilemma for the acquaintance theory of introspection. Either subjects are always acquainted with all their experiences; or some attentional mechanism selects the relevant experiences (or aspects of experiences) for introspection. The first option is implausible: it implies that subjects are (...) omniscient about their own experiences. The second option is also implausible: if acquaintance is a non-causal relation, introspection cannot target specific (aspects of) experiences without violating the principle of causal closure of the physical. (shrink)

I argue that hanink's account of the principle of double effect ("some light on double effect," "analysis", volume 35, number 5) is inadequate, and rests on the mistaken assumption that the criteria for distinguishing acts from each other, intention from foresight, acting from refraining, can be specified independently of any moral perspective. i try to indicate the way to a better understanding of these distinctions, and the essential features of the kind of absolutist morality which invokes them--its concern with (...) "agency", with "transcendent values", and with "limits" on human action. i illustrate these points by a brief discussion of suicide. (shrink)

In the first chapter I have introduced Carnapian intensional logic against the background of Frege's and Quine's puzzles. The main body of the dissertation consists of two parts. In the first part I discussed Carnapian modal logic and arithmetic with descriptions. In the second chapter, I have described three Carnapian theories, CCL, CFL, and CNL. All three theories have three things in common. First, they are formulated in languages containing description terms. Second, they contain a system of modal logic. Third, (...) they do not contain the unrestricted classical substitution principle, but they do contain the classical substitution principle restricted to non-modal formulas and the Carnapian substitution principle, which says that two terms can be substituted salva veritate if they are necessarily coreferential. There are two major differences between the three theories. First, CCL and CFL allow universal instantiation with description terms, whereas CNL does not. Moreover, the quantificational theory of the CCL is classical, whereas the quantificational theory of CFL is a free logic. Another difference is that CCL and CFL contain different description principles. Most importantly, the description principle of CCL ensures that even improper descriptions have a denotation, whereas the description principle of CFL does not guarantee this. CNL does not have a description principle. In the third chapter, I have studied collapse arguments for CCL, CFL, and CNL. A collapse argument is an argument for the following statement: if p is true, then it is necessarily true. A crucial role in the proofs of these collapse results was played by so-called self-predication principles, which say that under certain conditions the predicate that expresses the descriptive condition can be combined by the description term formed out of that predicate with the result being a true sentence. In this chapter I have discussed a collapse argument for the extension of CCL with a self-predication principle, I have given a collapse argument for a similarly extended CFL, and most importantly, I have given a collapse argument for the extension of CNL with a self- predication principle. Finally, I have argued that the relevant self-predication principles are unsound under a Carnapian interpretation. In the fourth chapter, I have studied the extension of Peano Arithmetic with a Carnapian modal logic C, which is a dummy letter standing for either CCL or CFL. One can prove that the principle of the necessity of identity is a theorem of CPA. This implies that one gets a collapse result for CPA. The standard principle of weak induction was crucial for the proof. One can also prove that, if one assumes a particular self-predication principle, and if one assumes the principle of strong induction or, equivalently, the least-number principle, then one gets a partial collapse of de re modal truths in de dicto modal truths. I have argued that, if the box operator is interpreted as a metaphysical necessity operator, then Platonists would not be inimical to the collapse result. But if CPA is extended with a physical theory, then there is a threat that physical truths become physical necessiti es. It was shown that, under a Carnapian interpretation, the standard principle of weak induction is unsound, and that it can be replaced by a Carnapian principle of weak induction that is sound. The problem of logical and mathematical omniscience prevents ordinary Carnapian intensional logic from being taken seriously as a logic adequate for describing the principles of demonstrability. Yet many of the proof-theoretic results of the first part carry over to the part on Carnapian epistemic arithmetic with descriptions, since proof-theoretic results are independent of the informal reading of the operators. In the fifth chapter, I looked at extensions of arithmetic with a modal logic in which the box operator is interpreted as a demonstrability operator. A first extension in that sense is Shapiro s Epistemic Arithmetic. Shapiro himself offered the problem of mathematical omniscience as a reason why it is difficult to find a model theory for EA. Horsten attempted to provide a model theory via the detour of Modal-Epistemic Arithmetic. The attention of the reader was drawn to an incoherence in the model theory of. Two alternative solutions were presented and, after a short discussion of the problem of de re demonstrability one of those alternatives was chosen. The discussion of the problem of de re demonstrability made it clear that it would be interesting to study the epistemic properties of notation systems. Horsten himself provided a framework for this, viz. Carnapian Epistemic Arithmetic, and he started a systematic study of the epistemic properties of notation systems within that framework. However, he did not provide non-trivial but adequate models. To make a start with solving the problem of finding good models for CEA, I introduced Carnapian Modal-Epistemic Arithmetic In constructing CMEA I incorporated the lesson about the principle of weak induction learnt in the fourth chapter. In the sixth chapter, I gave a critical assessment of an argument concerning the limits of de re demonstrability about the natural numbers. The conclusion of the Description Argument is that it is undemonstrable that there is a natural number that has a certain property but of which it is undemonstrable that it has that property. A crucial step in the Description Argument involved a self-predication principle. Making good use of one of the results obtained in the third chapter, I proved a collapse result for the background theory against which the Description Argument was formulated. I concluded that either the either the Description Argument is sound but its conclusion is trivial, o r the Description Argument is unsound, or it is a cheapshot. As an appendix I included an article co-authored by prof. dr. Leon Horsten and me. The topic of the article is indirectly related to some other topics investigated in my dissertation. Also, it backs up one of the addition al theses I might be asked to publicly defend during my doctoral exam. T he topic of the appendix is the set of the so-called paradoxes of strict implication. Jonathan Lowe has argued that a particular variation on C.I. Lewis notion of strict implication avoids the paradoxes of strict implication. Pace Lowe, it is argued that Lowe s notion of implication does not achieve this aim. Moreover, a general argument is offered to the effect that no other variation on Lewis notion of constantly strict implication describes the logical behaviour of natural language conditional s in a satisfactory way. (shrink)

In this paper we describe an experimental test of the validity of the Pauli Exclusion Principle (for electrons) which is based on a straightforward idea put forward a few years ago by Ramberg and Snow (Phys. Lett. B 238:438, 1990). We perform a very accurate search of X-rays from the Pauli-forbidden atomic transitions of electrons in the already filled 1S shells of copper atoms. Although the experiment has a very simple structure, it poses deep conceptual and interpretational problems. Here (...) we describe the experimental method and recent experimental results, which we interpret in the framework of quon theory. We also present future plans to upgrade the experimental apparatus using Silicon Drift Detectors. (shrink)

All reasoners described in the most widespread models of a rational reasoner exhibit logical omniscience, which is impossible for finite reasoners (real reasoners). The most common strategy for dealing with the problem of logical omniscience is to interpret the models using a notion of beliefs different from explicit beliefs. For example, the models could be interpreted as describing the beliefs that the reasoner would hold if the reasoner were able reason indefinitely (stable beliefs). Then the models would describe (...) maximum rationality, which a finite reasoner can only approach in the limit of a reasoning sequence. This strategy has important consequences for epistemology. If a finite reasoner can only approach maximum rationality in the limit of a reasoning sequence, then the efficiency of reasoning is epistemically (and not only pragmatically) relevant. In this paper, I present an argument to this conclusion and discuss its consequences, as, for example, the vindication of the principle 'no rationality through brute-force'. (shrink)

The article discusses in detail Nicholas Rescher’s book Scientific Progess: A Philosophical Essay on the Economics of Research in Natural Science (1978). Rescher discusses the possibilities of further progress for science. According to Rescher there are no limits by principles to scientific progress. Among the positions which postulate an end of scientific progress there are some which see the reason in the finiteness of nature, others in the finitude of our intellectual resources. According to Rescher science arises from the interaction (...) between nature and our intellectual instruments, and the combinatory of these interactions in infinite. On the other hand, there is an economic limit to scientific progress, due to the growth of the marginal costs of the scientific enterprise: the costs grow exponentially, that is to say that the yields grow only logarithmically compared to the investments. (shrink)

This paper uses the term “ surveillance ” in its widest sense to include data sharing and the revealing of identity information in the absence of consent of the individual concerned. It argues that the current debate about the nature of a “ surveillance society” needs a new structural framework that allows the benefits of surveillance and the risks to individual privacy to be properly balanced. To this end, the first part of this article sets out the reasons why reliance (...) on the current framework of data protection or human rights legislation, or on the current regulatory regime does not necessarily protect privacy. The second part sets out nine principles that can be used to assess whether individual privacy is comprehensively considered when surveillance policy is developed. These principles are applied to surveillance in the UK to identify the structural improvements that could create an effective balance. These principles are not legislative proposals but provide a means of exploring possible deficiencies in information law governance and, in particular, Parliament’s role in scrutinising the executive and the powers needed by a regulator when engaging with the Parliamentary process. As most European countries adopt a democratic, human rights framework, it is suggested that these principles are not limited in an application in the UK environment. The views expressed in this article are the author’s own. (shrink)

The free-energy principle states that all systems that minimize their free energy resist a tendency to physical disintegration. Originally proposed to account for perception, learning, and action, the free-energy principle has been applied to the evolution, development, morphology, anatomy and function of the brain, and has been called a postulate, an unfalsifiable principle, a natural law, and an imperative. While it might afford a theoretical foundation for understanding the relationship between environment, life, and mind, its epistemic status (...) is unclear. Also unclear is how the free-energy principle relates to prominent theoretical approaches to life science phenomena, such as organicism and mechanism. This paper clarifies both issues, and identifies limits and prospects for the free-energy principle as a first principle in the life sciences. (shrink)

Starting from our attention to the systematic divisions of the KrV, we address the chapter III of Analytic of principles and its theses on the transgression of reason and the negative expansion. Our proposal is to show the specificity of the concept of noumenon in relation to the other categories of understanding without neglecting its place within Transcendental Analytic. The peculiarity of this concept expresses in a privileged way the relation of critique to the limits of knowledge, since noumenon is (...) a representation that is excluded from the possibility of intuition, but is included in the analysis of knowledge. We therefore intend to shed light on the arguments that, on the one hand, limit knowledge and, on the other hand, allow thought a way to go beyond experience. Thus, in the analysis activity that detaches itself from specific interests in favour of an impartial investigation, the critic’s position can embrace the inside and the outside of the delimitation of knowledge. (shrink)

Guiding principles are central to theory development in physics, especially when there is only limited empirical input available. Here I propose an approach to such principles looking at their heuristic role. I suggest a distinction between two modes of employing scientific principles. Principles of nature make descriptive claims about objects of inquiry, and principles of epistemic action give directives for further research. If a principle is employed as a guiding principle, then its use integrates both modes of (...) employment: guiding principles imply descriptive claims, and they provide directives for further research. By discussing the correspondence principle and the naturalness principle as examples, I explore the consequences for understanding and evaluating current guiding principles in physics. Like principles of nature, guiding principles are evaluated regarding their descriptive implications about the research object. Like principles of epistemic action, guiding principles are evaluated regarding their ability to respond to context-specific needs of the epistemic agent. (shrink)