This book gives a comprehensive overview of central themes of finite model theory â expressive power, descriptive complexity, and zero-one laws â together with selected applications relating to database theory and artificial intelligence, especially constraint databases and constraint satisfaction problems. The final chapter provides a concise modern introduction to modal logic, emphasizing the continuity in spirit and technique with finite model theory. This underlying spirit involves the use of various fragments of and hierarchies within first-order, second-order, fixed-point, and infinitary logics (...) to gain insight into phenomena in complexity theory and combinatorics. The book emphasizes the use of combinatorial games, such as extensions and refinements of the Ehrenfeucht-Fraissé pebble game, as a powerful way to analyze the expressive power of such logics, and illustrates how deep notions from model theory and combinatorics, such as o-minimality and treewidth, arise naturally in the application of finite model theory to database theory and AI. Students of logic and computer science will find here the tools necessary to embark on research into finite model theory, and all readers will experience the excitement of a vibrant area of the application of logic to computer science. (shrink)
The present paper presents a philosophical analysis of earth science, a discipline that has received relatively little attention from philosophers of science. We focus on the question of whether earth science can be reduced to allegedly more fundamental sciences, such as chemistry or physics. In order to answer this question, we investigate the aims and methods of earth science, the laws and theories used by earth scientists, and the nature of earth-scientific explanation. Our analysis leads to the tentative conclusion that (...) there are emergent phenomena in earth science but that these may be reducible to physics. However, earth science does not have irreducible laws, and the theories of earth science are typically hypotheses about unobservable (past) events or generalised - but not universally valid - descriptions of contingent processes. Unlike more fundamental sciences, earth science is characterised by explanatory pluralism: earth scientists employ various forms of narrative explanations in combination with causal explanations. The main reason is that earth-scientific explanations are typically hampered by local underdetermination by the data to such an extent that complete causal explanations are impossible in practice, if not in principle. (shrink)
This paper compares and contrasts three groups that conducted biological research at Yale University during overlapping periods between 1910 and 1970. Yale University proved important as a site for this research. The leaders of these groups were Ross Granville Harrison, Grace E. Pickford, and G. Evelyn Hutchinson, and their members included both graduate students and more experienced scientists. All produced innovative research, including the opening of new subfields in embryology, endocrinology and ecology respectively, over a long period of time. Harrison's (...) is shown to have been a classic research school; Pickford's and Hutchinson's were not. Pickford's group was successful in spite of her lack of departmental or institutional position or power. Hutchinson and his graduate and post-graduate students were extremely productive but in diverse areas of ecology. His group did not have one focused area of research or use one set of research tools. The paper concludes that new models for research groups are needed, especially for those, like Hutchinson's, that included much field research. (shrink)
Why did R.G. Collingwood come to reject the adversarial style of philosophical discussion so popular among his Oxford peers? The main aim of this paper is to explain that Collingwood came to reject his colleagues’ specific style of philosophical dialogue on methodological grounds, and to show how the argument against adversarial philosophical discussion is integrated with Collingwood’s overall criticism of realist philosophy. His argument exploits a connection between method and practice that should be taken seriously even today.
Vanguard anti-narrativist Galen Strawson declares personal memory unimportant for self-constitution. But what if lapses of personal memory are sustained by a morally reprehensible amnesia about historical events, as happens in the work of W.G. Sebald? The importance of memory cannot be downplayed in such cases. Nevertheless, contrary to expectations, a concern for memory needn’t ally one with the narrativist position. Recovery of historical and personal memory results in self-dissolution and not self-unity or understanding in Sebald’s characters. In the end, Sebald (...) shows how memory can be significant, even imperative, within a deeply anti-narrativist outlook on the self, memory, and history. (shrink)
I have two aims in this paper. In §§2-4 I contend that Moore has two arguments (not one) for the view that that ‘good’ denotes a non-natural property not to be identified with the naturalistic properties of science and common sense (or, for that matter, the more exotic properties posited by metaphysicians and theologians). The first argument, the Barren Tautology Argument (or the BTA), is derived, via Sidgwick, from a long tradition of anti-naturalist polemic. But the second argument, the Open (...) Question Argument proper (or the OQA), seems to have been Moore’s own invention and was probably devised to deal with naturalistic theories, such as Russell’s, which are immune to the Barren Tautology Argument. The OQA is valid and not (as Frankena (1939) has alleged) question-begging. Moreover, if its premises were true, it would have disposed of the desire-to-desire theory. But as I explain in §5, from 1970 onwards, two key premises of the OQA were successively called into question, the one because philosophers came to believe in synthetic identities between properties and the other because it led to the Paradox of Analysis. By 1989 a philosopher like Lewis could put forward precisely the kind of theory that Moore professed to have refuted with a clean intellectual conscience. However, in §§6-8 I shall argue that all is not lost for the OQA. I first press an objection to the desire-to-desire theory derived from Kripke’s famous epistemic argument. On reflection this argument looks uncannily like the OQA. But the premise on which it relies is weaker than the one that betrayed Moore by leading to the Paradox of Analysis. This suggests three conclusions: 1) that the desire-to-desire theory is false; 2) that the OQA can be revived, albeit in a modified form; and 3) that the revived OQA poses a serious threat to what might be called semantic naturalism. (shrink)
Lascar described E KP as a composition of E L and the topological closure of E L (Casanovas et al. in J Math Log 1(2):305–319). We generalize this result to some other pairs of equivalence relations. Motivated by an attempt to construct a new example of a non-G-compact theory, we consider the following example. Assume G is a group definable in a structure M. We define a structure M′ consisting of M and X as two sorts, where X is an (...) affine copy of G and in M′ we have the structure of M and the action of G on X. We prove that the Lascar group of M′ is a semi-direct product of the Lascar group of M and G/G L . We discuss the relationship between G-compactness of M and M′. This example may yield new examples of non-G-compact theories. (shrink)
This essay is an attempt to piece together the elements of G. A. Cohen's thought on the theory of socialism during his long intellectual voyage from Marxism to political philosophy. It begins from his theory of the maldistribution of freedom under capitalism, moves onto his critique of libertarian property rights, to his diagnosis of the “deep inegalitarian” structure of John Rawls' theory and concludes with his rejection of the “cheap” fraternity promulgated by liberal egalitarianism. The paper's exegetical contention is that (...) Cohen's work in political philosophy is best understood in the background of lifelong commitment to a form of democratic, non-market, socialism realizing the values of freedom, equality and community, as he conceived them. The first part of the essay is therefore an attempt to retrieve core socialism-related arguments by chronologically examining the development of Cohen's views, using his books as thematic signposts. The second part brings these arguments together with an eye to reconstructing his vision of socialism. It turns out that Cohen's political philosophy offers a rich conception of objective and subjective freedom, an original understanding of justice as satisfaction of genuine need, and a substantive ideal of fraternity as justificatory community with others. If properly united, these values can suggest a full-bloodied account of the just polity, and give us a glimpse into what it means, for Cohen, to treat people as equals. (shrink)
This paper explores the special problems encountered by the biographer of a living scientific subject. In particular, it explores the complex of problems that emerges from the intense interpersonal dynamic involving issues of distance, privacy and trust. It also explores methodological problems having to do with oral history interviews and other supporting documentation. It draws on the personal experience of the author and the biographical subject of G. Ledyard Stebbins Jr., the botanist, geneticist and evolutionist. It also offers prescriptives and (...) recommendations for future research. (shrink)
Escribir hoy en día un libro sobre hermenéutica, que tal hermenéutica se refiera a la desarrollada por G. Gadamer en su conocido Verdad y método y que se pretenda añadir algo nuevo a lo mucho escrito sobre el tema parecería, a primera vista, empresa irrealizable. Que ambas pretensiones inspiren la sólida monografía de María G. Navarro —titulada Interpretar y argumentar— constituye empresa audaz y arriesgada, plena de coraje innovador, que provoca admiración, curiosidad e interés. Contra lo que pudiera parecer a (...) primera vista, el libro contiene un alto componente de originalidad y creatividad, debido a la estratagema metodoló-gica de que se sirve la autora. A saber, una hermenéutica in obliquo, estrategia consistente en interpretar a la hermenéutica gadameriana a través del prisma de la lógica de la argumentación. (shrink)
This book argues that R.G. Collingwood developed a complete and coherent political philosophy of civilization. In making this case it also demonstrates that Collingwood's philosophical work comprises a unity in which, although there was development, there is no fundamental discontinuity between his earlier and later writings. A philosophy of civilization must situate its subject matter within the full context of human experience and therefore Collingwood's political philosophy of civilization must be situated within the context of his whole philosophy. The book (...) presents the case that Collingwood developed a coherent philosophy of politics and civilization, that this had its roots in both the early and the later work; and that his overall philosophical approach comprises a generally consistent and integrated whole. (shrink)
Generalizing model companions from model theory we define companions of pieces of canonical partitions of Polish G-spaces. This unifies several constructions from logic. The central problem of the paper is the existence of companions which form a G-orbit which is a Gδ-set. We describe companions of some typical G-spaces.
During the British socialist revival of the 1880s competing theories of evolution were central to disagreements about strategy for social change. In News from Nowhere (1891), William Morris had portrayed socialism as the result of Lamarckian processes, and imagined a non-Malthusian future. H.G. Wells, an enthusiastic admirer of Morris in the early days of the movement, became disillusioned as a result of the Malthusianism he learnt from Huxley and his subsequent rejection of Lamarckism in light of Weismann's experiments on mice. (...) This brought him into conflict with his fellow Fabian, George Bernard Shaw, who rejected neo-Darwinism in favour of a Lamarckian conception of change he called "creative evolution.". (shrink)
Both in An Autobiography and in An Essay on Metaphysics R.G. Collingwood defines the study of metaphysics as primarily at any time an attempt to discover the absolute presuppositions of thinking and secondarily as an attempt to discover the corresponding absolute presuppositions of other peoples and other times, and to follow the historical process by which one set of presuppositions has turned into another. In addition, he states that the distinction between what is true and what is false does not (...) apply to them. The objection often raised against this definition is that it has nothing to do with metaphysics in the traditional sense and that it only refers to a history of ideas. In this article I try to show the link between Collingwood's apparently idiosyncratic definition of metaphysics and the traditional one. I, therefore, have to sketch the background against which Collingwood's concept of metaphysics and the peculiar terminology he makes use of must be interpreted. This reconstruction of the original background is necessary in order to make clear what Collingwood means by his project of a „reformed metaphysics" as a historical inquiry into the absolute presuppositions of human thinking about reality. (shrink)
Ellen G. Whites writings contribute to clarify the doctrine of sanctification. In her writings sanctification means a submissive acceptance of Gods revealed will and has more to do with integrity and service than with emotions and self-sufficiency. The focus is placed on sanctification as a vit..
In this article, I argue that G. A. Cohen’s defense of the feminist slogan, “The personal is political”, his argument against Rawls’s restriction of principles of justice to the basic structure of society, depends for its intelligibility on the ability to distinguish—with reasonable but perhaps not perfect precision—between those situations in which what Nancy Rosenblum has called “the logic of congruence” is validly invoked and those in which it is not. More importantly, I suggest that the philosophical shape of Cohen’s (...) critique makes it difficult for him to supply the required criterion, and that the methodological “intuitionism” he claims to be committed to is at odds with his larger argument against Rawls concerning the subject of justice. (shrink)
According to G. E. Moore, moral expertise requires abilities of several kinds: the ability to factor judgments of right and wrong into (a) judgments of good and bad and (b) judgments of cause and effect, (2) the ability to use intuition to make the requisite judgments of good and bad, and (3) the ability to use empirical investigation to make the requisite judgments of cause and effect. Moore’s conception of moral expertise is thus extremely demanding, but he supplements it with (...) some very simple practical guidance. (shrink)
G. A. Cohen was one of the world's leading political theorists. He was noted, in particular, for his contributions to the literature of egalitarian justice. Cohen's classic writings offer one of the most influential responses to the currency of the egalitarian justice question - the question, that is, of whether egalitarians should seek to equalize welfare, resources, opportunity, or some other indicator of well-being. Underlying Cohen's argument is the intuition that the purpose of egalitarianism is to eliminate disadvantage for which (...) it is inappropriate to hold the person responsible. His argument therefore focuses on the appropriate role of considerations regarding responsibility in egalitarian judgment. This volume comprises chapters by major scholars addressing and responding both to Cohen's account of the currency of egalitarian justice and its practical implications and to Cohen's arguments regarding the appropriate form of justificatory arguments about justice. (shrink)
R. G. Collingwood’s 'The Principles of Art' argues that art is the expression of emotion. This dissertation offers a new interpretation of that philosophy, and argues that this interpretation is both hermeneutically and philosophically plausible. The offered interpretation differs from the received interpretation most significantly in treating the concept of ‘art’ as primarily scalarly rather than binarily realisable (this is introduced in ch. 1), and in understanding Collingwood’s use of the term ‘emotion’ more broadly (introduced in ch. 2). -/- After (...) the exposition of ch. 1, the remainder of that chapter and the subsequent three chapters are each centred around one sort of objection. In ch. 1, I consider the objection that Collingwood’s scalar understanding of ‘art’ is deviant and unhelpful. I respond by first observing that the understanding is not deviant, and second that it is more philosophically and artistically illuminating. In ch. 2, I consider the objection that Collingwood’s understanding of ‘emotion’ is so narrow that it fails to do justice to the fact that art can be philosophically potent. I respond that his understanding of ‘emotion’ is broad enough that this objection fails. In ch. 3, I consider the objection that Collingwood has no theoretical room for the prima facie plausible thought that some emotions are not worth expressing in art. In response, I reinterpret the points that appear to support this contention in a way that makes them both more plausible and more Collingwoodian. Finally, in ch. 4, I consider the objection that Collingwood does not have the theoretical room to do justice to the value of the delight we take in art. I respond by arguing that although he does not have this room to say that this delight is itself an artistic value, it does yet have an important place in his philosophy. (shrink)
Reminiscences of Peter, by P. Oppenheim.--Natural kinds, by W. V. Quine.--Inductive independence and the paradoxes of confirmation, by J. Hintikka.--Partial entailment as a basis for inductive logic, by W. C. Salmon.--Are there non-deductive logics?, by W. Sellars.--Statistical explanation vs. statistical inference, by R. C. Jeffre--Newcomb's problem and two principles of choice, by R. Nozick.--The meaning of time, by A. Grünbaum.--Lawfulness as mind-dependent, by N. Rescher.--Events and their descriptions: some considerations, by J. Kim.--The individuation of events, by D. Davidson.--On properties, by (...) H. Putnam.--A method for avoiding the Curry paradox, by F. B. Fitch.--Publications (1934-1969) by Carl G. Hempel (p. -270). (shrink)
G.E. Moore, more than either Bertrand Russell or Ludwig Wittgenstein, was chiefly responsible for the rise of the analytic method in twentieth-century philosophy. This selection of his writings shows Moore at his very best. The classic essays are crucial to major philosophical debates that still resonate today. Amongst those included are: * A Defense of Common Sense * Certainty * Sense-Data * External and Internal Relations * Hume's Theory Explained * Is Existence a Predicate? * Proof of an External World (...) In addition, this collection also contains the key early papers in which Moore signals his break with idealism, and three important previously unpublished papers from his later work which illustrate his relationship with Wittgenstein. (shrink)
Editor James Fetzer presents an analytical and historical introduction and a comprehensive bibliography together with selections of many of Carl G. Hempel's most important studies to give students and scholars an ideal opportunity to appreciate the enduring contributions of one of the most influential philosophers of science of the 20th century.