Over fifty years after Algerian independence from France, Franco-Algerian relationships and the complexities of the colonial legacy remain a key concern for many citizens in both countries. In Contesting Views, Edward Welch and Joseph McGonagle explore the significant role visual culture has had in mitigating this fraught relationship. They trace the circulation of and connections between a diverse range of still and moving images from both sides of the Mediterranean, offering a new understanding of the postcolonial experience in (...) Europe and North Africa and wider contemporary geopolitics as they play out in visual culture. (shrink)

We have conducted an experimental study of V-type electromagnetically induced transparency in sodium. Its principles are elucidated by a simple model. Measurements show decreased fluorescence and absorption depending on the detuning of the driving and probe fields, which is in agreement with the results of numerical simulation.

A business ethics practitioner and a moral theologian discuss business ethics. Drawing from value-added accounting principles, and extending them to include the company's stake-holders, especially its employees, Welch explains their significance for the origin, formation, and direction of his company's new ethics program. Primeaux responds to Welch from a perspective rooted in the economic theory of profit maximization and its ethical implications. Among the similarities in their thinking is a serious consideration of the role of profit for business (...) and business ethics. (shrink)

Die vorliegende Arbeit fokussiert erstmals die Ursprünge des zeitgenössischen Bildertheaters, welche sich bis ins ausgehende 19. Jahrhundert zurückverfolgen lassen. Das Untersuchungsfeld umfaßt einen Zeitraum von ca. fünfzig Jahren, in denen ein grundlegender kulturhistorischer Paradigmenwechsel vonstatten ging. Als ein Symptom dieses Wandels kann die allmähliche Veränderung der Funktion und Bedeutung des Optischen auf dem Theater angesehen werden, welche im Zentrum des ersten Hauptteils steht.

A provocative critique of Western attitudes about the Orient, this history examines the ways in which the West has discovered, invented, and sought to control the East from the 1700s to the present.

An enormous intellectual adventure. In this groundbreaking new book, the American biologist Edward O. Wilson, considered to be one of the world's greatest living scientists, argues for the fundamental unity of all knowledge and the need to search for consilience --the proof that everything in our world is organized in terms of a small number of fundamental natural laws that comprise the principles underlying every branch of learning. Professor Wilson, the pioneer of sociobiology and biodiversity, now once again breaks (...) out of the conventions of current thinking. He shows how and why our explosive rise in intellectual mastery of the truths of our universe has its roots in the ancient Greek concept of an intrinsic orderliness that governs our cosmos and the human species--a vision that found its apogee in the Age of Enlightenment, then gradually was lost in the increasing fragmentation and specialization of knowledge in the last two centuries. Drawing on the physical sciences and biology, anthropology, psychology, religion, philosophy, and the arts, Professor Wilson shows why the goals of the original Enlightenment are surging back to life, why they are reappearing on the very frontiers of science and humanistic scholarship, and how they are beginning to sketch themselves as the blueprint of our world as it most profoundly, elegantly, and excitingly is. (shrink)

Biophilia is Edward O. Wilson's most personal book, an evocation of his own response to nature and an eloquent statement of the conservation ethic. Wilson argues that our natural affinity for life―biophilia―is the very essence of our humanity and binds us to all other living species.

The logician Kurt Godel in 1951 established a disjunctive thesis about the scope and limits of mathematical knowledge: either the mathematical mind is equivalent to a Turing machine (i.e., a computer), or there are absolutely undecidable mathematical problems. In the second half of the twentieth century, attempts have been made to arrive at a stronger conclusion. In particular, arguments have been produced by the philosopher J.R. Lucas and by the physicist and mathematician Roger Penrose that intend to show that the (...) mathematical mind is more powerful than any computer. These arguments, and counterarguments to them, have not convinced the logical and philosophical community. The reason for this is an insufficiency if rigour in the debate. The contributions in this volume move the debate forward by formulating rigorous frameworks and formally spelling out and evaluating arguments that bear on Godel's disjunction in these frameworks. The contributions in this volume have been written by world leading experts in the field. (shrink)

• We define a notion of order of indiscernibility type of a structure by analogy with Mitchell order on measures; we use this to define a hierarchy of strong axioms of infinity defined through normal filters, the α-weakly Erdős hierarchy. The filters in this hierarchy can be seen to be generated by sets of ordinals where these indiscernibility orders on structures dominate the canonical functions.• The limit axiom of this is that of greatly Erdős and we use it to calibrate (...) some strengthenings of the Chang property, one of which, CC+, is equiconsistent with a Ramsey cardinal, and implies that where K is the core model built with non-overlapping extenders — if it is rigid, and others which are a little weaker. As one corollary we have:TheoremIf then there is an inner model with a strong cardinal. • We define an α-Jónsson hierarchy to parallel the α-Ramsey hierarchy, and show that κ being α-Jónsson implies that it is α-Ramsey in the core model. (shrink)

We describe the solution of the Limit Rule Problem of Revision Theory and discuss the philosophical consequences of the fact that the truth set of Revision Theory is a complete 1/2 set.

This paper is a culmination of our new foundations for recursive analysis through recursive topology as reported in Kalantari and Welch 125; 98 87). While in those papers we developed groundwork for an approach to point free analysis and applied recursion theory, in this paper we blend techniques of recursion theory with those of topology to establish new findings. We present several new techniques different from existing ones which yield interesting results. Incidental to our work is a unifying explanation (...) of various schools of study for recursive analysis. (shrink)

In philosophical logic necessity is usually conceived as a sentential operator rather than as a predicate. An intensional sentential operator does not allow one to express quantified statements such as 'There are necessary a posteriori propositions' or 'All laws of physics are necessary' in first-order logic in a straightforward way, while they are readily formalized if necessity is formalized by a predicate. Replacing the operator conception of necessity by the predicate conception, however, causes various problems and forces one to reject (...) many philosophical accounts involving necessity that are based on the use of operator modal logic. We argue that the expressive power of the predicate account can be restored if a truth predicate is added to the language of first-order modal logic, because the predicate 'is necessary' can then be replaced by 'is necessarily true'. We prove a result showing that this substitution is technically feasible. To this end we provide partial possible-worlds semantics for the language with a predicate of necessity and perform the reduction of necessities to necessary truths. The technique applies also to many other intensional notions that have been analysed by means of modal operators. (shrink)

In this imaginative and comprehensive study, Edward Casey, one of the most incisive interpreters of the Continental philosophical tradition, offers a philosophical history of the evolving conceptualizations of place and space in Western thought. Not merely a presentation of the ideas of other philosophers, _The Fate of Place_ is acutely sensitive to silences, absences, and missed opportunities in the complex history of philosophical approaches to space and place. A central theme is the increasing neglect of place in favor of (...) space from the seventh century A.D. onward, amounting to the virtual exclusion of place by the end of the eighteenth century. Casey begins with mythological and religious creation stories and the theories of Plato and Aristotle and then explores the heritage of Neoplatonic, medieval, and Renaissance speculations about space. He presents an impressive history of the birth of modern spatial conceptions in the writings of Newton, Descartes, Leibniz, and Kant and delineates the evolution of twentieth-century phenomenological approaches in the work of Husserl, Merleau-Ponty, Bachelard, and Heidegger. In the book's final section, Casey explores the postmodern theories of Foucault, Derrida, Tschumi, Deleuze and Guattari, and Irigaray. (shrink)

If □ is conceived as an operator, i.e., an expression that gives applied to a formula another formula, the expressive power of the language is severely restricted when compared to a language where □ is conceived as a predicate, i.e., an expression that yields a formula if it is applied to a term. This consideration favours the predicate approach. The predicate view, however, is threatened mainly by two problems: Some obvious predicate systems are inconsistent, and possible-worlds semantics for predicates of (...) sentences has not been developed very far. By introducing possible-worlds semantics for the language of arithmetic plus the unary predicate □, we tackle both problems. Given a frame (W, R) consisting of a set W of worlds and a binary relation R on W, we investigate whether we can interpret □ at every world in such a way that □ $\ulcorner A \ulcorner$ holds at a world ᵆ ∊ W if and only if A holds at every world $\upsilon$ ∊ W such that ᵆR $\upsilon$ . The arithmetical vocabulary is interpreted by the standard model at every world. Several 'paradoxes' (like Montague's Theorem, Gödel's Second Incompleteness Theorem, McGee's Theorem on the ω-inconsistency of certain truth theories, etc.) show that many frames, e.g., reflexive frames, do not allow for such an interpretation. We present sufficient and necessary conditions for the existence of a suitable interpretation of □ at any world. Sound and complete semi-formal systems, corresponding to the modal systems K and K4, for the class of all possible-worlds models for predicates and all transitive possible-worlds models are presented. We apply our account also to nonstandard models of arithmetic and other languages than the language of arithmetic. (shrink)

In this imaginative and comprehensive study, Edward Casey, one of the most incisive interpreters of the Continental philosophical tradition, offers a philosophical history of the evolving conceptualizations of place and space in Western thought. Not merely a presentation of the ideas of other philosophers, _The Fate of Place_ is acutely sensitive to silences, absences, and missed opportunities in the complex history of philosophical approaches to space and place. A central theme is the increasing neglect of place in favor of (...) space from the seventh century A.D. onward, amounting to the virtual exclusion of place by the end of the eighteenth century. Casey begins with mythological and religious creation stories and the theories of Plato and Aristotle and then explores the heritage of Neoplatonic, medieval, and Renaissance speculations about space. He presents an impressive history of the birth of modern spatial conceptions in the writings of Newton, Descartes, Leibniz, and Kant and delineates the evolution of twentieth-century phenomenological approaches in the work of Husserl, Merleau-Ponty, Bachelard, and Heidegger. In the book's final section, Casey explores the postmodern theories of Foucault, Derrida, Tschumi, Deleuze and Guattari, and Irigaray. (shrink)

Axiomatic set theory is the concern of this book. More particularly, the authors prove results about the coding of models M, of Zermelo-Fraenkel set theory together with the Generalized Continuum Hypothesis by using a class 'forcing' construction. By this method they extend M to another model L[a] with the same properties. L[a] is Gödels universe of 'constructible' sets L, together with a set of integers a which code all the cardinality and cofinality structure of M. Some applications are also considered. (...) Graduate students and research workers in set theory and logic will be especially interested by this account. (shrink)

We investigate and classify the notion of final derivability of two basic inconsistency-adaptive logics. Specifically, the maximal complexity of the set of final consequences of decidable sets of premises formulated in the language of propositional logic is described. Our results show that taking the consequences of a decidable propositional theory is a complicated operation. The set of final consequences according to either the Reliability Calculus or the Minimal Abnormality Calculus of a decidable propositional premise set is in general undecidable, and (...) can be -complete. These classifications are exact. For first order theories even finite sets of premises can generate such consequence sets in either calculus. (shrink)

Modern scientific theories of emotional behavior, almost without exception, trace their origin to Charles Darwin, and his publications On the Origin of Species (1859) and The Expression of the Emotions in Man and Animals (1872). The most famous evolutionary dilemma Darwin acknowledged as a challenge to his theory of natural selection was the incomplete sub Cambrian fossil record. However, Darwin struggled with two other rarely referenced theoretical and scientific dilemmas that confounded his theories about emotional behavior. These included (1) the (...) origin of social instincts (e.g., altruism, empathy, reciprocity and cooperation) and the reasons for their conservation in evolution and (2) the peripheral control of heart rate vis-a-vis emotional behavior outside of consciousness. Darwin acknowledged that social instincts are critical to the survival of some species, but had difficulty aligning them with his theory of natural selection in humans. Darwin eventually proposed that heart rate and emotions are controlled via one’s intellect and cortical mechanisms, and that instinctive behavior is genetically-programmed and inherited. Despite ongoing efforts, these two theoretical dilemmas are debated to this day. Simple testable hypotheses have yet to emerge for the biological mechanisms underlying instinctive behavior or the way heart rate is controlled in infants. In this paper, we review attempts to resolve ¬these issues over the past 160 years. We posit that research and theories that supported Darwin’s individualistic brain-centric and genetic model have become an “orthodox” Western view of emotional behavior, one that produced the prevailing behavioral construct of attachment as developed by John Bowlby. We trace research and theories that challenged this orthodoxy at various times, and show how these challenges were repeatedly overlooked, rejected, or misinterpreted. We review two new testable theories, emotional connection theory and calming cycle theory, which we argue resolve the two dilemmas We show emerging scientific evidence from physiology and a wide variety of other fields, as well from clinical trials among prematurely born infants, that supports the two theories. Clinical implications of the new theories and possible new ways to assess risk and intervene in emotional, behavioral and developmental disorders are discussed. (shrink)

In this paper we continue our work of Kalantari and Welch . There we introduced machinery to produce a point-free approach to points and functions on topological spaces and found conditions for both which lend themselves to effectivization. While we studied recursive points in that paper, here, we present two useful classes of recursive functions on topological spaces, apply them to the reals, and find precise accounting for the nature of the properties of some examples that exist in the (...) literature. We end with a construction of a recursive function on a small subset of the unit interval which is strongly nonextendible. (shrink)

This book investigates the phenomenological ways that dance choreographing and dance performance exemplify both Truth and meaning-making within Native American epistemology, from an analytic philosophical perspective. Given that within Native American communities dance is regarded both as an integral cultural conduit and “a doorway to a powerful wisdom,” Shay Welch argues that dance and dancing can both create and communicate knowledge. She explains that dance—as a form of oral, narrative storytelling—has the power to communicate knowledge of beliefs and histories, (...) and that dance is a form of embodied narrative storytelling. Welch provides analytic clarity on how this happens, what conditions are required for it to succeed, and how dance can satisfy the relational and ethical facets of Native epistemology. (shrink)

Discusses Indian Buddhist philosophy in three phases of its development.

Since James defined emotion as consciousness of bodily reactions and Cannon and others detailed the nature of these reactions, there has been an increasing tendency among behaviorists to equate emotions with visceral reactions and to neglect some of the genetic and adaptive aspects of emotion which had been discussed by Darwin.

The Infinite Time Turing Machine model [8] of Hamkins and Kidder is, in an essential sense, a "Σ₂-machine" in that it uses a Σ₂ Liminf Rule to determine cell values at limit stages of time. We give a generalisation of these machines with an appropriate Σ n rule. Such machines either halt or enter an infinite loop by stage ζ(n) = df μζ(n)[∃Σ(n) > ζ(n) L ζ(n) ≺ Σn L Σ(n) ], again generalising precisely the ITTM case. The collection of (...) such machines taken together computes precisely those reals of the least model of analysis. (shrink)

It is shown that the determinacy of $G_{\delta \sigma }$ games of length $\omega ^2$ is equivalent to the existence of a transitive model of ${\mathsf {KP}} + {\mathsf {AD}} + \Pi _1\textrm {-MI}_{\mathbb {R}}$ containing $\mathbb {R}$. Here, $\Pi _1\textrm {-MI}_{\mathbb {R}}$ is the axiom asserting that every monotone $\Pi _1$ operator on the real numbers has an inductive fixpoint.

After defining a standard modal language and semantics, we offer some clear examples of logical and analytic truths that are not necessary. These examples: (a) are far simpler than the ones cited in the literature, (b) show that a popular conception of logical truth in modal languages is incorrect, and (c) show that there are contingent truths knowable ``a priori'' that do not depend on fixing the reference of a term.

In this paper I am going to try to indicate my notion concerning the nature and subject-matter of psychology. I am a behaviorist. I hold that psychology does not seek descriptions and intercommunications concerning immediate experience per se. Such descriptions and attempts at direct intercommunications may be left to the arts and to metaphysics. Psychology seeks, rather, the objectively stateable laws and processes governing behavior. Organisms, human and sub-human, come up against environmental stimulus situations and to these stimulus situations they, (...) after longer or shorter intervals of time, behave. The laws and processes determining this their behavior are stateable in objective terms. Even in the cases where the organism is oneself, these determining causal factors can and must—for the purposes of psychology—be stated objectively. It is true that in these latter instances, in which the animal in question is oneself, one may in one's rôle, not of a psychologist, but of an artist or a metaphysician, attempt to describe and convey to another man one's own facts of immediate experience. But such a description and report of immediate experiences, except in so far as this report is itself a form of behavior and therefore like all other behaviors the basis for an investigation of the objective laws and processes underlying it, essentially new to the picture. Experience qua experience, while of concern and interest to the man in the street, the philosopher and the poet, does not enter as such into the laws and equations of psychology,—in so far, at any rate, as psychology is to be considered as a science. (shrink)

First published in 2000. Routledge is an imprint of Taylor & Francis, an informa company.

We give the proof of a theorem of Jensen and Zeman on the existence of a global □ sequence in the Core Model below a measurable cardinal κ of Mitchell order ) equal to κ++, and use it to prove the following theorem on mutual stationarity at n.Let ω1 denote the first uncountable cardinal of V and set to be the class of ordinals of cofinality ω1.TheoremIf every sequence n m. In particular, there is such a model in which for (...) all sufficiently large m<ω, the class of measurables λ with oM≥ωm is, in V, stationary below m+2. (shrink)

In this paper we develop a point-free approach to the study of topological spaces and functions on them, establish platforms for both and present some findings on recursive points. In the first sections of the paper, we obtain conditions under which our approach leads to the generation of ideal objects with which mathematicians work. Next, we apply the effective version of our approach to the real numbers, and make exact connections to the classical approach to recursive reals. In the succeeding (...) sections of the paper, we introduce machinery to produce functions on topological spaces and find succinct conditions which will be effectivized in our sequel. (shrink)