The Dutch health care system is developing a two, or multiple, tier system. How can moral principles be of help in assessing whether this is the right track? Instead of dismissing as unhelpful the principles that have been suggested so far and exchanging them for other, usually more complex, principles, it is suggested that the methods of moral inquiry be reconsidered. Keywords: diversification in health care, health care financing, public and private responsibility in health care CiteULike Connotea Del.icio.us What's this?
Investigating Subjectivity examines the importance of a phenomenological account of the subject for the nature and the status of phenomenology, for different themes from practical philosophy and in relation to issues from the philosophy of ...
Mijn wetenschappelijke bijdrage sluit aan bij het stuk van Jan Willem Klop in deze zelfde afscheidsbundel, dat ik van Jan Willem onder embargo te lezen heb gekregen. Je zult je herinneren dat Jan Willem in de CWI lezing ter gelegenheid van zijn eredoctoraat kort refereerde aan de Thue Morse reeks. Noem deze reeks M . Jan Willem gaf de versie die start met 1. Noem het resultaat van omwisselen van nullen en enen in de Thue Morse reeks M . De (...) reeks M is wat je krijgt als je het Thue Morse proces start met 0. (shrink)
In this paper, I argue against Peter van Inwagen’s claim (in “Free Will Remains a Mystery”), that agent-causal views of free will could do nothing to solve the problem of free will (specifically, the problem of chanciness). After explaining van Inwagen’s argument, I argue that he does not consider all possible manifestations of the agent-causal position. More importantly, I claim that, in any case, van Inwagen appears to have mischaracterized the problem in some crucial ways. Once we are clear on (...) the true nature of the problem of chanciness, agent-causal views do much to eradicate it. (shrink)
I. Introduction “We can and do see the truth about many things: ourselves, others, trees and animals, clouds and rivers—in the immediacy of experience.”1 Absent from Bas van Fraassen’s list of those things we see are paramecia and mitochondria. We do not see such things, van Fraassen has long maintained, because they are unobservable, that is, they are undetectable by means of the unaided senses.2 But notice that these two notions—what we can see in the “immediacy” of experience and what (...) is detectable by means of the unaided senses—are not the same. There is no incoherence in maintaining that the immediacy of experience is capable of disclosing to us truths concerning entities that are not detectable by the naked eye. And so, I claim, it does; science and technology provide us with the means to see things we have never seen before. Some of those things are van Fraassen’s unobservables. That suggestion is nothing new. Grover Maxwell long ago emphasized the continuity between seeing with and without instrumentation.3 Van Fraassen originally provided two responses to Maxwell’s arguments: some things that you can see with instruments you can also see without instruments (and those are the observables); and.. (shrink)
The anti-reductionist who wants to preserve the causal efficacy of mental phenomena faces several problems in regard to mental causation, i.e. mental events which cause other events, arising from her desire to accept the ontological primacy of the physical and at the same time save the special character of the mental. Psychology tries to persuade us of the former, appealing thereby to the results of experiments carried out in neurology; the latter is, however, deeply rooted in our everyday actions and (...) beliefs and despite the constant opposition of science still very much alive. Difficulties, however, arise from a combination of two claims that are widely accepted in philosophy of mind, namely, physical monism and mental realism, the acceptance of which leads us to the greatest problem of mental causation: the problem of causal exclusion. Since physical causes alone are always sufficient for physical effects mental properties are excluded from causal explanations of our behaviour, which makes them “epiphenomenal”. The article introduces Van Gulick’s solution to the exclusion problem which tries to prove that physical properties, in contrast to mental properties, do not have as much of a privileged status with respect to event causation as usually ascribed. Therefore, it makes no sense to say that physical properties are causally relevant whereas mental properties are not. This is followed by my objection to his argument for levelling mental and physical properties with respect to causation of events. I try to show that Van Gulick’s argument rests on a premise that no serious physicalist can accept. (shrink)
Van Heijenoort’s main contribution to history and philosophy of modern logic was his distinction between two basic views of logic, first, the absolutist, or universalist, view of the founding fathers, Frege, Peano, and Russell, which dominated the first, classical period of history of modern logic, and, second, the relativist, or model-theoretic, view, inherited from Boole, Schröder, and Löwenheim, which has dominated the second, contemporary period of that history. In my paper, I present the man Jean van Heijenoort (Sect. 1); then (...) I describe his way of arguing for the second view (Sect. 2); and finally I come down in favor of the first view (Sect. 3). There, I specify the version of universalism for which I am prepared to argue (Sect. 3, introduction). Choosing ZFC to play the part of universal, logical (in a nowadays forgotten sense) system, I show, through an example, how the usual model theory can be naturally given its proper place, from the universalist point of view, in the logical framework of ZFC; I outline another, not rival but complementary, semantics for admissible extensions of ZFC in the very same logical framework; I propose a way to get universalism out of the predicaments in which universalists themselves believed it to be (Sect. 3.1). Thus, if universalists of the classical period did not, in fact, construct these semantics, it was not that their universalism forbade them, in principle, to do so. The historical defeat of universalism was not technical in character. Neither was it philosophical. Indeed, it was hardly more than the victory of technicism over the very possibility of a philosophical dispute (Sect. 3.2). (shrink)
Van Heijenoort’s account of the historical development of modern logic was composed in 1974 and first published in 1992 with an introduction by his former student. What follows is a new edition with a revised and expanded introduction and additional notes.
The paper aims at drawing the main lines of a reflection about architectonic space, starting from the comparison between two hypothesis, as much as ever different: Theodor Lipps’ spatial aesthetics and Hans van der Laan’s elemental theory. The emphasis given by both authors to the intersection between directions and way, but also to the mutual subordination between thing and space, allows to rewrite the obituary of architecture as a spatial art, according to which the Modern Style has turned the spatiality (...) into its specular visibility, into the spaciousness, into the indefinite continuity of the Bigness. (shrink)
http://dx.doi.org/10.5007/1808-1711.2008v12n1p49 The aim of this article is to offer a rejoinder to an argument against scientific realism put forward by van Fraassen, based on theoretical considerations regarding microphysics. At a certain stage of his general attack to scientific realism, van Fraassen argues, in contrast to what realists typically hold, that empirical regularities should sometimes be regarded as “brute facts”, which do not ask for explanation in terms of deeper, unobservable mechanisms. The argument from microphysics formulated by van Fraassen is based (...) on the claim that in microphysics the demand for explanation leads to a demand for the so-called hidden-variable theories, which “runs contrary to at least one major school of thought in twentieth-century physics”. It is shown here that this argument does not represent an insurmountable obstacle to scientific realism, not even when a series of important theoretical and experimental results against hidden-variable theories — and not merely a conflict with a certain school of thought—is taken into account. (shrink)
http://dx.doi.org/10.5007/1808-1711.2008v12n2p121 O objetivo deste trabalho é discutir e desenvolver o diagnóstico que efetua van Fraassen (1987, p. 110) da lei de Hardy-Weinberg, de acordo coo qual esta: 1) não pode ser considerada uma lei a ser utilizada como un axioma da teoria genética de populações, pois é uma lei de equilíbrio que só vale sob certas condições especiais, 2) só determina uma subclasse de modelos, 3) sua generalização resulta vácua e 4) variantes complexas da lei podem ser deduzidas para pressupostos (...) mais realistas. A discussão e desenvolvimento deste diagnóstico será levada a cabo tomando como base noções propostas por outra das concepções semânticas afim daquela desenvolvida por van Fraassen, a saber: a concepção estruturalista das teorias, e uma reconstrução da genética clássica de populações no marco de uma tal metateoria, também apresentada neste trabalho. (shrink)
De acordo com a concepção dominante de causação, eventos espácio-temporalmente localizáveis que podem ser designados por termos singulares e descrições definidas são os únicos relata genuínos da relação causal. Isto dá apoio e é apoiado pela dicotomia aceita entre a explicação causal, concebida como uma relação intensional entre fatos ou verdades, e a relação natural e extensional da causação. O ensaio questiona este modo de ver e argumenta pela legitimidade da noção de causação por fatos: os relata de muitas relações (...) expressas pelo conector sentencial ‘(O fato) C causa (o fato) E’ podem ser causas e efeitos genuínos (I). Esta visão expandida da causação é então aplicada ao problema da causação mental. Assumindo a verdade do realizacionismo físico, o ensaio explora a conexão entre eficácia causal e relevância contrafactual de propriedades. Mostra-se que, pelo menos em muitos casos, as ligações contrafactuais corretas, requeridas pela causação, podem ser encontradas somente no nível dos fatos realizados, não no nível mais básico dos fatos realizadores (II). Finalmente, dadas as similaridades entre a defesa do fisicismo não-reducionista esboçada aqui e as tentativas menos modestas de justificação científica das pretensões do materialismo metafísico, justamente criticadas por van Fraassen como manifestações da ‘falsa consciência’, considera-se se e como a argumento principal do ensaio pode evitar o juízo crítico de van Fraassen (III). (shrink)
It is argued that, contrary to prevailing opinion, Bas van Fraassen nowhere uses the argument from underdetermination in his argument for constructive empiricism. It is explained that van Fraassen’s use of the notion of empirical equivalence in The Scientific Image has been widely misunderstood. A reconstruction of the main arguments for constructive empiricism is offered, showing how the passages that have been taken to be part of an appeal to the argument from underdetermination should actually be interpreted.
Over the last twenty years, Bas van Fraassen has developed a “new epistemology”: an attempt to sail between Bayesianism and traditional epistemology. He calls his own alternative “voluntarism”. A constant pillar of his thought is the thought that rationality involves permission rather than obligation. The present paper aims to offer an appraisal of van Fraassen’s conception of rationality. In section 2, I review the Bayesian structural conception of rationality and argue that it has been found wanting. In sections 3 and (...) 4, I analyse van Fraassen’s voluntarism. I raise some objections about van Fraassen’s reliance on prior opinion and argue that the content of a belief matters to its rationality. In section 5, I criticise van Fraassen’s view that inference to the best explanation is incoherent. Finally, in section 6, I take on van Fraassen’s conception of rationality and show that it is too thin to fully capture rational judgement. (shrink)
Projet En développant son « empirisme constructif », Bas Van Fraassen est devenu une référence incontournable pour la philosophie des sciences contemporaine. Après la vague de critiques qui, vers les années 1960, avait fait perdre à l'empirisme logique sa prédominance dans le champ des idées, le réalisme scientifique semblait s'être imposé comme le seul compte rendu acceptable du travail et des orientations de la recherche. Quine avait beau énoncer ce que pourrait être un empirisme affranchi de ses deux « dogmes (...) » (l'intangibilité de la distinction vérités analytiques / vérités synthétiques, et la réduction des constructions aux « faits »), le programme d'une philosophie des sciences empiriste renouvelée restait à l'état d'esquisse. Mais par trois ouvrages successifs, Scientific Image (1980), Laws and symmetry (1989), et Quantum mechanics an empiricist view (1991), Van Fraassen a posé les bases d'un empirisme viable, parce que capable de prendre en charge la plupart des spécificités dont se prévaut le réalisme contre l'empirisme classique ou logique, et de rendre raison des développements les plus actuels de la physique. Contre l'empirisme classique ou logique, les réalistes font d'abord valoir que la réduction de toute réalité et de tout acte de référence aux phénomènes, ne rend justice ni à la pratique du langage courant ni à celle des sciences. Lorsque quelqu'un procède à une dénomination, il ne cherche pas à désigner par là une tranche d'apparaître, ou quelque ensemble fini et répertorié d'apparitions; il pointe vers "quelque chose" dont les modalités de manifestation sans fin assignable sont pour partie anticipées et pour partie ouvertes. De même, quand un chercheur scientifique parle de l'objet de ses investigations, il ne limite pas son discours à un ensemble fini de résultats d'expérience obtenus sous des conditions instrumentales actuellement disponibles; il renvoie à une entité dont la variété des manifestations futures est prévue aussi complètement que possible (et avec un succès croissant) par des cadres conceptuels et théoriques révisables. Face à cette objection, Van Fraassen fait jouer un rôle capital aux modèles dans sa version de l'empirisme.. (shrink)
Considering Pragma-Dialectics honors the monumental contributions of one of the foremost international figures in current argumentation scholarship: Frans van Eemeren. The volume presents the research efforts of his colleagues and addresses how their work relates to the pragma-dialectical theory of argumentation with which van Eemeren’s name is so intimately connected. This tribute serves to highlight the varied approaches to the study of argumentation and is destined to inspire researchers to advance scholarship in the field far into the (...) future. Replete with contributions from highly-esteemed academics in argumentation study, chapters in this volume address such topics as: *Pragma-dialectic versus epistemic theories of arguing and arguments; *Pragma-dialectics and self-advocacy in physician-patient interactions; *The pragma-dialectical analysis of the ad hominem family; *Rhetoric, dialectic, and the functions of argument; and *The semantics of reasonableness. As an exceptional volume and a fitting tribute, this work will be of interest to all argumentation scholars considering the astute insights and scholarly legacy of Frans van Eemeren. (shrink)
This is indeed a very nice draft that I have read with great pleasure, and that has helped me to better understand the completeness proof for LCC. Modal fixed point logic allows for an illuminating new version (and a further extension) of that proof. But still. My main comment is that I think the perspective on substitutions in the draft paper is flawed. The general drift of the paper is that relativization, (predicate) substitution and product update are general operations on (...) models, and that it is important to check whether given logical languages are closed under these operations. FO logic is closed under relativization, predicate substitution and product constructions (such as those involved in relative interpretation). The minimal modal logic is closed under relativization, which explains the reduction of epistemic logic (withhout common knowledge) + public announcement to epistemic logic simpliciter (as observed in Van Benthem, ). The reduction breaks down as soon as one adds common knowledge. The minimal modal logic is also closed under substitution, which explains the reduction of epistemic logic plus (publicly observable) factual change to epistemic logic simpliciter, via the following reduction axioms (I use !p := φ for the operation of publicly changing the truth value of p to φ): [!p := φ]p ↔ φ [!p := φ]q ↔ q (p and q syntactically different ) [!p := φ]¬ψ ↔ ¬[!p := φ]ψ [!p := φ](ψ1 ∧ ψ2) ↔ [!p := φ]ψ1 ∧ [!p := φ]ψ2 [!p := φ][i]ψ ↔ [i][!p := φ]ψ Unlike the case of relativisation, this can be extended to the case of epistemic logic with common knowledge, by means of: [!p := φ]CGψ ↔ CG[!p := φ]ψ We get the following.. (shrink)
This paper describes the work of the Polish logician Jan Kalicki (1922?1953). After a biographical introduction, his work on logical matrices and equational logic is appraised. A bibliography of his papers and reviews is also included.
Het communicatieve effect van een collectieve email van Wouter Bos aan al zijn contacten is totaal anders dan van hetzelfde bericht gestuurd aan iedere geadresseerde persoonlijk. In de lezing zal worden ingegaan op de vraag hoe je dit soort verschillen kunt modelleren in epistemische logica. Een centrale notie hierbij is ‘common knowledge’ of ‘collectief weten’. Dit begrip zal worden geillustreerd aan de hand van een aantal logische puzzles, en van protocollen uit het dagelijks leven die bedoeld zijn om collectief weten (...) tot stand te brengen. Er zal worden uitgelegd waarom het in gevallen waar een economische belang in het geding is niet rationeel is ‘to agree to disagree’ (van elkaar te weten dat we de waarde van een economisch goed verschillend beoordelen). Als er tijd is doen we ook een demonstratie epistemisch modelleren. (shrink)
• Wat wil ik doen/maken/cre¨eren (in het klein, in het groot . . . )? • Welke richting kies ik? • Wat is belangrijk? Wat minder belangrijk? Je kunt helderheid voor jezelf cre¨eren (weer: in het klein, in het groot) door de dingen die je wilt doen te rangschikken in volgorde van belangrijkheid.
• Een programma puzzle • Puzzelen met steentjes • Functies en functioneel programmeren • Functies maken met lambda abstractie • Eigenschappen van dingen en karakteristieke functies • De ‘ﬁlter’ functie • Oneindige lijsten • Priemgetallen herkennen en genereren • Opdrachten..
• Een voorbeeld van direct inzicht • Puzzelen met steentjes en programma’s • Functies en functioneel programmeren • Functies maken met lambda abstractie • Eigenschappen van dingen en karakteristieke functies • De ‘ﬁlter’ functie • Oneindige lijsten • Priemgetallen herkennen en genereren • Opdrachten..
Analysis shows that statements of ability are disguised conditionals. More exactly, the correct analysis of 'X could have done A' is 'If X h decided (chosen, willed ...) to do A, X would have done A'. Therefore having acted freely--having been able to act otherwise than one fact did--is compatible with determinism (with the causal determination of one's acts).
Dynamic 10gic programming is the result 0f making dynamic versions 0f first order predicate 10gic executable. The main sources of inspiration for this are the dynamic variable binding strategies that have become fashionable in natural language analysis (DRT , Anaphora, Logic , DPL ), the idea of implementing identity assertions as assignment commands familiar from constraint programming, and more in particular from Alma,-0 , and the genera.] injunction to explore logical dynamics emanating from the works of J 01121,11 van Benthemw (...) eg. from.. (shrink)
We will present relational tools for analysing (large) software systems, based on the Haskell datatype for relations defined in Chapter 5 of Doets and Van Eijck, The Haskell Road to Logic, Maths and Programming, King’s College Publications, London 2004 [DvE04]. The main purpose is to demonstrate some very concrete applications of abstract relations, and to make the point that functional programming is highly relevant to software engineering.
The Philosophy of R.G. Collingwood W. J. Van Der Dussen. Collingwood's conclusion is that " ... science, even at its best, always falls short of understanding the facts as they really are"88. Only history is able to realize this. It is another ...
Following Manne (1966, Insider Trading and the Stock Market (New York, Free Press)) we introduce a distinction between insider trading and market manipulation on the one hand and corporate insiders versus misappropriators on the other hand. This gives rise to four types of alleged inside transactions. We argue that the literature on insider trading has often targeted inside transactions type II, III and IV but that these arguments do not necessarily hold for type I transactions. We look for consequentionalist as (...) well as non-consequentionalist arguments against type I transactions and demonstrate that these are hard to find. Throughout the article we refer extensively to the economic literature on insider trading in order to overcome a relative divide between the economic, legal, and philosophical discussion on insider trading. (shrink)
This paper provides preliminary insights into the process of sense-making and developing meaning with regard to corporate social responsibility (CSR) within 18 Dutch companies. It is based upon a research project carried out within the framework of the Dutch National Research Programme on CSR. The paper questions how change agents promoting CSR within these companies made sense of the meaning of CSR. How did they use language (and other instruments) to stimulate and underpin the contextual essence of CSR? Why did (...) they do that in this particular way? What were the consequences of this approach for shaping the process of CSR in their company? Did their efforts contribute to a new way of thinking and acting or was it merely putting old wine in new barrels? A preliminary conclusion is that change agents use above all linguistic artefacts (words and notions) and carry out practical projects while constructing meaning. Still, the meaning of meaning itself remains highly intangible, situational and personality related. (shrink)
When thinking about ethics, technology is often only mentioned as the source of our problems, not as a potential solution to our moral dilemmas. When thinking about technology, ethics is often only mentioned as a constraint on developments, not as a source and spring of innovation. In this paper, we argue that ethics can be the source of technological development rather than just a constraint and technological progress can create moral progress rather than just moral problems. We show this by (...) an analysis of how technology can contribute to the solution of so-called moral overload or moral dilemmas. Such dilemmas typically create a moral residue that is the basis of a second-order principle that tells us to reshape the world so that we can meet all our moral obligations. We can do so, among other things, through guided technological innovation. (shrink)
After more than 15 years of study, the 1/f noise or complex-systems approach to cognitive science has delivered promises of progress, colorful verbiage, and statistical analyses of phenomena whose relevance for cognition remains unclear. What the complex-systems approach has arguably failed to deliver are concrete insights about how people perceive, think, decide, and act. Without formal models that implement the proposed abstract concepts, the complex-systems approach to cognitive science runs the danger of becoming a philosophical exercise in futility. The complex-systems (...) approach can be informative and innovative, but only if it is implemented as a formal model that allows concrete prediction, falsification, and comparison against more traditional approaches. (shrink)
Current dynamic epistemic logics for analyzing effects of informational events often become cumbersome and opaque when common knowledge is added for groups of agents. Still, postconditions involving common knowledge are essential to successful multi-agent communication. We propose new systems that extend the epistemic base language with a new notion of ‘relativized common knowledge’, in such a way that the resulting full dynamic logic of information flow allows for a compositional analysis of all epistemic postconditions via perspicuous ‘reduction axioms’. We also (...) show how such systems can deal with factual alteration, rather than just information change, making them cover a much wider range of realistic events. After a warm-up stage of analyzing logics for public announcements, our main technical results are expressivity and completeness theorems for a much richer logic that we call LCC. This is a dynamic epistemic logic whose static base is propositional dynamic logic (PDL), interpreted epistemically. This system is capable of expressing all model-shifting operations with finite action models, while providing a compositional analysis for a wide range of informational events. This makes LCC a serious candidate for a standard in dynamic epistemic logic, as we illustrate by analyzing some complex communication scenarios, including sending successive emails with both ‘cc’ and ‘bcc’ lines, and other private announcements to subgroups. Our proofs involve standard modal techniques, combined with a new application of Kleene’s theorem on finite automata, as well as new Ehrenfeucht games of model comparison. (shrink)
This paper presents a framework for the generation of coherent elementary conversational sequences at the speech act level. We will embrace the notion of a cooperative dialogue game in which two players produce speech acts to transfer relevant information with respect to their commitments. Central to the approach is that participants try to achieve some sort of balanced cognitive state as a result of speech act generation and interpretation. Cognitive states of the participants change as a result of the interpretation (...) of speech acts and these changes provoke the production of a subsequent speech act. Describing the properties and the dynamics of the mental constructs that constitute the participants’ cognitive states, such as beliefs and commitments, in relation to the various dialogue contributions is an essential aspect of the game. Although simple in its basic form, the framework enables us to produce abstract conversations with some properties that agree strikingly with coherence structures found in, for instance, Conversation Analysis. (shrink)
We investigate topological properties of subsets S of the real plane, expressed by first-order logic sentences in the language of the reals augmented with a binary relation symbol for S. Two sets are called topologically elementary equivalent if they have the same such first-order topological properties. The contribution of this paper is a natural and effective characterization of topological elementary equivalence of closed semi-algebraic sets.
The Idea of History is the best-known book of the great Oxford philosopher, historian, and archaeologist R.G. Collingwood. It was originally published posthumously in 1946, having been mainly reconstructed from Collingwood's manuscripts, many of which are now lost. For this revised edition, Collingwood's most important lectures on the philosophy of history are published here for the first time. These texts have been prepared by Jan van der Dussen from manuscripts that have only recently become available. The lectures contain Collingwood's first (...) comprehensive statement of his philosophy of history; they are therefore essential for a full understanding of his thought, and in particular for a correct interpretation of The Idea of History itself. Van der Dussen contributes a substantial introduction in which he explains the background to this new edition and surveys the scholarship of the last fifty years. (shrink)
We explore some logics of change, focusing on commands to change the world in such a way that certain elementary propositions become true or false. This investigation starts out from the following two simplifying assumptions: (1) the world is a collection of facts (Wittgenstein), and (2), the world can be changed by changing elementary facts (Marx). These assumptions allow us to study the logic of imperatives in the simplest possible setting.
The Idea of History is the best-known book of the great Oxford philosopher, historian, and archaeologist R.G. Collingwood. It was originally published posthumously in 1946, having been mainly reconstructed from Collingwood's manuscripts, many of which are now lost. For this revised edition, Collingwood's most important lectures on the philosophy of history are published here for the first time. These texts have been prepared by Jan van der Dussen from manuscripts that have only recently become available. The lectures contain Collingwood's first (...) comprehensive statement of his philosophy of history; they are therefore essential for a full understanding of his thought, and in particular for a correct interpretation of The Idea of History itself. Van der Dussen contributes a substantial introduction in which he explains the background to this new edition and surveys the scholarship of the last fifty years. This edition adds to T. M. Knox first edition the following unpublished Manuscripts or Lectures: 1. Preliminary Discussion: The Idea of a Philosophy of Something, and, in particular, a Philosophy of History (1927); 2. Lectures on the Philosophy of History (1926); 3. Outlines of a Philosophy of History (1928). (shrink)
Logical frameworks for analysing the dynamics ofinformation processing abound [4, 5, 8, 10, 12, 14, 20, 22]. Some of these frameworks focus on the dynamics of the interpretation process, some on the dynamics of the process of drawing inferences, and some do both of these. Formalisms galore, so it is felt that some conceptual streamlining would pay off. This paper is part of a larger scale enterprise to pursue the obvious parallel between information processing and imperative programming. We demonstrate that (...) logical tools from theoretical computer science are relevant for the logic of information flow. More specifically, we show that the perspective of bare logic [13, 18] can fruitfully be applied to the conceptual simplification of information flow logics. Part one of this program consisted of the analysis of 'dynamic interpretation' in this way, using the example of dynamic predicate logic ; the results were published in . The present paper constitutes the second part of the program, the analysis of 'dynamic inference'. Here we focus on Veltman’s update logic . Update logic is an example of a logical framework which takes the dynamics of drawing inferences into account by modelling information growth as discarding of possibilities. This paper shows how information logics like update logic can fruitfully be studied by linking their dynamic principles to static 'correctness descriptions'. Our theme is exemplified by providing a sound and complete HoarelPratt style deduction system for update logic. The Hoare/Pratt correctness statements use modal propositional dynamic logic as assertion language and connect update logic to the modal propositional logic S5. The connection with S5 provides a clear link between the dynamic and the static semantics of update logic. The fact that update logic is decidable was noted already in ; the connection with S5 provides an alternative proof. The S5 connection can also be used for rephrasing the validity notions of update logic and for performing consistency checks. In conclusion, it is argued that interpreting the dynamic statements of information logics as dynamic modal operators has much wider applicability. In fact, the method can be used to axiomatize quite a wide range of information logics. (shrink)
In this paper, the author defends Peter van Inwagen’s modal skepticism. Van Inwagen accepts that we have much basic, everyday modal knowledge, but denies that we have the capacity to justify philosophically interesting modal claims that are far removed from this basic knowledge. The author also defends the argument by means of which van Inwagen supports his modal skepticism, offering a rebuttal to an objection along the lines of that proposed by Geirrson. Van Inwagen argues that Stephen Yablo’s recent and (...) influential account of the relationship between conceivability and possibility supports his skeptical claims. The author’s defence involves a creative interpretation and development of Yablo’s account, which results in a recursive account of modal epistemology, what the author calls the “safe explanation” theory of modal epistemology. (shrink)
Constructive empiricism is supposed to offer a positive alternative to scientific realism that dispenses with the need for metaphysics. I first review the terms of the debate before arguing that the standard objections to constructive empiricism are not decisive. I then explain van Fraassen's views on modality and counterfactuals, and argue that, because constructive empiricism recommends on epistemological grounds belief in the empirical adequacy rather than the truth of theories, it requires that there be an objective modal distinction between the (...) observable and the unobservable. This conclusion is incompatible with van Fraassen's empiricism. Finally I explain some further problems for constructive empiricism that arise when we consider modal matters. (shrink)
Hilary Putnam and Bas C. van Fraassen have been two pivotal figures in the scientific realism debate in the second half of the twentieth century. Their initial perspectives were antithetical—defining an archetypical scientific realist position (Putnam) and a major empiricism-inspired alternative to scientific realism (van Fraassen). But as the years (and the philosophical debates) went on, there have been important lines of convergence in the stances of these two thinkers, mostly motivated by an increasing flirting with pragmatism and by a (...) growing disdain towards metaphysics. Putnam’s views went through two major turns, in a philosophical journey he aptly described as taking him “from realism back to realism” (1994, 494). Being an arch scientific realist in the 1960s and the early 1970s, he moved to a trenchant critique of metaphysical realism and the adoption of a verificationist-‘internalist’ approach (what he called pragmatic or internal realism), which he upheld roughly until the end of the twentieth century. Then he adopted a direct realist outlook, what he called “common sense” or “natural realism”, which was based on the denial of at least some of the tenets of his internalist period (e.g., the abandonment of a verificationist conception of truth), while at the same time tried to avoid “the phantasies of metaphysical realism”. It is (almost) impossible to cover all aspects of Putnam’s realist endeavours. I will therefore focus on his changing views about scientific realism. Van Fraassen occupied a space in the scientific realism debate that was left vacant by Putnam’s critique of fictionalism and verificationism, viz., an agnostic stance towards the ontological commitments of literally understood scientific theories. His positive alternative to realism, Constructive Empiricism (CE), was meant to be a position suitable for post-positivist empiricists, that is philosophers who a) take for granted the empiricist dictum that all (substantive) knowledge stems from experience; b) take science seriously (but not uncritically) as the paradigm of rational inquiry; and c) take to heart all criticism of the positivist approach to science, bound as it was to issues concerning the language of theories and the privileging of an alleged theory-neutral observational vocabulary.. (shrink)
Bas van Fraassen claims that constructive empiricism strikes a balance between the empiricist's commitments to epistemic modesty -- that one's opinion should extend no further beyond the deliverances of experience than is necessary -- and to the rationality of science. In "Should the Empiricist be a Constructive Empiricist?" I argued that if the constructive empiricist follows through on her commitment to epistemic modesty she will find herself adopting a much more extreme position than van Fraassen suggests. Van Fraassen and Bradley (...) Monton have recently responded. My purpose here is to contest their response. The goal is not merely the rebuttal of a rebuttal; there is a lesson to learn concerning the realist/anti-realist dialectic generated by van Fraassen's view. (shrink)
The 16th and 17th centuries marked a period of transition from the vitalistic ontology that had dominated Renaissance natural philosophy to the Early Modern mechanistic paradigm endorsed by, among others, the Cartesians and Newtonians. This paper focuses on how the tensions between vitalism and mechanism played themselves out in the context of 16th and 17th century chemistry and chemical philosophy. The paper argues that, within the fields of chemistry and chemical philosophy, the significant transition that culminated in the 18th century (...) Chemical Revolution was not a transition from vitalism to full-blown mechanism. Rather, chemical philosophy shifted from a vitalistic theory of matter and spirits to a naturalistic, physicalistic, and corpuscularian conception of chemical properties and reactions. Despite being naturalistic, physicalistic, and corpuscularian, however, this theory was not fully mechanistic. Special attention is paid to the contributions made by Paracelsus, Sebastien Basso, Jan Baptista van Helmont, and Robert Boyle to this ontological transition. (shrink)
In this three-part paper, my concern is to expound and defend a conception of science, close to Einstein's, which I call aim-oriented empiricism. I argue that aim-oriented empiricsim has the following virtues. (i) It solve the problem of induction; (ii) it provides decisive reasons for rejecting van Fraassen's brilliantly defended but intuitively implausible constructive empiricism; (iii) it solves the problem of verisimilitude, the problem of explicating what it can mean to speak of scientific progress given that science advances from one (...) false theory to another; (iv) it enables us to hold that appropriate scientific theories, even though false, can nevertheless legitimately be interpreted realistically, as providing us with genuine , even if only approximate, knowledge of unobservable physical entities; (v) it provies science with a rational, even though fallible and non-mechanical, method for the discovery of fundamental new theories in physics. In the third part of the paper I show that Einstein made essential use of aim-oriented empiricism in scientific practice in developing special and general relativity. I conclude by considering to what extent Einstein came explicitly to advocate aim-oriented empiricism in his later years. (shrink)
This paper criticizes the dominant approaches to presupposition projection and proposes an alternative. Both the update semantics of Heim and the discourse representation theory of van der Sandt have problems in explicating the presuppositions of disjunctions. Moreover, Heim's approach is committed to a conception of accommodation that founders on the problem of informative presuppositions, and van der Sandt's approach is committed to a conception of accommodation that generates over-interpretations of utterances. The present approach borrows Karttunen's idea that instead of associating (...) presuppositions with sentences, we should define the conditions that contexts must meet in order to satisfy-the-presuppositions-of a sentence. However, in place of Karttunen's conception of contexts in terms of common ground, the present theory substitutes a conception of contexts as objective entities that are independent of the attitudes of the interlocutors. Contexts, so conceived, may be defined as containing sets of relevant possibilities. This allows us to define the conditions under which a context satisfies-the-presuppositions-of a disjunction. (shrink)
Peter van Inwagen's brand of materialism leads him to speculate that God actually removes the deceased at the moment of death and replaces the corpse with a simulacrum that decays or is cremated. Dean Zimmerman offers an account of resurrection that is loyal to Peter van Inwagen's commitment to a materialist metaphysics, with its stress on the earlier life processes of an organism immanently causing its later ones, while maintaining that resurrection is possible without involving God in any ‘body snatching’. (...) My contention is that Zimmerman's account is metaphysically impossible. His alleged ‘solution’ is at odds with the principles governing the ways in which an organism can assimilate new parts. Instead of providing a scenario where we can be resurrected, Zimmerman has merely sketched a scenario where we are duplicated. An alternative materialist account of resurrection is offered, one in which immanent causation is not necessary. (shrink)
First, I'd like to thank Professors Van Till, Pun, and McMullin for their careful and thoughtful replies. There is a deep level of agreement among all four of us; as is customary with replies and replies to replies, however, I shall concentrate on our areas of disagreement. In the cases of Van Till and McMullin, this may give an impression of deeper disagreement than actually exists. In the case of Pun it leaves me with little to say except Yea and (...) Amen; I find no serious disagreement between us. (shrink)
We often speak of an object being composed of various other objects. We say that the deck is composed of the cards, that a road is the sum total of its sections, that a house is composed of its walls, ceilings, floors, doors, etc. Suppose we have some material objects. Here is a philosophical question: what conditions must obtain for those objects to compose something? In his recent book Material Beings, Peter van Inwagen addresses this question, which he calls the (...) ‘special composition question’; his answer is:1 (1) For any material objects X , the X s compose something iff the activity of the X s constitutes a life, or there is only one of the Xs. Additionally, he accepts a simpler thesis that follows from (1):2 (2) Every material object is either a mereological atom or a living thing, where a mereological atom is an object lacking proper parts. (2) may seem radical. If it is true then there are no tables, chairs, planets, protons, galaxies, gas stations, etc. But van Inwagen does not hold it lightly— there are serious difficulties with alternate views. Moreover, he claims that.. (shrink)
In a recent article, van Fraassen has taken issue with the use to which Perrin’s experiments on Brownian motion have been put by philosophers, especially those defending scientific realism. He defends an alternative position by analysing the details of Perrin’s case in its historical context. In this reply, I argue that van Fraassen has not done the job well enough and I extend and in some respects attempt to correct his claims by close attention to the historical details.
This essay revisits Meyer Schapiro’s critique of Heidegger’s interpretation of Van Gogh’s painting of a pair of shoes in order to raise the question of the dispute between art history and philosophy as a contest increasingly ceded to the claim of the expert and the hegemony of the museum as culture and as cult or coded signifier. Following a discussion of museum culture, I offer a hermeneutic and phenomenological reading of Heidegger’s ‘Origin of the Work of Art’ and conclude by (...) taking Heidegger’s discussion of the strife between earth and world to the site of the ancient temple of Apollo Epicurius at Bassae as an example of the insistent foreclosure of the ancient work of art and the conflicts of the pervasive efforts of modern conservation. (shrink)
, I argued that Bas van Fraassen's constructive empiricism was undermined in various ways by his antirealism about modality. Here I offer some comments and responses to the reply to my arguments by Bradley Monton and van Fraassen . In particular, after making some minor points, I argue that Monton and van Fraassen have not done enough to show that the context dependence of counterfactuals renders their truth conditions non-objective, and I also argue that adopting modal realism does after all (...) undermine the motivation for constructive empiricism. Introduction Underdetermination and epistemic modesty Counterfactual observations Modal realism and constructive empiricism. (shrink)
In Belief and the Will, van Fraassen employed a diachronic Dutch Book argument to support a counterintuitive principle called Reflection. There and subsequently van Fraassen has put forth Reflection as a linchpin for his views in epistemology and the philosophy of science, and for the voluntarism (first-person reports of subjective probability are undertakings of commitments) that he espouses as an alternative to descriptivism (first-person reports of subjective probability are merely self-descriptions). Christensen and others have attacked Reflection, taking it to have (...) unpalatable consequences. We prescind from the question of the cogency of diachronic Dutch Book arguments, and focus on Reflection's proper interpretation. We argue that Reflection is not as counterintuitive as it appears — that once interpreted properly the status of the counterexamples given by Christensen and others is left open. We show also that descriptivism can make sense of Reflection, while voluntarism is not especially well suited to do so. (shrink)
Susan Okin read Robert Nozick as taking it to be fundamental to his Libertarianism that people own themselves, and that they can acquire entitlement to other things by making them. But she thinks that, since mothers make people, all people must then be owned by their mothers, a consequence Okin finds absurd. She sees no way for Nozick to make a principled exception to the idea that people own what they make when what they make is people, concluding that Nozick’s (...) theory of entitlement must be false, and that entitlement must instead be rooted in people’s needs. I say Okin misreads Nozick’s Libertarianism. In fact, its fundamental principle is that, simply by being persons, people are entitled to the maximum negative liberty compatible with a like liberty for all persons. Further, Nozick, and Jan Narveson, who has taken on the advocacy of Libertarian ideas, analyze liberty as freedom to interact with things, and analyze being entitled to or having property in something, as freedom to interact with it, to determine what may be done with it. People therefore have such freedom to do what they want with themselves, and such freedom to do what they want with other things, as is compatible with all persons having similar freedom. The former is what self-ownership amounts to, the latter, ownership of other things. Libertarianism’s fundamental principle therefore both grounds and delimits entitlements in ways entailing that mothers don’t own persons by dint of making them. Otherwise, since it would then be the prerogative of mothers to determine what shall be done with the persons they made, the persons made would lack equal liberty, this violating the fundamental principle. (shrink)