This paper critically engages Philip Mirowki's essay, "The scientific dimensions of social knowledge and their distant echoes in 20th-century American philosophy of science." It argues that although the cold war context of anti-democratic elitism best suited for making decisions about engaging in nuclear war may seem to be politically and ideologically motivated, in fact we need to carefully consider the arguments underlying the new rational choice based political philosophies of the post-WWII era typified by Arrow's impossibility theorem. A distrust (...) of democratic decision-making principles may be developed by social scientists whose leanings may be toward the left or right side of the spectrum of political practices. (shrink)

As the history of analytic philosophy is written, Gottlob Frege sits among the pantheon, one of the core creators of a novel way of philosophical thinking. It is a way of thinking that is notably infused with logical and semantic insights that are original to Frege. The source of these insights is well known. They arise in the context of logicism, Frege’s mathematical project that unfolded in a body of thought punctuated by three seminal works, Begriffsschrift of 1879, Die Grundlagen (...) der Arithmetik of 1884, and the two volumes of Grundgesetze der Arithmetik, published in 1893 and 1903. In these works, Frege sets out to show that arithmetic can be reduced to logic; more technically, that (a version of) the Peano-Dedekind axioms are derivable as theorems in a definitional extension of impredicative second-order logic. To achieve this goal, Frege introduced both a new logic and a new semantics; the conceptual apparatus that Frege brought to bear in these works, and in an accompanying series of classic essays, including most famously “On Sense and Reference,” has animated philosophical thought ever since. (shrink)

Theorems of hyperarithmetic analysis occupy an unusual neighborhood in the realms of reverse mathematics and recursion-theoretic complexity. They lie above all the fixed iterations of the Turing jump but below ATR $_{0}$. There is a long history of proof-theoretic principles which are THAs. Until the papers reported on in this communication, there was only one mathematical example. Barnes, Goh, and Shore [1] analyze an array of ubiquity theorems in graph theory descended from Halin’s [9] work on rays in graphs. They (...) seem to be typical applications of ACA $_{0}$ but are actually THAs. These results answer Question 30 of Montalbán’s Open Questions in Reverse Mathematics [19] and supply several other natural principles of different and unusual levels of complexity.This work led in [25] to a new neighborhood of the reverse mathematical zoo: almost theorems of hyperarithmetic analysis. When combined with ACA $_{0}$ they are THAs but on their own are very weak. Denizens both mathematical and logical are provided. Generalizations of several conservativity classes are defined and these ATHAs as well as many other principles are shown to be conservative over RCA $_{0}$ in all these senses and weak in other recursion-theoretic ways as well. These results answer a question raised by Hirschfeldt and reported in [19] by providing a long list of pairs of principles one of which is very weak over RCA $_{0}$ but over ACA $_{0}$ is equivalent to the other which may be strong or very strong going up a standard hierarchy and at the end being stronger than full second-order arithmetic. (shrink)

May's Theorem [K. O. May, Econometrica 20 (1952) 680-684] characterizes majority voting on two alternatives as the unique preferential voting method satisfying several simple axioms. Here we show that by adding some desirable axioms to May's axioms, we can uniquely determine how to vote on three alternatives. In particular, we add two axioms stating that the voting method should mitigate spoiler effects and avoid the so-called strong no show paradox. We prove a theorem stating that any (...) preferential voting method satisfying our enlarged set of axioms, which includes some weak homogeneity and preservation axioms, agrees with Minimax voting in all three-alternative elections, except perhaps in some improbable knife-edged elections in which ties may arise and be broken in different ways. (shrink)

A set S of degrees is said to be an initial segment if c ≤ d ∈ S→-c∈S. Shoenfield has shown that if P is the lattice of all subsets of a finite set then there is an initial segment of degrees isomorphic to P. Rosenstein [2] (independently) proved the same to hold of the lattice of all finite subsets of a countable set. We shall show that “countable set” may be replaced by “set of cardinality at most that of (...) the continuum.” This result is also an extension of [3, Corollary 2 to Theorem 15], which states that there is a sublattice of degrees isomorphic to the lattice of all finite subsets of 2N. (A sublattice of degrees is a subset closed under ∪ and ∩; an initial segment closed under ∪ is necessarily a sublattice, but not conversely.)It seems worth noting that the proof of the present result was preceded in time by our proof [4] of the analogous theorem for hyperdegrees, and is in fact an adaptation of that proof. Thus the present work has been influenced much more directly by the Gandy-Sacks forcing construction of a minimal hyperdegree [1] than by previous work on initial segments of degrees. (shrink)

May's theorem famously shows that, in social decisions between two options, simple majority rule uniquely satisfies four appealing conditions. Although this result is often cited in support of majority rule, it has never been extended beyond decisions based on pairwise comparisons of options. We generalize May's theorem to many-option decisions where voters each cast one vote. Surprisingly, plurality rule uniquely satisfies May's conditions. This suggests a conditional defense of plurality rule: If a society's balloting procedure (...) collects only a single vote from each voter, then plurality rule is the uniquely compelling electoral procedure. To illustrate the conditional nature of this claim, we also identify a richer informational environment in which approval voting, not plurality rule, is supported by a May-style argument. (shrink)

In this note, we show that a partition of a cake is Pareto optimal if and only if it maximizes some convex combination of the measures used by those who receive the resulting pieces of cake. Also, given any sequence of positive real numbers that sum to one (which may be thought of as representing the players' relative entitlements), we show that there exists a partition in which each player receives either more than, less than, or exactly his or her (...) entitlement (according to his or her measure), in any desired combination, provided that the measures are not all equal. (shrink)

The present study aims at giving factual support to the thesis that the Parmenides is serious in intention, rigorous in logical demonstration, and stylistically meticulous in its original composition. While this consideration may be tedious, still it is useful. Against a past history which has claimed to find the tone hilarious, the logic fallacious, the work inauthentic, the text in need of bracketing by divination, the whole incoherent— against these eccentricities a certain firm sobriety seems called for. I hope that (...) my conclusions find support and persist through fluctuations of philosophic and philological styles.The main difficulty with my thesis is that the text as we now have it (in Burnet's and Dies' editions) shows exceptions to every rule that might apply to style and even to logical structure. Thus it is almost but not quite uniformly true that each theorem opens with a theorem statement; that each is marked by a "questioning" response; that each deduction is valid when formalized in propositional calculus; and so on. Are the exceptions the result of careless composition; are they deliberate warnings not to take the proofs too seriously; or are they the result of errors in transmission? One way to test this is to reconstruct early versions of the text: if these show more logical rigor than the later versions the notion of a wholly valid original is supported; if they do not, the result may point toward the need for a less serious interpretation. A second thing to look for is the possibility that, here and there, parts of a coherent original text are uniquely conserved in sources other than the principal mss, B,T, and W. This assumes, of course, that the "original" text in question is the one with the best logical form, and that assumption seems justified. As a matter of fact, later copyings almost universally show deterioration, not improvement in style and logic.My textual findings are more compatible with some lines of interpretation than with others. Thus I offer some reasons for not accepting treatments of the work as a joke, mystical revelation, or abrupt metaphysical revision. The structure of the dialogue is best explained, I think, by reading it as an indirect proof that some non-Platonic interpretations of the theory of forms are unsatisfactory. In particular, these are the Megarian version (represented in the first part of the dialogue by Zeno, in the second by the First Hypothesis), and the Anaxagorean version put forward by Eudoxus (represented in the first part by Cephalus and his friends from Clazomenae, in the second by the Second Hypothesis). At the same time, the dialogue shows the need for a philosophic method other than the "hypothetical— deductive" way of dianoia; presumably this other method is the "dialectic" discussed in Republic VII. It also follows that any interpretation of the Phaedo which falls into either the Eudoxian or Megarian difficulties was not— at least at the date of the Parmenides—Plato's intended reading.Findings concerning the relations and reliability of the manuscripts of this dialogue also apply to the texts of the other Platonic dialogues which these mss contain.Further, the Parmenides is such an important work both historically and intrinsically that any insight which textual study can bring to its interpretation is a contribution to Western philosophy. (shrink)

A partition is finitary if all its members are finite. For a set A, $\mathscr {B}(A)$ denotes the set of all finitary partitions of A. It is shown consistent with $\mathsf {ZF}$ (without the axiom of choice) that there exist an infinite set A and a surjection from A onto $\mathscr {B}(A)$. On the other hand, we prove in $\mathsf {ZF}$ some theorems concerning $\mathscr {B}(A)$ for infinite sets A, among which are the following: (1) If there is a finitary (...) partition of A without singleton blocks, then there are no surjections from A onto $\mathscr {B}(A)$ and no finite-to-one functions from $\mathscr {B}(A)$ to A. (2) For all $n\in \omega $, $|A^n|<|\mathscr {B}(A)|$. (3) $|\mathscr {B}(A)|\neq |\mathrm {seq}(A)|$, where $\mathrm {seq}(A)$ is the set of all finite sequences of elements of A. (shrink)

This paper sets mathematics among the sciences, despite not being empirical, because it studies relations of various sorts, like the sciences. Each empirical science studies the relations among objects, which relations determining which science. The mathematical science studies relations as such, regardless of what those relations may be or be among, how relations themselves are related. This places it at the extreme among the sciences with no objects of its own (A Subject with no Object, by J.P. Burgess and G. (...) Rosen). Examples are discussed. The historical development of written mathematics from algorithms on clay tablets to theorems with proofs is said to show that application of algorithms to specific problems and theorems to scientific objects is like allegorical interpretation. Mathematics fits into the modern scientific context because the sciences, beginning with Galileo, have been constructed in imitation of mathematics. Viewing mathematics this way does not solve any ontological problems, but it does show how mathematics avoids them. Epistemological problems, insuperable for object realism, are simplified. For example, we have access to relations among any objects that we can consider objectively, first physical objects and then mathematical objects of greater and greater abstraction. (shrink)

A new approach to quantum theory is proposed in this paper. The basis is taken to be theoretical variables, variables that may be accessible or inaccessible, i.e., it may be possible or impossible for an observer to assign arbitrarily sharp numerical values to them. In an epistemic process, the accessible variables are just ideal observations connected to an observer or to some communicating observers. Group actions are defined on these variables, and group representation theory is the basis for developing the (...) Hilbert space formalism here. Operators corresponding to accessible theoretical variables are derived, and in the discrete case, it is proved that the possible physical values are the eigenvalues of these operators. The focus of the paper is some mathematical theorems paving the ground for the proposed foundation of quantum theory. It is shown here that the groups and transformations needed in this approach can be constructed explicitly in the case where the accessible variables are finite-dimensional. This simplifies the theory considerably: To reproduce the Hilbert space formulation, it is enough to assume the existence of two complementary variables. The interpretation inferred from the proposed foundation here may be called a general epistemic interpretation of quantum theory. A special case of this interpretation is QBism; it also has a relationship to several other interpretations. (shrink)

In a recent paper (Okasha, Mind 120:83–115, 2011), Samir Okasha uses Arrow’s theorem to raise a challenge for the rationality of theory choice. He argues that, as soon as one accepts the plausibility of the assumptions leading to Arrow’s theorem, one is compelled to conclude that there are no adequate theory choice algorithms. Okasha offers a partial way out of this predicament by diagnosing the source of Arrow’s theorem and using his diagnosis to deploy an approach that (...) circumvents it. In this paper I explain why, although Okasha is right to emphasise that Arrow’s result is the effect of an informational problem, he is not right to locate this problem at the level of the informational input of a theory choice rule. Once the informational problem is correctly located, Arrow’s theorem may be dismissed as a problem. (shrink)

We study the formal first order system TIND in the standard language of Gentzen's LK . TIND extends LK by the purely logical rule of term-induction, that is a restricted induction principle, deriving numerals instead of arbitrary terms. This rule may be conceived as the logical image of full induction.

It was shown by Cholak, Jockusch, and Slaman that every computable 2-coloring of pairs admits an infinite low₂ homogeneous set H. We answer a question of the same authors by showing that H may be chosen to satisfy in addition $C\,\not \leqslant _T \,H$, where C is a given noncomputable set. This is shown by analyzing a new and simplified proof of Seetapun's cone avoidance theorem for Ramsey's theorem. We then extend the result to show that every computable (...) 2-coloring of pairs admits a pair of low₂ infinite homogeneous sets whose degrees form a minimal pair. (shrink)

Two thoughts about the concept of number are incompatible: that any zero or more things have a number, and that any zero or more things have a number only if they are the members of some one set. It is Russell's paradox that shows the thoughts incompatible: the sets that are not members of themselves cannot be the members of any one set. The thought that any things have a number is Frege's; the thought that things have a number only (...) if they are the members of a set may be Cantor's and is in any case a commonplace of the usual contemporary presentations of the set theory that originated with Cantor and has become ZFC.In recent years a number of authors have examined Frege's accounts of arithmetic with a view to extracting an interesting subtheory from Frege's formal system, whose inconsistency, as is well known, was demonstrated by Russell. These accounts are contained in Frege's formal treatise Grundgesetze der Arithmetik and his earlier exoteric book Die Grundlagen der Arithmetik. We may describe the two central results of the recent re-evaluation of his work in the following way: Let Frege arithmetic be the result of adjoining to full axiomatic second-order logic a suitable formalization of the statement that the Fs and the Gs have the same number if and only if the F sand the Gs are equinumerous. (shrink)

In 1999, Jeffrey Ketland published a paper which posed a series of technical problems for deflationary theories of truth. Ketland argued that deflationism is incompatible with standard mathematical formalizations of truth, and he claimed that alternate deflationary formalizations are unable to explain some central uses of the truth predicate in mathematics. He also used Beth’s definability theorem to argue that, contrary to deflationists’ claims, the T-schema cannot provide an ‘implicit definition’ of truth. In this article, I want to challenge (...) this final argument. Whatever other faults deflationism may have, the T-schema does provide an implicit definition of the truth predicate. Or so, at any rate, I shall argue. (shrink)

Two thoughts about the concept of number are incompatible: that any zero or more things have a (cardinal) number, and that any zero or more things have a number (if and) only if they are the members of some one set. It is Russell's paradox that shows the thoughts incompatible: the sets that are not members of themselves cannot be the members of any one set. The thought that any (zero or more) things have a number is Frege's; the thought (...) that things have a number only if they are the members of a set may be Cantor's and is in any case a commonplace of the usual contemporary presentations of the set theory that originated with Cantor and has become ZFC. In recent years a number of authors have examined Frege's accounts of arithmetic with a view to extracting an interesting subtheory from Frege's formal system, whose inconsistency, as is well known, was demonstrated by Russell. These accounts are contained in Frege's formal treatise Grundgesetze der Arithmetik and his earlier exoteric book Die Grundlagen der Arithmetik. We may describe the two central results of the recent re-evaluation of his work in the following way: Let Frege arithmetic be the result of adjoining to full axiomatic second-order logic a suitable formalization of the statement that the Fs and the Gs have the same number if and only if the F sand the Gs are equinumerous. (shrink)

In the present piece we defend predicate approaches to modality, that is approaches that conceive of modal notions as predicates applicable to names of sentences or propositions, against the challenges raised by Montague’s theorem. Montague’s theorem is often taken to show that the most intuitive modal principles lead to paradox if we conceive of the modal notion as a predicate. Following Schweizer (J Philos Logic 21:1–31, 1992) and others we show this interpretation of Montague’s theorem to be (...) unwarranted unless a further non trivial assumption is made—an assumption which should not be taken as a given. We then move on to showing, elaborating on work of Gupta (J Philos Logic 11:1–60, 1982), Asher and Kamp (Properties, types, and meaning. Vol. I: foundational issues, Kluwer, Dordrecht, pp 85−158, 1989), and Schweizer (J Philos Logic 21:1–31, 1992), that the unrestricted modal principles can be upheld within the predicate approach and that the predicate approach is an adequate approach to modality from the perspective of modal operator logic. To this end we develop a possible world semantics for multiple modal predicates and show that for a wide class of multimodal operator logics we may find a suitable class of models of the predicate approach which satisfies, modulo translation, precisely the theorems of the modal operator logic at stake. (shrink)

Bell's theorem is expounded as an analysis in Bayesian probabilistic inference. Assume that the result of a spin measurement on a spin-1/2 particle is governed by a variable internal to the particle (local, “hidden”), and examine pairs of particles having zero combined angular momentum so that their internal variables are correlated: knowing something about the internal variable of one tells us something about that of the other. By measuring the spin of one particle, we infer something about its internal (...) variable; through the correlation, about the internal variable of the second particle, which may be arbitrarily distant and is by hypothesis unchanged by this measurement (locality); and make (probabilistic) prediction of spin observations on the second particle. Each link in this chain has a counterpart in the Bayesian analysis of the situation. Irrespective of the details of the internal variable description, such prediction is violated by measurements on many particle pairs, so that locality—effectively the only physics invoked—fails. The time ordering of the two measurements is not Lorentz-invariant, implying acausality. Quantum mechanics is irrelevant to this reasoning, although its correct predictions of the statistics of the results imply it has a nonlocal—acausal interpretation; one such, the “transactional” interpretation, is presented to demonstrable advantage, and some misconceptions about quantum theory are pursued. The “unobservability” loophole in photonic Bell experiments is proven to be closed. It is shown that this mechanism cannot be used for signalling; signalling would become possible only if the hidden variables, which we insist must underlie the statistical character of the observations (the alternative is to give up), are uncovered in deviations from quantum predictions. Their reticence is understood as a consequence of their nonlocality: it is not easy to isolate and measure something nonlocal. Once the hidden variables are found, all the problems of quantum field theory and of quantum gravity might melt away. (shrink)

First, the demonstration of Bell's theorem, i.e., of the nonlocal character of quantum theory, is spelled out using the EPR criterion of reality as premises and a gedankenexperiment involving two particles. Then, the EPR criterion is extended to include quantities predicted almostwith certainty, and Bell's theorem is demonstrated on these new premises. The same experiment is used but in conditions that become possible in real life, without the requirements of ideal efficiencies and zero background. Very high efficiencies and (...) low background are needed, but these requirements may be met in the future. (shrink)

This dissertation examines the connection between Craig's theorem and scientific instrumentalism. The main question to be answered is whether the former can be used to support the latter. A negative answer to this question is defended in the dissertation. ;The first two chapters present a detailed expository account of the proof of Craig's theorem and also of the process by which theoretical terms are to be eliminated from scientific theories according to the method developed by Craig. Emphasis is (...) placed on those points which are relevant to later discussions. ;There have been several arguments against using the Craigian method of eliminating theoretical terms and against replacing a scientific theory by its Craigian revised theory . The third chapter is devoted to two of those arguments. The first is meant to show that the distinction between observational and theoretical terms is untenable and hence that the Craigian method cannot be used to eliminate theoretical terms. The second is intended to show that a Craigian revised theory does not always preserve the whole inductive power of its original theory and hence that it cannot replace the original theory. Both arguments are analyzed in detail and rejected. ;The fourth chapter argues that Craig's theorem cannot be used to support scientific instrumentalism: it is argued that a Craigian revised theory may lack the explanatory power of its original theory. In the course of arguing the above point, ten outstanding theories of explanation are considered. It is argued that no matter which account of explanation is adopted, a Craigian revised theory cannot always preserve the whole explanatory power of its original theory. ;In the fifth chapter, the "theoretician's dilemma" of Carl G. Hempel's is examined. It is argued that, in virtue of the explanatory shortcoming of the Craigian method, the theoretician's dilemma cannot be used to support scientific instrumentalism. (shrink)

Let me hasten to affirm that this essay, despite its title, is not so much about Sallust as it is a way of examining a specific constellation of ideas. I have used his conception of Roman social change because it seems to bring into focus a prudential commonplace rooted in Greek and Roman culture. No doubt Sallust's views had a strong formative effect on subsequent social and political thought, but I shall make no effort to explore and define this influence. (...) I have simply chosen �Sallust's Theorem� as a point of departure, a heuristic device encapsulating and emphasizing an important notion of ancient antecedents which, together with its ramifications, may possibly illuminate a significant and neglected aspect of early modern political thought. (shrink)

Gödel's Theorem is often used in arguments against machine intelligence, suggesting humans are not bound by the rules of any formal system. However, Gödelian arguments can be used to support AI, provided we extend our notion of computation to include devices incorporating random number generators. A complete description scheme can be given for integer functions, by which nonalgorithmic functions are shown to be partly random. Not being restricted to algorithms can be accounted for by the availability of an arbitrary (...) random function. Humans, then, might not be rule-bound, but Gödelian arguments also suggest how the relevant sort of nonalgorithmicity may be trivially made available to machines. (shrink)

Penrose proved that a computational or formalizable theory of the brainís cognitive functioning is impossible, but suggested that a physical non-computational and non-formalizable one may be viable. Arguments as to why Penroseís program is unrealizable are presented. The main argument is that a non-formalizable theory should be verbal. However, verbal paradoxes based on Cantorís diagonal processes show the impossibility of a consistent verbal theory of the brain comprising its arithmetical cognition. It is suggested that comprehensive theories of the human brain (...) and of physical experience are Kantian rather than Platonic ideas. This suggestion is likewise based on arguments related to diagonal processes. (shrink)

Classical relativistic physics assumes that spatially separated events cannot influence one another (“locality”) and that values may be assigned to quantities independently of whether or not they are actually measured (“realism”). These assumptions have consequences—the Bell inequalities—that are sometimes in disagreement with experiment and with the predictions of quantum mechanics. It has been argued that, even if realism is not assumed, the violation of the Bell inequalities implies nonlocality—and hence that radical changes are necessary in the foundations of physics. We (...) show that this conclusion does not follow unless the locality hypothesis is strengthened in an implausible manner. (shrink)

A concise proof of Bell's theorem on the necessary nonlocality of any theory which models individual measurements in correlated quantum mechanical systems is presented. A family of inequalities is derived which may be applied to a broad class of correlated systems to test the assumption of locality.

There is a perception that the substantial data from psi research is indicative of support for a dualistic worldview. In this paper, we present an overview of this perspective as discussed in the works of John Beloff, Charles Tart, David Rousseau, Ed Kelly, and Larry Dossey. Following this, we discuss the refutation of the dualist view from the point of the definition of non-material, and provide a possible definition of non-material, and the role of consciousness in quantum mechanics. We conclude (...) that these criteria are sufficient to reject a dualist perspective in the analysis of psi data, until the validity of all possible physicalist-reductionist views have been exhausted. In our analysis, the next question guiding a psi research programme is how psi occurs and what its mechanics are. (shrink)

While many authors have theorized about the ability of the humanities to enhance business ethics education, scant empirical work exists to support this speculation. We therefore conduct a study to measure the impact of a live theatre performance on ethical reasoning. We asked students to analyze an ethically-laden historical disaster scenario both before and after attending a performance featuring related narrative themes. Our hypothesis is that attending a live performance would cause students to take a more ethical view of an (...) industrial disaster case study. Results show support for the notion that live theatre may impact individuals’ ethical decision-making as applied to a representative business case. Specifically, we found a significant difference in what parties students hold responsible, what actions students think should have been taken, and how cultural norms affect students’ perceptions of ethical obligations. We therefore suggest that live theatre may be a novel pedagogical tool in business ethics education. (shrink)

A Husserlian phenomenological approach to logic treats concepts in terms of their experiential meaning rather than in terms of reference, sets of individuals, and sentences. The present article applies such an approach in turn to the reasoning operative in various paradoxes: the simple Liar, the complex Liar paradoxes, the Grelling-type paradoxes, and Gödel’s Theorem. It finds that in each case a meaningless statement, one generated by circular definition, is treated as if were meaningful, and consequently as either true or (...) false, although in fact it is neither. The situation is further complicated by the fact that the sentence used to express the meaningless statement is ambiguous, and may also be used to express a meaningful statement. The paradoxes result from a failure to distinguish between the two meanings the sentence may have. (shrink)

Based on empirical evidence we discuss the nature of precognition, and address the questions whether retrocausation/ precognition violates causality, whether precognition implies determinism, the questions of actual or probable futures, from where does the information arise, and other observed properties of precognition. This is followed by a discussion on the primacy of precognition by examining the various categories of psi. In our analysis, precognition is most likely the only form of psi, subsuming within it clairvoyance, telepathy, micro-PK, and the survival (...) hypothesis. In this paper, we examine the various arguments for this assertion, the primary one being that it is impossible to close the precognition door. (shrink)

Incidence and prevalence rates of dengue have increased over the years, and the disease is quickly becoming cause for concern within the public health community. Globally, 128 countries and slightly under four billion people are at risk of contracting dengue. In Sri Lanka, more than half of dengue cases originate in Colombo, which in previous years, used a manual pen-and-paper data management system, which meant that it was not possible to obtain or provide up-to-date information about the severity and spread (...) of dengue. In 2015, two versions of a mobile application called Mo-Buzz Dengue were developed and launched in Colombo, Sri Lanka in order to overcome the challenges of the traditional management system by capitalizing on the rising affordability and ubiquity of mobile phone technology. To keep up with the dynamic nature of disease outbreaks, real-time data need to be visualized in a manner which facilitates discerning and comprehending these patterns. Hence, we used health maps in Mo-Buzz to effectively present this information. The first version of Mo-Buzz was for public health inspectors, digitized data management as well as provided educational materials. The second version of Mo-Buzz was a source of information for the general public, a crowdsourcing platform to provide information relating to dengue transmission, and for health authorities to alert users to dengue-specific developments in their area. This paper illustrates the design considerations of the Mo-Buzz disease surveillance system for the general public. A draft scaled-down version of the PHI system was used to obtain feedback and make incremental design enhancements. Additionally, similar health maps were evaluated in terms of capability and usability. These findings were applied to identify future enhancements to the health map of Mo-Buzz Dengue. (shrink)

Oratorical practice may be viewed as the material enactment of a philosophy of class struggle. Drawing on the work of Gilles Deleuze and Félix Guattari, I propose “orator-machine” as a concept-term to describe speech making in the context of the open exterior of interconnected human and nonhuman machinic assemblages in capitalist modernity. My argument is based on a reconsideration of a single address, delivered by William D. “Big Bill” Haywood in 1911 at the Cooper Union in New York City. Reading (...) Haywood against the grain—as a conceptual innovator—allows me to demonstrate a mode of analysis that affirms the philosophical quality and ontological politics of oratorical performance. (shrink)

Pursuant to the Doctrine of Consumer Sovereignty, we believe that tobacco companies should be compelled to disclose their ingredients so that the public health community can make more informed recommendations in order to protect consumer autonomy and sovereignty. However, a recent decision by the First Circuit precludes such a disclosure since it would be unduly burdensome to the industry, while granting only minimal gains to the public. We argue that many of the Court’s key claims rest on a misunderstanding of (...) the science and chemistry of tobacco products. In our view, a mandatory disclosure of ingredients would more effectively protect the public interest, whilst posing minimal burdens on the tobacco industry. (shrink)

A hippocampal patient is described who shows preserved item recognition and simple recognition-based recollection but impaired recall and associative recognition. These data and other evidence suggest that contrary to Aggleton & Brown's target article, Papez circuit damage impairs only complex item-item-context recollection. A patient with perirhinal cortex damage and a delayed global memory deficit, apparently inconsistent with A&B's framework, is also described.

While the enormous influence of Martin Heidegger's thought in Japan and China is well documented, the influence on him from East-Asian sources is much lesser known. This remarkable study shows that Heidegger drew some of the major themes of his philosophy--on occasion almost word for word--from German translations of Chinese Daoist and Zen Buddhist classics.

Perceptions of a firm’s stance on corporate social responsibility (CSR) are influenced by its corporate marketing efforts including branding, reputation building, and communications. The current research examines CSR from the consumer’s perspective, focusing on antecedents and consequences of perceived CSR. The findings strongly support the fact that particular cues, namely perceived financial performance and perceived quality of ethics statements, influence perceived CSR which in turn impacts perceptions of corporate reputation, consumer trust, and loyalty. Both consumer trust and loyalty were also (...) found to reduce the perceived risk that consumers experience in buying and using products. From these significant findings, we draw several conclusions and implications, including the importance of enhancing firm focus toward its ethical commitment and long-term reputation. (shrink)

This article stages a new encounter between rhetoric and the philosophy of Karl Marx. We argue that the configuration of two major tropes in Marx’s 1852 pamphlet The Eighteenth Brumaire of Louis Bonaparte renders explicit the operative but implicit logics of Marxian historical materialism. Our reading therefore makes available a novel and untimely dimension of Marx’s conceptual labor where we least expect to find it: in a text that has been largely, but not exclusively, understood as a history of counterrevolution (...) that was meant to intervene within its own context in particular ways. While we do not wish to lose sight of that context, our aim is to demonstrate that The Eighteenth Brumaire is suggestive of the.. (shrink)

Set theoretic formulation of Arrow's theorem, viewedin light of a taxonomy of transitive relations,serves to unmask the theorem's understatedgenerality. Under the impress of the independenceof irrelevant alternatives, the antipode of ceteris paribus reasoning, a purported compilerfunction either breaches some other rationalitypremise or produces the effet Condorcet. Types of cycles, each the seeming handiwork of avirtual voter disdaining transitivity, arerigorously defined. Arrow's theorem erects adilemma between cyclic indecision anddictatorship. Maneuvers responsive theretoare explicable in set theoretic terms. None ofthese (...) gambits rival in simplicity the unassistedescape of strict linear orderings, which, by virtueof the Arrow–Sen reflexivity premise, are notcaptured by the theorem. Yet these are therelations among whose n-tuples the effetCondorcet is most frequent. A generalization andstronger theorem encompasses these and all otherlinear orderings and total tierings. Revisions tothe Arrow–Sen definitions of `choice set' and`rationalization' similarly enable one to generalizeSen's demonstration that some rational choicefunction always exists. Similarly may onegeneralize Debreu's theorems establishing conditionsunder which a binary relation may be represented bya continuous real-valued order homomorphism. (shrink)

Issues concerning patients' rights are at the center of bioethics, but the political basis for these rights has rarely been examined. In Bioethics in a Liberal Society: The Political Framework of Bioethics Decision Making , Thomas May offers a compelling analysis of how the political context of liberal constitutional democracy shapes the rights and obligations of both patients and health care professionals. May focuses on how a key feature of liberal society -- namely, an individual's right to make independent decisions (...) -- has an impact on the most important relational facets of health care, such as patients' autonomy and professionals' rights of conscience. Although a liberal political framework protects individual judgments, May asserts that this right is based on the assumption of an individual's competency to make sound decisions. May uses case studies to examine society's approach to medical decision making when, for reasons ranging from age to severe mental disorder, a person lacks sufficient competency to make independent and fully informed choices. To protect the autonomy of these vulnerable patients, May emphasizes the need for health care ethics committees and ethics consultants to help guide the decision-making process in clinical settings. Bioethics in a Liberal Society is essential reading for all those interested in understanding how bioethics is practiced within our society. (shrink)