Is logic normative for belief? A standard approach to answering this question has been to investigate bridge principles relating claims of logical consequence to norms for belief. Although the question is naturally an epistemic one, bridge principles have typically been investigated in isolation from epistemic debates over the correct norms for belief. In this paper we tackle the question of whether logic is normative for belief by proposing a Kripkean model theory accounting for the interaction between logical, doxastic, epistemic (...) and deontic notions and using this model theory to show which bridge principles are implied by epistemic norms that we have independent reason to accept, for example, the knowledge norm and the truth norm. We propose a preliminary theory of the interaction between logical, doxastic, epistemic and deontic notions that has among its commitments bridge principles expressing how logic is normative for belief. We also show how our framework suggests that logic is exceptionally normative. (shrink)

Is logic normative for belief? A standard approach to answering this question has been to investigate bridge principles relating claims of logical consequence to norms for belief. Although the question is naturally an epistemic one, bridge principles have typically been investigated in isolation from epistemic debates over the correct norms for belief. In this paper we tackle the question of whether logic is normative for belief by proposing a Kripkean model theory accounting for the interaction between logical, doxastic, epistemic (...) and deontic notions and using this model theory to show which bridge principles are implied by epistemic norms that we have independent reason to accept, for example, theknowledge normand thetruth norm. We propose a preliminary theory of the interaction between logical, doxastic, epistemic and deontic notions that has among its commitments bridge principles expressing how logic is normative for belief. We also show how our framework suggests that logic is exceptionally normative. (shrink)

Traditional ideas of mediator neutrality and impartiality have come under increasing attack in recent decades. There is, however, a lack of consensus on what should replace them. Mediation Ethics offers a response to this question, developing a new theory of mediation that emphasises its nature as a relational process.

A correspondence theory of truth explains truth in terms of various correspondence relations (e.G., Reference) between words and the extralinguistic world. What are the consequences of quine's doctrine of indeterminacy for correspondence theories? in "ontological relativity" quine implicitly claims that correspondence theories are impossible; that is what the doctrine of 'relative reference' amounts to. But quine's doctrine of relative reference is incoherent. Those who think the indeterminacy thesis valid should not try to relativize reference, They should abandon the relation (...) and replace it by certain more general correspondence relations between words and extralinguistic objects. Doing so will not interfere with the task of defining truth in terms of correspondence relations. (shrink)

The collaboration of Language and Computing nv (L&C) and the Institute for Formal Ontology and Medical Information Science (IFOMIS) is guided by the hypothesis that quality constraints on ontologies for software ap-plication purposes closely parallel the constraints salient to the design of sound philosophical theories. The extent of this parallel has been poorly appreciated in the informatics community, and it turns out that importing the benefits of phi-losophical insight and methodology into application domains yields a variety of improvements. L&C’s LinKBase® (...) is one of the world’s largest medical domain ontologies. Its current primary use pertains to natural language processing ap-plications, but it also supports intelligent navigation through a range of struc-tured medical and bioinformatics information resources, such as SNOMED-CT, Swiss-Prot, and the Gene Ontology (GO). In this report we discuss how and why philosophical methods improve both the internal coherence of LinKBase®, and its capacity to serve as a translation hub, improving the interoperability of the ontologies through which it navigates. (shrink)

The naive theory of properties states that for every condition there is a property instantiated by exactly the things which satisfy that condition. The naive theory of properties is inconsistent in classical logic, but there are many ways to obtain consistent naive theories of properties in nonclassical logics. The naive theory of classes adds to the naive theory of properties an extensionality rule or axiom, which states roughly that if two classes have exactly the same members, (...) they are identical. In this paper we examine the prospects for obtaining a satisfactory naive theory of classes. We start from a result by Ross Brady, which demonstrates the consistency of something resembling a naive theory of classes. We generalize Brady’s result somewhat and extend it to a recent system developed by Andrew Bacon. All of the theories we prove consistent contain an extensionality rule or axiom. But we argue that given the background logics, the relevant extensionality principles are too weak. For example, in some of these theories, there are universal classes which are not declared coextensive. We elucidate some very modest demands on extensionality, designed to rule out this kind of pathology. But we close by proving that even these modest demands cannot be jointly satisfied. In light of this new impossibility result, the prospects for a naive theory of classes are bleak. (shrink)

Nonclassical theories of truth that take truth to be transparent have some obvious advantages over any classical theory of truth. But several authors have recently argued that there’s also a big disadvantage of nonclassical theories as compared to their “external” classical counterparts: proof-theoretic strength. While conceding the relevance of this, the paper argues that there is a natural way to beef up extant internal theories so as to remove their proof-theoretic disadvantage. It is suggested that the resulting internal theories (...) are preferable to their external counterparts. (shrink)

If properties are to play a useful role in semantics, it is hard to avoid assuming the naïve theory of properties: for any predicate Θ(x), there is a property such that an object o has it if and only if Θ(o). Yet this appears to lead to various paradoxes. I show that no paradoxes arise as long as the logic is weakened appropriately; the main difficulty is finding a semantics that can handle a conditional obeying reasonable laws without engendering (...) paradox. I employ a semantics which is infinite-valued, with the values only partially ordered. Can the solution be adapted to naïve set theory? Probably not, but limiting naïve comprehension in set theory is perfectly satisfactory, whereas this is not so in a property theory used for semantics. (shrink)

Bayesian decision theory can be viewed as the core of psychological theory for idealized agents. To get a complete psychological theory for such agents, you have to supplement it with input and output laws. On a Bayesian theory that employs strict conditionalization, the input laws are easy to give. On a Bayesian theory that employs Jeffrey conditionalization, there appears to be a considerable problem with giving the input laws. However, Jeffrey conditionalization can be reformulated so (...) that the problem disappears, and in fact the reformulated version is more natural and easier to work with on independent grounds. (shrink)

This paper is concerned with the debate between substantival and relational theories of space-time, and discusses two difficulties that beset the relationalist: a difficulty posed by field theories, and another difficulty called the problem of quantities. A main purpose of the paper is to argue that possibility can not always be used as a surrogate of ontology, and that in particular that there is no hope of using possibility to solve the problem of quantities.

Any theory of truth must find a way around Curry’s paradox, and there are well-known ways to do so. This paper concerns an apparently analogous paradox, about validity rather than truth, which JC Beall and Julien Murzi call the v-Curry. They argue that there are reasons to want a common solution to it and the standard Curry paradox, and that this rules out the solutions to the latter offered by most “naive truth theorists.” To this end they recommend a (...) radical solution to both paradoxes, involving a substructural logic, in particular, one without structural contraction. In this paper I argue that substructuralism is unnecessary. Diagnosing the “v-Curry” is complicated because of a multiplicity of readings of the principles it relies on. But these principles are not analogous to the principles of naive truth, and taken together, there is no reading of them that should have much appeal to anyone who has absorbed the morals of both the ordinary Curry paradox and the second incompleteness theorem. (shrink)

1. Of what use is the concept of causation? Bertrand Russell [1912-13] argued that it is not useful: it is “a relic of a bygone age, surviving, like the monarchy, only because it is erroneously supposed to do no harm.” His argument for this was that the kind of physical theories that we have come to regard as fundamental leave no place for the notion of causation: not only does the word ‘cause’ not appear in the advanced sciences, but the (...) laws that these sciences state are incompatible with causation as we normally understand it. But Nancy Cartwright has argued [1979] that abandoning the concept of causation would cripple science; her conclusion was based not on fundamental physics, but on more ordinary science such as the search for the causes of cancer. She argues that Russell was right that the fundamental theories of modern physics say nothing, even implicitly, about causation, and concludes on this basis that such theories are incomplete. It is with this cluster of issues that I will begin my discussion. (shrink)

This book offers a detailed study of the political philosophies of Thomas Hobbes and Benedict de Spinoza, focussing on their concept of power as potentia, concrete power, rather than power as potestas, authorised power. The focus on power as potentia generates a new conception of popular power. Radical democrats–whether drawing on Hobbes's 'sleeping sovereign' or on Spinoza's 'multitude'–understand popular power as something that transcends ordinary institutional politics, as for instance popular plebsites or mass movements. However, the book argues that these (...) understandings reflect a residual scholasticism which Hobbes and Spinoza ultimately repudiate. Instead, on the book's revisionist conception, a political phenomenon should be said to express popular power when it is both popular (it eliminates oligarchy and encompasses the whole polity), and also powerful (it robustly determines political and social outcomes). Two possible institutional forms that this popular power might take are distinguished: Hobbesian repressive egalitarianism, or Spinozist civic strengthening. But despite divergent institutional proposals, the book argues that both Hobbes and Spinoza share the conviction that there is nothing spontaneously egalitarian or good about human collective existence. From this point of view, the book accuses radical democrats of pernicious romanticism; the slow, meticulous work of organizational design and maintenance is the true centre of popular power. Three minute video summary available via HPBin3. Extended discussion on The Political Theory Review podcast. First chapter open access available via Oxford Scholarship Online. Videos of book talks at National University of Singapore (Centre for Legal Theory) and Universidad de Buenos Aires (Instituto de Investigaciones Gino Germani) available via YouTube. (See links below.). (shrink)

This paper extends Kripke’s theory of truth to a language with a variably strict conditional operator, of the kind that Stalnaker and others have used to represent ordinary indicative conditionals of English. It then shows how to combine this with a different and independently motivated conditional operator, to get a substantial logic of restricted quantification within naive truth theory.

The term ‘social capital’ is a way of defining the intangible resources of community, shared values and trust upon which we draw in daily life. It has achieved considerable international currency across the social sciences through the very different work of Pierre Bourdieu in France and James Coleman and Robert Putnam in the United States, and has been widely taken up within politics and sociology as an explanation for the decline in social cohesion and community values in western societies. It (...) has also been adopted by policy makers, particularly in international governmental bodies such as the World Bank. (shrink)

The paper offers a solution to the semantic paradoxes, one in which (1) we keep the unrestricted truth schema “True(A)↔A”, and (2) the object language can include its own metalanguage. Because of the first feature, classical logic must be restricted, but full classical reasoning applies in “ordinary” contexts, including standard set theory. The more general logic that replaces classical logic includes a principle of substitutivity of equivalents, which with the truth schema leads to the general intersubstitutivity of True(A) with (...) A within the language.The logic is also shown to have the resources required to represent the way in which sentences (like the Liar sentence and the Curry sentence) that lead to paradox in classical logic are “defective”. We can in fact define a hierarchy of “defectiveness” predicates within the language. Contrary to claims that any solution to the paradoxes just breeds further paradoxes (“revenge problems”) involving defectiveness predicates, there is a general consistency/conservativeness proof that shows that talk of truth and the various “levels of defectiveness” can all be made coherent together within a single object language. (shrink)

De Re Significance accounts of moral appraisal consider an agent’s responsiveness to a particular kind of reason, normative moral reasons de re, to be of central significance for moral appraisal. Here, I argue that such accounts find it difficult to accommodate some neuroatypical agents. I offer an alternative account of how an agent’s responsiveness to normative moral reasons affects moral appraisal – the Reasonable Expectations Account. According to this account, what is significant for appraisal is not the content of the (...) reasons an agent is responsive to, but rather whether she is responsive to the reasons it is reasonable to expect her to be responsive to, irrespective of their content. I argue that this account does a better job of dealing with neuroatypical agents, while agreeing with the De Re Significance accounts on more ordinary cases. (shrink)

Software application ontologies have the potential to become the keystone in state-of-the-art information management techniques. It is expected that these ontologies will support the sort of reasoning power required to navigate large and complex terminologies correctly and efficiently. Yet, there is one problem in particular that continues to stand in our way. As these terminological structures increase in size and complexity, and the drive to integrate them inevitably swells, it is clear that the level of consistency required for such navigation (...) will become correspondingly difficult to maintain. While descriptive semantic representations are certainly a necessary component to any adequate ontology-based system, so long as ontology engineers rely solely on semantic information, without a sound ontological theory informing their modeling decisions, this goal will surely remain out of reach. In this paper we describe how Language and Computing nv (L&C), along with The Institute for Formal Ontology and Medical Information Sciences (IFOMIS), are working towards developing and implementing just such a theory, combining the open software architecture of L&C’s LinkSuiteTM with the philosophical rigor of IFOMIS’s Basic Formal Ontology. In this way we aim to move beyond the more or less simple controlled vocabularies that have dominated the industry to date. (shrink)

The paper distinguishes two approaches to understanding the representational content of sentences and intentional states, and its role in describing people, predicting and explaining their behavior, and so forth. It sets forth the case for one of these approaches, the “egocentric” one, initially on the basis of its ability to explain the near‐indefeasibility of ascriptions of content to our own terms (“‘dogs’ as I use it means dogs”), but more generally on the basis of its providing an attractive overall picture (...) of the descriptive and explanatory role of representational content. In doing this, the paper relates the egocentric view to an “immanent” or “deflationary” view of reference and truth conditions, and also to the view of reference‐talk and truth‐talk as anaphoric devices. It discusses the indeterminacy of content ascriptions to those in communities with radically different theories, a phenomenon that is unsurprising on the egocentric approach, and connects this to the thesis of the normativity of meaning. (It does all this in rather broad brush: many strands of the egocentric account will be familiar, and are the subject of familiar controversies; the point of the paper is less to address these controversies individually than to tie the strands together into what is hoped to be an appealing package.). (shrink)

It might be thought that we could argue for the consistency of a mathematical theory T within T, by giving an inductive argument that all theorems of T are true and inferring consistency. By Gödel's second incompleteness theorem any such argument must break down, but just how it breaks down depends on the kind of theory of truth that is built into T. The paper surveys the possibilities, and suggests that some theories of truth give far more intuitive (...) diagnoses of the breakdown than do others. The paper concludes with some morals about the nature of validity and about a possible alternative to the idea that mathematical theories are indefinitely extensible. (shrink)

An interpretation of Berkeley’s theory of meaning must account for operative utility as well as Berkeley’s commitment to the truth of Christian scriptures. I argue that formalist and use-theoretic...

While non-classical theories of truth that take truth to be transparent have some obvious advantages over any classical theory that evidently must take it as non-transparent, several authors have recently argued that there's also a big disadvantage of non-classical theories as compared to their “external” classical counterparts: proof-theoretic strength. While conceding the relevance of this, the paper argues that there is a natural way to beef up extant internal theories so as to remove their proof-theoretic disadvantage. It is suggested (...) that the resulting internal theories should seem preferable to their external counterparts. (shrink)

Both in dealing with the semantic paradoxes and in dealing with vagueness and indeterminacy, there is some temptation to weaken classical logic: in particular, to restrict the law of excluded middle. The reasons for doing this are somewhat different in the two cases. In the case of the semantic paradoxes, a weakening of classical logic (presumably involving a restriction of excluded middle) is required if we are to preserve the naive theory of truth without inconsistency. In the case of (...) vagueness and indeterminacy, there is no worry about inconsistency; but a central intuition is that we must reject the factual status of certain sentences, and it hard to see how we can do that while claiming that the law of excluded middle applies to those sentences. So despite the different routes, we have a similar conclusion in the two cases. (shrink)

The paper shows how we can add a truth predicate to arithmetic (or formalized syntactic theory), and keep the usual truth schema Tr( ) ↔ A (understood as the conjunction of Tr( ) → A and A → Tr( )). We also keep the full intersubstitutivity of Tr(>A>)) with A in all contexts, even inside of an →. Keeping these things requires a weakening of classical logic; I suggest a logic based on the strong Kleene truth tables, but with (...) → as an additional connective, and where the effect of classical logic is preserved in the arithmetic or formal syntax itself. Section 1 is an introduction to the problem and some of the difficulties that must be faced, in particular as to the logic of the →; Section 2 gives a construction of an arithmetically standard model of a truth theory; Section 3 investigates the logical laws that result from this; and Section 4 provides some philosophical commentary. (shrink)

Argues that there are two reasons for ascribing to mental states, structures more fine-grained than the sets of possible world they represent: first, fine-grained structure enters naturally into the explanation of behaviour; second, fine-grained structure is needed in a theory of how those states represent the sets of possible worlds they represent. In connection with the first point, it is argued that Stalnaker’s attempt to use metalinguistic content to obviate the need of fine-grained structure cannot work. In connection with (...) the second point, it is argued that the systematicity in the assignment of content to mental states can be accommodated only by postulating a fine-grained structure for mental states. Also contains some discussion of doing without representational content, understood in the non-deflationary sense that Stalnaker assumes. (shrink)

I propose a theory of popular power, according to which a political order manifests popular power to the extent it robustly maintains an egalitarian basic structure. There are two parts to the theory. First, the power of a political order lies in the basic structure's robust self-maintenance. Second, the popularity of the political order’s power lies in the equality of relations between the society's members. I will argue that this theory avoids the perverse consequences of some existing (...) radical democratic theories of popular power which focus on mass expression, either in plebiscites or in social movements, as popular power's canonical instances. In particular, my theory does not valourise momentary expression over durable effect, and it offers a ready framework for conceptualising the sometimes-oligarchic substructure of the supposedly canonical instances of popular power. I will show that this theory has strong precedents within a certain republican tradition of political philosophy. (shrink)

There are close affinities between James' theory of time as discussed in A Pluralistic Universe and the so-called epochal theory of time offered by Alfred North Whitehead. In this paper I examine James' theory and compare it with the views of Henri Bergson.

Negri celebrates a conception of democracy in which the concrete powers of individual humans are not alienated away, but rather are added together: this is a democracy of the multitude. But how can the multitude act without alienating anyone’s power? To answer this difficulty, Negri explicitly appeals to Spinoza. Nonetheless, in this paper, I argue that Spinoza’s philosophy does not support Negri’s project. I argue that the Spinozist multitude avoids internal hierarchy through the mediation of political institutions and not in (...) spite of them; nor do these institutions merely emanate from the multitude as it is, but rather they structure, restrain and channel its passions. In particular, the required institutions are not those of a simple direct democracy. There may be other non-Spinozist arguments on which Negri can ground his theory, but he cannot legitimately defend his conception of the democratic multitude by appeal to Spinoza. (shrink)

Descartes claims in the Third Meditation that ideas of sense might be materially false. While an accurate interpretation of this claim has the potential of providing some valuable insights into Descartes's theory of ideas in general and his understanding of the epistemic status of sensations in particular, the explanation Descartes provides of the material falsity of ideas is itself obscure and misleading, making accurate interpretation difficult. In this paper an interpretation of material falsity is offered which identifies the fault (...) of materially false ideas in the logical incoherence of their objective content. The implications of this interpretation are also discussed. (shrink)

Originally published in 1921, updated in 1932 and re-issued in 1966 with an introduction by Stephan Körner, this book remains a classic introduction to the study of ethics. It clearly explains both the Aristotelian and the Kantian approach to ethical problems, by combining the advantages of a historical and systematic introduction. Much of the book is devoted to Aristotle and Kant, whose moral theories are important and who are influential forces in contemporary moral philosophy.

Students often have difficulty connecting theoretical and text-based scholarship to the real world. When teaching in Asia, this disconnection is exacerbated by the European/American focus of many canonical texts, whereas students' own experiences are primarily Asian. However, in my discipline of political philosophy, this problem receives little recognition nor is it comprehensively addressed. In this paper, I propose that the problem must be taken seriously, and I share my own experiences with a novel pedagogical strategy which might offer a possible (...) path forward. Recent scholarship has championed an active learning approach, where students engage in their own research, and deliver outward-facing products that have a meaning and purpose beyond the confines of the student-professor relationship. In this spirit, I have put into practice a strategy of course design, where active learning is used to overcome students' disconnection with the course content. In particular, as a major component of course assessment, students are required to write an 'opinion piece', which is then showcased on a public website. The opinion piece must address a real-world issue which the student himself or herself selects and deems important; furthermore, it must build on the theoretical tools of the course and be written in a style which makes it accessible to a wider audience. I discuss the implementation of this strategy in two political philosophy courses, including strategies to avoid 'dumbing down' and ‘diluting’ the process of critical thinking. While no formal analysis of impact of the strategy on learning outcomes has been conducted, an anonymous pedagogical survey has yielded an overwhelmingly positive response for students' self-reported perceptions of the curricular innovations. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Commentary on “Sanity and Irresponsibility”Lloyd Fields (bio)AbstractI make two criticisms of Wilson’s proposal to dispense with a loaded axiological criterion of sanity. First, Edwards’s axiological criterion of sanity, which Wilson accepts, involves the requirement of impartiality, which at least excludes some standards of right and wrong. Second, value pluralism applies only to morally acceptable forms of life and thus presupposes a standard of right and wrong. I conclude by (...) noting that mental illnesses are not sufficiently characterised by extreme and persistent deviance from practical rationality, as conceived by Edwards and Wilson.KeywordsSanity, responsibility, mental illness, value pluralismWilson’s paper is set in an important tradition of which Susan Wolf is a notable exemplar. He tackles the crucially important issue of how practical rationality is related to mental health and of how certain forms of irrationality are connected with mental illness. This issue must be taken into account in order to avoid infecting the criteria of sanity with “idiosyncratic or culturally biased norms.” Like Wolf (1989, 137–151), Wilson holds that sanity is a necessary condition of responsibility. But Wilson rejects the second of Wolf’s two criteria of sanity on the grounds that it invokes a definite normative theory of right and wrong. He proposes instead that whether an agent is sane should be decided on the basis of whether s/he displays practical rationality, as defined by Edwards’s list of seven items. Following Edwards, Wilson implicitly equates “sanity” with “mental health” and “insanity” with “mental illness.” By rejecting an axiological criterion of sanity that depends on a normative theory of right and wrong, Wilson is able to ensure that individuals like JoJo are not judged to be insane and hence not morally responsible for their actions. Wilson is right to stress the importance of our not applying notions such as “mental illness” or “insanity” too widely, especially in such a way as to allow blameworthy persons to escape blame and punishment.But are Wilson’s own criteria of sanity free from dependence on a normative theory, or a normative standard, of right and wrong? First, let us note that Wilson states Edwards’s seventh condition of practical rationality as follows: “holding values that are or would be adopted under the conditions of (negative) freedom.” Edwards’s own formulation of this condition is the following: “having values which have been (or would be) adopted under conditions of freedom, enlightenment and impartiality” (1982, 315). Wilson explains “freedom” as the absence of coercion. It is uncertain what “enlightenment” means in this context. Impartiality would seem to include being impartial between oneself and others and between one’s own tribe, nation or race and that of others. Although this requirement is perhaps too general to be regarded as a sufficient standard [End Page 303] of right and wrong, it is at least part of such normative theories as utilitarianism and Kant’s moral theory, while it is inconsistent with ethical egoism, i.e., the view that an action is right or wrong depending on whether it serves or frustrates the agent’s overall best interests. One could dispute Wilson’s claim, therefore, that Edwards’s seventh item is not a “loaded” axiological criterion.Second, Wilson maintains that we can avoid assuming a loaded axiological criterion for sanity by adopting the position of value pluralism. Wolf’s axiological criterion for sanity is that the agent should be capable of knowing the difference between right and wrong. Wilson holds that this criterion, as presented, invokes a normative theory of right and wrong. The criterion would not do so if it were applied in accordance with value pluralism, which, Wilson says, “rejects the notion that there is one monolithic theory of right and wrong without denying that an actor may behave virtuously or viciously.” Wilson appears to assume that an “unloaded” version of Wolf’s axiological criterion would be more or less equivalent to Edwards’s seventh condition of practical rationality.Value pluralism maintains that there are incompatible forms of life that display distinct virtues. “Whichever form of life one is pursuing there are virtues which elude one because they are available only to people pursuing alternative and... (shrink)

Coping with the Future: Theories and Practices of Divination in East Asia. Edited by Michael Lackner. Sinica Leidensia, vol. 138. Leiden: Brill, 2017. Pp. xvi + 586. €149, $172.

Galileo's Error (Goff, 2019) leaves important questions unasked and hence unanswered. I focus on two of these: the question of what a theory of consciousness is supposed to accomplish, and the question of what the materialismâ–“dualismâ–“panpsychism debate is actually about.

The Ollivier–Poulin–Zurek definition of objectivity provides a philosophical basis for the environment as witness formulation of decoherence theory and hence for quantum Darwinism. It is shown that no account of the reference of the key terms in this definition can be given that does not render the definition inapplicable within quantum theory. It is argued that this is not the fault of the language used, but of the assumption that the laws of physics are independent of Hilbert-space decomposition. (...) All evidence suggests that this latter assumption is true. If it is, decoherence cannot explain the emergence of classicality. (shrink)