“Tell me," Wittgenstein once asked a friend, "why do people always say, it was natural for man to assume that the sun went round the earth rather than that the earth was rotating?" His friend replied, "Well, obviously because it just looks as though the Sun is going round the Earth." Wittgenstein replied, "Well, what would it have looked like if it had looked as though the Earth was rotating?” What would it have looked like if we looked at all (...) sciences from the viewpoint of Wittgenstein’s philosophy? Wittgenstein is undoubtedly one of the most influential philosophers of the twentieth century. His complex body of work has been analysed by numerous scholars, from mathematicians and physicists, to philosophers, linguists, and beyond. This volume brings together some of his central perspectives as applied to the modern sciences and studies the influence they may have on the thought processes underlying science and on the world view it engenders. The contributions stem from leading scholars in philosophy, mathematics, physics, economics, psychology and human sciences; all of them have written in an accessible style that demands little specialist knowledge, whilst clearly portraying and discussing the deep issues at hand. (shrink)

Quantitative assessments of when infectious disease outbreaks end are crucial, as resources targeted towards outbreak responses typically remain in place until outbreaks are declared over. Recent improvements and innovations in mathematical approaches for determining when outbreaks end provide public health authorities with more confidence when making end-of-outbreak declarations. Although quantitative analyses of outbreaks have a long history, more complex mathematical and statistical methodologies for analysing outbreak data were developed early in the 20th century and continue to be refined. (...) Historically, such methodologies focused primarily on factors affecting the early and middle phases of an outbreak, with less attention given to determining how and when outbreaks end. This review discusses mathematical modelling methods from the last 20 years that have been developed for determining the ends of infectious disease outbreaks, and considers factors that affect the accuracy of such determinations. When disease surveillance systems provide timely and representative data to inform models, the timings of end-of-outbreak declarations can be fine-tuned to allow outbreaks to be declared over quickly and with a low risk of being incorrect. Premature declarations that outbreaks are over can undermine earlier achievements in disease control and may result in a resurgence of cases, but unnecessary delays in declaring outbreaks over can cause significant economic and social harm. Appropriate declarations that balance the benefits of relaxing control measures against the risk of a surge in cases allow public health resources to be conserved (and economic and social pressures to be reduced) while limiting the potential for additional transmission. (shrink)

This print edition of Read's account of logical thought includes the original publication's diagrams and tables. In this excellent book, Read commences by offering an overview of past attitudes and definitions of logic. Individual chapters consider the various means by which logical processes are conceived and developed in the mind. Philosophical arguments, spatial reasoning and mathematical forms of logic are discussed in great depth, with illustrations appended where deemed necessary. Read, an academic and philosopher, employs his decades long experience (...) of teaching students about the logical disciplines to write a detailed and comprehensive accounts of logic's aspects. Throughout this work, he attempts to retain a clarity of expression which makes the concepts discussed understandable for readers previously unversed in the types of logical expression. Read also sets out the principles behind setting up a hypothesis, and highlights the common logical fallacies which crop up in human reasoning. Extensive attention is given to the process of syllogism, by which sound conclusions are drawn from the premises offered. Throughout the book, Read is attentive in defining and explaining the esoteric terminology native to logic. As well as allowing the reader swift comprehension of the various subtopics, this explanatory style confers improved flow to the book. At the conclusion we are offered many questions corresponding to each chapter: these are intended to test the reader's understanding, and enforce the mental habits of utilising logical and critical thought. First published in 1898 and subject to several editions with revisions and refinements thereafter, Logic Deductive and Inductive retains a good reputation among academics and logicians. Its successful balance between striking a concise introductory tone with an embrace of the core elements of the subject has served to preserve its popularity into the modern day. (shrink)

'Practices without foundations' is, in genesis and in effect, a discussion of the following quotation , which serves therefore as an epigraph to it: ;Nelson Goodman's discussion of the 'new riddle of induction' ... deserves comparison with Wittgenstein's work. Indeed ... the basic strategy of Goodman's treatment of the 'new riddle' is strikingly close to Wittgenstein's sceptical arguments .... Although our paradigm of Wittgenstein's problem was formulated for a mathematical problem it ... is completely general and can be applied (...) to any rule or word. In particular, if it were formulated for the language of color impressions, as Wittgenstein himself suggests, Goodman's 'grue', or something similar, would play the role of 'quus'. But the problem would not be Goodman's about induction--"Why not predict that grass, which has been grue in the past will be grue in the future?"--but Wittgenstein's about meaning: "Who is to say that in the past I didn't mean grue by 'green', so that now I should call the sky, not the grass, 'green'?" vskip9pt ;This fascinating remark of Kripke's suggests a project, that of charting out both the interpretive and philosophic points of connection and disconnection between Wittgenstein, Goodman and Kripke. That project is this dissertation. ;My work severely tests Kripke's remark. For I argue that Kripke not only misreads Wittgenstein, but also mistakes the extremity of the 'scepticism' of his version of Wittgenstein for the priority of the philosophical puzzle that Goodman has bequeathed to us. ;To reach this conclusion, I show that Kripke's Wittgenstein's 'meaning-scepticism' is unanswerable if statable, but actually unstatable; and that, under certain interpretations, the same is true of putative scepticisms derivable from Goodman's text. The upshot is that the sceptical reading of most twentieth century philosophy must be displaced in favour of 'post-scepticism' and 'philosophical ethnography'. The latter concepts, sketched toward the end of the dissertation, are perhaps its telos. (shrink)

Anti-exceptionalism about logic is the doctrine that logic does not require its own epistemology, for its methods are continuous with those of science. Although most recently urged by Williamson, the idea goes back at least to Lakatos, who wanted to adapt Popper's falsicationism and extend it not only to mathematics but to logic as well. But one needs to be careful here to distinguish the empirical from the a posteriori. Lakatos coined the term 'quasi-empirical' `for the counterinstances to putative (...) class='Hi'>mathematical and logical theses. Mathematics and logic may both be a posteriori, but it does not follow that they are empirical. Indeed, as Williamson has demonstrated, what counts as empirical knowledge, and the role of experience in acquiring knowledge, are both unclear. Moreover, knowledge, even of necessary truths, is fallible. Nonetheless, logical consequence holds in virtue of the meaning of the logical terms, just as consequence in general holds in virtue of the meanings of the concepts involved; and so logic is both analytic and necessary. In this respect, it is exceptional. But its methodologyand its epistemology are the same as those of mathematics and science in being fallibilist, and counterexamples to seemingly analytic truths are as likely as those in any scientic endeavour. What is needed is a new account of the evidential basis of knowledge, one which is, perhaps surprisingly, found in Aristotle. (shrink)

We make some remarks on the mathematics and metaphysics of the hole argument, in response to a recent article in this journal by Weatherall ([2018]). Broadly speaking, we defend the mainstream philosophical literature from the claim that correct usage of the mathematics of general relativity `blocks' the argument.

Frege’s project has been characterized as an attempt to formulate a complete system of logic adequate to characterize mathematical theories such as arithmetic and set theory. As such, it was seen to fail by Gödel’s incompleteness theorem of 1931. It is argued, however, that this is to impose a later interpretation on the word ‘complete’ it is clear from Dedekind’s writings that at least as good as interpretation of completeness is categoricity. Whereas few interesting first-order mathematical theories are (...) categorical or complete, there are logical extensions of these theories into second-order and by the addition of generalized quantifiers which are categorical. Frege’s project really found success through Gödel’s completeness theorem of 1930 and the subsequent development of first- and higher-order model theory. (shrink)

General-elimination harmony articulates Gentzen’s idea that the elimination-rules are justified if they infer from an assertion no more than can already be inferred from the grounds for making it. Dummett described the rules as not only harmonious but stable if the E-rules allow one to infer no more and no less than the I-rules justify. Pfenning and Davies call the rules locally complete if the E-rules are strong enough to allow one to infer the original judgement. A method is given (...) of generating harmonious general-elimination rules from a collection of I-rules. We show that the general-elimination rules satisfy Pfenning and Davies’ test for local completeness, but question whether that is enough to show that they are stable. Alternative conditions for stability are considered, including equivalence between the introduction- and elimination-meanings of a connective, and recovery of the grounds for assertion, finally generalizing the notion of local completeness to capture Dummett’s notion of stability satisfactorily. We show that the general-elimination rules meet the last of these conditions, and so are indeed not only harmonious but also stable. (shrink)

Supposing that one is already familiar with special relativistic physics, what constitutes the best route via which to arrive at the architecture of the general theory of relativity? Although the later Einstein would stress the significance of mathematical and theoretical principles in answering this question, in this article we follow the lead of the earlier Einstein (circa 1916) and stress instead how one can go a long way to arriving at the general theory via inductive and empirical principles, without (...) invoking presumptions concerning the geometrical structure of the final theory. We focus on the construction of the kinematical structure and the terms describing the coupling of matter to gravity. General covariance, understood and employed as a straightforward extrapolation of empirical considerations, is central to our derivation, together with what we dub the `Methodological Equivalence Principle'. We argue that our approach has a number of virtues, both for one's understanding of the general theory of relativity, but also for pedagogy, since it stresses---to the greatest extent possible (a lesson which we inherit from Bell, [1976])---both the methodological precedence of dynamical considerations to interpretative issues and the theoretical continuity between general relativity and its precursors. We conclude by comparing our approach to other philosophical approaches to general relativity and discussing the significance of empirically motivated methodological principles in the philosophy of science. (shrink)

Models of intertemporal choice draw on three evaluation rules, which we compare in the restricted domain of choices between smaller sooner and larger later monetary outcomes. The hyperbolic discounting model proposes an alternative-based rule, in which options are evaluated separately. The interval discounting model proposes a hybrid rule, in which the outcomes are evaluated separately, but the delays to those outcomes are evaluated in comparison with one another. The tradeoff model proposes an attribute-based rule, in which both outcomes and delays (...) are evaluated in comparison with one another: People consider both the intervals between the outcomes and the compensations received or paid over those intervals. We compare highly general parametric functional forms of these models by means of a Bayesian analysis, a method of analysis not previously used in intertemporal choice. We find that the hyperbolic discounting model is outperformed by the interval discounting model, which, in turn, is outperformed by the tradeoff model. Our cognitive modeling is among the first to offer quantitative evidence against the conventional view that people make intertemporal choices by discounting the value of future outcomes, and in favor of the view that they directly compare options along the time and outcome attributes. (shrink)

Recent work in the physics literature demonstrates that, in particular classes of rotating spacetimes, physical light rays in general do not traverse null geodesics. Having presented this result, we discuss its philosophical significance, both for the clock hypothesis (and, in particular, a recent purported proof thereof for light clocks), and for the operational meaning of the metric field. 1Introduction 2Fletcher's Theorem 2.1Maudlin on the clock hypothesis in special relativity 2.2Fletcher’s result in special relativity 2.3Fletcher’s theorem in general relativity 3Electromagnetism and (...) the Geometrical-Optical Limit 3.1Maxwell’s equations in curved spacetime 3.2The geometrical-optical limit 3.3Rotating spacetimes 3.4Aren’t Gödel spacetimes unphysical? 4The Clock Hypothesis and Chronogeometry 4.1Natural and mathematical observations 4.2Clock registry discord 4.3Chronogeometry 5Conclusion. (shrink)

Gabriel Nuchelmans, Dilemmatic arguments. Towards a history of their logic and rhetoric. Amsterdam, New York, Oxford, Tokyo:North-Holland, 1991. 152pp. No price stated Francis P. Dinneen, Peter of Spain:language in dispute. Amsterdam and Philadelphia: John Benjamins Publishing Company, 1990. xxxix + 271 pp. Hfl. 110/$58.00 Charles H. Manekin, The logic of Gersonides. A translation of Sefer ha-heqqesh ha-yashar of Rabbi Levi ben Gershom with introduction, commentary and analytical glossary. Dordrecht, Boston and London:Kluwer Academic Publishers, 1992. xii + 341 pp. £61.00 F. (...) P. Ramsey, Notes on philosophy, probability and mathematics. Edited by Maria Carla Galavotti. Naples:Bibliopolis, 1991 [published 1992]. 349 pp. No price stated Thomas Drucker, Perspectives on the History of Mathematical Logic. Boston, Basel, Berlin; Birkhäuser, 1991. xxiii 4- 195 pp. 108 SFr./128 DM J.P. Cleave, A study of logics. Oxford:Clarendon Press, 1991. xiii + 417 pp. £65.00 Hartry Field, Realism, mathematics and modality. Oxford and Cambridge :Blackwell, 1989. viii + 290 pp. £14.95 T.E. Forster, Set theory with a universal set, exploring an untyped universe. Oxford:Clarendon Press, 1992. viii + 152 pp., £25.00 Mark Sainsbury, Logical forms:an introduction to philosophical logic. Cambridge, Mass, and Oxford: Basil Blackwell Publishers, 1991. viii + 398 pp. £40.00, £11.95 L.C. Burns, Vagueness. An investigation into natural languages and the sorites paradox. Dordrecht, Boston and London:Kluwer, 1991. xii + 202 pp. dollar;130.00/£74.00/Dfl 130 Douglas Walton, Slippery slope arguments. Oxford:The Clarendon Press, 1992. xi + 296 pp. £35.00 Bas Van Fraassen, Quantum mechanics. An empiricist view. Oxford:Clarendon Press, 1991. xvi + 541 pp. £50.00 /£17.50 R. Giuntini, Quantum logic and hidden variables. Mannheim, Vienna and Zürich:BI-Wissenschaf ts-verlag, 1991. x + 184 pp. No price stated W. Spohn, B.C. Van Fraassn And B. Skyrms, Existence and explanation:essays presented in honor of Karel Lambert. Dordrect, Boston and London: Kluwer Academic Publishers, 1991. xii 4- 243 pp. £56.00 Michele Di Francesco, Il realismo analitico. Logica, ontologia e significato nel primo Russell Milan:Guerini, 1991. 269 pp. 30,000 Lire Kenneth Blackwell and Carl Spadont, A detailed catalogue of the second archives of Bertrand Russell. Bristol:Thoemmes Press, 1992. xxvi + 433 pp. £60.00. (shrink)

Salmon has argued that science provides explanations by describing a causal nexus: For Salmon, this nexus is a network of processes and interactions. I argue that this picture of the causal nexus is insufficient for an account of scientific explanation: a taxonomy of causal relevance is also needed. ;Probabilistic theories of causation seem to provide such a taxonomy in their dichotomy between promoting and inhibiting causes. However, standard probabilistic theories are beset by a difficulty called the problem of disjunctive factors. (...) According to such theories, an effect is more probable in the presence of a cause than in its absence . But there are many ways in which a particular cause may come about, and many in which it may be absent; these ways need not confer the same probabilities upon the effect. Thus, there is no direct comparison of two probabilities to be made. My solution is to abandon the oversimplified dichotomy between promoting and inhibiting causes. Causal claims convey qualitative information about more complex probabilistic relationships. Interestingly, this picture of causation meshes naturally with extant theories of explanation. ;I show how this framework may be employed in resolving several outstanding problems in the theories of causation and explanation, such as the relationship between singular and general causal claims, and the role of contrastive stress in causal and explanatory claims. ;Finally, I show how my account of causal explanation can be connected with the semantic conception of scientific theories. According to this conception, a theory is characterized in terms of a class of mathematical models. I describe the relationship between these mathematical models and the probabilistic relationships that are described by causal explanations. These ideas are illustrated in an extended discussion of causation and explanation in evolutionary theory. (shrink)

Introduction Contrary to a widespread assumption the modern history of modal logic did not start with C. I. Lewis’ Survey of Symbolic Logic [Lewis 1918]. His eminent work was preceded by some 20 years by H. MacColl’s fifth article on ‘The Calculus of Equivalent Statements’. This article was read at the London Mathematical Society on 12 November 1896. Some months later it was published in the Society’s Proceedings [MacColl 1896-1897]. During the following years MacColl presented his logic prim...

Introduction Contrary to a widespread assumption the modern history of modal logic did not start with C. I. Lewis’ Survey of Symbolic Logic [Lewis 1918]. His eminent work was preceded by some 20 years by H. MacColl’s fifth article on ‘The Calculus of Equivalent Statements’. This article was read at the London Mathematical Society on 12 November 1896. Some months later it was published in the Society’s Proceedings [MacColl 1896-1897]. During the following years MacColl presented his logic prim...

Jeffrey Barrett presents the most comprehensive study yet of a problem that has puzzled physicists and philosophers since the 1930s. The standard theory of quantum mechanics is in one sense the most successful physical theory ever, predicting the behaviour of the basic constituents of all physical things; no other theory has ever made such accurate empirical predictions. However, if one tries to understand the theory as providing a complete and accurate framework for the description of the behaviour of all physical (...) interactions, it becomes evident that the theory is ambiguous, or even logically inconsistent. The most notable attempt to formulate the theory so as to deal with this problem, the quantum measurement problem, was initiated by Hugh Everett III in the 1950s. Barrett gives a careful and challenging examination and evaluation of the work of Everett and those who have followed him. His informal approach, minimizing technicality, will make the book accessible and illuminating for philosophers and physicists alike. Anyone interested in the interpretation of quantum mechanics should read it. (shrink)

Edited book on the prospects of non-Platonist realism in the philosophy of mathematics. Physicalism holds that mathematics studies properties realised or realisable in the physical world. This collection of papers has its origin in a conference held at the University of Toronto in June of 1988. The theme of the conference was Physicalism in Mathematics: Recent Work in the Philosophy of Mathematics. At the conference, papers were read by Geoffrey Hellman (Minnesota), Yvon Gauthier (Montreal), Michael Hallett (McGill), Hartry Field (USC), (...) Bob Hale (Lancaster & St Andrew's), Alasdair Urquhart (Toronto) and Penelope Maddy (Irvine). This volume supplements updated versions of six of those papers with contributions by Jim Brown (Toronto), John Bigelow (La Trobe), John Burgess (Princeton), Chandler Davis (Toronto), David Papineau (Cambridge), Michael Resnik (North Carolina at Chapel Hill), Peter Simons (Salzburg) and Crispin Wright (St Andrews & Michigan). Together they provide a vivid, expansive snapshot of the exciting work which is currently being carried out in philosophy of mathematics. (shrink)

In a pair of very important papers, namely “Space, Time and Individuals” in the Journal of Philosophy for October 1955 and “The Indestructibility and Immutability of Substances” in Philosophical Studies for April 1956, Professor N. L. Wilson began something which badly needed beginning, namely the construction of a logically rigorous “substance-language” in which we talk about enduring and changing individuals as we do in common speech, as opposed to the “space-time” language favoured by very many mathematical logicians, perhaps most (...) notably by Quine. This enterprise of Wilson's is one with which I could hardly sympathize more heartily than I do; and one wishes for this logically rigorous “substance-language” not only when one is reading Quine but also when one is reading many other people. How fantastic it is, for instance, that Kotarbinski1 should call his metaphysics “Reism” when the very last kind of entity it has room for is things —instead of them it just has the world-lines or life-histories of things; “fourdimensional worms”, as Wilson says. Wilson, moreover, has at least one point of superiority to another rebel against space-time talk, P. F. Strawson; namely he does seriously attempt to meet formalism with formalism—to show that logical rigour is not a monopoly of the other side. At another point, however, Strawson seems to me to see further than Wilson; he is aware that substance-talk cannot be carried on without tenses, whereas Wilson tries to do without them. Wilson, in short, has indeed brought us out of Egypt; but as yet has us still wandering about the Sinai Peninsula; the Promised Land is a little further on than he has taken us. (shrink)

It is proposed that the physical structure of an observer in quantum mechanics is constituted by a pattern of elementary localized switching events. A key preliminary step in giving mathematical expression to this proposal is the introduction of an equivalence relation on sequences of spacetime sets which relates a sequence to any other sequence to which it can be deformed without change of causal arrangement. This allows an individual observer to be associated with a finite structure. The identification of (...) suitable switching events in the human brain is discussed. A definition is given for the sets of sequences of quantum states which such an observer could occupy. Finally, by providing an a priori probability for such sets, the definitions are incorporated into a complete mathematical framework for a many-worlds interpretation. At a less ambitious level, the paper can be read as an exploration of some of the technical and conceptual difficulties involved in constructing such a framework. (shrink)

The solution attributed to Archytas for the problem of doubling the cube is a landmark of the pre-Euclidean mathematics. This paper offers textual arguments for a new reading of the text of Archytas’ solution for doubling the cube, and an approach to the solution which fits closely with the new reading. The paper also reviews modern attempts to explain the text, which are as complicated as the original, and its connections with some xvi-century mathematical results, without any (...) documented relation to Archytas’ doubling the cube. (shrink)

The Compactness Theorem The compactness theorem is a fundamental theorem for the model theory of classical propositional and first-order logic. As well as having importance in several areas of mathematics, such as algebra and combinatorics, it also helps to pinpoint the strength of these logics, which are the standard ones used in mathematics and arguably … Continue reading Compactness →.

Here we elucidate a paradox: how a single chemoattractant‐receptor system in two individuals is used for communication despite the seeming inevitability of self‐excitation. In the filamentous fungus Neurospora crassa, genetically identical cells that produce the same chemoattractant fuse via the homing of individual cell protrusions toward each other. This is achieved via a recently described “ping‐pong” pulsatile communication. Using a generic activator‐inhibitor model of excitable behavior, we demonstrate that the pulse exchange can be fully understood in terms of two excitable (...) systems locked into a stable oscillatory pattern of mutual excitation. The most puzzling properties of this communication are the sudden onset of oscillations with final amplitude, and the absence of seemingly inevitable self‐excitation. We show that these properties result directly from both the excitability threshold and refractory period characteristic of excitable systems. Our model suggests possible molecular mechanisms for the ping‐pong communication. (shrink)

George Berkeley, Bishop of Cloyne, was an Irish philosopher and divine who pursued a number of grand causes, contributing to the fields of economics, mathematics, political theory and theology. He pioneered the theory of 'immaterialism', and his work ranges over many philosophical issues that remain of interest today. This volume offers a complete and accurate edition of Berkeley's extant correspondence, including letters written both by him and to him, supplemented by extensive explanatory and critical notes. Alexander Pope famously said 'To (...) Berkeley every virtue under heaven', and a careful reading of the letters reveals a figure worthy of admiration, sheds new light on his personal and intellectual life, and provides insight into the broad historical and philosophical currents of his time. The volume will be an invaluable resource for philosophers, modern historians and those interested in Anglo-Irish culture. (shrink)

Husserl’s phenomenology is what is used, and then the conception of “bracketing reality” is modelled to generalize Peano arithmetic in its relation to set theory in the foundation of mathematics. The obtained model is equivalent to the generalization of Peano arithmetic by means of replacing the axiom of induction with that of transfinite induction. A comparison to Mach’s doctrine is used to be revealed the fundamental and philosophical reductionism of Husserl’s phenomenology leading to a kind of Pythagoreanism in the final (...) analysis. (shrink)

Timelines is an inquiry into the nature of time, both as an apparent feature of the external physical world and as a fundamental feature of our experience of ourselves in the world. The organization of this book makes it easy to consider a single topic or to read straight through, starting with introductory content and running through rigorous treatments of current research and controversy in philosophy and science. Its format is unique, where each topic is covered by one page of (...) 'front notes' and a facing page of analysis, defense and commentary. Facing pages consist of short essays and citations as well as compact verse compositions that are intended to capture aspects of our temporal experience that are difficult to address with normal descriptive sentences. The principal argument of Timelines is that our coventional ideas about time are largely mistaken and that what we think of as independent physical time is actually our calibration of a certain relation between events. Namely, the relation between time-keeping events and the causal sequential differences of physical processes which are real and independent of us. (shrink)

Is logic masculine? Is women's lack of interest in the "hard core" philosophical disciplines of formal logic and semantics symptomatic of an inadequacy linked to sex? Is the failure of women to excel in pure mathematics and mathematical science a function of their inability to think rationally? Andrea Nye undermines the assumptions that inform these questions, assumptions such as: logic is unitary, logic is independenet of concrete human relations, and logic transcends historical circumstances as well as gender. In a (...) series of studies of the logics of historical figures--Parmenides, Plato, Aristotle, Zeno, Abelard, Ockham, and Frege--she traces the changing interrelationships between logical innovation and oppressive speech strategies, showing that logic is not transcendent truth but abstract forms of language spoken by men, whether Greek ruling citizens, or scientists. (shrink)

Rene Descartes credited his success in philosophy, mathematics, and physics to the discovery of a universal method of inquiry, but he provided no systematic description of his method. _Descartes and Method_ carefully examines Descartes' scattered remarks on his application and puts forward a systematic account of his method with particular attention to the role it plays in the _Meditations_. Daniel E. Flage and Clarence A. Bonnen boldly and convincingly argue against the orthodox conception that Descartes had no method. Through a (...) rigorous and thorough examination, Flage and Bonnen unearth and explain the role of the method of analysis in the _ Meditations_. _Descartes and Method_ is a ground-breaking book that is sure to make a considerable impact on the philosophy community. Anyone wishing to gain a new understanding of Descartes's _Meditations_ should read this book. (shrink)

This monograph is the first integral study of the views of the Austro-English philosopher Ludwig Wittgenstein to appear in Soviet literature, and it is presented in close connection with an analysis of his relations with his contemporaries. The book sheds light on the sociocultural sources of Wittgenstein's philosophy, and it analyzes his book On Certainty for the first time, gives a new reading of his Notebooks, 1914-1916 and a number of other sketches, and very exhaustively treats his lectures on (...) the foundations of mathematics. The book is a critical analysis of the evolution of the philosophical views of Wittgenstein and sheds light on the personal motives behind his philosophical ideas and conceptions. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Leibniz & Clarke: A Study of Their Correspondence by Ezio VailatiJan A. CoverEzio Vailati. Leibniz & Clarke: A Study of Their Correspondence. New York and Oxford: Oxford University Press, 1997. Pp. xii + 250. Cloth, $45.00.When Leibniz received the 1710 issue of the Royal Society’s Philosophical Transactions in early 1711, he read John Keill’s public charge that he had stolen the calculus from Newton. Leibniz twice sought amends (...) from the Society in the form of a retraction, in response to which a committee was formed to investigate and issue a report. The resulting Commercium epistolicum, written by the good Isaac Newton himself and condemning Leibniz, was published in early 1713. In Vienna at the time, Leibniz learned of its contents in a June letter from Johann Bernoulli, who complained about this “scarcely civilized way” of holding what was in effect a tribunal from which the chief witness was absent. By year’s end Leibniz had enlisted Wolff to see into print Leibniz’s anonymous statement—overstatement, in fact—of his case, and nine months later Keill replied with an equally overstated rejoinder. Late autumn of 1714 found Leibniz back in Hannover, suffering from gout and the tiresome pressure to advance his work on the history of the house of Brunswick-Lüneburg. If only he felt better and had more free time, he could collect his mathematical papers and set an end to the dispute by writing his own Commercium epistolicum: as it was (Leibniz told Wolff in the spring of 1715), he had no intention of giving Newton’s cronies the luxury of his time.The Leibniz-Clarke exchange began in the shadows of this dispute, contributing to Leibniz’s already established distaste for parts of British philosophy. Already in 1690 he was describing (to Huygens and others) Newton’s gravitational attraction as “inexplicable.” Soon after Leibniz was surprised to discover that Locke had accepted Newtonian attraction in the second edition of the Essay—surprised, at least, until he came to see it as part and parcel of the dangerous idea that God could attach any old property whatever to matter if He chose, including thought. Materialism and frequent miracles [End Page 533] were just around the corner, and from there it was a short distance to the mortality of the soul, and a mean view of God’s power; the decay of natural theology itself could only follow. Leibniz’s misgivings didn’t see the light of day in the early 1700s, when he penned them in the Preface to the Nouveaux Essais; but he went out of his way to work an explicit complaint about Mr. Newton and Mr. Locke into the Théodicée of 1710 (§19 of the Preliminary Discourse). The calculus dispute followed. By the time Leibniz got round to writing Princess Caroline about the dispute in a letter of May 1715, he was insisting that the Newtonians deserved public censure, and that the Britons deserved Leibniz as historiographer of England. For her own part, Caroline now wondered if Samuel Clarke, who had translated Newton’s Opticks into Latin, would in the end be unbiased enough to translate Leibniz’s Théodicée into English. Moreover Caroline doubted that Clarke’s notion of the soul was theologically innocent. Replying in November, Leibniz summarized his view that natural religion was in great decline in England, and the famous exchange began.Despite there being no monograph devoted to it until now, the Correspondence ıs (and was) famous. If a book-length study is overdue, so perhaps are three reminders—that a significant portion of the Correspondence is devoted to issues other than space and time and gravitation, that the depth to which its issues are pursued was compromised by impatience on the side of both parties, and that Clarke’s philosophical views aren’t so well-understood as Leibniz’s own. Nowhere does Vailati set out to make these points explicitly, but they emerge over the course of his book, and together with exegetical soundness are its chief contributions. While this volume makes no historical or philosophical waves, it indirectly (perhaps unwittingly) explains why none are readily forthcoming in a book... (shrink)

Once Hilbert asserted that the axioms of a theory `define` theprimitive concepts of its language `implicitly''. Thus whensomeone inquires about the meaning of the set-concept, thestandard response reads that axiomatic set-theory defines itimplicitly and that is the end of it. But can we explainthis assertion in a manner that meets minimum standards ofphilosophical scrutiny? Is Jané (2001) wrong when hesays that implicit definability is ``an obscure notion''''? Doesan explanation of it presuppose any particular view on meaning?Is it not a scandal (...) of the philosophy of mathematics that no answersto these questions are around? We submit affirmative answers to allquestions. We argue that a Wittgensteinian conception of meaninglooms large beneath Hilbert''s conception of implicit definability.Within the specific framework of Horwich''s recent Wittgensteiniantheory of meaning called semantic deflationism, we explain anexplicit conception of implicit definability, and then go on toargue that, indeed, set-theory, defines the set-conceptimplicitly according to this conception. We also defend Horwich''sconception against a recent objection from the Neo-Fregeans Hale and Wright (2001). Further, we employ the philosophicalresources gathered to dissolve all traditional worries about thecoherence of the set-concept, raisedby Frege, Russell and Max Black, and whichrecently have been defended vigorously by Hallett (1984) in hismagisterial monograph Cantorian set-theory and limitationof size. Until this day, scandalously, these worries havebeen ignored too by philosophers of mathematics. (shrink)

The Compactness Theorem The compactness theorem is a fundamental theorem for the model theory of classical propositional and first-order logic. As well as having importance in several areas of mathematics, such as algebra and combinatorics, it also helps to pinpoint the strength of these logics, which are the standard ones used in mathematics and arguably … Continue reading Compactness Theorem →.

Since the validity of Bell's inequalities implies the existence of joint probabilities for non-commuting observables, there is no universal consensus as to what the violation of these inequalities signifies. While the majority view is that the violation teaches us an important lesson about the possibility of explanations, if not about metaphysical issues, there is also a minimalist position claiming that the violation is to be expected from simple facts about probability theory. This minimalist position is backed by theorems due to (...) A. Fine and I. Pitowsky.Our paper shows that the minimalist position cannot be sustained. To this end,we give a formally rigorous interpretation of joint probabilities in thecombined modal and spatiotemporal framework of `stochastic outcomes inbranching space-time' (SOBST) (Kowalski and Placek, 1999; Placek, 2000). We show in this framework that the claim that there can be no joint probabilities fornon-commuting observables is incorrect. The lesson from Fine's theorem is notthat Bell's inequalities will be violated anyhow, but that an adequate modelfor the Bell/Aspect experiment must not define global joint probabilities. Thus we investigate the class of stochastic hidden variable models, whichprima facie do not define such joint probabilities. The reasonwhy these models fail supports the majority view: Bell's inequalities are notjust a mathematical artifact. (shrink)

Technical chronology establishes the structure of calendars and the dates of events; it is, as it were, the foundation of history, particularly ancient history. The chronologer must know enough philology to interpret texts and enough astronomy to compute the dates of celestial phenomena, above all eclipses, which alone provide absolute dates. Joseph Scaliger, so we are told, was the first to master and apply this range of technical skills: Of the mathematical principles on which the calculation of periods rests, (...) the philologians understood nothing. The astronomers, on their side, had not yet undertaken to apply their data to the records of ancient times. Scaliger was the first of the philologians who made use of the improved astronomy of the sixteenth century to get a scientific basis for historical chronology. So Mark Pattison. This verdict can be challenged on a number of grounds. The one relevant at present is simple: Scaliger himself claimed far less. He certainly said that technical chronology had been untouched in modern times — not an entirely fair judgement — but in antiquity it had been practised in exactly the manner he considered proper, or so he believed. In particular he singles out Censorinus, whose De die natali drew extensively on Varro's lost Antiquitates rerum humanarum, books 14–19, for information on chronology. Students of Varro have long appreciated the importance of Censorinus. His dry and compact treatise offers Varronian views on etymology, the human life-span, and the course of history itself, all couched in language so jejune as to suggest that he added little or nothing to what he read. (shrink)

Technical chronology establishes the structure of calendars and the dates of events; it is, as it were, the foundation of history, particularly ancient history. The chronologer must know enough philology to interpret texts and enough astronomy to compute the dates of celestial phenomena, above all eclipses, which alone provide absolute dates. Joseph Scaliger, so we are told, was the first to master and apply this range of technical skills: Of the mathematical principles on which the calculation of periods rests, (...) the philologians understood nothing. The astronomers, on their side, had not yet undertaken to apply their data to the records of ancient times. Scaliger was the first of the philologians who made use of the improved astronomy of the sixteenth century to get a scientific basis for historical chronology. So Mark Pattison. This verdict can be challenged on a number of grounds. The one relevant at present is simple: Scaliger himself claimed far less. He certainly said that technical chronology had been untouched in modern times — not an entirely fair judgement — but in antiquity it had been practised in exactly the manner he considered proper, or so he believed. In particular he singles out Censorinus, whose De die natali drew extensively on Varro's lost Antiquitates rerum humanarum, books 14–19, for information on chronology. Students of Varro have long appreciated the importance of Censorinus. His dry and compact treatise offers Varronian views on etymology, the human life-span, and the course of history itself, all couched in language so jejune as to suggest that he added little or nothing to what he read. (shrink)

In 1885, Georg Cantor published his review of Gottlob Frege's Grundlagen der Arithmetik . In this essay, we provide its first English translation together with an introductory note. We also provide a translation of a note by Ernst Zermelo on Cantor's review, and a new translation of Frege's brief response to Cantor. In recent years, it has become philosophical folklore that Cantor's 1885 review of Frege's Grundlagen already contained a warning to Frege. This warning is said to concern the defectiveness (...) of Frege's notion of extension. The exact scope of such speculations varies and sometimes extends as far as crediting Cantor with an early hunch of the paradoxical nature of Frege's notion of extension. William Tait goes even further and deems Frege 'reckless' for having missed Cantor's explicit warning regarding the notion of extension. As such, Cantor's purported inkling would have predated the discovery of the Russell-Zermelo paradox by almost two decades. In our introductory essay, we discuss this alleged implicit (or even explicit) warning, separating two issues: first, whether the most natural reading of Cantor's criticism provides an indication that the notion of extension is defective; second, whether there are other ways of understanding Cantor that support such an interpretation and can serve as a precisification of Cantor's presumed warning. (shrink)

Rene Descartes credited his success in philosophy, mathematics, and physics to the discovery of a universal method of inquiry, but he provided no systematic description of his method. _Descartes and Method_ carefully examines Descartes' scattered remarks on his application and puts forward a systematic account of his method with particular attention to the role it plays in the _Meditations_. Daniel E. Flage and Clarence A. Bonnen boldly and convincingly argue against the orthodox conception that Descartes had no method. Through a (...) rigorous and thorough examination, Flage and Bonnen unearth and explain the role of the method of analysis in the _ Meditations_. _Descartes and Method_ is a ground-breaking book that is sure to make a considerable impact on the philosophy community. Anyone wishing to gain a new understanding of Descartes's _Meditations_ should read this book. (shrink)

This Handbook reviews a wealth of research in cognitive and educational psychology that investigates how to enhance learning and instruction to aid students struggling to learn and to advise teachers on how best to support student learning. The Handbook includes features that inform readers about how to improve instruction and student achievement based on scientific evidence across different domains, including science, mathematics, reading and writing. Each chapter supplies a description of the learning goal, a balanced presentation of the current (...) evidence about the efficacy of various approaches to obtaining that learning goal, and a discussion of important future directions for research in this area. It is the ideal resource for researchers continuing their study of this field or for those only now beginning to explore how to improve student achievement. (shrink)

The two greatest mathematicians of the early twentieth century, David Hilbert and Henri Poincaré transformed the mathematics of their time. Their personal interaction was infrequent, until Hilbert invited Poincaré to deliver the first Wolfskehl Lectures in Göttingen in the spring of 1909. A correspondence ensued, which fixed the content and timing of the lecture series. A close reading of the exchange throws light on what Hilbert wanted Poincaré to talk about, and on what Poincaré wanted to present to Hilbert (...) and his colleagues. To answer the latter question, reference is made to the published version of Poincaré’s six talks, with a focus on two of them, concerning the propagation of Hertzian waves, and the theory of relativity. (shrink)

Since the validity of Bell's inequalities implies the existence of joint probabilities for non-commuting observables, there is no universal consensus as to what the violation of these inequalities signifies. While the majority view is that the violation teaches us an important lesson about the possibility of explanations, if not about metaphysical issues, there is also a minimalist position claiming that the violation is to be expected from simple facts about probability theory. This minimalist position is backed by theorems due to (...) A. Fine and I. Pitowsky.Our paper shows that the minimalist position cannot be sustained. To this end,we give a formally rigorous interpretation of joint probabilities in thecombined modal and spatiotemporal framework of `stochastic outcomes inbranching space-time' (SOBST) (Kowalski and Placek, 1999; Placek, 2000). We show in this framework that the claim that there can be no joint probabilities fornon-commuting observables is incorrect. The lesson from Fine's theorem is notthat Bell's inequalities will be violated anyhow, but that an adequate modelfor the Bell/aspect experiment must not define global joint probabilities. Thus we investigate the class of stochastic hidden variable models, whichprima facie do not define such joint probabilities. The reasonwhy these models fail supports the majority view: Bell's inequalities are notjust a mathematical artifact. (shrink)

This book is based on two premises: one cannot understand philosophy of mathematics without understanding mathematics and one cannot understand mathematics without doing mathematics. It draws readers into philosophy of mathematics by having them do mathematics. It offers 298 exercises, covering philosophically important material, presented in a philosophically informed way. The exercises give readers opportunities to recreate some mathematics that will illuminate important readings in philosophy of mathematics. Topics include primitive recursive arithmetic, Peano arithmetic, Gödel's theorems, interpretability, the hierarchy of (...) sets, Frege arithmetic, and intuitionist sentential logic. The book is intended for readers who understand basic properties of the natural and real numbers and have some background in formal logic. (shrink)

The importance of working memory in reading and mathematics performance has been widely studied, with recent research examining the components of WM and their roles in these educational outcomes. However, the differing relationships between these abilities and the foundational skills involved in the development of reading and mathematics have received less attention. Additionally, the separation of verbal, visual and spatial storage and processing and subsequent links with foundational skills and downstream reading and mathematics has not been widely (...) examined. The current study investigated the separate contributions of processing and storage from verbal, visual and spatial tasks to reading and mathematics, whilst considering influences on the underlying skills of verbal comprehension and counting, respectively. Ninety-two children aged 7- to 8-years were assessed. It was found that verbal comprehension was predicted by verbal storage and reading was predicted by verbal and spatial storage. Counting was predicted by visual processing and storage, whilst mathematics was related to verbal and spatial storage. We argue that resources for tasks relying on external representations of stimuli related mainly to storage, and were largely verbal and spatial in nature. When a task required internal representation, there was a draw on visual processing and storage abilities. Findings suggest a possible meaningful separability of types of processing. Further investigation of this could lead to the development of an enhanced WM model, which might better inform interventions and reasonable adjustments for children who struggle with reading and mathematics due to WM deficits. (shrink)

Descartes is often accused of lacking a coherent conception of innate ideas. I argue that Descartes' remarks on innate ideas actually form a unified account. "Innate idea" is triply ambiguous, but its three meanings are interdependent. "Innate idea" can mean an act of perceiving; that which is perceived; or a faculty, capacity, or disposition to have certain ideas. An innate idea qua object of thought is some thing existing objectively , which we have a capacity to perceive, but which we (...) can only actually perceive through meditation. ;Descartes thinks that some innate ideas, such as the idea of thought itself, are implicit in the very process of thinking. Because they are relied on in thinking itself, we have implicit awareness of them. We also have implicit knowledge of other ideas contained in them. The actual perception of these innate ideas is, for Descartes, a matter of making them explicit, turning the intellect away from sense-perceptions and towards pure thought. ;Some innate truths, Descartes says, are perceived by the "natural light." I argue that such truths are made explicit through attending to how the concepts which those truths are about have been relied on in the process of thinking. I discuss the relationship between the natural light and the will, arguing that other accounts of Descartes' "natural light" in the secondary literature are unsatisfactory. I also explore how Descartes' use of the metaphor of light might have been informed by his scientific views about light. ;The innate ideas of corporeal nature and mathematics are also made explicit through attention and reflection, according to Descartes. Though many commentators read Descartes as holding that the innate idea of extension can be known without any use of the senses, I argue that it is discovered through reflection on our sense-perceptions. Once this idea is explicit, Descartes thinks, we can use it to generate explicit awareness of further innate ideas, such as ideas of shapes. Reflection on those further innate ideas, in turn, makes explicit various innate truths about those shapes. (shrink)

Mc Taggart's celebrated proof of the unreality of time is a chain of implications whose final step asserts that the A-series (i.e. the classification of events as past, present or future) is intrinsically contradictory. This is widely believed to be the heart of the argument, and it is where most attempted refutations have been addressed; yet, it is also the only part of the proof which may be generalised to other contexts, since none of the notions involved in it is (...) specifically temporal. In fact, as I show in the first part of the paper, McTaggart's refutation of the A-series can be easily interpreted in mathematical terms; subsequently, in order to strengthen my claim, I apply the same framework by analogy to the cases of space, modality, and personal identity. Therefore, either McTaggart's proof as a whole may be extended to each of these notions, or it must embed some distinctly temporal element in one of the steps leading up to the contradiction of the A-series. I conclude by suggesting where this element might lay, and by hinting at what I believe to be the true logical fallacy of the proof. (shrink)

Principa Practica is a provocative work in which author Arnold Johanson maintains that philosophers since Socrates have been asking the wrong questions, like "What is good?" and "What is right?" The reason for this, according to the author, is that moral philosophers have based their work on a logical framework more suitable to science than to ethics and politics. Striking out in a new direction, the author bases his work on the concept of requirement which he finds not only has (...) a rich logical structure but, if properly formulated, can be used to guide humanity in its struggle to find meaning in life, on one hand, and to find peace, happiness, and order, on the other. The fact that the work has an emphasis on logic may suggest that only those with a technical bent can read this work, but this is not so: much of this work—over two-thirds—is designed to be read by those without a technical background in mathematics and logic. (shrink)

The purpose of this study was to compare working memory (WM), executive function, academic ability and problem classroom behaviors in children aged 8 to 11 years who were either identified via routine screening as having low WM, or had been diagnosed with ADHD. Standardised assessments of WM, executive function and reading and mathematics were administered to 83 children with ADHD, 50 children with low WM and 50 typically developing children. Teachers rated problem behaviors on checklists measuring attention, hyperactivity/impulsivity, oppositional (...) behavior, and difficulties associated with executive function in the classroom. The ADHD and low WM groups had highly similar WM and executive function profiles, but were distinguished in two key respects: children with ADHD had higher levels of rated and observed impulsive behavior, and children low WM had slower response times. Possible mechanisms for these common and distinct deficits are discussed. (shrink)

Logic: the Basics is an accessible introduction to the core philosophy topic of standard logic. Focussing on traditional Classical Logic the book deals with topics such as mathematical preliminaries, propositional logic, monadic quantified logic, polyadic quantified logic, and English and standard ‘symbolic transitions’. With exercises and sample answers throughout this thoroughly revised new edition not only comprehensively covers the core topics at introductory level but also gives the reader an idea of how they can take their knowledge further and (...) the philosophical questions around logic. -/- Logic: the Basics is essential reading for first-year undergraduate philosophy students on standard introductory logic courses. (shrink)

As we have seen, it was clearly Guyton's intention, in 1808, to supply details of his improved platinum pyrometer, and he did submit a drawing of the instrument at the meeting of the Class in December 1810. It would seem that on that occasion he did not supply those details which are to be found in the fourth, unpublished, part of the ‘Essay’. The existence of a text fit to be sent to the printer, and the execution of a drawing (...) relating to the improved version of his platinum pyrometer, might be taken as evidence that Guyton intended to publish. His paper of 1810 did not appear until 1814, however, so that publication of the fourth part of the ‘Essay’ could scarcely have occurred until 1815 or later. Guyton probably hoped to be able to read it to the Class of Physical and Mathematical Sciences before publishing it in the Annales de Chimie, but his death on 2 January 1816 robbed him of the opportunity. (shrink)