We address the old question whether a logical understanding of Quantum Mechanics requires abandoning some of the principles of classical logic. Against Putnam and others (Among whom we may count or not E. W. Beth, depending on how we interpret some of his statements), our answer is a clear "no". Philosophically, our argument is based on combining a formal semantic approach, in the spirit of E. W. Beth's proposal of applying Tarski's semantical methods to the analysis of physical theories, with (...) an empirical-experimental approach to Logic, as advocated by both Beth and Putnam, but understood by us in the view of the operationalrealistic tradition of Jauch and Piron, i. e. as an investigation of "the logic of yes-no experiments" (or "questions"). Technically, we use the recently-developed setting of Quantum Dynamic Logic (Baltag and Smets 2005, 2008) to make explicit the operational meaning of quantum-mechanical concepts in our formal semantics. Based on our recent results (Baltag and Smets 2005), we show that the correct interpretation of quantum-logical connectives is dynamical, rather than purely propositional. We conclude that there is no contradiction between classical logic and (our dynamic reinterpretation of) quantum logic. Moreover, we argue that the Dynamic-Logical perspective leads to a better and deeper understanding of the "non-classicality" of quantum behavior than any perspective based on static Propositional Logic. (shrink)

We study the learning power of iterated belief revision methods. Successful learning is understood as convergence to correct, i.e., true, beliefs. We focus on the issue of universality: whether or not a particular belief revision method is able to learn everything that in principle is learnable. We provide a general framework for interpreting belief revision policies as learning methods. We focus on three popular cases: conditioning, lexicographic revision, and minimal revision. Our main result is that conditioning and lexicographic revision can (...) drive a universal learning mechanism, provided that the observations include only and all true data, and provided that a non-standard, i.e., non-well-founded prior plausibility relation is allowed. We show that a standard, i.e., well-founded belief revision setting is in general too narrow to guarantee universality of any learning method based on belief revision. We also show that minimal revision is not universal. Finally, we consider situations in which observational errors may occur. Given a fairness condition, which says that only finitely many errors occur, and that every error is eventually corrected, we show that lexicographic revision is still universal in this setting, while the other two methods are not. (shrink)

We propose a refinement of STIT logic to make it suitable to model causal agency and responsibility in basic multi-agent scenarios in which agents can interfere with one another. We do this by supplementing STIT semantics, first, with action types and, second, with a relation of opposing between action types. We exploit these novel elements to represent a test for potential causation, based on an intuitive notion of expected result of an action, and two tests for actual causation from the (...) legal literature, i.e. the but-for and the NESS tests. We then introduce three new STIT operators modeling corresponding notions of causal responsibility, which we call potential, strong, and plain responsibility, and use them to provide a fine-grained analysis of a number of case studies involving both individual agents and groups. (shrink)

We construct logical languages which allow one to represent a variety of possible types of changes affecting the information states of agents in a multi-agent setting. We formalize these changes by defining a notion of epistemic program. The languages are two-sorted sets that contain not only sentences but also actions or programs. This is as in dynamic logic, and indeed our languages are not significantly more complicated than dynamic logics. But the semantics is more complicated. In general, the semantics of (...) an epistemic program is what we call aprogram model. This is a Kripke model of ‘actions’,representing the agents' uncertainty about the current action in a similar way that Kripke models of ‘states’ are commonly used in epistemic logic to represent the agents' uncertainty about the current state of the system. Program models induce changes affecting agents' information, which we represent as changes of the state model, called epistemic updates. Formally, an update consists of two operations: the first is called the update map, and it takes every state model to another state model, called the updated model; the second gives, for each input state model, a transition relation between the states of that model and the states of the updated model. Each variety of epistemic actions, such as public announcements or completely private announcements to groups, gives what we call an action signature, and then each family of action signatures gives a logical language. The construction of these languages is the main topic of this paper. We also mention the systems that capture the valid sentences of our logics. But we defer to a separate paper the completeness proof. (shrink)

If the absence and disappearance of the body have enjoyed considerable attention in the social sciences, the same cannot be said about its appearance, other than during dysfunctional states such as pain and illness. The present article draws from a large array of phenomenological studies and presents a situation in which the body comes to the fore in one’s consciousness during the learning of combat sports, a seemingly destructive practice. The argument that I will develop, starting from extensive ethnographic research (...) in two distinctive combat sports, is that every type of bodily practice develops a specific type of reflective body awareness that has a significant impact upon both the way we feel our bodies and the way we feel the world. In other words, what we do with and to our bodies shapes the way we see and experience the world. (shrink)

Ancien élève de Heidegger, Alexandru Dragomir (1916-2002) est une figure atypique de la philosophie. Abandonnant l'idée d'une carrière universitaire après la Seconde guerre mondiale, il navigua d'un métier à un autre, refusant catégoriquement d'être publié de son vivant. Il laisse aujourd'hui à nos curiosités ses Banalités métaphysiques, extraites des cahiers dans lesquels il griffonait des notes à sa propre intention. Banalités métaphysiques est la première publication de ce philosophe hors norme, tiré malgré lui de son retrait volontaire.

According to the social contract theory, in order to achieve justice, people grouped themselves in societies. Historically speaking, judges appeared long before the legislator which means that justice was the first element of the social life. Therefore, it expresses the social ethics of a particular time and requires a minimum of credibility. Excessive pragmatism and utilitarianism have kidnapped more and more of what is humane, superior and sacred in the act of justice, and “secularized” it. As Eliade said in The (...) Sacred and the Profane, the sacred is something which is totally different, a space of radical otherness which overshadows the physical territory. This shading manifests itself through limitation, sequencing, reiteration and keeping what is sacred there, even in a courtroom, through ritualization. (shrink)

This paper brings in discussion some key moments in semiotic field in the process of modern reconstruction of logic and of philosophy of language. We arefollowing the construction of logical semiotic (from Frege to Carnap and 'semantic of the possible worlds') and the central position of the concept 'possible worlds' in the interpretation process, which creates a meta-semantic. This concept is essential to understand 'the worlds from the poetic space'.

In the present paper, I examine the possibility of doing phenomenology in a collaborative manner. Faced with the fading of the ethos of seeing for oneself and the predominance of meta-phenomenology passing for phenomenological work, Herbert Spiegelberg proposed the organization of phenomenology workshops. After offering an analysis of the method of philosophical workshops exemplified by a contemporary proponent of philosophical practice, Oscar Brenifier, I identify several problems such a workshop can face and several commitments that can help create the co-subjectivity (...) necessary for sym-phenomenologizing. (shrink)

This article relates two forms of political and cultural marginality and emancipation to a third one, which, in traditional patriarchal cultures, is the embodiment of marginality par excellence: that of the female self. It explores their similar positioning in the spatial and temporal economy of power relations in a detailed analysis of Irina Grigorescu Pana's novel Melbourne Sundays, a fictionallyrical account of the Romanian author's 11-year exile in Australia, read as a narrative counterpart of her critical approach to exile in (...) The Tomis Complex: Exile and Eros in Australian Literature. These two works describe an experience happening at the intersection between the author's national background – that of Romania – and the postcolonial one of her country of adoption – Australia – as they become relevant from her personal and professional experience as a woman writer. Exile is thus reflected in language, being spatially constructed by means of metaphors such as book, theatre, carnival, garden, which are also relevant for the process of identity formation. The argument mainly relies on Kristeva's theories, an approach motivated by Pana's own choice of the Kristevan discourse of love/hate in relation to the theme of exile in her fictional and critical works, since, as she remarks, exiles and lovers share a marginal, though at the same time essential, position in postcolonial cultures. (shrink)

Résumé Des artistes roumains se rassemblent pour collaborer, dans leur pratique indissociablement artistique et politique, mais aussi bien au-delà. À travers leurs forces collectives, ils peuvent mieux résister contre le contrôle des forces de polices qui occupent tout espace d’organisation. Le collectif les aide aussi à voir en quoi l’amitié est aujourd’hui une valeur éminemment politique.

In this article I aim to provide the first normative discussion of barter voting markets, namely markets which allow the trading of votes on issues/elections for votes on other issues/elections. The article is framed within the wider literature on the legal permissibility of vote buying, with a particular focus on the recent debate between Christopher Freiman and James Stacey Taylor. I argue that while Taylor's objections successfully defeat Freiman's case in favour of standard voting markets, they are unable to also (...) defeat the type of voting markets outlined here. Furthermore, I argue that there are at least two plausible prima facie reasons in favour of barter voting markets, grounded in their capacity to contribute to the alleviation of injustice for systematically disadvantaged socio‐economic groups and to their capacity to reduce one form of bad voting, i.e. voting from ignorance. (shrink)

This paper presents a simple decidable logic of functional dependence LFD, based on an extension of classical propositional logic with dependence atoms plus dependence quantifiers treated as modalities, within the setting of generalized assignment semantics for first order logic. The expressive strength, complete proof calculus and meta-properties of LFD are explored. Various language extensions are presented as well, up to undecidable modal-style logics for independence and dynamic logics of changing dependence models. Finally, more concrete settings for dependence are discussed: continuous (...) dependence in topological models, linear dependence in vector spaces, and temporal dependence in dynamical systems and games. (shrink)

We investigate the discrete (finite) case of the Popper–Renyi theory of conditional probability, introducing discrete conditional probabilistic models for knowledge and conditional belief, and comparing them with the more standard plausibility models. We also consider a related notion, that of safe belief, which is a weak (non-negatively introspective) type of “knowledge”. We develop a probabilistic version of this concept (“degree of safety”) and we analyze its role in games. We completely axiomatize the logic of conditional belief, knowledge and safe belief (...) over conditional probabilistic models. We develop a theory of probabilistic dynamic belief revision, introducing probabilistic “action models” and proposing a notion of probabilistic update product, that comes together with appropriate reduction laws. (shrink)

The article conveys the portrait of a man for whom understanding was a matter of the highest spiritual intimacy, a man who continuously disregarded his possible engagement in the public life as a philosopher, finally a man whom we find, in the twilight of his life, concerned with the intricate tension between the “muteness” of philosophy (as being able “only” to double life by means of rational discourse) and religion. Alexandru Dragomir’s portrait is portrayed in comparison to another important (...) Romanian philosopher, Constantin Noica. The comparison is not accidental, since they both come to represent two paradigmatic ways of making philosophy: traditional ontology (centered around Descartes – Kant – Hegel) vs. modern phenomenology (centered around Husserl – Heidegger). (shrink)

In this paper we aim to examine a novel view on distributive justice, i.e. limitarianism, which claims that it is morally impermissible to be rich. Our main goal is to assess the two arguments provided by Ingrid Robeyns in favour of limitarianism, namely the democratic argument and the argument from unmet urgent needs and the two distinct limitarian views which these arguments give rise to. We claim that strong limitarianism, which is supported by the democratic argument, should be rejected as (...) it fails to fully instantiate the value of political equality, while having some other unattractive implications as well. By contrast, we argue that weak limitarianism, which is supported by the argument from unmet urgent needs, should be endorsed, albeit in a qualified version which also takes responsibility constraints into consideration. (shrink)

In the Dune universe, humans relied on computers for thousands of years. Their immense capacity for mathematical calculations made space travel possible, until the Butlerian Jihad ended that era. Humans found the means to cognitively and physically enhance themselves to replace and outmatch intelligent machines by using nootropic drugs, revolutionary training methods, artificial selection, and genetic engineering. There are also moral and social problems that come along with human enhancement technologies. In a society where enhancement is popular, the poor would (...) have fewer chances to succeed in social and economic competitions. Many moral philosophers argue that our freedoms and basic rights are guaranteed by a special moral status, personhood. Nicholas Agar has proposed that post‐personhood could be seen as the end of a continuum of intelligence and reasoning abilities. The Bene Gesserit education and selective breeding program claims to be all about producing human beings who maximize the well‐being of all humankind. (shrink)

We present a logical calculus for reasoning about information flow in quantum programs. In particular we introduce a dynamic logic that is capable of dealing with quantum measurements, unitary evolutions and entanglements in compound quantum systems. We give a syntax and a relational semantics in which we abstract away from phases and probabilities. We present a sound proof system for this logic, and we show how to characterize by logical means various forms of entanglement (e.g. the Bell states) and various (...) linear operators. As an example we sketch an analysis of the teleportation protocol. (shrink)

We investigate the process of truth-seeking by iterated belief revision with higher-level doxastic information . We elaborate further on the main results in Baltag and Smets (Proceedings of TARK, 2009a , Proceedings of WOLLIC’09 LNAI 5514, 2009b ), applying them to the issue of convergence to truth . We study the conditions under which the belief revision induced by a series of truthful iterated upgrades eventually stabilizes on true beliefs. We give two different conditions ensuring that beliefs converge to “full” (...) (complete) truth , as well as a condition ensuring only that they converge to true (but not necessarily complete) beliefs. (shrink)

Since Kaplan : 81–98, 1979) first provided a logic for context-sensitive expressions, it has been thought that the only way to construct a logic for indexicals is to restrict it to arguments which take place in a single context— that is, instantaneous arguments, uttered by a single speaker, in a single place, etc. In this paper, I propose a logic which does away with these restrictions, and thus places arguments where they belong, in real world conversations. The central innovation is (...) that validity depends not just on the sentences in the argument, but also on certain abstract relations between contexts. This enrichment of the notion of logical form leads to some seemingly counter-intuitive results: a sequence of sentences may make up a valid argument in one sequence of contexts, and an invalid one in another such sequence. I argue that this is an unavoidable result of context sensitivity in general, and of the nature of indexicals in particular, and that reflection on such examples will lead us to a better understanding of the idea of applying logic to context sensitive expressions, and thus to natural language in general. (shrink)

The past decade or so has witnessed an increase in the number of philosophical discussions about emergence and reduction in science. However, many of these discussions (though not all) remain too abstract and theoretical, and are wanting with respect to concrete examples taken from the sciences. This dissertation studies the topics of reduction and emergence in the context of a case study. I focus on the case of chemistry and investigate how emergentism can help us secure the autonomy of this (...) discipline in relation to the underlying microphysics. I develop an account of emergence (called functional emergence) that is, I argue, capable of answering the question of why we have chemistry instead of just applied quantum mechanics. I argue that functionally emergent properties in chemistry -- properties that are defined by their behaviour, not by some shared microphysical constituent -- can help us defend the autonomy of chemistry; they allow for the existence of sui generis chemical regularities, which can be used in sui generis chemical explanations. Functional emergence generates difficulties for some accounts of inter-theoretic reduction, but unlike other theories of emergence it is compatible with weaker forms of reductionism. (shrink)

Stalnaker, 169–199 2006) introduced a combined epistemic-doxastic logic that can formally express a strong concept of belief, a concept of belief as ‘subjective certainty’. In this paper, we provide a topological semantics for belief, in particular, for Stalnaker’s notion of belief defined as ‘epistemic possibility of knowledge’, in terms of the closure of the interior operator on extremally disconnected spaces. This semantics extends the standard topological interpretation of knowledge with a new topological semantics for belief. We prove that the belief (...) logic KD45 is sound and complete with respect to the class of extremally disconnected spaces and we compare our approach to a different topological setting in which belief is interpreted in terms of the derived set operator. We also study belief revision as well as belief dynamics by providing a topological semantics for conditional belief and belief update modalities, respectively. Our setting based on extremally disconnected spaces, however, encounters problems when extended with dynamic updates. We then propose a solution consisting in interpreting belief in a similar way based on hereditarily extremally disconnected spaces, and axiomatize the belief logic of hereditarily extremally disconnected spaces. Finally, we provide a complete axiomatization of the logic of conditional belief and knowledge, as well as a complete axiomatization of the corresponding dynamic logic. (shrink)

In this paper, I propose a new way to distinguish between indexicals, like “I” and “today”, and demonstratives, like “she” and “this”. The main test case is the second person singular pronoun “you”. The tradition would generally count it as a demonstrative, because the speaker’s intentions play a role in providing it with a semantic value. I present cross-linguistic data and explanations offered of the data in typology and semantics to show that “you” belongs on the indexical side, and argue (...) that they can be generalized to a novel criterion for distinguishing between indexicals and demonstratives. The central theoretical claim is that the semantic values of indexicals are objects which play certain utterance-related roles, which are fixed independently of the words being used in the utterance. For instance, the speaker plays the speaker role whether or not she uses the word “I”, and the addressee plays that role whether or not the speaker uses the word “you”. Demonstratives, on the other hand, pick out objects that play no such role, and are instead helped by the speaker’s word-specific intentions. (shrink)

This paper aims to show that there is a lot of philosophy in the philosophy of chemistry—not only in the problems and questions specific to chemistry, which this science brings up in philosophical discussions, but also in the topics of wider interest like reductionism and emergence, for which chemistry proves to be an ideal case study. The fact that chemical entities and properties are amenable to a quantitative understanding, to measurement and experiment to a greater extent than those in psychology (...) or biology, makes chemistry an ideal case study for those interested in reductionism and emergence. (shrink)

Bien que vivant au quotidien dans l'existence, nous n'avons que tres rarement le sentiment de l'existence: nous faisons quelque chose, nous allons et venons, et par la faisons partie de ce tout qu'est l'existence sans toutefois y penser veritablement. A de rares moments cependant, contemplant un paysage du haut d'une montagne, regardant le ciel etoile, nous realisons non sans frissonner qu'une chose comme l'existence existe. Nous nous extirpons alors de l'affairement pour nous plonger dans l'integralite de cette vaste existence: nous (...) existons avec l'existence, non parce que le champ de notre vision se trouverait etre considerablement elargi, mais parce que c'est le fait meme d'embrasser l'espace qui nous libere et nous permet d' entendre ce passage de l'existence, son ecoulement. (shrink)

Even if the theoretical prestige of the notion of ecology is recent, an ecological writing has already been racticed, without receiving this name, by Roland Barthes. On several occasions, progressively after Writing Degree zero, Roland Barthes envisaged writing as a multifaceted practice, the most suitable for overturning the only order worth to be revolutionized, the symbolic order. We will take a fresh look at Barthes' writing as a theoretical concept in the early 1950s, along a shift that takes the term (...) first to the name of a technique. Finally, in the mid-1970s, writing comes to be defined by Barthes as a practice that ignores the dichotomy between matter or body and mind or idea, and which arrives, in a spiral return movement, at an inclusive conception that recovers both the concept and the practice. This is where writing meets, in Barthes' work, the act that Latour calls "greening" and which he defines above all as a new relationship between facts and values. In the light of the latest research in "Barthesian studies" we would like to show that the future of "theory", if it is ecology today, lies in the practice and ecological commitment of writing, as a mediator of meaning, a tool of "charitable fiction", at the confines of spirit and matter. (shrink)

In the following lines, we consider the current debate concerning the origin, the specificity and evolution of analytical philosophy. We will try to motivate the idea that the origins and evolution of analytical philosophy are not entirely due to the British philosophers; in fact, this problem cannot be properly explained in terms of a single tradition, which would come true by the removal of another one. Regarding the evolution of analytic philosophy, we identify aspects of the German tradition, the British (...) tradition as well as some new elements generated by the interaction between positivism and American pragmatism. (shrink)