Donald Gelpi, SJ saw his life's work as an attempt to construct an integral systematic theology during a time when such projects were deemed passé and undesirable. Such attitudes did not deter him though, and he worked quietly in his office at the Jesuit School of Theology in Berkeley for several decades developing such a system and teaching it in his classes and lectures. During those years, he produced works on theological method, sacramental theology, the Trinity, and Christology.Grounding his systematic (...) theology was a theological method defined by his fellow North American Jesuit, Bernard Lonergan. In his seminal work, Method in Theology, Lonergan articulated eight "functional specialties" for... (shrink)

This paper looks at the impact of the Business & Society Course on student's attitude towards and awareness of both ethical and illegal behavior. Business students were surveyed on the first and last day of the semesters on 11 ethical and legal scenarios. The population included three sections of the Business and Society course and three sections of other business courses as a control group. Though generalizability is limited, the courses show some potential to positively impact student's attitudes.Currently, ethics is (...) of great concern at business schools in this country. Accreditation standards of both the AACSB and ACBSP both require an ethical component to a business curriculum as a condition of accreditation. A majority of business schools at both the undergraduate and graduate level have required or at least elective courses in ethics. (shrink)

Alexander Rosenberg recently claimed (1997) that developmental biology is currently being reduced to molecular biology. cite several concrete biological examples that are intended to impugn Rosenberg's claim. I first argue that although Laubichler and Wagner's examples would refute a very strong reductionism, a more moderate reductionism would escape their attacks. Next, taking my cue from the antireductionist's perennial stress on the importance of spatial organization, I describe one form an empirical finding that refutes this moderate reductionism would take. Finally, I (...) point out an actual example, anterior-posterior axis determination in the chick, that challenges the reductionist's belief that all developmental regularities can be explained by molecular biology. In short, I argue that Rosenberg's position can be saved from Laubichler and Wagner's criticisms and putative counter-examples, but it would not survive a different kind of counter-example. (shrink)

We show that the Lascar group $\operatorname {Gal}_L$ of a first-order theory T is naturally isomorphic to the fundamental group $\pi _1|)$ of the classifying space of the category of models of T and elementary embeddings. We use this identification to compute the Lascar groups of several example theories via homotopy-theoretic methods, and in fact completely characterize the homotopy type of $|\mathrm {Mod}|$ for these theories T. It turns out that in each of these cases, $|\operatorname {Mod}|$ is aspherical, i.e., (...) its higher homotopy groups vanish. This raises the question of which homotopy types are of the form $|\mathrm {Mod}|$ in general. As a preliminary step towards answering this question, we show that every homotopy type is of the form $|\mathcal {C}|$ where $\mathcal {C}$ is an Abstract Elementary Class with amalgamation for $\kappa $ -small objects, where $\kappa $ may be taken arbitrarily large. This result is improved in another paper. (shrink)

The objective of this paper is to examine the ‘Code of Ethics Quality’ (CEQ) in the largest companies of Australia, Canada and the United States. For this purpose, a proposed CEQ construct has been applied. It appears from the empirical findings that while Australia, Canada and the United States are extremely similar in their economic and social development, there may well be distinct cultural mores and issues that are forming their business ethics practices. A research implication derived from the performed (...) research is that the construct provides a selection of observable and measurable elements in the context of CEQ. The construct of CEQ consists of nine measures divided into two dimensions (i.e. staff support and regulation). They should not be seen as a complete list. On the contrary, it is encouraged that others propose and elaborate revisions and extensions. A practical implication of this paper is a structure of what and how to examine the CEQ in a managerial setting. It may assist companies in their efforts to establish, maintain and improve their ethical culture, norms and beliefs within the organization and supporting them in their ethical business practices with different stakeholders in the marketplace and society. The dimensions and measures of the construct may be used as a frame of reference for further research. They may be useful and applicable across contexts and over time using similar samples when it comes to large companies, as small‐ or medium‐sized ones may not have considered all areas nor have the elements in place. This is a research limitation, but it provides an opportunity for further research. (shrink)

We consider the impact of negative natural theology on the prospects of Christian ramified natural theology with reference to Richard Swinburne’s argument for the Incarnation and Resurrection. We argue that Swinburne’s pivotal claim—that God would not allow deceptive evidence to exist for the Incarnation and Resurrection—is refuted by key evidence from negative natural theology. We argue, further, that Swinburne’s argument omits dominating items of evidence of negative natural theology which seem to critically weaken the probability of the Incarnation and Resurrection. (...) Negative natural theology thus serves as a formidable obstacle to Christian ramified natural theology. (shrink)

This article analyzes the impact of the rights-oriented business ethics course on student's ethical orientation. This approach, which is predominant in business schools, excludes the care-oriented approach used by a majority of women as well as some men and minorities. The results of this study showed that although students did not shift significantly in their ethical orientation, a majority of the men and an even greater majority of the women were care-oriented before and after a course in business ethics. If (...) business schools are to address society's increasing diversity then the perspective of women and others who are care-oriented must be assimilated into the curriculum. This can only be done by rethinking how the business ethics course (and the entire business curriculum) are taught to include a care-oriented approach. (shrink)

Something has been going wrong on many college campuses in the last few years. Speakers are shouted down. Students and professors say they are walking on eggshells and are afraid to speak honestly. Rates of anxiety, depression, and suicide are rising--on campus as well as nationally. How did this happen? First Amendment expert Greg Lukianoff and social psychologist Jonathan Haidt show how the new problems on campus have their origins in three terrible ideas that have become increasingly woven into (...) American childhood and education: What doesn't kill you makes you weaker; always trust your feelings; and life is a battle between good people and evil people. These three Great Untruths contradict basic psychological principles about well-being and ancient wisdom from many cultures. Embracing these untruths--and the resulting culture of safetyism--interferes with young people's social, emotional, and intellectual development. It makes it harder for them to become autonomous adults who are able to navigate the bumpy road of life. Lukianoff and Haidt investigate the many social trends that have intersected to promote the spread of these untruths. They explore changes in childhood such as the rise of fearful parenting, the decline of unsupervised, child-directed play, and the new world of social media that has engulfed teenagers in the last decade. They examine changes on campus, including the corporatization of universities and the emergence of new ideas about identity and justice. They situate the conflicts on campus within the context of America's rapidly rising political polarization and dysfunction. This is a book for anyone who is confused by what is happening on college campuses today, or has children, or is concerned about the growing inability of Americans to live, work, and cooperate across party lines. (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)

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)

This Element is an introduction to recent work proofs and models in philosophical logic, with a focus on the semantic paradoxes the sorites paradox. It introduces and motivates different proof systems and different kinds of models for a range of logics, including classical logic, intuitionistic logic, a range of three-valued and four-valued logics, and substructural logics. It also compares and contrasts the different approaches to substructural treatments of the paradox, showing how the structural rules of contraction, cut and identity feature (...) in paradoxical derivations. It then introduces model theoretic treatments of the paradoxes, including a simple fixed-point model construction which generates three-valued models for theories of truth, which can provide models for a range of different non-classical logics. The Element closes with a discussion of the relationship between proofs and models, arguing that both have their place in the philosophers' and logicians' toolkits. (shrink)

In an attempt to address the theoretical gap between linguistics and philosophy, a group of semanticists, calling itself the Generic Group, has worked to develop a common view of genericity. Their research has resulted in this book, which consists of a substantive introduction and eleven original articles on important aspects of the interpretation of generic expressions. The introduction provides a clear overview of the issues and synthesizes the major analytical approaches to them. Taken together, the papers that follow reflect the (...) current state of the art in the semantics of generics, and afford insight into various generic phenomena. (shrink)

In many societies, the aging of the population is becoming a major problem. This raises difficult issues for ethics and public policy. On what is known as the fair innings view, it is not impermissible to give lower priority to policies that primarily benefit the elderly. Philosophers have tried to justify this view on various grounds. In this article, I look at a consequentialist, a fairness-based, and a contractarian justification. I argue that all of them have implausible implications and fail (...) to correspond to our moral intuitions. I end by outlining a different kind of consequentialist justification that avoids those implications and corresponds better to our considered moral judgments. (shrink)

Scientists must sometimes choose between competing definitions of key terms. The degree to which different definitions facilitate important dis- coveries should ultimately guide decisions about which terms to accept. In the short run, rules of thumb can help. One such rule is to regard with suspicion any definition that turns a seemingly important empiri- cal matter into an a priori exercise. Several prominent definitions of eco- logical “stability” are suspect, according to this rule. After evaluating alternatives, I suggest that the (...) faulty definitions resulted from an over- emphasis on population dynamics in community ecology. Machine met- aphors of nature may have given rise to a related problem of experimen- tal design. (shrink)

Frequentist statistical methods continue to predominate in many areas of science despite prominent calls for "statistical reform." They do so in part because their main rivals, Bayesian methods, appeal to prior probability distributions that arguably lack an objective justification in typical cases. Some methodologists find a third approach called likelihoodism attractive because it avoids important objections to frequentism without appealing to prior probabilities. However, likelihoodist methods do not provide guidance for belief or action, but only assessments of data as evidence. (...) I argue that there is no good way to use those assessments to guide beliefs or actions without appealing to prior probabilities, and that as a result likelihoodism is not a viable alternative to frequentism and Bayesianism for statistical reform efforts in science. (shrink)

An advanced-level logic textbook that presents proof construction on equal footing with model building. Potentially relevant to students of mathematics and computer science as well.

Everyone knows what noise is. Or do they? Can we in fact say that one man's noise is another teenager's music? Is noise in fact only an auditory phenomenon or does it extend far beyond this realm? If our common definitions of noise are necessarily subjective and noise is not just unpleasant sound, then it merits a closer look (or listen). Greg Hainge sets out to define noise in this way, to find within it a series of operations common (...) across its multiple manifestations that allow us to apprehend it as something other than a highly subjective term that tells us very little. Examining a wide range of texts, including Sartre's novel Nausea and David Lynch's iconic films Eraserhead and Inland Empire, Hainge investigates some of the Twentieth Century's most infamous noisemongers to suggest that they're not that noisy after all; and it finds true noise in some surprising places. The result is a thrilling and illuminating study of sound and culture. (shrink)

We present a new frame semantics for positive relevant and substructural propositional logics. This frame semantics is both a generalisation of Routley–Meyer ternary frames and a simplification of them. The key innovation of this semantics is the use of a single accessibility relation to relate collections of points to points. Different logics are modeled by varying the kinds of collections used: they can be sets, multisets, lists or trees. We show that collection frames on trees are sound and complete for (...) the basic positive distributive substructural logic $\mathsf {B}^+$, that collection frames on multisets are sound and complete for $\mathsf {RW}^+$ (the relevant logic $\mathsf {R}^+$, without contraction, or equivalently, positive multiplicative and additive linear logic with distribution for the additive connectives), and that collection frames on sets are sound for the positive relevant logic $\mathsf {R}^+$. The completeness of set frames for $\mathsf {R}^+$ is, currently, an open question. (shrink)

Many people have claimed that integrity requires sticking to one's convictions come what may. Greg Scherkoske challenges this claim, arguing that it creates problems in distinguishing integrity from fanaticism, close-mindedness or mere inertia. Rather, integrity requires sticking to one's convictions to the extent that they are justifiable and likely to be correct. In contrast to traditional views of integrity, Scherkoske contends that it is an epistemic virtue intimately connected to what we know and have reason to believe, rather than (...) an essentially moral virtue connected to our values. He situates integrity in the context of shared cognitive and practical agency and shows that the relationship between integrity and impartial morality is not as antagonistic as many have thought - which has important implications for the 'integrity objection' to impartial moral theories. This original and provocative study will be of great interest to advanced students and scholars of ethics. (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.

Some empirical findings seem to show that people value health benefits differently depending on the age of the beneficiary. Health economists and philosophers have offered justifications for these preferences on grounds of both efficiency and equity. In this paper, I examine the most prominent examples of both sorts of justification: the defence of age-weighting in the WHO's global burden of disease studies and the fair innings argument. I argue that neither sort of justification has been worked out in satisfactory form: (...) age should not be taken into account in the framework of the burden of disease measure, and on the most promising formulations of the fair innings argument, it turns out to be merely an indicator of some other factor. I conclude by describing the role of age in theories of justice of healthcare resource allocation. (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)

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)

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)

Athens Victorious examines the notion of freedom in Plato's Republic, the proper understanding of which the author argues is essential for understanding the dialogue's ultimate political message. A close, thorough, and innovative analysis of the section of the dialogue in which various constitutional options are discussed leads to the surprising conclusion that the dialogue is advocating democracy, not some kind of totalitarian state.

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)

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)

Whether or not the particular view of generic sentences articulated above is correct, it is quite clear that the study of generic terms and the truth-conditions of generic sentences touches on the representation of other parts of the grammar, as well as on how the world around us is reflected in language. I would hope that the problems mentioned above will highlight the relevance of semantic analysis to other apparently distinct questions, and focus attention on the relevance of linguistic problems (...) to other already established areas of inquiry. (shrink)

This dissertation is a critical examination of dialetheism, the view that there are true contradictions. Dialetheism's proponents argue that adopting the view will allow us to solve hitherto unsolved problems, including the well-known logical paradoxes. ;Dialetheism faces three kinds of challenge. Challenges of the first kind put in doubt the intrinsic coherence of dialetheism. It can be claimed, for example, that it is incoherent for a claim to be both true and false; that claims known to be false cannot be (...) accepted; that claims known to be false cannot be rationally accepted; and that dialetheism entails the falsity of some of its own theoretical claims. The second kind of challenge concerns the use of paraconsistent logics, which dialetheists must adopt on pain of accepting the truth of every proposition. I examine a number of paraconsistent logics, and conclude that either they come at an unacceptably high price or they do not support the dialetheist project. ;I devote most attention to the third kind of challenge, according to which dialetheism fails to provide the promised solutions to the paradoxes and other previously intractable problems, and so we lose the major motivation for the theory. Proponents claim that dialetheism allows for the solution of numerous problems, particularly in metaphysics, law, and logic. In the case of metaphysics, it is claimed that dialetheism allows us to deal with puzzles involving change, vagueness, and motion. However, I argue that the proposed solution does not eliminate the old metaphysical problems, and in fact gives rise to new ones. In the case of law, it is claimed that dialetheism can allow us to deal with legal contradiction. I argue there are more plausible means of solving such conflicts. The strongest case for dialetheism is that it allows us to solve logical and semantic paradoxes of self-reference, some of which have endured for well over two thousand years. I construct a paradox that the dialetheist cannot accommodate, and which shows that dialetheism never provided a solution to the paradoxes at all, even in their more familiar forms. (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)

According to the “knowability thesis,” every truth is knowable. Fitch’s paradox refutes the knowability thesis by showing that if we are not omniscient, then not only are some truths not known, but there are some truths that are not knowable. In this paper, I propose a weakening of the knowability thesis (which I call the “conjunctive knowability thesis”) to the e:ect that for every truth p there is a collection of truths such that (i) each of them is knowable and (...) (ii) their conjunction is equivalent to p. I show that the conjunctive knowability thesis avoids triviality arguments against it, and that it fares very di:erently depending on another thesis connecting knowledge and possibility. If there are two propositions, inconsistent with one another, but both knowable, then the conjunctive knowability thesis is trivially true. On the other hand, if knowability entails truth, the conjunctive knowability thesis is coherent, but only if the logic of possibility is weak. (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)

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)

The idea that fictions may educate us is an old one, as is the view that they distort the truth and mislead us. While there is a long tradition of passionate assertion in this debate, systematic arguments are a recent development, and the idea of empirically testing is particularly novel. Our aim in this chapter is to provide clarity about what is at stake in this debate, what the options are, and how empirical work does or might bear on its (...) resolution. We distinguish between merely influencing people’s opinions and providing genuine learning, where the latter requires that the source of the change in opinion should be reliable. Other important ideas here are the extent to which authors of fiction may be considered to provide testimony, or something like it, and the possibility of recognizing an unstated purpose in the project of the fictional work. We ask whether fictions can furnish us not merely with ideas but with reasons for believing them, perhaps by constituting thought experiments. We consider whether the focus should be on understanding rather than on knowledge, and whether fictions can inform us about the qualities of another’s experiences. We briefly describe some experimental work of recent decades and suggest that the evidence for learning from fiction is currently meagre. (shrink)

A B S T R AC T: In this paper I consider an interpretation of future contingents which motivates a unification of a Łukasiewicz-style logic with the more classical supervaluational semantics. This in turn motivates a new non-classical logic modelling what is “made true by history up until now. ” I give a simple Hilbert-style proof theory, and a soundness and completeness argument for the proof theory with respect to the intended models.

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.

:The distinction between brute luck and option luck is fundamental for luck egalitarianism. Many luck egalitarians write as if it could be used to specify which outcomes people should be held responsible for. In this paper, I argue that the distinction can’t be used this way. In fact, luck egalitarians tend to rely instead on rough intuitive judgements about individual responsibility. This makes their view vulnerable to what’s known as the neutrality objection. I show that attempts to avoid this objection (...) are unsuccessful. I conclude that until it provides a better account of attributing responsibility, luck egalitarianism remains incomplete. (shrink)

Developments in Non-Invasive Prenatal Testing (NIPT) 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 (ESHG) and (...) American Society of Human Genetics (ASHG) 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 (for Just health) 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 (by either having or not having an affected child). (shrink)

This paper is a revised version of a talk given at the Logic and Logical Philosophy conference in Poland in September 1995. In it, I sketch the connections between Nuel Belnap's Display Logic and J. Michael Dunn's Gaggle Theory.