Online research in philosophy

Metaphysics and language: Quine, W. V. O. On the individuation of attributes. Körner, S. On some relations between logic and metaphysics. Marcus, R. B. Does the principle of substitutivity rest on a mistake? Van Fraassen, B. C. Platonism's pyrrhic victory. Martin, R. M. On some prepositional relations. Kearns, J. T. Sentences and propositions.--Basic and combinatorial logic: Orgass, R. J. Extended basic logic and ordinal numbers. Curry, H. B. Representation of Markov algorithms by combinators.--Implication and consistency: Anderson, A. R. Fitch (...) on consistency. Belnap, N. D., Jr. Grammatical propaedeutic. Thomason, R. H. Decidability in the logic of conditionals. Myhill, J. Levels of implication.--Deontic, epistemic, and erotetic logic: Bacon, J. Belief as relative knowledge. Wu, K. J. Believing and disbelieving. Kordig, C. R. Relativized deontic modalities. Harrah, D. A system for erotetic sentences. (shrink)

For a fixed set A, the number of queries to A needed in order to decide a set S is a measure of S's complexity. We consider the complexity of certain sets defined in terms of A: $ODD^A_n = \{(x_1, \dots ,x_n): {\tt\#}^A_n(x_1, \dots, x_n) \text{is odd}\}$ and, for m ≥ 2, $\text{MOD}m^A_n = \{(x_1, \dots ,x_n):{\tt\#}^A_n(x_1, \dots ,x_n) \not\equiv 0 (\text{mod} m)\},$ where ${\tt\#}^A_n(x_1, \dots ,x_n) = A(x_1)+\cdots+A(x_n)$ . (We identify A(x) with χ A (x), where χ A is (...) the characteristic function of A.) If A is a nonrecursive semirecursive set or if A is a jump, we give tight bounds on the number of queries needed in order to decide ODD A n and $\text{MOD}m^A_n: \bullet\text{ODD}^A_n$ can be decided with n parallel queries to A, but not with n - 1. $\bullet \text{ODD}^A_n$ can be decided with $\lceil log(n + 1)\rceil$ sequential queries to A but not with $\lceil log(n + 1)\rceil - 1. \bullet\text{MOD}m^A_n$ can be decided with $\lceil n/m\rceil + \lfloor n/m\rfloor$ parallel queries to A but not with $\lceil n/m\rceil + \lfloor n/m\rfloor - 1. \bullet\text{MOD}m^A_n$ can be decided with $\lceil log(\lceil n/m\rceil + \lfloor n/m\rfloor + 1)\rceil$ sequential queries to A but not with $\lceil log(\lceil n/m\rceil + \lfloor n/m\rfloor + 1)\rceil - 1$ . The lower bounds above hold for nonrecursive recursively enumerable sets A as well. (Interestingly, the lower bounds for recursively enumerable sets follow by a general result from the lower bounds for semirecursive sets.) In particular, every nonzero truth-table degree contains a set A such that ODD A n cannot be decided with n - 1 parallel queries to A. Since every truth-table degree also contains a set B such that ODD B n can be decided with one query to B, a set's query complexity depends more on its structure than on its degree. For a fixed set A, $Q(n,A) = \{S: S \text{can be decided with n sequential queries to} A\},\\Q_\parallel(n, A) = \{S: S \text{can be decided with n parallel queries to} A\}.$ We show that if A is semirecursive or recursively enumerable, but is not recursive, then these classes form non-collapsing hierarchies: $\bullet Q(0,A) \subset Q(1,A) \subset Q(2,A) \subset\cdots\\ \bullet Q_\parallel(0, A) \subset Q_\parallel(1, A) \subset Q_\parallel(2,A) \subset\cdots$ The same is true if A is a jump. (shrink)

During the past decade there has been a very effective campaign against any explanation of remembering whose basic concept is that of a causally mediating trace. This paper attempts to provide such an explanation by presenting an explicit deductive argument for the existence of the memory trace. The conclusion is shown to follow from reasonable, empirical assumptions of which the most interesting is a spatiotemporal contiguity thesis. Set-theoretic techniques are used to provide a framework of analysis and probabilistic definitions of (...) some causal notions, as that of a causal chain, are presented. (shrink)

Nelson, L. The impossibility of the "Theory of knowledge."--Moore, G. E. Four forms of skepticism.--Lehrer, K. Skepticism & conceptual change.--Quine, W. V. Epistemology naturalized.--Rozeboom, W. W. Why I know so much more than you do.--Price, H. H. Belief and evidence.--Lewis, C. I. The bases of empirical knowledge.--Malcolm, N. The verification argument.--Firth, R. The anatomy of certainty.--Chisholm, R. M. On the nature of empirical evidence.--Meinong, A. Toward an epistemological assessment of memory.--Brandt, R. The epistemological status of memory beliefs.--Malcolm, N. A definition (...) of factual memory.--Martin, C. B. and Deutscher, M. Remembering.--Ayer, A. J. Basic propositions.--Reichenbach, H. Are phenomenal reports absolutely certain?--Goodman, N. Sense and certainty.--Lewis, C. I. The given element in empirical knowledge.--Alston, W. Varieties of privileged access.--Schlick, M. The foundation of knowledge.--Russell, B. Epistemological premisses, basic propositions, and factual premisses.--Firth, R. Coherence, certainty, and epistemic priority.--Sellars, W. Empiricism and the philosophy of mind.--Quinton, A. The foundations of knowledge. (shrink)

In contrast to many of his contemporaries, A. J. Ayer was an analytic philosopher who had sustained throughout his career some interest in developments in the work of his ‘continental’ peers. Ayer, who spoke French, held friendships with some important Parisian intellectuals, such as Camus, Bataille, Wahl and Merleau-Ponty. This paper examines the circumstances of a meeting between Ayer, Merleau-Ponty, Wahl, Ambrosino and Bataille, which took place in 1951 at some Parisian bar. The question under discussion during this meeting was (...) whether the sun existed before humans did, over which the various philosophers disagreed. This disagreement is tangled with a variety of issues, such as Ayer’s critique of Heidegger and Sartre (inherited from Carnap), Ayer’s response to Merleau-Ponty’s critique of empiricism, and Bataille’s response to Sartre’s critique of his notion of ‘unknowing’, which uncannily resembles Ayer’s critique of Sartre. Amidst this tangle one finds Bataille’s statement that an ‘abyss’ separates English from French and German philosophy, the first recorded announcement of the analytic-continental divide in the twentieth century. References H. B. Acton. Philosophy in France. Philosophy, 22(82):161-166, 1947. http://dx.doi.org/10.1017/S0031819100025365 A. J. Ayer & T. Honderich. An Interview with A. J. Ayer. In A. P. Griffiths, editor, A.J. Ayer Memorial Essays, pages 209-226. Cambridge, Cambridge University Press, 1991. A. J. Ayer. Language, Truth and Logic. London, Gollancz, 1936. A. J. Ayer. Novelist-Philosopher, Jean-Paul Sartre. Horizon, 12(67):12–26, & 12(68):101-110, 1945. A. J. Ayer. Novelist-Philosopher, Albert Camus. Horizon, 13(75):155-168, 1946a. A. J. Ayer. Secret Session. Polemic, 2:60-63, 1946b. A. J. Ayer. Some Aspects of Existentialism. In F. Watts, editor, H. B. Acton. Philosophy in France. Philosophy, 22(82):161-166, 1947. http://dx.doi.org/10.1017/S0031819100025365 A. J. Ayer & T. Honderich. An Interview with A. J. Ayer. In A. P. Griffiths, editor, A.J. Ayer Memorial Essays, pages 209-226. Cambridge, Cambridge University Press, 1991. A. J. Ayer. Language, Truth and Logic. London, Gollancz, 1936. A. J. Ayer. Novelist-Philosopher, Jean-Paul Sartre. Horizon, 12(67):12–26, & 12(68):101-110, 1945. A. J. Ayer. Novelist-Philosopher, Albert Camus. Horizon, 13(75): 155-168, 1946a. A. J. Ayer. Secret Session. Polemic, 2:60-63, 1946b. A. J. Ayer. Some Aspects of Existentialism. In F. Watts, editor, The Rationalist Annual, pages 5-13. London, Watts & Co, 1948. A. J. Ayer. The Definition of Liberty: Jean-Paul Sartre’s Doctrine of Commitment. The Listener, 44(1135):633-634, 1950. A. J. Ayer. Jean-Paul Sartre. Encounter, 15(4):75-77, 1961. A. J. Ayer. On Existentialism. Modern Languages, 48(1):1-12, 1967. A. J. Ayer. Sartre on the Jews. The Spectator, 211(7317):394-395, 1968. A. J. Ayer. Reflections on Existentialism. In Metaphysics and Common Sense, pages 203-218. London, Macmillan,1969. A. J. Ayer. Part of my Life: The Memoirs of a Philosopher. New York, Harcourt Brace Janovich, 1977. A. J. Ayer. Philosophy in the Twentieth Century. London, Unwinn, 1984. A. J. Ayer. A Defence of Empiricism. In A. P. Griffiths, editor, A.J. Ayer Memorial Essays, pages 1-16. Cambridge, Cambridge University Press, 1991. G. Bataille. Un-knowing and its Consequences. A. Michelson, translator, October, 36:80-85, 1986. G. Bataille. On Nietzsche. B. Boone, translator. London, Continuum, 2004. G. Bataille, I. Waldberg, & R. Lebel, editors, Encyclopaedia Acephalica. (I. White, D. Faccini, A. Michelson, J. Harman, A. Lykiard, et al., translators.) London, Atlas Press, 1995. I. Berlin. Review of My Philosophy (And other Essays on the Moral and Political Problems of our Time) by Benedetto Croce. Mind, 61(244):574-584, 1952. T. Carman. Continental Themes in Analytic Philosophy. In C. V. Boundas, editor, Columbia Companion to Twentieth-Century Philosophies, pages 351-366. New York, Columbia University Press, 2007. R. Carnap. The Elimination Of Metaphysics Through Logical Analysis of Language (A. Pap, translator). In A. J. Ayer, editor, Logical Positivism, pages 60-81. Glencoe, IL, The Free Press, 1959. J. Chase & J. Reynolds. Analytic versus Continental: Arguments on the Methods and Value of Philosophy. Durham, Acumen, 2010. S. Collini. Absent Minds: Intellectuals in Britain. Oxford: Oxford University Press, 2006. S. Critchley. Very Short Introduction to Continental Philosophy. Oxford, Oxford University Press, 2001. H. J. Dahms. Neue Sachlichkeit in the Architecture and Philosophy of the 1920s. In S. Awodey & C. Klein, editors, Carnap Brought Home: The View From Jena, pages 357-376. Chicago, Open Court, 2004. P. J. R. Dempsey. The Psychology of Sartre. Cork, Cork University Press,1950. V. Descombes. Modern French Philosophy. Cambridge, Cambridge University Press, 1980. B. Flynn. Merleau-Ponty. In E. N. Zalta, editor, The Stanford Encyclopedia of Philosophy, , 2004. M. Friedman. A Parting of the Ways: Carnap, Cassirer, and Heidegger. Chicago, Open Court, 2000. G. Gabriel. Carnap’s “Elimination of Metaphysics Through the Logical Analysis of Language:” A Retrospective Consideration of the Relationship between Continental and Analytic Philosophy. In P. Parrini, W. C. Salmon, & M. H. Salmon, editors, Logical Empiricism: Historical and Contemporary Perspectives, pages 30-42. Pittsburgh, University of Pittsburgh Press, 2003. P. Galison. Constructing Modernism: The Cultural Location of Aufbau. In R. N. Giere, A. Richardson, editors, Origins of Logical Empiricism, pages 17-44. Minneapolis, University of Minnesota, 1996. S. Glendinning. In the Name of Phenomenology. London, Routledge, 2007. Gary Gutting. Continental Philosophy of Science. Oxford, Blackwell, 2005. M. Hammond, J. Howarth, & R. Kent. Understanding Phenomenology. Oxford, Blackwell, 1995. M. Heidegger. Kant and the Problem of Metaphysics. R. Taft, translator. Bloomington: Indiana University Press, 1997. M. Heidegger. Pathmarks. W. MacNeil, editor. Cambridge, Cambridge University Press, 1998. J. M. Heimonet. Bataille and Sartre: The Modernity of Mysticism. Diacritics, 26(2):59-73, 1996. http://dx.doi.org/10.1353/dia.1996.0016 J. Himanka. Does the Earth Move?: A Search for a Dialogue Between Two Traditions of Contemporary Philosophy. The Philosophical Forum, 31(1):57-83, 2000. http://dx.doi.org/10.1111/0031-806X.00028 A. M. Hollywood. The Philosopher – Sartre – and Me. In Sensible Ecstasy: Mysticism, Sexual Difference and the Demands of History, pages 25-36. Chigago, University of Chicago Press, 2002. T. E. Hulme. A Note-Book. The New Age, 18(8):186-189, 1915. T. E. Hulme. A Note-Book. The New Age, 18(10):234-236, 1916. S. P. James. Merleau-Ponty, Metaphysical Realism and the Natural World. International Journal of Philosophical Studies, 15(4): 501-519, 2007. S. Käufer. Logic. In H. Dreyfus & M. Wrathall, editors, A Companion to Heidegger, pages 141-155. Oxford, Blackwell, 2005. E. W. Knight. Literature Considered as Philosophy: The French Example. New York, Macmillan, 1958. C. A. Mace. Review of The Psychology of Sartre by Peter J. R. Dempsey. Mind, 61(243):425-427, 1952. B. Magee. Men of Ideas: Some Creators of Contemporary Philosophy. Oxford, Oxford University Press, 1982. A. R. Manser. Sartre and "Le Néant." Philosophy, 36(137):177-187, 1961. http://dx.doi.org/10.1017/S0031819100058022 M. Martin. Sensible Appearances. In T. Baldwin, editor, The Cambridge History of Philosophy, 1870-1945, pages 521-532. Cambridge, Cambridge University Press, 2003. http://dx.doi.org/10.1017/CHOL9780521591041.044 PMid:14585038 F. Maubert. Francis Bacon, sa dernière interview: “Je poursois le peinture car je sais qu’il n’est pas possible de l’arreter.” Paris-Match, 2242:92-93, 1992. J. M. E. McTaggart. The Unreality of Time. Mind, 17:457-474, 1908. http://dx.doi.org/10.1093/mind/XVII.4.457 M. Merleau-Ponty. Phenomenology of Perception. C. Smith, translator. London, Routledge, 2002. M. Merleau-Ponty. Texts and Dialogues: On Philosophy, Politics, and Culture. H. J. Silverman, editor (M. B. Smith, et al., translators). New York: Humanity Books, 2005. M. Merleau-Ponty & T. Baldwin. Maurice Merleau-Ponty. London, Routledge, 2004. H. Meyerhoff. Emotive and Existentialist Theories of Ethics. The Journal of Philosophy, 48(25):769-783, 1951. http://dx.doi.org/10.2307/2021208 I. Murdoch. Sartre, Romantic Rationalist. Cambridge, Bowes and Bowes, 1953. I. Murdoch. The Idea of Perfection. In The Sovereignty of Good, pages 1-44. London, Routledge, 2001. A. Oliver. A Few More Remarks on Logical Form. Proceedings of the Aristotelian Society, 99:247-272, 1999. A. Plantinga. An Existentialist’s Ethics. Review of Metaphysics, 12(2):235-56, 1958. S. Priest. Merleau-Ponty. New York, Routledge, 2003. W. V. Quine. Word and Object. M.I.T. Press, Cambridge, MA, 1960. A. Quinton. Which Philosophy is Modernistic? In Thoughts and Thinkers, pages 39-51. New York, Holmes and Meier, 1982. J. Rée. English Philosophy in the Fifties. Radical Philosophy, 65:3-21, 1993. S. Richmond. Sartre and Bergson: A Disagreement about Nothingness. International Journal of Philosophical Studies, 15(1):77-95, 2007. http://dx.doi.org/10.1080/09672550601143201 B. Rogers. Ayer: A Life. New York, Grove Press, 2002. K. Romdenh-Romluc. Merleau-Ponty and Phenomenology of Perception. London, Routledge, 2009. G. E. Rosado Haddock. The Young Carnap’s Unknown Master: Husserl's Influence on Der Raum and Der logische Aufbau der Welt. Aldershot, Ashgate, 2008. B. Russell. Nightmares of Eminent Persons And Other Stories. London, The Bodley Head, 1954. G. Ryle, H. A. Hodges, & H. B. Acton. Symposium: Phenomenology. Proceedings of the Aristotelian Society, 11:68-115, 1932. G. Ryle. Phenomenology vs. The Concept of Mind. In Collected Papers: Critical Essays, Vol. 1, pages 179-196. London, Hutchinson, 1971. J. P. Sartre. Un nouveau mystique. In Critiques littéraires (Situations I), pages 174-229. Paris, Gallimard, 1975. J. Skorupski. The Presidential Address: The Legacy of Modernism. Proceedings of the Aristotelian Society, 91:1-19, 1990. A. Stone. Heidegger and Carnap on the Overcoming of Metaphysics. In S. Mulhall editor, Martin Heidegger, pages 217-244. Aldershot, Ashgate, 2006. M. Surya, K.Fijalkowski, & M. Richardson. Georges Bataille: An Intellectual Biography. K. Fijalkowski & M. Richardson, translators. London, Verso, 2002. C. Taylor, & Alfred J. Ayer. Symposium: Phenomenology and Linguistic Analysis. Proceedings of the Aristotelian Society, Supplementary Volumes, 33:93-124, 1959. N. Trakakis. Meta-philosophy of Religion: The Analytic-Continental Divide in Philosophy of Religion. Ars Disputandi, 7, 2007. J. Wahl. The Pluralist Philosophies of England and America. F. Rothwell, translator. London, The Open Court Company, 1925. J. Wahl. Vers le Concret. Paris, Vrin, 1932. J. Wahl. Nietzsche et la mort de dieu: note a propos du “Nietzsche” de Jaspers. Acéphale, 2:22-24, 1937. I. Waldberg & Patrick Waldberg. Un Amour Acéphale, Correspondence 1940-49. Paris, Editions de la Différence, 1992. M. Warnock. The Philosophy of Sartre. London, Hutchinson, 1965. D. Wiggins. Truth, Invention, and the Meaning of Life. In G. Sayre-McCord, editor, Essays on Moral Realism, pages 127-65. Ithaca, Cornell University Press, 1988. C. Wilson. The Outsider. London, Gollancz, 1956. D. Zahavi. Phenomenology and Metaphysics. In D. Zahavi, S. Heinämaa, & H. Ruin, editors, Metaphysics, Facticity, Interpretation: Phenomenology in the Nordic Countries, pages 3-22. Dordrecht, Kluwer, 2003. (shrink)

Introduction -- "Mediating estrangement: a theory for diplomacy," review of International Studies (April, l987), 13, pp. 91-110 -- "Arms, hostages and the importance of shredding in earnest: reading the national security culture," Social Text (Spring, 1989), 22, pp. 79-91 -- "The (s)pace of international relations: simulation, surveillance and speed," International Studies Quarterly (September 1990), pp. 295-310 -- "Narco-terrorism at home and abroad," Radical America (December 1991), vol. 23, nos. 2-3, pp. 21-26 -- "The terrorist discourse: signs, states, and systems of (...) global political violence," World Security: Trends and Challenges at Century's End, ed. M. Klare and D. Thomas, St. Martin's Press (1991), pp. 237-265. -- "S/N: international theory, balkanisation, and the new world order," Millennium Journal for International Studies (Winter 1991), vol. 20, no. 3, pp. 485-506 -- "Cyberwar, videogames, and the Gulf War syndrome," Antidiplomacy: Spies, Terror, Speed and War (Cambridge, Ma and Oxford, UK, 1992), pp. 173-202 -- "Act IV: fathers (and sons), mother courage (and her children), and the dog, the cave, and the beef," in Global Voices: Dialogues in International Relations, ed. James N. Rosenau (Boulder, Co and Oxford, Uk: Westview Press, 1993), pp. 83-96 -- "The value of security: Hobbes, Marx, Nietzsche and Baudrillard," in the Political Subject of Violence, ed. G.M. Dillon and David Campbell, Manchester University Press (1993), pp. 94-113 -- "The C.I.A., Hollywood, and sovereign conspiracies," Queen's Quarterly (Summer 1993), vol. 100, no. 2, pp. 329-347 -- "Great men, monumental history, and not-so-grand theory: a meta-review of Henry Kissinger's diplomacy," Forum review article, Mershon International Studies Review (april 1995), vol. 39, no. 1, pp. 173-180 -- "Post-theory: the eternal return of ethics in international relations," New Thinking in International Relations Theory, eds. Michael Doyle and John Ikenberry (New York: Westview Press, 1997), pp. 55-75 -- "Cyber-deterrence," Wired (September 1994), 2.09., p. 116 (plus 7 pages) -- "Global swarming, virtual security, and Bosnia," the Washington Quarterly (Summer 1996), vol. 19, n0. 3., pp. 45- 56 -- "The simulation triangle," 21c (issue 24, 1997), pp. 19-25 -- "Virtuous war and hollywood," the Nation (3 april 2000), pp. 41-44 -- "Virtuous war/virtual theory," International Affairs (fall, 2000), pp. 771-788 -- "Hedley Bull and the case for a post-classical approach," International Relations at LSE: a History of 75 Years (London: Millennium Publishing Group, 2003), pp. 61-87. "the illusion of a grand strategy, op-ed," the New york Times, may 25, 2001 -- "In terrorem: before and after 9/11," Worlds in Collision, eds. Ken Booth and Tim Dunne (New York: Palgrave Macmillan, 2002), pp. 101-116 -- "The question of information technology in international relations," Millennium Journal of International Studies (vol. 32, no. 3, 2003), pp. 441-456 -- "The illusion of a grand strategy," op-ed, the New York Times, may 25, 2001. (shrink)

One recursively enumerable real α dominates another one β if there are nondecreasing recursive sequences of rational numbers (a[n] : n ∈ ω) approximating α and (b[n] : n ∈ ω) approximating β and a positive constant C such that for all n, C(α − a[n]) ≥ (β − b[n]). See [R. M. Solovay, Draft of a Paper (or Series of Papers) on Chaitin’s Work, manuscript, IBM Thomas J. Watson Research Center, Yorktown Heights, NY, 1974, p. 215] and [G. J. (...) Chaitin, IBM J. Res. Develop., 21 (1977), pp. 350–359]. We show that every recursively enumerable random real dominates all other recursively enumerable reals. We conclude that the recursively enumerable random reals are exactly the Ω-numbers [G. J. Chaitin, IBM J. Res. Develop., 21 (1977), pp. 350–359]. Second, we show that the sets in a universal Martin-Lof test for randomness have random measure, and every recursively enumerable random number is the sum of the measures represented in a universal Martin-Lof test. (shrink)

The classical theory of preference among monetary bets represents people as expected utility maximizers with concave utility functions. Critics of this account often rely on assumptions about preferences over wide ranges of total wealth. We derive a prediction of the theory that bears on bets at any fixed level of wealth, and test the prediction behaviorally. Our results are discrepant with the classical account. Competing theories are also examined in light of our data.

In this paper we ask the question: to what extent do basic set theoretic properties of Loeb measure depend on the nonstandard universe and on properties of the model of set theory in which it lies? We show that, assuming Martin's axiom and κ-saturation, the smallest cover by Loeb measure zero sets must have cardinality less than κ. In contrast to this we show that the additivity of Loeb measure cannot be greater than ω 1 . Define $\operatorname{cof}(H)$ as (...) the smallest cardinality of a family of Loeb measure zero sets which cover every other Loeb measure zero set. We show that $\operatorname{card}(\lfloor\log_2(H)\rfloor) \leq \operatorname{cof}(H) \leq \operatorname{card}(2^H)$ , where card is the external cardinality. We answer a question of Paris and Mills concerning cuts in nonstandard models of number theory. We also present a pair of nonstandard universes $M \preccurlyeq N$ and hyperfinite integer H ∈ M such that H is not enlarged by N, 2 H contains new elements, but every new subset of H has Loeb measure zero. We show that it is consistent that there exists a Sierpiński set in the reals but no Loeb-Sierpiński set in any nonstandard universe. We also show that it is consistent with the failure of the continuum hypothesis that Loeb-Sierpiński sets can exist in some nonstandard universes and even in an ultrapower of a standard universe. (shrink)

Let κ R be the least ordinal κ such that L κ (R) is admissible. Let $A = \{x \in \mathbb{R} \mid (\exists\alpha such that x is ordinal definable in L α (R)}. It is well known that (assuming determinacy) A is the largest countable inductive set of reals. Let T be the theory: ZFC - Replacement + "There exists ω Woodin cardinals which are cofinal in the ordinals." T has consistency strength weaker than that of the theory ZFC + (...) "There exists ω Woodin cardinals", but stronger than that of the theory ZFC + "There exists n Woodin Cardinals", for each n ∈ ω. Let M be the canonical, minimal inner model for the theory T. In this paper we show that A = R ∩ M. Since M is a mouse, we say that A is a mouse set. As an application, we use our characterization of A to give an inner-model-theoretic proof of a theorem of Martin which states that for all n, every Σ * n real is in A. (shrink)

Ethical mysticism, by S. Coit.--The ethical import of history, by D. S. Muzzey.--The tragic and heroic in life, by W. M. Salter.--Distinctive features of the ethical movement, by A. W. Martin.--Ethical experience as the basis of religious education, by H. Neumann.--"All men are created equal," by G. E. O'Dell.--How far is art an aid to religion? by P. Chubb.--Evolution and the uniqueness of man, by H. J. Bridges.--The spiritual outlook on life, by H. J. Golding.--The ethics of Abu'l Ala (...) al Ma'arri, by N. Schmidt.--Life's unused moral force, by H. Snell.--Is the ideal real? by G. A. Smith.--Some ethical tendencies in the professions, by R. D. Kohn.--On the art of living, by W. Boerner.--The relation of the ethical ideal to social reform, by J. L. Elliott.--Concerning tolerance, by R. F. Dewey.--Ethical culture in Germany after the war, by R. Penzig.--A confession of faith, by S. B. Weston.--"Hearing the witnesses," by J. Gutmann. (shrink)

Machine generated contents note: -- List of Contributors -- Acknowledgments -- Introduction: Towards a New Literary Humanism; A. Mousley -- PART I: LITERATURE_AS ERSATZ_THEOLOGY: DEEP SELVES -- Introduction; A. Mousley -- Faith, Feeling, Reality: Anne Brontë as an Existentialist Poet; R. Styler -- Virginia Woolf, Sympathy and Feeling for the Human; K. Martin -- Being Human and being Animal in Twentieth-Century Horse-Whispering Writings: 'Word-Bound Creatures' and 'the Breath of Horses'; E. Graham_ -- Judith Butler and the Catachretic Human; I. (...) Arteel -- PART II: SCEPTICISM,_OR HUMANISM AT THE LIMIT -- Introduction; A. Mousley -- Shakespeare's Refusers: Humanism at the Limit; R. Chamberlain -- Why Eliot Killed Lydgate: 'Joyful Cruelty' in Middlemarch; S. Earnshaw -- Atomised: Mary Midgley and Michel Houellebecq; J. Wallace -- Humanity without Itself: Robert Musil, Giorgio Agamben and Posthumanism; I. Callus_& S. Herbrechter -- PART III: LITERATURE, DEMOCRACY, HUMANISMS FROM BELOW -- Introduction; A. Mousley -- Mobilising Unbribable Life: The Politics of Contemporary Poetry in Bosnia and Herzegovina; D. Arsenijevic -- HUM (-an, -ane, -anity, -anities, -anism, -anise); M. Robson -- Humanising Marx: Theory and Fiction in the Fin de Siècle British Socialist Periodical; D. Mutch -- Civic Humanism: Said, Brecht and Coriolanus; N. Wood -- References -- Index. (shrink)

You must either save a group of m people or a group of n people. If there are no morally relevant diff erences among the people, which group should you save? is problem is known as the number problem. e recent discussion has focussed on three proposals: (i) Save the greatest number of people, (ii) Toss a fair coin, or (iii) Set up a weighted lottery, in which the probability of saving m people is m / m + n , (...) and the probability of saving n people is n / m + n . is contribution examines a fourth alternative, the mixed solution, according to which both fairness and the total number of people saved count. It is shown that the mixed solution can be defended without assuming the possibility of interpersonal comparisons of value. (shrink)

Dearly beloved, I want to thank Brother Tim O’Connor for his candid reactions to my published sermons this Sunday morning, and I welcome you all, in the spirit of ecumenicism, to the Church of Fundamentalist Naturalism. Before the collection plate is passed, let me tell you a bit more about the Church. Our symbol is of course the Darwin-fish, the four-legged evolver that echoes the ancient fish symbol of Christianity. I was wearing my Darwin-fish lapel pin at an evolutionary theory (...) conference a few years ago, and the physicist Murray Gell-Mann came up to me and after reminding me of what he said was the first known acronym-- I?1??, the Greek word for fish-- I??”?? ??4??”? 1,”< ?4”? ???0?, Jesus Christ, God the son and savior–he asked me what D-A-R-W-I-N stood for. I said I’d get back to him and went off to have a cup of coffee while dredging up what I could of my high school Latin. I came up with something I’m quite happy with: Delere Auctorem Rerum Ut Universum Infinitum Noscere: Destroy the Author of things in order to understand the infinite universe! That, it seems to me, is our key insight about Darwin’s dangerous idea: in a single non-miraculous stroke, it unites the world of meaning and purpose and design with the world of meaningless matter and mechanism, cause and effect. (shrink)

A is for Alice and astronomers arguing about acceleration -- B is for Bernard's body-exchange machine -- C is for the Catholic cannibal -- D is for Maxwell's demon -- E is for evolution (and an embarrassing problem with it) -- F is for the forms lost forever to the prisoners of the cave -- G is for Galileo's gravitational balls -- H is for Hume's shades -- I is for the identity of indiscernibles -- J is for Henri Poincaré (...) and alternative geometries -- K is for the Kritik and Kant's kind of thought experiments -- L is for Lucretius' spear -- M is for Mach's motionless chain -- N is for Newton's bucket -- O is for Olbers' paradox -- P is for Parfit's person -- Q is for the questions raised by thought experiments quotidiennes -- R is for the rule-ruled room -- S is for Salvatius' ship, sailing along its own space-time line -- T is for the time-travelling twins -- U is for the universe, and Einstein's attempts to understand it -- V is for the vexed case of the violinist -- W is for Wittgenstein's beetle -- X is for xenophanes and thinking by examples -- Y is for counterfactuals and a backwards approach to history -- Z is for Zeno and the mysteries of infinity. (shrink)

The nanomedicine field is fast evolving toward complex, “active,” and interactive formulations. Like many emerging technologies, nanomedicine raises questions of how human subjects research (HSR) should be conducted and the adequacy of current oversight, as well as how to integrate concerns over occupational, bystander, and environmental exposures. The history of oversight for HSR investigating emerging technologies is a patchwork quilt without systematic justification of when ordinary oversight for HSR is enough versus when added oversight is warranted. Nanomedicine HSR provides an (...) occasion to think systematically about appropriate oversight, especially early in the evolution of a technology, when hazard and risk information may remain incomplete. This paper presents the consensus recommendations of a multidisciplinary, NIH-funded project group, to ensure a science-based and ethically informed approach to HSR issues in nanomedicine, and to integrate HSR analysis with analysis of occupational, bystander, and environmental concerns. We recommend creating two bodies, an interagency Human Subjects Research in Nanomedicine (HSR/N) Working Group and a Secretary's Advisory Committee on Nanomedicine (SAC/N). HSR/N and SAC/N should perform 3 primary functions: (1) analysis of the attributes and subsets of nanomedicine interventions that raise HSR challenges and current gaps in oversight; (2) providing advice to relevant agencies and institutional bodies on the HSR issues, as well as federal and federal-institutional coordination; and (3) gathering and analyzing information on HSR issues as they emerge in nanomedicine. HSR/N and SAC/N will create a home for HSR analysis and coordination in DHHS (the key agency for relevant HSR oversight), optimize federal and institutional approaches, and allow HSR review to evolve with greater knowledge about nanomedicine interventions and greater clarity about attributes of concern. (shrink)

We study the expressive power in the finite of the logic Fixed-Point+Counting, the extension of first-order logic which is obtained through adding both the fixed-point constructor and the ability to count. To this end an isomorphism preserving (`generic') model of computation is introduced whose PTime restriction exactly corresponds to this level of expressive power, while its PSpace restriction corresponds to While+Counting. From this model we obtain a normal form which shows a rather clear separation of the relational vs. the arithmetical (...) side of the algorithms involved. In parallel, we study the relations of Fixed-Point+Counting with the infinitary logics L r ∞ω (∃ ≥ m ) m∈ω and the corresponding pebble games. The main result, however, involves the concept of an arithmetical invariant. By this we mean a functor taking every finite relational structure to an expansion of (an initial segment of) the standard arithmetical structure. In particular its values are linearly ordered structures. We establish the existence of a family of arithmetical invariants (J r ) r≥ 1 with the following properties: $\bullet$ The invariants themselves can be evaluated in polynomial time. $\bullet$ A class of finite relational structures is definable in Fixed-Point+Counting if and only if membership can be decided in polynomial time on the basis of the values of one of the invariants. $\bullet$ The invariant J r classifies all finite relational structures exactly up to equivalence with respect to the logic L r ∞ω (∃ ≥ m ) m∈ω . We also give a characterization of Fixed-Point+Counting in terms of sequences of formulae in the L r ωω (∃ ≥ m ) m∈ω : It corresponds exactly to the polynomial time computable families (φ n ) n∈ω in these logics. Towards a positive assessment of the expressive power of Fixed-Point+Counting, it is shown that the natural extension of fixed-point logic by Lindström quantifiers, which capture all the PTime computable properties of cardinalities of definable predicates, is strictly weaker than what we get here. This implies in particular that every extension of fixed-point logic by means of monadic Lindstrom quantifiers, which stays within PTime, must be strictly contained in Fixed-Point+Counting. (shrink)