This book investigates Aristotle’s views on abstraction and explores how he uses it. In this work, the author follows Aristotle in focusing on the scientific detail first and then approaches the metaphysical claims, and so creates a reconstructed theory that explains many puzzles of Aristotle’s thought. Understanding the details of his theory of relations and abstraction further illuminates his theory of universals. Some of the features of Aristotle’s theory of abstraction developed in this book include: abstraction is a relation; perception (...) and knowledge are types of abstraction; the objects generated by abstractions are relata which can serve as subjects in their own right, whereupon they can appear as items in other categories. The author goes on to look at how Aristotle distinguishes the concrete from the abstract paronym, how induction is a type of abstraction which typically moves from the perceived individuals to universals and how Aristotle’s metaphysical vocabulary is "relational.’ Beyond those features, this work also looks at how of universals, accidents, forms, causes and potentialities have being only as abstract aspects of individual substances. An individual substance is identical to its essence; the essence has universal features but is the singularity making the individual substance what it is. These theories are expounded within this book. One main attraction in working out the details of Aristotle’s views on abstraction lies in understanding his metaphysics of universals as abstract objects. This work reclaims past ground as the main philosophical tradition of abstraction has been ignored in recent times. It gives a modern version of the medieval doctrine of the threefold distinction of essence, made famous by the Islamic philosopher, Avicenna. (shrink)

A response to a recent critique by Cem Bozşahin of the theory of syntactic semantics as it applies to Helen Keller, and some applications of the theory to the philosophy of computer science.

An exploration of the details of counterpart theory, and some applications of the view. In Chapter 1, I set out the view and clarify the most important features: that the counterpart relation is a context dependent similarity relation, and that individuals are world-bound entities. I then set out what I take to be the most promising methods of filling in important details. Chapter 2 is a discussion of an alternative view, lump theory. I attempt to distinguish lump theory from counterpart (...) theory, and argue that several attempt to do so fail. Chapter 3 is an attempt to apply counterpart theory for individuals to properties. I attempt to stay as close to the standard view as possible, but find it necessary to modify the world-bound condition. I suggest a version of property counterpart theory that overcomes the obstacles I have identified. The final chapter is a discussion of a recent attempt to apply counterpart theory to the comparativist view of quantitative properties. I argue that an attempt to rely on counterpart theory to overcome an objection is unsuccessful. (shrink)

Though the divide between reason-based and causal-explanatory approaches in psychiatry and psychopathology is old and deeply rooted, current trends involving multi-factorial explanatory models and evidence-based approaches to interpersonal psychotherapy, show that it has already been implicitly bridged. These trends require a philosophical reconsideration of how reasons can be causes. This paper contributes to that trajectory by arguing that Donald Davidson’s classic paradigm of 1963 is still a valid option.

This concluding chapter of FREEDOM AND MORAL SENTIMENT (OUP 1995) provides a qualified defense of Hume's naturalistic approach to the problem of free will and moral responsibility. A particularly important theme is the contrast between Hume's naturalistic approach and the “rationalistic” approach associated with classical compatibilism. Whereas the rationalistic approach proceeds as an a priori, conceptual investigation into the nature and conditions of moral responsibility, the naturalistic approach is committed to an empirically oriented (i.e., psychologically informed) examination of these issues (...) – giving particular prominence to the role of moral sentiment in understanding moral life and the place of justificatory issues as they arise within it. Whereas the rationalistic approach leads us into intractable difficulties and moral skepticism, the naturalistic approach makes real progress on this subject. On a more critical note, however, I also argue that, despite its strengths, Hume's theory of moral responsibility has significant weaknesses in the areas of moral virtue, moral capacity, and moral freedom. -/- . (shrink)

Most of the debate for and against aesthetic formalism in the twentieth century has been little more than a sequence of assertions, on both sides. But there is one discussion that stands out for its argumentative subtlety and depth, and that is Kendall Walton’s paper ‘Categories of Art’.1 In what follows I shall defend a certain version of formalism against the antiformalist arguments which Walton deploys. I want to show that while Walton’s arguments do indeed create insurmountable difficulties for an (...) extreme version of formalism, he has not shown that a moderate version is problematic or inadequate. (I have no space to address anti-formalist arguments other than Walton’s.2) I shall defend moderate formalism rather than put forward positive considerations in its favour, although some of its attractions will become apparent as a side-effect. I pursue the positive case for moderate formalism elsewhere.3 I. FORMAL PROPERTIES AND FORMALISMS I.1. Walton begins his paper by raising an issue about whether those who make aesthetic judgements should only be concerned with what can be directly perceived in works of art. The issue of formalism has often been described in these terms. But Walton rightly distances himself from setting up a debate in that way. He moves on to take as his target the view that ‘Circumstances connected with a work’s origin ... have no essential bearing on an assessment of its aesthetic nature’ (p. 334). (shrink)

In this paper, the author shows how one can independently prove, within the theory of abstract objects, some of the most significant claims, hypotheses, and background assumptions found in Kripke's logical and philosophical work. Moreover, many of the semantic features of theory of abstract objects are consistent with Kripke's views — the successful representation, in the system, of the truth conditions and entailments of philosophically puzzling sentences of natural language validates certain Kripkean semantic claims about natural language.

ABSTRACTThe historical process underlying Darwin’s Origin of Species did not play a significant role in the early editions of the book, in spite of the particular inductivist scientific methodology it espoused. Darwin’s masterpiece did not adequately provide his sources or the historical perspective many contemporary critics expected. Later editions yielded the ‘Historical Sketch’ lacking in the earlier editions, but only under critical pressure. Notwithstanding the sources he provided, Darwin presented the Origin as an ‘abstract’ in order to avoid giving sources; (...) a compromise he acknowledged and undertook to set right in later editions, yet failed to provide throughout the six editions under his supervision. Darwin’s reluctance to publish the historical context of his theory and his sources, particularly sources which were also ‘precursors’, may be attributed as much to the matter of intellectual ownership as science, or even good literary practice. Of special concern to Darwin were issues of priority or originality over ‘descent with modification’ and especially over Natural Selection. Many later historians have argued that Darwin was unaware of the work of his precursors on Natural Selection. Darwin’s theory was an example of independent discovery, albeit along with such obscure precursors as Matthew or Wells, who were unknown to Darwin until after the publication of the Origin. Both Matthew and Wells had a medical education, like James Hutton or Erasmus Darwin earlier in the eighteenth century, or even Charles Darwin. Evolutionary theory, at least in Britain was a product largely of the medical evolutionists rather than the natural historians which ‘history’ has chosen to select for the focus of attention; and among the medical evolutionists the figure of John Hunter stands out as theorist, experimentalist and teacher: the medical evolutionists were predominantly the product of Hunter’s legacy or of the medical profession and particularly the Scottish Universities. Much recent Darwin scholarship has focused on the private Notebooks, to establish Darwin’s discovery of Natural Selection around 1837–1838 and demonstrate Darwin’s ignorance of his precursors; requiring an explicit acknowledgement by Darwin as the legitimate substantiation of any claim to prior influence. The precursors have been categorized as uniformly obscure or irrelevant to the science of evolution which may be defined exclusively as ‘Darwinian’. The inclination to acknowledge influences, however was not something Darwin was gratuitously given to doing, especially on matters of priority. The Notebooks are not Darwin’s private thoughts; from an early stage he considered them incipient public documents and later sought to protect them as proof of his originality. William C. Wells was not an obscure thinker, but a celebrated scientist whom Herschel, Darwin’s guide to scientific methodology, had recommended as providing a model of scientific method. Darwin discovered Wells through Herschel, and quickly acquired a copy of Wells’ recommended work, no later than 1831, and held it thereafter in his library at Down House. This book, the 1818 edition of Wells’ Two Essays contains a third essay, Wells’ account of Natural Selection. Later, in the Descent of Man Darwin acknowledged his separate discovery of the correlation of colour and disease immunity in man, also earlier recounted by Wells. (shrink)

Structuralist foundations of mathematics aim for an ‘invariant’ conception of mathematics. But what should be their basic objects? Two leading answers emerge: higher groupoids or higher categories. I argue in favor of the former over the latter. First, I explain why to choose between them we need to ask the question of what is the correct ‘categorified’ version of a set. Second, I argue in favor of groupoids over categories as ‘categorified’ sets by introducing a pre-formal understanding of groupoids as (...) abstract shapes. This conclusion lends further support to the perspective taken by the Univalent Foundations of mathematics. (shrink)

Identity metaphysics finds identity or unity where other metaphysical theories find difference or diversity. It denies the fundamentality of ontological distinctions that other theories treat as fundamental. It’s opposed to separatism, which mistakes natural conceptual distinctions for ground-floor ontological differences. It proposes that the distinctions between the concepts substance, object, quality, property, process, state, and event are metaphysically superficial; so too the distinctions between the concepts energy, lawsofnature, force, causation, power, and naturalnecessity. So too the distinction between these two sets (...) of concepts. “Thinking takes apart what is really one”. (shrink)

Abstract Richard Posner's Law, Pragmatism, and Democracy urges that political and legal decision makers should be guided by what he calls ?everyday pragmatism,? rather than by ?abstract? moral theory. He links his conception of pragmatic government to Sclmmpeter's unromantic view of democracy. Posner argues that judicial review should be based on a combination of pragmatism and adherence to this limited conception of democracy, rather than sticking closely to ?formalist? theories of adjudication, which demand strict adherence to traditional legal norms. However, (...) Posner's consequentialist pragmatism fails to provide an adequate guide to judicial decision making, because it does not give us any criterion for deciding which consequences are desirable. His Schumpeterian theory of democracy, too, is problematic because it does not sufficiently consider the shortcomings exposed in recent scholarship in political science and economics. (shrink)

‘The enigma of revolts.’ You can almost hear the sigh at the end of this sentence. Foucault is making a statement here, published under the title ‘Useless to Revolt’, on that ‘impulse by which a single individual, a group, a minority, or an entire people says, “I will no longer obey”’. In this short piece, I question the two sides of the enigma—how to label the revolt—is the act of rioting, such as what we witnessed in Ferguson, Missouri in August (...) 2014 ‘proper resistance’—and, how to understand the ēthos of the rioter. The label of counter-conduct, I argue clarifies the enigma as it allows us, challenges us even, to see the event as political. Counter-conduct provides a new framework for reading spontaneous and improvised forms of political expression. The rioter can then be seen as political and rational, as demonstrating ethical behavior. The ēthos of this behavior is represented as an ethics of the self, a form of parrhēsia where the rioter risks herself and shows courage to tell the truth, the story of her community. (shrink)

A standard interpretation of Hume’s naturalism is that it paved the way for a scientistic and ‘disenchanted’ conception of the world. My aim in this paper is to show that this is a restrictive reading of Hume, and it obscures a different and profitable interpretation of what Humean naturalism amounts to. The standard interpretation implies that Hume’s ‘science of human nature’ was a reductive investigation into our psychology. But, as Hume explains, the subject matter of this science is not restricted (...) to introspectively accessible mental content and incorporates our social nature and interpersonal experience. Illuminating the science of human nature has implications for how we understand what Hume means by ‘experience’ and thus how we understand the context of his epistemological investigations. I examine these in turn and argue overall that Hume’s naturalism and his science of man do not simply anticipate a disenchanted conception of the world. (shrink)

Needless to say, Charles Parsons’s long awaited book1 is a must-read for anyone with an interest in the philosophy of mathematics. But as Parsons himself says, this has been a very long time in the writing. Its chapters extensively “draw on”, “incorporate material from”, “overlap considerably with”, or “are expanded versions of” papers published over the last twenty-five or so years. What we are reading is thus a multi-layered text with different passages added at different times. And this makes for (...) a rather bumpy read. There is another route Parsons could have taken: he could have reprinted the relevant papers with postscripts, and then top-and-tailed the collection with a preface and added concluding reflections. It must sound very ungrateful, but I rather suspect that that might have worked better. Much of the book is about arithmetic. But Parsons has woven into the discussion claims about mathematics more generally and about set theory in particular. We might well have a basic worry about this structure: for do defensible claims about the ontology and epistemology of arithmetic have to be generalizable to apply to more infinitary mathematics? For example, suppose you are attracted to a Hellman-like modal structuralist account of arithmetic: then should you think it a problem if you suspect that such an account can’t readily be extended to cope e.g. with set theory (since you boggle at the idea of possible worlds free of abstracta but with enough structure to somehow model ZFC)? Parsons himself seems to waver over such questions. So for present purposes, I’ll focus just on arithmetic, and in what follows I’ll revisit two of the most familiar Parsonian themes, his views on structuralism as an account of the ontology of arithmetic, and his exploration of the role of intuition in grounding arithmetical knowledge. (shrink)

Needless to say, Charles Parsons’s long awaited book1 is a must-read for anyone with an interest in the philosophy of mathematics. But as Parsons himself says, this has been a very long time in the writing. Its chapters extensively “draw on”, “incorporate material from”, “overlap considerably with”, or “are expanded versions of” papers published over the last twenty-five or so years. What we are reading is thus a multi-layered text with different passages added at different times. And this makes for (...) a rather bumpy read. There is another route Parsons could have taken: he could have reprinted the relevant papers with postscripts, and then top-and-tailed the collection with a preface and added concluding reflections. It must sound very ungrateful, but I rather suspect that that might have worked better. Much of the book is about arithmetic. But Parsons has woven into the discussion claims about mathematics more generally and about set theory in particular. We might well have a basic worry about this structure: for do defensible claims about the ontology and epistemology of arithmetic have to be generalizable to apply to more infinitary mathematics? For example, suppose you are attracted to a Hellman-like modal structuralist account of arithmetic: then should you think it a problem if you suspect that such an account can’t readily be extended to cope e.g. with set theory (since you boggle at the idea of possible worlds free of abstracta but with enough structure to somehow model ZFC)? Parsons himself seems to waver over such questions. So for present purposes, I’ll focus just on arithmetic, and in what follows I’ll revisit two of the most familiar Parsonian themes, his views on structuralism as an account of the ontology of arithmetic, and his exploration of the role of intuition in grounding arithmetical knowledge. (shrink)

I shall argue that when Hume refers to the laws of dynamics, he tacitly assumes a mechanism. Nevertheless, he remains agnostic on whether the hidden micro-constitution of bodies is machinelike. Hence this article comes to the following conclusion. Hume is not a full-blown mechanical philosopher. Still his position on dynamic laws and his concept of causation instantiate a tacitly mechanical understanding of the interactions of bodies.

Neurosciences and cognitive sciences provide us with myriad empirical findings that shed light on hypothesised primitive numerical processes in the brain and in the mind. Yet, the hypotheses on which the experiments are based, and hence the results, depend strongly on sophisticated abstract models used to describe and explain neural data or cognitive representations that supposedly are the empirical roots of primary arithmetical activity. I will question the foundational role of such models. I will even cast doubt upon the search (...) for a general and unified philosophical foundation of an empirical science. First, it seems to me hard to draw a global and coherent view from the innumerable and piecemeal neuropsychological experiments and their variable, and sometimes uneasily compatible or fully divergent interpretations. Secondly, I think that the aim of empirical research is to describe dynamical processes, establishing correlations between different sets of data, without meaning to fix an origin or to point to a cause, let alone to a ground. From the very scientific and philosophical point of view it is essential to distinguish between explanations, which provide correlations or, at best, causal mechanisms, and grounding, which involves a claim to some form of determinism. (shrink)

In recent years, the public sphere, which represents a realm in civil society where people can debate and discuss a range of issues and common concerns important to them, has become a key area for research in the humanities and social sciences. Arguably, however, Marxist theory has yet to advance a theoretical account of the most abstract and simple ideological properties of the capitalist public sphere as these appear under universal commodity relationships. The paper therefore tentatively seeks to develop such (...) an account. Specifically, the paper theoretically derives a peculiar public sphere under capitalism, which is mediated between at least two commodity owners who also possess distinctive personalities driven by desires to own commodities. The paper then explains in more detail how the social form of this public sphere develops through other elements of commodity relations and their contradictions. (shrink)

The mysterious phrase, ‘the eternal validity of the self,’ is clearly quite important in Kierkegaard’s pseudonymous works. A reader of those works will see that becoming aware of your eternal validity is a prerequisite for becoming both Judge William’s ‘ethical man’ and Johannes de Silentio’s ‘knight of faith,’ but the same reader is likely to be unsure just what it means to become aware of yourself in your eternal validity. In this paper, I discuss and critique various accounts of the (...) concept of the eternal validity of the self. Then, I offer an account of that notion which proceeds from careful attention to Judge William’s use of the phrase in Either/or. Finally, I connect my account with some of Kierkegaard’s writings beyond Either/or. (shrink)

In his masterpiece The Star of Redemption, Franz Rosenzweig shows as the notion of totality is a constant and central reference in the history of philosophy from Ionia to Jena. This paper aims to explain a different meaning of the concept of totality, reconsidering some aspects of the question starting from the philosophical reflection of Franz Rosenzweig and his opposition to the Hegelian thought. In particular, according to Rosenzweig, the concept of totality is the essential background in which one could (...) rethink the concept of community. For this reason, the second part of this paper is focused on the implications of a different concept of totality embodied by Judaism. (shrink)

It is argued, by use of specific examples, that mathematical understanding is something which cannot be modelled in terms of entirely computational procedures. Our conception of a natural number (a non-negative integer: 0, 1, 2, 3,…) is something which goes beyond any formulation in terms of computational rules. Our ability to perceive the properties of natural numbers depends upon our awareness, and represents just one of the many ways in which awareness provides an essential ingredient to our ability to understand. (...) There is no bar to the quality of understanding being the result of natural selection, but only so long as the physical laws contain a non-computational ingredient. (shrink)

This essay presents a long, detailed, in many ways critical but also appreciative account, of David Bloor’s recent book The Enigma of the Aerofoil. I take that work as the crowning statement of ideas and principles developed over the past four decades by Bloor and other exponents of the ‘strong programme’ in the sociology of scientific knowledge. It therefore offers both a test-case of that approach and a welcome opportunity to review, clarify and extend some of the arguments brought against (...) it by critical realists. This purpose is particularly well served by Bloor’s having here assembled such a wealth of scientific, historical, political and socio-cultural data concerning one specific, very crucial period of research into theories of aerodynamic lift. His book thus provides an exceptionally useful point of engagement for anyone seeking to adjudicate these issues from a critically angled but engaged and constructive standpoint. (shrink)

: Few texts summarize and at the same time compound the challenges of their author's philosophy so sharply as Hermann Cohen's Das Prinzip der Infinitesimalmethode und seine Geschichte (1883). The book's meaning and style are greatly illuminated by placing it in the scientific, political, and academic context of late-nineteenth century Germany. As this context changed, so did both the reception of the philosophy of the infinitesimal and of the Marburg school more generally. A study of this transformation casts significant light (...) on the political relevance of the philosophy of science in theWilhelmine era. As a means of following this development across time, Cohen's text is read through its changing reception in the philosophy of his closest disciple, Ernst Cassirer. (shrink)

In the following short essay I set out the key insights and main arguments in Nick Hostettler’s Eurocentrism . This text is an important contribution to the potential for creative elaboration inherent in Roy Bhaskar’s Dialectic and is also a substantive achievement in its own right. Hostettler’s work provides a way to move beyond the partialities and tensions of eurocentrism and anti-eurocentrism by repositioning both in terms of the europic. There are, however, a number of potential limitations in the way (...) the argument is developed so far. Content Type Journal Article Category Review Essay Pages 99-111 Authors Jamie Morgan, Leeds Metropolitan University Journal Journal of Critical Realism Online ISSN 1572-5138 Print ISSN 1476-7430 Journal Volume Volume 12 Journal Issue Volume 12, Number 1 / 2013. (shrink)

This paper investigates modular combinations of temporal logic systems. Four combination methods are described and studied with respect to the transfer of logical properties from the component one-dimensional temporal logics to the resulting combined two-dimensional temporal logic. Three basic logical properties are analyzed, namely soundness, completeness, and decidability. Each combination method comprises three submethods that combine the languages, the inference systems, and the semantics of two one-dimensional temporal logic systems, generating families of two-dimensional temporal languages with varying expressivity and varying (...) degrees of transfer of logical properties. The temporalization method and the independent combination method are shown to transfer all three basic logical properties. The method of full join of logic systems generates a considerably more expressive language but fails to transfer completeness and decidability in several cases. So a weaker method of restricted join is proposed and shown to transfer all three basic logical properties. (shrink)

We consider a notion of sequential functional of finite type, more generous than the familiar notion embodied in Plotkin's language PCF. We study both the “full” and “effective” partial type structures arising from this notion of sequentiality. The full type structure coincides with that given by the strongly stable model of Bucciarelli and Ehrhard; it has also been characterized by van Oosten in terms of realizability over a certain combinatory algebra. We survey and relate several known characterizations of these type (...) structures, and obtain some new ones. We show that every finite type can be obtained as a retract of the pure type , and hence that all elements of the effective type structure are definable in PCF extended by a certain universal functional H. We also consider the relationship between our notion of sequentially computable functional and other known notions of higher-type computability. (shrink)

The views of David Lewis and the Meinongians are both often met with an incredulous stare. This is not by accident. The stunned disbelief that usually accompanies the stare is a natural first reaction to a large ontology. Indeed, Lewis has been explicitly linked with Meinong, a charge that he has taken great pains to deny. However, the issue is not a simple one. "Meinongianism" is a complex set of distinctions and doctrines about existence and predication, in addition to the (...) famously large ontology. While there are clearly non-Meinongian features of Lewis' views, it is our thesis that many of the characteristic elements of Meinongian metaphysics appear in Lewis' theory. Moreover, though Lewis rejects incomplete and inconsistent Meinongian objects, his ontology may exceed that of a Meinongian who doesn't accept his possibilia. Thus, Lewis explains the truth of "there might have been talking donkeys" by appealing to possibilia which are talking donkeys. But the Meinongian need not accept that there exist things which are talking donkeys. Indeed, we show that a Meinongian even need not accept that there are nonexistent things which are talking donkeys! (shrink)

Abstract I argue for a new interpretation of the argument for the non-identity of Being and Difference at Sophist 255c-e, which turns on a distinction between modes of being a property. Though indebted to Frede (1967), the distinction differs from his in an important respect: What distinguishes the modes is not the subject's relation to itself or to something numerically distinct, but whether it constitutes or conforms to the specification of some property. Thus my view, but not his, allows self-participation (...) for Forms. Against Frede and the more traditional interpretation, I maintain that the distinction is not introduced by way of the pros alla / kath' hauta distinction, or by way of uses or senses of the verb `to be', but is established prior to the argument and is deployed in its frame. Moreover, since I read the argument's scope as restricted to properties in what I shall call the attribute mode, my interpretation can explain, as its rivals cannot, why the criterion of difference at 255d6-7 does not apply to the Form, Difference, itself. (shrink)

Summary Theories of familial, racial, and national degeneration in the late nineteenth and early twentieth centuries have been explored by historians in the context of social and moral pathology. At the same time nerve degeneration was studied in the post mortem room and in the laboratory but links to the broader ideology of degeneration have not been investigated by scholars. This paper joins these domains by examining the concept of Wallerian degeneration. It argues that various discourses—including those of the laboratory (...) scientist, the clinician, and the social theorist—employed the term degeneration, and these discourses frequently overlapped demonstrating that degeneration was a ubiquitous fact of Victorian and Edwardian nature. (shrink)