We extend some of the classical connections between automata and logic due to Büchi [5] and McNaughton and Papert [12] to languages of finitely varying functions or “signals”. In particular, we introduce a natural class of automata for generating finitely varying functions called ’s, and show that it coincides in terms of language definability with a natural monadic second-order logic interpreted over finitely varying functions Rabinovich [15]. We also identify a “counter-free” subclass of ’s which characterise the first-order definable languages (...) of finitely varying functions. Our proofs mainly factor through the classical results for word languages. These results have applications in automata characterisations for continuously interpreted real-time logics like Metric Temporal Logic Chevalier et al. [6] and [7]. (shrink)

We consider weighted o-minimal hybrid systems, which extend classical o-minimal hybrid systems with cost functions. These cost functions are “observer variables” which increase while the system evolves but do not constrain the behaviour of the system. In this paper, we prove two main results: optimal o-minimal hybrid games are decidable; the model-checking of WCTL, an extension of CTL which can constrain the cost variables, is decidable over that model. This has to be compared with the same problems in the framework (...) of timed automata where both problems are undecidable in general, while they are decidable for the restricted class of one-clock timed automata. (shrink)

Some of the most eminent and enduring philosophical questions concern matters of priority: what is prior to what? What 'grounds' what? Is, for instance, matter prior to mind? Recently, a vivid debate has arisen about how such questions have to be understood. Can the relevant notion or notions of priority be spelled out? And how do they relate to other metaphysical notions, such as modality, truth-making or essence? This volume of new essays, by leading figures in contemporary metaphysics, is the (...) first to address and investigate the metaphysical idea that certain facts are grounded in other facts. An introduction introduces and surveys the debate, examining its history as well as its central systematic aspects. The volume will be of wide interest to students and scholars of metaphysics. (shrink)

The purpose of the book is to clarify the notion of existential dependence and cognate notions, such as supervenience and the notion of an internal relation. I defend the view that such notions are best understood in terms of the concept of metaphysical grounding, i.e. the concept of one fact obtaining in virtue of other facts, where ‘in virtue of’ has a distinctively metaphysical meaning.

How does metaphysical grounding interact with the truth-functions? I argue that the answer varies according to whether one has a worldly conception or a conceptual conception of grounding. I then put forward a logic of worldly grounding and give it an adequate semantic characterisation.

This chapter focuses on fundamental trends in the philosophy of emotion since the publication of William James’ seminal and contentious view. James is famous for his claim that undergoing an emotion comes down to feeling (psychological mode) specific changes within the body (content). Philosophers writing after him have also attempted to analyse emotional modes in terms of other psychological modes (believing, desiring, and perceiving) and to adjust their contents accordingly. The discussion is organized around a series of contrasts that have (...) played fundamental roles in shaping these approaches to the emotions. These contrasts are those between emotions and feelings, between specific and unspecific phenomenology, and between dependent and independent modes. Focus on these contrasts enables a review of some dramatic turning points in the recent history of theorizing about the emotions; it also serves to bring to light fundamental constraints bearing on emotion theory. (shrink)

Recent metaphysics has turned its focus to two notions that are—as well as having a common Aristotelian pedigree—widely thought to be intimately related: grounding and essence. Yet how, exactly, the two are related remains opaque. We develop a unified and uniform account of grounding and essence, one which understands them both in terms of a generalized notion of identity examined in recent work by Fabrice Correia, Cian Dorr, Agustín Rayo, and others. We argue that the account comports with antecedently (...) plausible principles governing grounding, essence, and identity taken individually, and illuminates how the three interact. We also argue that the account compares favorably to an alternative unification of grounding and essence recently proposed by Kit Fine. (shrink)

The connection between shame, guilt and morality is the topic of many recent debates. A broad tendency consists in attributing a higher moral status and a greater moral relevance to guilt, a claim motivated by arguments that tap into various areas of morality and moral psychology. The Pro-social Argument has it that guilt is, contrary to shame, morally good since it promotes pro-social behaviour. Three other arguments claim that only guilt has the requisite connection to central moral concepts: the Responsibility (...) Argument appeals to the ties between guilt and responsibility, the Autonomy Argument to the heteronomy of shame and the Social Argument to shame's link with reputation. In this paper, we scrutinize these arguments and argue that they cannot support the conclusion that they try to establish. We conclude that a narrow focus on particular criteria and a misconception of shame and guilt have obscured the important roles shame plays in our moral lives. (shrink)

The paper is structured as follows. §1 lays out the worry that the FA analysis fosters a revisionary understanding of emotional values. §2 introduces the distinction between enablers and favourers and how it is pressed into service by Toni to reply to this worry. While I agree that the reply is attractive, since casting emotions in the role of enablers chimes well with how we pre-theoretically understand the relations between emotions and values, I observe that doing so requires that we (...) tackle two connected issues. First, how do emotions function as value enablers? Second, is the resulting picture compatible with the FA analysis? The rest of the discussion is structured around these issues. §3 looks at the role of emotions within the FA analysis so as to specify the kind of enabling role they can play. On this backdrop, I explore in §4 a contrast between how belief relates to truth and how emotions relate to values, a contrast which helps uncover what we are after. A first reaction to this contrast, according to which emotions are value enablers by allowing us to access values, which differ from truth, is examined in §5. I argue that this idea cannot do justice to the key insight of the FA analysis. §6 defends an alternative idea, according to which emotions are enablers in virtue of their attitudinal shapes. (shrink)

This monograph is a detailed study, and systematic defence, of the Growing Block Theory of time (GBT), first conceived by C.D. Broad. The book offers a coherent, logically perspicuous and ideologically lean formulation of GBT, defends it against the most notorious objections to be found in the extant philosophical literature, and shows how it can be derived from a more general theory, consistent with relativistic spacetime, on the pre-relativistic assumption of an absolute and total temporal order. -/- The authors devise (...) axiomatizations of GBT and its competitors which, against the backdrop of a shared quantified tense logic, significantly improves the prospects of their comparative assessment. Importantly, neither of these axiomatizations involves commitment to properties of presentness, pastness or futurity. The authors proceed to address, and defuse, a number of objections that have been marshaled against GBT, including the so-called epistemic objection according to which the theory invites skepticism about our temporal location. The challenge posed by relativistic physics is met head-on, by replacing claims about temporal variation by claims about variation across spacetime. -/- The book aims to achieve the greatest possible rigor. The background logic is set out in detail, as are the principles governing the notions of precedence and temporal location. The authors likewise devise a novel spacetime logic suited for the articulation, and comparative assessment, of relativistic theories of time. The book comes with three technical appendices which include soundness and completeness proofs for the systems corresponding to GBT and its competitors, in both their pre-relativistic and relativistic forms. -/- The book is primarily directed at researchers and graduate students working on the philosophy of time or temporal logic, but is of interest to metaphysicians and philosophical logicians more generally. (shrink)

I assume that truth-making is to be understood in terms of grounding, and I show how, on that assumption, various general properties of truth-making follow from certain features of grounding.

In this paper, we clarify what proponents of the Growing Block Theory (GBT) should and what they should not say, and what they consistently can say. Once all the central tenets of the view are on the table, we address both David Braddon-Mitchell’s and Trenton Merricks’ recent eulogies for GBT, based on what is representative of a certain type of argument meant to show that GBT is internally incoherent. We argue that this type of argument proceeds from a mistaken assumption (...) about GBT’s core, viz. that GBT works with an untensed notion of what, in the metaphysically most fundamental sense, there is. We conclude that this type of argument accordingly misfires and that for all we know, we might be living on the brink of reality. (shrink)

La fin du marxisme en tant qu'"horizon de notre temps" a ouvert une période souvent appelée "post-moderne". Elle couvre approximativement les années 1970 à 2000 et se caractérise par la déconstruction. On observe ensuite un attrait renouvelé de la synthèse, pour diverses raisons : l'expérience totalitaire n'est plus aussi centrale, pour les nouvelles générations ; la multiplication des approches et la déconstruction généralisée a aussi fait perdre le sens global de notre époque, débouchant sur ce que certains auteurs appellent le (...) parcellitarisme ; l'émergence des anciens pays en développement sur la scène internationale apporte un regard neuf et partiellement extérieur à l'Occident, mettant en lumière ce que cette zone culturelle a de particulier et mettant à mal l'universalisme revendiqué. Cet ouvrage entend contribuer à l'effort et tenter un bilan synthétique et dialectique de la question de l'émancipation, à l'époque de la mondialisation et de la crise écologique. Il procède en trois étapes : un bilan du libéralisme, dans sa critique du conservatisme (thèse) ; un bilan des marxismes et post-marxismes, dans leur critique du libéralisme (antithèse) ; et une troisième partie de synthèse, se situant dans le prolongement théorique d'un ouvrage précédent sur l'écologisme, où l'auteur propose de réarticuler des concepts tels qu'autorité, religion, politique, science, culture et sacré, afin d'éclairer d'un jour nouveau la question de l'émancipation. La conclusion rejoint Gramsci et d'autres pour qui l'émancipation réside dans le fait d'agir en vérité. Cette affirmation apparemment simple se fonde sur un concept cosmologique de vérité élaboré principalement sur la base des travaux de Laclau, Sartre et de Whitehead. Il ouvre des pistes pour penser l'articulation de l'un et du multiple, dans une perspective résolument non relativiste."--Page 4 of cover. (shrink)

Grounding is a hyperintensional notion: necessarily equivalent sentences need not be equivalent from a ground-theoretic perspective. How fine-grained, exactly, is grounding? There is a striking lack of consensus on this question. In this chapter, I try to systematize and review the main options that have been put forward in the literature. For reasons that have to do with both naturalness and convenience, I for the most part take the question to be about what is sometimes called, following Kit Fine’s (2012a) (...) terminology, strict full grounding, and I take for granted a conception of grounding as a relation that is many-to-one and non-factive. I discuss the consequences of making alternative assumptions only in the very last section. (shrink)

'Ontological dependence' is a term of philosophical jargon which stands for a rich family of properties and relations, often taken to be among the most fundamental ontological properties and relations. Notions of ontological dependence are usually thought of as 'carving reality at its ontological joints', and as marking certain forms of ontological 'non-self-sufficiency'. The use of notions of dependence goes back as far as Aristotle's characterization of substances, and these notions are still widely used to characterize other concepts and to (...) formulate metaphysical claims. This paper first gives an overview of the varieties of these notions, and then discusses some of their main applications. (shrink)

I offer and defend an account of real definitions. I put forward two versions of the account, one formulated in terms of the notion of generalised identity and of a suitable notion of grounding, and the other one formulated in terms of the former notion and of a suitable notion of comparative joint-carvingness. Given a plausible assumption, and turn out to be equivalent. I give a sketch of a unified account of the three notions involved in and from which the (...) assumption can be derived. (shrink)

I identify a notion of logical grounding, clarify it, and show how it can be used (i) to characterise various consequence relations, and (ii) to give a precise syntactic account of the notion of “groundedness” at work in the literature on the paradoxes of truth.

It is often claimed that emotions are linked to formal objects. But what are formal objects? What roles do they play? According to some philosophers, formal objects are axiological properties which individuate emotions, make them intelligible and give their correctness conditions. In this paper, I evaluate these claims in order to answer the above questions. I first give reasons to doubt the thesis that formal objects individuate emotions. Second, I distinguish different ways in which emotions are intelligible and argue that (...) philosophers are wrong in claiming that emotions only make sense when they are based on prior sources of axiological information. Third, I investigate how issues of intelligibility connect with the correctness conditions of emotions. I defend a theory according to which emotions do not respond to axiological information, but to non-axiological reasons. According to this theory, we can allocate fundamental roles to the formal objects of emotions while dispensing with the problematic features of other theories. (shrink)

Say that two sentences are factually equivalent when they describe the same facts or situations, understood as worldly items, i.e. as bits of reality rather than as representations of reality. The notion of factual equivalence is certainly of central interest to philosophical semantics, but it plays a role in a much wider range of philosophical areas. What is the logic of factual equivalence? This paper attempts to give a partial answer to this question, by providing an answer the following, more (...) specific question: Given a standard propositional language with negation, conjunction and disjunction as primitive operators, which sentences of the language should be taken to be factually equivalent by virtue of their logical form? The system for factual equivalence advocated in this paper is a proper fragment of the first-degree system for the logic of analytic equivalence put forward in the late seventies by R. B. Angell. I provide the system with two semantics, both formulated in terms of the notion of a situation’s being fittingly described by a linguistic item. In the final part of the paper I argue, contra a view I defended in my “Grounding and Truth-Functions”, that the logic for factual equivalence I advocate here should be preferred to Angell’s logic if one wishes to follow the general conception of the relationships between factual equivalence and the notion of grounding put forward in the 2010 paper. (shrink)

When thinking about the notion of essence or of an essential feature, philosophers typically focus on what I will call the notion of objectual essence. The main aim of this paper is to argue that beside this familiar notion stands another one, the notion of generic essence, which contrary to appearance cannot be understood in terms of the familiar notion, and which also fails to be correctly characterized by certain other accounts which naturally come to mind as well. Some of (...) my objections to these accounts are similar to some of Kit Fine’s compelling objections to the standard modal account of (objectual) essence (Fine 1994). In the light of these objections, Fine advances the view that it is metaphysical necessity which has to be understood in terms of essence, rather than the other way around, and takes essence to be unanalyzable. When formulatinghis view, Fine had only objectual essence in mind (or had both concepts in mind, but assumed that the generic is a special case of the objectual), and for that reason, I will argue, his account fails. I will suggest that Fineans should modify their view, and take it that metaphysical necessity is to be understood in terms of the two notions of essence—a view I myself find appealing. Finally, I will end by suggesting a further move which reduces the objectual to the generic, making metaphysical necessity reducible to generic essence alone—a move with which I myself have some sympathy. (shrink)

Over the past few years, the tree model of time has been widely employed to deal with issues concerning the semantics of tensed discourse. The thought that has motivated its adoption is that the most plausible way to make sense of indeterminism is to conceive of future possibilities as branches that depart from a common trunk, constituted by the past and the present. However, the thought still needs to be further articulated and defended, and several important questions remain open, such (...) as the question of how actuality can be understood and formally represented in a branching framework. The present volume is intended to be a 360 degree reflection on the tree model. The contributions is gathers concern the model and its alternatives, both from a semantic and from a metaphysical point of view. ​. (shrink)

In his influential paper ‘‘Essence and Modality’’, Kit Fine argues that no account of essence framed in terms of metaphysical necessity is possible, and that it is rather metaphysical necessity which is to be understood in terms of essence. On his account, the concept of essence is primitive, and for a proposition to be metaphysically necessary is for it to be true in virtue of the nature of all things. Fine also proposes a reduction of conceptual and logical necessity in (...) the same vein: a conceptual necessity is a proposition true in virtue of the nature of all concepts, and a logical necessity a proposition true in virtue of the nature of all logical concepts. I argue that the plausibility of Fine's view crucially requires that certain apparent explanatory links between essentialist facts be admitted and accounted for, and I make a suggestion about how this can be done. I then argue against the reductions of conceptual and logical necessity proposed by Fine and suggest alternative reductions, which remain nevertheless Finean in spirit. (shrink)

v. 1. Half brain fables and figs in paradise -- v. 2. The corpus and the cortex -- v. 3. Scorpions and the anatomy of time.

This paper suggests that the enactive approach to ethics could benefit from engaging a dialogue with the phenomenology of Emmanuel Levinas, a philosopher who has given ethics a decisive role in the understanding of our social life. Taking the enactive approach of Colombetti and Torrance as a starting point, we show how Levinas’ philosophy, with the key notions of face, otherness, and responsibility among others can complement and enrich the enactive view of ethics. Specifically, we argue that Levinas can provide, (...) on the one hand, a phenomenological characterisation of ethics itself, of its nature and fundamental meaning, and on the other, an account of how sociality, affectivity and embodiment, as presented in Colombetti and Torrance’s work, combine to bring about the ethical experience. However, we also point out that introducing Levinas to the enactive approach could be challenging. It is not obvious how sense-making and value-making, as centred on the precariousness and potential death of the subject, would account for the ethical experience as grounded on the precariousness and potential death of the other. (shrink)

Teams are considered to be extremely complex dynamic entities that suffer at the hand of constant evolution of their structure to meet and adapt to the varying situational demands they come face-to-face with (Kozlowski & Ilgen, 2006). Agencies, industries, and government institutions are currently placing greater attention to the adaption of team dynamics and teamwork as they are important to key organizational outcomes. As greater attention is being placed on the maturation of team dynamics, the incorporation of efficient methodological tools (...) to understand how teams are being measured over time becomes critical. Thus, the purpose of this paper is to present a review of relevant academic articles detailing the science behind methodological tools and general approaches to study team dynamics over time. We provide an overview of the methodological tools used to understand team dynamics with accordance to specific temporal elements. Drawing from Kozloski, Gully, Nason, and Smith (1999) process model of team development, we highlight relevant emergent team constructs within each stage. As well, for each stage, we discuss the what and how to measure team dynamics. Our analyses bring to light relevant, novel and complex approaches being used by researchers to examine specific constructs within different team developmental phases (e.g., agent-based simulations, computational modeling) and the importance of transitioning from a single source methodology approach. Implications and future research are also discussed. (shrink)

In this chapter, we first introduce the idea that emotions are evaluations. Next, we explore two approaches attempting to account for this idea in terms of attitudes that are alleged to become emotional when taking evaluative contents. According to the first approach, emotions are evaluative judgments. According to the second, emotions are perceptual experiences of evaluative properties. We explain why this theory remains unsatisfactory insofar as it shares with the evaluative judgement theory the idea that emotions are evaluations in virtue (...) of their contents. We then outline an alternative � the attitudinal theory of emotions. It parts with current theorizing about the emotions in elucidating the fact that emotions are evaluations not in terms of what they represent, but in terms of the attitude subjects take towards what they represent. We explore what sorts of attitudes emotions are and claim that they are felt bodily attitudes. (shrink)

I give a semantic characterisation of a system for the logic of grounding similar to the system introduced by Kit Fine in his “Guide to Ground”, as well as a semantic characterisation of a variant of that system which excludes the possibility of what Fine calls ‘zero-grounding’.

I provide and defend two natural accounts of fundamentality for facts that do justice to the idea that the “degree of fundamentality” enjoyed by a fact is a matter of how far, from a ground-theoretic perspective, the fact is from the ungrounded facts.

Dans cet article l’auteur a souhaité étudier le travail de subjectivation des liens familiaux chez un auteur de violence sexuelle dans le cadre du dispositif pénal qu’est l’injonction de soins. À partir d’une recherche clinique menée sur un mode longitudinal, il propose de montrer comment le génogramme (en test, re-test) peut être un révélateur de la mise en œuvre du processus de subjectivation. Ce procédé permet de relever deux différences notables entre les deux génogrammes : dans le passage d’une place (...) fantasmatique dans les liens (celle d’un « enfant ») à celle d’une position instituée concomitante avec une affiliation intersubjective ; la présence ou l’absence de nom sur les icônes parentales. Des différences favorisées, selon nous, par le dispositif d’injonction de soins. (shrink)

Dans cet article l’auteur a souhaité étudier le travail de subjectivation des liens familiaux chez un auteur de violence sexuelle dans le cadre du dispositif pénal qu’est l’injonction de soins. À partir d’une recherche clinique menée sur un mode longitudinal, il propose de montrer comment le génogramme (en test, re-test) peut être un révélateur de la mise en œuvre du processus de subjectivation. Ce procédé permet de relever deux différences notables entre les deux génogrammes : dans le passage d’une place (...) fantasmatique dans les liens (celle d’un « enfant ») à celle d’une position instituée concomitante avec une affiliation intersubjective ; la présence ou l’absence de nom sur les icônes parentales. Des différences favorisées, selon nous, par le dispositif d’injonction de soins. (shrink)

Le philosophe américain Charles S. Peirce ne trouva, malgré ses efforts, guère d’interlocuteurs en France. On le considéra comme un mathématicien et logicien, un physicien et un psychologue fiable, mais son œuvre philosophique fut systématiquement distordue au gré des controverses franco-françaises. Nous mettons l’accent sur les lectures d’André Lalande et de Louis Couturat qui contribuèrent néanmoins à faire reconnaître en France l’originalité du père du pragmaticisme.Despite his efforts, the American philosopher Charles S. Peirce found hardly any interlocutors in France. He (...) was considered mostly as a mathematician and logician, a physicist and a reliable psychologist, but his philosophical work was systematically distorted in consequence of “Franco-French” disputes. We emphasize here the readings of André Lalande and Louis Couturat who made significant contributions towards the recognition in France of the originality of the founding father of Pragmaticism. (shrink)

In a recent article forthcoming in *Mind*, Leech (2020) presents a challenge for essentialist accounts of metaphysical modality: why should it be that essences imply corresponding necessities? Leech’s main focus is to argue that one cannot overcome the challenge by utilizing an account of essence in terms of generalized identity due to Correia and Skiles (2019), on pain of circularity. In this reply, we will show how to use identity-based essentialism to bridge ‘epistemic’ and ‘explanatory’ understandings of this alleged essence-to-necessity (...) gap without circularity, Leech’s arguments notwithstanding. We do so by first presenting a novel proof that generalized identities imply corresponding necessities. We then propose several substantive identity-based explanations of how it is, exactly, that essences imply necessities. -/- . (shrink)

Pre-theoretically, it seems obvious that there are deep and multifarious relations between memory and emotions. On the one hand, a large chunk of our affective lives concerns the good and bad events that happened to us and that we preserve in memory. This is one amongst the many ways in which memory is relevant to the nature and causation of emotions. What does recent research teach us about these relations? § 1 surveys some key issues in this regard. On the (...) other hand, which events we happen to preserve in memory very much depends on how we affectively reacted to them when they took place. Emotions are relevant to the nature and causation of memory in this and many other ways. Key issues regarding these relations are surveyed in § 2. (shrink)

Psychologists have emphasized children's acquisition of information through firsthand observation. However, many beliefs are acquired from others' testimony. In two experiments, most 4yearolds displayed sceptical trust in testimony. Having heard informants' accurate or inaccurate testimony, they anticipated that informants would continue to display such differential accuracy and they trusted the hitherto reliable informant. Yet they ignored the testimony of the reliable informant if it conflicted with what they themselves had seen. By contrast, threeyearolds were less selective in trusting a reliable (...) informant. Thus, young children check testimony against their own experience and increasingly recognise that some informants are more trustworthy than others. (shrink)

The most salient aspect of memory is its role in preserving previously acquired information so as to make it available for further activities. Anna realizes that something is amiss in a book on Roman history because she learned and remembers that Caesar was murdered. Max turned up at the party and distinctively remembers where he was seated, so he easily gets his hands on his lost cell phone. The fact that information is not gained anew distinguishes memory from perception. The (...) fact that information is preserved distinguishes memory from imagination. But how do acquisition and retrieval of information contribute to the phenomenology of memory?The exclusive aim of this chapter is to sketch a map of the phenomenology of memory. It is structured as follows. In section 1, I introduce the contrast between content (what is remembered) and psychological attitude (remembering). This distinction will be helpful in disentangling issues in the phenomenology of memory. Section 2 is devoted to the contribution of memory content to phenomenology, section 3 to the contribution of the attitude of remembering. (shrink)

Schizophrenia is a severe mental illness affecting sense of identity. Autobiographical memory deficits observed in schizophrenia could contribute to this altered sense of identity. The ability to give a meaning to personally significant events is also critical for identity construction and self-coherence. Twenty-four patients with schizophrenia and 24 control participants were asked to recall five self-defining memories. We assessed meaning making in participants’ narratives and afterwards asked them explicitly to give a meaning to their memories . We found that both (...) spontaneous and cued meaning making were impaired in patients with schizophrenia. This impairment was correlated with executive dysfunctions and level of negative symptoms. Our results suggest that patients’ difficulties in drawing lessons about past experiences could contribute to explain the lack of coherence observed in their life trajectories and their impaired social adjustment abilities. Implications for psychotherapy are also discussed. (shrink)

Social learning is likely to include affective processes: it is necessary for newcomers to discover what value to attach to objects, persons, and events in a given social environment. This learning relies largely on the evaluation of others’ emotional expressions. This study has two objectives. Firstly, we compare two closely related concepts that are employed to describe the use of another person’s appraisal to make sense of a given situation: social appraisal and social referencing. We contend that social referencing constitutes (...) a type of social appraisal. Secondly, we introduce the concept of affective social learning with the hope that it may help to discriminate the different ways in which emotions play a critical role in the processes of socialization. (shrink)