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)
Tyler Burge convinced us that names are predicates in at least some of their occurrences: -/- There are relatively few Alfreds in Princeton. -/- Names, when predicates, satisfy the being-called condition: schematically, a name "N" is true of a thing just in case that thing is called N. This paper defends the unified view that names are predicates in all of their occurrences. I follow Clarence Sloat, Paul Elbourne, and Ora Matushansky in saying that when a name seems to (...) occur bare in an argument position of a predicate, it is really occurring in the predicate position of a definite description with an unpronounced "the". I call these "denuded definite descriptions". There are good linguistic reasons for defending the denuded-definites view. For example, it explains why "the" cannot be dropped in a sentence like the following: -/- The ever-popular Bill will be speaking this afternoon; The taller Maria is downstairs. -/- The definite article occuring before a name doesn't get pronounced when it's right next to the name. In technical terms, it gets smushed together with it. But the smushing can't happen when another phrase intervenes. The view survives philosophical objections. Denuded definite descriptions with names are incomplete definite descriptions since most names have mutliple bearers. Incomplete definite descriptions are in general rigid, though. So the view survives Kripke's modal argument. (shrink)
Some of the most interesting recent work in philosophy of language and metaphysics is focused on questions about propositions, the abstract, truth-bearing contents of sentences and beliefs. The aim of this guide is to give instructors and students a road map for some significant work on propositions since the mid-1990s. This work falls roughly into two areas: challenges to the existence of propositions and theories about the nature and structure of propositions. The former includes both a widely discussed puzzle about (...) propositional designators as well as direct and indirect arguments against the existence of propositions. The latter is dominated by what is currently the central debate about the metaphysics of propositions, i.e. whether they are structured, composite entities or unstructured ontological simples. This issue has eclipsed older debates about whether propositions can be identified with sets of possible worlds or other kinds of sentence intensions. Author Recommends 1. Soames, Scott. 'Direct Reference, Propositional Attitudes, and Semantic Content.' Philosophical Topics 15 (1987): 47–87. Reprinted in Propositions and Attitudes . Eds. N. Salmon and S. Soames. Oxford: Oxford University Press, 1988. 197–239. Essential groundwork for more recent work on propositions. Soames gives a careful and exacting presentation of the case against identifying propositions with sets of possible worlds or other truth-supporting circumstances. Also contains a detailed statement of the Russellian conception of propositions on which propositions are ordered sets of objects, properties and relations. 2. King, Jeffrey. 'Designating Propositions.' The Philosophical Review 111 (2002): 341–71. Sometimes substituting a definite description for a corresponding 'that'-clause can lead to bizarre changes in truth-conditions: compare 'Bill fears that Hillary will be president' with 'Bill fears the proposition that Hillary will be president'. This puzzle about propositional designators threatens the relational analysis of propositional attitude reports, the view that 'believes' expresses a relation to the proposition designated by its 'that'-clause, and thereby poses an indirect threat to the existence of propositions. King's solution posits an ambiguity in verbs like 'fear' that embed both 'that'-clauses and definite descriptions. 3. Jubien, Michael. 'Propositions and the Objects of Thought.' Philosophical Studies 104 (2001): 47–62. A direct attack on the existence of propositions. Jubien deploys an analogue of the problem that Paul Benacerraf raised for set-theoretical reductions of numbers against metaphysical reductions of propositions. Just as numbers can be reduced to sets in many different ways, any reduction of propositions brings with it equally good variants, thus making any such reduction arbitrary and unmotivated. The only alternative is to treat propositions as abstract metaphysical primitives. As Jubien argues, however, abstract primitive entities are incapable of doing what propositions must do, i.e. represent objects and states of affairs on their own, without the input of thinking subjects. The upshot is the propositions cannot be reduced and they cannot be primitive, and so they must not exist. 4. Hanks, Peter. 'How Wittgenstein Defeated Russell's Multiple Relation Theory of Judgment.' Synthese 154 (2007): 121–46. Scepticism about propositions has recently led some philosophers, Jubien included, to resuscitate Russell's multiple relation theory of judgment, the idea that judgment is a many-place relation to objects, properties and relations. This paper explains why Russell himself abandoned that theory, and why the theory is still refuted by an objection due to Wittgenstein. 5. Hofweber, Thomas. 'Inexpressible Properties and Propositions.' Oxford Studies in Metaphysics . 2 vols. Ed. D. Zimmerman. Oxford: Oxford University Press, 2006. 155–206. An indirect attack on the existence of propositions. Hofweber argues that sentences like 'Bill believes something that Hillary asserted' do not commit us to the existence of propositions. His view is that propositional quantification is an instance of what he calls 'internal' or 'inferential role' quantification, a kind of quantification that carries no ontological implications. 6. Schiffer, Stephen. The Things We Mean . Oxford: Oxford University Press, 2003. esp. chs 1–2. Schiffer defends his theory of pleonastic propositions, on which propositions are unstructured, have no parts, and are very finely grained. 7. Bealer, George. 'Propositions.' Mind 107 (1998): 1–32. Bealer defends his algebraic theory of propositions, which, like Schiffer's pleonastic account, treats propositions as unstructured metaphysical simples. 8. King, Jeffrey. The Nature of and Structure of Content . Oxford: Oxford University Press, 2007. The best developed current theory of the structure in structured propositions. King identifies propositions with certain kinds of facts in which objects, properties and relations are bound together by amalgams of syntactic and semantic relations. 9. Hanks, Peter. 'Recent Work on Propositions.' Philosophy Compass 4 (2009): 1–18. A survey of work on propositions since the mid-1990s that complements this teaching and learning guide. Contains responses to Jubien's and Hofweber's arguments against propositions and critical discussions of Schiffer's pleonastic propositions and King's theory of propositional structure. Online Resources 1. http://plato.stanford.edu/entries/propositions/ Propositions (Matthew McGrath) 2. http://plato.stanford.edu/entries/propositions-structured/ Structured Propositions (Jeffrey King) 3. http://plato.stanford.edu/entries/propositions-singular/ Singular Propositions (Greg Fitch) Sample Partial Syllabus The following partial syllabus can be used as a unit on recent work on propositions in graduate level courses in philosophy of language or metaphysics. Week 1: A Substitution Puzzle About Propositional Designators King, Jeffrey. 'Designating Propositions'. Moltmann, Friederike. 'Propositional Attitudes Without Propositions.' Synthese 135 (2003): 77–118. Week 2: The Benacerraf Problem and Propositional Representation Benacerraf, Paul. 'What Numbers Could Not Be.' Philosophical Review 74 (1965): 47–73. Jubien, Michael. 'Propositions and the Objects of Thought.' Week 3: Propositional Quantification Hofweber, Thomas. 'Inexpressible Properties and Propositions'. Hofweber, Thomas. 'A Puzzle about Ontology.' Noûs 39 (2005): 256–83. Week 4: Schiffer on Pleonastic Propositions Schiffer, Stephen. 'Language-Created Language-Independent Entities.' Philosophical Topics 24 (1996): 149–67. Schiffer, Stephen. The Things We Mean , chs 1–2. Week 5: King on Structured Propositions King, Jeffrey. 'Structured Propositions and Complex Predicates.' Noûs , 29 (1995): 516–35. King, Jeffrey. The Nature and Structure of Content , chs 1–3. Focus Questions 1. Why does identifying propositions with sentence intensions, e.g. sets of possible worlds, 'require the attitudes to have a particular sort of closure under logical consequence, which they clearly don't have' (Mark Richard)? 2. How does the difference between (a) and (b) pose a threat to the existence of propositions? (a) Bill fears that Hillary will be president. (b) Bill fears the proposition that Hillary will be president. 3. What is the Benacerraf problem for metaphysical reductions of propositions? 4. Why must a proposition represent 'on its own cuff' (Michael Jubien)? Why is this a problem for the view that propositions are primitive abstract entities? 5. What does it mean to say that propositions are structured ? Give two different accounts of what propositional structure might be. (shrink)
P. T. Geach, notoriously, holds the Relative Identity Thesis, according to which a meaningful judgment of identity is always, implicitly or explicitly, relative to some general term. ‘The same’ is a fragmentary expression, and has no significance unless we say or mean ‘the same X’, where ‘X’ represents a general term (what Frege calls a Begriffswort or Begriffsausdruck). (P. T. Geach, Mental Acts (London: Routledge and Kegan Paul, 1957), p. 69. I maintain that it makes no sense to judge (...) whether things are ‘the same’, or remain ‘the same’, unless we add or understand some general term - ‘the same F’. (P. T. Geach, Reference and Generality, third Edition (Ithaca, N.Y.: Cornell University Press, 1980), pp. 63f. I am arguing for the thesis that identity is relative. When one says ‘x is identical with y’, this, I hold, is an incomplete expression; it is short for ‘x is the same A as y’, where ‘A’ represents some count noun understood from the context of utterance - or else, it is just a vague expression of a half-formed thought. (P. T. Geach, ‘Identity,’ Review of Metaphysics 21 (1967-8), p. 3.) One of the ways Geach seeks to support this is by tying it to the well nigh universally admired Fregean thesis about cardinality. (shrink)
Bioethics at the Movies explores the ways in which popular films engage basic bioethical concepts and concerns. Twenty philosophically grounded essays use cinematic tools such as character and plot development, scene-setting, and narrative-framing to demonstrate a range of principles and topics in contemporary medical ethics. The first section plumbs popular and bioethical thought on birth, abortion, genetic selection, and personhood through several films, including The Cider House Rules, Citizen Ruth, Gattaca, and I, Robot. In the second section, the contributors examine (...) medical practice and troubling questions about the quality and commodification of life by way of Dirty Pretty Things, Eternal Sunshine of the Spotless Mind, and other movies. The third section's essays use Million Dollar Baby, Critical Care, Big Fish, and Soylent Green to show how the medical profession and society at large view issues related to aging, death, and dying. A final section makes use of Extreme Measures and select Spanish and Japanese films to discuss two foundational matters in bioethics: the role of theories and principles in medicine and the importance of cultural context in devising care. Structured to mirror bioethics and cinema classes, this innovative work includes end-of-chapter questions for further consideration and contributions from scholars from the United States, Canada, the United Kingdom, Israel, Spain, and Australia. Contributors: Robert Arp, Ph.D., Michael C. Brannigan, Ph.D., Matthew Burstein, Ph.D., Antonio Casado da Rocha, Ph.D., Stephen Coleman, Ph.D., Jason T. Eberl, Ph.D., Paul J. Ford, Ph.D., Helen Frowe, M.A., Colin Gavaghan, Ph.D., Richard Hanley, Ph.D., Nancy Hansen, Ph.D., Al-Yasha Ilhaam, Ph.D., Troy Jollimore, Ph.D., Amy Kind, Ph.D., Zana Marie Lutfiyya, Ph.D., Terrance McConnell, Ph.D., Andy Miah, Ph.D., Nathan Norbis, Ph.D., Kenneth Richman, Ph.D., Karen D. Schwartz, LL.B., M.A., Sandra Shapshay, Ph.D., Daniel Sperling, LL.M., S.J.D., Becky Cox White, R.N., Ph.D., Clark Wolf, Ph.D. (shrink)
Ned Block’s Chinese Nation Argument is offered as a counterexample to Turing-machine functionalism. According to that argument, one billion Chinese could be organized to instantiate Turing-machine descriptions of mental states. Since we wouldn’t want to impute qualia to such an organized population, functionalism cannot account for the qualitative character of mental states like pain. Paul Churchland and Patricia Churchland have challenged that argument by trying to show that an adequate representation of the complexity of mind requires at least 10 (...) 30,000,000 homunculi. As such a large collection of Chinese is beyond comprehension, the intuitive force of Block’s example would be undercut. I argue that Churchland and Church land erroneously assume that every possible input-state combination in the human Turing-machine table must be assigned a homunculus. I attempt to restore the intuitive force of Block’s thought experiment by pointing to a way to simulate the human mind that does not require any such staggering number of homunculi. (shrink)
Continuous first-order logic has found interest among model theorists who wish to extend the classical analysis of “algebraic” structures (such as fields, group, and graphs) to various natural classes of complete metric structures (such as probability algebras, Hilbert spaces, and Banach spaces). With research in continuous first-order logic preoccupied with studying the model theory of this framework, we find a natural question calls for attention. Is there an interesting set of axioms yielding a completeness result? The primary purpose of this (...) article is to show that a certain, interesting set of axioms does indeed yield a completeness result for continuous first-order logic. In particular, we show that in continuous first-order logic a set of formulae is (completely) satisfiable if (and only if) it is consistent. From this result it follows that continuous first-order logic also satisfies an approximated form of strong completeness, whereby Σ⊨φ (if and) only if Σ⊢φ∸ 2-n for all n < ω. This approximated form of strong completeness asserts that if Σ⊨φ, then proofs from Σ, being finite, can provide arbitrarily better approximations of the truth of φ. Additionally, we consider a different kind of question traditionally arising in model theory—that of decidability. When is the set of all consequences of a theory (in a countable, recursive language) recursive? Say that a complete theory T is decidable if for every sentence φ, the value φT is a recursive real, and moreover, uniformly computable from φ. If T is incomplete, we say it is decidable if for every sentence φ the real number φT∘ is uniformly recursive from φ, where φT∘ is the maximal value of φ consistent with T. As in classical first-order logic, it follows from the completeness theorem of continuous first-order logic that if a complete theory admits a recursive (or even recursively enumerable) axiomatization then it is decidable. (shrink)
MEDIEVAL LOGICS LAMBERT MARIE DE RIJK (ed.), Die mittelalterlichen Traktate De mod0 opponendiet respondendi, Einleitung und Ausgabe der einschlagigen Texte. (Beitrage zur Geschichte der Philosophie und Theologie des Mittelalters, Neue Folge Band 17.) Miinster: Aschendorff, 1980. 379 pp. No price stated. THE SEVENTEENTH CENTURY MARTA FATTORI, Lessico del Novum Organum di Francesco Bacone. Rome: Edizioni dell'Ateneo 1980. Two volumes, il + 543, 520 pp. Lire 65.000. VIVIAN SALMON, The study of language in 17th century England. (Amsterdam Studies in the Theory (...) and History of Linguistic Science, Series 111: Studies in theHistory of Linguistics, Volume 17.) Amsterdam: John Benjamins B.V., 1979.x + 218 pp. Dfl. 65. Theoria cum Praxi. Zum Verhaltnis von Theorie und Praxis im 17. und 18. Jahrhundert. (Akten des 111. Internationalen Leibnizkongress, Hannover, 12. bis 17.November 1977, Band 111: Logik, Erkenntnistheorie, Wissenschaftstheorie, Metaphysik, Theologie.) Wiesbaden: Franz Steiner Verlag, 1980. vii + 269 pp. DM 48. CLASSICAL AND NON-CLASSICAL LOGICS MICHAEL CLARK, The place of syllogistic in logical theory. Nottingham: University of Nottingham Press, 1980. ix + 151 pp. £3.00. A.F. PARKER-RHODES, The theory of indistinguishables. Dordrecht, Boston and London: D. Reidel Publishing Company, 1981. xvii + 216 pp. Dfl.90.00/$39.50. NICHOLAS RESCHER and ROBERT BRANDOM, The logic of inconsistency. Oxford:Basil Blackwell, 1980. x + 174 pp. f 11.50. MISCELLANEOUS J. ZELENY, The logic of Marx. Translated from the German by T. Carver. Oxford: Basil Blackwell, 1980. xcii + 247 pp. £12.50. FELIX KAUFMANN, The infinite in mathematics. Edited by Brian McGuinness. Introduction by E. Nagel. Translation from the German by Paul Foulkes. Dordrecht: Reidel, 1978. xvii + 235 pp. Dfl 85/$39.50 (cloth); Dfl 45/$19.95 (paper). PAMELA MCCORDUCK, Machines who think. San Francisco: W.H. Freeman and Company, 1979. xiv + 275 pp. $14.95. J. MITTELSTRASS (ed.), Enzyklopadie Philosophie und Wissenschaftstheorie Bd. 1 : A-G. Mannheim, Wien, Ziirich: Bibliographisches Institut, 1980. 835 pp. DM 128. (shrink)
The German facts are consistent with the hypothesis that the default is the most frequent allomorph. Plural -s is the least frequent allomorph and does not act as a default. There is another way to measure the frequency of perfects in which no single -n allomorph is as frequent as -t. Lexical versus computational components do not correlate with regularity.
_ "LaBossiere brilliantly tackles many of the toughest ethical dilemmas of our times, from gender selection, cloning and sexual inequality to violence in the media and the conduct of warfare. In an age of snap judgments and stereotypes, he approaches his topics in a refreshingly open-minded fashion. His quick wit and firm knowledge of contemporary culture bring philosophy full-force into the 21st century." —Paul Halpern, Professor Of Physics, University Of The Sciences in Philadelphia and author of What's Science Ever (...) Done for Us? From the author's introduction: Philosophy, as I see it, is not about believing certain tenets or accepting certain dogmas. Philosophy is about asking questions, seeking answers and entertaining doubt. Critical to that endeavor is a willingness to be rationally provoked by different ideas and to see where they might lead—assuming they turn out to be worth following. If you find that you disagree with me, so much the better. The search for truth and wisdom benefits most from dissent. It is uncritical agreement that derails this search and leaves people stuck in the dark. Of course, if you do agree with me on some points, that is cool, too. _ I n this stimulating book, Michael C. LaBossiere takes a provocative look at issues in contemporary politics, culture and society through the lens of philosophy. Collected from LaBossiere's regular column in The Philosopher's Magazine, this fascinating set of philosophical provocations assumes no background in philosophy and focuses on matters that are of popular interest to the general public, yet are also philosophically significant. Topics range across a whole host of controversial issues that are of genuine interest to the reader, including same sex marriage, video games, gene therapy, true love, chance, torture, gender, god, the media, and freedom. >. (shrink)
In this paper, the authors show that there is a reading of St. Anselm's ontological argument in Proslogium II that is logically valid (the premises entail the conclusion). This reading takes Anselm's use of the definite description "that than which nothing greater can be conceived" seriously. Consider a first-order language and logic in which definite descriptions are genuine terms, and in which the quantified sentence "there is an x such that..." does not imply "x exists". Then, using an ordinary logic (...) of descriptions and a connected greater-than relation, God's existence logically follows from the claims: (a) there is a conceivable thing than which nothing greater is conceivable, and (b) if <em>x</em> doesn't exist, something greater than x can be conceived. To deny the conclusion, one must deny one of the premises. However, the argument involves no modal inferences and, interestingly, Descartes' ontological argument can be derived from it. (shrink)
In this paper, the authors evaluate the ontological argument they developed in their 1991 paper as to soundness. They focus on Anselm's first premise, which asserts: there is a conceivable thing than which nothing greater is conceivable. After suggesting reasons why this premise is false, the authors show that there is a reading of this premise on which it is true. Such a premise can be used in a valid and sound reconstruction of the ontological argument. This argument is developed (...) in precise detail, but the authors show that the conclusion, the formal version of which is a reading of the claim that "God exists", doesn't quite achieve the end Anselm desired. (shrink)
Though Frege was interested primarily in reducing mathematics to logic, he succeeded in reducing an important part of logic to mathematics by defining relations in terms of functions. By contrast, Whitehead & Russell reduced an important part of mathematics to logic by defining functions in terms of relations (using the definite description operator). We argue that there is a reason to prefer Whitehead & Russell's reduction of functions to relations over Frege's reduction of relations to functions. There is an interesting (...) system having a logic that can be properly characterized in relational but not in functional type theory. This shows that relational type theory is more general than functional type theory. The simplification offered by Church in his functional type theory is an over-simplification: one can't assimilate predication to functional application.<br>. (shrink)
STILLWATER, MINNESOTA—Two men sit at a long table, oblivious to the breakfast-time commotion. One moves a coffee cup from one side of a water glass to the other. “If I look here and don’t see the cup,” he says to the other, “then I know it must be there.” It sounds like a “deep” exchange between swotty young philosophy majors. But the fellow moving the cup has gray hair— and a Nobel Prize in physics. Sliding the porcelain, Anthony Leggett of (...) the University of Illinois, Urbana-Champaign, explains how scientists might try to see past the strictures of quantum mechanics, the bizarre theory that governs the behavior of tiny objects and clashes with our everyday notions of reality. “None of the existing interpretations of quantum mechanics as a theory of the entire world is satisfactory,” Leggett says to John Preskill, a physicist at the California Institute of Technology in Pasadena. Leggett, Preskill, and 22 other physicists, philosophers, and historians have gathered here for the Seven Pines Symposium.* Packed into a slightly ramshackle lodge in a wooded state park, the scholars—all of them men—will share their insights, suites of rooms without telephones, and meals of roast quail and pheasant at a long communal table. Perhaps not since the famous Solvay Conferences of the early 20th century, at which Niels Bohr and Albert Einstein debated the meaning of quantum theory in their free time, has physics seemed so genteel. Each year, the symposium tackles another of physics’ enduring puzzles: the nature of the vacuum, the concept of a f ield, the meaning of time. The aim is not to resolve the mysteries but to seed new lines of inquiry, says Roger Stuewer, a historian at the University of Minnesota, Twin Cities, and chair of the symposium’s advisory board. “When we get the best people together,” he says, “ideas are planted that in some intangible way will influence what they do in the future.” Those germinating ideas are watered with a mellow Zinfandel and nourished with succulent steak. This year, attendees spent 5 days grappling with the implications of quantum mechanics, which have perplexed physi.. (shrink)
