Corruption in business is as old as business itself. Corruption exists to some extent in all cultures, under all market systems and in all countries. The objectives of this paper are not to stand in judgement or to consider moral issues. This article considers the findings of a study concerning managerial attitudes towards corruption in business. The methodology involves a number of scenarios which could be construed as being deviant or dishonest. These are presented to respondents. Respondents are then asked (...) questions regarding each situation. The findings were interesting. While the sample in general condemned corruption and corruptive practices, the perceived participation by the peer group was higher than one would have expected. The findings of a more comprehensive study of a similar nature should be meaningful to corporate policy in this regard, not only in respect of corruption, but also when decisions have to be made regarding the receipt of gifts. (shrink)

This work is the product of several years of intense study of the various aspects of Kant's work, and the attempt to provide insights for students both with respect to the details of the Kantian system, and into the development and implications of the system as a whole. During that time many individuals have contributed to its ultimate formulation, and I would like to express my appreciation at least to the more generous contributors. For a careful reading of the manuscript (...) in its earlier forms, and suggestions which helped in many ways to improve the work and to crystalize its thesis, I would like to thank Professors Wilbur Long, A. C. Ewing, and Richard Bosley. For their interest and encouragement in the later stages of the project, I must thank Professor Lewis White Beck, and the many students who have taken my Kant seminar at the University of Alberta, especially Mr. Dieter Hartmetz. And finally, 1 acknowledge with pleasure my longstanding debt to Professor William H. Werkmeister for his years of critical advice and encouragement. Perhaps only Kant and my wife have contributed more to my philosophic development. Acknowledgment must also be made of the permission kindly granted by various publishers for the use of material from the following works under their copyright. Kant's Critique of Practical Reason, translated by Lewis White Beck (copyright 1956, by The Liberal Arts Press, Inc. (shrink)

Afferent feedback can appreciably alter the pharyngeal phase of swallow. In order to measure the stability of the swallow motor pattern during several types of alterations in afferent feedback, we assessed swallow during a conventional water challenge in four anesthetized cats, and compared that to swallows induced by fixed (20 Hz) and stochastic (1-20Hz) electrical stimulation applied to the superior laryngeal nerve. The swallow motor patterns were evaluated by electromyographic activity (EMG) of eight muscles, based on their functional significance: laryngeal (...) elevators (mylohyoid, geniohyoid, and thyrohyoid); laryngeal adductor (thyroarytenoid); inferior pharyngeal constrictor (thyropharyngeus); upper esophageal sphincter (cricopharyngeus); and inspiratory activity (parasternal and costal diaphragm). Both the fixed and stochastic electrical stimulation paradigms increased activity of the laryngeal elevators, produced short-term facilitation evidenced by increasing swallow durations over the stimulus period, and conversely inhibited swallow-related diaphragm activity. Both the fixed and stochastic stimulus conditions also increased specific EMG amplitudes, which never occurred with the water challenges. Stochastic stimulation increased swallow excitability, as measured by an increase in the number of swallows produced. Consistent with our previous results, changes in the swallow motor pattern for pairs of muscles were only sometimes correlated with each other. We conclude that alterations in afferent feedback produced particular variations of the swallow motor pattern. We hypothesize that specific SLN feedback might modulate the swallow central pattern generator during aberrant feeding conditions (food/liquid entering the airway), which may protect the airway and serve as potentially important clinical diagnostic indicators. (shrink)

In Dirac-Bergmann constrained dynamics, a first-class constraint typically does not _alone_ generate a gauge transformation. By direct calculation it is found that each first-class constraint in Maxwell's theory generates a change in the electric field E by an arbitrary gradient, spoiling Gauss's law. The secondary first-class constraint p^i,_i=0 still holds, but being a function of derivatives of momenta, it is not directly about E. Only a special combination of the two first-class constraints, the Anderson-Bergmann -Castellani gauge generator G, leaves E (...) unchanged. This problem is avoided if one uses a first-class constraint as the generator of a _canonical transformation_; but that partly strips the canonical coordinates of physical meaning as electromagnetic potentials and makes the electric field depend on the smearing function, bad behavior illustrating the wisdom of the Anderson-Bergmann Lagrangian orientation of interesting canonical transformations. The need to keep gauge-invariant the relation dot{q}- dH/dp= -E_i -p^i=0 supports using the primary Hamiltonian rather than the extended Hamiltonian. The results extend the Lagrangian-oriented reforms of Castellani, Sugano, Pons, Salisbury, Shepley, _etc._ by showing the inequivalence of the extended Hamiltonian to the primary Hamiltonian even for _observables_, properly construed in the sense implying empirical equivalence. Dirac and others have noticed the arbitrary velocities multiplying the primary constraints outside the canonical Hamiltonian while apparently overlooking the corresponding arbitrary coordinates multiplying the secondary constraints _inside_ the canonical Hamiltonian, and so wrongly ascribed the gauge quality to the primaries alone, not the primary-secondary team G. Hence the Dirac conjecture about secondary first-class constraints rests upon a false presupposition. The usual concept of Dirac observables should also be modified to employ the gauge generator G, not the first-class constraints separately, so that the Hamiltonian observables become equivalent to the Lagrangian ones such as the electromagnetic field F. (shrink)

A panoramic collection of ninety photographs captures the spirit of people at work and play along the Illinois River, as well as the quiet beauty of the flora and fauna that make the river a natural retreat.

Two decades of research using repeated false statements and underhanded information have shown that people can easily be made to believe that they have seen or experienced something they never did. In this paper, we discuss the possibility that the mental health professional and client may unknowingly collaborate to create a client′s false memory of childhood sexual abuse. Both therapist and client bring beliefs into therapy, and the confirmation bias shows that people discover what they already believe to be true. (...) What do people believe about memory? We asked 115 students for their reactions to various statements about how memory works; results showed widespread belief in the repression mechanism. A principal components analysis revealed that three larger beliefs explained 61% of the variance in the more specific beliefs: possible sources of memory distortions, memory for traumatic events, and the potential recoverability of memories. Finally, we discuss the ambiguity inherent in the term repression, as well as the generalizability of misinformation research to the repressed and recovered memories. (shrink)

This article considers claims that biology should seek general theories similar to those found in physics but argues for an alternative framework for biological theories as collections of prototypical interlevel models that can be extrapolated by analogy to different organisms. This position is exemplified in the development of the Hodgkin‐Huxley giant squid model for action potentials, which uses equations in specialized ways. This model is viewed as an “emergent unifier.” Such unifiers, which require various simplifications, involve the types of heuristics (...) discussed in Wimsatt’s writings on reduction, but with a twist. Here, the heuristics are used to generate emergent rather than reductive explanations. †To contact the author, please write to: Department of History and Philosophy of Science, University of Pittsburgh, 1017 Cathedral of Learning, Pittsburgh, PA 15260; e‐mail: kfs@pitt.edu. (shrink)

The Jola are intensive wet-rice cultivators in the Lower Casamance region of Senegal. In this study, the author examines the reasons behind startling contrasts in the organization of agricultural tasks among three Jola communities located within a 45-kilometre radius from Ziguinchor. In Sambujat, situated in the non-Islamisized region south of the river, wet rice is a monocrop cultivated by both men and women. In Jipalom, in the Kajamutay region north of the river, Islam and cash cropping have been adopted; and (...) in Fatiya, in the so-called 'Mandingized' region of the Kalunay, social relations have become hierarchical and this has had profound effects on the cropping system and on the division of labour. The author examines the shift of power relations over time, and their effects on the way in which production has been organized by age and gender, kin and class. Larger issues dealt with are Islamization, women's labour and the introduction of cash cropping. A concluding section places the history of Jola labour relations within the context of the political economy of Senegal. (shrink)

Integrating the preservation of cultural heritage with the development of tourism is essential for fostering sustainable economic growth and honoring historical and cultural values. This abstract outlines the pivotal findings from an action research project in an urban setting within the Yangtze River Delta region, emphasizing the role of market innovation and the strategic use of emerging technologies to align cultural heritage conservation with tourism economic growth. The project was approached through a multifaceted methodology, including a literature review, field research, (...) and qualitative data analysis. The research adopted a proactive methodology, harnessing Virtual Reality (VR) and Augmented Reality (AR) to significantly boost visitor engagement and educational enrichment. Integral to the project's strategy was the active inclusion of the community and an educational framework that underscored the collaborative development of knowledge, valuing local perspectives. The implementation of these technologies facilitated immersive experiences, leading to a substantial increase in tourist satisfaction and an enhanced awareness of cultural heritage among residents, suggesting a symbiotic dynamic between preservation efforts and development. Despite the study's regional focus, which presents limitations in the generalizability of the findings, the results underscore the necessity for expanded research. There is a clear need to examine the intricate interplay between technological optimization and conservation strategies within a variety of cultural and geographical contexts. The insights garnered from this study contribute meaningfully to the field of sustainable cultural heritage tourism, suggesting avenues for future exploration and practical application. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:THE DOMINICAN SCHOOL OF SALAMANCA AND THE SPANISH CONQUEST OF AMERICA: SOME BIBLIOGRAPHICAL NOTES THOMAS F. O'MEARA. O.P. University of Notre Dame Notre Dame, Indiana SALAMANCA, northwest of Madrid and Avila and not far from Spain's border with Portugal, preserves the atmosphere of a medieval, Renaissance, and Baroque university even as it develops the schools and clinics of a contemporary center of studies. There are associations with Teresa of (...) Avila, who spent the night there just after her reform was approved by Rome, with the young Cervantes, with Luis de Leon and Ignatius Loyola, and with John of the Cross, who was a student there. A bridge from the time of Trajan spans the river Tormes, and the Romanesque cathedral still reserves a chapel for the Mozarabic rite. The University of Salamanca The city brings to mind sixteenth century Dominicans like Francisco de Vitoria, often called the founder of international law, and Domingo Bafiez, confessor to Teresa of Avila. The Order of Friars Preachers, however, came to Salamanca in 1222 at the same time that Dominic's missions were taking root in·Paris and Bologna; the friars founded a priory and soon a school under the patronage of St. Stephen (San Esteban). The " Dominican School of Salamanca " means formally the line of great theologians reaching from Diego de Deza at the end of the fifteenth century to Tomas de Lemos, a main protagonist in Rome in 1607 in the controversy over grace entitled De Auxiliis. Today, after seven and a half centuries of existence, the Salamancan SSS 556 THOMAS F. o'MEARA, O.P. Dominicans remain a vital community, active m teaching, research and publishing. My attention was directed to the Dominicans at Salamanca by two volumes of essays reporting on congresses concerning the "Dominicans and the Discovery of the New World." My interest was not church history but the history of theologies of how grace might exist outside of explicit faith and sacramental baptism. The following report is a bibliographical survey of recent research on a theological era and school. Focusing on the thought of the theologians stimulated by the experiences of the missionaries in the Indies, it treats the Dominicans during the first decades after the voyages of Columbus. In the 1480s, as it entered its golden age, the University of Salamanca had a hundred professors and almost 7000 students. University records begin late, but they show that in 1546/47, one hundred thirty-four Dominicans were studying at the university, and in 1598/99, eighty. J. L. Espinel has written. a historical guide to the Dominican buildings and institutions.1 The great period of the Dominican school at the University began with Diego de Deza ( 1480-1486), professor and archbishop of Seville, and Matias de Paz (1518-1519), a professor of Scripture. Francisco de Vitoria (1526-1546) and Domingo de Soto (15321549 ) were its most gifted thinkers, but the school's achievements continued with Melchior Cano (1546-1552), Juan de la Pefia (1561-1565) and Domingo Banez (1581-1604). These t San Esteban de Salamanca, Historia y Gufa, Siglos, XIII-XX (Salamanca: Editorial San Esteban, 1978); see also R. Hernandez, "Convento y estudio de San Esteban," La Universidad de Salamanca (Salamanca: Universidad, 1989), pp. 369ff.; A. Martin Melquiades, "La Escuela de teologia de Salamanca," Atti del Congresso internazionale, Tommaso d'Aquino nel suo settimo centenario, Tommaso d'Aquino nella storia del pensiero, 1 :2 (Naples: Edizione Domenicane Italiane, 1975), pp. 242ff. A Salamancan Dominican of the 1930s, Vicente Beltran de Heredia, pioneered research in the history of the university and in the writings of the Dominican speculative masters. His writings can be found in past issues of Ciencia Tomista (CT), and some of his books and several recent collections of his most important essays are available from Editorial San Esteban. Similarly initial research in the United States can be found in the writings of Lewis Hanke. SALAMANCA AND THE SPANISH CONQUEST 557 are joined by lesser figures like Pedro de Sotomayor (15601564 ), Mancia de Corpus Christi (1564-1576), and Bartolome de Medina (1576-1581). The occupants of the chair in theology of the liturgical hour of prime from Vitoria in 1526 to Bafiez's... (shrink)

Accumulating evidence suggests that different magnitudes (e.g., number, size, and duration) are spatialized in the mind according to a common left–right metric, consistent with a generalized system for representing magnitude. A previous study conducted by two of us (Holmes & Lourenco, ) provided evidence that this metric extends to the processing of emotional magnitude, or the intensity of emotion expressed in faces. Recently, however, Pitt and Casasanto () showed that the earlier effects may have been driven by a left–right (...) mapping of mouth size rather than emotional magnitude, and they found no evidence for an emotional magnitude mapping when using words as stimuli. Here, we report two new experiments that further examine these conclusions. In Experiment 1, using face stimuli with mouths occluded, we replicate the original finding: Less emotional faces were associated with the left and more emotional faces with the right. However, we also find that people can reliably infer the sizes of the occluded mouths, and that these inferred mouth sizes can explain the observed left–right mapping. In Experiment 2, we show that comparative judgments of emotional words yield a left–right mapping of emotional magnitude not attributable to stimulus confounds. Based on these findings, we concur with Pitt and Casasanto that faces pose challenges for isolating the forces driving spatialization, but we suggest that emotional magnitude, when assessed using unconfounded stimuli in a sufficiently sensitive task, may indeed be spatialized as originally proposed. Suggestions for further research on the spatialization of emotional magnitude are discussed. (shrink)

Back in the 1980's I was a River Forest Thomist, eager to show that Thomas's debt to Aristotle on fundamental metaphysical issues was deep. And what's more deep than creation?

Between 1942 and the late 1950s, atomic piles (nuclear chain-reactors) were industrialized, initially to generate plutonium for the first atomic weapons and later to serve as copious sources of neutrons, radioisotopes and electrical power. These facilities entrained a new breed of engineering specialist adept at designing, operating and maintaining them. From the beginning, large companies supplied the engineering labor for this new technology, and played an important role in defining the nature of their nuclear expertise. In the USA, the most (...) influential company of the period was DuPont, which assumed responsibility for the first plutonium production reactors at Oak Ridge TN and Hanford WA between 1942-6, and of the postwar production facilities at Savannah River SC 1950-87. This paper explores the transition of authority from so-called “atomic scientists” to nuclear engineers at these sites, and the role played by DuPont in consolidating this new technical profession. (shrink)

Communities of nuclear workers have evolved in distinctive contexts. During the Manhattan Project the UK, USA and Canada collectively developed the first reactors, isotope separation plants and atomic bombs and, in the process, nurtured distinct cadres of specialist workers. Their later workplaces were often inherited from wartime facilities, or built anew at isolated locations. For a decade, nuclear specialists were segregated and cossetted to gestate practical expertise. At Oak Ridge Tennessee, for example, the informal ‘Clinch College of Nuclear Knowledge’ aimed (...) to industrialise the use of radioactive materials. ‘We were like children in a toy factory’, said its Director: ‘everyone could play the game of designing new nuclear power piles’. His counterpart at Chalk River, Ontario headed a project ‘completely Canadian in every respect’, while the head of the British project chose the remote Dounreay site in northern Scotland because of design uncertainties in the experimental breeder reactor. With the decline of secrecy during the mid-1950s, the hidden specialists lauded as ‘atomic scientists’ gradually became visible as new breeds of engineers, technologists and technicians responsible for nuclear reactors and power plants. Mutated by their different political contexts, occupational categories, labour affiliations, professional representations and popular depictions, their activities were disputed by distinct audiences. This chapter examines the changing identities of nuclear specialists and the significance of their secure sites. Shaped successively by Cold War secrecy, commercial competition and terrorist threats, nuclear energy remained out of site for wider publics and most nuclear specialists alike. The distinctive episodes reveal the changing working experiences of technical workers in late-twentieth and early twenty-first century environments. (shrink)

Since current water governance patterns mandate cooperation and partnership within and between the actors in the hydrosystems, supplementary models are necessary to distinguish the roles and the rules of indoor actions which is why we extend a theory in the frameworks of philosophy of technology. This analysis is empirically grounded on the problematic hydrosystems of a river in central Iran, Zayandehrud. Following a modernist-holistic-based analysis, it illustrates how values in the water apportionment mechanisms are being reshaped. The article by using (...) the theory of normative practice has scrutinised the tasks and the rules of the old and new water-management systems, Mirab. Subsequently according to such philosophical theory, it has argued that the conflicts over the cases are due to interference of structural and directional norms within them. (shrink)

This paper takes the case of the proposed building of the Traveston dam on the Mary River in Australia to examine the ways postcolonial power relations are played out in city/regional relationships to further the interests of the city. Postcolonialism is concerned with unravelling multiple histories of colonialism, and identifying the reproduction, contestation, ambivalence and transformation of modes of domination and subordination in colonial relations. Political contingencies and contestations by residents, farmers, traditional Indigenous owners and environmentalists seeking to protect endangered (...) species are examined to highlight the dominance of Western anthropocentric, technocentric, and eurocentric epistemologies in political, ecological, environmental, biotheical debates. (shrink)

Ever since The Origin of Species, but increasingly in recent years, parallels and analogies have been drawn between biological and cultural evolution, and methods, concepts, and theories that have been developed in evolutionary biology have been used to explain aspects of human cultural change (e.g., Muller 1870; Darwin [1871] 2003; Pitt-Rivers 1875; James 1880; Huxley 1955; Gerard et al. 1956; Campbell 1975; Cavalli-Sforza and Feldman 1981; Durham 1992; Henrich and McElreath 2003; Mesoudi et al. 2004, 2006; Boyd and (...) Richerson 2005; Richerson and Boyd 2005). Many others, however, while accepting the need for some form of evolutionary approach to culture, have consistently emphasized the differences between biological and cultural evolution (e.g., Gabora 2004; Sperber and Claidiere 2006; Tëmkin and Eldredge 2007), with these differences often presented as being problematic for existing evolutionary analyses of culture. Here I argue that this is largely a false debate, given that its protagonists agree on the majority of key points. Apparent disagreement may stem partly from simple differences in emphasis, and partly from the diversity of both biological and cultural evolutionary processes. (shrink)

This article imagines an alternative outcome to Hegel’s life-and-death struggle for recognition, one commensurate with Derrida’s critique of Hegel’s allegedly reserved negativity. Rather than pro-ducing lord and bondsman, the struggle is shown to be capable of producing a host and a guest, operating under the relation of hos-pitality. Pitt-Rivers’s reinterpretation of Boas’s classic ethnographic account of Inuit hospitality provides a model for the emergence of the alternative outcome. Derrida’s equation of deconstruction with hospitality illustrates its fundamental differences from (...) Hegelian dialectics, expanding the significance of the struggle and its out-comes to the meaning of Hegel’s philosophy as a whole. (shrink)

"Time and the Museum: Literature, Phenomenology, and the Production of Radical Temporality, is the first explicit in-depth study of the nature of museum temporality. It argues as its departure point that the way in which museums have hitherto been understood as temporal in the scholarship - as spaces of death, othering, memory and history - is too simplistic, and has resulted in museum temporality being reduced to a strange heterotopia (Foucault) - something peculiar, and thus black boxed. However, to understand (...) the ways in which museum temporalities and timescapes are produced, and the consequences that these have upon display and visitor response, is crucial, because time is itself a political entity, with ethical consequence. Time and the Museum highlights something we all experience in some way - time - as a key ethical and political feature of the museum space. Utilizing the fields of literature and phenomenology, the book examines how time is experienced and performed in the public areas of three museum spaces within Oxford - the Ashmolean, Pitt Rivers, and Oxford University Museum of Natural History. Using concepts such as shape, structure, form, presence, absence, authenticity and aura, the book argues for a reconsideration of museum time as something with radical potential and political weight. It will appeal to academics and post"--. (shrink)

Historians of the eugenics movement have long been ambivalent in their examination of the links between British hereditary researchers and Nazi Germany. While there is now a clear consensus that American eugenics provided significant material and ideological support for the Germans, the evidence remains less clear in the British case where comparatively few figures openly supported the Nazi regime and the left-wing critique of eugenics remained particularly strong. After the Second World War British eugenicists had to push back against the (...) accusation that their science was intrinsically dictatorial or totalitarian and, as a result, many of their early perceptions of the Nazis were ignored or rationalised away. Further, historians in recent years have focused more directly on the social reformist elements of eugenics, discussing the links between hereditary science and the birth control and feminist movements in addition to others. While undoubtedly making valuable contributions to the scholarly understanding of the eugenic milieu in the interwar years, these studies have neglected to recontextualize the sentiments of British eugenicists who did indeed view the Nazi government positively in the early years of the 1930s. This article argues that there was a significant, though not numerically sizable, faction in the British eugenics movement, though mostly outside the Eugenics Society itself, in the early 1930s that viewed the Nazi Germany as an admirable state for its implementation of eugenic principles. One of these figures was later interned by his own government for being too closely aligned with the German regime, though he argued that this affinity was driven by the quest for scientific truth rather than politics. Eugenics in Britain thus contained a greater diversity of views toward Germany than scholars have previously assumed, warranting more research into the individuals and organizations harbouring these views. (shrink)

The everydayness of benders reflecting the physical properties of their elements reminds the authors of the work of the late Jicarilla Apache philosopher V.F. Cordova. Cordova describes “bounded space” as a land base defined by geographic features such as mountains, rivers, deserts, lakes, oceans, and canyons. At the beginning of each Avatar: the Last Airbender ( ATLA ) episode, the audience is reminded: “Long ago, the four nations lived together in harmony”. The sequence shows four individuals bending the water, (...) earth, fire, and air elements. The specific bounded spaces of the respective nations are reflected in their people and their benders. The ATLA universe provides narratives that point to Indigenous intergenerational ways of knowing. Within the ATLA universe, the authors witness regular connections with the spirit realm or spirit world. Many Indigenous scholars have explored these connections to the “spirit world” as understood in ATLA. (shrink)

This paper responds to the issues raised by D. Chalmers by offering a research direction which is quite radical because of the way in which methodological principles are linked to scientific studies of consciousness. Neuro-phenomenology is the name I use here to designate a quest to marry modern cognitive science and a disciplined approach to human experience, thereby placing myself in the lineage of the continental tradition of Phenomenology. My claim is that the so-called hard problem that animates these Special (...) Issues can only be addressed productively by gathering a research community armed with new pragmatic tools for the development of a science of consciousness. I will claim that no piecemeal empirical correlates, nor purely theoretical principles, will really help us at this stage. We need to turn to a systematic exploration of the only link between mind and consciousness that seems both obvious and natural: the structure of human experience itself. In what follows I motivate my choice by briefly examining the current debate about consciousness at the light of Chalmer’s hard problem. Next, I outline the phenomenological strategy. Finally I conclude by discussing some of the main difficulties and consequences of this strategy. (shrink)

In Polish historiography on radio in the Stalinist period, the official propaganda broadcast by Polish Radio is very often juxtaposed with the free and unbiased broadcasting of Radio Free Europe (RFE), which can create the impression that RFE was the only source of information in Poland and tends to diminish the importance of Polish Radio. In fact, both broadcasting institutions were crucial players in Cold War warfare, which was described by George F. Kennan in terms of Clausewitz's “fog of war.” (...) Indeed, both RFE and Polish Radio were listening to each other through the Iron Curtain because “white propaganda” (along with the intelligence obtained from political refugees) was one of the most important sources of information. The two broadcasting stations were more alike than we are willing to admit. For instance, the Polish section of RFE mimicked the post-war strategy of Polish Radio. While the latter pretended to be the continuation and successor of the pre-war institution, RFE's propaganda shaped the programme of Polish Radio for many years. Using this case study on RFE's attitude toward Poland's western borders along the Odra and Nysa Rivers, I show how these two opposing broadcasting stations functioned within an endless propaganda feedback loop. (shrink)

Bioethical Prescriptions collects F.M. Kamm's articles on bioethics -- revised for publication in book form -- which have appeared over the last 25 years and which have made her among the most widely-respected philosophers working in this field.

A definition is given for formulae $A_1,\ldots,A_n$ in some theory $T$ which is formalized in a propositional calculus $S$ to be (in)dependent with respect to $S$. It is shown that, for intuitionistic propositional logic $\mathbf{IPC}$, dependency (with respect to $\mathbf{IPC}$ itself) is decidable. This is an almost immediate consequence of Pitts' uniform interpolation theorem for $\mathbf{IPC}$. A reasonably simple infinite sequence of $\mathbf{IPC}$-formulae $F_n(p, q)$ is given such that $\mathbf{IPC}$-formulae $A$ and $B$ are dependent if and only if at least (...) on the $F_n(A, B)$ is provable. (shrink)