This qualitative study was positioned within an emerging scientific field concerned with the interaction between biblical text and the psychological profile of the preacher. The theoretical framework was provided by the sensing, intuition, feeling and thinking (SIFT) approach to biblical hermeneutics, an approach rooted in reader-perspective hermeneutical theory and in Jungian psychological type theory that explores the distinctive readings of sensing perception and intuitive perception, and the distinctive readings of thinking evaluation and feeling evaluation. The empirical methodology was provided by (...) developing a research tradition concerned with applying the SIFT approach to biblical text. In the present study, a group of 17 Anglican clergy were invited to work in psychological type-alike groups to explore two of the biblical passages identified by Year B of the Revised Common Lectionary for the Feast of Christ the King. Dividing into three workshops, according to their preferences for sensing and intuition, the clergy explored Psalm 93. Dividing into three workshops, according to their preferences for thinking and feeling, the clergy explored John 18:33–37. The rich data gathered from these workshops supported the hypothesis that biblical interpretation and preaching may be shaped by the reader’s psychological type preference and suggested that the passages of scripture proposed for the Feast of Christ the King may be a joy for intuitive thinking types, but a nightmare for sensing feeling types. Contribution: Situated within the reader perspective approach to biblical hermeneutics, the SIFT method is concerned with identifying the influence of the psychological type of the reader in shaping the interpretation of text. Employing this method, the present study contributes to the fields of homiletics and hermeneutics by demonstrating how some readers (sensing types) may struggle more than others (intuitive types) to interpret the scripture readings proposed by the lectionary for the Feast of Christ the King. (shrink)

Famously, Saul Kripke proposes that there are contingent a priori truths, and has offered a number of examples to illustrate his claim. The most well-known example involves the standard meter bar in Paris. Purportedly, a certain agent knows a priori that the bar is one meter long. However, in response to a long-standing objection to such examples - the "existential complaint" - generally only modified examples having a conditional form are now considered candidates for the contingent a priori. Gareth (...) class='Hi'>Evans argues that these conditionals must be understood free-logically, and on this basis argues against Keith Donnellan's analysis of the contingent a priori. I show Evans' argument mistaken. I also take issue with the existential complaint, and suggest a way of understanding Kripke's original examples that is not subject to it. My approach focuses the debate in its right place, and allows us to take Kripke's original examples seriously. (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)

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)

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)

Why did the Biblical writers see the fear of the Lord as a virtue that is conducive to human flourishing? It is difficult for contemporary readers to understand how fear of anything can be virtuous. I propose that the fear of the Lord should be understood as accountability to God. I defend the claim that someone who displays excellence in an accountability relationship does display a virtue, and that this virtue is particularly valuable when exercised in relation to God. If (...) we reject an individualistic view of moral motivation inspired by Kant, we can see that being held accountable does not necessarily diminish personal autonomy. The primary motivation for the person who has the virtue of accountability is not fear of punishment, but a desire to do what is right because it is right, rooted in an appreciation of the standing of one to whom one is accountable. (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)

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)

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)

I suggest that we can read Marx in the light of recent analytic, neo-Hegelian thought. I summarize the Pittsburgh School philosophers’ claims about the myth of the given, the claim that human experience is conceptual all the way out, and that we live in a space of reasons. I show how Hegel has been read in those terms, and then apply that reading of Hegel to Marx’s argument that capital is akin to what Hegel called Geist, or spirit. We can (...) understand capitalism as a space of reasons that is contradictory: while the space of reasons is supposed to make human freedom possible, our space of reasons makes freedom impossible. Reading Marx in this way is helpful, because it avoids the flaws of analytical Marxism, existentialism and structuralism. However, it raises a large problem of its own: Can the theory of the space of reasons be applied to a society that is not free of alienation? I argue that it can, but only in ways that would not satisfy the analytic neo-Hegelians themselves. (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)

This paper argues that mathematics education curricular policy has slowly effected a reversal in the relationship between mathematics and its publics: from mathematics assuming its users to mathematics defined by its (supposed) users. Mathematics education research itself, its contribution to challenging the former notwithstanding, has often unwittingly supported this shift. While in the mid 1980s the mathematics educators propagating the teaching of mathematics by applications represented a small and unique group, by the mid 1990s those advocating teaching mathematics this way (...) had grown appreciably. A characteristic of this change in conviction is the emphasis on the importance of the context of mathematical thinking and problem-solving. Paradoxically, the consequences of the coupling of mathematics, both with utilitarianism,as other have argued, and with essentialism,as we argue in this paper, have been to narrow its scope (e.g. to a narrow version of 'numeracy') and to distance mathematics from its publics. In the paper we argue that action is needed to counter these trends, and to develop the area of the public understanding of mathematics. Otherwise policies aiming simply to 'popularize' mathematics might exacerbate these consequences. In particular, research is necessary along the lines followed by the social studies of science. For such research-by posing as pertinent the question of describing and accounting for differences between practices of knowledge production, dissemination and use-can help to avoid the assumption of a unique essence of some unitary culture called 'mathematics' and therefore a public (or publics) separated from it. (shrink)

Once the Kripke semantics for normal modal logics were introduced, a whole family of modal logics other than the Lewis systems S1 to S5 were discovered. These logics were obtained by changing the semantics in natural ways. The same can be said of the Kripke-style semantics for relevant logics: a whole range of logics other than the standard systems R, E and T were unearthed once a semantics was given (cf. Priest and Sylvan [6], Restall [7], and Routley et al. (...) [8]). In a similar way, weakening the structural rules of the Gentzen formulation of classical logic gives rise to other ‘substructural’ logics such as linear logic (as in Girard [4]). This process of ‘strategic weakening’ is becoming popular today, with the discovery of applications of these logics to areas such as linguistics and the theory of computation (cf. van Benthem [1]). Until now no-one has (to my knowledge) examined what the process of weakening does to the Kripke-style semantics of intuitionistic logic. This paper remedies the deficiency, introducing the family of subintuitionistic logics. These systems have some appealing features. Unlike other substructural logics such as linear logic (which lack distribution of extensional disjunction over conjunction) they have a very natural Kripke-style worlds semantics. Also, the difficulties with regard to modelling quantification in these systems may be able to shed some light on the difficulties in naturally modelling quantification in relevant logics, as it must be admitted that the semantics currently available for quantified relevant logics are rather baroque (cf. Fine [3]). But most importantly, delving in the undergrowth of logics such as intuitionistic logic gives us a ‘feel’ for how such systems are put together, and what job is being done by each aspect of the modelling conditions in.. (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)

We show that every ℵα can be characterized by the Scott sentence of some countable model; moreover there is a countable structure whose Scott sentence characterizes ℵ1 but whose automorphism group fails the topological Vaught conjecture on analytic sets. We obtain some partial information on Ulm type dichotomy theorems for the automorphism group of Knight's model.

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)

U.S. regulations do not afford consistent protections to human research subjects. One complaint is that they focus on federally sponsored research, with private research covered only if it falls under the jurisdiction of the Food and Drug Administration. This paper examines a deeper problem: Even when the regulations do apply, they still do not afford consistent standards of protection. The U.S. Common Rule and related FDA regulations lack a workable regulatory control mechanism.

We consider Borel equivalence relations E induced by actions of the infinite symmetric group, or equivalently the isomorphism relation on classes of countable models of bounded Scott rank. We relate the descriptive complexity of the equivalence relation to the nature of its complete invariants. A typical theorem is that E is potentially Π03 iff the invariants are countable sets of reals, it is potentially Π04 iff the invariants are countable sets of countable sets of reals, and so on. The proofs (...) use various techniques, including Vaught transforms, changing topologies, and the Scott analysis of countable models. (shrink)

This is a transcript of a conversation between P F Strawson and Gareth Evans in 1973, filmed for The Open University. Under the title 'Truth', Strawson and Evans discuss the question as to whether the distinction between genuinely fact-stating uses of language and other uses can be grounded on a theory of truth, especially a 'thin' notion of truth in the tradition of F P Ramsey.

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.

In a recent paper, Michael Otsuka and Alex Voorhoeve present a novel argument against prioritarianism. The argument takes its starting point from empirical surveys on people's preferences in health care resource allocation problems. In this article, I first question whether the empirical findings support their argument, and then I make some general points about the use of ‘empirical ethics’ in ethical theory.

In this note I respond to Hartley Slater's argument 12 to the e ect that there is no such thing as paraconsistent logic. Slater's argument trades on the notion of contradictoriness in the attempt to show that the negation of paraconsistent logics is merely a subcontrary forming operator and not one which forms contradictories. I will show that Slater's argument fails, for two distinct reasons. Firstly, the argument does not consider the position of non-dialethic paraconsistency which rejects the possible truth (...) of any contradictions. Against this position Slater's argument has no bite at all. Secondly, while the argument does show that for dialethic paraconsistency according to which contradictions can be true, certain other contradictions must be true, I show that this need not deter the dialethic paraconsistentist from their position. (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)

Horse racing has begun to enter an economic decline in many countries, notably represented by a decline in revenues in betting volumes. A number of reasons may be attributed to this: the success of...

Because complex organs taken from unequivocally dead people are not suitable for transplantation, human death has been redefined so that it can be certified at some earlier stage in the dying process and thereby make viable organs available without legal problems. Redefinitions based on concepts of "brain death" have underpinned transplant practice for many years although those concepts have never found universal philosophical acceptance. Neither is there consensus about the clinical tests which have been held sufficient to diagnose the irreversible (...) cessation of all brain function – or as much of it as is deemed relevant – while the body remains alive. For these reasons, the certification of death for transplant purposes on "brain death" grounds is increasingly questioned and there has been pressure to return to its diagnosis on the basis of cardiac arrest and the consequent cessation of blood circulation throughout the body. While superficially a welcome return to the traditional and universally accepted understanding of human death, examination of the protocols using such criteria for the diagnosis of death prior to organ removal reveals a materially different scenario in which the circulatory arrest is not certainly final and purely nominal periods of arrest are required before surgery begins. Recognizing the probably unresolvable conflict between allowing enough time to pass after truly final circulatory arrest for a safe diagnosis of death and its minimization for the sake of the wanted organs, Verheijde and colleagues follow others in calling for the abandonment of the "dead donor rule" and the enactment of legislation to permit the removal of organs from the dying, without pretence that they are dead before that surgery. While it may be doubted whether such a "paradigm change" in the ethics of organ procurement would be accepted by society, their call for its consideration as a fully and fairly informed basis for organ donation is to be applauded. (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)

The paradoxes of self reference have to be dealt with by anyone seeking to give a satisfactory account of the logic of truth, of properties, and even of sets of numbers. Unfortunately, there is no widespread agreement as to how to deal with these paradoxes. Some approaches block the paradoxical inferences by rejecting as invalid a move that classical logic counts as valid. In the recent literature, this deviant logic analysis of the paradoxes has been called into question.This disagreement motivates (...) a re-examination of the philosophy of formal logic and the status of logical truths and rules. In this paper I do some of this work, and I show that this gives us the means to defend the deviant approaches against such criticisms. As a result I hope to show that these analyses of the paradoxes are worthy of more serious consideration than they have so far received. (shrink)

This article underlines and draws attention to critical insights that Esposito makes regarding the prospects of rethinking community in a globalized world. Alongside Agamben and Nancy, Esposito challenges the property prejudice found in mainstream models of community. In identity politics, collective identity is converted into a form of communal property. Borders, sovereign territories, and exclusive rights are fiercely defended in the name of communal property. Esposito responds to this problem by developing what I call a “deontological communal contract” where being (...) and ethics are prioritized over having and economics. I examine this new perspective on community in relation to mainstream models found in contemporary and classical social theory. (shrink)

This article underlines and draws attention to critical insights Esposito makes regarding the prospects of rethinking community in a globalized world. Alongside Agamben and Nancy, Esposito challenges the property prejudice found in mainstream models of community. In identity politics, collective identity is converted into a form of communal property. Borders, sovereign territories, and exclusive rights are fiercely defended in the name of communal property. Esposito responds to this problem by developing what I call a “deontological communal contract” where being and (...) ethics are prioritized over having and economics. I examine this new perspective on community in relation to mainstream models found in contemporary and classical social theory. (shrink)

A few decades ago, there was a lively debate on the problem of overpopulation. Various proposals to limit population growth and to control fertility were made and debated both in academia and in th...

Here is a puzzle, which I learned from Terence Parsons in his “True Contradictions” [8]. First Degree Entailment is a logic which allows for truth value gaps as well as truth value gluts. If you are agnostic between assigning paradoxical sentences gaps and gluts, then this looks no different, in effect, from assigning them a gap value? After all, on both views you end up with a theory that doesn’t commit you to the paradoxical sentence or its negation. How is (...) the fde theory any different from the theory with gaps alone? In this paper, I will present a clear answer to this puzzle – an answer that explains how being agnostic between gaps and gluts is a genuinely different position than admitting gaps alone, by using the formal notion of a bi-theory, and showing that while such positions might agree on what is to be accepted, they differ on what is to be rejected. (shrink)

When we read On the Origin of Species, we cannot help but hear echoes of the Wealth of Nations. Darwin’s “economy of nature” features a “division of labour” that leads to complexity and productivity. We should not, however, analyze Darwin’s ethics through this lens. Darwin did not draw his economic ideas from Smith, nor did he base his ethics on an economic foundation. Darwin’s ethics rest on Smith’s notion—from the Theory of Moral Sentiments—of an innate human faculty of sympathy. Darwin (...) gave this notion an evolutionary interpretation, concluding that any species of social animals that develops a high enough level of intelligence will evolve moral principles. But the specific moral principles evolved by any particular species will vary, depending on that species’ particular evolutionary history. Darwin’s theory of moral sentiments thus diverged profoundly from Smith’s, while remaining in the same intellectual lineage. Although my reading of Darwin’s ethics departs from the dominant trend, it is not without precedent. A century ago, William James propounded a similar interpretation of Darwin. James’s interpretation has been largely forgotten, but he had Darwin right. It seems that James then developed his own moral philosophy on what he saw as a Darwinian foundation. It may be that James read Darwin’s evolutionary ethics through a pragmatic lens and so refashioned it, in his turn, into something again profoundly different from what Darwin had conceived, but again remaining in the same intellectual lineage. (shrink)

Molinism is an attempt to do equal justice to divine foreknowledge and human freedom. For Molinists, human freedom fits in this universe for the future is open or unsettled. However, God’s middle knowledge — God’s contingent knowledge of what agents would freely do in this or that circumstance — underwrites God’s omniscience in the midst of this openness. In this paper I rehearse Nuel Belnap and Mitchell Green’s argument in “Indeterminism and the Thin Red Line ” against the reality of (...) a distinguished single future in the context of branching time [2], and show that it applies applies equally against Molinism + branching time. In the process, we show how contemporary work in the logic of temporal notions in the context of branching time can illuminate discussions in the metaphysics of freedom and divine knowledge. (shrink)

Graham Priest defends the use of a nonmonotonic logic, LPm, in his analysis of reasoning in the face of true contradictions, such as those arising from the paradoxes of self-reference. In the course of defending this choice of logic in the face of the criticism that this logic is not truth preserving, Priest argued that requirement is too much to ask: since LPm is a nonmonotonic logic, it necessarily fails to preserve truth. In this article, I show that this assumption (...) is incorrect, and I explain why nonmonotonic logics can nonetheless be truth preserving. Finally, I diagnose Priest's error, to explain when nonmonotonic logics do indeed fail to preserve truth. (shrink)

The two principal models of design in methodological circles in architecture—analysis/synthesis and conjecture/analysis—have their roots in philosophy of science, in different conceptions of scientific method. This paper explores the philosophical origins of these models and the reasons for rejecting analysis/synthesis in favour of conjecture/analysis, the latter being derived from Karl Popper’s view of scientific method. I discuss a fundamental problem with Popper’s view, however, and indicate a framework for conjecture/analysis to avoid this problem.