Liberal egalitarianism is commonly criticized for being insufficiently sensitive to status inequalities and the effects of misrecognition. I examine this criticism as it applies to Ronald Dworkin’s ‘equality of resources’ and argue that, in fact, liberal egalitarians possess the resources to deal effectively with recognition-type issues. More precisely, while conceding that the distributive principles required to realize equality of resources must apply against a particular institutional background, I point out, following Dworkin, that among the principles guiding this background is (...) a ‘principle of independence,’ and that this principle, properly interpreted, requires government to protect people against the disadvantageous effects of wrongful prejudicial discrimination. Moreover, I give an account of wrongful prejudice which is grounded in a particular interpretation of the abstract egalitarian principle Dworkin requires for a government to be legitimate and which goes a long way toward acknowledging status inequalities. Finally, I suggest other resources within the theory for responding to residual problems of recognition not addressed by the principle of independence. (shrink)

Retributive emotions and behavior are thought to be adaptive for their role in improving social coordination. However, since retaliation is generally not in the short-term interests of the individual, rational self-interest erodes the motivational link between retributive emotions and the accompanying adaptive behavior. I argue that two different sets of norms have emerged to reinforce this link: (1) norms about honor and (2) norms about moral responsibility and desert. I observe that the primary difference between these types of retribution motivators (...) lies in where the normative focus is placed after an offense. In the first form of retribution, the normative focus is on the offended party. In the second, it is on the offender. Next, I show how each class of norms is well tailored to the particular features of the environment in which these forms of retributive behavior emerge. Finally, I consider some philosophical implications of these observations. I suggest that my account, if correct, would pose tough challenges for contemporary philosophical theories of moral responsibility and punishment. (shrink)

Formal principals are isolated to reveal a structure embedded in a wide range of studies, each of which partitions a domain of individuals into types and categories. It is thought that any reasonable theory of types should include these principles.

A main thesis of Fred Sommers' type theory, is that an isomorphism exists between any natural language and the categories discriminated by that language. Here the author gives an explanation of what this claim comes to. And then it is argued that, so understood, the claim is incompatible with Zermelo-Fraenkel set theory. Finally, it is argued against trying to salvage the isomorphism thesis by appealing to some other set theory.

Jon Fjeld wrote a paper that he begins by nicely outlining why various criticisms of Fred Sommers theory of types and categories fail. Fjeld puts forth a criticism that avoids the problems with these other criticisms. But, it is argued, his criticism also fails.

This is the second volume in the new monograph series sponsored by the American Philosophical Quarterly and judging by the high quality of most of the essays in this collection the idea for such a series seems to be a good one. A wide variety of topics in contemporary philosophical logic are discussed in seven essays, as suggested by the following brief account of their contents: Montgomery Furth's "Two Types of Denotation" is a careful study of Frege's views of denotation, (...) function, and object which manages to make some original suggestions as well as to clear up some confusing features of Frege's discussion. Jaako Hintikka's "Language Games for Quantifiers" develops interesting connections between the uses of quantifiers and various verbs related to seeking and finding and with these connections in mind offers a game theoretic interpretation of quantifiers. J. W. Cornman's admirably clear essay "Types, Categories and Nonsense" discusses the views of Ryle, Russell, Black, Pap, and Sommers on categories and types, formulating criteria of type difference close to that of Sommers. In "A Theory of Conditionals," R. C. Stalnaker takes some clues from the semantical analysis of modal logics in order to present an analysis of 'if... then...' statements and to deal with some epistemological problems about counterfactuals. In "Goodman's Nominalism," A. Hausman and C. Echelberger discuss certain facts which, in their view, no nominalist ontology, including Goodman's can deal with. Ted Honderlich's "Truth: Austin, Strawson, Warnock" is a discussion of Austin's views on truth and some of the confusions surrounding commentary on and criticism of it. Honderlich suggests his own definition of truth in the article. Finally, Colwyn Williamson in "Propositions andPropositions" discusses the various arguments which have been put forward to show that propositions are entities of a sort distinct from sentences. He rejects all such arguments as well as their conclusion.--R. H. K. (shrink)

On the basis of observations J. J. C. Smart once made concerning the absurdity of sentences like 'The seat of the bed is hard', a plausible case can be made that there is little point to developing a theory of types, particularly one of the sort envisaged by Fred Sommers. The authors defend such theories against this objection by a partial elucidation of the distinctions between the concepts of spanning and predicability and between category mistakenness and absurdity in (...) general. The argument suggests that further clarification of the concepts of spanning and category mistakenness should be sought in reflection upon the more familiar concepts of a sort of thing and a predicate category. (shrink)

Reviewers of this book have praised Christina Hoff Sommer's well-reasoned argument against many feminists' reliance on misleading, politically motivated 'facts' about how women are victimised.

VICE AND VIRTUE IN EVERYDAY LIFE has been a popular choice in college ethics course study for more than two decades because it is well-liked by both college instructors and students. Course instructors appreciate it for its philosophical breadth and seriousness while college students and other readers welcome the engaging topics and readings. VICE AND VIRTUE IN EVERYDAY LIFE provides students with a lively selection of classical and contemporary readings on pressing matters of personal and social morality. The text includes (...) an overview of seminal ethical theories, as well as a unique set of stimulating articles on matters of social responsibility, personal integrity and individual virtue. While the readings consistently represent different points of view, the book also challenges readers to go beyond theoretical applications and contingent circumstances, to cultivate virtuous decision-making in their own lives. (shrink)

Prolegomena It is fitting to begin this book on intuitionistic type theory by putting the subject matter into perspective. The purpose of this chapter is to ...

Contextual type theories are largely explored in their applications to programming languages, but less investigated for knowledge representation purposes. The combination of a constructive language with a modal extension of contexts appears crucial to explore the attractive idea of a type-theoretical calculus of provability from refutable assumptions for non-monotonic reasoning. This paper introduces such a language: the modal operators are meant to internalize two different modes of correctness, respectively with necessity as the standard notion of constructive verification and (...) possibility as provability up to refutation of contextual conditions. (shrink)

This volume presents a Type Theory of Law (TTL), claiming that this is a unique theory of law that stems from the philosophical understanding of Jung's psychological types applied to the phenomenon of law. Furthermore, the TTL claims to be a universal, general and descriptive account of law. To prove that, the book first presents the fundamentals of Jungian psychological types, as they had been invented by Jung and consequently developed further by his followers. The next part (...) of the book describes how the typological structure of an individual determines their understanding of law. It then addresses the way in which inclusive legal theory can be understood based on this typology. Finally, the book describes the TTL in general and descriptive terms and puts it into context. All in all, the book shows how the integral or inclusive approach to understanding the nature of law is not only in tune with our time, but also relevant for presenting a more persuasive picture of law than the older exclusivist or dualist approaches of strict natural law and rigid legal positivism did. (shrink)

Van Leeuwen’s Religion as Make-Believe, A Theory of Belief, Imagination, and Group Identity argues that religious and political beliefs are fundamentally different from mundane, factual beliefs and represent a cognitive attitude more akin to imagining. To ground this difference, Van Leeuwen proposes four principles defining factual beliefs: ‘involuntariness’ mandates that people cannot choose what they believe; ‘no compartmentalization’ says that factual – but not religious – beliefs guide behavior in all domains; ‘cognitive governance’ requires that inferences be readily drawn (...) from factual beliefs; ‘evidential vulnerability' entails that beliefs are revised given contradictory evidence. While factual beliefs are supposed to meet these standards, Van Leeuwen marshals evidence that religious and tribal beliefs – or “credences” – fail to obey these four principles. In this commentary, I argue that beliefs – both factual and religious – are often much more complicated than Van Leeuwen assumes. This complexity makes perfect conformity to the four principles unlikely, even for factual beliefs. I review Van Leeuwen’s evidence for credences and suggest that this evidence is compatible with the null hypothesis: that religious beliefs are simply beliefs. (shrink)

In the first edition of A Very Bad Wizard: Morality Behind the Curtain – Nine Conversations, philosopher Tamler Sommers talked with an interdisciplinary group of the world’s leading researchers—from the fields of social psychology, moral philosophy, cognitive science, and primatology—all working on the same issue: the origins and workings of morality. Together, these nine interviews pulled back some of the curtain, not only on our moral lives but—through Sommers’ probing, entertaining, and well informed questions—on the way morality traditionally (...) has been studied. This Second Edition increases the subject matter, adding eight additional interviews and offering features that will make A Very Bad Wizard more useful in undergraduate classrooms. These features include structuring all chapters around sections and themes familiar in a course in ethics or moral psychology; providing follow-up podcasts for some of the interviews, which will delve into certain issues from the conversations in a more informal manner; including an expanded and annotated reading list with relevant primary sources at the end of each interview; presenting instructor and student resources online in a companion website. The resulting new publication promises to synthesize and make accessible the latest interdisciplinary research to offer a brand new way to teach philosophical ethics and moral psychology. (shrink)

English summary: The idea of a negative dialectics encapsulates the critical theory of Theodor W. Adorno in its entirety. In a critical engagement with Hegel's philosophy, Adorno develops a dialectic that is no longer tied to the idealistic concept of a speculative identity of subject and object, yet nevertheless aims at a concept of the absolute. So far neither the scope nor the argumentative consistency of this model of dialectics has been taken into account. Marc Nicolas Sommer reconstructs negative (...) dialectics through its engagement with Hegelian dialectics and defends its central claim: that negative dialectics liberates dialectics from its idealistic shackles and in doing so develops a viable concept of the absolute after Auschwitz. German description: Die kritische Theorie Theodor W. Adornos findet ihre vollstandige Artikulation im Konzept einer negativen Dialektik. In kritischer Auseinandersetzung mit der hegelschen Philosophie entwickelt Adorno die Idee einer Dialektik, die nicht mehr an das idealistische Konzept einer spekulativen Identitat von Subjekt und Objekt gebunden ist, deren gedankliche Bewegung dennoch auf einen Begriff des Absoluten ausgerichtet ist. Konzeptueller Anspruch, begrifflicher Umfang und argumentative Konsistenz dieses zweiten grossen Modells dialektischen Denkens sind bis heute nicht geklart.Marc Nicolas Sommer rekonstruiert negative Dialektik aus der Auseinandersetzung mit Hegel und verteidigt ihren Anspruch, den eigentlichen Gehalt der hegelschen Dialektik von seinen idealistischen Schlacken befreit zu haben und aus dieser Denkbewegung einen nach Auschwitz tragfahigen Begriff des Absoluten zu entwickeln. (shrink)

In recent years, several formalisms for program construction have appeared. One such formalism is the type theory developed by Per Martin-L f. Well suited as a theory for program construction, it makes possible the expression of both specifications and programs within the same formalism. Furthermore, the proof rules can be used to derive a correct program from a specification as well as to verify that a given program has a certain property. This book contains a thorough introduction (...) to type theory, with information on polymorphic sets, subsets, monomorphic sets, and a full set of helpful examples. (shrink)

Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the fifteenth publication in the Lecture Notes in Logic series, collects papers presented at the symposium 'Reflections on the Foundations of Mathematics' held in celebration of Solomon Feferman's 70th birthday (The 'Feferfest') at Stanford University, California in 1988. (...) Feferman has shaped the field of foundational research for nearly half a century. These papers reflect his broad interests as well as his approach to foundational research, which emphasizes the solution of mathematical and philosophical problems. There are four sections, covering proof theoretic analysis, logic and computation, applicative and self-applicative theories, and philosophy of modern mathematical and logic thought. (shrink)

Soames and others have proposed that propositions are types of acts of predication. Soames has extended the act-type theory by proposing a distinction between direct and mediate predication. He does this in order to distinguish between the propositions expressed by sentences containing complex singular terms and those expressed by sentences containing proper names which denote the objects that those complex singular terms denote. In particular, he uses his extension to account for the cognitive distinctness of such propositions. I (...) argue that Soames’ extension of the act-type theory is not the best way to do so. I propose an alternative version of the act-type theory, which makes the distinctions that Soames wants to make without Soames’ extension. (shrink)

Standard Type Theory, STT, tells us that b^n(a^m) is well-formed iff n=m+1. However, Linnebo and Rayo have advocated the use of Cumulative Type Theory, CTT, has more relaxed type-restrictions: according to CTT, b^β(a^α) is well-formed iff β > α. In this paper, we set ourselves against CTT. We begin our case by arguing against Linnebo and Rayo’s claim that CTT sheds new philosophical light on set theory. We then argue that, while CTT ’s (...) class='Hi'>type-restrictions are unjustifiable, the type-restrictions imposed by STT are justified by a Fregean semantics. What is more, this Fregean semantics provides us with a principled way to resist Linnebo and Rayo’s Semantic Argument for CTT. We end by examining an alternative approach to cumulative types due to Florio and Jones; we argue that their theory is best seen as a misleadingly formulated version of STT. (shrink)

Modal Homotopy Type Theory: The Prospect of a New Logic for Philosophy provides a reasonably gentle introduction to this new logic, thoroughly motivated by intuitive explanations of the need for all of its component parts, and illustrated through innovative applications of the calculus.

This paper is part of a broader project whose aim is to present a coherent unified approach to natural language dialogue semantics using tools from type theory. Here we explore aspects of our approach which relate to situation theory and situation semantics. We first point out a relationship between type theory and the Austinian notion of truth. We then consider how records in type theory might be used to represent situations and how dependent (...) record types can be used to model constraints on situations. We then sketch treatments of attitude phenomena for which Barwise and Perry proposed situation semantic analyses (perception complements, belief, the Pierre puzzle) as well as two other intensional phenomena (intensional verbs and intentional identity). Finally we give a characterisation of the type theory used and a small illustrative fragment of English. (shrink)

Higher-order logic, with its type-theoretic apparatus known as the simple theory of types (STT), has increasingly come to be employed in theorizing about properties, relations, and states of affairs—or ‘intensional entities’ for short. This paper argues against this employment of STT and offers an alternative: ordinal type theory (OTT). Very roughly, STT and OTT can be regarded as complementary simplifications of the ‘ramified theory of types’ outlined in the Introduction to Principia Mathematica (on a realist (...) reading). While STT, understood as a theory of intensional entities, retains the Fregean division of properties and relations into a multiplicity of categories according to their adicities and ‘input types’ and discards the division of intensional entities into different ‘orders’, OTT takes the opposite approach: it retains the hierarchy of orders (though with some modifications) and discards the categorisation of properties and relations according to their adicities and input types. In contrast to STT, this latter approach avoids intensional counterparts of the Epimenides and related paradoxes. Fundamental intensional entities lie at the base of the proposed hierarchy and are also given a prominent part to play in the individuation of non-fundamental intensional entities. (shrink)

The purpose Tarski speaks of is "to do justice to our intuitions which adhere to the classical Aristotelian conception of truth." Tarski takes this to be some form of correspondence theory. He has earlier considered and rejected an even less satisfactory formula of this sort: 'a sentence is true if it corresponds to reality'. His own semantic conception of truth is meant to be a more precise variant doing justice to the correspondence standpoint. In this spirit I shall presently (...) suggest a revised version of. (shrink)

Church’s type theory, aka simple type theory, is a formal logical language which includes classical first-order and propositional logic, but is more expressive in a practical sense. It is used, with some modifications and enhancements, in most modern applications of type theory. It is particularly well suited to the formalization of mathematics and other disciplines and to specifying and verifying hardware and software. It also plays an important role in the study of the formal (...) semantics of natural language. When utilizing it as a meta-logic to semantically embed expressive non-classical logics further topical applications are enabled in artificial intelligence and philosophy. A great wealth of technical knowledge can be expressed very naturally in it. With possible enhancements, Church’s type theory constitutes an excellent formal language for representing the knowledge in automated information systems, sophisticated automated reasoning systems, systems for verifying the correctness of mathematical proofs, and a range of projects involving logic and artificial intelligence. Some examples and further references are given in Sections 1.2.2 and 5 below. Type theories are also called higher-order logics, since they allow quantification not only over individual variables, but also over function, predicate, and even higher order variables. Type theories characteristically assign types to entities, distinguishing, for example, between numbers, sets of numbers, functions from numbers to sets of numbers, and sets of such functions. As illustrated in Section 1.2.2 below, these distinctions allow one to discuss the conceptually rich world of sets and functions without encountering the paradoxes of naive set theory. Church’s type theory is a formulation of type theory that was introduced by Alonzo Church in Church 1940. In certain respects, it is simpler and more general than the type theory introduced by Bertrand Russell in Russell 1908 and Whitehead & Russell 1927a. Since properties and relations can be regarded as functions from entities to truth values, the concept of a function is taken as primitive in Church’s type theory, and the λ-notation which Church introduced in Church 1932 and Church 1941 is incorporated into the formal language. Moreover, quantifiers and description operators are introduced in a way so that additional binding mechanisms can be avoided, λ-notation is reused instead. λ-notation is thus the only binding mechanism employed in Church’s type theory. (shrink)

To be usable in practice, interactive theorem provers need to provide convenient and efficient means of writing expressions, definitions, and proofs. This involves inferring information that is often left implicit in an ordinary mathematical text, and resolving ambiguities in mathematical expressions. We refer to the process of passing from a quasi-formal and partially-specified expression to a completely precise formal one as elaboration. We describe an elaboration algorithm for dependent type theory that has been implemented in the Lean theorem (...) prover. Lean’s elaborator supports higher-order unification, type class inference, ad hoc overloading, insertion of coercions, the use of tactics, and the computational reduction of terms. The interactions between these components are subtle and complex, and the elaboration algorithm has been carefully designed to balance efficiency and usability. We describe the central design goals, and the means by which they are achieved. (shrink)

To understand how morphological characters change during evolution, we need insight into the evolution of developmental processes. Comparative developmental approaches that make use of our fundamental understanding of development in certain model organisms have been initiated for different animal systems and flowering plants. Nematodes provide a useful experimental system with which to investigate the genetic and molecular alterations underlying evolutionary changes of cell fate specification in development, by comparing different species to the genetic model system Caenorhabditis elegans. In this review, (...) I will first discuss the different types of evolutionary alterations seen at the cellular level by focusing mainly on the analysis of vulva development in different species. The observed alterations involve changes in cell lineage, cell migration and cell death, as well as induction and cell competence. I then describe a genetic approach in the nematode Pristionchus pacificus that might identify those genetic and molecular processes that cause evolutionary changes of cell fate specification. (shrink)

Things could have been different, but could it also have been different what things there are? It is natural to think so, since I could have failed to be born, and it is natural to think that I would then not have been anything. But what about entities like propositions, properties and relations? Had I not been anything, would there have been the property of being me? In this thesis, I formally develop and assess views according to which it is (...) both contingent what individuals there are and contingent what propositions, properties and relations there are. I end up rejecting these views, and conclude that even if it is contingent what individuals there are, it is necessary what propositions, properties and relations there are. -/- Call the view that it is contingent what individuals there are first-order contingentism, and the view that it is contingent what propositions, properties and relations there are higher-order contingentism. I bring together the three major contributions to the literature on higher-order contingentism, which have been developed largely independently of each other, by Kit Fine, Robert Stalnaker, and Timothy Williamson. I show that a version of Stalnaker's approach to higher-order contingentism was already explored in much more technical detail by Fine, and that it stands up well to the major challenges against higher-order contingentism posed by Williamson. -/- I further show that once a mistake in Stalnaker's development is corrected, each of his models of contingently existing propositions corresponds to the propositional fragment of one of Fine's more general models of contingently existing propositions, properties and relations, and vice versa. I also show that Stalnaker's theory of contingently existing propositions is in tension with his own theory of counterfactuals, but not with one of the main competing theories, proposed by David Lewis. -/- Finally, I connect higher-order contingentism to expressive power arguments against first-order contingentism. I argue that there are intelligible distinctions we draw with talk about "possible things", such as the claim that there are uncountably many possible stars. Since first-order contingentists hold that there are no possible stars apart from the actual stars, they face the challenge of paraphrasing such talk. I show that even in an infinitary higher-order modal logic, the claim that there are uncountably many possible stars can only be paraphrased if higher-order contingentism is false. I therefore conclude that even if first-order contingentism is true, higher-order contingentism is false. (shrink)

In the second half of the nineteenth century, France was the main site of the controversy around the so-called eoliths, supposedly human-made tools of Tertiary Europe. In contrast to the more common situation where scientists have to make sure that an object stabilized in a laboratory is not an artifact of the lab but a natural object, in the eoliths debates the opposite was the case. The eolith proponents tried to render plausible the object's artificial, that is human, origin. In (...) their case, the objects would only be of scientific interest if they were artifacts not geofacts (naturally flaked stones). The paper ties in with existing literature on the French eoliths movement and investigates the successive eoliths debates in Britain. In Bruno Latour's terms, eoliths as archaeological evidence for Tertiary Man in Europe could gain in reality through a successful enlisting of the collaboration of human and non-human actors such as scientists, theories, publications, taxonomies, technologies, institutions, etc. Indeed, networks were established among scientists, preferably of powerful institutions, the 'tools' were integrated or denied a place in existing taxonomies of prehistoric artifacts, experiments were carried out to demonstrate their chance or designed origin, and their convergence or incompatibility with a certain theoretical framework was discussed. Arguments often revolved around questions of negative evidence, since both proponents and opponents of eoliths as tools were aware of the fact that the eoliths' strongest tie to reality would be evidence of the toolmakers themselves. Several known hominid fossils, among them those of doubtful age, were thus proposed as Tertiary shapers of the 'tools'. These hypothetical 'Englishmen' and their supposed artifacts were enmeshed in particular theories of human evolution, marked as they were by the racism and nationalism widespread at the time. (shrink)

Recent debates in metaphysics have highlighted the significance of type theories, such as Simple Type Theory (STT), for our philosophical analysis. In this chapter, I present the salient features of a constructive type theory in the style of Martin-Löf, termed CTT. My principal aim is to convey the flavour of this rich, flexible and sophisticated theory and compare it with STT. I especially focus on the forms of quantification which are available in CTT. A (...) further aim is to argue that a comparison between a plurality of theories is beneficial to the philosophical analysis. We may, for example, discover helpful features of one theory that we may want to import into another context, thus enriching our repertoire of formal tools. Or, through comparison with a less well-known theory, we may gain a better understanding of the characteristics of the theories we are familiar with. As argued in this chapter, CTT has much to offer in all of these respects. (shrink)

Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This gentle step-by-step introduction is ideal for graduate students and researchers who need to understand the ins and outs of the mathematical machinery, the role of logical rules therein, the essential contribution of definitions and the decisive nature of well-structured proofs. The authors begin with untyped lambda calculus and proceed to several fundamental type systems culminating in the well-known and powerful Calculus of (...) Constructions. The book also covers the essence of proof checking and proof development, and the use of dependent type theory to formalize mathematics. The only prerequisites are a good knowledge of undergraduate algebra and analysis. Carefully chosen examples illustrate the theory throughout. Each chapter ends with a summary of the content, some historical context, suggestions for further reading and a selection of exercises to help readers familiarize themselves with the material. (shrink)

Selection type theories solve adaptation problems. Natural selection, clonal selection for antibody production, and selective theories of higher brain function are examples. An abstract characterization of typical selection processes is generated by analyzing and extending previous work on the nature of natural selection. Once constructed, this abstraction provides a useful tool for analyzing the nature of other selection theories and may be of use in new instances of theory construction. This suggests the potential fruitfulness of research to find (...) other theory types and construct their abstractions. (shrink)

To find more information about Rowman and Littlefield titles, please visit www.rowmanlittlefield.com.

1. “All Theory is Against Free Will…” Powerful arguments have been leveled against the concepts of free will and moral responsibility since the Greeks and perhaps earlier. Some—the hard determinists—aim to show that free will is incompatible with determinism, and that determinism is true. Therefore there is no free will. Others, the “no-free-will-either-way-theorists,” agree that determinism is incompatible with free will, but add that indeterminism, especially the variety posited by quantum physicists, is also incompatible with free will. Therefore there (...) is no free will. Finally, there are the a priori arguments against free will. These arguments conclude that it makes no difference what metaphysical commitments we hold: free will and ultimate moral responsibility are incoherent concepts. Why? Because in order to have free will and ultimate moral responsibility we would have to be causa sui, or ‘cause of oneself.’ And it is logically impossible to be self-caused in this way. Here, for example, is Nietzsche on the causa sui. (shrink)

Metaphysics is, as Adorno once notes, the nuisance of philosophy. On the one hand, metaphysics is the reasons of philosophy's existence; on the other hand, it is nearly impossible to characterise metaphysics precisely. This tension is reflected with reference to the contemporary political and cultural situation in Adorno's "Meditations on Metaphysics", the last part of his opus magnum *Negative Dialectics*. The essays in this volume are devoted to different facets of Adorno's examination of metaphysics. They do, however, not only concern (...) themselves with Adorno's metaphysical reflections in a narrow sense, but also extend to other themes Adorno relates to metaphysics: critique of concepts, history, truth, and materialism. Thereby, they render a hardly investigated topic of the *Negative Dialectics* accessible. -/- Contributors: Emil Angehrn, Dirk Braunstein, Peggy H. Breitenstein, Gunnar Hindrichs, Axel Hutter, Philip Hogh, Christian Iber, Julia Jopp, Guido Kreis, Ansgar Martins, Brian O'Connor, Mario Schärli, Marc Nicolas Sommer, Tilo Wesche. (shrink)

We introduce a predicative version of topos based on the notion of small maps in algebraic set theory, developed by Joyal and one of the authors. Examples of stratified pseudotoposes can be constructed in Martin-Löf type theory, which is a predicative theory. A stratified pseudotopos admits construction of the internal category of sheaves, which is again a stratified pseudotopos. We also show how to build models of Aczel-Myhill constructive set theory using this categorical structure.

Recent literature on dialogical logic discusses the case of tonk and the notion harmony in the context of a rule-based theory of meaning. Now, since the publications of those papers, a dialogical version of constructive type theory has been developed. The aim of the present paper is to show that, from the dialogical point of view, the harmony of the CTT-rules is the consequence of a more fundamental level of meaning characterized by the independence of players. We (...) hope that the following paper will contribute to a better understanding of the dialogical notion of meaning. (shrink)

" Vice and virtue in everyday life is a bestseller in college ethics because students find the readings both personally engaging and intellectually challenging. Under the guidance of classical and modern writers on morality, students using this textbook come to grips with moral issues of everyday life. They discover that some currently fashionable approaches to morality, such as egoism and relativism, have long histories. They also become aquainted with the debates and criticisms of various moral doctrines, learning central ethical theories (...) and methods for reasoning about moral issues in the process." -- Back cover. (shrink)

We use model-theoretic methods described in [3] to obtain ordinal analyses of a number of theories of first- and second-order arithmetic, whose proof-theoretic ordinals are less than or equal to Γ0.

In the formal semantics based on modern type theories, common nouns are interpreted as types, rather than as predicates of entities as in Montague’s semantics. This brings about important advantages in linguistic interpretations but also leads to a limitation of expressive power because there are fewer operations on types as compared with those on predicates. The theory of coercive subtyping adequately extends the modern type theories and, as shown in this paper, plays a very useful role in (...) making type theories more expressive for formal semantics. It not only gives a satisfactory solution to the basic problem of ‘multiple categorisation’ caused by interpreting common nouns as types, but provides a powerful formal framework to model interesting linguistic phenomena such as copredication, whose formal treatment has been found difficult in a Montagovian setting. In particular, we show how to formally introduce dot-types in a type theory with coercive subtyping and study some type-theoretic constructs that provide useful representational tools for reference transfers and multiple word meanings in formal lexical semantics. (shrink)

Many philosophers believe in things, propositions, which are the things that we believe, assert etc., and which are the contents of sentences. The act-type theory of propositions is an attempt to say what propositions are, to explain how we stand in relations to them, and to explain why they are true or false. The core idea of the act-type theory is that propositions are types of acts of predication. The theory is developed in various ways (...) to offer explanations of the important properties of propositions. I present the core idea of the theory, and some developments of it. I discuss the relationship between the theory and the content–force distinction. I also present an important type of objection that has been raised to the explanations offered by the act-type theory. (shrink)