We define a type theory MLM, which has proof theoretical strength slightly greater then Rathjen's theory KPM. This is achieved by replacing the universe in Martin-Löf's Type Theory by a new universe V having the property that for every function f, mapping families of sets in V to families of sets in V, there exists a universe inside V closed under f. We show that the proof theoretical strength of MLM is $\geq \psi_{\Omega_1}\Omega_{{\rm M}+\omega}$ . This is slightly greater than (...) $|{\rm KPM}|$ , and shows that V can be considered to be a Mahlo-universe. Together with [Se96a] it follows $|{\rm MLM}|=\psi_{\Omega_1}(\Omega_{{\rm M}+\omega})$. (shrink)

We present well-ordering proofs for Martin-Löf's type theory with W-type and one universe. These proofs, together with an embedding of the type theory in a set theoretical system as carried out in Setzer show that the proof theoretical strength of the type theory is precisely ψΩ1Ω1 + ω, which is slightly more than the strength of Feferman's theory T0, classical set theory KPI and the subsystem of analysis + . The strength of intensional and extensional version, of the version (...) à la Tarski and à la Russell are shown to be the same. (shrink)

This article provides the proof-theoretic analysis of the transfinitely iterated fixed point theories $\widehat{ID}_\alpha and \widehat{ID}_{ the exact proof-theoretic ordinals of these systems are presented.

This article provides the proof-theoretic analysis of the transfinitely iterated fixed point theories $\widehat{ID}_\alpha and \widehat{ID}_{<\alpha};$ the exact proof-theoretic ordinals of these systems are presented.

Induction–recursion is a powerful definition method in intuitionistic type theory. It extends inductive definitions and allows us to define all standard sets of Martin-Löf type theory as well as a large collection of commonly occurring inductive data structures. It also includes a variety of universes which are constructive analogues of inaccessibles and other large cardinals below the first Mahlo cardinal. In this article we give a new compact formalization of inductive–recursive definitions by modeling them as initial algebras in slice categories. (...) We give generic formation, introduction, elimination, and equality rules generalizing the usual rules of type theory. Moreover, we prove that the elimination and equality rules are equivalent to the principle of the existence of initial algebras for certain endofunctors. We also show the equivalence of the current formulation with the formulation of induction–recursion as a reflection principle given in Dybjer and Setzer 93). Finally, we discuss two type-theoretic analogues of Mahlo cardinals in set theory: an external Mahlo universe which is defined by induction–recursion and captured by our formalization, and an internal Mahlo universe, which goes beyond induction–recursion. We show that the external Mahlo universe, and therefore also the theory of inductive–recursive definitions, have proof-theoretical strength of at least Rathjen's theory KPM. (shrink)

This collection of ten essays elucidates some of the more challenging aspects of Anscombe’s work and affirms her reputation as one of our most original ...

This paper introduces and discusses three models of future: a determinist model, a stochastic model, and the model of True Prophetic Knowledge. All three models coexist in natural languages and are represented both in their grammatical systems and in the text-building discourse strategies speakers and authors apply to.

To determine what the speaker in a cooperative dialog meant with his assertion, on top of what he explicitly said, it is crucial that we assume that the assertion he gave was optimal. In determining optimal assertions we assume that dialogs are embedded in decision problems (van Rooij 2003) and use backwards induction for calculating them (Benz 2006). In this paper, we show that in terms of our framework we can account for several types of implicatures in a uniform way, (...) suggesting that there is no need for an independent linguistic theory of generalized implicatures. In the final section, we show how we can embed our theory in the framework of signaling games, and how it relates with other game theoretic analyses of implicatures. (shrink)

In contrast to the theories of relativity, quantum mechanics is not yet based on a generally accepted conceptual foundation. It is proposed here that the missing principle may be identified through the observation that all knowledge in physics has to be expressed in propositions and that therefore the most elementary system represents the truth value of one proposition, i.e., it carries just one bit of information. Therefore an elementary system can only give a definite result in one specific measurement. The (...) irreducible randomness in other measurements is then a necessary consequence. For composite systems entanglement results if all possible information is exhausted in specifying joint properties of the constituents. (shrink)

Agency is a power, but what is it a power to do? The tradition presents us with three main answers: (1) that agency is a power to affect one’s own will, consequent upon which act further events ensue, beginning with the movement of a part of one's body; (2) that agency is a power to affect one’s own body, consequent upon which act further events ensue, beginning with the movement of an object that one touches; and (3) that agency is (...) a power to affect that material upon which one brings one's action to bear---e.g. the apple one is peeling (with a knife in one's hand). These three answers correspond to three increasingly expansive conceptions of the province of human agency. I refer to them, respectively, as volitionalism, corporealism and materialism. Only the first two are seriously considered in contemporary action theory. Favoring the third, and hoping to sharpen the conflict between the third and the first, I criticize the second. Corporealism has been a popular position—arguably, the default position in the philosophy of action—since Donald Davidson’s classic paper “Agency” (1971). Although it seems to occupy a sensible middle ground between volitionalism and materialism, corporealism is, I argue, indefensible: it shares the vulnerabilities of both its two rivals, without possessing the strengths of either. Nevertheless, reflection on corporealism lights the road to materialism, which, in the end, is the only possible alternative to volitionalism. (shrink)

This essay explores the theoretical implications of Freud's notion of `the narcissism of minor differences' - the idea that it is precisely the minor differences between people who are otherwise alike that form the basis of feelings of strangeness and hostility between them. A comparative survey shows that minor differences underlie a wide range of conflicts: from relatively benign forms of campanilismo to bloody civil wars. Freud's tentative statements link up with the insights of Simmel, Durkheim, Lévi-Strauss, Dumont, Elias, and (...) Girard. Especially helpful is what Bourdieu writes in Distinction: social identity lies in difference, and difference is asserted against what is closest, which represents the greatest threat. An outline of a general theory of power and violence should include consideration of the narcissism of minor differences, also because its counterpart - hierarchy and great differences - makes for relative stability and peace. (shrink)

Previous research shows that females use more exclamation marks than males, often to establish rapport. The purpose of the present studies was to test whether people associate texters’ use of exclamation marks with friendliness and femaleness. If this association is due to normative expectations, we hypothesized that females would appear less friendly if they did not use an exclamation mark in texting. In Study 1, participants rated a texter using an exclamation mark to be highly female and highly friendly. The (...) gender results disappeared when friendliness was controlled for. In Study 2, we tested whether friendliness ratings decreased if texters violated gender-associated punctuation. Participants rated a texter with a gendered name on friendliness. Regardless of gender, participants inferred greater friendliness to texters using an exclamation mark. That is, there was no evidence of a cost for violating this gender expectation. We conclude that people predict that a texter using an exclamation mark is likely to be female, but do not penalize females for not using an exclamation mark. (shrink)

David White’s Myth, Metaphysics and Dialectic in Plato’s Statesman is an ambitious work that aims not only to interpret the message of Plato’s Statesman, but also to situate the dialogue within Plato’s corpus as one that serves as a transition between Plato’s earlier metaphysics and his more mature views in later dialogues such as Philebus and Laws. White makes several adept observations of oddities sprinkled throughout Statesman, and he frequently connects these observations to thoughtful claims concerning possible motivations on the (...) part of Plato as well as possible revelations concerning Platonic metaphysics and philosophy. However, justifiably made inferences are difficult for the reader to discern, as White tends to obfuscate his message with difficult and wordy prose. In addition to these flaws, White makes frequent references to many other Platonic dialogues with little explanation in the way of contextualization. While I find this aspect of White’s thinking to be impressive and indicative of both extensive knowledge and great aptitude for synthesis in thought, readers are warned that novices of Plato scholarship might get lost in the copious references to dialogues beyond those central to the book. That being said, in most respects, White’s interpretation is both sound and refreshing. In my opinion, the virtues of this work heavily outweigh any imperfections. (shrink)

Pannekoek, Lenin, and the future of Marxist philosophy -- Note on the text -- Introduction -- Marxism -- Middle class materialism -- Dietzgen -- Mach -- Avenarius -- Lenin -- The criticism -- Natural science -- Materialism -- Plekhanov's views -- The Russian revolution -- The proletarian revolution.

The conclusion of practical reasoning is commonly said to rest upon a diverse pair of representations—a “major” and a “minor” premise—the first of which concerns the end and the second, the means. Modern and contemporary philosophers writing on action and practical reasoning tend to portray the minor premise as a “means-end belief”—a belief about, as Michael Smith puts it, “the ways in which one thing leads to another,” or, as John McDowell puts it, “what can be relied on to bring (...) about what.” On this point there is little difference between followers of Davidson and followers of Anscombe, or between those who invoke Hume’s legacy and those who invoke Aristotle’s. But Aristotle himself held a very different position. According to him, the minor premise concerns particulars, a sphere controlled by perception. The perception of particulars—that is, of the really-existing people and things confronted in the field of action—plays no essential role in the modern account of rational agency. Because it does not, the modern account fails to explain how one could act for a reason, or how practical reasoning could deliver any conclusion. (shrink)

In this paper we are going to show that error coping strategies play an essential role in linguistic pragmatics. We study the effect of noisy speaker strategies within a framework of signalling games with feedback loop. We distinguish between cases in which errors occur in message selection and cases in which they occur in signal selection. The first type of errors affects the content of an utterance, and the second type its linguistic expression. The general communication model is inspired by (...) the Shannon–Weaver communication model. We test the model by a number of benchmark examples, including examples of relevance implicatures, quantity implicatures, and presupposition accommodation. (shrink)

Anscombe holds that a proper account of intentional action must exhibit “a ‘form’ of description of events.” But what does that mean? To answer this question, I compare the method of Anscombe’s Intention with that of Frege’s Foundations of Arithmetic—another classic work of analytic philosophy that consciously opposes itself to psychological explanations. On the one hand, positively, I aim to identify and elucidate the kind of account of intentional action that Anscombe attempts to provide. On the other hand, negatively, I (...) hope to dispel the canard that Anscombe’s opposition to the causal theory of action is a product of “behaviorism.”. (shrink)

Previous research on scalar implicature has primarily relied on meta-linguistic judgment tasks and found varying rates of such inferences depending on the nature of the task and contextual manipulations. This paper introduces a novel interactive paradigm involving both a production and a comprehension side and a precise conversational goal. The main research question is what is reliably communicated by some in this communicative setting, both when the quantifier occurs in unembedded and embedded positions. Our new paradigm involves an action-based task (...) from which participants’ interpretation of utterances can be inferred. It incorporates a game-theoretic design, thereby including a precise model to predict participants’ behaviour in the experimental context. Our study shows that embedded and unembedded implicatures are reliably communicated by some. We propose two cognitive principles that describe what can be left unsaid. In our experimental context, a production strategy based on these principles is more efficient than a strategy based on literal descriptions. (shrink)

The article proposes to further develop the ideas of the Extended Evolutionary Synthesis by including into evolutionary research an analysis of phenomena that occur above the organismal level. We demonstrate that the current Extended Synthesis is focused more on individual traits (genetically or non-genetically inherited) and less on community system traits (synergetic/organizational traits) that characterize transgenerational biological, ecological, social, and cultural systems. In this regard, we will consider various communities that are made up of interacting populations, and for which the (...) individual members can belong to the same or to different species. Examples of communities include biofilms, ant colonies, symbiotic associations resulting in holobiont formation, and human societies. The proposed model of evolution at the level of communities revises classic theorizing on the major transitions in evolution by analyzing the interplay between community/social traits and individual traits, and how this brings forth ideas of top-down regulations of bottom-up evolutionary processes (collaboration of downward and upward causation). The work demonstrates that such interplay also includes reticulate interactions and reticulate causation. In this regard, we exemplify how community systems provide various non-genetic ‘scaffoldings’, ‘constraints’, and ‘affordances’ for individual and sociocultural evolutionary development. Such research complements prevailing models that focus on the vertical transmission of heritable information, from parent to offspring, with research that instead focusses on horizontal, oblique and even reverse information transmission, going from offspring to parent. We call this reversed information transfer the ‘offspring effect’ to contrast it from the ‘parental effect’. We argue that the proposed approach to inheritance is effective for modelling cumulative and distributed developmental process and for explaining the biological origins and evolution of language. (shrink)

To determine what the speaker in a cooperative dialog meant with his assertion, on top of what he explicitly said, it is crucial that we assume that the assertion he gave was optimal. In determining optimal assertions we assume that dialogs are embedded in decision problems (van Rooij 2003) and use backwards induction for calculating them (Benz 2006). In this paper, we show that in terms of our framework we can account for several types of implicatures in a uniform way, (...) suggesting that there is no need for an independent linguistic theory of generalized implicatures. In the final section, we show how we can embed our theory in the framework of signaling games, and how it relates with other game theoretic analyses of implicatures. (shrink)

When an agent intentionally changes something separate from herself—when, say, she opens a bottle—what is the relation between what the agent does and what the patient suffers? This paper defends the Aristotelian thesis that action is to passion as the road from Thebes to Athens is to the road from Athens to Thebes: they are two aspects of a single material reality. Philosophers of action tend to think otherwise. It is generally taken for granted that intentional transactions must be analyzed (...) in terms of a causal relation. Controversy surrounds the question what the causal relata are: event-causalists claim that both of the relata are events; agent-causalists claim that the first relatum is an agent, and they dispute among themselves whether the second is an event or a terminal state of the patient. But the entire controversy assumes the necessity of some causal analysis of transactions. This paper argues that, far from being necessary, no such analysis is even possible. (shrink)

The aim of our study is to single out a possible path towards the recognition culture in a world strained by deep social cleavages and by a strong conflict among values. In this context, we consider that a recognition culture is possible only by activating the comprehensive being that each of us, humans, is. The study attempts to answer the desideratum of the recognition culture by developing a model of the political founded on the correlation of certain aspects of the (...) human and of the political. The identification of the hypostases of the political and the human and the correlations between them help us understand one of the specific anthropo-political mechanisms that may allow us to reach the recognition culture that is based on accepting the other and assuming one’s own fallibility. This is what we define as the anthropological model of the comprehensive political. (shrink)