Since last year, major initiatives have been undertaken by the chair of theoretical philosophy at the University of Tübingen in order to enhance the reception of analytic metaphysics in the European landscape. Here we review the 2013 summer workshop, intended to be the first of an annual series, on “Existence, Truth and Fundamentality”, the invited speakers being Graham Priest (Melbourne), Stephan Leuenberger (Glasgow), Dan López de Sa (Barcelona), Francesco Berto (Aberdeen), Friederike Moltmann (Paris – Pantheon Sorbonne) and Jason Turner (Leeds). (...) The workshop’s scope is fairly large, focusing on three different aspects of contemporary research in metaphysics. However, the underlying idea of organizers Thomas Sattig and Alessandro Torza consisted in exploring their interconnections and even new areas which possibly share the same problem spectrum. Also, they thought of bringing together both young and senior protagonists of the contemporary debate. In this sense, the main thread followed by the speakers consisted in enquiring the ideas of fundamentality, dependence and grounding with respect to ontology (Berto, López de Sa, Turner) and the truthmaking debate (Priest, Moltmann, Leuenberger), thus pretty much in line with some latest tendencies in metaphysics, such as, prima inter paria, the works of Kit Fine. When we say that something is more fundamental than something else, we move into a non-conventional (for the standards of 20 th century philosophy) metodological framework, hardly focusing on the question about what there is, and rather tackling the issue of how fundamentally there is what there is, or how the existence of something is required as a ground for the existence of other things. Here is how Jonathan Schaffer explains the methodological transition in his influential “On What Grounds What” (2009): -/- Among the many assumptions Quine and Carnap share is that metaphysical questions are existence questions, such as whether numbers exist. They only disagree on the further issue of whether such questions are meaningful (at least as the metaphysician might pose them). But why think that metaphysical questions are existence question of this sort? Return to Aristotle’s Metaphysics. There are virtually no existence question posed. The whole discussion is about substances (fundamental units of being). At one point Aristotle pauses to ask if numbers exist, and his answer is a brief and dismissive yes. [. . . ] For Aristotle, the question about numbers is whether they are transcendent substances or grounded in concreta. The question is not whether numbers exist, but how. (Schaffer, 2009, p. 347) -/- The conference opened with Graham Priest’s intriguing and peculiar review of Buddhist cornerstone “The Fundamental Verses of the Middle Way” (Mūlamadhyakamakārikā) by Nāgārjuna (ca. 150-ca. 250 AD), seen as a unrecognized forerunner of multi-valued semantics and dialetheism. Priest shows that Nagarjuna’s thought indeed has valuable analytic grip (contrary to the traditional mystical dismiss of his works altogether) and is even in accord to some formal schemas rejecting both the laws of excluded middle and non-contradiction. Dan López de Sa was interested in the topic of grounding, raising concerns about how to explain the kind of “reality” exemplified by what is not fundamental, but rather derivative on something else. He proposes a conceptual and non-primitive analysis of grounding as linked to fundamentality and derivation, and argues that the view can be advocated along with the acceptance that at least something is not fundamental. Subsequently, he illustrates an impressive range of applications linked to contemporary debates in meta-ontology, truthmaking and philosophy of time. Stephan Leuenberger discussed a semantics for “total logic”, a variant of first order logic which is claimed to have several applications with respect to the issue of excluding negative existentials from the scope of theories accounting for a given ’totality’ of facts. For example, materialism is the claim that everything there is can be traced back to physical facts or to truth implied by those facts. What about the claim that “There are no angels”? According to Leuenberger, ordinary logic falls prey of modal arguments (if it is possible that there are angels, by modus tollens, that it is not metaphysically necessary that everything there is is physical). So, there is space for the introduction of a new operator, the totality operator, claiming of what enters its scope that “that’s the whole truth”. Consequently, total logic’s semantics tackles David Chalmers’ well-known conceivability-based argument in favour of zombie’s (subjects producing behaviour but experiencing no qualia) possible existence. Friederike Moltmann presented a massive array of natural language-based examples on the role played by case-constructions, such as “it is the case that Caesar crossed the Rubicon”, “the case of the stolen statue”, “the case in which it might rain”, and so forth. She suggests that we should take surface phenomena of our language very seriously with regard to the determination of ontological categories and truth-makers. Cases are provided by many natural languages with their own existence predicates (“to occur” and “to present itself ”), and these do not apply to other kind of entities, such as objects and events. Trying to derive a substantive thesis on their nature, she claims that they are filtered entities, a structure taking into account some features of the corresponding objects and events and preserving their relational pattern. Jason Turner discussed meta-ontological concerns against the claim that ontological debates are defective. Analysed the structure of a metaphysical theory and identified two different forms of defectiveness that can occur in ontological questions, the defection from without and the defection from within, the author provided an original solution in order to avoid such difficulties. He argued thus in favor of a logical constancy, a translation principle thanks to it would be possible reconceive an ontological defection. Lastly, Francesco Berto’s talk closed the workshop with a sagacious discussion of meinongian quantification. He substains that Meinongians and Quineans experience no conceptual equivocation. Even if the former claims that “There are things that do not exist”, something that the latter contrasts with the interpretation of existential quantifiers as all-including, they still rely upon the same concept of “existence” and they understand each other when they are outside the ontology room, so that it cannot be that they lack competence. Subsequently, Berto deals with the objection that Meinongians commit analytic falsehood in separating the meaning of “to be” from that of “exists”. The Quinean has no independent evidence for analytic equivalence aside from her emphatic stress on the “is” in “there is”. Meinongians, however, can retort to linguistic considerations and claim that existence predicates display fairly different functions. -/- As for what regards our internal division of the “philosophical labor”, Fabio Ceravolo reviewed Moltmann and Berto’s talks; whereas Mattia Cozzi took care of Priest’s and Leuenberger’s, and Mattia Sorgon of those given by López de Sa and Turner. Conclusively, we would like to thank Thomas Sattig and Alessandro Torza for all of their organizational efforts and the kind welcome they reserved to us. We hope we will have further opportunities to collaborate with Tübingen in supporting similarly innovative and valiant european initiatives. (shrink)

Although the role of emotion in socioeconomic decision making is increasingly recognised, the impact of specific emotional disorders, such as anxiety disorders, on these decisions has been surprisingly neglected. Twenty anxious patients and twenty matched controls completed a commonly used socioeconomic task (the Ultimatum Game), in which they had to accept or reject monetary offers from other players. Anxious patients accepted significantly more unfair offers than controls. We discuss the implications of these findings in light of recent models of anxiety, (...) in particular the importance of interpersonal factors and assertiveness in an integrated model of decision making. Finally, we were able to show that pharmacological serotonin used to treat anxious symptomatology tended to normalise decision making, further confirming and extending the role of serotonin in co-operation, prosocial behaviour, and social decision making. These results show, for the first time, a different pattern of socioeconomic behaviour in anxiety disordered patients, in addition to the known memory, attentional and emotional biases that are part of this pathological condition. (shrink)

We show that the semi-linear ordering principle for continuous functions implies the determinacy of all Wadge and Lipschitz games.

Evaluativists hold that psychiatric disorders have a factual and evaluative dimension and recognize that psychiatric patients have an active role in shaping their symptoms, influencing the development of their disorders, and the outcome of psychiatric therapy. This is reflected in person-centered approaches that explicitly consider the role of values in psychiatric conceptualization, classification, and decision-making. In this respect, in light of the recent partnership between Fulford’s value-based practice (VBP), and Stanghellini’s phenomenological-hermeneutic-dynamical (P.H.D) psychotherapy method, this paper presents a comparative analysis (...) of two person-centered approaches to psychiatric care currently discussed within the literature. I claim that while these approaches share some core ideas, they also present important divergences concerning their axiological underpinnings, which could potentially compromise their partnership. In particular, by exploring their theoretical, practical, and ethical dimensions, I show that these models have different conceptions of what values are, which, in turn, affect their understanding of how values relate to the person and how clinicians can identify them. Finally, I argue that although Fulford’s and Stanghellini’s approaches are prima facie compatible and complementary, developing a “combined analytic-plus-phenomenological form of values-based practice” should address fundamental conceptual issues if it is to become a consistent and coherent method for psychiatric care. (shrink)

We prove that the determinacy of all Lipschitz games, the determinacy of all Wadge games, and the semi-linear ordering principle for Lipschitz maps are all equivalent.

The present paper is an inventory and a description of the known manuscripts of the Nyāyamañjarī, meant as a tool for philological research on Bhaṭṭa Jayanta’s magnum opus. The inventory is gradually built through a systematic analysis of archival data found in catalogi catalogorum, bibliographies of catalogues, individual catalogues, unpublished lists, and editions of the Nyāyamañjarī. The list is followed by a concise description of each manuscript, including an external description, an outline of the contents, and historical information.

The epistemology of śabda is one of the main themes in Bhaṭṭa Jayanta’s Nyāyamañjarī, and, in the hypotheses explored in this paper, also the conceptual basis of Jayanta’s textual re-use. The sixth chapter of the Nyāyamañjarī contains a debate between Vaiyākaraṇas and Mīmāṃsakas who, respectively, advocated an holistic or atomistic theory of language. Selected Jayanta’s re-uses from Vyākaraṇa, Mīmāṃsā, and Nyāya sources are here surveyed and analyzed, with a focus on their meaning and on the context. The method of analysis (...) is partially following Moravcsik’s scheme for a classification of citations, as well as Small’s classification by symbolic functions. By re-using texts Jayanta not only imparted authority to his own arguments, but also reassessed the relation of his tradition with other ones. Re-used ideas and words stand for symbols of those authors’ tenets, and those authors represent symbols of their respective traditions. Moreover, by quoting a certain author Jayanta often anointed him with a symbolic status of trustworthy authority, and his statement with a status of śabdapramāṇa. (shrink)

The Nyayamanjari was composed in Kashmir, in the ninth century CE, by Bhatta Jayanta. It is a compendium of theses concerning ontological, epistemological and linguistic issues developed in the classical period of Indian philosophy. Jayanta's approximate date is confirmed by both internal and external evidences, so the Nyayamanjari has become a landmark in the historiography of Indian philosophy. Despite its relevance, however, the history of the textual transmission of the Nyayamanjari is in many respects still unknown. This new critical edition (...) is based on a comprehensive inventory of all the known sources, on a detailed description of the manuscripts, on a textual bibliography of the printed editions, on a genealogical study of the textual transmission, and on a rich apparatus of the indirect transmission. An important result of this research has been the development of a new, rigorous, and yet pragmatic method to edit Nyayamanjari passages, without the demand of formidable resources in terms of time, man-power, and funds. The first part of this publication includes all the propaedeutic steps in view of the critical edition. More specifically, it consists of the recensio of the known Nyayamanjari sources, including their inventory, their description, the collation of their variants, and the study of their genealogy, resulting in a fully documented stemma codicum which guides the editorial choices during the reconstruction of the edited text. The second part contains the critical edition, which covers the first of the three sections composing the sixth book of the Nyayamanjari. This particular section consists of a discussion on semantics and epistemology from the perspective of the Vyakarana, Mimansa and Nyaya traditions, hinging around the holistic theory of the sphota. (shrink)

The Bloomsbury Research Handbook of Indian Philosophy of Language presents a systematic survey of philosophy of language in the Indian tradition, providing an up-to-date research resource for better understanding the history and future direction of the field. Each chapter addresses a particular philosophical problem from the viewpoint of seminal traditions and specific thinkers. Covering the philosophical insight on language found in the mainstream philosophies of Vyakarana, Mima?sa, Nyaya, Vedanta, Buddhism, and Alankarasastra, the chapters tackle crucial semantic and pragmatic questions such (...) as the relation of the speaker to reality, the use of metalanguage, the distinction between sentences, elliptic statements, and figurative usages, and the impact of textual structures on the philosophical message. Complete with further reading suggestions and an annotated bibliography, this collection makes an important contribution to both Eastern and Western contemporary philosophy of language. (shrink)

Most model checking techniques for security protocols make a number of simplifying assumptions on the protocol and/or on its execution environment that greatly complicate or even prevent their applicability in some important cases. For instance, most techniques assume that communication between honest principals is controlled by a Dolev-Yao intruder, i.e. a malicious agent capable to overhear, divert, and fake messages. Yet we might be interested in establishing the security of a protocol that relies on a less unsecure channel (e.g. a (...) confidential channel provided by some other protocol sitting lower in the protocol stack). In this paper we propose a general model for security protocols based on the set-rewriting formalism that, coupled with the use of LTL, allows for the specification of assumptions on principals and communication channels as well as of complex security properties that are normally not handled by state-of-the-art security protocol analysers. By using our approach we have been able to formalise all the assumptions required by the ASW protocol for optimistic fair exchange and some of its key security properties. Besides the previously reported attacks on the protocol, we report a new attack on a patched version of the protocol. (shrink)

By recent work on some conjectures of Pillay, each definably compact group G in a saturated o-minimal expansion of an ordered field has a normal "infinitesimal subgroup" G00 such that the quotient G/G00, equipped with the "logic topology", is a compact (real) Lie group. Our first result is that the functor G → G/G00 sends exact sequences of definably compact groups into exact sequences of Lie groups. We then study the connections between the Lie group G/G00 and the o-minimal spectrum (...) G̃ of G. We prove that G/G00 is a topological quotient of G̃. We thus obtain a natural homomorphism ψ* from the cohomology of G/G00 to the (Čech-)cohomology of G̃. We show that if G00 satisfies a suitable contractibility conjecture then $\widetilde{G^{00}}$ is acyclic in Čech cohomology and ψ* is an isomorphism. Finally we prove the conjecture in some special cases. (shrink)

The topology of definable sets in an o-minimal expansion of a group is not fully understood due to the lack of a triangulation theorem. Despite the general validity of the cell decomposition theorem, we do not know whether any definably compact set is a definable CW-complex. Moreover the closure of an o-minimal cell can have arbitrarily high Betti numbers. Nevertheless we prove that the cohomology groups of a definably compact set over an o-minimal expansion of a group are finitely generated (...) and invariant under elementary extensions and expansions of the language. (shrink)

The axiom of dependent choice ( $\mathsf {DC}$ ) and the axiom of countable choice ( ${\mathsf {AC}}_\omega $ ) are two weak forms of the axiom of choice that can be stated for a specific set: $\mathsf {DC} ( X )$ asserts that any total binary relation on X has an infinite chain, while ${\mathsf {AC}}_\omega ( X )$ asserts that any countable collection of nonempty subsets of X has a choice function. It is well-known that $\mathsf {DC} \Rightarrow (...) {\mathsf {AC}}_\omega $. We study for which sets and under which hypotheses $\mathsf {DC} ( X ) \Rightarrow {\mathsf {AC}}_\omega ( X )$, and then we show it is consistent with $\mathsf {ZF}$ that there is a set $A \subseteq \mathbb {R}$ for which $\mathsf {DC} ( A )$ holds, but ${\mathsf {AC}}_\omega ( A )$ fails. (shrink)

The assumption that origins can be defined as a hermeneutic paradigm in the humanities and in the sciences is explored in relation to specific theoretical ...

Wittgenstein has often explored language games that have to do with musical objects of different sizes (phrases, themes, formal sections or entire works). These games can refer to a technical language or to common parlance and correspond to different targets. One of these coincides with the intention to suggest a way of conceiving musical understanding. His model takes the form of the invitation to "hear (something) as (something)": typically, to hear a musical passage as an introduction or as a conclusion (...) or in a certain tonality. However one may ask to what extent or in what terms (literal or metaphorical) these procedures, and usually the intervention of language games, is requested by our common ways of understanding music. This article shows through the use of some examples that aspectual perception inherent to musical understanding does not require language games as a necessary condition (although in many cases the link between them seems very strong), in contradiction with the thesis of an essential linguistic character of music. At a basic level, it seems more appropriate to insist on the notion of a game: to understand music means to enter into the orbit of "music games" which show an autonomous functioning. Language games have, however, an important function when we develop this comprehension in the light of the criteria of judgment that substantiate the manner in which music is incorporated in and operates within specific forms of life. (shrink)

We introduce two new iteration games: the game , which is a strengthening of the weak iteration game, and the game , which is somewhat stronger than but weaker than the full iteration game of length ω1. For a countable M elementarily embeddable in some Vη, with two players I and II, we can show that II wins and that I does not win.

The discussion about the uses of the concept “musical object” highlights the difficulties of the project – put forward by Pierre Schaeffer (1966) – of basing its definition on the idea of “objet sonore”. Moreover, the proposal to assimilate the functions of the “objet sonore” to those fulfilled by a “musical work” turns out to be no less problematic. A new definition is proposed: a musical object is a social object resulting from the inscription of perceived sound(s), or of the (...) acoustic event(s)/object(s), in a reference system recognized as “musical” by a group of (minimally) two people. (shrink)

Comment l'enregistrement a-t-il modifié les manières d'être de la musique?Quelles incidences a-t-il eu sur nos façons d'interpréter et d'écouter les oeuvres ou les improvisations? Comment est-il devenu un outil dans la construction d'un répertoire, d'une tradition, voire d'un genre musical? Quel est son rôle dans la recherche musicologique? Voilà les questions, tant philosophiques que musicologiques, que cet ouvrage se propose d'aborder, en prenant en compte aussi bien la musique savante que les musiques populaires.

While all types of musical works have been affected by the advent of recording, it has not always been in the same way or to the same extent. The aim of this paper is to delve into these differences and to clarify the role played by recording in defining the ontological identity of musical works. Starting from the discussion of some ontological approaches, it considers music recording in light of the conceptual tension between its meaning as a document of a (...) performance of a pre-existing musical work and its meaning as a construction of an autonomous musical work. It argues that the diverse roles that recording can play depend not only on a grasp of the ontological identity of works but on an adequate understanding of the (type of) performance to which they refer. An expansion of the “logical space” of the notion of performance is ultimately necessary to account for the ontological identity of musical works, whether documented or constructed through recording. (shrink)