A modal logic is developed to deal with finite ordered binary trees a they are used in linguistics. A modal language is introduced with operators for the ‘mother of’, ‘first daughter of’ and ‘second daughter of’ relations together with their transitive reflexive closures. The relevant class of tree models is defined and three linguistic applications of this language are discussed: context free grammars, command relations, and trees decorated with feature structures. An axiomatic proof system is given for which completeness is (...) shown with respect to the class of finite ordered binary trees. A number of decidability results follow. (shrink)

Zusammenfassung Der Artikel beginnt damit, die vermeintlich kritische These, die Identitätspolitik sei verantwortlich für den Rechtspopulismus, als einen Offenbarungseid politischer Urteilskraft darzustellen. Im zweiten Schritt wird Richard Sennetts Buch Der flexible Mensch dafür kritisiert, dass er eine fetischistische Kapitalismuskritik betreibt, die sich vor der Kritik der Lohnarbeit scheut. Sennett bietet theoretisch die Flucht in die Gemeinschaft als Ausweg aus den scheinbar erst seit dem Ende des Fordismus sinnlos gewordenen Verhältnissen an. Der Artikel zeigt, warum diesen Ausweg zu nehmen keine gute (...) Idee ist, auch wenn er gerade in Mode ist. Als weiterführendes Ergebnis der Beschäftigung mit Sennett wird gezeigt, dass die Kritiker_innen der Identitätspolitik die gegenwärtige Konfrontationsweise der Gewalt des Kapitalverhältnisses verkennen und ignorieren wie Subjekte sie bewältigen müssen. Damit soll zugleich der Zusammenhang von Liberalisierung und politischer Regression erhellt werden. (shrink)

We offer a formal account of the English past tenses. We see the perfect as having reference time at speech time and the preterite as having reference time at event time. We formalize four constraints on reference time, which we bundle together under the term ‘perspective’. Once these constraints are satisfied at the different reference times of the perfect and preterite, the contrasting functions of these tenses are explained. Thus we can account formally for the ‘definiteness effect’ and the ‘lifetime (...) effect’ of the perfect, for the fact that the perfect seems to ‘explain’ something about the present, and that the perfect cannot presuppose a past time point. We explain why perfect and preterite can sometimes be interchangeable, and we offer a solution to the ’present perfect puzzle’. We explain the unacceptability of notorious examples of the perfect such as * Gutenberg has discovered the art of printing . We give greater definition to the familiar notions of ‘current relevance’ and ‘extended now’. (shrink)

Various philosophers have wanted to move from a (P.F.) “Strawsonian” understanding of the “practices of moral responsibility” to a non-skeptical result. I focus on a strategy moving from a “response-dependent” theory of responsibility. I aim to show that a key analogy associated with this strategy fails to support a compatibilist result. It seems clear that nothing could show that nothing we have been laughing at has really been funny. If “the funny” is similar to “the blameworthy”, then perhaps it would (...) follow that nothing could show that no one we have ever blamed has really been blameworthy. The comparison is interesting, but inconclusive: even if we grant that these properties are normatively similar, the latter has substantive empirical presuppositions, whereas the former does not. One important upshot: even if the standards operative in our practices cannot be mistaken, it could nevertheless be that no one has ever met these standards Ruling out this possibility seemingly requires re-engaging in all of the so-called "metaphysical" debates Strawsonians are keen to avoid. (shrink)

"'There is only one thing that is certain, namely that we can have nothing certain; and therefore it is not certain that we can have nothing certain,' Samuel Butler once said, expressing in that mindbloggler all the elements required to form a classical paradox. Throughout the ages wise men and jesters alike have been intrigued by such mental twists and riddles which defy common sense and yet appear to be true." -- Dust jacket.

Moral latitude is only ever a matter of coincidence on the most popular decision procedure in the literature on moral uncertainty. In all possible choice situations other than those in which two or more options happen to be tied for maximal expected choiceworthiness, Maximize Expected Choiceworthiness implies that only one possible option is uniquely appropriate. A better theory of appropriateness would be more sensitive to the decision maker’s credence in theories that endorse agent-centred prerogatives. In this paper, we will develop (...) and defend a modified version of this view that allows for agent-centred prerogatives and supererogation as part of its verdicts about appropriateness. (shrink)

Inductively defined structures are ubiquitous in mathematics; their specification is unambiguous and their properties are powerful. All fields of mathematical logic feature these structures prominently: the formula of a language, the set of theorems, the natural numbers, the primitive recursive functions, the constructive number classes and segments of the cumulative hierarchy of sets. -/- This dissertation gives a mathematical characterization of a species of inductively defined structures, called accessible domains, which include all of the above examples except the set of (...) theorems. The concept of an accessible domain comes from Wilfried Sieg's analysis of proof-theoretic practices, starting with his dissertation. In particular, he noticed the special epistemological character of elements of an accessible domain: they can always be uniquely identified with their build-up. Generally, the unique build-up of elements justifies the principles of induction and recursion. -/- I use category theory to give an abstract characterization of accessible domains. I claim that accessible domains are all instances of initial algebras for endofunctors. Grounded in the historical roots of Sieg's discussions, this dissertation shows how the properties of initial algebras for endofunctors and accessible domains coincide in a satisfying and natural way. -/- Filling out this characterization, I show how important examples of accessible domains fit into this broad characterization. I first characterize some accessible domains by relatively simple functors (e.g. finite, polynomial, those that preserve certain colimits) where we can see how iterating the functor can produce the accessible domain. Then I describe accessible domains that result from more involved specifications (e.g. ordinals and segments of the cumulative hierarchies associated with CZF, IZF, and ZF) by relying heavily on algebraic set theory. I end with a discussion of some of the methodological features of category theory in particular that helped characterize accessible domains. (shrink)

Tens of thousands of students have learned to be more discerning at constructing and evaluating arguments with the help of Patrick J. Hurley. Hurley’s lucid, friendly, yet thorough presentation has made A CONCISE INTRODUCTION TO LOGIC the most widely used logic text in North America. In addition, the book’s accompanying technological resources, such as CengageNOW and Learning Logic, include interactive exercises as well as video and audio clips to reinforce what you read in the book and hear in class. (...) In short, you’ll have all the assistance you need to become a more logical thinker and communicator. Important Notice: Media content referenced within the product description or the product text may not be available in the ebook version. (shrink)

_"One of the most important political books of 2018."—Rod Dreher, ___American Conservative__ Of the three dominant ideologies of the twentieth century—fascism, communism, and liberalism—only the last remains. This has created a peculiar situation in which liberalism’s proponents tend to forget that it _is _an ideology and not the natural end-state of human political evolution. As Patrick Deneen argues in this provocative book, liberalism is built on a foundation of contradictions: it trumpets equal rights while fostering incomparable material inequality; its (...) legitimacy rests on consent, yet it discourages civic commitments in favor of privatism; and in its pursuit of individual autonomy, it has given rise to the most far-reaching, comprehensive state system in human history. Here, Deneen offers an astringent warning that the centripetal forces now at work on our political culture are not superficial flaws but inherent features of a system whose success is generating its own failure. (shrink)

"A thematic exposition focused on the "whole man," especially in his practical, aesthetic, ethical, and religious dimensions, moving from consideration of the stream of consciousness and consciousness as selective according to interests, through the ethical and religious aspects of man's aspiration and experience, to the humanistic bases of James' pragmatism and radical empiricism ... Dooley's account is remarkably clear and streamlined, stressing the consistency rather than the tensions in James' thought. Thus, while James' own texts provide at once the most (...) authoritative and the most attractive approach to his thought for readers at all levels, Dooley's book seems most likely to be helpful as supplementary reading for teachers and students in introductory courses.". (shrink)

The Handbook of Modal Logic contains 20 articles, which collectively introduce contemporary modal logic, survey current research, and indicate the way in which the field is developing. The articles survey the field from a wide variety of perspectives: the underling theory is explored in depth, modern computational approaches are treated, and six major applications areas of modal logic (in Mathematics, Computer Science, Artificial Intelligence, Linguistics, Game Theory, and Philosophy) are surveyed. The book contains both well-written expository articles, suitable for beginners (...) approaching the subject for the first time, and advanced articles, which will help those already familiar with the field to deepen their expertise. Please visit: http://people.uleth.ca/~woods/RedSeriesPromo_WP/PubSLPR.html - Compact modal logic reference - Computational approaches fully discussed - Contemporary applications of modal logic covered in depth. (shrink)

This book launches a sustained defense of a radical interpretation of the doctrine of the open future. Patrick Todd argues that all claims about undetermined aspects of the future are simply false.

The author uses social epistemology to develop the cognitive authority theory. The fundamental concept of cognitive authority is that people construct knowledge in two different ways: based on their first-hand experience or on what they have learned second-hand from others. What people learn first-hand depends on the stock of ideas they bring to the interpretation and understanding of their encounters with the world. People primarily depend on others for ideas as well as for information outside the range of direct experience. (...) Much of what they think of the world is what they have gained second-hand. All that people know of the world beyond the narrow range of their own lives is what others have told them. However, people do not count all hearsay as equally reliable; only those who are deemed to “know what they are talking about” become cognitive authorities. --. (shrink)

As well as disagreeing about how much one should donate to charity, moral theories also disagree about where one should donate. In light of this disagreement, how should the morally uncertain philanthropist allocate her donations? In many cases, one intuitively attractive option is for the philanthropist to split her donations across all of the charities that are recommended by moral views in which she has positive credence, with each charity’s share being proportional to her credence in the moral theories that (...) recommend that particular charity. Despite the fact that something like this approach is already being used by real-world philanthropists to distribute billions of dollars of donations, it is not supported by any of the approaches to moral uncertainty that have been proposed thus-far in the philosophical literature. In this paper, we will develop a bargaining-based approach to moral uncertainty that honors the proportionality intuition in favor of splitting one’s donations. We also show how this bargaining-based approach has several further advantages over the best alternative proposals. (shrink)

Patrick D Walsh; Open and Loaded Uses of ‘Education’—and objectivism, Journal of Philosophy of Education, Volume 22, Issue 1, 30 May 2006, Pages 23–35, https://.

The thesis of this book, first published in 1972, is that Kant's notions of 'absolute worth', the 'unconditioned' and 'unconditioned worth' are rationalistic and confused, and that they spoil his ontology of personal value and tend to subvert his splendid idea of the person as an End in himself.

Professor Richard Pring's BJES Vol. 48, No. 1 editorial shares a widespread unease regarding government centralisation of state-funded research (not only on education). Unfortunately the editorial compromises with this trend by suggesting it is obvious to academic experts where research should be so concentrated. Instead, an alternative model of research is advocated to counter so far as is possible the tendency towards centralisation.

Contemporary hybrid logic is based on the idea of using formulas as terms, an idea invented and explored by Arthur Prior in the mid-1960s. But Prior’s own work on hybrid logic remains largely undiscussed. This is unfortunate, since hybridisation played a role that was both central to and problematic for his philosophical views on tense. In this paper I introduce hybrid logic from a contemporary perspective, and then examine the role it played in Prior’s work.

Health care in the United States, being a microcosm of the broader society in which it developed, possesses a sordid legacy concerning racial prejudices, biases, and the perpetuation of health and...

On what grounds could life be made worth living given its abundant suffering? Friedrich Nietzsche was one among many who attempted to answer this question. This book attempts to disentangle Nietzsche's various critiques of pessimism, elucidating how familiar Nietzschean themes ought to be assessed against this philosophical backdrop.

In this ground-breaking new text, Patrick Baert analyses the central perspectives in the philosophy of social science, critically investigating the work of Durkheim, Weber, Popper, critical realism, critical theory, and Rorty's neo pragmatism. Places key writers in their social and political contexts, helping to make their ideas meaningful to students. Shows how these authors’ views have practical uses in empirical research. Lively approach that makes complex ideas understandable to upper-level students, as well as having scholarly appeal.

While French biologists were turning a cold shoulder to On the Origin of Species in the 1860s, Charles Darwin was earnestly pursuing a professional connection with one French physiologist in particular: Charles Brown-Séquard. Darwin had been closely following Brown-Séquard’s startling experiments on guinea pigs, which demonstrated that experimentally induced epilepsy could pass from parent to offspring. In Darwin’s mind, Brown-Séquard had produced the most convincing evidence to date that acquired traits could be inherited. Darwin saw opportunities in Brown-Séquard and his (...) work. If Brown-Séquard realized the evolutionary implications of his experiments, and then endorsed the Origin in Paris, Darwin could be well on his way to securing a French audience for his theories. Darwin quickly mobilized his powers of correspondence to make this French connection, but Brown-Séquard received Darwin’s advances with caution. A connection with Darwin could be useful in London and America, where he was increasingly spending time, but to publicly support Darwin would be professionally damaging back home in Paris. This paper examines the dance of letters between Darwin and Brown-Séquard, the politics of citation, and the delicacy of sustaining a transnational biological career between France and Britain in the 1860s. This paper casts a new perspective on an old debate in the history of biology. I show that from within the “heavy cloud” of anti-evolutionary thought in France, there existed a live wire between Brown-Séquard and Darwin. I argue that British evolutionary theory in the age of Darwin was built, in part, with French participation. (shrink)