Shannon Sullivan has criticized Richard Rorty for the discrepancy in his treatments of Cornel West and Marilyn Frye's prophetic philosophies, which Sullivan reads to indicate a racial bias on Rorty's part. This article defends Rorty from this criticism, first clarifying his view of the discontinuous relation of philosophy to politics, then, on the basis of this clarification, arguing that Rorty's different treatments of West and Frye do not reveal a racial bias as Sullivan claims. Finally, revisiting Rorty's exchange with Nancy (...) Fraser, it is argued that although Rorty has no philosophy of race, he does offer a strong antiracist politics. (shrink)

This chapter sheds light on a response to experimental philosophy that has not yet received enough attention: the reflection defense. According to proponents of this defense, judgments about philosophical cases are relevant only when they are the product of careful, nuanced, and conceptually rigorous reflection. The chapter argues that the reflection defense is misguided: Five studies (N>1800) are presented, showing that people make the same judgments when they are primed to engage in careful reflection as they do in the conditions (...) standardly used by experimental philosophers. (shrink)

The posterior cortex, hippocampus, and prefrontal cortex in the Leabra architecture are specialized in terms of various neural parameters, and thus are predilections for learning and processing, but domain-general in terms of cognitive functions such as face recognition. Also, these areas are not encapsulated and violate Fodorian criteria for modularity. Anderson's terminology obscures these important points, but we applaud his overall message.

Western societies today are coming unmoored in the face of an earth-shaking ethical and cultural paradigm shift. At its core is the question of what it means to be human and how we are meant to live. The old answers are no longer accepted; a dizzying array of options are offered in their stead. Underpinning this smorgasbord of lifestyles is a thicket of unquestioned assumptions, such as the separation of gender from biological sex, which not so long ago would have (...) been universally rejected as radical notions. In the spring of 2019, a group of Orthodox Christian scholars drawn from a wide variety of academic disciplines met together to offer responses to the moral crisis our generation faces, elaborating upon its various forms and facilitating a fuller understanding of some of its theological and philosophical foundations. In doing so they offer support to all those who question the claims that are so forcefully insisted upon today--a clarity that will aid them in standing up and resisting trends that have already shown to be the cause of great suffering and unhappiness. (shrink)

Correspondence should be addressed to David A. Leopold david[email protected] the viewing of certain patterns, widely known as ambiguous or puzzle figures, perception lapses into a sequence of spontaneous alternations, switching every few seconds between two or more visual interpretations of the stimulus. Although their nature and origin remain topics of debate, these stochastic switches are generally thought to be the automatic and inevitable consequence of viewing a pattern without a unique solution. We report here that in humans such (...) perceptual alternations can be slowed, and even brought to a standstill, if the visual stimulus is periodically removed from view. We also show, with a visual illusion, that this stabilizing effect hinges on perceptual disappearance rather than on actual removal of the stimulus. These findings indicate that uninterrupted subjective perception of an ambiguous pattern is required for the initiation of the brain-state changes underlying multistable vision.Visual perception involves coordination between sensory sampling of the world and active interpretation of the sensory data. Human perception of objects and scenes is normally stable and robust, but it falters when one is presented with patterns that are inherently ambiguous or contradictory. Under such conditions, vision lapses into a chain of continually alternating percepts, whereby a viable visual interpretation dominates for a few seconds and is then replaced by a rival interpretation. This multistable vision, or 'multistability', is thought to result from destabilization of fundamental visual mechanisms, and has offered valuable insights into how sensory patterns are actively organized and interpreted in the brain1, 2. Despite a great deal of recent research and interest in multistable perception, however, its neurophysiological underpinnings remain poorly understood. Physiological studies have suggested that disambiguation of ambiguous patterns. (shrink)

In the field of philosophy, Plato's view of rhetoric as a potentially treacherous craft has long overshadowed Aristotle's view, which focuses on rhetoric as an independent discipline that relates in complex ways to dialectic and logic and to ethics and moral psychology. This volume, composed of essays by internationally renowned philosophers and classicists, provides the first extensive examination of Aristotle's Rhetoric and its subject matter in many years. One aim is to locate both Aristotle's treatise and its subject within the (...) more general context of his philosophical treatment of other disciplines, including moral and political theory as well as poetics. The contributors also seek to illuminate the structure of Aristotle's own conception of rhetoric as presented in his treatise. The first section of the book, which deals with the arguments of rhetoric, contains essays by M. F. Burnyeat and Jacques Brunschwig. A section treating the status of the art of rhetoric features pieces by Eckart Schütrumpf, Jürgen Sprute, M. M. McCabe, and Glenn W. Most. Essays by John M. Cooper, Stephen Halliwell, and Jean-Louis Labarrière address topics related to rhetoric, ethics, and politics. The final section, on rhetoric and literary art, comprises essays by Alexander Nehamas and André Laks. Originally published in 1994. The Princeton Legacy Library uses the latest print-on-demand technology to again make available previously out-of-print books from the distinguished backlist of Princeton University Press. These editions preserve the original texts of these important books while presenting them in durable paperback and hardcover editions. The goal of the Princeton Legacy Library is to vastly increase access to the rich scholarly heritage found in the thousands of books published by Princeton University Press since its founding in 1905. (shrink)

This editorial outlines the articles included in the special thematic symposium on corporate social responsibility and employees and highlights their contributions to the literature. In doing so, it highlights the novel theoretical and empirical insights provided by the articles, how the articles inform and expand the methods and research designs researchers can use to study phenomena in this area, and identifies promising directions for future research.

Proof-theoretic semantics (P-tS) is the paradigm of semantics in which meaning in logic is based on proof (as opposed to truth). A particular instance of P-tS for intuitionistic propositional logic (IPL) is its base-extension semantics (B-eS). This semantics is given by a relation called support, explaining the meaning of the logical constants, which is parameterized by systems of rules called bases that provide the semantics of atomic propositions. In this paper, we interpret bases as collections of definite formulae and use (...) the operational view of them as provided by uniform proof-search—the proof-theoretic foundation of logic programming (LP)—to establish the completeness of IPL for the B-eS. This perspective allows negation, a subtle issue in P-tS, to be understood in terms of the negation-as-failure protocol in LP. Specifically, while the denial of a proposition is traditionally understood as the assertion of its negation, in B-eS we may understand the denial of a proposition as the failure to find a proof of it. In this way, assertion and denial are both prime concepts in P-tS. (shrink)

For over half a century there have been concerns about increases in the occurrence of academic misconduct by higher education students and this is now claimed to have reached crisis proportions (e.g. Mostrous & Kenber, 2016a ). This study explores the extent to which multi-national faculty judge the effectiveness of higher education institutions in dealing with such misconduct. A survey of multi-national higher education faculty was conducted to explore the perceived barriers to the implementation of academic integrity processes. It asked (...) faculty how likely some hypothetical scenarios of failures of such processes were to occur in the real world of higher education institutions. 63% of our participants perceived there to be institutional and/or faculty barriers to effectively dealing with academic misconduct. Mostly, they blamed the higher education model for this which, in the interests of mass education, has come to prioritise the need for institutions to focus more on their quantity of output as corporate business enterprises than on the integrity of their output as educators. In discussing participants’ comments, about the relationship of faculty to their employing institutions, Schein and Scheins’ ( 2016 ) theory of three levels of organisational culture was used. Participants’ comments suggested that, at the deepest level of organisational culture i.e. basic underlying taken-for-granted assumptions about beliefs and values, inadequate integrity measures have tended to become normalised. Despite the often considerable, efforts of the institutions, organisational barriers were noted which mitigate against faculty behaving professionally i.e. from doing a ‘good job’ in respect of student academic misconduct. Some blame was also placed on faculty. We argue that apparent institutional inability to effectively manage the integrity process, has potentially significant consequences for wider society. We discuss ways in which this situation might be improved including a recommendation that governments regulate this aspect of the corporate social responsibility of higher education institutions as they do other aspects, requiring that it be managed effectively. (shrink)

The reductive, as opposed to deductive, view of logic is the form of logic that is, perhaps, most widely employed in practical reasoning. In particular, it is the basis of logic programming. Here, building on the idea of uniform proof in reductive logic, we give a treatment of logic programming for BI, the logic of bunched implications, giving both operational and denotational semantics, together with soundness and completeness theorems, all couched in terms of the resource interpretation of BI’s semantics. We (...) use this set-up as a basis for exploring how coalgebraic semantics can, in contrast to the basic denotational semantics, be used to describe the concrete operational choices that are an essential part of proof-search. The overall aim, toward which this paper can be seen as an initial step, is to develop a uniform, generic, mathematical framework for understanding the relationship between the deductive structure of logics and the control structures of the corresponding reductive paradigm. (shrink)

Background: Continuous viewing of ambiguous patterns is characterized by wavering perception that alternates between two or more equally valid visual solutions. However, when such patterns are viewed intermittently, either by repetitive presentation or by periodic closing of the eyes, perception can become locked or "frozen" in one configuration for several minutes at a time. One aspect of this stabilization is the possible existence of a perceptual memory that persists during periods in which the ambiguous stimulus is absent. Here, we use (...) a novel paradgim of temporally interleaved ambiguous stimuli to explore the nature of this memory, with particular regard to its potential impact on perceptual organization. Results: We found that the persistence of a perceptual configuration was robust to interposed visual patterns and, further, that at least three ambiguous patterns, when interleaved in time, could undergo parallel, stable time courses. Then, using an interleaved presentation paradigm, we established that the occasional reversal in one pattern could be coupled with that of its interleaved counterpart, and that this coupling was a function of the structural similarity between the patterns. Conclusions: We postulate that the stabilization observed with repetitive presentation of ambiguous patterns can be at least partially accounted for by processes that retain a recent perceptual interpretation, and we speculate that such memory may be important in natural vision. We further propose tha the interleaved paradigm introduced here may be of great value to gauge aspects of stimulus similarity that appeal to particular mechanisms of perceptual organization. (shrink)

Understanding how activity in the brain leads to a subjective percept is of great interest to philosophers and neuroscientists alike. In the last years, neurophysiological experiments have approached this problem directly by measuring neural signals in animals as they experience well-defined visual percepts. Stimuli in these studies are often inherently ambiguous, and thus rely upon the subjective report, generally from trained monkeys, to provide a measure of perception. By correlating activity levels in the brain to this report, one can speculate (...) on the role of individual neurons and groups of neurons in the formation and maintenance of a particular percept. However, in order to draw valid conclusions from such experiments, it is critical that the responses accurately and reliably reflect what is perceived. For this reason, a number of behavioural paradigms have been developed to control and evaluate the truthfulness of responses from behaving animals. Here we describe several approaches to optimizing the reliability of a monkey's perceptual report, and argue that their combination provides an invaluable approach in the study of subjective visual perception. (shrink)

This book reflects on the variety of ways in which mourning affects political and social life. Through the narrative of the contributors, the book demonstrates how mourning is intertwined with politics and how politics involves a struggle over which losses and whose lives can, or should, be mourned.

It is widely held that individuals who are unable to provide informed consent should be enrolled in clinical research only when the risks are low, or the research offers them the prospect of direct benefit. There is now a rich literature on when the risks of clinical research are low enough to enroll individuals who cannot consent. Much less attention has focused on which benefits of research participation count as ‘direct’, and the few existing accounts disagree over how this crucial (...) concept should be defined. This disagreement raises concern over whether those who cannot consent, including children and adults with severe dementia, are being adequately protected. The present paper attempts to address this concern by considering first what additional protections are needed for these vulnerable individuals. This analysis suggests that the extant definitions of direct benefits either provide insufficient protection for research subjects or pose excessive obstacles to appropriate research. This analysis also points to a modified definition of direct benefits with the potential to avoid these two extremes, protecting individuals who cannot consent without blocking appropriate research. (shrink)

Procrastination refers to voluntarily postponing an intended course of action despite expecting to be worse off for this delay, and students are considered to be especially negatively affected. According to estimates in the literature, at least half of the students believe procrastination impacts their academic achievements and well-being. As of yet, evidence-based ideas on how to differentiate severe from less severe cases of procrastination in this population do not exist, but are important in order to identify those students in need (...) of support. The current study recruited participants from different universities in Sweden to participate in an anonymous online survey investigating self-rated levels of procrastination, impulsivity, perfectionism, anxiety, depression, stress, and quality of life. Furthermore, diagnostic criteria for pathological delay as well as self-report items and open-ended questions were used to determine the severity of their procrastination and its associated physical and psychological issues. In total, 732 participants completed the survey. A median-split on the Pure Procrastination Scale and the responses to the PDC were used to differentiate two groups; “less severe procrastination”, and “severe procrastination”. For participants in the severe group, 96–97% considered procrastination to a problem, compared to 42–48% in the less severe group. The two groups also differed with regard to considering seeking help for procrastination, 35–38% compared to 5–7%. Participants in the severe group also reported more problems of procrastination in different life domains, greater symptoms of psychological issues, and lower quality of life. A thematic analysis of the responses on what physical issues were related to procrastination revealed that these were characterized by stress and anxiety, e.g., tension, pain, and sleep and rest, while the psychological issues were related to stress and anxiety, but also depression, e.g., self-criticism, remorse, and self-esteem. The current study recommends the PPS to be used as an initial screening tool, while the PDC can more accurately determine the severity level of procrastination for a specific individual. (shrink)

Philosophers like Duhem and Cartwright have argued that there is a tension between laws' abilities to explain and to represent. Abstract laws exemplify the first quality, phenomenological laws the second. This view has both metaphysical and methodological aspects: the world is too complex to be represented by simple theories; supplementing simple theories to make them represent reality blocks their confirmation. We argue that both aspects are incompatible with recent developments in nonlinear dynamics. Confirmation procedures and modelling strategies in nonlinear dynamics (...) show that there are simple, abstract theories that can be confirmed without encountering the problems pointed to by Cartwright. (shrink)

In this wide-ranging conversation, Berry and Galloway explore the implications of undertaking media theoretical work for critiquing the digital in a time when networks proliferate and, as Galloway claims, we need to ‘forget Deleuze’. Through the lens of Galloway’s new book, Laruelle: Against the Digital, the potential of a ‘non-philosophy’ for media is probed. From the import of the allegorical method from excommunication to the question of networks, they discuss Galloway’s recent work and reflect on the implications of computation for (...) media theory, thinking about media objects, and critical theory. (shrink)

This paper argues that higher-order doubt generates an epistemic dilemma. One has a higher-order doubt with regards to P insofar as one justifiably withholds belief as to what attitude towards P is justified. That is, one justifiably withholds belief as to whether one is justified in believing, disbelieving, or withholding belief in P. Using the resources provided by Richard Feldman’s recent discussion of how to respect one’s evidence, I argue that if one has a higher-order doubt with regards to P, (...) then one is not justified in having any attitude towards P. Otherwise put: No attitude towards the doubted proposition respects one’s higher-order doubt. I argue that the most promising response to this problem is to hold that when one has a higher-order doubt about P, the best one can do to respect such a doubt is to simply have no attitude towards P. Higher-order doubt is thus much more rationally corrosive than non-higher-order doubt, as it undermines the possibility of justifiably having any attitude towards the doubted proposition. (shrink)

Significant associations have been found between specific human leukocyte antigen (HLA) alleles and organ transplant rejection, autoimmune disease development, and the response to infection. Traditional searches for disease associations have conventionally measured risk associated with the presence of individual HLA alleles. However, given the high level of HLA polymorphism, the pattern of amino acid variability, and the fact that most of the HLA variation occurs at functionally important sites, it may be that a combination of variable amino acid sites shared (...) by several alleles (shared epitopes) are better descriptors of the actual causative genetic variants. Here we describe a novel approach to genetic association analysis in which genes/proteins are broken down into smaller sequence features and then variant types defined for each feature, allowing for independent analysis of disease association with each sequence feature variant type. We have used this approach to analyze a cohort of systemic sclerosis patients and show that a sequence feature composed of specific amino acid residues in peptide binding pockets 4 and 7 of HLA-DRB1 explains much of the molecular determinant of risk for systemic sclerosis. (shrink)

A number of philosophers have recently claimed that unjustified beliefs can be defeaters. However these claims have been made in passing, occurring in the context of defenses of other theses. As a result, the claim that unjustified beliefs can be defeaters has been neither vigorously defended nor thoroughly explained. This paper fills that gap. It begins by identifying problems with the two most in-depth accounts of the possibility of unjustified defeaters due to Bergmann and Pryor. It then offers a revised (...) version of Pryor’s account. On this proposal, an unjustified belief can be a defeater if it is rational, all things considered. If a belief is rational, all things considered, it can require one to abandon other beliefs with which it conflicts—even if it is unjustified. Finally, this paper shows that the proposed account of unjustified defeaters is one that can and should be embraced by leading accounts of justified belief as diverse as reliabilism and evidentialism. (shrink)

This is the story of the clattering of elevated subways and the cacophony of crowded neighborhoods, the heady optimism of industrial progress and the despair of economic recession, and the vibrancy of ethnic cultures and the resilience of ...

This paper reconsiders the event in International Relations (IR) through the writings of Hannah Arendt. The event has for too long been neglected in IR; international events are overwhelmingly conceived as mere happenings that have meaning only within the process and temporal structure of the theory from which they are understood, and as holding no or only limited meaning in and of themselves. In her work on political theory and her reflections on totalitarianism, however, Arendt elaborates a rich view of (...) the event and its relationship to history, one that offers an alternative way of thinking about international relations. Arendt urges us to remain open to the possibility, however difficult, of conceiving of the event as meaningful outside of the processes within which our established mode of thoughts would have us subsume it. This requires on the part of the historian a commitment to judgement, to a recognition of the importance of imagination and impartiality that gives meaning to the event for others. In explicating Arendt's complex notion of the genuine political event, the paper aims not merely to demonstrate the intrinsic interest of this conception of the event to her thought, but to add to the small but growing number of works in IR that have found fruitful new avenues of thought in Arendt's various writings, and also to recent discussions on the proper relationship between history and IR theory. (shrink)

A certain order or stability of nature has often been seen as a necessary presupposition of many of our scientific practices, in particular of our use of information gained in one kind of circumstance to explain or predict what happens in quite different situations. John Maynard Keynes and, more recently, Nancy Cartwright have argued that these practices commit us to the existence of stable ‘atoms’ or ‘natures’ or ‘tendencies.’ The phenomena we observe in nature are, on this view, the result (...) of superimposing the invariable, context-independent effects of all the different tendencies involved. (shrink)

This handbook presents a comprehensive introduction to the core areas of philosophy of education combined with an up-to-date selection of the central themes. It includes 95 newly commissioned articles that focus on and advance key arguments; each essay incorporates essential background material serving to clarify the history and logic of the relevant topic, examining the status quo of the discipline with respect to the topic, and discussing the possible futures of the field. The book provides a state-of-the-art overview of philosophy (...) of education, covering a range of topics: Voices from the present and the past deals with 36 major figures that philosophers of education rely on; Schools of thought addresses 14 stances including Eastern, Indigenous, and African philosophies of education as well as religiously inspired philosophies of education such as Jewish and Islamic; Revisiting enduring educational debates scrutinizes 25 issues heavily debated in the past and the present, for example care and justice, democracy, and the curriculum; New areas and developments addresses 17 emerging issues that have garnered considerable attention like neuroscience, videogames, and radicalization. The collection is relevant for lecturers teaching undergraduate and graduate courses in philosophy of education as well as for colleagues in teacher training. Moreover, it helps junior researchers in philosophy of education to situate the problems they are addressing within the wider field of philosophy of education and offers a valuable update for experienced scholars dealing with issues in the sub-discipline. Combined with different conceptions of the purpose of philosophy, it discusses various aspects, using diverse perspectives to do so. Contributing Editors: Section 1: Voices from the Present and the Past: Nuraan Davids Section 2: Schools of Thought: Christiane Thompson and Joris Vlieghe Section 3: Revisiting Enduring Debates: Ann Chinnery, Naomi Hodgson, and Viktor Johansson Section 4: New Areas and Developments: Kai Horsthemke, Dirk Willem Postma, and Claudia Ruitenberg. (shrink)

Measuring and assessing the different aspects of gambling behavior and its consequences is crucial for planning prevention, treatment, and understanding the development of at-risk and problem gambling. Studies indicate that instruments measuring problem gambling produce different results based on the characteristics of the population assessed. To accurately measure at-risk and problem gambling behavior, especially in a low-risk population, measures must cover a wider set of dimensions than the negative consequences already manifest. The Jonsson-Abbott Scale includes items that cover overconsumption, actions (...) that reinforce gambling behavior, and belief in gambling fallacies, based on a three-factor structure and has previously demonstrated good psychometric properties. However, there is a need to investigate how the instrument also functions in low-risk populations. This study aims to do so using both confirmatory factor and Rasch analysis; this research included 1,413 Swedish participants who endorsed at least one JAS item. The results replicated the previous three-factor solution and indicated that the instrument had good reliability. In addition, the results demonstrated that the three factors are independent, and the overall score per factor needs to be analyzed. In summary, the JAS appears suitable for use in low-risk populations to measure various aspects of gambling behavior. (shrink)

In this paper I defend epistemic circularity by arguing that the “No Self-Support” principle (NSS) is false. This principle, ultimately due to Fumerton ( 1995 ), states that one cannot acquire a justified belief in the reliability of a source of belief by trusting that very source. I argue that NSS has the skeptical consequence that the trustworthiness of all of our sources ultimately depends upon the trustworthiness of certain fundamental sources – sources that we cannot justifiably believe to be (...) reliable. This is a problem, I claim, because if the trustworthiness of all of our sources depends upon sources that we should not believe to be reliable, then a reflective individual should not trust any of his sources at all. The hidden cost of rejecting epistemic circularity is thus the unacceptable skeptical thesis that reflective individuals like you and I have no justified beliefs whatsoever. (shrink)

According to David Miller, immigration is not a human right. Conversely, Kieran Oberman makes a case for immigration as a human right. We agree with the latter view, but we show that its starting point is mistaken. Indeed, both Miller and Oberman discuss the right to immigration within the liberal paradigm: it is a right or not depending on the correct balance between the interests of the citizens of a given national state and the interests of the immigrants. Instead, (...) we claim that public justification can underpin immigration as a human right. That said, the public justification of the right to immigration has several counterarguments to rebut. Before we deal with that issue, relying on Jürgen Habermas’s social theory, we examine the legal structures that could support the right to immigration in practice. To be sure, this does not provide the normative justification needed, instead it shows the framework that allows the institutional realization of this right. Then, through a combination of civic and cosmopolitan forms of solidarity, the article discusses the formation of a public sphere, which could provide the justification of the right to immigration. (shrink)

We present a set of algorithms for automated simplification of symbolic constants of the form ∑iαixi with αi rational and xi complex. The included algorithms, called SimplifySum2 and implemented in Mathematica, remove redundant terms, attempt to make terms and the full expression real, and remove terms using repeated application of the multipair PSLQ integer relation detection algorithm. Also included are facilities for making substitutions according to user-specified identities. We illustrate this toolset by giving some real-world examples of its usage, including (...) one, for instance, where the tool reduced a symbolic expression of approximately 100 000 characters in size enough to enable manual manipulation to one with just four simple terms.2Available from https://github.com/alexkaiser/SimplifySum. (shrink)

This paper reviews the actual and potential use of social media in emergency, disaster and crisis situations. This is a field that has generated intense interest. It is characterised by a burgeoning but small and very recent literature. In the emergencies field, social media (blogs, messaging, sites such as Facebook, wikis and so on) are used in seven different ways: listening to public debate, monitoring situations, extending emergency response and management, crowd-sourcing and collaborative development, creating social cohesion, furthering causes (including (...) charitable donation) and enhancing research. Appreciation of the positive side of social media is balanced by their potential for negative developments, such as disseminating rumours, undermining authority and promoting terrorist acts. This leads to an examination of the ethics of social media usage in crisis situations. Despite some clearly identifiable risks, for example regarding the violation of privacy, it appears that public consensus on ethics will tend to override unscrupulous attempts to subvert the media. Moreover, social media are a robust means of exposing corruption and malpractice. In synthesis, the widespread adoption and use of social media by members of the public throughout the world heralds a new age in which it is imperative that emergency managers adapt their working practices to the challenge and potential of this development. At the same time, they must heed the ethical warnings and ensure that social media are not abused or misused when crises and emergencies occur. (shrink)

Coordinated daily rhythms are evident in most aspects of our physiology, driven by internal timing systems known as circadian clocks. Our understanding of how biological clocks are built and function has grown exponentially over the past 20 years. With this has come an appreciation that disruption of the clock contributes to the pathophysiology of numerous diseases, from metabolic disease to neurological disorders to cancer. However, it remains to be determined whether it is the disruption of our rhythmic physiology per se (...) (loss of timing itself), or altered functioning of individual clock components that drive pathology. Here, we review the importance of circadian rhythms in terms of how we (and other organisms) relate to the external environment, but also in relation to how internal physiological processes are coordinated and synchronized. These issues are of increasing importance as many aspects of modern life put us in conflict with our internal clockwork. (shrink)

We give a novel approach to proving soundness and completeness for a logic (henceforth: the object-logic) that bypasses truth-in-a-model to work directly with validity. Instead of working with specific worlds in specific models, we reason with eigenworlds (i.e., generic representatives of worlds) in an arbitrary model. This reasoning is captured by a sequent calculus for a _meta_-logic (in this case, first-order classical logic) expressive enough to capture the semantics of the object-logic. Essentially, one has a calculus of validity for the (...) object-logic. The method proceeds through the perspective of reductive logic (as opposed to the more traditional paradigm of deductive logic), using the space of reductions as a medium for showing the behavioural equivalence of reduction in the sequent calculus for the object-logic and in the validity calculus. Rather than study the technique in general, we illustrate it for the logic of Bunched Implications (BI), thus IPL and MILL (without negation) are also treated. Intuitively, BI is the free combination of intuitionistic propositional logic and multiplicative intuitionistic linear logic, which renders its meta-theory is quite complex. The literature on BI contains many similar, but ultimately different, algebraic structures and satisfaction relations that either capture only fragments of the logic (albeit large ones) or have complex clauses for certain connectives (e.g., Beth’s clause for disjunction instead of Kripke’s). It is this complexity that motivates us to use BI as a case-study for this approach to semantics. (shrink)