van Fraassen's constructivist empiricist account of theories makes an epistemic distinction between entities that can and cannot be observed with the naked eye. A belief about the correctness of a theoretical description of an entity that is observable with the naked eye can be warranted by a theory. In contrast, no theory can warrant a belief about the correctness of a description of an unobservable entity. I argue that we ought to instead adopt a view that takes account of the (...) fact that some entities that cannot be observed with the naked eye can nevertheless be observed on the basis of the same physical principle as those entities that can be. This suggests that there is a distinction different from van Fraassen's that might do the work van Fraassen intends his to do, but a distinction that is principled. Understanding why this is so suggests that his distinction is grounded merely in human chauvinism. (shrink)

Achieving a good clinical trial design increases the likelihood that a trial will take place as planned, including that data will be obtained from a sufficient number of participants, and the total number of participants will be the minimal required to gain the knowledge sought. A good trial design also increases the likelihood that the knowledge sought by the experiment will be forthcoming. Achieving such a design is more than good sense—it is ethically required in experiments when participants are at (...) risk of harm. This paper argues that doing a power analysis effectively contributes to ensuring that a trial design is good. The ethical importance of good trial design has long been recognized for trials in which there is risk of serious harm to participants. However, whether the quality of a trial design, when the risk to participants is only minimal, is an ethical issue is rarely discussed. This paper argues that even in cases when the risk is minimal, the quality of the trial design is an ethical issue, and that this is reflected in the emphasis the Belmont Report places on the importance of the benefit of knowledge gained by society. The paper also argues that good trial design is required for true informed consent. (shrink)

Modifying images for scientific publication is now quick and easy due to changes in technology. This has created a need for new image processing guidelines and attitudes, such as those offered to the research community by Doug Cromey (Cromey 2010). We suggest that related changes in technology have simplified the task of detecting misconduct for journal editors as well as researchers, and that this simplification has caused a shift in the responsibility for reporting misconduct. We also argue that the concept (...) of best practices in image processing can serve as a general model for education in best practices in research. (shrink)

Responsible data management is a multifaceted topic involving standards within the research community regarding research design and the sharing of data as well as the collection, selection, analysis and interpretation of data. Transparency in the manipulation of images is increasingly important in order to avoid misrepresentation of research findings, and research oversight is also critical in helping to assure the integrity of the research process. Intellectual property issues both unite and divide academe and industry in their approaches to data management. (...) Central to the realization and promulgation of responsible data management is clear and careful communication of standards and expectations within the research community to trainees as well as among colleagues. These topics are examined and explored in depth in a special issue of Science and Engineering Ethics on responsible data management. (shrink)

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 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)

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 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)

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)

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.

A proof-theoretical analysis of elementary theories of order relations is effected through the formulation of order axioms as mathematical rules added to contraction-free sequent calculus. Among the results obtained are proof-theoretical formulations of conservativity theorems corresponding to Szpilrajn’s theorem on the extension of a partial order into a linear one. Decidability of the theories of partial and linear order for quantifier-free sequents is shown by giving terminating methods of proof-search.

Contraction-free sequent calculi for intuitionistic theories of apartness and order are given and cut-elimination for the calculi proved. Among the consequences of the result is the disjunction property for these theories. Through methods of proof analysis and permutation of rules, we establish conservativity of the theory of apartness over the theory of equality defined as the negation of apartness, for sequents in which all atomic formulas appear negated. The proof extends to conservativity results for the theories of constructive order over (...) the usual theories of order. (shrink)

It has been argued that reduction procedures are closely connected to the question about identity of proofs and that accepting certain reductions would lead to a trivialization of identity of proofs in the sense that every derivation of the same conclusion would have to be identified. In this paper it will be shown that the question, which reductions we accept in our system, is not only important if we see them as generating a theory of proof identity but is also (...) decisive for the more general question whether a proof has meaningful content. There are certain reductions which would not only force us to identify proofs of different arbitrary formulas but which would render derivations in a system allowing them meaningless. To exclude such cases, a minimal criterion is proposed which reductions have to fulfill to be acceptable. (shrink)