Online research in philosophy

w a y s h a v e b e e n . W e a l l r e m e m b e r M a r x ' s p o l e m i c a g a i n s t P r o u d h o n , t h e Manifesto's critique of "historical action [yielding] to personal inventive action, historically created conditions of emancipation to fantastic ones, and the gradual spontaneous class (...) organizations of the proletariat to an organization of society specially contrived by these inventors" (Marx and Engels, 1986, 64), and the numerous other occasions when the fathers of "scientific socialism" went a f t e r t h e " u t o p i a n s . " I n general this Marxian aversion to drawing up blueprints has been healthy, fueled at least in part by a respect for the concrete specificity of the revolutionary situation and for the agents engaged in revolutionary activity: it is not the business of Marxist intellectuals to tell the agents of revolution how they are to construct their postrevolutionary economy. (shrink)

Il presente scritto e’ attualmante inedito. Per una versione in lingua inglese si veda Stefano Franchi, "Palomar, The Triviality of Modernity, and the Doctrine of the Void,” New Literary History, 28 (1997), 4, 757-778. Si prega di non citare da questa versione senza previa autorizzazione.

 readers of Greek ethics tend to favour those accounts of the virtuous ideal according to which virtue involves the development of our non-rational—appetitive and emotional— motivations as well as of our rational motivations. So our contemporaries find much of interest and sympathy in Aristotle’s conception of virtue as a condition in which reason does not simply override our appetites and emotions, but these non-rational motivations themselves ‘speak with the (...) same voice as reason’.2 By contrast, the Stoic.. (shrink)

Hume’s view of reason is notoriously hard to pin down, not least because of the apparently contradictory positions which he appears to adopt in different places. The problem is perhaps most clear in his writings concerning induction - in his famous argument of Treatise I iii 6 and Enquiry IV, on the one hand, he seems to conclude that “probable inference” has no rational basis, while elsewhere, for example in much of his writing on natural theology, he seems happy to (...) acknowledge that such inference is not only reasonable, but is even a paradigm of reasoning against which the theistic arguments must be judged. In the face of this apparent contradiction, many recent commentators have proferred “non-sceptical” interpretations of Hume’s argument concerning induction, but in this paper I sketch an alternative and perhaps less radical method of resolving the problem, by identifying a major threefold ambiguity in Hume’s use of the word “reason”. On this interpretation, Hume indeed sees induction as a paradigm of reasonableness in what is arguably the most important sense, but he nevertheless believes induction to be entirely non-reasonable in another sense, which though less important in common life is nevertheless very significant philosophically. A comparison with Locke can help to illuminate Hume’s position, which though indeed not entirely sceptical about induction, is by no means entirely non-sceptical either. (shrink)

A large body of literature agrees that persons with schizophrenia suffer from a Theory of Mind (ToM) deficit. However, most empirical studies have focused on third-person, egocentric ToM, underestimating other facets of this complex cognitive skill. Aim of this research is to examine the ToM of schizophrenic persons considering its various aspects (first vs. second order, first vs. third person, egocentric vs. allocentric, beliefs vs. desires (...) vs. positive emotions vs. negative emotions and how each of these mental state types may be dealt with), to determine whether some components are more impaired than others. We developed a Theory of Mind Assessment Scale (Th.o.m.a.s.) and administered it to 22 persons with a DSM-IV diagnosis of schizophrenia and a matching control group. Th.o.m.a.s. is a semi-structured interview which allows a multi-component measurement of ToM. Both groups were also administered a few existing ToM tasks and the schizophrenic subjects were administered the Positive and Negative Symptoms Scale and the WAIS-R. The schizophrenic persons performed worse than control at all the ToM measurements; however, these deficits appeared to be differently distributed among different components of ToM. Our conclusion is that ToM deficits are not unitary in schizophrenia, which also testifies to the importance of a complete and articulated investigation of ToM. (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)

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)

Universals: Loux, M. J. The existence of universals. Russell, B. The world of universals. Quine, W. V. O. On what there is. Pears, D. F. Universals. Strawson, P. F. Particular and general. Wolterstorff, N. Qualities. Bambrough, R. Universals and family resemblances. Donagan, A. Universals and metaphysical realism. Sellars, W. Abstract entities. Wolterstorff, N. On the nature of universals.--Particulars: Loux, M. J. Particulars and their individuation. Black. M. The identity of indiscernibles. Ayer, A. J. The identity of indiscernibles. O'Connor, D. (...) J. The identity of indiscernibles. Allaire, E. B. Bare particulars. Chappell, V. C. Particulars re-clothed. Allaire, E. B. Another look at bare particulars. Meiland, J. W. Do relations individuate? Long, D. C. Particulars and their qualities. Copi, I. Essence and accident. Chandler, H. S. Essence and accident. Plantinga, A. World and essence. (shrink)

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)

Insight, by F. H. Parker.--Why be uncritical about the life-world? By H. B. Veatch.--Homage to Saint Anselm, by R. Jordan.--Art and philosophy, by J. M. Anderson.--The phenomenon of world, by R. R. Ehman.--The life-world and its historical horizon, by C. O. Schrag.--The Lebenswelt as ground and as Leib in Husserl: somatology, psychology, sociology, by E. Paci.--Life-world and structures, by C. A. van Peursen.--The miser, by E. W. Straus.--Monetary value and personal value, by G. Schrader.--Individualisms, by W. L. McBride.--Sartre the individualist, (...) by W. Desan.--The nature of social man, by M. Natanson.--The problem of the will and philosophical discourse, by P. Ricoeur.--Structuralism and humanism, by M. Dufrenne.--The illusion of monolinear time, by N. Lawrence.--Can grammar be thought? By J. M. Edie.--The existentialist critique of objectivity, by S. J. Todes and H. L. Dreyfus.--Bibliography (p. 391-400). (shrink)

Let M be an o-minimal expansion of an ordered field. Let φ be a formula in the language of ordered domains. In this note we establish some topological properties which are transferred from $\varphi^M$ to $\varphi^R$ and vice versa. Then, we apply these transfer results to give a new proof of a result of M. Edmundo-based on the work of A. Strzebonski-showing the existence of torsion points in any definably compact group defined in an o-minimal expansion of an ordered field.

Marcel Gauchet to mało znany w Polsce historyk i filozof francuski. Żadna z jego książek nie została do tej pory przetłumaczona na język polski. Dostępny w tym języku jest jeden z esejów pochodzący z La démocratie contre elle-même (Demokracja przeciwko sobie samej), opublikowany w kwartalniku „Res Publica Nowa” w grudniu 2002 r. pt. Nowy wiek osobowości. Próba psychologii współczesnej, przełożony i opracowany przez Wiktora Dłuskiego. W tekście tym Gauchet stawia tezę o mającej miejsce we współczesnym świecie rewolucji antropologicznej, polegającej na (...) zmianie roli rodziny ze wspólnoty ustanawiającej i podtrzymującej więzi społeczne na grupę społeczną niemającą wpływu na kształt życia społecznego. Przybliżenie sylwetki Gaucheta wydaje się niezbędne, albowiem jego myśl stanowi ważki i godny uwagi głos w dyskusji nad stanem współczesnej polityki oraz świata. -/- W niniejszym artykule skupię się na dwóch poruszonych przez Gaucheta zagadnieniach. Pierwsze z nich to ideologiczne konsekwencje ostatniego kryzysu gospodarczego, m. in. pokonanie lewicowej frakcji politycznej przez prawicową czy kryzys demokracji objawiający się dominacją interesów jednostkowych nad wspólnotowymi. Drugą kwestię stanowi kryzys liberalizmu polegający na występowaniu dwóch sprzecznych trendów na scenie politycznej, mianowicie,dominacji idei państwa interwencjonistycznego, dążącego do zbudowania dobrze funkcjonującego państwa opiekuńczego oraz rosnącego w siłę domagania się praw jednostki, co odbywa się, zdaniem Gaucheta, kosztem państwa. -/- Źródła będące podstawą niniejszego tekstu to przede wszystkim wywiad Macieja Nowickiego z Marcelem Gauchetem pt. Nie ma już lewicy, prawica zwyciężyła na zawsze opublikowany w miesięczniku „Europa. Magazyn Idei Newsweeka” w 2009 r. oraz wydane w 2007 r. I i II tom L’Avènement de la démocratie (Nadejście demokracji) Gaucheta. (shrink)

There have been two different schools of thought on the evolution of dominance. On the one hand, followers of Wright [Wright S. 1929. Am. Nat. 63: 274–279, Evolution: Selected Papers by Sewall Wright, University of Chicago Press, Chicago; 1934. Am. Nat. 68: 25–53, Evolution: Selected Papers by Sewall Wright, University of Chicago Press, Chicago; Haldane J.B.S. 1930. Am. Nat. 64: 87–90; 1939. J. Genet. 37: 365–374; Kacser H. and Burns J.A. 1981. Genetics 97: 639–666] have defended the view that dominance (...) is a product of non-linearities in gene expression. On the other hand, followers of Fisher [Fisher R.A. 1928a. Am. Nat. 62: 15–126; 1928b. Am. Nat. 62: 571–574; Bürger R. 1983a. Math. Biosci. 67: 125–143; 1983b. J. Math. Biol. 16: 269–280; Wagner G. and Burger R. 1985. J. Theor. Biol. 113: 475–500; Mayo O. and Reinhard B. 1997. Biol. Rev. 72: 97–110] have argued that dominance evolved via selection on modifier genes. Some have called these “physiological” versus “selectionist,” or more recently [Falk R. 2001. Biol. Philos. 16: 285–323], “functional,” versus “structural” explanations of dominance. This paper argues, however, that one need not treat these explanations as exclusive. While one can disagree about the most likely evolutionary explanation of dominance, as Wright and Fisher did, offering a “physiological” or developmental explanation of dominance does not render dominance “epiphenomenal,” nor show that evolutionary considerations are irrelevant to the maintenance of dominance, as some [Kacser H. and Burns J.A. 1981. Genetics 97: 639–666] have argued. Recent work [Gilchrist M.A. and Nijhout H.F. 2001. Genetics 159: 423–432] illustrates how biological explanation is a multi-level task, requiring both a “top-down” approach to understanding how a pattern of inheritance or trait might be maintained in populations, as well as “bottom-up” modeling of the dynamics of gene expression. (shrink)

Chisholm, R. M. Sentences about believing.--Cornman, J. W. Intentionality and intensionality.--Marras, A. Intentionality and cognitive sentences.--Chisholm, R. M. Notes on the logic of believing.--Luce, D. R., Sleigh, R. C., and Chisholm, R. M. Discussion on "Notes on the logic of believing."--Lycan, W. G. On intentionality and the psychological.--Hempel, C. G. Logical analysis of psychology.--Carnap, R. Logical foundations of the unity of science.--Nagel, T. Physicalism.--Ryle, G. Dispositions.--Sellars, W. Empiricism and the philosophy of mind.--Chisholm, R. M. and Sellars, W. The Chisholm-Sellars correspondence (...) on intentionality.--Aune, B. Thinking.--Bergmann, G. Intentionality.--Sellars, W. Notes on intentionality.--Frege, G. On sense and nominatum.--Russell, B. On denoting.--Carnap, R. The analysis of belief sentences.--Putnam, H. Synonymity, and the analysis of belief sentences.--Quine, W. V. O. Quantifiers and propositional attitudes.--Linsky, L. Substitutivity and descriptions.--Hintikka, J. Semantics for propositional attitudes.--Rosenthal, D. M. and Sellars, W. The Rosenthal-Sellars correspondence on intentionality.--Bibliography (p. 505-523). (shrink)

An ancient tale retold, by R. M. MacIver.--On deceiving the public for the public good, by L. Bryson.--Fact, fiction, and reality, by F. E. Johnson.--On the justifiable grounds of disobedience to law, by R. N. Baldwin.--On the limits of justifiable disobedience, by F. L. Neumann.--On the enlistment of dubious allies, by H. Simons.--On "Making friends with the mammon of unrighteousness," by L. Pope.--The Hiroshima issue, by W. W. Waymack.--Institutionalism and the faith, by L. Finkelstein.--Freedom and interference in American education, by (...) O. Tead.--Private profit and public interest in mass communication, by R. Saudek.--The threat to privacy, by H. D. Lasswell. (shrink)

Introduction, by R. A. Markus.--St. Augustine and Christian Platonism, by A. H. Armstrong.--Action and contemplation, by F. R. J. O'Connell.--St. Augustine on signs, by R. A. Markus.--The theory of signs in St. Augustine's De doctrina Christiana, by B. D. Jackson.--Si fallor, sum, by G. B. Matthews.--Augustine on speaking from memory, by G. B. Matthews.--The inner man, by G. B. Matthews.--On Augustine's concept of a person, by A. C. Lloyd.--Augustine on foreknowledge and free will, by W. L. Rowe.--Augustine on free will (...) and predestination, by J. M. Rist.--Time and contingency in St. Augustine, by R. Jordan.--Empiricism and Augustine's problems about time, by H. M. Lacey.--Political society, by P. R. L. Brown.--The development of Augustine's ideas on society before the Donatist controversy, by F. E. Cranz.--De Civitate Dei, XV, 2, and Augustine's idea of the Christian society, by F. E. Cranz.--Chronological table.--Note on further reading (p. [422]-423). (shrink)

Aristotle and the sea battle, by G. E. M. Anscombe.--Aristotle's different possibilities, by K. J. J. Hintikka.--On Aristotle's square of opposition, by M. Thompson.--Categories in Aristotle and in Kant, by J. C. Wilson.--Aristotle's Categories, chapters I-V: translation and notes, by J. L. Ackrill--Aristotle's theory of categories, by J. M. E. Moravcsik.--Essence and accident, by I. M. Copi.--Tithenai ta phainomena, by G. E. L. Owen.--Matter and predication in Aristotle, by J. Owens.--Problems in Metaphysics Z, chapter 13, by M. J. Woods.--The meaning (...) of agathon in the Ethics of Aristotle, by H. A. Prichard.--Agathon and eudaimonia in the Ethics of Aristotle, by J. L. Austin.--The final good in Aristotle's Ethics, by W. F. R. Hardie.--Aristotle on pleasure, by J. O. Urmson.--Bibliography (p. 335-41). (shrink)

Aristotle and the sea battle, by G. E. M. Anscombe.--Aristotle's different possibilities, by K. J. J. Hintikka.--On Aristotle's square of opposition, by M. Thompson.--Categories in Aristotle and in Kant, by J. C. Wilson.--Aristotle's Categories, chapters I-V: translation and notes, by J. L. Ackrill.--Aristotle's theory of categories, by J. M. E. Moravcsik.--Essence and accident, by I. M. Copi.--Tithenai ta phainomena, by G. E. L. Owen.--Matter and predication in Aristotle, by J. Owens.--Problems in Metaphysics Z, chapter 13, by M. J. Woods.--The meaning (...) of agathon in the Ethics of Aristotle, by H. A. Prichard.--Agathon and eudaimonia in the Ethics of Aristotle, by J. L. Austin.--The final good in Aristotle's Ethics, by W. F. R. Hardie.--Aristotle on pleasure, by J. O. Urmson.--Bibliography (p. 335-341). (shrink)

O'Donnell, J. R. Anton Charles Pegis on the occasion of his retirement.--Conlan, W. J. The definition of faith according to a question of MS. Assisi 138: study and edition of text.--Spade, P. V. Five logical tracts by Richard Lavenham.--Maurer, A. Henry of Harclay's disputed question on the plurality of forms.--Brown, V. Giovanni Argiropulo on the agent intellect: an edition of Ms. Magliabecchi V 42.--Synan, E. A. The Exortacio against Peter Abelard's Dialogus inter philosophum, Iudaeum et Christianum.--Fitzgerald, W. Nugae Hyginianae.--Sheehan, M. (...) M. Marriage and family in English conciliar and synodal legislation.--Shook, L. K. Riddles relating to the Anglo-Saxon scriptorium.--Boyle, L. E. The De regno and the two powers.--Colledge, E. A Middle English Christological poem.--Gough, M. R. E. Three forgotten martyrs of Anazarbus in Cilicia.--Häring, N. Chartres and Paris revisited.--Hayes, W. Greek recentiores, (Ps.) Basil, Adversus eunomium, IV-V.--Owens, J. The physical world of Parmenides. (shrink)

This paper explores the difference between Connectionist proposals for cognitive a r c h i t e c t u r e a n d t h e s o r t s o f m o d e l s t hat have traditionally been assum e d i n c o g n i t i v e s c i e n c e . W e c l a i m t h a t t h (...) e m a j o r d i s t i n c t i o n i s t h a t , w h i l e b o t h Connectionist and Classical architectures postulate representational mental states, the latter but not the former are committed to a symbol-level of representation, or to a ‘language of thought’: i.e., to representational states that have combinatorial syntactic and semantic structure. Several arguments for combinatorial structure in mental representations are then reviewed. These include arguments based on the ‘systematicity’ of mental representation: i.e., on the fact that cognitive capacities always exhibit certain symmetries, so that the ability to entertain a given thought implies the ability to entertain thoughts with semantically related contents. We claim that such arguments make a powerful case that mind/brain architecture is not Connectionist at the cognitive level. We then consider the possibility that Connectionism may provide an account of the neural (or ‘abstract neurological’) structures in which Classical cognitive architecture is implemented. We survey a n u m b e r o f t h e s t a n d a r d a r g u m e n t s t h a t h a v e b e e n o f f e r e d i n f a v o r o f Connectionism, and conclude that they are coherent only on this interpretation. (shrink)

Objective: Ethical guidelines are designed to ensure benefits, protection and respect of participants in clinical research. Clinical trials must now be registered on open-access databases and provide details on ethical considerations. This systematic survey aimed to determine the extent to which recently registered clinical trials report the use of standard of care and post-trial obligations in trial registries, and whether trial characteristics vary according to setting. Methods: We selected global randomized trials registered on http://www.clinicaltrials.gov and http://www.controlled-trials.com. We searched for intervention (...) trials of HIV/AIDS, malaria, and tuberculosis from 9 October 2004, the date of the most recent version of the Helsinki Declaration, to 10 April 2007. Results: We collected data from 312 trials. Fifty-eight percent (58%, 95% CI = 53 to 64) of trial protocols report informed consent. Fifty-eight percent (58%, 95% CI = 53 to 64) of trials report active controls. Almost no trials (1%, 95% CI = 0.5 to 3) mention post-trial provisions. Most trials measure surrogate outcomes. Twenty percent (20%, 95% CI = 16 to 25) of trials measure patient-important outcomes, such as death; and the odds that these outcomes are in a low income country are five times greater than for a developed country (odds ratio (OR) 5.03, 95% CI = 2.70 to 9.35, p = < 0.001). Pharmaceutical companies are involved in 28% (CI = 23 to 33) of trials and measure surrogate outcomes more often than nonpharmaceutical companies (OR 2.45, 95% CI = 1.18 to 5.09, p = 0.31). Conclusion: We found a large discrepancy in the quality of reporting and approaches used in trials in developing settings compared to wealthier settings. (shrink)

I present a formally explicit statement of Church's celebrated argument against Carnap's analysis of belief and defend it against well-known objections by W.V.O. Quine, R.M. Martin, and Michael Dummett.

High-spin states in the odd-odd N = Z nucleus Co-54 have been investigated by the fusion-evaporation reaction Si-28(S-32,1 alpha 1p1n)Co-54. Gamma-ray information gathered with the Ge detector array Gammasphere was correlated with evaporated particles detected in the charged particle detector system Microball and a 1 pi neutron detector array. A significantly extended excitation scheme of Co-54 is presented, which includes a candidate for the isospin T = 1, 6(+) state of the 1f(7/2)(-2) multiplet. The results are compared to large-scale shell-model (...) calculations in the fp shell. Effective interactions with and without isospin-breaking terms have been used to probe isospin symmetry and isospin mixing. A quest for deformed high-spin rotational cascades proved negative. This feature is discussed by means of cranking calculations. (shrink)

Bibliography of A. A. Fraenkel (p. ix-x)--Axiomatic set theory. Zur Frage der Unendlichkeitsschemata in der axiomatischen Mengenlehre, von P. Bernays.--On some problems involving inaccessible cardinals, by P. Erdös and A. Tarski.--Comparing the axioms of local and universal choice, by A. Lévy.--Frankel's addition to the axioms of Zermelo, by R. Mantague.--More on the axiom of extensionality, by D. Scott.--The problem of predicativity, by J. R. Shoenfield.--Mathematical logic. Grundgedanken einer typenfreien Logik, von W. Ackermann.--On the use of Hilbert's [epsilon]-operator in scientific theories, (...) by R. Carnap.--Basic verifiability in the combinatory theory of restricted generality, by H. B. Curry.--Uniqueness ordinals in constructive number classes, by H. Putnam.--On the construction of models, by A. Robinson.--Interpretation of mathematical theories in the first order predicate calculus, by T. Skolem.--The elementary character of two notions from general algebra, by R. Vaught.--Foundations of arithmetic and analysis. Axiomatic method and intuitionism, by A. Heyting.--On rank-decreasing functions, by G. Kurepa.--On non-standard models for number theory, by E. Mendelson.--Concerning the problem of axiomatizability of the field of real numbers in the weak second order logic, by A. Mostowski.--Non-standard models and independence of the induction axiom, by M. O. Rabin.--Sur les ensembles raréfiés de nombres naturels, par W. Sierpinski.--Philosophy of logic and mathematics. Remarks on the paradoxes of logic and set theory, by E. W. Beth.--Logique formalisée et raisonnement juridique, par R. Feys.--Im Umkreis der sogenannten Raumprobleme, von H. Freudenthal.--Process and existence in mathematics, by H. Wang. (shrink)

Political Freedom By George G. Brenkert Routledge, 1991. Pp. 278. ISBN 0?415?03372?1. £35 hbk. Wittgenstein: A Bibliographical Guide By Guido Frongia and Brian McGuinness Basil Blackwell, 1990. Pp. x + 438. ISBN 00631?13765?3. £60.00. Metaphysics By Peter van Inwagen Oxford University Press, 1993. Pp. xiii + 222. ISBN 0?19?8751400. £11.95 pbk. The Nature of Moral Thinking By Francis Snare Routledge, 1992. Pp. 187. ISBN 0?415?04709?9. £9.99 pbk. Filosofía analitica hoy: Encuentro de tradiciones Edited by Mercedes Torrevejano Servicio de Publications Universidade (...) de Santiago de Compostela, 1991. Pp. 284. ISBN 84?7191?722?X. $15.5 pbk. The Puzzle of Experience By J.J. Valberg Clarendon Press, 1992. Pp. 227. ISBN 0?19?824291?3. £25. Religion and Philosophy Edited by Martin Warner Royal Institute of Philosophy Supplement: 31 Cambridge University Press, 1992. Pp. vi + 155. ISBN 0?521?42951?X. £10.95 pbk. The Uses of Philosophy By Mary Warnock Blackwell, 1992. Pp. 256. ISBN 0?631?18038?9. £35.00 hbk. £11.95 pbk. The Disappearance of Time: Kurt Godel and the Idealistic Tradition in Philosophy By Palle Yourgrau Cambridge University Press, 1991. Pp. x + 182. ISBN 0?521?41012?6. £27.50. (shrink)

Different researchers use "the philosophy of automated theorem p r o v i n g " t o cover d i f f e r e n t concepts, indeed, different levels of concepts. Some w o u l d count such issues as h o w to e f f i c i e n t l y i n d e x databases as part of the philosophy of automated theorem p r o v i n g . (...) Others wonder about whether f o r m u l a s should be represented as strings or as trees or as lists, and call this part of the philosophy of automated theorem p r o v i n g . Yet others concern themselves w i t h what k i n d o f search should b e embodied i n a n y automated theorem prover, or to what degree any automated theorem prover should resemble Prolog. Still others debate whether natural deduction or semantic tableaux or resolution is " b e t t e r " , a n d c a l l t h i s a part of the p h i l o s o p h y of automated theorem p r o v i n g . Some people wonder whether automated theorem p r o v i n g should be " h u m a n oriented" or "machine o r i e n t e d " — sometimes arguing about whether the internal p r o o f methods should be " h u m a n - I i k e " or not, sometimes arguing about whether the generated proof should be output in a f o r m u n d e r s t a n d a b l e by p e o p l e , and sometimes a r g u i n g a b o u t the d e s i r a b i l i t y o f h u m a n intervention in the process of constructing a proof. There are also those w h o ask such questions as whether we s h o u l d even be concerned w i t h completeness or w i t h soundness of a system, or perhaps we should instead look at very efficient (but i n c o m p l e t e ) subsystems or look at methods of generating models w h i c h might nevertheless validate invalid arguments. A n d a l l of these have been v i e w e d as issues in the philosophy of automated theorem proving. Here, I w o u l d l i k e to step back from such i m p l e m e n t - ation issues and ask: " W h a t do we really think we are doing when we w r i t e an automated theorem prover?" My reflections are perhaps idiosyncratic, but I do think that they put the different researchers* efforts into a broader perspective, and give us some k i n d of handle on w h i c h directions we ourselves m i g h t w i s h to pursue when constructing (or extending) an automated theorem proving system. A logic is defined to be (i) a vocabulary and formation rules ( w h i c h tells us w h a t strings of symbols are w e l l - formed formulas in the logic), and ( i i ) a definition of ' p r o o f in that system ( w h i c h tells us the conditions under which an arrangement of formulas in the system constitutes a proof). Historically speaking, definitions of ' p r o o f have been given in various different manners: the most c o m m o n have been H i l b e r t - s t y l e ( a x i o m a t i c ) , Gentzen-style (consecution, or sequent), F i t c h - s t y l e (natural deduction), and Beth-style (tableaux).. (shrink)

Everywhere I go, I'm asked if I think the universities stifle writers. My opinion is that they don't stifle enough of them. ---Flannery O'Connor, Mystery and Manners, p. 84, as quoted by Frederick Crews, The Critics Bear it Away, pp. 143--144..

Two rotational bands have been identified and characterized in the proton-magic N = Z + 1 nucleus Ni-57. These bands complete the systematics of well-and superdeformed rotational bands in the light nickel isotopes starting from doubly magic Ni-56 to Ni-60. High-spin states in Ni-57 have been produced in the fusion-evaporation reaction Si-28(S-32, 2p1n)Ni-57 and studied with the gamma-ray detection array GAMMASPHERE operated in conjunction with detectors for evaporated light charged particles and neutrons. The features of the rotational bands in Ni-57 (...) are compared to those of neighbouring isotopes and interpreted by means of configuration-dependent cranked Nilsson-Strutinsky calculations. The two observed high-spin bands are considered signature partners and assigned to configurations with one 1g(9/2) proton and one 1g(9/2) neutron, resulting in an unambiguous understanding of the energetically favoured signature alpha = -1/2 band but a somewhat less satisfactory description of the signature alpha = +1/2 band. (shrink)

Are there, in addition to the various actual objects that make up the world, various possible objects? Are there merely possible people, for example, or merely possible electrons, or even merely possible kinds? We certainly talk as if there were such things. Given a particular sperm and egg, I may wonder whether that particular child which would result from their union would have blue eyes. But if the sperm and egg are never in fact brought together, then there is no (...) actual object that my thought is about.1 Or again, in the semanti cs for modal logic we presuppose an ontology of possibilia twice over.2 For first, we coutenance various possible worlds, in addition to the actual world; and second, each of these worlds is taken to be endowed with its own domai n of objects. These will be the actual objects of the world in question, but they need not be actual simpliciter, i.e., actual objects of our world. W ha t a r e w e t o m a k e o f such discourse? There are four options: (i) the discourse is taken to be unintelligible; (ii) it is taken to be intelligible but nonfactual, i.e. as not in the business of stating facts; (iii) it is taken to be factual but reducible to discourse involving no reference to possibilia; (iv) it is taken to be both factual and irreducible.3 These options range from a fullblooded form of actualism at one extreme to a full-blooded form of possibilism at the other. The two intermediate positions are possibilist in that they accept the intelligibility of possibilist discourse but actualist in that they attempt to dispense with its prima facie commitment to possibilia. All four positions have found advocates in the literature. Quine, in his less irenic moments, favours option (i); Forbes ([85], p. 94) advocates option (ii), at least for certain parts of possibilist discourse; many philosophers, including Adams [74] and myself, opt for (iii); while Lewis [86] and Stalnaker [75] have endorsed versions of (iv), that differ in how full-blooded they take the possible objects to be.. (shrink)

Machine generated contents note: -- 1. Introduction -- Consciousness and Sensorimotor Dynamics: Methodological Issues -- 2. Computational consciousness, D. Ballard -- 3. Explaining what people say about sensory qualia, J. Kevin O'Regan -- 4. Perception, action, and experience: unraveling the golden braid, A. Clark -- The Two-Visual Systems Hypothesis -- 5. Cortical visual systems for perception and action, A.D. Milner and M.A. Goodale -- 6. Hermann Lotze's Theory of 'Local Sign': evidence from pointing responses in an illusory figure, (...) D.R. Melmoth -- Understanding Agency and Object Perception -- 7. Two visual systems and the feeling of presence, M. Matthen -- 8. Spatial coordinates and phenomenology in the two-visual systems model, P. Jacob and F. de Vignemont -- 9. Perceptual experience and the capacity to act, S. Schellenberg -- Perception and Action: Studies in Cognitive Neuroscience -- 10. Why does the perception-action functional dichotomy not match the ventral-dorsal streams in anatomical segregation: optic ataxia and the function of the dorsal stream, Y. Rossetti et al -- 11. Mapping the neglect syndrome onto neurofunctional streams, G. Vallar and F. Mancini -- 12. Motor representations and the perception of space: perceptual judgments of the boundary of action space, Y. Delevoye-Turrell -- The Role of Action and Sensorimotor Knowledge in Sensorimotor Theories of Perception -- 13. Vision without representation, A. Noe -- 14. Sensorimotor knowledge and the contents of experience, J. Kiverstein -- Boundaries of the Agent -- 15. Extended vision, R. A. Wilson. (shrink)

The symbolism introduced earlier provides a convenient vehicle for examining the status and consistency of Aristotle's three diverse justifications and for explaining how he means to avoid Protagorean relativism without embracing Platonic absolutism. When the variables ‘ x ’ and ‘ y ’ are allowed to range over the groups of free men in a given polis as well as over individual free men, the formula for the Aristotelian conception of justice expresses the major premiss of Aristotle's three justifications: (1) (...) (∀ x )(∀ y ) (P(x)·W(x)/P(y)·W(y)=V(T(x))/V(T(y)))Democracy is justified by adding a minor premiss to the effect that as a group the many ( m ) are superior (>) in virtue and wealth to the few best men ( f ): 85 (2 d ) (P(m) · W(m)) > (P(f) · W(f)) (3 d ) V(T(m))>V(T(f))Absolute kingship is justified when a godlike man ( g ) appears in a polis who is incommensurably superior (≫) in virtue and wealth to all the remaining free men ( r ): (2 k ) (P(g) · W(g)) ≫ (P(r) · W(r)) (3 k ) V(T(g)) ≫ V(T(r))True aristocracy requires a more complex justification, which was symbolized in Section 4. These justifications are compatible with each other since they apply to different situations. The polises where democracy and true aristocracy are justified contain no godlike men, and the polis in which democracy is justified differs from that in which true aristocracy is justified in containing a large group of free men who individually have little virtue ( Pol. III.11.1281b23-25, 1282a25-26). Each of the justifications is a valid deductive argument. Aristotle affirms the major premiss they share on the basis of a twofold appeal to nature. The principle of distributive justice, the concept as distinguished from the various conceptions of distributive justice, is itself according to nature ( Pol. VII.3.1325b7-10) and so too is one particular standard of worth, the standard of the best polis. Consequently, the question of the status of these three justifications, whether they are purely hypothetical or not, is a question about the minor premiss or premisses of each. In the case of the democratic premiss Aristotle's answer is straightforward: it is sometimes but not always true ( Pol. III.11.1281bl5-21). Hence the justification of democracy is not purely hypothetical. Nor is the justification of absolute kingship. The man who is “like a god among men” ( Pol. III.13.1284a10-11) would be a man of heroic virtue (see VII.14.1332bl6-27); and such a man, Aristotle says, is “rare” ( σπávιoη ) (not nonexistent) ( E.N. VII.1.1145a27-28). The minor premisses of the aristocratic argument describe a situation where all of the free men in a given polis have sufficient wealth for the exercise of the moral and intellectual virtues and where all of the older free men of the polis are men of practical wisdom. In the Politics Aristotle makes only the modest claim that such a situation is possible: It is not possible for the best constitution to come into being without appropriate equipment [that is, the appropriate quality and quantity of territory and of citizens and noncitizens]. Hence one must presuppose many things as one would wish them to be, though none of them must be impossible ( Pol. VII.4.1325b37-38; see also II.6.1265al7-18). But Aristotle appears to subscribe to the principle that every possibility is realized at some moment of time ( Top. 11.11.115bl7-18, Met. Θ.4.1047b3-6, N.2.1088b23-25). This principle together with the claim that the situation described is possible entails that the situation sometimes occurs. Thus even Aristotle's justification of true aristocracy is not purely hypothetical. The final question is Aristotle's way of avoiding Protagorean relativism without embracing Platonic absolutism. The relativist, along with everyone else ( E.N. V.3.1131a13-14, Pol. III.12.1282bl8), can accept the principle of distributive justice: Q(x)/Q(y) = V(T(x))/V(T(y)) And he can concede that particular instances of this principle, particular conceptions of justice, accurately describe the modes of distributing political authority that appear just to particular polises and to particular philosophers. What he denies is that there is any basis for ranking these various conceptions of justice or for singling one out as the best (Plato, Theaet. 172A-B). Aristotle, following in Plato's track ( Laws X.888D7-890D8), maintains against the relativist that nature provides such a basis. But he departs from Plato in his conception of nature. For Plato “the just by nature” ( τó ρυσει δίκ↑oν }) ( Rep. VI.501B2) is the Form of justice, an incorporeal entity ( Phdo. 65D4-5, Soph. 246B8) that exists beyond time and space ( Tim. 37C6-38C3, 51E6-52B2), whereas for Aristotle the sensible world is the realm of nature ( Met. A.1.1069a30-b2). Thus in appealing to nature Aristotle does not appeal to a transcendent standard. Nor does he appeal to his main criterion of the natural, namely, happening always or for the most part. Aristotle's theory of justice is anchored to nature by means of the polis described in Politics VII and VIII, and he regards this polis as natural because it fosters the true end of human life and because its social and political structure reflects the natural hierarchy of human beings and the natural stages of life. Thus the nature that Aristotle's theory of justice is ultimately founded on is human nature. (shrink)

This paper will attempt to assess the primary differences between what I take to be the two primary philosophical "traditions" in c o n t e m p o r a r y French philosophy, using Derrida (transcendence) and Deleuze (immanence) as exemplary representatives. The body of the paper will examine the use of these terms in three different areas of philosophy on which Derrida and Deleuze have both written: subjectivity, ontology, and epistemology. (1) In the field of subjectivity, the (...) notion of the subject has been critiqued in two manners, either by appealing either to the transcendence of the other (Levinas, Derrida) or to the immanent jlux of experience itself, in relation to which the Ego itself is trancendent (Deleuze, Foucault, Sartre, James). (2) In the field of ontology, a purely "immanent" ontology would be an ontology in which there is neither a "beyond" or an "otherwise" Being, nor "interruptions" in Being, both of which would require an appeal to a formal element of transcendence (Deleuze). Such a "transcendent" and aporetic structure, which can never appear or be present as such within Being, is what lies at the basis of the project of deconstruction, with its attendant aporias (Derrida). (3) This distinction, finally, finds parallels in Kant's epistemology, for whom the possible experience is conditioned by purely immanent criteria (Deleuze), whereas what goes beyond the limits of possible experience is transcendent (Derrida). Drawing on these three thread of analysis, the paper concludes with an assessment of what is at stake in the ethical differences between the two traditions. The question of "transcendence" is "What mast I do?", which is the question of morality (a duty or obligation that is beyond being, an "ought" beyond the "is"). The question of "immanence" is "What can I do?" (my power or capacity as an existing individual within being). For Levinas and Derrida, ethics precedes ontology because it is derived from an element of transcendence (the Other); for Deleuze, ethics is ontology because it is derived from the immanent relation of beings to Being at the level of their existence (Spinoza). (shrink)

Figure 1: A pr ototyp ical exa mple of a three-layer feed forward network, used by Plunkett and M archm an (1 991 ) to simulate learning the past-tense of En glish verbs. The inpu t units encode representations of the three phonemes of the present tense of the artificial words used in this simulation. Th e netwo rk is trained to produce a representation of the phonemes employed in the past tense form and the suffix (/d/, /ed/, or /t/) (...) used on regular verbs. To run the network, each input unit is assigned an activation value o f 0 or 1 , dep ending on whethe r the featu re is present or not. Eac h input unit is conne cted to each of the 30 hidden units by a we ighted conn ection and p rovid es an inp ut to each hidden unit equal to the product of the input unit's activation and the weight. Each hidd en unit's activation is then determined by summing ov er the va lues co ming fro m each inp ut unit to deter mine a netinput, and then applying a non-linear function (e.g., the logistic function 1/(1+e^netinput). Th is whole proced ure is. (shrink)

Are there, in addition to the various actual objects that make up the world, various possible objects? Are there merely possible people, for example, or merely possible electrons, or even merely possible kinds? We certainly talk as if there were such things. Given a particular sperm and egg, I may wonder whether that particular child which would result from their union would have blue eyes. But if the sperm and egg are never in fact brought together, then there is no (...) actual object that my thought is about.1 Or again, in the semanti cs for modal logic we presuppose an ontology of possibilia twice over.2 For first, we coutenance various possible worlds, in addition to the actual world; and second, each of these worlds is taken to be endowed with its own domai n of objects. These will be the actual objects of the world in question, but they need not be actual simpliciter, i.e., actual objects of our world. W ha t a r e w e t o m a k e o f such discourse? There are four options: (i) the discourse is taken to be unintelligible; (ii) it is taken to be intelligible but nonfactual, i.e. as not in the business of stating facts; (iii) it is taken to be factual but reducible to discourse involving no reference to possibilia; (iv) it is taken to be both factual and irreducible.3 These options range from a fullblooded form of actualism at one extreme to a full-blooded form of possibilism at the other. The two intermediate positions are possibilist in that they accept the intelligibility of possibilist discourse but actualist in that they attempt to dispense with its prima facie commitment to possibilia. All four positions have found advocates in the literature. Quine, in his less irenic moments, favours option (i); Forbes ([85], p. 94) advocates option (ii), at least for certain parts of possibilist discourse; many philosophers, including Adams [74] and myself, opt for (iii); while Lewis [86] and Stalnaker [75] have endorsed versions of (iv), that differ in how full-blooded they take the possible objects to be. My focus in the present article is on the third option.. (shrink)

Aim To ascertain the quantity and nature of gifts and items provided by the pharmaceutical industry in Australia to medical specialists and to consider whether these are appropriate in terms of justifiable ethical standards, empirical research and views expressed in the literature.