We provide a Hilbert-style axiomatization of the logic of , as well as a two-dimensional semantics with respect to which our logics are sound and complete. Our completeness results are quite general, pertaining to all such actuality logics that extend a normal and canonical modal basis. We also show that our logics have the strong finite model property and permit straightforward first-order extensions.

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)

The need for ethical leadership in navigating today’s complex, global and competitive organisations has been established. While research has confirmed the importance of ethical leaders in promoting positive organisational and employee outcomes, scant research has examined the antecedents of ethical leadership. Furthermore, there has been a call for further examination of leadership models, particularly indigenous leadership models. Responding to these issues, this study suggests Māori leaders’ values add insights into enhancing ethical leadership. Three studies confirm the role of Māori values (...) and ethical leadership. Study one, based on kaupapa Māori research methods, is an exploratory 22-interview study of Māori leaders and identifies five values, as common to successful indigenous leaders. In study two, 249 employees rate their leaders on these five dimensions in relation to their ethical leadership and exchange relationships. Structural equation modelling shows strong support for the distinct nature of the five values and their positive influence on ethical leadership perceptions and quality exchange relationships. Study three, on 122 employees, reinforces the findings of study two—and demonstrates that LMX predicts job outcomes both indirectly and directly, with humility and collectivism also directly predicting outcomes. Our findings suggest that indigenous leaders’ values enhance perceptions and outcomes of ethical leadership for employees. (shrink)

Edwin Mares seeks to make the standard topics and current debates within a priori knowledge, including necessity and certainty, rationalism, empiricism and analyticity, Quine's attack on the a priori, Kantianism, Aristotelianism, mathematical knowledge, moral knowledge, logical knowledge, and philosophical knowledge, accessible to students.

One of the most dominant approaches to semantics for relevant (and many paraconsistent) logics is the Routley-Meyer semantics involving a ternary relation on points. To some (many?), this ternary relation has seemed like a technical trick devoid of an intuitively appealing philosophical story that connects it up with conditionality in general. In this paper, we respond to this worry by providing three different philosophical accounts of the ternary relation that correspond to three conceptions of conditionality. We close by briefly discussing (...) a general conception of conditionality that may unify the three given conceptions. (shrink)

A monosexual configuration of sexuality assumes that sexual desire is directed at either men or women. Bisexuality resists a choice between oppositional categories and is often theorised as having a transgressive potential to destabilise binary logic, not only in relation to sexuality but also to gender. There is, however, a lack of empirical work exploring how this potential might be realised in the accounts of bisexual individuals. Drawing on interviews with South African bisexual women, we use a narrative-discursive lens to (...) examine the discursive resources employed by participants to trouble or resist hetero-gendered norms. Our findings demonstrate how resistance to the gender binary hinges on citational politics that are fundamentally gendered and linked to sexuality. Instead of entirely destabilising hetero-gendered norms, participants draw on gendered scripts that simultaneously expand norms to accommodate their sexual difference and, through processes of othering, function to reiterate hetero-gendered norms. While complete subversion of gender binaries is not possible in participants’ discursive contexts, what does occur is a ‘slow bending’ of norms. Theorising bisexuality as transgressing oppositional categories closes off opportunities to interrogate the pervasive influence of gender binaries in contexts that remain marked by pervasive heteronormativity and heterosexism. Significantly, it also obscures more modest improvisations of gender scripts that hold potential for destabilising gender binaries. (shrink)

Based on a psychobiographical approach, this study addresses magical thinking across the life span of Paulo Coelho. Paulo Coelho, who was born in Brazil in the 1940s, has become one of the most sold and famous contemporary authors in the world. In his life, as well as in his books, which are mainly autobiographical accounts, magic and magical thinking, spirituality, meaningfulness, and the living of one’s dream, are key themes. The aim of this study was to explore magic and magical (...) thinking in Paulo Coelho’s life and creative works. The study uses a psychobiographical single case study approach within the methodological frame of Husserl’s phenomenology. The author, Paulo Coelho, was chosen as the subject of research. Documents providing both first person and third person perspectives were subjected to content analysis. The findings show that magical thinking played an important role in Coelho’s creative works and in his life, in the form, for example, of ascriptions of magic to key situations in his life, the performance of daily rituals, mystic interpretations of life events, and his deep religious faith. Magical thinking is usually regarded as indicative of pathological and inappropriate cognitive and psychological behaviour, especially when found in adults in a westernised culture. However, the analysis of Coelho’s life and works shows that magical thinking can be utilised creatively and be integrated into one’s life to enable personal development and growth while simultaneously providing fertile ground for creative production. In Paulo Coelho’s case, the intertwining of religion and magical thinking provided deep meaning that guided his personal development. (shrink)

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)

Part of the appeal of the biological approach to personal identity is that it does not have to countenance spatially coincident entities. But if the termination thesis is correct and the organism ceases to exist at death, then it appears that the corpse is a dead body that earlier was a living body and distinct from but spatially coincident with the organism. If the organism is identified with the body, then the unwelcome spatial coincidence could perhaps be avoided. It is (...) argued that such an identification would be a mistake. A living organism has a different part/whole relationship and persistence conditions than the alleged body. A case will be made that the concept ‘human body’ is a conceptual mess, vague in an unprincipled manner, and that an eliminativist stance towards dead bodies is the appropriate response. CiteULike Connotea Del.icio.us What's this? (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)

As a continuation of the work of the third author in [5], we make further observations on the features of Galois cohomology in the general model theoretic context. We make explicit the connection between forms of definable groups and first cohomology sets with coefficients in a suitable automorphism group. We then use a method of twisting cohomology (inspired by Serre’s algebraic twisting) to describe arbitrary fibres in cohomology sequences—yielding a useful “finiteness” result on cohomology sets. Applied to the special case (...) of differential fields and Kolchin’s constrained cohomology, we complete results from [3] by proving that the first constrained cohomology set of a differential algebraic group over a bounded, differentially large, field is countable. (shrink)

This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This work was reproduced from the original artifact, and remains as true to the original work as possible. Therefore, you will see the original copyright references, library stamps (as most of these works have been housed in our most important libraries around the world), and other notations in the work. This work is in the public domain (...) in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work.As a reproduction of a historical artifact, this work may contain missing or blurred pages, poor pictures, errant marks, etc. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and made generally available to the public. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant. (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 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.

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)

In this classic work David Bohm, writing clearly and without technical jargon, develops a theory of quantum physics which treats the totality of existence as an unbroken whole.

Oxford Philosophical Texts Series Editor: John Cottingham The Oxford Philosophical Texts series consists of authoritative teaching editions of canonical texts in the history of philosophy from the ancient world down to modern times. Each volume provides a clear, well laid out text together with a comprehensive introduction by a leading specialist, giving the student detailed critical guidance on the intellectual context of the work and the structure and philosophical importance of the main arguments. Endnotes are supplied which provide further commentary (...) on the arguments and explain unfamiliar references and terminology, and a full bibliography and index are also included. The series aims to build up a definitive corpus of key texts in the Western philosophical tradition, which will form a reliable and enduring resource for students and teachers alike. David Hume's aim in writing An Enquiry concerning Human Understanding was to introduce his philosophy to a European culture in which many educated people read original works of philosophy. He gives an elegant and accessible presentation of strikingly original and challenging views about the limited powers of human understanding, the attractions of scepticism, the compatibility of free will and determinism, and weaknesses in the foundations of religion. Hume's philosophy was highly controversial in the eighteenth century and remains so today. The text printed in this edition is that of the Clarendon critical edition of Hume's works. A substantial introduction by the editor explains the intellectual background to the work and surveys its main themes. The volume also includes detailed explanatory notes on the text, a glossary of terms, a full list of references, and a section of supplementary readings. (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)