A general strategy for proving completeness theorems for quantified modal logics is provided. Starting from free quantified modal logic K, with or without identity, extensions obtained either by adding the principle of universal instantiation or the converse of the Barcan formula or the Barcan formula are considered and proved complete in a uniform way. Completeness theorems are also shown for systems with the extended Barcan rule as well as for some quantified extensions of the modal logic B. The incompleteness of (...) Q°.B + BF is also proved. (shrink)

In this paper we present two calculi for intuitionistic logic. The first one, IG, is characterized by the fact that every proof-search terminates and termination is reached without jeopardizing the subformula property. As to the second one, SIC, proof-search terminates, the subformula property is preserved and moreover proof-search is performed without any recourse to metarules, in particular there is no need to back-track. As a consequence, proof-search in the calculus SIC is accomplished by a single tree as in classical logic.

The paper presents an epistemic logic with quantification over agents of knowledge and with a syntactical distinction between de re and de dicto occurrences of terms. Knowledge de dicto is characterized as ‘knowledge that’, and knowlegde de re as ‘knowledge of’. Transition semantics turns out to be an adequate tool to account for the distinctions introduced.

Dummett's logic LC quantified, Q-LC, is shown to be characterized by the extended frame Q+, ,D, where Q+ is the set of non-negative rational numbers, is the numerical relation less or equal then and D is the domain function such that for all v, w Q+, Dv and if v w, then D v . D v D w . Moreover, simple completeness proofs of extensions of Q-LC are given.

Predicate extensions of the intermediate logic of the weak excluded middle and of the modal logic S4.2 are introduced and investigated. In particular it is shown that some of them are characterized by subclasses of the class of directed frames with either constant or nested domains.

The main aim of this paper is to introduce the logic QE-LC whose language contains the existence predicate E and which is characterized by the class of connected (Kripke) E-models with nested domains.

Foundational questions in logic, mathematics, computer science and physics are constant sources of epistemological debate in contemporary philosophy. To what extent is the transfinite part of mathematics completely trustworthy? Why is there a general 'malaise' concerning the logical approach to the foundations of mathematics? What is the role of symmetry in physics? Is it possible to build a coherent worldview compatible with a macroobjectivistic position and based on the quantum picture of the world? What account can be given of opinion (...) change in the light of new evidence? These are some of the questions discussed in this volume, which collects 14 lectures on the foundations of science given at the School of Philosophy of Science, Trieste, October 1989. The volume will be of particular interest to any student or scholar engaged in interdisciplinary research into the foundations of science in the context of contemporary debates. (shrink)

The essays collected in this volume address such questions from different points of view and will interest students and scholars in several branches of scientific knowledge.

The aim of this paper is to provide a decision procedure for Dummett's logic LC, such that with any given formula will be associated either a proof in a sequent calculus equivalent to LC or a finite linear Kripke countermodel.

We show how to use diagrams in order to obtain straightforward completeness theorems for extensions of K4.3 and a very simple and constructive proof of Bull's theorem: every normal extension of S4.3 has the finite model property.

The idea for _Philosophy in a Time of Terror_ was born hours after the attacks on 9/11 and was realized just weeks later when Giovanna Borradori sat down with Jürgen Habermas and Jacques Derrida in New York City, in separate interviews, to evaluate the significance of the most destructive terrorist act ever perpetrated. This book marks an unprecedented encounter between two of the most influential thinkers of our age as here, for the first time, Habermas and Derrida overcome their (...) mutual antagonism and agree to appear side by side. As the two philosophers disassemble and reassemble what we think we know about terrorism, they break from the familiar social and political rhetoric increasingly polarized between good and evil. In this process, we watch two of the greatest intellects of the century at work. (shrink)

"In her introduction, Borradori contends that philosophy has an invaluable contribution to make to the understanding of terrorism. Just as the traumas produced by colonialism, totalitarianism, and the Holocaust wrote the history of the twentieth century, the history of the twenty-first century is already signed by global terrorism. Each dialogue here, accompanied by a critical essay, recognizes the magnitude of this upcoming challenge. Characteristically, Habermas's dialogue is dense, compact, and elegantly traditional. Derrida's, on the other hand, takes the reader on (...) a long, winding, and unpredictable road. Yet unexpected agreements emerge between them: both have a deep suspicion of the concept of "terrorism" and both see the need for a transition from classical international law, premised on the model of nation-states, to a new cosmopolitan order based on continental alliances.". (shrink)

Self-disorders in depression and schizophrenia have been the focus of much recent work in phenomenological psychopathology. But little has been said about the role the material environment plays in shaping the affective character of these disorders. In this paper, we argue that enjoying reliable (i.e., trustworthy) access to the things and spaces around us — the constituents of our material environment — is crucial for our ability to stabilize and regulate our affective life on a day-today basis. These things and (...) spaces often play an ineliminable role in shaping what we feel and how we feel it; when we interact with them, they contribute ongoing feedback that " scaffolds " the character and temporal development of our affective experiences. However, in some psychopathological conditions, the ability to access to these things and spaces becomes disturbed. Individuals not only lose certain forms of access to the practical significance of the built environment but also to its ​ regulative​ significance, too — and the stability and organization of their affective life is compromised. In developing this view, we discuss core concepts like " affordance spaces " , " scaffolding " , and " incorporation ". We apply these concepts to two case studies, severe depression and schizophrenia, and we show why these cases support our main claim. We conclude by briefly considering implications of this view for developing intervention and treatment strategies. (shrink)

A proposal that extends the enactive approach developed in cognitive science and philosophy of mind to issues in affective science.

Las Comunidades de Aprendizaje son reconocidas por sus estrategias de inclusión y participación democrática. El objetivo de este texto es conocer las estrategias de participación democrática que se llevan a cabo en una escuela constituida como Comunidad de Aprendizaje. Los resultados muestran las experiencias de éxito educativo, convivencia e implicación de la comunidad educativa que surgen como consecuencia de la transformación de la escuela hacia un proyecto más inclusivo y participativo. En definitiva, la participación democrática representa una estrategia educativa y (...) reivindicativa que pretende acabar con las desigualdades que convergen en los espacios educativos. (shrink)

Although trust and reciprocity are ubiquitous in social exchange, their neurobiological substrate remains largely unknown. Here, we investigated the effect of damage to the ventromedial prefrontal cortex (vmPFC)—a brain region critical for valuing social information—on individuals’ decisions in a trust game and in a risk game. In the trust game, one player, the investor, is endowed with a sum of money, which she can keep or invest. The amount she decides to invest is tripled and sent to the other player, (...) the trustee, who then decides what fraction to return to the investor. In separate runs, ten patients with focal bilateral damage to the vmPFC and control participants made decision while playing in the role of either investor or trustee with different anonymous counterparts in each run. A risk game was also included in which the investor faced exactly the same decisions as in the trust game, but a random device (i.e., a computer), not another player, determined the final payoffs. Results showed that vmPFC patients’ investments were not modulated by the type of opponent player (e.g., human vs. computer) present in the environment. Thus, vmPFC patients showed comparable risk-taking preferences both in social (trust game) and nonsocial (risk game) contexts. In stark contrast, control participants were less willing to take risk and invest when they believed that they were interacting with people than a computer. Furthermore, when acted as trustee, vmPFC patients made lower back transfers toward investors, thereby showing less reciprocity behavior. Taken together, these results indicate that social valuation and emotion subserved by vmPFC have a critical role in trusting and reciprocity decisions. The present findings support the hypothesis that vmPFC damage may impair affective systems specifically designed for mediating social transaction with other individuals. (shrink)

In this paper we adopt Sterelny's framework of the scaffolded mind, and his related dimensional approach, to highlight the many ways in which human affectivity is environmentally supported. After discussing the relationship between the scaffolded-mind view and related frameworks, such as the extended-mind view, we illustrate the many ways in which our affective states are environmentally supported by items of material culture, other people, and their interplay. To do so, we draw on empirical evidence from various disciplines, and develop phenomenological (...) considerations to distinguish different ways in which we experience the world affectively. (shrink)

The concept of citizenship includes four dimensions more easily understandable by their opposites. 1. Membership of a state: in this case citizen is the opposite of foreigner. Many languages adopt in this case different or coexistent terms such as nationality, nacionalidad, nationalité. 2. Emancipation: citizen here is the opposite of subject, slave and serf. 3. Public endowment: citizen here is the opposite of socially marginalized. 4. Standardization, citizen here is the opposite of communitarian and parochial. Immigration impacts on all four (...) dimensions, and its impact produces conflicts, zigzagging policies, converging and diverging trends among democratic regimes. Full membership can be more or less easily achieved. Emancipation and endowment rights can be more or less disconnected from membership and even from the simple status of resident. Demands of de-standardization by new minorities, and imposition of standardization to them, can be more or less easily accommodated. The profile of democratic regimes is consequently deeply and differently reshaped by the impact of immigration. (shrink)

The thesis of the extended mind (ExM) holds that the material underpinnings of an individual’s mental states and processes need not be restricted to those contained within biological boundaries: when conditions are right, material artefacts can be incorporated by the thinking subject in such a way as to become a component of her extended mind. Up to this point, the focus of this approach has been on phenomena of a distinctively cognitive nature, such as states of dispositional belief, and processes (...) of planning and calculation. In this paper, we aim to expand the scope of ExM by considering the case for extended affectivity. We begin by clarifying the central commitments of ExM, before investigating its applicability to a range of affective phenomena, both dispositional and occurrent. We argue that proponents of ExM should also accept that the vehicles of emotions, moods, sentiments, temperaments, and character traits can extend beyond skull and skin. (shrink)

For many years emotion theory has been characterized by a dichotomy between the head and the body. In the golden years of cognitivism, during the nineteen-sixties and seventies, emotion theory focused on the cognitive antecedents of emotion, the so-called “appraisal processes.” Bodily events were seen largely as byproducts of cognition, and as too unspecific to contribute to the variety of emotion experience. Cognition was conceptualized as an abstract, intellectual, “heady” process separate from bodily events. Although current emotion theory has moved (...) beyond this disembodied stance by conceiving of emotions as involving both cognitive processes (perception, attention, and evaluation) and bodily events (arousal, behavior, and facial expressions), the legacy of cognitivism persists in the tendency to treat cognitive and bodily events as separate constituents of emotion. Thus the cognitive aspects of emotion are supposedly distinct and separate from the bodily ones. This separation indicates that cognitivism’s disembodied conception of cognition continues to shape the way emotion theorists conceptualize emotion. (shrink)

The experience of agency refers to the feeling that we control our own actions, and through them the outside world. In many contexts, sense of agency has strong implications for moral responsibility. For example, a sense of agency may allow people to choose between right and wrong actions, either immediately, or on subsequent occasions through learning about the moral consequences of their actions. In this study we investigate the relation between the experience of operant action, and responsibility for action outcomes (...) using the intentional binding effect as an implicit, quantitative measure related to sense of agency. We studied the time at which people perceived simple manual actions and their effects, when these actions were embedded in scenarios where their actions had unpredictable consequences that could be either moral or merely economic. We found an enhanced binding of effects back towards the actions that caused them, implying an enhanced sense of agency, in moral compared to non-moral contexts. We also found stronger binding for effects with severely negative, compared to moderately negative, values. A tight temporal association between action and effect may be a low-level phenomenal marker of the sense of responsibility. (shrink)

Humble leadership can be described as a positive psychological feature that allows leaders to admit their limitations, be open to new ideas, and give a voice to others while also recognizing their merits. The present study (n = 268 participants) explored the persuasive effects of a female politician communicating a humble stance by considering the role emotional displays at play (joy, calmness, sadness, and anger) when discussing a moral issue (hosting immigrants). The results revealed that the politician elicited positive emotions (...) and evaluations of her competence and benevolence, especially when exhibiting a sad facial display, by contributing to the intention to accept the moral gist of her persuasive message. Overall, these ‘gendered’ effects are discussed in relation to the ‘political authenticity’, which can be perceived as high especially when the humble message is connected with several social reasons, as is the case with gender or social status. (shrink)

So far no clear explication of the notion of realization has been offered, in spite of the frequent uses of the notion in the literature to discharge important jobs, such as that of accounting for the causal efficacy of the mental in a physical world, and that of providing a viable characterization of physicalism, and/or psychophysical reduction. I put forward an account of realization as an identity-like relation. I argue that such account has the following advantages: it provides a picture (...) under which it makes sense to use the same term, i.e. 'realization', to pick out relations that differ in their relata, as it happened in the original uses of the term 'realization'; it helps to understand how well, if at all, some appeals to realization in the literature can discharge the jobs mentioned; more generally, it makes clear what realization can do. \\\ Hasta el momento no se ha expuesto detalladamente ninguna explicación clara de la nocion de realización, a pesar de que se usa con frecuencia en los textos filósoficos para desempeñar funciones importantes, como explicar la eflcacia causal de lo mental en un mundo fisico, y proporcionar una caracterización viable del fisicalismo, y/o de la reducción psicofisica. Presento una explicación de la realización como una relatión del tipo de la identidad. Sostengo que tal explicación tiene las siguientes ventajas: ofrece una caracterización dentro de cuyo marco resulta razonable usar el mismo termino, i.e., "realización", para distinguir relaciones que difieren en sus relata, como sucedió cuando se usó originalmente el termino "realizacion"; ayuda a comprender hasta que punto la realizacion que se invoca en algunos textos filosoficos puede desempeñar correctamente las tareas mencionadas; mas en general, aclara qué puede hacer la realización. (shrink)

I consider the position (which I call‘the triad’) according to which physicalism is a reductive claim which is capturable in terms of the idea (the ‘nothing buttery’ idea) that there is nothing but/nothing over and above the physical, an idea which, in its turn, is meant to be capturable in terms of a determinate form of supervenience. (Physicalism is then meant to be capturable in terms of the form of supervenience in question.) I argue that there is a tension in (...) the triad. The notion of ‘nothing buttery’ required has features which can't be captured by the supervenience of the triad. Hence, one cannot have both physicalism as nothing‐buttery‐reductive and physicalism as supervenience of the kind in question. If one wants to hold onto the idea of physicalism as nothing‐buttery‐reductive, one must be prepared to identify physicalism with a much stronger claim than one might have originally thought, a claim that can't be captured by the supervenience of the triad. (shrink)

1 More than two centuries later, the aesthetic reflection of Idealism does not seem to have lost interest in philosophical debate at all. It is a multifaceted interest, which has partly historical-conceptual reasons, since it was post-Kantian philosophy that first posed the problem of defining art in systematic and cognitive terms, and partly more genuinely theoretical ones, for instance the contemporary declinations of a typically Idealistic theme such as the socio-historical determination o...

‘Valence’ is used in many different ways in emotion theory. It generally refers to the ‘positive’ or ‘negative’ character of an emotion, as well as to the ‘positive’ or ‘negative’ character of some aspect of emotion. After reviewing these different uses, I point to the conceptual problems that come with them. In particular, I dis- tinguish: problems that arise from conflating the valence of an emotion with the valence of its aspects, and problems that arise from the very idea that (...) an emotion (and/or its aspects) can be divided into mutually exclusive opposites. The first group of problems does not question the classic dichotomous notion of valence, but the second does. In order to do justice to the richness of daily emotions, emo- tion science needs more complex conceptual tools. (shrink)

In this lively look at current debates in American philosophy, leading philosophers talk candidly about the changing character of their discipline. In the spirit of Emerson's The American Scholar , this book explores the identity of the American philosopher. Through informal conversations, the participants discuss the rise of post-analytic philosophy in America and its relations to European thought and to the American pragmatist tradition. They comment on their own intellectual development as well as each others' work, charting the course of (...) American philosophy over the past few decades. Giovanna Borradori, in her substantial introduction, explains the history of the analytic movement in America and the home-grown reaction against it. In the late nineteenth and early twentieth centuries, American philosophy was a socially engaged interdisciplinary enterprise. In transcendentalism and pragmatism, then the dominant currents in American thought, philosophy was connected to history, psychology, and public issues. But in the 1930s, the imported European movement of logical positivism redefined philosophical discourse in terms of mathematical logic and theory of language. Under the influence of this analytic view, American philosophy became a professionalized discipline, divorced from public debate and intellectual history and antagonistic to the other, more humanistic tradition of continental thought. The American Philosopher explores the opposition between analytic and continental thought and shows how recent American work has begun to bridge the gap between the two traditions. Through a reexamination of pragmatism, and through an attempt to understand philosophy in a more hermeneutical way, the participants narrow the distance between America's distinctly scientific philosophy and Europe's more literary approach. Moving beyond classical analytic philosophy, the participants confront each other on a number of topics. The logico-linguistic orientations of Quine and Davidson come up against the more discursive, interdisciplinary agendas of Rorty, Putnam, and Cavell. Nozick's theory of pluralist anarchism goes face-to-face with the aesthetic neo-foundationalism of Danto. And Kuhn's hypothesis of paradigm shifts is measured against MacIntyre's ethics of "virtues." Borradori's conversations offer an unconventional portrait of the way philosophers think about their work scholars and students will not be its only beneficiaries, so will everyone who wonders about the current state of American philosophy. (shrink)