The debate on love's reasons ignores unrequited love, which—I argue—can be as genuine and as valuable as reciprocated love. I start by showing that the relationship view of love cannot account for either the reasons or the value of unrequited love. I then present the simple property view, an alternative to the relationship view that is beset with its own problems. In order to solve these problems, I present a more sophisticated version of the property view that integrates ideas from (...) different property theorists in the love literature. However, even this more sophisticated property view falls short in accounting for unrequited love's reasons. In response, I develop a new version of the property view that I call the experiential view. On this view, we love a person not only in virtue of properties shaped by and experienced in a reciprocal loving relationship, but also in virtue of perspectival properties, whose value can be properly assessed also outside of a reciprocal loving relationship. The experiential view is the only view that can account not only for reciprocated love's reasons, but also for unrequited love's reasons. (shrink)

Sometimes, we face choices between actions most likely to lead to valuable outcomes, and actions which put us in a better position to learn. These choices exemplify what is called the exploration/exploitation trade-off. In computer science and psychology, this trade-off has fruitfully been applied to modulating the way agents or systems make choices over time. This article extends the trade-off to belief. We can be torn between two ways of believing, one of which is expected to be more accurate in (...) light of current evidence, whereas the other is expected to lead to more learning opportunity and accuracy in the long run. Further, it is sometimes rationally permissible to choose the latter. The article breaks down the features of action which give rise to the trade-off, and then argues that each feature applies equally well to belief. This conclusion is an instance of a systematic, foreseeable way in which what is rational to believe now depends on what one expects to be doing in the future. That is, epistemic rationality fundamentally concerns time. (shrink)

The paper suggests that we can usefully approach whiteness through the lens of phenomenology. Whiteness could be described as an ongoing and unfinished history, which orientates bodies in specific directions, affecting how they `take up' space, and what they `can do'. The paper considers how whiteness functions as a habit, even a bad habit, which becomes a background to social action. The paper draws on experiences of inhabiting a white world as a non-white body, and explores how whiteness becomes worldly (...) through the noticeability of the arrival of some bodies more than others. A phenomenology of whiteness helps us to notice institutional habits; it brings what is behind to the surface in a certain way. (shrink)

Widespread causal overdetermination is often levied as an objection to nonreductive theories of minds and objects. In response, nonreductive metaphysicians have argued that the type of overdetermination generated by their theories is different from the sorts of coincidental cases involving multiple rock-throwers, and thus not problematic. This paper pushes back. I argue that attention to differences between types of overdetermination discharges very few explanatory burdens, and that overdetermination is a bigger problem for the nonreductive metaphysician than previously thought.

What does it mean to hold a belief? Some of our ways of speaking in English suggest that to hold a belief is to have something in your mind: beliefs are things we acquire, defend, recover, and so on (Abelson, 1986). That is, believing is a matter of being in a state of having a thing. In this paper, I will argue for an alternative: believing is something we do. This is not a new suggestion. For instance, Matthew Boyle (2011) (...) defends a theory of belief as an activity, which he traces back to Aristotle. This paper, however, makes two new contributions: first, I argue for an analogy between belief and planning that fleshes out what it would mean to understand belief as an activity, and second, I aim to show how the resulting view can help sense of a variety of theories in cognitive psychology that suggest cognitive information storage is dynamic and reconstructive. (shrink)

This paper aims to reconfigure the place of memory in epistemology. I start by rethinking the problem that memory systems solve; rather than merely functioning to store information, I argue that the core function of any memory system is to support accurate and relevant retrieval. This way of specifying the function of memory has consequences for which structures and mechanisms make up a memory system. In brief, memory systems are modeling systems. This means that they generate, update and manage a (...) series of overlapping, simplified, relational representations that map out features of the world. Succeeding at building and maintaining models requires the kind of active knowledge generation traditionally associated only with deliberative reasoning. (shrink)

A welcome addition to the Routledge Critical Thinkers series, Judith Butler is the first guidebook on this renowned feminist and queer theory scholar, which will help not only students of literary criticism but also students of law, sociology, philosophy, film and cultural studies. Examining Butler's work through a variety of contexts, including the formation of gender performativity, identity and subjecthood, Sarah Salih address Butler's crucial ideas on the gender agenda, the body, pornography, race, gay self-expression and power and psychoanalysis. Concluding (...) with an annotated bibliography, this book will be the ideal starting point for all new to Butler. (shrink)

A way is found to add axioms to sequent calculi that maintains the eliminability of cut, through the representation of axioms as rules of inference of a suitable form. By this method, the structural analysis of proofs is extended from pure logic to free-variable theories, covering all classical theories, and a wide class of constructive theories. All results are proved for systems in which also the rules of weakening and contraction can be eliminated. Applications include a system of predicate logic (...) with equality in which also cuts on the equality axioms are eliminated. (shrink)

Decolonial/anti-colonial Black, Indigenous and Mestiza feminist movements and scholar-activists foreground how the oft-touted apocalypse that the Covid-19 pandemic heralds is not new, nor does it signify the great rupture into chaos that those from within modernity-coloniality often claim it to be. Rather Covid-19 is preceded by and will be out-lived by the apocalyptic anti-life onto-epistemological logics that are foundational to the production of hetero-patriarchal capitalist- coloniality. However, one would commit the violence of reproduction of the epistemological logics and rationalities constitutive (...) of the current system if the story ended there. We have survived and our survival points to the urgent necessity and responsibility of social theory to listen to the story of the pandemic from a Black/Indigenous genealogy and to begin the sense-making of the Covid-19 pandemic, from prior to this particular virus, outside, against and beyond the politics of knowledge of critical social theory itself. Thus, I invite you to journey to an affirmative re-enfleshment of reason and theory-making in relation to and dialogue with Black, Indigenous, and subaltern Mestiza feminist movements in southwest Colombia and in southeast so-called Australia in the unceded lands of the Awabakal and the Worimi. I explore this through the metaphor, the materiality, the cosmology and the herstory of the mangrove swamps a knowing-being otherwise visible to the dehumanising gave of Whiteness and bring to thought three stories of a politics of knowledge of/as the Black/racialised and feminised body/flesh. To do this is to suggest that the co-creation of pathways which are life affirming and life making beyond and out of the post-Covid 19 conjuncture involves an epistemological-political project which decolonises and feminises the containments of reason and knowing being of coloniality/modernity. (shrink)

A constructivisation of the cut-elimination proof for sequent calculi for classical, intuitionistic and minimal infinitary logics with geometric rules—given in earlier work by the second author—is presented. This is achieved through a procedure where the non-constructive transfinite induction on the commutative sum of ordinals is replaced by two instances of Brouwer’s Bar Induction. The proof of admissibility of the structural rules is made ordinal-free by introducing a new well-founded relation based on a notion of embeddability of derivations. Additionally, conservativity for (...) classical over intuitionistic/minimal logic for the seven (finitary) Glivenko sequent classes is here shown to hold also for the corresponding infinitary classes. (shrink)

People often answer why-questions with what we call experiential explanations: narratives or stories with temporal structure and concrete details. In contrast, on most theories of the epistemic function of explanation, explanations should be abstractive: structured by general relationships and lacking extraneous details. We suggest that abstractive and experiential explanations differ not only in level of abstraction, but also in structure, and that each form of explanation contributes to the epistemic goals of individual learners and of science. In particular, experiential explanations (...) support mental simulation and survive transitions across background theories; as a result, they support learning and help us translate between competing frameworks. Experiential explanations play an irreducible role in human cognition – and perhaps in science. (shrink)

Geometric theories are presented as contraction- and cut-free systems of sequent calculi with mathematical rules following a prescribed rule-scheme that extends the scheme given in Negri and von Plato. Examples include cut-free calculi for Robinson arithmetic and real closed fields. As an immediate consequence of cut elimination, it is shown that if a geometric implication is classically derivable from a geometric theory then it is intuitionistically derivable.

The axiomatic presentation of modal systems and the standard formulations of natural deduction and sequent calculus for modal logic are reviewed, together with the difficulties that emerge with these approaches. Generalizations of standard proof systems are then presented. These include, among others, display calculi, hypersequents, and labelled systems, with the latter surveyed from a closer perspective.

We consider an approach to propositional synonymy in proof-theoretic semantics that is defined with respect to a bilateral G3-style sequent calculus \(\mathtt{SC2Int}\) for the bi-intuitionistic logic \(\mathtt{2Int}\). A distinctive feature of \(\mathtt{SC2Int}\) is that it makes use of two kind of sequents, one representing proofs, the other representing refutations. The structural rules of \(\mathtt{SC2Int}\), in particular its cut rules, are shown to be admissible. Next, interaction rules are defined that allow transitions from proofs to refutations, and vice versa, mediated through (...) two different negation connectives, the well-known implies-falsity negation and the less well-known coimplies-truth negation of \(\mathtt{2Int}\). By assuming that the interaction rules have no impact on the identity of derivations, the concept of inherited identity between derivations in \(\mathtt{SC2Int}\) is introduced and the notions of positive and negative synonymy of formulas are defined. Several examples are given of distinct formulas that are either positively or negatively synonymous. It is conjectured that the two conditions cannot be satisfied simultaneously. (shrink)

A relation between two secrets, known in the literature as nondeducibility , was originally introduced by Sutherland. We extend it to a relation between sets of secrets that we call independence . This paper proposes a formal logical system for the independence relation, proves the completeness of the system with respect to a semantics of secrets, and shows that all axioms of the system are logically independent.

This essay contends that postcolonial migrants have a right to enter their former colonizing nations, and that these should accept them. Our novel argument challenges well-established justifications for restrictions in immigration-policies advanced in liberal nationalism, which links immigration controls to the nation’s self-determination and the legitimate preservation of national identity. To do so, we draw on postcolonial analyses of colonialism, in particular on Edward Said’s notion of “intertwined histories,” and we offer a more sophisticated account of national identity than that (...) of liberal nationalists. In our view, the national identity of former colonizing nations cannot be understood in isolation from their ex-colonies. This entails that liberal nationalists cannot justify the restriction on the entrance of members of the nation’s former colonies by resorting to an argument about the preservation of national identity: the former colonized constitute an inseparable element of that national identity, because they are already historically part of it. (shrink)

The article proposes Logic of Secrets in Collaboration Networks, a formal logical system for reasoning about a set of secrets established over a fixed configuration of communication channels. The system’s key feature, a multi-channel relation called independence, is a generalization of a two-channel relation known in the literature as nondeducibility. The main result is the completeness of the proposed system with respect to a semantics of secrets.

Proofs and countermodels are the two sides of completeness proofs, but, in general, failure to find one does not automatically give the other. The limitation is encountered also for decidable non-classical logics in traditional completeness proofs based on Henkin’s method of maximal consistent sets of formulas. A method is presented that makes it possible to establish completeness in a direct way: For any given sequent either a proof in the given logical system or a countermodel in the corresponding frame class (...) is found. The method is a synthesis of a generation of calculi with internalized relational semantics, a Tait–Schütte–Takeuti style completeness proof, and procedures to finitize the countermodel construction. Finitizations for intuitionistic propositional logic are obtained through the search for a minimal derivation, through pruning of infinite branches in search trees by means of a suitable syntactic counterpart of semantic filtration, or through a proof-theoretic embedding into an appropriate provability logic. A number of examples illustrates the method, its subtleties, challenges, and present scope. (shrink)

Just as we may ask whether, and under what conditions, a collection of objects composes a single object, we may ask whether, and under what conditions, a collection of actions composes a single action. In the material objects literature, this question is known as the "special composition question," and I take it that there is a similar question to be asked of collections of actions. I will call that question the "special composition question in action," and argue that the correct (...) answer to this question depends on a particular kind of consequence produced by the individual constituent actions. (shrink)

A way is found to add axioms to sequent calculi that maintains the eliminability of cut, through the representation of axioms as rules of inference of a suitable form. By this method, the structural analysis of proofs is extended from pure logic to free-variable theories, covering all classical theories, and a wide class of constructive theories. All results are proved for systems in which also the rules of weakening and contraction can be eliminated. Applications include a system of predicate logic (...) with equality in which also cuts on the equality axioms are eliminated. (shrink)

The aim of this paper is to investigate, if there is a principal disagreement between Husserl's early concept of expression and his later discussions on gestures. In the early work Logical Investigations (1900–1901), Husserl quite bluntly excludes gestures from the category of meaningful expressions; thirty years later (1928), in the second volume of Ideas, he argues to the contrary that gestures are meaningful and expressive in the very same way as linguistic units, words and sentences. The question of this paper (...) is: What happened in Husserl's thinking in the two decades between Investigations and the last versions of Ideas II? I argue that the disagreement between Husserl's early statement and his later discussion on gestural expressions is due to a refinement in his account of embodiment. I claim that Husserl did not abandon his concept of expression, but dismissed his early analysis of embodiment as simplistic and as motivated by a certain preconception about the relationship between nature and spirit. This change became possible for him as he developed conceptual and methodic tools for distinguishing between different meanings of the body: the physical thing or the mere material body, the perceived body, and the sensuous body. The difference between the body as a physical thing and the body as a sensuous-spiritual unit proves to be crucial to the understanding of gestural expressions. (shrink)

The aim of this volume is to offer an updated account of the transcendental character of phenomenology. The main question concerns the sense and relevance of transcendental philosophy today: What can such philosophy contribute to contemporary inquiries and debates after the many reasoned attacks against its idealistic, aprioristic, absolutist and universalistic tendencies—voiced most vigorously by late 20th century postmodern thinkers—as well as attacks against its apparently circular arguments and suspicious metaphysics launched by many analytic philosophers? Contributors also aim to clarify (...) the relations of transcendental phenomenology to other post-Kantian philosophies, most importantly to pragmatism and Wittgenstein’s philosophical investigations. Finally, the volume offers a set of reflections on the meaning of post-transcendental phenomenology. (shrink)

This collection represents the first historical survey focusing on the notion of consciousness. It approaches consciousness through its constitutive aspects, such as subjectivity, reflexivity, intentionality and selfhood. Covering discussions from ancient philosophy all the way to contemporary debates, the book enriches current systematic debates by uncovering historical roots of the notion of consciousness.

With the emergence of systems biology the notion of organizing principles is being highlighted as a key research aim. Researchers attempt to ‘reverse engineer’ the functional organization of biological systems using methodologies from mathematics, engineering and computer science while taking advantage of data produced by new experimental techniques. While systems biology is a relatively new approach, the quest for general principles of biological organization dates back to systems theoretic approaches in early and mid-20th century. The aim of this paper is (...) to draw on this historical background in order to increase the understanding of the motivation behind the systems theoretic approach and to clarify different epistemic aims within systems biology. We pinpoint key aspects of earlier approaches that also underlie the current practice. These are i) the focus on relational and system-level properties, ii) the inherent critique of reductionism and fragmentation of knowledge resulting from overspecialization, and iii) the insight that the ideal of formulating abstract organizing principles is complementary to, rather than conflicting with, the aim of formulating detailed explanations of biological mechanisms. We argue that looking back not only helps us understand the current practice but also points to possible future directions for systems biology. (shrink)

Stakeholder management devices (SMDs) are the mechanisms through which organizations respond to stakeholder concerns. Given that SMDs serve as organizational control systems for employees and managers, this research investigates the internal rather than the external effects of a firm's SMDs. Unlike most previous research, I examined the effects of these formal structures, processes, and procedures in the aggregate, rather than focusing attention on a single type of device. The study investigates the effects of a firm's stakeholder management devices, in the (...) aggregate, on three factors that influence individual behavior in organizations: expectations, attitudes, and perceived organizational climates. Respondents were managers in 112 for-profit businesses located throughout the United States. Results suggest that a firm's stakeholder management devices affect the perceived moral climates in the firm, and affect managers' expectations about the consequences of good corporate social performance, but do not affect organization members' attitudes about corporate social responsibility. (shrink)

This paper throws some light on the nature of argumentation, its use and advantages, within the setting of doctor–patient interaction. It claims that argumentation can be used by doctors to offer patients reasons that work as ontological conditions for enhancing the decision making process, as well as to preserve the institutional nature of their relationship with patients. In support of these claims, selected arguments from real-life interactions are presented in the second part of the paper, and analysed by means of (...) a model of argumentation borrowed from classical rhetoric, and refined according to the modern orientation of the pragma-dialectic approach. (shrink)

This chapter develops an alternative to the dominant articulation of human existence on the basis of classical phenomenology, arguing that Edmund Husserl's phenomenological inquiries into the structures of embodiment provide a very different and more fruitful starting point for the investigation of sexual difference than the ideas of social gender and biological sex. The ways of classifying sex and gender characteristics mark them out on several different conceptual bases, and thus their categories may not correspond or coincide. Moreover historical and (...) biological inquiries indicate that the dimorphic notion of sex is prescriptive and constructive. Finally the sex/gender paradigm is dominated by the explanatory framework of causes and effects. The phenomenological analysis shows that the causal-functional framework is inadequate for the investigation of the plurality of the bodily existence and sexual difference as a dimension of this existence. In the light of the explication of the concepts of sex and gender, and the phenomenological analysis of embodiment, the sex/gender paradigm cannot offer a basis for a comprehensive philosophy of sexual existence. (shrink)

This comment addresses opportunities for understanding the social functions of emotion by taking a developmental perspective. I agree that understanding emotions and their development will meaningf...

This paper problematizes the analogy that Hubert Dreyfus has presented between phenomenology and cognitive science. It argues that Dreyfus presents Merleau-Ponty''s modification of Husserl''s phenomenology in a misleading way. He ignores the idea of philosophy as a radical interrogation and self-responsibility that stems from Husserl''s work and recurs in Merleau-Ponty''s Phenomenology of Perception. The paper focuses on Merleau-Ponty''s understanding of the phenomenological reduction. It shows that his critical idea was not to restrict the scope of Husserl''s reductions but to study (...) the conditions of possibility for the thetic acts. Merleau-Ponty argued, following Husserl''s texts, that the thetic acts rest on the basis of primordial pre-thetic experience. This layer of experience cannot, by its nature, be explicated or clarified, but it can be questioned and unveiled. This is the recurrent task of phenomenological philosophy, as Merleau-Ponty understands it. (shrink)

This paper analyzes the rhetoric surrounding the profession’s presentations of auditor independence. We trace the evolution of thecharacter of the auditor from Professional Man in the early years of the twentieth century to the more public and abstract figures of Judicial Man and Economic Man. The changing character of the auditor in the profession’s narratives of legitimation reflects changes in the role of auditing, in the economic environment, and in the values of American society. Economic man is a self-interested and (...) shallow character who offered the auditing profession little protection against involvement in corporate scandals. In the wake of recent accounting scandals, the profession is calling for a return to the character of Professional Man to restore trust in audits and the financial markets.We also analyze the philosophical bases of the metaphors surrounding auditor independence. These metaphors, particularly the metaphor of independence as separation, create problems in conceptualizing independence concepts. How can you discuss appropriate relationships when your basic concept is one of separation, or no relationship? On the other hand, relational concepts of independence are also flawed if they are not based on a firm moral foundation. We suggest how the profession can act to rebuildits moral foundation through recognition of collective responsibility. (shrink)

A sequent calculus is given in which the management of weakening and contraction is organized as in natural deduction. The latter has no explicit weakening or contraction, but vacuous and multiple discharges in rules that discharge assumptions. A comparison to natural deduction is given through translation of derivations between the two systems. It is proved that if a cut formula is never principal in a derivation leading to the right premiss of cut, it is a subformula of the conclusion. Therefore (...) it is sufficient to eliminate those cuts that correspond to detour and permutation conversions in natural deduction. (shrink)

This paper supports the need for health professionals to be trained in argumentation theory, by illustrating the challenges that they face in interacting with patients and according to the different models of consultation that patients prefer. While there is no ideal model of consultation that can be promoted universally, the ability to construct arguments in support of health professionals’ points of view, as well as the ability to engage in critical discussion with patients, translate in essential skills for reaching patients’ (...) agreement when communication develops through the interpretative model or the informed decision model or, eventually, shared decision-making. Keywords: models of consultation, argumentation skills, medical training, patient-centeredness, informed consent. (shrink)

The origins of proof-theoretic semantics lie in the question of what constitutes the meaning of the logical connectives and its response: the rules of inference that govern the use of the connective. However, what if we go a step further and ask about the meaning of a proof as a whole? In this paper we address this question and lay out a framework to distinguish sense and denotation of proofs. Two questions are central here. First of all, if we have (...) two different derivations, does this always lead to a difference, firstly, in sense, and secondly, in denotation? The other question is about the relation between different kinds of proof systems with respect to this distinction. Do the different forms of representing a proof necessarily correspond to a difference in how the inferential steps are given? In our framework it will be possible to identify denotation as well as sense of proofs not only within one proof system but also between different kinds of proof systems. Thus, we give an account to distinguish a mere syntactic divergence from a divergence in meaning and a divergence in meaning from a divergence of proof objects analogous to Frege’s distinction for singular terms and sentences. (shrink)

The main result of this paper is a normalizing system of natural deduction for the full language of intuitionistic linear logic. No explicit weakening or contraction rules for -formulas are needed. By the systematic use of general elimination rules a correspondence between normal derivations and cut-free derivations in sequent calculus is obtained. Normalization and the subformula property for normal derivations follow through translation to sequent calculus and cut-elimination.