Mathematical Logic for Computer Science is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by the needs of computer science students. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and yet sufficiently elementary for undergraduates. To provide a balanced treatment of logic, tableaux are related to deductive proof systems.The logical systems presented are:- Propositional calculus (including binary decision diagrams);- Predicate calculus;- Resolution;- Hoare logic;- Z;- (...) Temporal logic.Answers to exercises (for instructors only) as well as Prolog source code for algorithms may be found via the Springer London web site: http://www.springer.com/978-1-85233-319-5 Mordechai Ben-Ari is an associate professor in the Department of Science Teaching of the Weizmann Institute of Science. He is the author of numerous textbooks on concurrency, programming languages and logic, and has developed software tools for teaching concurrency. In 2004, Ben-Ari received the ACM/SIGCSE Award for Outstanding Contributions to Computer Science Education. (shrink)
Our world is a world of change. Children are born and grow into adults. Material possessions rust and decay with age and ultimately perish. Yet scepticism about change is as old as philosophy itself. Heraclitus, for example, argued that nothing could survive the replacement of parts, so that it is impossible to step into the same river twice. Zeno argued that motion is paradoxical, so that nothing can alter its location. Parmenides and his followers went even further, arguing that the (...) very concept of qualitative change is inconsistent. Change in any respect is impossible, they argued, as change requires difference and nothing differs from itself. Few today would accept the Eleatic conclusion that change is impossible. But the topic of change continues to be a source of much debate, as it brings together various issues that are central to metaphysics, language, and logic – including identity, persistence, time, tense, and temporal logic. Author Recommends Wasserman, Ryan. 'The Problem of Change.' Philosophy Compass 1 (2006): 1–10. This article presents the problem of change and provides a brief survey of potential solutions. Haslanger, Sally. 'Persistence Through Time.' The Oxford Handbook of Metaphysics . Eds. M. Loux and D. Zimmerman. Oxford: Oxford University Press, 2003. This article presents the problem of change and provides a detailed survey of potential solutions. Heller, Mark. 'Things Change.' Philosophy and Phenomenological Research 52 (1992): 695–704. This article presents, explains, and defends the temporal parts solution to the problem of change. Hinchliff, Mark. 'The Puzzle of Change.' Philosophical Perspectives 10 (1996): 119–36. This article presents, explains, and defends the presentist solution to the problem of change. Wasserman, Ryan. 'The Argument from Temporary Intrinsics.' Australasian Journal of Philosophy 81 (2003): 413–19. This article presents, explains, and defends the relationist solution to the problem of change. Sider, Theodore. Four-Dimensionalism . Oxford: Oxford University Press, 2001. This book provides an introduction to various issues related to the problem of change, including the nature of time, tense, and persistence. Chapter 5 presents, explains, and defends the stage-view solution to the problem of change. Online Materials Change. URL: http://plato.stanford.edu/entries/change/ The Stanford Encyclopedia of Philosophy entry on change, by Chris Mortensen. Time. URL: http://plato.stanford.edu/entries/time/ The Stanford Encyclopedia of Philosophy entry on time, by Ned Markosian. Temporal Parts. URL: http://plato.stanford.edu/entries/temporal-parts/ The Stanford Encyclopedia of Philosophy entry on temporal parts, by Katherine Hawley. Material Constitution. URL: http://plato.stanford.edu/entries/material-constitution/ The Stanford Encyclopedia of Philosophy entry on material constitution, by Ryan Wasserman. Persistence Bibliography. URL: http://tedsider.org/teaching/pp_bibliography.pdf A bibliography on change and related issues, by Theodore Sider. Sample Syllabus Books on Syllabus Rea, Michael. Material Constitution: A Reader . Lanham: Rowman & Littlefield, 1997. Sider, Theodore. Four-Dimensionalism . Oxford: Oxford University Press, 2001. van Inwagen, P. and Zimmerman, D. 2008. Metaphysics: The Big Questions . 2nd ed. Oxford: Blackwell, 2008. Week 1: Time and Tense Four-Dimensionalism , chapters 1 and 2. Markosian, Ned. 'A Defence of Presentism.' Oxford Studies in Metaphysics, Volume 1. Ed. D. Zimmerman. Oxford: Oxford University Press, 2004: 47–82. In van Inwagen, P. and Zimmerman, D. Metaphysics: The Big Questions. 2nd ed. Oxford: Blackwell, 2008: 116-123. In van Inwagen, P. and Zimmerman, D. Metaphysics: The Big Questions. 2nd ed. Oxford: Blackwell, 2008: 124-129. Week 2: Time and Persistence Four-Dimensionalism , chapter 3. McGrath, Matthew. 'Temporal Parts.' Philosophy Compass 2 (2007): 730–48. In van Inwagen, P. and Zimmerman, D. Metaphysics: The Big Questions. 2nd ed. Oxford: Blackwell, 2008: 265-267. Hawthorne, J, Scala, M., and Wasserman, R. 'Recombination, Humean Supervenience, and Causal Constraints: An Argument for Temporal Parts?' Oxford Studies in Metaphysics , Volume 1. Ed. D. Zimmerman, Oxford: Oxford University Press, 2004: 301-318. Week 3: Change and Presentism In van Inwagen, P. and Zimmerman, D. Metaphysics: The Big Questions. 2nd ed. Oxford: Blackwell, 2008: 141-149. In van Inwagen, P. and Zimmerman, D. Metaphysics: The Big Questions. 2nd ed. Oxford: Blackwell, 2008: 267-269. In van Inwagen, P. and Zimmerman, D. Metaphysics: The Big Questions. 2nd ed. Oxford: Blackwell, 2008: 269-281. Week 4: Change and Temporal Parts Four-Dimensionalism , pp. 92–8. Heller, Mark. 'Things Change.' Philosophy and Phenomenological Research 52 (1992): 695–704. Lombard, Lawrence. 'The Doctrine of Temporal Parts and the "No Change" Objection.' Philosophy and Phenomenological Research 54 (1994): 365–72. Week 5: Change, Relationism, and Adverbialism Hawley, Katherine. 'Why Temporary Properties are not Relations between Physical Objects and Times.' Proceedings of the Aristotelian Society 98 (1998): 211–16. Wasserman, Ryan. 'The Argument from Temporary Intrinsics.' Australasian Journal of Philosophy 81 (2003): 413–19. Lewis, David. 'Tensing the Copula.' Mind 111 (2002): 1–13. Caplan, Ben. 'Why so Tense about the Copula?' Mind 114 (2007): 703–8. Week 6: Change and Tropes Ehring, Douglas. 'Lewis, Temporary Intrinsics and Momentary Tropes.' Analysis 57 (1997): 254–8. MacBride, Fraser. 'Four New Ways to Change Your Shape.' Australasian Journal of Philosophy 79 (2001): 81–9. Simons, Peter. 'On Being Spread Out in Time: Temporal Parts and the Problem of Change.' Existence and Explanation . Eds. W. Spohn, B.C. van Fraassen, and B. Skyrms. Dordrecht: Kluwer, 1991: 131-147. Weeks 7 and 8: Special Topic – Material Change Four-Dimensionalism , chapter 5. Selections from Material Constitution: A Reader. Week 9: Special Topic – Change of Position In van Inwagen, P. and Zimmerman, D. Metaphysics: The Big Questions. 2nd ed. Oxford: Blackwell, 2008: 186-195. In van Inwagen, P. and Zimmerman, D. Metaphysics: The Big Questions. 2nd ed. Oxford: Blackwell, 2008: 195-215. Week 10: Special topic – Changing the Past In van Inwagen, P. and Zimmerman, D. Metaphysics: The Big Questions. 2nd ed. Oxford: Blackwell, 2008: 224-235. van Iwagen, Peter. 'Changing the Past.' Oxford Studies in Metaphysics , Volume 5 . Ed. D. Zimmerman. Oxford: Oxford University Press, 2009: 1-22. Hudson, H. and Wasserman, R. 'Van Inwagen on Time Travel and Changing the Past.' Oxford Studies in Metaphysics , Volume 5. Ed. D. Zimmerman. Oxford: Oxford University Press, 2009: 41-49. (shrink)
Recent studies of the social and political meanings of English science in the 17th century have often included only a cursory inspection of Locke's work. Conversely, detailed studies of Locke's theory of knowledge have tended to refrain from taking into serious consideration the social context of English science in that period. The paper explores the contribution of Locke's conception of experience to the rise of experimental philosophy as a new social force. It shows that Locke elaborated a doctrine that rendered (...) human experience the natural and nurtured means by which agents could discharge their duty to God and realize their right in God's dominion. Locke's account of the production of empirical knowledge thus delineated a theocentric system of a moral economy, which dovetailed with current advertisements of the new vocation of experimental philosophy. More particularly, Locke's debt to Boyle is manifested in their shared imagery of experience as a divine gift. While Boyle sought to encourage polite society to participate in cultivating the experimenter's gift, Locke propagated the view that proper conduct in the public sphere hinged on the recognition of the experimenter's findings as a new source of authority in everyday life. (shrink)
King, C. R. Touching the earth.--Tracol, H. Thus spake Beelzebub.--Nicoll, M. On the formation of a psychological body.--Fullerson, M. C. Discovery of intimate order.--Halevi, Z. ben S. Order.--Dürckheim, K. G. von. On the double origin of man.--Guenther, H. V. Towards spiritual order.--Eracle, J. The Buddhist way to deliverance.--Blofeld, J. (...) Return to the source.--Werner, K. Spiritual personality and its formation according to Indian tradition.. (shrink)
Summary 1. Ecologists and conservation biologists consider many issues when designing a field study, such as the expected value of the data, the interests of the study species, the welfare of individual organisms and the cost of the project. These different issues or values often conflict; however, neither animal ethics nor environmental ethics provides practical guidance on how to assess trade-offs between them. -/- 2. We developed a decision framework for considering trade-offs between values in ecological research, drawing on the (...) field of ecological ethics. We used a case study of the population genetics of three frog species, in which a researcher must choose between four methods of sampling DNA from the study animals. We measured species welfare as the reduction in population growth rate following sampling, and assessed individual welfare using two different definitions: (i) the level of suffering experienced by an animal, and (ii) the level of suffering combined with loss of future life. -/- 3. Tipping the tails of tadpoles ranked as the best sampling method for species welfare, while collecting whole tadpoles and buccal swabbing of adult frogs ranked best for the first and second definitions of individual welfare, respectively. Toe clipping of adult frogs ranked as the worst sampling method for species welfare and the first definition of individual welfare, and equal worst for the second definition of individual welfare. -/- 4. When considering species and individual welfare simultaneously, toe clipping was clearly inferior to the other sampling methods, but no single sampling method was clearly superior to the other three. Buccal swabbing, collecting tadpoles and tail tipping were all preferred options, depending on the definition of individual welfare and the level of precision with which we assessed species welfare. -/- 5.Synthesis and applications. The decision framework we present can be used by ecologists to assess ethical and other trade-offs when planning field studies. A formal decision analysis makes transparent how a researcher might negotiate competing ethical, financial and practical objectives. Defining the components of the decision in this way can help avoid errors associated with human judgement and linguistic uncertainty. (shrink)
Modern science has undoubtedly become one the principal engines of economic growth, even though the epistemological status of scientific knowledge has been continuously contested. Leaving the philosophical problem of knowledge aside, this paper examines how scientific discovery contributes to the production of wealth. The analysis focuses on a recent achievement at the crossroads of chemistry, immunology and biotechnology: antibody catalysis. For this purpose, we develop a model of entrepreneurial work to explain how the discovery of natural products and processes generates (...) new economic opportunities. The proposed model is based on the assumption that scientists believe that the natural environment is a repository of 'natural capital'. Natural capital includes goods that are not made by humans but can be used to produce other goods and services. The belief in natural capital induces scientists to search for and identify a natural property that, in the specific cultural context of their work, is recognized as a valuable resource. The selection of such a property forms the initial phase of the discovery process. Certain research methods are then deployed to create novel empirical conditions within which the selected property is transformed into a specific good. The discovery of natural capital thus comprises a historically accountable entrepreneurial endeavour. (shrink)
Whole-genome analysis and whole-exome analysis generate many more clinically actionable findings than traditional targeted genetic analysis. These findings may be relevant to research participants themselves as well as for members of their families. Though researchers performing genomic analyses are likely to find medically significant genetic variations for nearly every research participant, what they will find for any given participant is unpredictable. The ubiquity and diversity of these findings complicate questions about disclosing individual genetic test results. We outline an approach for (...) disclosing a select range of genetic results to the relatives of research participants who have died, developed in response to relatives? requests during a pilot study of large-scale medical genetic sequencing. We also argue that studies that disclose individual research results to participants should, at a minimum, passively disclose individual results to deceased participants? relatives. (shrink)
According to Uriah Kriegel’s self-representational theory of consciousness, mental state M is conscious just in case it is a complex with suitably integrated proper parts, M1 and M2, such that M1 is a higher-order representation of lower-order representation M2. Kriegel claims that M thereby “indirectly” represents itself, and he attempts to motivate this claim by appealing to what he regards as intuitive cases of indirect perceptual and pictorial representation. For example, Kriegel claims that it’s natural to say that in directly (...) perceiving the front surface of an apple one thereby perceives the apple itself. Cases such as this are supposed to provide intuitive support for the principle that if X represents Y, and Y is highly integrated into complex object Z, then X indirectly represents Z. In this paper I provide counterexamples to Kriegel’s principle of indirect representation, before going on to argue that we can explain what is going on in those cases in which the subject seems to represent a complex whole by representing one its parts without positing indirect representations anyway. I then argue that my alternative approach is superior to Kriegel’s in a number of ways, thereby rendering his theory of consciousness implausible. (shrink)
I have three main objectives in this essay. First, in chapter 2, I shall put forward and justify what I call worldlessness, by which I mean the following: All truths (as well as falsehoods) are wholly independent of any circumstances, not only time and place but also possible worlds. It follows from this view that whatever is actually true must be taken as true with respect to every possible world, which means that all truths are (in a sense) necessary. However, (...) the account I shall propound is different from what is known in the trade as necessitarianism, i.e. the view that there is only one possible world, viz. the actual one, for the doctrine of the worldlessness of truth values, despite its commitment to the necessity of truths and falsehoods, is quite compatible with the idea of there being other possible worlds. Another important issue in chapter 2, explored in particular in section 2.12, is the claim that there is no real change in the world. Secondly, in chapter 3 I consider the eminent traditional argument for determinism, deriving from Aristotle, namely, logical determinism, i.e. determinism justified by an appeal to the logical principle of bivalence (that all proper statements, including those concerning the future, are either true or false). In this connection I try to show that, (i), the formulation of the conclusion of this argument as "Whatever will happen will happen of necessity" is implausible, at least from the modern point of view, (ii), the formulation as "Whatever will happen will happen inevitably" is more to the point, and (iii), on the basis of the worldless and timeless aspect advocated in chapter 2, this latter formulation is quite harmless, essentially amounting to the trivial statement, "Whatever will happen will happen". Thirdly, in chapter 4 I study theological determinism, or determinism that arises from God's supposed providential control over everything that happens. In this connection, I shall survey some historical accounts of the relation between human free will and determinism (not only theological but also causal determinism); the philosophers the views of whom I shall attend to include Chrysippus, St. Augustine, Boethius and Aquinas. I shall in particular consider G.W. Leibniz' theodicean aspirations, viz. his solution to the problem of evil and, especially, his compatibilist attempts to reconcile human free will with the strictly deterministic flow of actual events. I think it is important to try to explicate Leibniz' ingenious account of these matters, since it seems that it has not been fully appreciated in the literature, not even by contemporary Leibniz scholars (such as B. Mates, R.C. Sleigh, C. Wilson, R.M. Adams and D. Rutherford). In providing the Leibnizian compatibilist solution of the problem of determinism and freedom in chapter 4, I shall utilize the approach of chapter 2. (shrink)
Semantic Automata Johan van Ben them. INTRODUCTION An attractive, but never very central idea in modern semantics has been to regard linguistic expressions ...
v. 1. Philosophy, theology and mysticism in medieval Islam -- v. 2. Early Islamic theology : the Muʻtazilites and al-Ashʻarī -- v. 3. Classical Islamic theology : the Ashʻarites.
numbers as in the following example ♦1,1♦1,2 2,3 5,4p We denote the set of formulas of this modal language by M L(k). For each modality type i, there will be an accessibility relation Ri. That is, an k-ary modal structure for the modal propositional language L will have the form..
Abstract Objectives To conduct an independent evaluation of the first phase of the Health Foundation’s Safer Patients Initiative (SPI), and to identify the net additional effect of SPI and any differences in changes in participating and non-participating NHS hospitals. Design Mixed method evaluation involving five substudies, before and after design. Setting NHS hospitals in the United Kingdom. Participants Four hospitals (one in each country in the UK) participating in the first phase of the SPI (SPI1); 18 control hospitals. Intervention The (...) SPI1 was a compound (multi-component) organisational intervention delivered over 18 months that focused on improving the reliability of specific frontline care processes in designated clinical specialties and promoting organisational and cultural change. Results Senior staff members were knowledgeable and enthusiastic about SPI1. There was a small (0.08 points on a 5 point scale) but significant (P<0.01) effect in favour of the SPI1 hospitals in one of 11 dimensions of the staff questionnaire (organisational climate). Qualitative evidence showed only modest penetration of SPI1 at medical ward level. Although SPI1 was designed to engage staff from the bottom up, it did not usually feel like this to those working on the wards, and questions about legitimacy of some aspects of SPI1 were raised. Of the five components to identify patients at risk of deterioration—monitoring of vital signs (14 items); routine tests (three items); evidence based standards specific to certain diseases (three items); prescribing errors (multiple items from the British National Formulary); and medical history taking (11 items)—there was little net difference between control and SPI1 hospitals, except in relation to quality of monitoring of acute medical patients, which improved on average over time across all hospitals. Recording of respiratory rate increased to a greater degree in SPI1 than in control hospitals; in the second six hours after admission recording increased from 40% (93) to 69% (165) in control hospitals and from 37% (141) to 78% (296) in SPI1 hospitals (odds ratio for “difference in difference” 2.1, 99% confidence interval 1.0 to 4.3; P=0.008). Use of a formal scoring system for patients with pneumonia also increased over time (from 2% (102) to 23% (111) in control hospitals and from 2% (170) to 9% (189) in SPI1 hospitals), which favoured controls and was not significant (0.3, 0.02 to 3.4; P=0.173). There were no improvements in the proportion of prescription errors and no effects that could be attributed to SPI1 in non-targeted generic areas (such as enhanced safety culture). On some measures, the lack of effect could be because compliance was already high at baseline (such as use of steroids in over 85% of cases where indicated), but even when there was more room for improvement (such as in quality of medical history taking), there was no significant additional net effect of SPI1. There were no changes over time or between control and SPI1 hospitals in errors or rates of adverse events in patients in medical wards. Mortality increased from 11% (27) to 16% (39) among controls and decreased from 17% (63) to 13% (49) among SPI1 hospitals, but the risk adjusted difference was not significant (0.5, 0.2 to 1.4; P=0.085). Poor care was a contributing factor in four of the 178 deaths identified by review of case notes. The survey of patients showed no significant differences apart from an increase in perception of cleanliness in favour of SPI1 hospitals. Conclusions The introduction of SPI1 was associated with improvements in one of the types of clinical process studied (monitoring of vital signs) and one measure of staff perceptions of organisational climate. There was no additional effect of SPI1 on other targeted issues nor on other measures of generic organisational strengthening. (shrink)
A relation on a linearly ordered structure is called semi-bounded if it is definable in an expansion of the structure by bounded relations. We study ultimate behavior of semi-bounded relations in an ordered module M over an ordered commutative ring R such that M/rM is finite for all nonzero r $\epsilon$ R. We consider M as a structure in the language of ordered R-modules augmented by relation symbols for the submodules rM, and prove several quantifier elimination results for semi-bounded relations (...) and functions in M. We show that these quantifier elimination results essentially characterize the ordered modules M with finite indices of the submodules rM. It is proven that (1) any semi-bounded k-ary relation on M is equal, outside a finite union of k-strips, to a k-ary relation quantifier-free definable in M, (2) any semibounded function from $M^{k}$ to M is equal, outside a finite union of k-strips, to a piecewise linear function, and (3) any semi-bounded in M endomorphism of the additive group of M is of the form x $\mapsto \sigmax$ , for some $\mapsto \sigma$ from the field of fractions of R. (shrink)
The politics of the popular-music business clearly showed its head at this year�s Grammy Awards. Two worthy artists were vying for New Female artists: Alicia Keys and India Arie. When the winner was called, Alicia Keys walked away with the award (and five others) while India Arie was shut out. I�m convinced that the reason Keys won was not that her work�the strong and ubiquitous Songs in A Minor �was so much better than Arie�s Acoustic Soul. It isn�t. Instead it (...) was because of the power and major push on the Grammy voters supplied by Clive Davis, the long-time music power broker who runs Keys� label, J-Records. (shrink)
The contributions in this volume treat aspects and manifestations of this cultural symbiosis, and they throw new light on authors and texts both more and less ...
