This book introduces the reader to relevant logic and provides the subject with a philosophical interpretation. The defining feature of relevant logic is that it forces the premises of an argument to be really used in deriving its conclusion. The logic is placed in the context of possible world semantics and situation semantics, which are then applied to provide an understanding of the various logical particles and natural language conditionals. The book ends by examining various applications of relevant logic and (...) presenting some interesting open problems. It will be of interest to a range of readers including advanced students of logic, philosophical and mathematical logicians, and computer scientists. (shrink)

Typically seniors like others choose to avoid institutional care. However, when age-related infirmity requires it, they not only enter into the care of others, but they also do so as vulnerable members of society. As their frailty increases with age, so does their dependence on the professionals who care for them and on the enforcement of policies concerning their care. A qualitative case study involving seniors and their carers revealed that breaches of confidentiality, unprofessional behaviour and the non-enforcement of policy, (...) continue to hide the physical and emotional abuse perpetrated by nursing and other staff on vulnerable consumers. Professional ethics, including at a corporate level, enforcing policy, protecting whistleblowers and creating reporting mechanisms for aged care researchers, are amongst the recommendations arising from this study. (shrink)

This paper uses Avron’s algebraic semantics for the logic RMI to model some ideas in the philosophy of science. Avron’s relevant disjunctive structures are each partitioned into relevance domains. Each relevance domain is a boolean algebra. I employ this semantics to act as a formal framework to represent what Nancy Cartwright calls the “dappled world”. On the dappled world hypothesis, local scientific theories each represent restricted aspects and regions of the universe. I use relevance domains to represent the domains of (...) each of these local theories and I provide a formalisation of the salient relationships between so-called fundamental theories and local theories. I also examine ways in which the paraconsistent nature of RMI can be used to deal with inconsistencies within and between theories adopted by scientists. The paper ends with some suggestions about updating RDS given changes in the theories that science adopts. (shrink)

In this paper we discuss how Australian feminism has contributed to a better understanding of women’s economic position within Australian society. Through this analysis we seek to shed some light on the current implementation of the ‘women in business’ policy in Australia. We trace the development of this position from the early beginnings of unionism and wage centralisation through to the social change movements of the 1960s and 1970s. We then examine how the neo-liberal turn of the 1990s manifested itself (...) in a move from a focus on numerical representation of women, through Equal Employment Opportunity and Affirmative Action policies and initiatives, to one that concentrated on an individualist approach to women in business. We conclude that feminism has had its most significant impact at the level of public policy. However, recent epistemological turns in Australian feminism appear to have resulted in less attention being paid to materialist concerns, and furthermore have not been able to resolve the sameness/difference divide that continues to haunt feminist philosophy. (shrink)

The best arguments against gun control invoke moral rights—it might be good if there were fewer guns in circulation, but there is a moral right to own firearms. Rather than emphasizing the potential benefits of gun control, this paper meets the best arguments on their home turf. I argue that there simply is no moral right to keep guns on one’s person or in one’s residence. In fact, our moral rights support the mutual disarmament of citizens and police.

A theory of ersatz impossible worlds is developed to deal with the problem of counterpossible conditionals. Using only tools standardly in the toolbox of possible worlds theorists, it is shown that we can construct a model for counterpossibles. This model is a natural extension of Lewis's semantics for counterfactuals, but instead of using classical logic as its base, it uses the logic LP.

This article responds to Tim Hsiao's "The Moral Case for Gun Ownership".

Although the concept of food sovereignty is rooted in International Peasant Movements across the global south, activists have recently called for the adoption of this framework among low-income communities of color in the urban United States. This paper investigates on-the-ground processes through which food sovereignty articulates with the work of food justice and community food security activists in Oakland, California, and Seattle, Washington. In Oakland, we analyze a farmers market that seeks to connect black farmers to low-income consumers. In Seattle, (...) we attend to the experiences of displaced immigrant farmers from Latin America and their efforts to address their food needs following migration. In both cases, we find that US based projects were constrained by broader forces of neoliberalism that remained unrecognized by local activists. In Oakland, despite a desire to create a local food system led by marginalized African Americans, emphasis on providing green jobs in agriculture led activists to take a market-based approach that kept local food out of the economic grasp of food-insecure neighborhood residents. In Seattle, the marginalization of the immense agroecological knowledge of Latino/an immigrant farmers rendered local food projects less inclusive and capable of transformative change. Taken together, these very different cases suggest that a shift towards food sovereignty necessitates a broad acknowledgement of and resistance to neoliberalism. (shrink)

The quantified relevant logic RQ is given a new semantics in which a formula for all xA is true when there is some true proposition that implies all x-instantiations of A. Formulae are modelled as functions from variable-assignments to propositions, where a proposition is a set of worlds in a relevant model structure. A completeness proof is given for a basic quantificational system QR from which RQ is obtained by adding the axiom EC of 'extensional confinement': for all x(A V (...) B) -> (A V for all xB). with x not free in A. Validity of EC requires an additional model condition involving the boolean difference of propositions. A QR-model falsifying EC is constructed by forming the disjoint union of two natural arithmetical structures in which negation is interpreted by the minus operation. (shrink)

Lisa Tessman (2016: 164) recounts the case of a Jewish mother, running from Nazis, who faced a terrible choice. She could (a) drown her infant, or (b) accept the virtual certainty that her baby’s cries would doom the refugee group she was fleeing with. Given those options, (b) is worse. If the whole group is discovered, many will die, including the infant. Still, preemptively drowning a baby—indeed one’s own baby—is a terrible act. To make sense of cases like this, Tessman (...) turns to the concept of moral failure: an act that violates an important moral value such that the loss cannot be fully redeemed by gains elsewhere. I will argue that criminal justice needs a moral framework like Tessman’s. It needs to make sense of the fact that some options are genuinely better than others, without letting honorifics like ‘justice’ obscure the equally important fact the best available option might be terrible. More specifically, I will argue that when punishment involves prison, as it often does, it is a moral failure. It can be justified only in the sense that preemptively drowning an infant can be justified: like the fleeing mother, society might on some terrible occasions find itself with no better alternative. (shrink)

This Element looks at two projects that relate logic and information: the project of using logic to integrate, manipulate and interpret information and the proect of using the notion of information to provide interpretations of logical systems. The Element defines 'information' in a manner that includes misinformation and disinformation and uses this general concept of information to provide an interpretation of various paraconsistent and relevant logics. It also integrates these logics into contemporary theories of informational updating, probability theory and (rather (...) informally) some ideas from the theory of the complexity of proofs. The Element assumes some prior knowledge of modal logic and its possible world semantics, but all the other necessary background is provided. (shrink)

A logic is called 'paraconsistent' if it rejects the rule called 'ex contradictione quodlibet', according to which any conclusion follows from inconsistent premises. While logicians have proposed many technically developed paraconsistent logical systems and contemporary philosophers like Graham Priest have advanced the view that some contradictions can be true, and advocated a paraconsistent logic to deal with them, until recent times these systems have been little understood by philosophers. This book presents a comprehensive overview on paraconsistent logical systems to change (...) this situation. The book includes almost every major author currently working in the field. The papers are on the cutting edge of the literature some of which discuss current debates and others present important new ideas. The editors have avoided papers about technical details of paraconsistent logic, but instead concentrated upon works that discuss more 'big picture' ideas. Different treatments of paradoxes takes centre stage in many of the papers, but also there are several papers on how to interpret paraconistent logic and some on how it can be applied to philosophy of mathematics, the philosophy of language, and metaphysics. (shrink)

This research investigates flow experiences and explores meaning construction for artistic practices that differ in haptic nature. In addition to the phenomenological analysis of interviews, videos of artistic practice and practice-based research were employed to obtain both retrospective and real-time records of the physicality of artistic practice. Drawing on authors who emphasise the automatisation of actions in flow and heightened body awareness flow is reconceptualised in non-representational terms as optimal precognitive engagement with the world. In this light meaning in flow (...) results not from bringing order to the mind as Csikszentmihalyi proposed, but through its embodied construction in activity. Analyses revealed that the sources of enjoyment and meaning, the relationship between artist, tools and artwork, and the nature and extent of self-differentiation differ between artists who work in two and three dimensions, and whose physical actions differ in the production of their artwork. 2D artists derive enjoyment from their creative process and meaning from capturing an atmosphere or place, and attribute artistic control to their artwork. 3D artists derive more enjoyment from the product of their artistic activity and meaning from the recreation of the self in material form, and do not attribute artistic control to the artwork. Consequently, embodied physicality of activity appears fundamental to similarities in flow experiences and meaning-making: accounts of flow and the meanings generated in activity differ between activities that differ in their haptic or performative nature but are similar among haptically similar activities. (shrink)

This paper has two aims. First, it sets out an interpretation of the relevant logic E of relevant entailment based on the theory of situated inference. Second, it uses this interpretation, together with Anderson and Belnap’s natural deduc- tion system for E, to generalise E to a range of other systems of strict relevant implication. Routley–Meyer ternary relation semantics for these systems are produced and completeness theorems are proven. -/- .

Umbilical cord blood banking is one of many biomedical innovations that confront pregnant women with new choices about what they should do to secure their own and their child’s best interests. Many mothers can now choose to donate their baby’s umbilical cord blood (UCB) to a public cord blood bank or pay to store it in a private cord blood bank. Donation to a public bank is widely regarded as an altruistic act of civic responsibility. Paying to store UCB may (...) be regarded as a “unique opportunity” to provide “insurance” for the child’s future. This paper reports findings from a survey of Australian women that investigated the decision to either donate or store UCB. We conclude that mothers are faced with competing discourses that force them to choose between being a “good mother” and fulfilling their role as a “good citizen.” We discuss this finding with reference to the concept of value pluralism. (shrink)

The paper describes a computational model that we have implemented in an experimental dialogue system. Communication in a natural language between two participants A and B is considered, where A has a communicative goal that his/her partner B will make a decision to perform an action D. A argues the usefulness, pleasantness, etc. of D, in order to guide B's reasoning in a desirable direction. A computational model of argumentation is developed, which includes reasoning. Our model is based on the (...) studies in the common-sense conception of how the human mind works in such situations. Theoretical considerations are followed by an analysis of Estonian spoken human–human dialogues. First, calls of clients to travel agencies are studied where a travel agent could use various arguments in order to persuade a client to book a trip. The analysis demonstrates that clients are primarily looking for information; argumentation occurs in a small number of dialogues. Secondly, calls of s... (shrink)

This study is a major reappraisal of Virginia Woolf's relationship to Bloomsbury and the aesthetic and philosophical developments of her time. Through extensive archival research, Ann Banfield offers the first full analysis of Woolf's engagement with the theories of a remarkable trinity of thinkers: G. E. Moore, Bertrand Russell, and Roger Fry.

This book makes a timely and engaging contribution to geography’s resurgent interest in art and artistic practice, as well as to growing geographical concerns with embodied or pre-reflective experience. It introduces Eugene Gendlin’s philosophical and methodological work to stimulate geographical thinking and practice, and explores its disciplinary potential through innovative practice-based research into artistic spatial experience. Gendlin’s philosophy and techniques for articulating the pre-reflective are explained and illustrated using artists’ accounts of their practices, both retrospectively and during their practice. The (...) geographical implementation of research methods informed by those techniques is detailed and critiqued. Diverse and potentially contradictory findings, and potentially problematic methodological choices, are discussed, accounted for, and reframed through Gendlin’s ideas. Significant geographical potential within Gendlin’s work—philosophical, conceptual and methodological—is identified and described, and avenues and challenges for further investigation are highlighted. This first step towards a Gendlin-informed geography invites further engagement with his work. (shrink)

This paper contributes to the growing line of thought in bioethics that respect for autonomy should not be equated to the facilitation of individualistic self determination through standard requirements of informed consent in all healthcare contexts. The paper describes how in the context of donation for living related liver transplantation (LRLT) meaningful, responsible decision making is often embedded within family processes and its negotiation. We suggest that good donor risk communication in families promote “conscientious autonomy” and “reflective trust”. From this, (...) the paper offers the suggestion that transplant teams and other relevant professionals have to broaden their role and responsibility for risk communication beyond proper disclosure by addressing the impact of varied psychosocial conditions on risk interpretation and assessment for potential donors and family stakeholders. In conclusion, we suggest further research questions on how professional responsibility and role-taking in risk communication should be morally understood. (shrink)

Despite a constitutional and oft-stated political commitment to an undefined notion of non-racialism, South Africans continue to operate in formal and informal ways with ‘race’ as the common-sense organizing principle of legal systems, ways of thinking, social identities, constructing arguments or closing debate, organizational and mobilizing strategies, policy development and execution, and interaction in daily life. This state of affairs is regrettable and dangerous, often questioned and rejected, but objections are waged and alternatives suggested against the tide of societal trends. (...) What the organizing principle of race thinking does is to close the mind to alternative possibilities – of thought, social practice and ways of living. Here I explore an overview of racialism as it permeates and shapes the life cycles of citizens from birth to death. I make an argument for a way of thinking that is necessarily utopian, as one of few options of escaping a social world made in the image of apartheid. (shrink)

Théun takes the reader on a journey through the fascinating frontiers of the human psyche as he introduces concepts such as the twenty-one aspects of awareness, the meaning and existence of alternative worlds, as well as the intermediate teachings on stalking. Théun also uses many real-life examples, enabling the reader to experience for him or herself the value and excitement of these teachings. Shifting the focus, stepping into the unknown, and the preliminary steps in learning to align the Sorcerer's World, (...) are but a few of the techniques he explains. The book provides rich insight into the world of warriors and how they gain intellectual freedom, total personal power and spiritual joy. (shrink)

This paper uses an atomistic ontology of universals, individuals, and facts to provide a semantics for ramified type theory. It is shown that with some natural constraints on the sort of universals and facts admitted into a model, the axiom of reducibility is made valid.

There are a bewildering variety of ways the terms "realism" and "anti-realism" have been used in philosophy and furthermore the different uses of these terms are only loosely connected with one another. Rather than give a piecemeal map of this very diverse landscape, the authors focus on what they see as the core concept: realism about a particular domain is the view that there are facts or entities distinctive of that domain, and their existence and nature is in some important (...) sense objective and mind-independent. The authors carefully set out and explain the different realist and anti-realist positions and arguments that occur in five key domains: science, ethics, mathematics, modality and fictional objects. For each area the authors examine the various styles of argument in support of and against realism and anti-realism, show how these different positions and arguments arise in very different domains, evaluate their success within these fields, and draw general conclusions about these assorted strategies. Error theory, fictionalism, non-cognitivism, relativism and response-dependence are taken as the most important positions in opposition to the realist and these are explored in depth. Suitable for advanced level undergraduates, the book offers readers a clear introduction to a subject central to much contemporary work in metaphysics, epistemology and philosophy of language. (shrink)

Informational semantics were first developed as an interpretation of the model-theory of substructural (and especially relevant) logics. In this paper we argue that such a semantics is of independent value and that it should be considered as a genuine alternative explication of the notion of logical consequence alongside the traditional model-theoretical and the proof-theoretical accounts. Our starting point is the content-nonexpansion platitude which stipulates that an argument is valid iff the content of the conclusion does not exceed the combined content (...) of the premises. We show that this basic platitude can be used to characterise the extension of classical as well as non-classical consequence relations. The distinctive trait of an informational semantics is that truth-conditions are replaced by information-conditions. The latter leads to an inversion of the usual order of explanation: Considerations about logical discrimination (how finely propositions are individuated) are conceptually prior to considerations about deductive strength. Because this allows us to bypass considerations about truth, an informational semantics provides an attractive and metaphysically unencumbered account of logical consequence, non-classical logics, logical rivalry and pluralism about logical consequence. (shrink)

We show that the implicational fragment of intuitionism is the weakest logic with a non-trivial probabilistic semantics which satisfies the thesis that the probabilities of conditionals are conditional probabilities. We also show that several logics between intuitionism and classical logic also admit non-trivial probability functions which satisfy that thesis. On the other hand, we also prove that very weak assumptions concerning negation added to the core probability conditions with the restriction that probabilities of conditionals are conditional probabilities are sufficient to (...) trivialize the semantics. (shrink)