When positionally cloned in late 1989, it was anticipated that mutations within the Wilms' tumour suppressor gene (WT1) would prove responsible for this common solid kidney cancer of childhood. Characterisation of the WT1 expression pattern and of the structure of the encoded protein isoforms and their mode of action has now spanned almost a decade. WT1 proteins act as nucleic acid-binding zinc finger-containing transcription factors involved in both transactivation and repression. These activities are facilitated and constrained by interactions with other (...) proteins. Expression analyses and knockout mice indicate that WT1 protein plays a critical role in normal kidney and gonad development. Specific constitutional WT1 mutations results in several urogenital anomaly syndromes. While only 10% of sporadic Wilms' tumours do display WT1 mutation, WT1 is mutated in other cancers, including acute myeloid leukaemia. Much is still to be determined in WT1 biology. The next decade will see at least three streams of attention. The first two, elucidation of the role of WT1 in RNA metabolism and the characterisation of further protein partners, may together explain the distinct tissue-specific functions of WT1. Finally, further research into the role of WT1 in haematopoiesis will improve our understanding of WT1 in leukaemia. BioEssays 21:191-202, 1999. (C) 1999 John Wiley & Sons, Inc. (shrink)

An important ingredient in understanding such sentences is resolving the question of: level in/of what? protection from what? what sort of documents? danger from what? Each of these is an example coming from novels, television commercials, and news reports. In the first instance, it is from a commercial for a brand of computers. In the commercial, which is pushing the most recent version of that computer, the voice-over announces (1a) just as a teenager exults after having apparently accomplished something worthy (...) of jubilation in a computer game. The message is intentionally interpretable in multiple ways: You are taken to a new level in the game, you are taken to a new level in computing power/speed, and, being a commercial, one also reads that it takes you to a new level in life. The second example is a story caption in a local newspaper. The article is about the shortage of flu shot vaccine in the U.S., and the people are going to Canada for flu shots, seeking protection from contracting the flu. The third example, also from a newspaper report2, requires not just that the FBI agent sold some documents or other, but rather that they were sensitive confidential documents, likely purloined from the FBI itself. The final instance is from a novel. In the novel the protagonist, in seeking to solve a crime, has overlooked something which in retrospect appears terribly obvious. The character’s self-deprecation thus reads: Sherlock Holmes’ reputation as a master sleuth was in no danger of being diminished. Each example, in context, reads seamlessly and poses little challenge to attentive or even inattentive readers and listeners. (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)

Environmental Ethics is a systematic account of values carried by the natural world, coupled with an inquiry into duties toward animals, plants, species, and ecosystems. A comprehensive philosophy of nature is illustrated by and integrated with numerous actual examples of ethical decisions made in encounters with fauna and flora, endangered species, and threatened ecosystems. The ethics developed is informed throughout by ecological science and evolutionary biology, with attention to the logic of moving from what is in nature to what ought (...) to be. The ethical theory is applied in detail to social, public, and business policy. Written in an engaging style, using diagrams and figures as well as numerous case studies, Environmental Ethics prods the reader into concrete application and invites reader participation in the ethical discussions. The ethics concludes by exploring the historical experiences of personal residence in a surrounding environment. Here is an adventure into what it means to live as responsible human beings in the community of life on Earth. In the series Ethics and Action, edited by Tom Regan. (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)

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.

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.

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)

This introduction to biological conservation assesses the value judgments at the heart of conservation. The author elaborates on such questions as: how much habitat does an endangered species require?; does this particular species deserve to be saved?; who will pay for its upkeep?; and much more.

This paper concerns a key point of decision in Donald Davidson's early work in philosophy of language — a fateful decision that set him and the discourse in the area on the path of truth-theoretic semantics. The decision of moment is the one Davidson makes when, in the face of a certain barrier, he gives up on the idea of constructing an explicit meaning theory that would parallel Tarski's recursive way with truth theory. For Davidson there was little choice: he (...) tells us he does not see how to deal with the difficulty except in the radical way he proposes. But there is a way to give such a meaning theory — a meaning theory proper which, using classical logic only, meets a meaning-theoretic analogue of Convention T, satisfies Davidson’s three key desiderata for a theory of meaning, reflects linguistic competence, and avoids quantifying over meanings. The meaning theory sketched here uses Tarskian strategies, as Davidson proposed, but differs from Davidson's approach in not going by way of a truth theory for the target language. (shrink)

In this paper we introduce a new natural deduction system for the logic of lattices, and a number of extensions of lattice logic with different negation connectives. We provide the class of natural deduction proofs with both a standard inductive definition and a global graph-theoretical criterion for correctness, and we show how normalisation in this system corresponds to cut elimination in the sequent calculus for lattice logic. This natural deduction system is inspired both by Shoesmith and Smiley's multiple conclusion systems (...) for classical logic and Girard's proofnets for linear logic. (shrink)

I offer myself as a nature guide, exploring for values. Many before us have got lost and we must look the world over. The unexamined life is not worth living; life in an unexamined world is not worthy living either. We miss too much of value.

What constitutes a scientific discovery? What role do discoveries play in science, its dynamics and social practices? Must every discovery be attributed to an individual discoverer (or a small number of discoverers)? The paper explores these questions by first critically examining extant philosophical explications of scientific discovery—the models of scientific discovery, propounded by Kuhn, McArthur, Hudson, and Schindler. As a simple, natural and powerful alternative, we proffer the “change-driver model”: in a nutshell, it takes discoveries to be cognitive scientific results (...) that have epistemically advanced science. The model overcomes the shortcomings of its precursors, whilst preserving their insights. We demonstrate its intensional and extensional superiority, especially with respect to the link between scientific discoveries and the dynamics of science, as well as the award system of science. Both as an illustration, and as an application to a recent scientific and political controversy, we apply the considered models of discovery to one of the most momentous discoveries of science: the expansion of the universe. We oppose the 2018 proposal of the International Astronomers’ Union as too simplistic vis-`a-vis the historical complexity of the episode. The change- driver model yields a more nuanced and circumspect verdict: (i) The redshift-distance relation shouldn’t be named the “Hubble-Lemaître Law”, but “Slipher-Lundmark-Hubble-Humason Law”; (ii) Its interpretation in terms of an expanding universe, however, Lemaître ought to be given credit for; but (iii) The establishment of the expansion of the universe, as an evidentially sufficiently warranted result, is a communal achievement, emerging in the 1950s or 1960s. (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)

Alfred Tarski (1944) wrote that "the condition of the 'essential richness' of the metalanguage proves to be, not only necessary, but also sufficient for the construction of a satisfactory definition of truth." But it has remained unclear what Tarski meant by an 'essentially richer' metalanguage. Moreover, DeVidi and Solomon (1999) have argued in this Journal that there is nothing that Tarski could have meant by that phrase which would make his pronouncement true. We develop an answer to the historical question (...) of what Tarski meant by 'essentially richer' and pinpoint the general result that stands behind his essential richness claim. In defense of Tarski, we then show that each of the several arguments of DeVidi and Solomon are either moot or mistaken. One of the fruits of our investigation is the reclamation of what Tarski took to be his central result on truth. This is a reclamation since: (i) if one does not understand 'essential richness', one does not know what that result is, and (ii) we must unearth a heretofore unrecognized change that occurs in Tarski's view - an alteration of his main thesis in light of a failing he discovered in it. (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 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 paper explores models for arithmetic in substructural logics. In the existing literature on substructural arithmetic, frame semantics for substructural logics are absent. We will start to fill in the picture in this paper by examining frame semantics for the substructural logics C , R and CK . The eventual goal is to find negation complete models for arithmetic in R.

I offer an interpretation of a familiar, but poorly understood portion of Tarskis work on truth – bringing to light a number of unnoticed aspects of Tarskis work. A serious misreading of this part of Tarski to be found in Scott Soames Understanding Truth is treated in detail. Soamesreading vies with the textual evidence, and would make Tarskis position inconsistent in an unsubtle way. I show that Soames does not finally have a coherent interpretation of Tarski. This is unfortunate, since (...) Soames ultimately arrogates to himself a key position that he has denied to Tarski and which is rightfully Tarskis own. (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.

summary of work in relevant in the Anderson– tradition.]; Mares Troestra, Anne, 1992, Lectures on , CSLI Publications [A quick, easy-to.

I offer myself as a nature guide, exploring for values. Many before us have got lost and we must look the world over. The unexamined life is not worth living; life in an unexamined world is not worthy living either. We miss too much of value.

The problem with model-theoretic modal semantics is that it provides only the formal beginnings of an account of the semantics of modal languages. In the case of non-modal language, we bridge the gap between semantics and mere model theory, by claiming that a sentence is true just in case it is true in an intended model. Truth in a model is given by the model theory, and an intended model is a model which has as domain the actual objects of (...) discourse, and which relates these objects in an appropriate manner. However, the same strategy applied to the modal case seems to require an intended modal model whose domain includes mere possibilia. Building on recent work by Christopher Menzel (Synthese 85 (1990)), I give an account of model-theoretic semantics for modal languages which does not require mere possibilia or intensional entities of any kind. Menzel has offered a representational account of model-theoretic modal semantics that accords with actualist scruples, since it does not require possibilia. However, Menzel's view is in the company of other actualists who seek to eliminate possible worlds, but whose accounts tolerate other sorts of abstract, intensional entities, such as possible states of affairs. Menzel's account crucially depends on the existence of properties and relations in intension. I offer a purely extensional, representational account and prove that it does all the work that Menzel's account does. The result of this endeavor is an account of model theoretic semantics for modal languages requiring nothing but pure sets and the actual objects of discourse. Since ontologically beyond what is prima facie presupposed by the model theory itself. Thus, the result is truly an ontology-free model-theoretic semantics for modal languages. That is to say, getting genuine modal semantics out of the model theory is ontologically cost-free. Since my extensional account is demonstrably no less adequate, and yet is at the same time more ontologically frugal, it is certainly to be preferred. (shrink)

The notion of that information is relative to a context is important in many different ways. The idea that the context is small — that is, not necessarily a consistent and complete possible world — plays a role not only in situation theory, but it is also an enlightening perspective from which to view other areas, such as modal logics, relevant logics, categorial grammar and much more. In this article we will consider these areas, and focus then on one further (...) question: How can we account for information about one thing giving us information about something else? This is a question addressed by channel theory. We will look at channel theory and then see how the issues of information flow and conditionality play a role in each of the different domains we have examined. (shrink)