A considerable body of evidence now documents, beyond reasonable doubt, biological and health risk factors for crime and violence. Nevertheless, intervention and prevention efforts with offenders have avoided biological interventions, in part due to past misuses of biological research and the challenges that biological predispositions to crime raise. This article reviews the empirical literature on two biological intervention approaches, omega-3 supplementation and transcranial direct current stimulation. Emerging research on these relatively benign interventions suggests that increased omega-3 intake through dietary intervention (...) and prefrontal upregulation using non-invasive brain stimulation may show some initial promise in reducing antisocial behavior. The ethical issues related to mandated and offered biological interventions within the criminal justice system are discussed. (shrink)

Previous empirical research has found mixed results for the impact of corporate social responsibility (CSR) investments on corporate financial performance (CFP). This paper contributes to the literature by exploring in a two stage investor decision-making model the relationship between a firm’s innovation effort, CSR, and financial performance. We simultaneously examine the impact of CSR on both accounting-based (financial health) and market-based (Tobin’s Q) financial performance measures. From a sample of top corporate citizens, we find that: (1) a firm’s social responsibility (...) commitment (CSR) contributes to its financial performance; (2) after controlling for investment in innovation activities, CSR continues to have a positive impact on a firm’s financial performance; (3) the customer dimension of CSR has a positive effect on both CFP measures, whereas the employee dimension indicates a significant impact only on financial heath; and (4) the community relation dimension of CSR only affects the market-based CFP measure of firms with high innovation intensity. (shrink)

This book introduces an important group of logics that have come to be known under the umbrella term 'susbstructural'. Substructural logics have independently led to significant developments in philosophy, computing and linguistics. _An Introduction to Substrucural Logics_ is the first book to systematically survey the new results and the significant impact that this class of logics has had on a wide range of fields.The following topics are covered: * Proof Theory * Propositional Structures * Frames * Decidability * Coda Both (...) students and professors of philosophy, computing, linguistics, and mathematics will find this to be an important addition to their reading. (shrink)

Our topic is the notion of logical consequence: the link between premises and conclusions, the glue that holds together deductively valid argument. How can we understand this relation between premises and conclusions? It seems that any account begs questions. Painting with very broad brushtrokes, we can sketch the landscape of disagreement like this: “Realists” prefer an analysis of logical consequence in terms of the preservation of truth [29]. “Anti-realists” take this to be unhelpful and o:er alternative analyses. Some, like Dummett, (...) look to preservation of warrant to assert [9, 36]. Others, like Brandom [5], take inference as primitive, and analyse other notions in terms of it. There is plenty of disagreement on the “realist” side of the fence too. It is one thing to argue that logical consequence involves preservation of truth. It is another to explain how far truth must be preserved. Is the preservation essentially modal (in all circumstances [25]) or analytic (vouchsafed by.. (shrink)

Consequence is at the heart of logic; an account of consequence, of what follows from what, offers a vital tool in the evaluation of arguments. Since philosophy itself proceeds by way of argument and inference, a clear view of what logical consequence amounts to is of central importance to the whole discipline. In this book JC Beall and Greg Restall present and defend what thay call logical pluralism, the view that there is more than one genuine deductive consequence relation, (...) a position which has profound implications for many linguists as well as for philosophers. We should not search for one true logic, since there are many. (shrink)

Beall and Restall’s Logical Pluralism (2006) characterises pluralism about logical consequence in terms of the different ways cases can be selected in the analysis of logical consequence as preservation of truth over a class of cases. This is not the only way to understand or to motivate pluralism about logical consequence. Here, I will examine pluralism about logical consequence in terms of different standards of proof. We will focus on sequent derivations for classical logic, imposing two different restrictions on classical (...) derivations to produce derivations for intuitionistic logic and for dual intuitionistic logic. The result is another way to understand the manner in which we can have different consequence relations in the same language. Furthermore, the proof-theoretic perspective gives us a different explanation of how the one concept of negation can have three different truth conditions, those in classical, intuitionistic and dual-intuitionistic models. (shrink)

It is argued that the English bare plural (an NP with plural head that lacks a determiner), in spite of its apparently diverse possibilities of interpretation, is optimally represented in the grammar as a unified phenomenon. The chief distinction to be dealt with is that between the generic use of the bare plural (as in Dogs bark) and its existential or indefinite plural use (as in He threw oranges at Alice). The difference between these uses is not to be accounted (...) for by an ambiguity in the NP itself, but rather by explicating how the context of the sentence acts on the bare plural to give rise to this distinction. A brief analysis is sketched in which bare plurals are treated in all instances as proper names of kinds of things. A subsidiary argument is that the null determiner is not to be regarded as the plural of the indefinite article a. (shrink)

In this paper I urge friends of truth-value gaps and truth-value gluts – proponents of paracomplete and paraconsistent logics – to consider theories not merely as sets of sentences, but as pairs of sets of sentences, or what I call ‘bitheories,’ which keep track not only of what holds according to the theory, but also what fails to hold according to the theory. I explain the connection between bitheories, sequents, and the speech acts of assertion and denial. I illustrate the (...) usefulness of bitheories by showing how they make available a technique for characterising different theories while abstracting away from logical vocabulary such as connectives or quanti- fiers, thereby making theoretical commitments independent of the choice of this or that particular non-classical logic. (shrink)

Paraconsistent logics are often semantically motivated by considering "impossible worlds." Lewis, in "Logic for equivocators," has shown how we can understand paraconsistent logics by attributing equivocation of meanings to inconsistent believers. In this paper I show that we can understand paraconsistent logics without attributing such equivocation. Impossible worlds are simply sets of possible worlds, and inconsistent believers (inconsistently) believe that things are like each of the worlds in the set. I show that this account gives a sound and complete semantics (...) for Priest's paraconsistent logic LP, which uses materials any modal logician has at hand. (shrink)

Combining phenomenological insights from Brentano and Sartre, but also drawing on recent work on consciousness by analytic philosophers, this book defends the view that conscious states are reflexive, and necessarily so, i.e., that they have a built-in, implicit awareness of their own occurrence, such that the subject of a conscious state has an immediate, non-objectual acquaintance with it. As part of this investigation, the book also explores the relationship between reflexivity and the phenomenal, or what-it-is-like, dimension of conscious experience, defending (...) the innovative thesis that phenomenal character is constituted by the implicit self-awareness built into every conscious state. This account stands in marked contrast to most influential extant theories of phenomenal character, including qualia theories, according to which phenomenal character is a matter of having phenomenal sensations, and representationalism, according to which phenomenal character is constituted by representational content. (shrink)

This paper examines the contents of the codes of ethics of 83 of the top 500 companies operating in the private sector in Australia in an attempt to discover whether there are national characteristics that differentiate the codes used by companies operating in Australia from codes used by companies operating in the American and Canadian systems. The studies that were used as a comparison were Mathews (1987) for the United States of America and Lefebvre and Singh (1992) for Canada. The (...) major conclusion is that, whilst Australian codes do have some characteristics that differentiate them from the other two groups, it appears that companies in all three cultures are driven by the same motives to develop codes. (shrink)

Should organ transplants be given to patients who have waited the longest, or need it most urgently, or those whose survival prospects are the best? The rationing of health care is universal and inevitable, taking place in poor and affluent countries, in publicly funded and private health care systems. Someone must budget for as well as dispense health care whilst aging populations severely stretch the availability of resources. The Ethics of Health Care Rationing is a clear and much-needed introduction to (...) this increasingly important topic, considering and assessing the major ethical problems and dilemmas about the allocation, scarcity and rationing of health care. Beginning with a helpful overview of why rationing is an ethical problem, the authors examine the following key topics: What is the value of health? How can it be measured? What does it mean that a treatment is "good value for money"? What sort of distributive principles - utilitarian, egalitarian or prioritarian - should we rely on when thinking about health care rationing? Does rationing health care unfairly discriminate against the elderly and people with disabilities? Should patients be held responsible for their health? Why does the debate on responsibility for health lead to issues about socioeconomic status and social inequality? Throughout the book, examples from the US, UK and other countries are used to illustrate the ethical issues at stake. Additional features such as chapter summaries, annotated further reading and discussion questions make this an ideal starting point for students new to the subject, not only in philosophy but also in closely related fields such as politics, health economics, public health, medicine, nursing and social work. (shrink)

The two-dimensional modal logic of Davies and Humberstone [3] is an important aid to our understanding the relationship between actuality, necessity and a priori knowability. I show how a cut-free hypersequent calculus for 2D modal logic not only captures the logic precisely, but may be used to address issues in the epistemology and metaphysics of our modal concepts. I will explain how the use of our concepts motivates the inference rules of the sequent calculus, and then show that the completeness (...) of the calculus for Davies–Humberstone models explains why those concepts have the structure described by those models. The result is yet another application of the completeness theorem. (shrink)

In this paper, I distinguish different kinds of pluralism about logical consequence. In particular, I distinguish the pluralism about logic arising from Carnap’s Principle of Tolerance from a pluralism which maintains that there are different, equally “good” logical consequence relations on the one language. I will argue that this second form of pluralism does more justice to the contemporary state of logical theory and practice than does Carnap’s more moderate pluralism.

In his classic 1936 essay "On the Concept of Logical Consequence", Alfred Tarski used the notion of satisfaction to give a semantic characterization of the logical properties. Tarski is generally credited with introducing the model-theoretic characterization of the logical properties familiar to us today. However, in his book, The Concept of Logical Consequence, Etchemendy argues that Tarski's account is inadequate for quite a number of reasons, and is actually incompatible with the standard model-theoretic account. Many of his criticisms are meant (...) to apply to the model-theoretic account as well. In this paper, I discuss the following four critical charges that Etchemendy makes against Tarski and his account of the logical properties: (1) (a) Tarski's account of logical consequence diverges from the standard model-theoretic account at points where the latter account gets it right. (b) Tarski's account cannot be brought into line with the model-theoretic account, because the two are fundamentally incompatible. (2) There are simple counterexamples (enumerated by Etchemendy) which show that Tarski's account is wrong. (3) Tarski committed a modal fallacy when arguing that his account captures our pre-theoretical concept of logical consequence, and so obscured an essential weakness of the account. (4) Tarski's account depends on there being a distinction between the "logical terms" and the "non-logical terms" of a language, but (according to Etchemendy) there are very simple (even first-order) languages for which no such distinction can be made. Etchemendy's critique raises historical and philosophical questions about important foundational work. However, Etchemendy is mistaken about each of these central criticisms. In the course of justifying that claim, I give a sustained explication and defense of Tarski's account. Moreover, since I will argue that Tarski's account and the model theoretic account really do come to the same thing, my subsequent defense of Tarski's account against Etchemendy's other attacks doubles as a defense against criticisms that would apply equally to the familiar model-theoretic account of the logical properties. (shrink)

In this paper I introduce a sequent system for the propositional modal logic S5. Derivations of valid sequents in the system are shown to correspond to proofs in a novel natural deduction system of circuit proofs (reminiscient of proofnets in linear logic, or multiple-conclusion calculi for classical logic). -/- The sequent derivations and proofnets are both simple extensions of sequents and proofnets for classical propositional logic, in which the new machinery—to take account of the modal vocabulary—is directly motivated in terms (...) of the simple, universal Kripke semantics for S5. The sequent system is cut-free and the circuit proofs are normalising. (shrink)

Carruthers offers a refreshing piece of “substantive philosophy.” Going beyond the limitations of pure analysis, he adopts a methodology which is one part analysis, one part empirical data, and a heavy dose of inference to the best explanation. The overarching goal is to advance the commonsense—yet unfashionable—thesis that natural language is the primary medium of thought, and to defend the related cognitive conception of NL. In particular, Carruthers argues that imaginative phonological representations of “inner speech” are constitutive of conscious thoughts, (...) and that thinking involves operations on such symbols. While there is still a role for mentalese cognition, such thinking is always unconscious, and probably of limited innate conceptual resources. The weak thesis is that, of natural necessity, all conscious propositional thought requires NL. The strong thesis is that, of natural necessity, distinctively human thoughts can only be tokened in natural language—hence even much of our unconscious thinking occurs in English. (shrink)

Recent allegations of unethical decision-making by leaders in prominent business organizations have jeopardized the world’s confidence in American business. The purpose of this research was to develop a measure of managerial moral judgment that can be used in future research and managerial assessment. The measure was patterned after the Defining Issues Test, a widely used general measure of moral judgment. With content validity as the goal, we aimed to sample the domain of managerial ethical situations by establishing links to dimensions (...) of managerial performance, as well as to the types of organizational justice issues managers encounter. Proposed scenarios were evaluated for realism by ethics officers and human resource managers. Results indicated that the new measure is reliable and correlates with a number of relevant variables in the hypothesized manner, demonstrating evidence of construct validity. Implications for future research and for human resources management are discussed. (shrink)

I present an account of truth values for classical logic, intuitionistic logic, and the modal logic S5, in which truth values are not a fundamental category from which the logic is defined, but rather, an idealisation of more fundamental logical features in the proof theory for each system. The result is not a new set of semantic structures, but a new understanding of how the existing semantic structures may be understood in terms of a more fundamental notion of logical consequence.

Consequence is at the heart of logic; an account of consequence, of what follows from what, offers a vital tool in the evaluation of arguments. Since philosophy itself proceeds by way of argument and inference, a clear view of what logical consequence amounts to is of central importance to the whole discipline. In this book JC Beall and Greg Restall present and defend what thay call logical pluralism, the view that there is more than one genuine deductive consequence relation, (...) a position which has profound implications for many linguists as well as for philosophers. We should not search for one true logic, since there are many. (shrink)

In an attempt to determine the epistemic status of computer simulation results, philosophers of science have recently explored the similarities and differences between computer simulations and experiments. One question that arises is whether and, if so, when, simulation results constitute novel empirical data. It is often supposed that computer simulation results could never be empirical or novel because simulations never interact with their targets, and cannot go beyond their programming. This paper argues against this position by examining whether, and under (...) what conditions, the features of empiricality and novelty could be displayed by computer simulation data. I show that, to the extent that certain familiar measurement results have these features, so can some computer simulation results. (shrink)

In early 2017, Nevada amended its Uniform Determination of Death Act, in order to clarify the neurologic criteria for the determination of death. The amendments stipulate that a determination of death is a clinical decision that does not require familial consent and that the appropriate standard for determining neurologic death is the American Academy of Neurology’s guidelines. Once a physician makes such a determination of death, the Nevada amendments require the withdrawal of life-sustaining treatment within twenty-four hours with limited exceptions. (...) Neurologists have generally supported Nevada’s amendments for clarifying the diagnostic standard and limiting the ability of family members to challenge it. However, it is more appropriate to view the Nevada amendments with concern. Even though the primary purpose of the UDDA is to ensure that all functions of a person’s entire brain have ceased, the AAN guidelines do not accurately assess this. In addition, by characterizing the determination of death as solely a clinical decision, the Nevada legislature has improperly ignored the doctrine of informed consent, as well as the beliefs of particular faiths and cultures that reject brain death. Rather than resolving controversies regarding brain death determinations, the Nevada amendments may instead instigate numerous constitutional challenges. (shrink)

In the near future developments in non-invasive prenatal testing may soon provide couples with the opportunity to test for and diagnose a much broader range of heritable and congenital conditions than has previously been possible. Inevitably, this has prompted much ethical debate on the possible implications of NIPT for providing couples with opportunities for reproductive choice by way of routine prenatal screening. In view of the possibility to test for a significantly broader range of genetic conditions with NIPT, the European (...) Society of Human Genetics and American Society of Human Genetics recommend that, pending further debate, prenatal screening for reproductive choice should only be offered where concerning serious congenital conditions and childhood disorders. In support of this recommendation, the ESHG and ASHG discuss a number of ethical issues on which they prompt further debate: the informational privacy of the future child, the trivialization of abortion, the risk of information overload, and issues of distributive justice. This paper responds to this call with further reflection on each ethical issue and how it relates to the moral justification of providing couples with opportunities for meaningful reproductive choice. The paper concludes that whilst there may be good reasons for qualifying the scope of any unsolicited prenatal screening offer to serious congenital conditions and childhood disorders, if prenatal screening is justified for providing couples with opportunities for meaningful reproductive choice, then health services may have obligations to empower couples with the same opportunity where concerning other conditions. (shrink)

This paper continues the work of Priest and Sylvan in Simplified Semantics for Basic Relevant Logics, a paper on the simplified semantics of relevant logics, such as B⁺ and B. We show that the simplified semantics can also be used for a large number of extensions of the positive base logic B⁺, and then add the dualising '*' operator to model negation. This semantics is then used to give conservative extension results for Boolean negation.

A logic is said to be contraction free if the rule from A→(A→B) to A→B is not truth preserving. It is well known that a logic has to be contraction free for it to support a non-trivial naïve theory of sets or of truth. What is not so well known is that if there is another contracting implication expressible in the language, the logic still cannot support such a naïve theory. A logic is said to be robustly contraction free if (...) there is no such operator expressible in its language. We show that a large class of finitely valued logics are each not robustly contraction free, and demonstrate that some other contraction free logics fail to be robustly contraction free. Finally, the sublogics of Łω (with the standard connectives) are shown to be robustly contraction free. (shrink)

I present a new proof of the likelihood principle that avoids two responses to a well-known proof due to Birnbaum. I also respond to arguments that Birnbaum’s proof is fallacious, which if correct could be adapted to this new proof. On the other hand, I urge caution in interpreting proofs of the likelihood principle as arguments against the use of frequentist statistical methods. 1 Introduction2 The New Proof3 How the New Proof Addresses Proposals to Restrict Birnbaum’s Premises4 A Response to (...) Arguments that the Proofs Are Fallacious5 Conclusion. (shrink)

The stock market crash of 1987 had a profound effect on corporate Australia and the Australian community in general. The fall-out revealed that some of our most respected business figures had not been as ethical, or even as lawful, as we would have hoped. This impropriety produced in Australia an awakening to business ethics. Whilst many companies endeavoured to introduce ethical practices into their corporations, they perceived ethics as a way of minimising damage to the corporation and in some cases (...) as a means of competitive advantage. What was lost was the reason that one should embark on business ethics; and that is to make the society and corporate Australia a more ethical place in which to exist.This paper proposes a model based on 2 factors: commitment and partnerships, as a means of enabling corporate Australia to refocus attention on the main purpose of being inherently ethical in all that we do. This ethical model requires a commitment to partnerships with all stakeholders both internal and external in an attempt to enhance the level of ethical business practices that are contemplated and pursued within corporate Australia. Whilst the research agenda and the information collected is Australian-based, it is hoped that the ideas contained within this paper will have a wider appeal to corporations in similar cultural settings. (shrink)

Different natural deduction proof systems for intuitionistic and classical logic —and related logical systems—differ in fundamental properties while sharing significant family resemblances. These differences become quite stark when it comes to the structural rules of contraction and weakening. In this paper, I show how Gentzen and Jaśkowski’s natural deduction systems differ in fine structure. I also motivate directed proof nets as another natural deduction system which shares some of the design features of Genzen and Jaśkowski’s systems, but which differs again (...) in its treatment of the structural rules, and has a range of virtues absent from traditional natural deduction systems. (shrink)

Much of Tamar Gendler’s dense and engaging book argues for the emotional, cognitive and motivational power of imagination, which is presented as a central feature of human mental architecture. But in the final chapters Gendler argues that some of us have over-exploited this resource, too easily assuming that, if belief cannot explain a class of human behaviours, imagination will do the job. She gives a number of examples of problematic behaviours (‘Gendler cases’, as we shall say), which in her view (...) can be explained only by appeal to a previously unrecognized mental state: alief, different from belief and from imagination, and from any other mental kinds we are familiar with. We argue that it’s a mistake to explain Gendler cases in terms of a single mental state of the kind alief is supposed to be; we should appeal instead to a variety of representational states, including familiar ones such as belief, desire, imagination and perception. While a few of these cases do plausibly require us to acknowledge representations at levels other than the personal one, none require us to acknowledge the existence of aliefs, at least as those states are officially characterized by Gendler. We then turn to one of Gendler’s more general arguments for the new category of alief: the argument from hyperopacity. We reject that argument. But all this is not simply die-hard conservativism: we conclude by elaborating the idea (somewhat in the spirit of Gendler’s proposal) that various representational states not acknowledged by folk-psychology have a role to play in explaining behaviour, emotion and cognition. (shrink)

The tropical rain-forest regions in Borneo Island have in place various tough environmental policies to manage the economic use of natural resources sustainably. Nevertheless, their biological landscapes are struggling against unprecedented ecological assault amid rapid industrial transformations which have involved massive and irreversible exploitation of land resources. The main reason behind this mismatch of sustainable resource management vis-à-vis unsustainable resource use is the failure on the part of the policy makers to act under the guidance of certain ethical virtues when (...) attempting to translate environmental rhetoric in print to concrete actions in reality. Ethical engagement with nature is pivotal in helping to stimulate genuine efforts in environmental conservation. Field research in the Borneo tropical rain-forest state of Sarawak, Malaysia is able to identify and evaluate the distinctive environmental attitudes, values, and practices of the indigenous communities, and their implications on Sarawak’s sustainable land-resource use and to reinforce the importance of ethical leadership in addressing a myriad of today’s environmental challenges. (shrink)

Phosphoinositides modulate a plethora of functions including signal transduction and membrane trafficking. PtdInsPs are thought to consist of seven interconvertible species that localize to a specific organelle, to which they recruit a set of cognate effector proteins. Here, in reviewing the literature, we argue that this model needs revision. First, PtdInsPs can carry a variety of acyl chains, greatly boosting their molecular diversity. Second, PtdInsPs are more promiscuous in their localization than is usually acknowledged. Third, PtdInsP interconversion is likely achieved (...) through kinase-phosphatase enzyme complexes that coordinate their activities and channel substrates without affecting bulk substrate population. Additionally, we contend that despite hundreds of PtdInsP effectors, our attention is biased toward few proteins. Lastly, we recognize that PtdInsPs can act to nucleate coincidence detection at the effector level, as in PDK1 and Akt. Overall, better integrated models of PtdInsP regulation and function are not only possible but needed. Phosphoinositides are lipids that control many cellular functions. However, the field of PtdInsP signaling is dominated by several dogmatic notions. Here, we offer an updated glimpse on the current state of the field regarding molecular diversity, localization, organization of modifying enzymes, effector types, and effector organization. (shrink)

Developments in Non-Invasive Prenatal Testing and cell-free fetal DNA analysis raise the possibility that antenatal services may soon be able to support couples in non-invasively testing for, and diagnosing, an unprecedented range of genetic disorders and traits coded within their unborn child’s genome. Inevitably, this has prompted debate within the bioethics literature about what screening options should be offered to couples for the purpose of reproductive choice. In relation to this problem, the European Society of Human Genetics and American Society (...) of Human Genetics tentatively recommend that any expansion of this type of screening, as facilitated by NIPT, should be limited to serious congenital and childhood disorders. In support of this recommendation, the ESHG and ASHG cite considerations of distribution justice. Notably, however, an account of justice in the organization and provision of this type of screening which might substantiate this recommendation has yet to be developed. This paper attempts to redress this oversight through an investigation of Norman Daniels’ theory of Just health: meeting health needs fairly. In line with this aim, the paper examines what special moral importance screening for the purpose of reproductive choice might have where concerning serious congenital and childhood disorders in particular. The paper concludes that screening for reproductive choice where concerning serious congenital and childhood disorders may be important for providing women with fair opportunity to protect their health. (shrink)

Implication barrier theses deny that one can derive sentences of one type from sentences of another. Hume’s Law is an implication barrier thesis; it denies that one can derive an ‘ought’ (a normative sentence) from an ‘is’ (a descriptive sentence). Though Hume’s Law is controversial, some barrier theses are philosophical platitudes; in his Lectures on Logical Atomism, Bertrand Russell claims: You can never arrive at a general proposition by inference particular propositions alone. You will always have to have at least (...) one general proposition in your premises. (Russell, 1918, p. 206) We will refer to this claim—that one cannot derive general sentences from particular sentences—as Russell’s Law.1 A third barrier thesis claims that one cannot derive sentences about the future from sentences about the past or present. Hume’s endorsement of this barrier thesis is well-known: all inferences from experience suppose, as their foundation, that the future will resemble the past . . . if there be any suspicion that the course of nature may change, and that the past may be no rule for the future, all experience becomes useless, and can give rise to no inference or conclusion. It is impossible, therefore, that any argument from experience can prove this resemblance of the past to the future; since all these arguments are founded on the supposition of that resemblance. (Hume, EHU 4.21/37) We will refer to this barrier thesis as Hume’s Second Law. A fourth barrier thesis says that one cannot derive a necessary sentence from one about the actual world and we will refer to this last thesis Kant’s Law. Such implication barrier theses present a problem. (shrink)

This paper gives an outline of three different approaches to the four-valued semantics for relevant logics (and other non-classical logics in their vicinity). The first approach borrows from the 'Australian Plan' semantics, which uses a unary operator '⋆' for the evaluation of negation. This approach can model anything that the two-valued account can, but at the cost of relying on insights from the Australian Plan. The second approach is natural, well motivated, independent of the Australian Plan, and it provides a (...) semantics for the contraction-free relevant logic C (or RW). Unfortunately, its approach seems to model little else. The third approach seems to capture a wide range of formal systems, but at the time of writing, lacks a completeness proof. (shrink)

introduction Rhetoric/Memory/Place Carole Blair, Greg Dickinson, and Brian L. Ott The story is told of the poet Simonides of Ceos who, after chanting a poem ...

Mark Balaguer's Platonism and Anti-Platonism in Mathematics presents an intriguing new brand of platonism, which he calls plenitudinous platonism, or more colourfully, full-blooded platonism. In this paper, I argue that Balaguer's attempts to characterise full-blooded platonism fail. They are either too strong, with untoward consequences we all reject, or too weak, not providing a distinctive brand of platonism strong enough to do the work Balaguer requires of it.