Proof nets provide abstract counterparts to sequent proofs modulo rule permutations; the idea being that if two proofs have the same underlying proof-net, they are in essence the same proof. Providing a convincing proof-net counterpart to proofs in the classical sequent calculus is thus an important step in understanding classical sequent calculus proofs. By convincing, we mean that there should be a canonical function from sequent proofs to proof nets, it should be possible to check the correctness of a net (...) in polynomial time, every correct net should be obtainable from a sequent calculus proof, and there should be a cut-elimination procedure which preserves correctness.Previous attempts to give proof-net-like objects for propositional classical logic have failed at least one of the above conditions. In Richard McKinley [22], the author presented a calculus of proof nets satisfying and ; the paper defined a sequent calculus corresponding to expansion nets but gave no explicit demonstration of . That sequent calculus, called LK⁎LK⁎ in this paper, is a novel one-sided sequent calculus with both additively and multiplicatively formulated disjunction rules. In this paper [22]), we give a full proof of for expansion nets with respect to LK⁎LK⁎, and in addition give a cut-elimination procedure internal to expansion nets – this makes expansion nets the first notion of proof-net for classical logic satisfying all four criteria. (shrink)

McKinley, Diana; Webber, Ruth This paper is an ecclesial study of the baptismal response of twenty-three Catholics between the ages of twenty-one and forty-one, from six Catholic dioceses across Australia. The study was undertaken between 2008 and 2010. The purpose of the study was to investigate how committed Catholics from Generation X (born 1961-1975) and Generation Y (born 1976-1990) came to faith, and why they continued to practise their Catholic faith, despite falling Mass attendance generally. An unexpected result of (...) the study was the strong link made by the participants between their identity as a person and their baptismal call as a Catholic. It became evident that there were four distinct but interacting aspects of how they saw their identity as Catholics. (shrink)

Primordial emotions are the subjective element of the instincts which are the genetically programmed behaviour patterns which contrive homeostasis. They include thirst, hunger for air, hunger for food, pain and hunger for specific minerals etc.There are two constituents of a primordial emotion—the specific sensation which when severe may be imperious, and the compelling intention for gratification by a consummatory act. They may dominate the stream of consciousness, and can have plenipotentiary power over behaviour.It is hypothesized that early in animal evolution (...) complex reflex mechanisms in the basal brain subserving homeostatic responses, in concert with elements of the reticular activating system subserving arousal, melded functionally with regions embodied in the progressive rostral development of the telencephalon. This included the emergent limbic and paralimbic areas, and the insula. This phylogenetically ancient organization subserved the origin of consciousness as the primordial emotion, which signalled that the organisms existence was immediately threatened. Neuroimaging confirms major activations in regions of the basal brain during primordial emotions in humans. The behaviour of decorticate humans and animals is discussed in relation to the possible existence of primitive awareness.Neuroimaging of the primordial emotions reveals that rapid gratification of intention by a consummatory act such as ingestion causes precipitate decline of both the initiating sensation and the intention. There is contemporaneous rapid disappearance of particular regions of brain activation which suggests they may be part of the jointly sufficient and severally necessary activations and deactivations which correlate with consciousness [Crick, F. & Koch, C. . A framework for consciousness. NatureNeuroscience,6, 119–126]. (shrink)

The societal and ethical impacts of emerging technological and business systems cannot entirely be foreseen; therefore, management of these innovations will require at least some ethicists to work closely with researchers. This is particularly critical in the development of new systems because the maximum degrees of freedom for changing technological direction occurs at or just after the point of breakthrough; that is also the point where the long-term implications are hardest to visualize. Recent work on shared expertise in Science & (...) Technology Studies (STS) can help create productive collaborations among scientists, engineers, ethicists and other stakeholders as these new systems are designed and implemented. But collaboration across these disciplines will be successful only if scientists, engineers, and ethicists can communicate meaningfully with each other. The establishment of a trading zone coupled with moral imagination present one method for such collaborative communication. (shrink)

Patricia De Martelaere was a Belgian author, philosopher, and practitioner of shadowboxing. She wrote an inspiring little book on Taoism that stresses the physical, energetic, and martial aspects of its practice. This paper elaborates upon three central ideas from her work, turns them into a direction that she did not envision, and applies them to a critical-historical interpretation of the Taoist texts that she elaborates upon: an active way of non-knowing, the awareness of a shared ground, and the intellectual (...) fertility resulting from this approach. By occasionally putting aside certain assumptions from contemporary research on early Chinese Taoist philosophers - with respect to books, authors, philosophical consistency, schools, etc. - we can offer alternative accounts to the now dominant forms of interpretation. This approach does not take a position in favor of or against the existence or importance of such entities as “books‘, “philosophers‘, or “schools‘ in pre-imperial China. Nor does it promote an alternative for the dominant narratives. It simply allows for a degree of openness with respect to these narratives, thereby allowing for greater nuance that is at risk of being suffocated in the current context of academic philosophy. (shrink)

Critical Race Theory (C.R.T.) has developed out of a deep dissatisfaction that many black legal scholars in the U.S. felt with liberal civil rights discourse, a discourse premised upon the ideals of assimilation, ‘colour-blindness’ and integration. In addition, the emergence of the Critical Legal Studies movement provided Critical Race theorists with an innovative lexicon and practice which allowed them to develop a critique of traditional race analysis and U.S. law. Patricia Williams has played a key role in the formation (...) of the C.R.T. movement and is concerned with many of the C.R.T. themes: the understanding that traditional civil rights law has benefited whites more than blacks, the ‘call to context’, and the critique of liberalism by the assertion that racism is routine and not aberrational. Following the C.R.T. belief that form and substance are connected, Williams has also extended the boundaries of another C.R.T. theme by (largely) eschewing the conventional genre of legal writing in much of her work, including her two books, The Alchemy of Race and Rights and The Rooster's Egg. This was one of the issues Williams discussed in an interview that commenced when she visited Britain in 1997 to deliver the Reith Lectures. (shrink)

An imperfect duty such as the duty to aid those in need is supposed to leave leeway for choice as to how to satisfy it, but if our reason for a certain way of satisfying it is our strongest, that leeway would seem to be eliminated. This paper defends a conception of practical reasons designed to preserve it, without slighting the binding force of moral requirements, though it allows us to discount certain moral reasons. Only reasons that offer criticism of (...) alternatives can yield requirements, but our reasons for particular ways of satisfying imperfect duties merely count in favor of the acts in question. When the state is authorized to take over charitable obligations, it should not be seen as enforcing fulfillment of our imperfect duties, but rather as forcing us to help fulfill collective duties that may be substantially modified by transfer to the state, replacing imperfect duties with perfect. Besides the cost to us in freedom of choice there is a moral cost to replacing the virtuous motives of charity with those that tend to accompany paying taxes. However, a compensating feature of state involvement is the fact that its more precise demands come with limits. (shrink)

The ethical ‘eye’ of nursing, that is, the particular moral vision and values inherent in nursing work, is constrained by the preoccupations and practices of the superordinate biomedical structure in which nursing as a practice discipline is embedded. The intimate, situated knowledge of particular persons who construct and attach meaning to their health experience in the presence of and with the active participation of the nurse, is the knowledge that provides the evidence for nurses’ ethical decision making. It is largely (...) invisible to all but other nurses. Two nurse researchers, Joan Liaschenko of the University of Minnesota and Patricia Rodney of the University of Victoria, have investigated the ethical concerns of practising nurses and noted in their separate enquiries the invisible nature of critical aspects of nursing work. Noting the similarities in their respective observations, and with the feminist ethics of Margaret Urban Walker as a theoretical framework, this article examines the concept of ‘invisibility’ as it relates to nursing work and nursing ethics. (shrink)

La colección Revuelta Filosófica nos propone un retorno a pensadores que se pusieron por encima del orden filosófico establecido. Por esto mismo no nos sorprende que Kierkegaard esté en esta colección, y más bien decimos que no podía dejar de asistir a la reunión. Fiel a su pensamiento, Kierkegaard le pone el cuerpo, la pluma y el alma a sus escritos, en los cuales la literatura se entrelaza con la filosofía, y la psicología se vuelve un teatro en el que (...) uno tras otro aparecen figuras, pseudónimos y personajes que enmascaran el rostro del autor a través de la ironía. ¿Quién se encarga de darle voz a Kierkegaard? Patricia Dip, quien le ha dedicado gran parte de su vida académica a estudiar al danés, no puede ser mejor compañía. La autora presenta a Kierkegaard en dos dimensiones, la literaria y la filosófica, donde lo distintivo es la máscara, rasgo que le permiten ubicar al pensador danés entre los teóricos contemporáneos de la ideología, es decir Marx, Nietzsche y Freud. El escenario, 255 páginas, divididas en un estudio preliminar, selección de fuentes y bibliografía de referencia. El estudio preliminar del libro cuenta con cuatro apartados en los cuales la autora recorre tópicos fundamentales del pensamiento kierkegaardiano. (shrink)

I argue that Patricia Kitcher's Kant-inspired account of self-consciousness overintellectualizes the requirements for rational cognition. Kitcher claims that a person can only believe something on the ground of another belief if she is able to recognize the grounding belief as grounding the first belief and as one of her own. I criticize this claim by arguing that (i) someone can believe something for a certain reason without recognizing this reason as a reason (the possibility of unreflected reasons), and that (...) (ii) she can recognize something as a reason for something else without being able to self-ascribe either her original belief or the belief that grounds it (the possibility of reflected but not self-conscious reasons). (shrink)

There are now quite a number of popular or semi-popular works urging rejection of the old opposition between rationality and emotion. They present evidence or theoretical arguments that favour a reconception of emotions as providing an indispensable basis for practical rationality. Perhaps the most influential is neuroanatomist Antonio Damasio's Descartes' Error, which argues from cases of brain lesion and other neurological causes of emotional deficit that some sort of emotional ‘marking,’ of memories of the outcomes of our choices with anxiety, (...) is needed to support learning from experience. (shrink)

Los años 80 han atraido, en los últimos tiempos, una serie de miradas nostálgicas, sobre todo hacia su música. Lejos de esa atmósfera está “ El Canto Nuevo de Chile. Un Legado Musical ”, de Patricia Díaz-Inostroza.Por el contrario, se trata de una investigación que, si bien está centrada en el movimiento llamado Canto Nuevo, abarca mucho más que eso, dejando en claro las profundas raíces históricas que afirman este tipo de música. Ese es un aporte innegable, que permite (...) al lector (o lectora) .. (shrink)

(2011). Theory in Health Promotion Research and Practice: Thinking outside the Box. Patricia Goodson. Boston, MA: Jones and Bartlett. 2010. 245, pp. $78.95. Educational Studies: Vol. 47, No. 6, pp. 583-588.

A core thesis of Kitcher's is that thinking about objects requires awareness of necessary connections between one's object-directed representations ‘as such’ and that this is what Kant means by the transcendental unity of apperception. I argue that Kant's main point is the spontaneity or ‘self-made-ness’ of combination rather than the requirement of reflexive awareness of combination, that Kitcher provides no plausible account of how recognition of representations ‘as such’ should be constituted and that in fact Kant himself appears to lack (...) the theoretical resources to clearly distinguish between consciousness and self-consciousness or apperception properly so-called. (shrink)

This review describes central difficulties in the interdisciplinary study of dreaming, summarizes Jouvet's account of his role in the history of modern dream science, queries his positive speculations on the semantics of dreaming, and suggests work for historians of neuroscience.