This is the first comprehensive commentary on the Athenaion Politeia since that of J.E. Sandys in 1912. The Introduction discusses the history of the text; the contents, purpose and sources of the work; its language and style; its date, and the evidence for revision after the completion of the original version; and the place of the work in the Aristotelian school. The Commentary concentrates on the historical and institutional facts which the work sets out to give, their sources and their (...) relation to other accounts. Textual and linguistic questions are also addressed. (shrink)

A recurring theme dominates recent philosophical debates about the nature of conscious perception: naïve realism’s opponents claim that the view is directly contradicted by empirical science. I argue that, despite their current popularity, empirical arguments against naïve realism are fundamentally flawed. The non-empirical premises needed to get from empirical scientific findings to substantive philosophical conclusions are ones the naïve realist is known to reject. Even granting the contentious premises, the empirical findings do not undermine the theory, given its overall philosophical (...) commitments. Thus, contemporary empirical research fails to supply any new argumentative force against naïve realism. I conclude that, as philosophers of mind, we would be better served spending a bit less time trying to wield empirical science as a cudgel against our opponents, and a bit more time working through the implications of each other’s views – something we can accomplish perfectly well from the comfort of our armchairs. (shrink)

A way of reading the Tractatus has been proposed which, according to its advocates, is importantly novel and essentially distinct from anything to be found in the work of such previously influential students of the book as Anscombe, Stenius, Hacker or Pears. The point of difference is differently described, but the currently most used description seems to be Goldfarb’s term ‘resolution’ – hence one speaks of ‘the resolute reading’. I’ll shortly ask what resolution is. For now, it is enough that (...) it aims to give full weight to the penultimate section of the Tractatus in which Wittgenstein declares his propositions to be nonsense, where giving full weight to that declaration involves not hearing it as allowing that those ‘nonsensical’ propositions might have another kind of ‘sense’. In that same section Wittgenstein explains that these nonsense propositions, while devoid of meaning, have a use: to make the kind of use of them that their author intends – and so to understand him – requires recognizing that they are nonsense; and through that recognition one ‘surmounts’ these propositions, and is led ‘to see the world aright’. So there is a point to all this nonsense. What point? (shrink)

Various natural deduction formulations of classical, minimal, intuitionist, and intermediate propositional and first-order logics are presented and investigated with respect to satisfaction of the separation and subformula properties. The technique employed is, for the most part, semantic, based on general versions of the Lindenbaum and Lindenbaum–Henkin constructions. Careful attention is paid to which properties of theories result in the presence of which rules of inference, and to restrictions on the sets of formulas to which the rules may be employed, restrictions (...) determined by the formulas occurring as premises and conclusion of the invalid inference for which a counterexample is to be constructed. We obtain an elegant formulation of classical propositional logic with the subformula property and a singularly inelegant formulation of classical first-order logic with the subformula property, the latter, unfortunately, not a product of the strategy otherwise used throughout the article. Along the way, we arrive at an optimal strengthening of the subformula results for classical first-order logic obtained as consequences of normalization theorems by Dag Prawitz and Gunnar Stålmarck. (shrink)

One of the most important views in the recent discussion of epistemological scepticism is Neo-Mooreanism. It turns a well-known kind of sceptical argument (the dreaming argument and its different versions) on its head by starting with ordinary knowledge claims and concluding that we know that we are not in a sceptical scenario. This paper argues that George Edward Moore was not a Moorean in this sense. Moore replied to other forms of scepticism than those mostly discussed nowadays. His own anti-sceptical (...) position turns out to be very subtle and complex; furthermore it changed over time. This paper follows Moore's views of what the sceptical problem is and how one should respond to it through a series of crucial papers with the main focus being on Moore's 'Proof of an External World'. An appendix deals with the much neglected relation between epistemological scepticism and moral scepticism in Moore. (shrink)

Formal dialogue games have been studied in philosophy since at least the time of Aristotle. Recently they have been applied in various contexts in computer science and artificial intelligence, particularly as the basis for interaction between autonomous software agents. We review these applications and discuss the many open research questions and challenges at this exciting interface between philosophy and computer science.

This paper examines Hume’s comments on and claims about ancient philosophy. A clear and consistent picture emerges from doing so. While Hume is a lover of ancient literature, he holds ancient philosophy in very low regard, as passage after passage discloses, with one qualification and one important exception. Hume appropriates the mantle of ‘Academic’ sceptic for himself; but in fact his Academic (or ‘mitigated’) scepticism has only minimal affinity with the ancient school of this name, having more in common with (...) early modern sceptical positions. The exception is found in the ‘painterly’ depictions of character and other features of moral life, where Hume holds many of the ancients in very high regard, seeing them as superior to the moderns. The bases of these respective views of Hume’s are explored, with an interpretation which construes Hume’s ‘anatomist’/’painter’ contrast as meant non-ironically. On the anatomist or theoretical side, Hume nonetheless – rightly or wrongly, and contrary to the views of a number of his prominent readers – sees a radical, dramatic break between early modern ‘scientific’ philosophy, and anything which preceded it. (shrink)

I articulate and defend a principle governing enforcement rights in response to a non‐culpable non‐just rights‐intrusion (e.g., wrongful bodily attack by someone who falsely, but with full epistemic justification, believes that he is acting permissibly). The account requires that the use of force reduce the harm from such intrusions and is sensitive to the extent to which the intruder is agent‐responsible for imposing intrusion‐harm.

In June 1979, Congress passed the Espionage Act, the first act of the three secrecy-defining statutes that have shaped so much of the last hundred years of modern American secrecy doctrine. Together with two other statutes that followed in later decades-the Atomic Energy Acts of 1946 and 1954, and the Patriot Act of 2001-these three Acts picked out inflection points in the great ratcheting process that has expanded secrecy from the protection of troop positions and recruitment stations through an entire (...) field of the physical sciences to almost the whole of government and civil society. Along with a surround of orders, directives, laws, and policies, these three Acts ground the modern world of national security secrecy. Necessarily schematic, my aim here is to follow the long term history of secrets over the last hundred years, using the debates and cases that that encircled them to understand better the governing principles of what information had to be hidden. What dangers did each period identify among things that should be secret? What were the properties and assumed power of these secrets? What kind of thing could, in the end, properly be declared secret? In short, I am interested in using the Acts to fix what it is that secrets were: An historically changing ontology of secrets from World War I through the Long War, and finally into the Terror Wars, our unbounded conflict. (shrink)

In his “Are Properties, Particular, Universal, or Neither?” Javier Cumpa argues that science not metaphysics explains how properties are instantiated. I accept this conclusion provided physics can be stated using rather few primitive predicates. In addition, he uses his scientific theory of instantiation to argue for Neutralism, his thesis that the “tie” between properties and their instances implies neither that properties are particular nor that they are universals. Neutralism, I claim, is a thesis that realist about universals have independent reason (...) to accept and their opponents have reason to reject. So, neutralism is not neutral on the topic of whether properties are universals. Nor is Cumpa’s Theory of Instantiation as naturalistic as he claims. I argue that although compatible with Ontological Naturalism, his theory provides a precedent for the non-naturalistic emergence of mental properties. Finally, I argue that because his theory requires a simple physics it presupposes a more rationalist epistemology than that of Methodological Naturalism. (shrink)

Does contemporary science tend to favour pantheism over its rivals or vice versa? Here I take the rivals to be the other members of a five-point spectrum: atheism, polytheism, pantheism, panentheism, and transcendent theism. And the features of contemporary science that I shall consider are: that the Universe has only existed for a finite time; that the Universe is expanding; that there are ubiquitous and pervasive laws of nature; and the ‘fine tuning’ required for life.

In this paper I have had two aims. One was to describe a number of pantheist or near pantheist religious attitudes, including the influence of many worlds theories. The other was to indicate some of the ways we might arrive at Pantheism.One final remark: when assessing religious positions the intellectual grounds for accepting or rejecting them should, I suggest, be whether they make sense of things, that is, enable us to understand. The ways to Pantheism, or to near Pantheism, should (...) therefore be interpreted as part of a comparison between ways of understanding. (shrink)

By definition, “logic of postmodernism" would appear to be a contradiction in terms: philosophic post¬modernism emerged as a critique of attempts to found philosophy on some principle of reasoning and to found reasoning on some formal guidelines for how we ought to think. Nonetheless, there are two reasons why Charles Sanders Peirce (1839-1914) ought to be labeled the logician of postmodernism — the philosopher who, more than any other, etched out the normative guidelines for postmodern thinking. The first reason is (...) that Peirce attempted to accomplish the impossible, or at least the contradictory. He launched his philosophic career with a logical critique of "Cartesianism" — his label for the modernist attempt to found philosophy on some formal principles of reasoning. He then attempted to replace the principles of Cartesian reasoning with a set of anti-modernist principles that proved themselves to be as modernist as their contraries. The second reason for giving Peirce his label is that his failures to accomplish the impossible engendered in him something he was unable to achieve willfully: a habit of self-critical yet self-affirming thinking that was neither modernist nor anti-modernist but, rather, a disciplined variety of postmodern thinking. In his later years, Peirce began to sketch out the principles of philosophic postmodernism by describing features of his own emergent habit of thinking. This sketching comes close enough to what I would label a logic of postmodernism — where the method of logic is as postmodern as the thinking it describes. (shrink)

Aryeh Neier: The topic of this session is "What We Have Learned about Limiting Knowledge in a Democracy," and it says we should discuss "how should we proceed and where should lines be drawn?" I'm going to conduct a conversation in which I will focus on this question of limits. The panel is very distinguished, very diverse, and I think we ought to be able to anticipate a diversity of views. All of our speakers are people who promote freedom of (...) information, but I am going to begin by asking them to reverse that role this evening. All of them, I assume, have certain limits they would impose on the availability of knowledge, and I'd like to know what those limits are, then see if there are some common threads or themes that we can extract from what they have to say. (shrink)

Let b and c be r.e. Turing degrees such that b>c. We show that there is an r.e. degree a such that b>a>c and all lattices containing a critical triple, including the lattice M5, cannot be embedded into the interval [c, a].

ABSTRACTBy the Many Categories problem, I mean the prima facie violation of Ockham’s Razor by realists about universals: there is, it might seem, just too much variety. Thus, David Armstrong posits both properties and relations. He also theorises about determinates of determinables. Another influential realist, E. J. Lowe distinguishes non-substantial from substantial universals. Yet again, both Armstrong and Lowe include in their ontology abstract particulars in addition to universals. My aim in this paper is to offer a unification of these (...) categories using an operator-theory. First, I show how operators provide a theory of abstract particulars of relations and of impure relational properties. Then, using impure relational properties I derive the Fregeanion Principle. After some metaphysics of mathematics, I provide a theory of determinables. Finally, I consider kinds and substances. (shrink)

Introduction to and overview over my book "Epistemic Contextualism. A Defense" (OUP 2016).

A result of Soare and Stob asserts that for any non-recursive r.e. setC, there exists a r.e.[C] setA such thatA⊕C is not of r.e. degree. A setY is called [of]m-REA (m-REA[C] [degree] iff it is [Turing equivalent to] the result of applyingm-many iterated ‘hops’ to the empty set (toC), where a hop is any function of the formX→X ⊕W e X . The cited result is the special casem=0,n=1 of our Theorem. Form=0,1, and any (m+1)-REA setC, ifC is not ofm-REA (...) degree, then for alln there exists an-r.e.[C] setA such thatA ⊕C is not of (m+n)-REA degree. We conjecture that this holds also form≥2. (shrink)

Where behavior defies economic analysis, one explanation is that individuals consider more than the immediate payoff. We present evidence that noneconomic factors influence behavior. Attractiveness influences offers in the Ultimatum and Dictator Games. Facial resemblance, a cue of relatedness, increases trusting in a two-node trust game. Only by considering the range of possible influences will game-playing behavior be explained.

This paper examines and compares the ways in which the Latin Avicenna, that is the Persian thinker’s work as known in Latin translation to medieval Christianthinkers, and Aquinas alter Aristotle’s conception of the breadth and scope of the subject of metaphysics. These two medieval philosophers inherited the problem that Aristotle posed in the Metaphysics concerning the relationship between the study of being as being and the natural study of God. Both thinkers reject the idea that God is the subject of (...) metaphysics and maintain that the one subject of this science is being qua being. They differ, however, in their analysis of the relationship between this subject and God. Avicenna does not directly address this problem, but certain passages from the Liber de prima philosophia seem to suggest, and were interpreted during the middle ages as suggesting, that God falls within the scope of being qua being. Aquinas, on the other hand, analyzes this relationship in detail and firmly denies that God falls within the scope of the subject of metaphysics. (shrink)

In the present contribution we look at the legacy of Hilbert's programme in some recent developments in mathematics. Hilbert's ideas have seen new life in generalised and relativised forms by the hands of proof theorists and have been a source of motivation for the so--called reverse mathematics programme initiated by H. Friedman and S. Simpson. More recently Hilbert's programme has inspired T. Coquand and H. Lombardi to undertake a new approach to constructive algebra in which strong emphasis is laid on (...) the use of finite methods. The main aim is to eliminate the ideal objects and in so doing obtain more elementary and informative proofs. We survey some work in commutative algebra---mainly about and around the Zariski spectrum and the Krull dimension of a commutative ring---which witnesses the feasibility of such a revised Hilbert's programme. (shrink)