The objective of this paper is to show that Russell's paradox cannot be solved just by defining a class as what is classified, as Balzer thinks. It can be solved not by defining a class, as he does, but by rejecting the assumption on which the validity of argument is based, that is, not conceding the truth of the disjunctive premise that a class is either an instance of itself or not an instance of itself.

In Reasons and Persons, Derek Parfit cannot find a theory of well-being that solves the Non-Identity Problem, the Repugnant Conclusion, the Absurd Conclusion, and all forms of the Mere Addition Paradox. I describe a “Quasi-Maximizing” theory that solves them. This theory includes (i) the denial that being better than is transitive and (ii) the “Conflation Principle,” according to which alternative B is hedonically better than alternative C if it would be better for someone to have all the B-experiences. (i) entails (...) that Quasi-Maximization is not a maximizing theory, but (ii) ensures that its evaluations will often coincide with such theories. (shrink)

Hausdorff's paradoxical decomposition of a sphere with countably many points removed actually produced a partition of this set into three pieces A,B,C such that A is congruent to B, B is congruent to C, and A is congruent to B ∪ C. While refining the Banach–Tarski paradox, R. Robinson characterized the systems of congruences like this which could be realized by partitions of the sphere with rotations witnessing the congruences: the only nontrivial restriction is that the system should not require (...) any set to be congruent to its complement. Later, J. F. Adams showed that this restriction can be removed if one allows arbitrary isometries of the sphere to witness the congruences. The purpose of this paper is to characterize those systems of congruences which can be satisfied by partitions of the sphere or related spaces into sets with the property of Baire. A paper of Dougherty and Foreman gives a proof that the Banach–Tarski paradox can be achieved using such sets, and gives versions of this result using open sets and related results about partitions of spaces into congruent sets. The same method is used here; it turns out that only one additional restriction on a system of congruences is needed to make it solvable using subsets of the sphere with the property of Baire with free rotations witnessing the congruences. Actually, the result applies to any complete metric space acted on in a sufficiently free way by a free group of homeomorphisms. We also characterize the systems solvable on the sphere using sets with the property of Baire but allowing all isometries. (shrink)

This paper presents an axiomatic characterization of the Owen set of transportation games. In the characterization we use six properties including consistency (CONS2) and splitting and merging (SM) which are firstly proposed and defined for this setup in the present paper.

Einstellung effects designate the phenomenon where established routines can prevent people from finding other, possibly more efficient solutions. Here we investigate the mechanism behi...

When collective decisions should be made democratically, which people form the relevant demos? Many theorists think this question is an embarrassment to democratic theory: because any decision about who forms the demos must be made democratically by the right demos, which itself must be democratically constituted and so on ad infinitum; and because neither the concept of democracy, nor our reasons for caring about democracy, determine who should form the demos. Having distinguished between these three versions of the demos problem, (...) we argue that each of them can be solved. (shrink)

PurposeHelping Autism‐diagnosed teenagers navigate and develop socially is an EU research project in progress. The aim of HANDS is to investigate the potential of persuasive technology as a tool to help young people diagnosed, to whatever degree, as autistic. The HANDS project set out to develop mobile ICT solutions to help young people with autism become more fully integrated into society and the purpose of this paper is to present an overview of the design behind the HANDS toolset.Design/methodology/approachThe topic (...) of credibility is approached from an analytical, as well as an ethical, angle in order to address issues of credibility in relation to designing assistive technological tools. In addition, the authors set out to explore possible ways in which credibility can be evaluated. The paper presents a preliminary method for the evaluation of credibility; but which requires further refinement, as well as empirical support in order to inform us about issues of system credibility. Therefore, the suggested method reflects a working hypothesis which may serve as a springboard for further investigation.FindingsThe authors propose a preliminary method which reveals the necessity of certain preconditions requisite for evaluating the credibility of a system; and, in this way, seek to establish an ethically sound evaluation procedure for analysing credibility, by combining quantitative and qualitative assessments of system credibility.Research limitations/implicationsFurther investigation of the evaluation process is needed to develop a standard for resolving the credibility of a system. Naturally, such a standard would serve not only as a tool for measuring credibility but also as a didactic tool for scaffolding a pedagogic dialogue between teacher and learner. It becomes important, therefore, to undertake the task of developing this standard in collaboration with the teachers in the HANDS project.Originality/valueThe paper discusses credibility issues and ethical concerns with a view to designing mobile solutions for autism‐diagnosed teenagers. The ideas expressed and developed herein are applicable to many assistive, technological tools available to persons with special needs. (shrink)

This article attempts to study cost minimizing multi-objective fractional solid transportation problem with fuzzy cost coefficients c ˜ i j k r {\tilde{c}}_{ijk}^{r}, fuzzy supply quantities a ˜ i {\tilde{a}}_{i}, fuzzy demands b ˜ j {\tilde{b}}_{j}, and/or fuzzy conveyances e ˜ k {\tilde{e}}_{k}. The fuzzy efficient concept is introduced in which the crisp efficient solution is extended. A necessary and sufficient condition for the solution is established. Fuzzy geometric programming approach is applied to solve the crisp problem by defining membership (...) function so as to obtain the optimal compromise solution of a multi-objective two-stage problem. A linear membership function for the objective function is defined. The stability set of the first kind is defined and determined. A numerical example is given for illustration and to check the validity of the proposed approach. (shrink)

We defend a set of acceptance rules that avoids the lottery paradox, that is closed under classical entailment, and that accepts uncertain propositions without ad hoc restrictions. We show that the rules we recommend provide a semantics that validates exactly Adams’ conditional logic and are exactly the rules that preserve a natural, logical structure over probabilistic credal states that we call probalogic. To motivate probalogic, we first expand classical logic to geo-logic, which fills the entire unit cube, and then we (...) project the upper surfaces of the geo-logical cube onto the plane of probabilistic credal states by means of standard, linear perspective, which may be interpreted as an extension of the classical principle of indifference. Finally, we apply the geometrical/logical methods developed in the paper to prove a series of trivialization theorems against question-invariance as a constraint on acceptance rules and against rational monotonicity as an axiom of conditional logic in situations of uncertainty. (shrink)

We prove linear and polynomial growth properties of sets and functions that are existentially definable in the ordered group of integers with divisibility. We determine the laws of addition with order and divisibility.

A general practice research project on ethics is underway at the University of New South Wales, funded by GPEP (General Practice Evaluation Program, Commonwealth Department of Human Services and Health, GPEP 386). Ethical issues, as defined and explored by general practitioners and consumers, are being examined across four areas of Sydney.So far, telephone interviews have been conducted (64% response rate) with a random sample of general practitioners (GPs). Face-to-face interviews have been conducted with 107 consumers, randomly sampled using ABS collection (...) district information. Focus groups have been formed to discuss acceptable solutions to GP and consumer identified ethical issues. This report will report on some preliminary findings to date and will explore professional and consumer roles in the formation of ethical solutions. (shrink)

A general practice research project on ethics is underway at the University of New South Wales, funded by GPEP. Ethical issues, as defined and explored by general practitioners and consumers, are being examined across four areas of Sydney.So far, telephone interviews have been conducted with a random sample of general practitioners. Face-to-face interviews have been conducted with 107 consumers, randomly sampled using ABS collection district information. Focus groups have been formed to discuss acceptable solutions to GP and consumer identified (...) ethical issues. This report will report on some preliminary findings to date and will explore professional and consumer roles in the formation of ethical solutions. (shrink)

We prove linear and polynomial growth properties of sets and functions that are existentially definable in the ordered group of integers with divisibility. We determine the laws of addition with order and divisibility.

Research is an integral part of evidence-based practice in the emergency department and critical care unit that improves patient management. It is important to understand the need and major obstacles for conducting research in emergency settings. Herein, we review the literature for the obligations, ethics and major implications of emergency research and the associated limiting factors influencing research activities in critical care and emergency settings. We reviewed research engines such as PubMed, MEDLINE, and EMBASE for the last two decades using (...) the key words “emergency department”, “critical care”, “research”, “consent”, and “ethics” as the search terms. Research within emergency settings is slow or non-existent due to time and financial constraints as well as the lack of a research tradition. There are several barriers to conducting research studies in emergency situations such as who, what, when, and how to obtain patient consent. The emergency environment is highly pressurized, emotional, and overburdened. The time taken for research is a particular risk that could delay the desired immediate interventions. Ethical issues abound, particularly relating to informed consent. Research in emergency settings is still in its infancy. Thus, there is a strong need for extensive research in the emergency setting through community awareness, resource management, ethics, collaborations, capacity building, and the development of a research interest for the improvement of patient care and outcomes. We need to establish a well-structured plan to assess and track the decision-making capacity, consider a multistep enrolment and consent strategy, and develop an integrated approach for recruitment into studies. (shrink)

In this paper, after presenting three challenges that any knowledge-based demarcation between science and non-science should meet, namely, the skeptical, triviality, and mimicry challenges, I show how a recent contender in epistemology, viz., presuppositional epistemic contextualism, allows these challenges to be met, hence pointing toward a novel solution to the perennial demarcation problem. Conceiving of scientific knowledge from the vantage point of contextualism forces us to consider science as being first and foremost a distinctive epistemological context, which has the peculiarity (...) of coming with a very high degree of stringency for the truth conditions of putative knowledge attributions. The fact that science imposes particularly stringent norms on knowledge is measured by the extension of the set of counterpossibilities that science is (i) in the business of eliminating on the basis of available evidence and (ii) ready to take seriously (insofar as they are consistent with the scientific community’s pragmatic presuppositions at a given time and place). (shrink)

Kant’s pre-1770 philosophy responded to the mind-body problem by applying a theory of “physical influx”. His encounter with Swedenborg’s mysticism, however, left him disillusioned with any dualist solution to Descartes’ problem. One of the major goals of the Critical philosophy was to provide a completely new solution to the mind-body problem. Kant’s new solution is “perspectival” in the sense that all Critical theories are perspectival: it acknowledges a deep truth in both of the controversy’s extremes (i.e., what we might nowadays (...) call eliminative materialism and an absolutely ideal folk psychology), by viewing both as ways of considering the issue, rather than as the only correct approach. Once we take into account its perspectival character, a new way of understanding Kant’s philosophy of mind emerges. The mind is no longer separate from the body, but is a manifestation of it, viewed from another (specifically human, rational) perspective. Kant’s transcendental conditions of knowledge (spatio-temporal intuition, categorial conception, and principled schematization) do not portray the mind as somehow creating the physical world; rather, they imply the opposite, that knowledge of objects is necessarily structured by a set of unconscious assumptions about the physical world. Our pre-conscious (or pre-mental, in Descartes’ sense of “mental”) encounter with an assumed spatio-temporal, causal nexus is entirely physical. A reincarnated Kant’s solution to today’s mind-body problem would be: eliminative materialism is good science; but only the “explanatory idealist” can consistently be an eliminative materialist. Philosophically, multiple perspectives are necessary in order to understand anything we say or do. (shrink)

In this paper, I argue that one approach to normative political theory, namely contextualism, can benefit from a specific kind of historical inquiry, namely genealogy, because the latter provides a solution to a deep-seated problem for the former. This problem consists in a lack of critical distance and originates from the justificatory role that contextualist approaches attribute to contextual facts. I compare two approaches to genealogical reconstruction, namely the historiographical method pioneered by Foucault and the hybrid method of pragmatic genealogy (...) as practiced by Bernard Williams, arguing that they both ensure an increase in critical distance while preserving contextualism’s distinctiveness. I also show, however, that only the latter provides normative action-guidance and can thus assist the contextualist theorist in the crucial task of discerning how far certain contextual facts deserve their justificatory role. I prove this point by showing how a pragmatic genealogy of the practice of punishment can inform the contextualist’s reflection about the role this practice should play in a transitional scenario, i.e. in the set of circumstances societies go through in the aftermath of large-scale violence and human rights violations. (shrink)

This exploration of a notorious mathematical problem is the work of the man who discovered the solution. Written by an award-winning professor at Stanford University, it employs intuitive explanations as well as detailed mathematical proofs in a self-contained treatment. This unique text and reference is suitable for students and professionals. 1966 edition. Copyright renewed 1994.

It is folklore that if a continuous function on a complete metric space has approximate roots and in a uniform manner at most one root, then it actually has a root, which of course is uniquely determined. Also in Bishop's constructive mathematics with countable choice, the general setting of the present note, there is a simple method to validate this heuristic principle. The unique solution even becomes a continuous function in the parameters by a mild modification of the uniqueness hypothesis. (...) Moreover, Brouwer's fan theorem for decidable bars turns out to be equivalent to the statement that, for uniformly continuous functions on a compact metric space, the crucial uniform “at most one” condition follows from its non-uniform counterpart. This classification in the spirit of the constructive reverse mathematics, as propagated by Ishihara and others, sharpens an earlier result obtained jointly with Berger and Bridges. (shrink)

Answer-set programming (ASP) has emerged as a declarative programming paradigm where problems are encoded as logic programs, such that the so-called answer sets of theses programs represent the solutions of the encoded problem. The efficiency of the latest ASP solvers reached a state that makes them applicable for problems of practical importance. Consequently, problems from many different areas, including diagnosis, data integration, and graph theory, have been successfully tackled via ASP. In this work, we present such ASP-encodings for problems (...) associated to abstract argumentation frameworks (AFs) and generalisations thereof. Our encodings are formulated as fixed queries, such that the input is the only part depending on the actual AF to process. We illustrate the functioning of this approach, which is underlying a new argumentation system called ASPARTIX in detail and show its adequacy in terms of computational complexity. (shrink)

On the basis of the exact solutions to the non-stationary spherically symmetric Einstein and Maxwell equations for dust matter and radial electromagnetic field, a model of a wormhole with the pulsating in time inner world and two static throats has been developed. It has been shown that such a wormhole with an arbitrary radius of the Gaussian curvature can connect both two different asymptotically flat space-times and two regions of the selfsame space-time. The problem of the fulfilment of the (...) energy conditions in this wormhole has been investigated, as well as the problem of its traversability investigation has been set. (shrink)

In this article, the concept of system of symbolic 2-plithogenic linear equations and its solutions are introduced and studied. The Cramer's rule was applied to solve the system of symbolic 2-plithogenic linear equations. Also, provided enough examples for each case to enhance understanding.

Public philosophy distinguishes itself from other philosophical undertakings by either addressing public problems, i.e. those with broad social consequence, or doing the work of philosophy in a public setting beyond the confines of a purely academic environment. The ironic and darkly absurd character of the defining features of civilization and progress – realities Indigenous Peoples have confronted with devastating consequences for centuries – is the way in which both generate tremendous unhappiness and destruction. The living historical character of our cultures (...) is captured in the power plus place equals personality axiom that Deloria formulated. The modus operandi of Indigenous solutions not only addresses the “know‐how” but the moral “should we” dimensions of proposed solutions. Most of humankind talks about resources because the worldview guiding the powerful economic and political interests thinks in those terms about our relatives. (shrink)

Nature-based solutions (NbS) have in recent years occupied a central position in conservation and climate discussions among both scientists and policy makers. NbS generally refer to a set of strategies which use nature, or natural objects, to address societal (human) issues while simultaneously supporting the broader environment. This paper examines the concept of NbS to determine whether it is a useful and well-motivated category to guide future climate and conservation efforts. I argue that NbS may in fact be a (...) valuable contribution to environmental thought and policy, but not for the reasons that they are typically thought to be. Specifically: while we have reason to doubt that NbS should be prioritized over other environmental strategies on the grounds that they are uniquely environmentally-friendly or supportive of biodiversity, they may nevertheless have an advantage insofar as they play a vital aesthetic role in developing a healthier relationship between humans and the nonhuman world. (shrink)

Nature-inspired optimization techniques are useful tools in electrical engineering problems to minimize or maximize an objective function. In this paper, we use the firefly algorithm to improve the optimal solution for the problem of directional overcurrent relays (DOCRs). It is a complex and highly nonlinear constrained optimization problem. In this problem, we have two types of design variables, which are variables for plug settings (PSs) and the time dial settings (TDSs) for each relay in the circuit. The objective function is (...) to minimize the total operating time of all the basic relays to avoid unnecessary delays. We have considered four models in this paper which are IEEE (3-bus, 4-bus, 6-bus, and 8-bus) models. From the numerical results, it is obvious that the firefly algorithm with certain parameter settings performs better than the other state-of-the-art algorithms. (shrink)

The paper offers a solution to the semantic paradoxes, one in which (1) we keep the unrestricted truth schema “True(A)↔A”, and (2) the object language can include its own metalanguage. Because of the first feature, classical logic must be restricted, but full classical reasoning applies in “ordinary” contexts, including standard set theory. The more general logic that replaces classical logic includes a principle of substitutivity of equivalents, which with the truth schema leads to the general intersubstitutivity of True(A) with A (...) within the language.The logic is also shown to have the resources required to represent the way in which sentences (like the Liar sentence and the Curry sentence) that lead to paradox in classical logic are “defective”. We can in fact define a hierarchy of “defectiveness” predicates within the language. Contrary to claims that any solution to the paradoxes just breeds further paradoxes (“revenge problems”) involving defectiveness predicates, there is a general consistency/conservativeness proof that shows that talk of truth and the various “levels of defectiveness” can all be made coherent together within a single object language. (shrink)

Index sets are used to measure the complexity of properties associated with the differentiability of real functions and the existence of solutions to certain classic differential equations. The new notion of a locally computable real function is introduced and provides several examples of Σ04 complete sets.

We describe the solution of the Limit Rule Problem of Revision Theory and discuss the philosophical consequences of the fact that the truth set of Revision Theory is a complete 1/2 set.

In my commentary on Francesca Minerva's article ‘New Threats to Academic Freedom’, I agree with her contention that the existence of the Internet has given rise to new and very serious threats to academic freedom. I think that it is crucial that we confront those threats, and find ways to eliminate them, which I believe can be done. The threats in question involve both authors and editors. In the case of authors, I argue that the best solution is not anonymous (...) publication, but publication using pseudonyms, and I describe how that would work. In the case of editors, my proposal is a website that a number of journals would have access to, where papers that editors judge to be clearly worthy of publication, but whose publication seems likely to set off a firestorm of public and media protest, could be published without any indication of the journal that had accepted the paper for publication. (shrink)

The 3D Prandtl fluid flow through a bidirectional extending surface is analytically investigated. Cattaneo–Christov fluid model is employed to govern the heat and mass flux during fluid motion. The Prandtl fluid motion is mathematically modeled using the law of conservations of mass, momentum, and energy. The set of coupled nonlinear PDEs is converted to ODEs by employing appropriate similarity relations. The system of coupled ODEs is analytically solved using the well-established mathematical technique of HAM. The impacts of various physical parameters (...) over the fluid state variables are investigated by displaying their corresponding plots. The augmenting Prandtl parameter enhances the fluid velocity and reduces the temperature and concentration of the fluid. The momentum boundary layer boosts while the thermal boundary layer mitigates with the rising elastic parameter strength. Furthermore, the enhancing thermal relaxation parameter ) reduces the temperature distribution, whereas the augmenting concentration parameter drops the strength of the concentration profile. The increasing Prandtl parameter declines the fluid temperature while the augmenting Schmidt number drops the fluid concentration. The comparison of the HAM technique with the numerical solution shows an excellent agreement and hence ascertains the accuracy of the applied analytical technique. This work finds applications in numerous fields involving the flow of non-Newtonian fluids. (shrink)

BackgroundInnovations in technology have contributed to rapid changes in the way that modern biomedical research is carried out. Researchers are increasingly required to endorse adaptive and flexible approaches to accommodate these innovations and comply with ethical, legal and regulatory requirements. This paper explores how Dynamic Consent may provide solutions to address challenges encountered when researchers invite individuals to participate in research and follow them up over time in a continuously changing environment.MethodsAn interdisciplinary workshop jointly organised by the University of (...) Oxford and the COST Action CHIP ME gathered clinicians, researchers, ethicists, lawyers, research participants and patient representatives to discuss experiences of using Dynamic Consent, and how such use may facilitate the conduct of specific research tasks. The data collected during the workshop were analysed using a content analysis approach.ResultsDynamic Consent can provide practical, sustainable and future-proof solutions to challenges related to participant recruitment, the attainment of informed consent, participant retention and consent management, and may bring economic efficiencies.ConclusionsDynamic Consent offers opportunities for ongoing communication between researchers and research participants that can positively impact research. Dynamic Consent supports inter-sector, cross-border approaches and large scale data-sharing. Whilst it is relatively easy to set up and maintain, its implementation will require that researchers re-consider their relationship with research participants and adopt new procedures. (shrink)

Abstract: I argue that the solution to the Red Hat Problem, a puzzle derived from interactive epistemic logic, requires S5. Interactive epis- temic logic is set out in formal terms, and an attempt to solve the red hat puzzle is made in K, K, and K, each of which fails, showing that a stronger system, K is required.

This paper involves extended b − metric versions of a fractional differential equation, a system of fractional differential equations and two-dimensional linear Fredholm integral equations. By various given hypotheses, exciting results are established in the setting of an extended b − metric space. Thereafter, by making consequent use of the fixed point technique, short and simple proofs are obtained for solutions of a fractional differential equation, a system of fractional differential equations and a two-dimensional linear Fredholm integral equation.

The dream solution of the continuum hypothesis would be a solution by which we settle the continuum hypothesis on the basis of a newly discovered fundamental principle of set theory, a missing axiom, widely regarded as true. Such a dream solution would indeed be a solution, since we would all accept the new axiom along with its consequences. In this article, however, I argue that such a dream solution to $\mathrm {CH}$ is unattainable.

In this article I provide and defend a solution to the problem of moral luck. The problem of moral luck is that there is a set of three theses about luck and moral blameworthiness each of which is at least prima facie plausible, but that, it seems, cannot all be true. The theses are that (1) one cannot be blamed for what happens beyond one’s control, (2) that which is due to luck is beyond one’s control, and (3) we rightly (...) blame each other for events that are due to luck. I suggest that the response which distinguishes between degree and scope of blameworthiness is promising. The main objection that one might level against this approach is that it seems to lead to the absurd conclusion that we, in the actual world, are as blameworthy as the person we could have been and who performs all sorts of heinous acts in a far away possible world. For, we in the actual world and our counterpart in a far away possible world are both such that we would perform certain heinous acts in particular circumstances. I argue that this objection can be met, namely by paying attention to the nature of luck. By using the insights into the nature of luck that have been gained by epistemologists, we can solve the problem of luck as it has been formulated by ethicists. For, epistemologists have argued that some event is due to luck only if it fails to occur in a substantial number of nearby possible worlds. I defend this account of luck and argue that the problem of moral luck can be solved if we pay attention to the nature of luck. I, therefore, call my solution to the problem of moral luck a modal solution. (shrink)

Aristotle’s solution to Zeno’s arrow paradox differs markedly from the so called at-at solution championed by Russell, which has become the orthodox view in contemporary philosophy. The latter supposes that motion consists in simply being at different places at different times. It can boast parsimony because it eliminates velocity from the ontology. Aristotle, by contrast, solves the paradox by denying that the flight of the arrow is composed of instants; rather, on my reading, he holds that the flight is a (...) unity which is ontologically prior to the temporal parts that may be abstracted from it. I label this position temporal holism; and an entity that is ontological prior to its temporal parts lasting. Lasting, I argue, is the key to Aristotle’s solution to the arrow paradox, but it has received insufficient attention in the relevant literature. I therefore set out here to investigate lasting and highlight its major role in Aristotle’s metaphysics more broadly, and in his solution to other problems of change. I show, too, how lasting within a contemporary context underwrites a parsimonious and intuitive solution to the arrow paradox that retains instantaneous velocity, and hence solves a problem for those who think velocity is required within the ontology to underwrite certain causal roles. (shrink)

Several authors proposed to devise logical structures for Natural Language (NL) semantics in which noun phrases yield referential terms rather than standard Generalized Quantifiers. In this view, two main problems arise: the need to refer to the maximal sets of entities involved in the predications and the need to cope with Independent Set (IS) readings, where two or more sets of entities are introduced in parallel. The article illustrates these problems and their consequences, then presents an extension of the proposal (...) made in Sher (J Philos Logic 26:1–43, 1997 ) in order to properly represent the meaning of IS readings involving NL quantifiers. The solution proposed here allows to uniformly deal with both standard linear and IS readings, regardless of their actual existence in NL or quantifiers’ monotonicity. Sentences featuring nested quantifications are particularly problematic. By avoiding parallel nested quantification in the formulae, the proper true values are achieved. (shrink)

Should conflicts among human rights be dealt with by including general principles for priority setting at some prominent place in the practice of human rights? This essay argues that neither setting prominent and principled priorities nor a case-by-case approach are likely to be defensible as general solutions. The main reasons concern how best to realize all human rights for all. Conflicts among human rights are more defensibly addressed by checking whether the conflict has been correctly diagnosed: Do human rights (...) as a whole get due priority? Have feasibility considerations inherent in human rights been considered, and the possibility of bringing in additional dutybearers? If a conflict among human rights is genuine, formal principles for priority setting are of some help. Sometimes, it is clear that these should be “upgraded” to substantive principles and sometimes that they should not. Many cases, however, are as yet unclear and will need further investigation. (shrink)

It has become customary among philosophers and biologists to claim that folk racial classification has no biological basis. This paper attempts to debunk that view. In this paper, I show that ‘race’, as used in current U.S. race talk, picks out a biologically real entity. I do this by, first, showing that ‘race’, in this use, is not a kind term, but a proper name for a set of human population groups. Next, using recent human genetic clustering results, I show (...) that this set of human population groups is a partition of human populations that I call ‘the Blumenbach partition’. (shrink)

We investigate the provability or nonprovability of certain ordinary mathematical theorems within certain weak subsystems of second order arithmetic. Specifically, we consider the Cauchy/Peano existence theorem for solutions of ordinary differential equations, in the context of the formal system RCA 0 whose principal axioms are ▵ 0 1 comprehension and Σ 0 1 induction. Our main result is that, over RCA 0 , the Cauchy/Peano Theorem is provably equivalent to weak Konig's lemma, i.e. the statement that every infinite {0, (...) 1}-tree has a path. We also show that, over RCA 0 , the Ascoli lemma is provably equivalent to arithmetical comprehension, as is Osgood's theorem on the existence of maximum solutions. At the end of the paper we digress to relate our results to degrees of unsolvability and to computable analysis. (shrink)

New settings for communication are being built, having, at one side, great corporations of television, radio, press and on line media, and at the other side the role of the independent / alternative press, understood as not bound to a private, public or state enterprise or to some economic group. It takes gradually shape the constitution of the opposition between the traditional media and the independent / alternative press, having as a material base the new technologies of information. How can (...) the new technology of information associated to the new settings of press freedom and the phenomenon of the contradiction of public opinion in the era of internet accomplish the mediation of the opinion in a globalized society? Or still, starting from the presupposition of the press freedom, how to guarantee that the society solves the contradiction of the public opinion? The phenomenon of the public opinion is contradicting because it has in itself, at the same time, the universality of constitutional principles of Law and Ethics, together with the peculiarity of the citizens’ rights and concerns. This contradiction finds its solution by means of the mediation of the freedom of the press itself within a frame of democratic legality. This is the power of the contradiction: to put into effect the dialectic tension between the opposed poles of the universal and the particular in the press freedom, avowing the right of every citizen to express publicly his opinion. This is Hegel’s theory of public opinion: the press freedom and the parliament, as a politic space, are privileged spheres of the mediation of the contradictory phenomenon of the public opinion. Keywords: Press freedom; public opinion; press; citizen journalists. (shrink)

An impossibility result pertaining to the aggregation of individual judgements is thought by many to have significant implications for political theory, social epistemology and metaphysics. When members of a group hold a rational set of judgments on some interconnected questions, the theorem shows, it isn't always (logically) possible for them to aggregate their judgements into a collective one in conformity with seemingly very plausible constraints. I reject one of the constraints which engender the dilemma. The analogy with the lottery paradox, (...) I argue, shows that rational belief needn't be consistent. So the alleged implications of the dilemma are dispelled. (shrink)

Deviant causal chain problems arise in many settings. The most famous instance of the problem is the Gettier problem, but the problem also arises in the philosophy of action and perception. Usually, attempts to tackle these problems try to solve them individually. This paper takes a different approach: I propose a general solution to the problem. I begin by providing a solution to the deviant causal chain problem for skillful performance, and I argue that the solution can be extended to (...) solve the Gettier problem and the deviant causal chain problems for perception and intentional action. As I develop my solution to these problems, I also compare it with other solutions to bring out the advantages of my approach. I then explain why the solution generalizes: my solution provides us with an analysis of disposition manifestation, which is the key to ruling out deviance. I conclude by considering objections and giving my replies. (shrink)

We examine the reverse mathematical strength of a variation of Hindman’s Theorem (HT) constructed by essentially combining HT with the Thin Set Theorem to obtain a principle that we call thin-HT. This principle states that every coloring c:N→N has an infinite set S⊆N whose finite sums are thin for c, meaning that there is an i with c(s)≠i for all nonempty sums s of finitely many distinct elements of S. We show that there is a computable instance of thin-HT such (...) that every solution computes ∅′, as is the case with HT, as shown by Blass, Hirst, and Simpson (1987). In analyzing this proof, we deduce that thin-HT implies ACA0 over RCA0+IΣ20. On the other hand, using Rumyantsev and Shen’s computable version of the Lovász Local Lemma, we show that there is a computable instance of the restriction of thin-HT to sums of exactly 2 elements such that any solution has diagonally noncomputable degree relative to ∅′. Hence there is a computable instance of this restriction of thin-HT with no Σ20 solution. (shrink)

Logic programs under answer set semantics have become popular as a knowledge representation formalism in Artificial Intelligence. In this paper we investigate the possibility of using answer sets for qualitative decision making. Our approach is based on an extension of the formalism, called logic programs with ordered disjunction (LPODs). These programs contain a new connective called ordered disjunction. The new connective allows us to represent alternative, ranked options for problem solutions in the heads of rules: A × B intuitively (...) means: if possible A, but if A is not possible then at least B. The semantics of logic programs with ordered disjunction is based on a preference relation on answer sets. We show that LPODs can serve as a basis for qualitative decision making. (shrink)