In this paper, we offer a descriptive theory of analogical reasoning in mathematics, stating general conditions under which an analogy may provide genuine inductive support to a mathematical conjecture (over and above fulfilling the merely heuristic role of ‘suggesting’ a conjecture in the psychological sense). The proposed conditions generalize the criteria of Hesse in her influential work on analogical reasoning in the empirical sciences. By reference to several case studies, we argue that the account proposed in this paper does (...) a better job in vindicating the use of analogical inference in mathematics than the prominent alternative defended by Bartha. (shrink)

Nevin & Grace's approach is an interesting and useful attempt to find ways to measure “core” effects of a history of exposure to reinforcement. The momentum analogy makes intuitive sense, and the evidence for its utility is increasing. Several questions remain, however, about how the analogy will fare in the case of concurrent rather than sequential activities, about the use of extinction as a method to test resistance to change, and about the generality of some of the effects.

Arguments from analogy are pervasive in everyday reasoning, mathematics, philosophy, and science. Informal logic studies everyday argumentation in ordinary language. A branch of fuzzy logic, approximate reasoning, seeks to model facets of everyday reasoning with vague concepts in ill-defined situations. Ways of combining the results from these fields will be suggested by introducing a new argumentation scheme—a fuzzy analogical argument from classification—with the associated critical questions. This will be motivated by a case study of analogical reasoning in the virtual friendship (...) debate within information ethics. The virtual friendship debate is a disagreement over whether virtual friendships are genuine friendships. It will be argued that the debate could move away from its current impasse, caused by unproductive metaphysical and logical assumptions, if extant arguments are reinterpreted as fuzzy analogical arguments from classification, and subjected to a new set of critical questions which would replace the quest for facts of essence about friendship with an emphasis on empirical data, persuasion, and definitional power. (shrink)

The object of this paper is to study the analogy, drawn both positively and negatively, between mathematics and fiction. The analogy is more subtle and interesting than fictionalism, which was discussed in part I. Because analogy is not common coin among philosophers, this particular analogy has been discussed or mentioned for the most part just in terms of specific similarities that writers have noticed and thought worth mentioning without much attention's being paid to the larger picture. I intend with this (...) analogy (looking at others' comparisons) to shed a little light on what is going on in mathematics, how one can understand it a bit other than experientially. This intention is philosophical and the way that I am attempting to accomplish it is also philosophical. I shall conclude my attempt to explain how it is possible and even natural for mathematics and fiction to have the analogy they have, taking it for granted, as argued in part I, that they are not to be identified. To this end I shall discuss philosophers' comparisons, mainly those of Hodes, Resnik, Tharp, and Wagner, who are the writers that seem to me to have written most thoughtfully and sufficiently extensively about fiction in making the comparison and of Körner, whose comparison is different. Whether either of these comparisons or the more general analogy is of permanent philosophical interest will have to be decided by philosophers now that they have had a fuller examination. I shall mention some other writers' reference to fiction, but not all; indeed, I am sure that I have not even found all the comparisons that there are. (shrink)

Analogy has received attention as a form of inductive reasoning in the empirical sciences. Its role in mathematics has, instead, received less consideration. This paper provides a novel account of how an analogy with a more familiar mathematical domain can contribute to the confirmation of a mathematical conjecture. By reference to case-studies, we propose a distinction between an _incremental_ and a _non-incremental_ form of confirmation by mathematical analogy. We offer an account of the former within the popular (...) framework of Bayesian confirmation theory. As for the non-incremental notion, we defend its role in rationally informing the prior credences of mathematicians in those circumstances in which no new mathematical evidence is introduced. The resulting framework captures many important aspects of the use of analogical inference in the domain of pure mathematics. (shrink)

The aim of this paper is to point to the analogy between mathematical and physical thought experiments, and even more widely between the epistemic paths in both domains. Having accepted platonism as the underlying ontology as long as the platonistic path in asserting the possibility of gaining knowledge of abstract, mind-independent and causally inert objects, my widely taken goal is to show that there is no need to insist on the uniformity of picture and monopoly of certain epistemic paths (...) in the epistemic descriptive context. And secondly, to show the analogy with the ways we come to know the truths of (natural) sciences. (shrink)

There is a long tradition comparing moral knowledge to mathematical knowledge. In this paper, I discuss apparent similarities and differences between knowledge in the two areas, realistically conceived. I argue that many of these are only apparent, while others are less philosophically significant than might be thought. The picture that emerges is surprising. There are definitely differences between epistemological arguments in the two areas. However, these differences, if anything, increase the plausibility of moral realism as compared to mathematical (...) realism. It is hard to see how one might argue, on epistemological grounds, for moral antirealism while maintaining commitment to mathematical realism. But it may be possible to do the opposite. (shrink)

In his famous article “The Unreasonable Effectiveness of Mathematics in the Natural Sciences” Eugen Wigner argues for a unique tie between mathematics and physics, invoking even religious language: “The miracle of the appropriateness of the language of mathematics for the formulation of the laws of physics is a wonderful gift which we neither understand nor deserve”. The possible existence of such a unique match between mathematics and physics has been extensively discussed by philosophers and historians of mathematics. Whatever the merits (...) of this claim are, a further question can be posed with regard to mathematization in science more generally: What happens when we leave the area of theories and laws of physics and move over to the realm of mathematical modeling in interdisciplinary contexts? Namely, in modeling the phenomena specific to biology or economics, for instance, scientists often use methods that have their origin in physics. How is this kind of mathematical modeling justified? (shrink)

Ethics and mathematics have long invited comparisons. On the one hand, both ethical and mathematical propositions can appear to be knowable a priori, if knowable at all. On the other hand, mathematical propositions seem to admit of proof, and to enter into empirical scientific theories, in a way that ethical propositions do not. In this article, I discuss apparent similarities and differences between ethical (i.e., moral) and mathematical knowledge, realistically construed -- i.e., construed as independent of human (...) mind and languages. I argue that some are are merely apparent, while others are of little consequence. There is a difference between the cases. But it is not an epistemological difference per se. The difference, surprisingly, is that ethical knowledge, if it is practical, cannot fail to be objective in a way that mathematical knowledge can. One upshot of the discussion is radicalization of Moore’s Open Question Argument. Another is that the concepts of realism and objectivity, which are widely identified, are actually in tension. (shrink)

In his book On What Matters, Derek Parfit defends a version of moral non-naturalism, a view according to which there are objective normative truths, some of which are moral truths, and we have a reliable way of discovering them. These moral truths do not exist, however, as parts of the natural universe nor in Plato’s heaven. While explaining in what way these truths exist and how we discover them, Parfit makes analogies between morality on the one hand, and mathematics (...) and logic on the other. Moral truths “exist” in a way that numbers exist, and we discover these truths in a similar way as we discover truths about numbers. By the end of the second volume, Parfit also responds to a powerful objection against his view, an objection based on the phenomenon of moral disagreement. If people widely and deeply disagree about what is the moral truth, it is doubtful whether we have a reliable way of discovering it. In his reply, he claims that in ideal conditions for thinking about moral questions, we would all have sufficiently similar moral beliefs. However, we often find ourselves in less-than-ideal conditions due to various factors that distort our ability to agree. Therefore, differences in moral opinion can be expected. In this paper, I draw a connection between these parts of Parfit’s theory and comment on them. Firstly, I argue that Parfit’s analogy with mathematics and logic and his answer to the disagreement objection are in tension because there are important epistemic differences between morality and these fields. If one would try to account for the differences, one would have to sacrifice some measure of similarity between morality and them. Secondly, I comment on Parfit’s reply to the disagreement objection itself. I believe that, although his description of ideal conditions has some potential for reaching moral agreement, it may be difficult to tell if ideal conditions prevail. This obscurity spells further trouble for Parfit’s overall theory. (shrink)

In the consistent histories formalism one specifies a family of histories as an exhaustive set of pairwise exclusive descriptions of the dynamics of a quantum system. We define branching families of histories, which strike a middle ground between the two available mathematically precise definitions of families of histories, viz., product families and Isham’s history projector operator formalism. The former are too narrow for applications, and the latter’s generality comes at a certain cost, barring an intuitive reading of the “histories”. Branching (...) families retain the intuitiveness of product families, they allow for the interpretation of a history’s weight as a probability, and they allow one to distinguish two kinds of coarse-graining, leading to reconsidering the motivation for the consistency condition. (shrink)

The paper is devoted to the concept of analogy. We consider the peculiarities of its use in the history of philosophy, starting from Antiquity, from the school of Pythagoras, which is associated with the origin of this term. The use of analogy by Plato, Aristotle, Renaissance and Modern philosophers is discussed. The definition of analogical inference as a special type of plausible inference is given. The types of analogical inference and the corresponding examples are listed. We also consider the use (...) of reasoning by analogy in the field of mathematics, law, and in scientific research in general. Modeling as one of the most effective research methods is directly related to analogy. Analogy is based on the concept of similarity, and it has its own specifics in various scientific fields. In mathematics and logic, similarity is expressed in concepts such as isomorphism and homomorphism. The analysis of these concepts is provided in the corresponding section. Bionics is based on the analogy between living organisms and technological devices. Some examples of inventions, which were motivated by bionics ideas, are given. The paper also raises the question about the relationship of such concepts as analogy and metaphor, and indicates their essential differences. (shrink)

The evidential value of moral intuitions has been challenged by psychological work showing that the intuitions of ordinary people are affected by distorting factors. One reply to this challenge, the expertise defence, claims that training in philosophical thinking confers enhanced reliability on the intuitions of professional philosophers. This defence is often expressed through analogy: since we do not allow doubts about folk judgments in domains like mathematics or physics to undermine the plausibility of judgments by experts in these domains, we (...) also should not do so in philosophy. In this paper I clarify the logic of the analogy strategy, and defend it against recent challenges by Jesper Ryberg. The discussion exposes an interesting divide: while Ryberg’s challenges may weaken analogies between morality and domains like mathematics, they do not affect analogies to other domains, such as physics. I conclude that the expertise defence can be supported by analogical means, though care is required in selecting an appropriate analog. I discuss implications of this conclusion for the expertise defence debate and for study of the moral domain itself. (shrink)

Jan Salamucha was born on the 10th of June 1903 in Warsaw and murdered on the 11th of August 1944 in Warsaw during the Warsaw Uprising very early on in his scholarly career. He is the most original representative of the branch of the Lvov-Warsaw School known as the Cracow Circle. The Circle was a grouping of scholars who were interested in reconstructing scholasticism and Christian philosophy in general by means of mathematical logic. As Jan Lukasiewicz’s successor in the (...) area of logic and Konstanty Michalski’s student in the area of the history of medieval thought, Salamucha had an excellent preparation for this task. His main achievements include a masterful logical analysis of the proof _ex motu _for the existence of God, a modern interpretation of analogical notions and a comprehensive approach to the problem of essence. He also contributed several historical studies: he examined Aristotle’s theory of deduction, he reconstructed William Ockham’s propositional logic and established the authenticity of his treatise on _insolubilia,_ and he identified the historical sources of the antinomies in Antiquity and the Middle Ages. He did not shy away from popularizing philosophy, and in that work he was able to elucidate rather than oversimplify the complexities of philosophy. (shrink)

The article is based upon the following starting position. In this post-modern time, it seems that no scholar in Europe supports what is called “Enlightenment Project” with its naïve objectivism and Correspondence Theory of Truth1, - though not being really hostile, just strongly skeptical about it. No old-fasioned “classical” academical texts; only His Majesty Discourse as chain of interpretations and reinterpretations. What was called objectivity “proved to be” intersubjectivity; what was called Object (in Latin and German and Russian tradition) now (...) is related to as a phenomenon; what was called Subject either is looked upon as Cartesian “cogito” or disappeares at all; what was called Truth turned to be either method of demonstration (by positivists) or the author’s sincerity (by existentialists); what was called Essence is now merely a joke. Alternatively, we speak about Sense, Meaning, and Value. (shrink)

The debate over how best to characterize inflectional morphology has been couched largely in terms of the “dual-mechanism” approach described in Pinker (Words and rules: the ingredients of language, Basic Books, 1999) versus “single-mechanism” connectionist approaches derived from Rumelhart and McClelland (On learning past tenses of English verbs, MIT, 1986). There are, however, other single-mechanism approaches. The exemplar-based or analogical models of Daelemans et al. (TimBL: Tilburg Memory-Based Learner, version 4.3 reference guide, ILK, 2002) and Skousen (Analogical modeling of language, (...) Kluwer Academic, 1989) also model inflectional usage accurately within a single-mechanism. The most striking theoretical claim peculiar to these purely analogical models is that they do not posit any resident linguistic generalizations for processing language. Instead they process new instances of usage by comparing them systematically to remembered instances of previous usage. Based on a comparison of their Minimal Generalization Model with an adaptation of Nosofsky's (Journal of Mathematical Psychology 34: 393–418, 1990) Generalized Context Model, Albright and Hayes (Cognition 90: 119–161, 2003) argue that such purely analogical models are intrinsically inadequate for modeling the English past tense. This paper shows, however, that Skousen's (Analogical modeling of language, Kluwer Academic, 1989) Analogical Model performs as well as the Minimal Generalization Model. The implications of these results for cognitive linguistics are discussed. (shrink)

2014 Reprint of 1954 American Edition. Full facsimile of the original edition, not reproduced with Optical Recognition Software. This two volume classic comprises two titles: "Patterns of Plausible Inference" and "Induction and Analogy in Mathematics." This is a guide to the practical art of plausible reasoning, particularly in mathematics, but also in every field of human activity. Using mathematics as the example par excellence, Polya shows how even the most rigorous deductive discipline is heavily dependent on techniques of guessing, inductive (...) reasoning, and reasoning by analogy. In solving a problem, the answer must be guessed at before a proof can be given, and guesses are usually made from a knowledge of facts, experience, and hunches. The truly creative mathematician must be a good guesser first and a good prover afterward; many important theorems have been guessed but no proved until much later. In the same way, solutions to problems can be guessed, and a god guesser is much more likely to find a correct solution. This work might have been called "How to Become a Good Guesser."-From the Dust Jacket. (shrink)

The goal of this paper is to raise a novel objection to Lewis’s modal realist epistemology. After reformulating his modal epistemology, I shall argue that his view that we have necessary knowledge of the existence of counterparts ends up with an absurdity. Specifically, his analogy between mathematical knowledge and modal knowledge leads to an unpleasant conclusion that one’s counterpart exists in all possible worlds. My argument shows that if Lewis’s modal realism is true, we cannot know what is possible. (...) Conversely, if we can know what is possible, his modal realism is false. In the remainder of the paper, I shall consider and block possible objections to my argument. (shrink)

Chapter 1 is introductory. It identifies a cluster of philosophical problems that arise in the foundations of neoclassical economic theory. Issues growing out of the unusually tenuous connection between the theory and the world are singled out as especially troublesome. Is it, after all, possible for economics to look more like an empirical science like physics than like of branch of mathematics? ;Chapter 2 argues that economic methodology has been constrained by the application of faulty philosophy of science, or by (...) the faulty application of philosophy of science. Economists with good intentions have wanted to protect economic theory from intrusions by "unscientific" constructs that had no clear operational criteria for their application. I argue that these attempts to protect economics went astray because theoretical constructs were consequently made to answer to an excessively stringent notion of economic data. Consequently, I find means to argue that all data and, in particular, psychological data about individual economic agents is relevant in the construction and confirmation of economic theory. Actually, I advance the stronger thesis that economics actually owes us an account of the behavior of individuals and that this makes it evident that economic theory should strive to cover the widest range of phenomena is reasonable. ;Chapter 3 takes this broadened notion of economic theory as a starting point and shows why the new outlook can be expected to enrich present theory and make progress towards the project of connecting economics to the phenomena. I include explanations of how prima facie difficulties with the new outlook overcome. In the course of doing this, many striking analogies between economics and linguistics, another science that closely related to psychology, are brought out. The relatively successful resolution of methodological problems in linguistics that parallel methodological problems in economics seems encouraging. ;Finally, Chapter 4 examines a bundle of problems concerning the relationship between microeconomics and macroeconomics. Most of the conclusions drawn in this chapter are negative: I argue that the connection between the micro and the macro is more difficult to fathom than many writers seem to imply. . . . UMI. (shrink)

"This book develops a rigorous theory of indeterminism as a local and modal concept. Its crucial insight is that our world contains events or processes with alternative, really possible outcomes. The theory aims at clarifying what this assumption involves, and it does it in two ways. First, it provides a mathematically rigorous framework for local and modal indeterminism. Second, we support that theory by spelling out the philosophically relevant consequences of this formulation and by showing its fruitful applications in metaphysics. (...) To this end, we offer a formal analysis of modal correlations and of causation, which is applicable in indeterministic and non-local contexts as well. We also propose a rigorous theory of objective single-case probabilities, intended to represent degrees of possibility. In a third step, we link our theory to current physics, investigating how local and modal indeterminism relates to issues in the foundations of physics, in particular, quantum non-locality and spatio-temporal relativity. The book also ventures into the philosophy of time, showing how the theory's resources can be used to explicate the dynamic concept of the past, present, and future based on local indeterminism"--. (shrink)

The branching time analysis grounds the possibilities entailed by temporal indeterminism in a branching temporal structure. I construct a spatial analog of the branching time analysis – the branching space analysis – according to which the possibilities entailed by spatial indeterminism are grounded in branching spatial structure. The construction proceeds in such a way as to show the analogies between the branching space and branching time analyses. I argue that the two views are a package. In particular: the theoretical (...) virtues of the one are theoretical virtues of the other and so if one ought to be accepted, then the other should also be accepted. And: if one ought to be denied, then the other ought to be denied as well. Thus, the branching space analysis functions either as a counterexample to the reductive strategy embodied in the branching time analysis or as a reasonable extension of it – as a lesson learned from it. (shrink)

Lately, philosophers of mathematics have been exploring the notion of mathematical explanation within mathematics. This project is supposed to be analogous to the search for the correct analysis of scientific explanation. I argue here that given the way philosophers have been using “ explanation,” the term is not applicable to mathematics as it is in science.

This chapter contains sections titled: Models Analogy Metaphor Metaphorical Models Current Issues.

In recent decades, experimental mathematics has emerged as a new branch of mathematics. This new branch is defined less by its subject matter, and more by its use of computer assisted reasoning. Experimental mathematics uses a variety of computer assisted approaches to verify or prove mathematical hypotheses. For example, there is “number crunching” such as searching for very large Mersenne primes, and showing that the Goldbach conjecture holds for all even numbers less than 2 × 1018. There are “verifications” (...) of hypotheses which, while not definitive proofs, provide strong support for those hypotheses, and there are proofs involving an enormous amount of computer hours, which cannot be surveyed by any one mathematician in a lifetime. There have been several attempts to argue that one or another aspect of experimental mathematics shows that mathematics now accepts empirical or inductive methods, and hence shows mathematical apriorism to be false. Assessing this argument is complicated by the fact that there is no agreed definition of what precisely experimental mathematics is. However, I argue that on any plausible account of ’experiment’ these arguments do not succeed. (shrink)

The existence of fundamental moral disagreements is a central problem for moral realism and has often been contrasted with an alleged absence of disagreement in mathematics. However, mathematicians do in fact disagree on fundamental questions, for example on which set-theoretic axioms are true, and some philosophers have argued that this increases the plausibility of moral vis-à-vis mathematical realism. I argue that the analogy between mathematical and moral disagreement is not as straightforward as those arguments present it. In particular, (...) I argue that pluralist accounts of mathematics render fundamental mathematical disagreements compatible with mathematical realism in a way in which moral disagreements and moral realism are not. 11. (shrink)

Every branch of mathematics has its subject matter, and one of the distinguishing features of logic is that so many of its fundamental objects of study are rooted in language. The subject deals with terms, expressions, formulas, theorems, and proofs. When we speak about these notions informally, we are talking about things that can be written down and communicated with symbols. One of the goals of mathematical logic is to introduce formal definitions that capture our intuitions about such objects (...) and enable us to reason about them precisely. At the most basic level, syntactic objects can be viewed as strings of symbols. For concreteness, we can identify symbols with particular set-theoretic objects, but for most purposes, it doesn't matter what they are; all that is needed is that they are distinct from one another. (shrink)

Scientific explanations are widely recognized to have instrumental value by helping scientists make predictions and control their environment. In this paper I raise, and provide a first analysis of, the question whether explanatory proofs in mathematics have analogous instrumental value. I first identify an important goal in mathematical practice: reusing resources from existing proofs to solve new problems. I then consider the more specific question: do explanatory proofs have instrumental value by promoting reuse of the resources they contain? In (...) general, I argue that the answer to this question is “no” and demonstrate this in detail for the theory of mathematical explanation developed by Marc Lange. (shrink)

Professor Michael Edgeworth McIntyre is an eminent scientist who has also had a part-time career as a musician. From a lifetime's thinking, he offers this extraordinary synthesis exposing the deepest connections between science, music, and mathematics, while avoiding equations and technical jargon. He begins with perception psychology and the dichotomization instinct and then takes us through biological evolution, human language, and acausality illusions all the way to the climate crisis and the weaponization of the social media, and beyond that into (...) the deepest parts of theoretical physics - demonstrating our unconscious mathematical abilities. He also has an important message of hope for the future. Contrary to popular belief, biological evolution has given us not only the nastiest, but also the most compassionate and cooperative parts of human nature. This insight comes from recognizing that biological evolution is more than a simple competition between selfish genes. Rather, he suggests, in some ways it is more like turbulent fluid flow, a complex process spanning a vast range of timescales. Professor McIntyre is a Fellow of the Royal Society of London (FRS) and has worked on problems as diverse as the Sun's magnetic interior, the Antarctic ozone hole, jet streams in the atmosphere, and the psychophysics of violin sound. He has long been interested in how different branches of science can better communicate with each other and with the public, harnessing aspects of neuroscience and psychology that point toward the deep 'lucidity principles' that underlie skilful communication. (shrink)

In this paper, I try to accomplish two goals. The first is to provide a general characterization of a method of proofs called — in mathematics — the diagonal argument. The second is to establish that analogical thinking plays an important role also in mathematical creativity. Namely, mathematical research make use of analogies regarding general strategies of proof. Some of mathematicians, for example George Polya, argued that deductions is impotent without analogy. What I want to show is (...) that there exists a direct line leading from Cantor’s diagonal argument to constructions that underlies of the proofs of several important theorems of the mathematical logic (in particular, Church’s theorem concerning the undecidability of formal arithmetic, Gödel’s theorem concerning the incopleteness of formal arithmetic, Tarski’s theorem concerning truth, and Turing’s theorem concerning the Halting Problem), and that the line could be described as an analogical mapping. In other words, Cantor’s diagonal argument and the proofs of the limitative theorems are structurally the same. Hence they can be represented as instances (or special cases) of the same general scheme. (shrink)

There is a remarkable similarity between some mathematical objects used in the Branching Space-Times framework and those appearing in computer science in the fields of event structures for concurrent processing and Chu spaces. This paper introduces the similarities and formulates a few open questions for further research, hoping that both BST theorists and computer scientists can benefit from the project.

Those inquiring into the nature of mind have long been interested in the foundations of mathematics, and conversely this branch of knowledge is distinctive in that our access to it is purely through thought. A better understanding of mathematical thought should clarify the conceptual foundations of mathematics, and a deeper grasp of the latter should in turn illuminate the powers of mind through which mathematics is made available to us. The link between conceptions of mind and of mathematics has (...) been a central theme running through the great competing philosophies of mathematics of the twentieth century, though each has refashioned the connection and its import in distinctive ways. The present collection will be of interest to students of both mathematics and of mind. Contents include: "Introduction" by Alexander George; "What is Mathematics About?" by Michael Dummett; "The Advantages of Honest Toil over Theft" by George Boolos; "The Law of Excluded Middle and the Axiom of Choice" by W.W. Tait; "Mechanical Procedures and Mathematical Experience" by Wilfried Sieg; "Mathematical Intuition and Objectivity" by Daniel Isaacson; "Intuition and Number" by Charles Parsons; and "Hilbert's Axiomatic Method and the Laws of Thought" by Michael Hallett. (shrink)

Part of the ambiguity lies in the various points of view from which this question might be considered. The crudest di erence lies between the point of view of the working mathematician and that of the logician concerned with the foundations of mathematics. Now some of my fellow mathematical logicians might protest this distinction, since they consider themselves to be just more of those \working mathematicians". Certainly, modern logic has established itself as a very respectable branch of mathematics, and (...) there are quite a few highly technical journals in logic, such as The Journal of Sym-. (shrink)

ABSTRACT We consider several ways in which a good understanding of modern techniques and principles in physics can elucidate ecology, and we focus on analogical reasoning between these two branches of science. Analogical reasoning requires an understanding of both sciences and an appreciation of the similarities and points of contact between the two. In the current ecological literature on the relationship between ecology and physics, there has been some misunderstanding about the nature of modern physics and its methods. Physics (...) is seen as being much cleaner and tidier than ecology. When compared to this idealized, fictional version of physics, ecology looks very different, and the prospect of ecology and physics learning from one another is questionable. We argue that physics, once properly understood, is more like ecology than ecologists have thus far appreciated. Physicists and ecologists can and do learn from each other, and, in this paper, we outline how analogical reasoning can facilitate such exchanges. (shrink)

Biological forms are very complex, and mechanisms of pattern formation are not well understood. Although developmental biology deals with the mechanistic explanation of patterns, currently we do not know how to understand the mechanisms of pattern formation from huge amounts of molecular information. In this article, I present one useful tool, mathematical modeling, to obtain a mechanistic understanding of biological pattern formation, and show an actual example in lung branching morphogenesis. In this example, mathematical modeling plays an indispensable (...) role in understanding the biological phenomena. The model successfully reproduces the basic features of morphogenesis in vitro, but mechanism in vivo still remains to be elucidated. (shrink)

People are habitual explanation generators. At its most mundane, our propensity to explain allows us to infer that we should not drink milk that smells sour; at the other extreme, it allows us to establish facts (e.g., theorems in mathematical logic) whose truth was not even known prior to the existence of the explanation (proof). What do the cognitive operations underlying the inference that the milk is sour have in common with the proof that, say, the square root of (...) two is irrational? Our ability to generate explanations bears striking similarities to our ability to make analogies. Both reflect a capacity to generate inferences and generalizations that go beyond the featural similarities between a novel problem and familiar problems in terms of which the novel problem may be understood. However, a notable difference between analogy-making and explanation-generation is that the former is a process in which a single source situation is used to reason about a single target, whereas the latter often requires the reasoner to integrate multiple sources of knowledge. This seemingly small difference poses a challenge to the task of marshaling our understanding of analogical reasoning to understanding explanation. We describe a model of explanation, derived from a model of analogy, adapted to permit systematic violations of this one-to-one mapping constraint. Simulation results demonstrate that the resulting model can generate explanations for novel explananda and that, like the explanations generated by human reasoners, these explanations vary in their coherence. (shrink)

Mathematical logic is a branch of mathematics that takes axiom systems and mathematical proofs as its objects of study. This book shows how it can also provide a foundation for the development of information science and technology. The first five chapters systematically present the core topics of classical mathematical logic, including the syntax and models of first-order languages, formal inference systems, computability and representability, and Gödel’s theorems. The last five chapters present extensions and developments of classical (...) class='Hi'>mathematical logic, particularly the concepts of version sequences of formal theories and their limits, the system of revision calculus, proschemes (formal descriptions of proof methods and strategies) and their properties, and the theory of inductive inference. All of these themes contribute to a formal theory of axiomatization and its application to the process of developing information technology and scientific theories. The book also describes the paradigm of three kinds of language environments for theories and it presents the basic properties required of a meta-language environment. Finally, the book brings these themes together by describing a workflow for scientific research in the information era in which formal methods, interactive software and human invention are all used to their advantage. The second edition of the book includes major revisions on the proof of the completeness theorem of the Gentzen system and new contents on the logic of scientific discovery, R-calculus without cut, and the operational semantics of program debugging. This book represents a valuable reference for graduate and undergraduate students and researchers in mathematics, information science and technology, and other relevant areas of natural sciences. Its first five chapters serve as an undergraduate text in mathematical logic and the last five chapters are addressed to graduate students in relevant disciplines. (shrink)

Following Henkin's discovery of partially-ordered (branching) quantification (POQ) with standard quantifiers in 1959, philosophers of language have attempted to extend his definition to POQ with generalized quantifiers. In this paper I propose a general definition of POQ with 1-place generalized quantifiers of the simplest kind: namely, predicative, or "cardinality" quantifiers, e.g., "most", "few", "finitely many", "exactly α", where α is any cardinal, etc. The definition is obtained in a series of generalizations, extending the original, Henkin definition first to a general (...) definition of monotone-increasing (M↑) POQ and then to a general definition of generalized POQ, regardless of monotonicity. The extension is based on (i) Barwise's 1979 analysis of the basic case of M↑ POQ and (ii) my 1990 analysis of the basic case of generalized POQ. POQ is a non-compositional Ist-order structure, hence the problem of extending the definition of the basic case to a general definition is not trivial. The paper concludes with a sample of applications to natural and mathematical languages. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Hume Studies Volume 28, Number 1, April 2002, pp. 113-130 Bayesianism, Analogy, and Hume's Dialogues concerning Natural Religion SALLY FERGUSON Introduction Analyses of the argument from design in Hume's Dialogues concerning Natural Religion have generally treated that argument as an example of reasoning by analogy.1 In this paper I examine whether it is in accord with Hume's thinking about the argument to subsume the version of it given in (...) the Dialogues under the model of probabilistic reasoning offered by Bayes's theorem. Wesley Salmon attempted this project in 1978.2 In related projects, David Owen3 as well as Philip Dawid and Donald Gillies4 have more recently attempted to construct Bayesian analyses of Hume's argument concerning testimony in "Of Miracles." I want to be careful at this stage to note exactly what I will claim. It is not that Bayesian reasoning sheds no light on the argument from design, or on arguments concerning testimony. All of the analyses mentioned above are beneficial in that they have been able to expose subtleties in these arguments that had previously gone unnoticed. Salmon's paper, in particular, contributes nicely to an understanding of just how the design argument may function in relation to contemporary scientific reasoning. In this paper I argue that, nonetheless, the attempt to apply Bayesian reasoning to the argument as presented in the Dialogues is not well supported as a reconstruction of Hume's own approach to the argument from design. Sally Ferguson is Assistant Professor of Philosophy, University of West Florida, UOOO University Parkway, Pensacola, FL 32514, USA. e-mail: sallyf@uwf.edu 114 Sally Ferguson There are two stages to my treatment of the issue. I begin by considering how much Hume knew of Bayes's theorem, and what consequence that knowledge might have had on his treatment of the argument in the Dialogues. This discussion includes a consideration of exactly what has been claimed by other authors on this subject, including what some have argued concerning Hume's reasonings in "Of Miracles," section 10 of An Enquiry concerning Human Understanding. I conclude that, based on the historical data, there is little reason to think of Hume's approach to the argument from design as anything more than proto-Bayesian at best. I then argue further, through a close textual analysis of the Dialogues, that there are good reasons for not treating Hume's reasoning there as even proto-Bayesian. In the end, the benefits that have been claimed for that approach, in terms of exposing both the subtleties of the argument and of Hume's reasoning about it, can equally well be derived from a careful analysis of the argument under a model of analogical reasoning, without need of Bayes's theorem. Section One Perhaps one might think that there is not much use for a consideration of the question whether Hume himself conceived of any of his arguments along specifically Bayesian lines. As Gower argues,5 Hume's knowledge of mathematics in general was fairly limited, and Bayes's theorem was not well known even up until Hume's death. It is important, therefore, for me to establish that there have not only been those who thought that Bayesian reasoning illuminates the arguments Hume gave, but also his own thinking about those arguments. It is also important for me to establish that it is not obvious that knowledge of Bayes's theorem did not affect Hume's reasonings. Each of these points will be addressed in the following. As to the first point, the claims of some authors on the subject are ambiguous. Dawid and Gillie, for example, make no statement to the effect that the probabilities involved in Bayes's theorem were in fact examined in "Of Miracles," nor do they attempt to produce any passages from Hume in support of that view. Thus it would be assumed that they see their attempt not as an attempt to provide an analysis that represents Hume's own approach to the argument, but rather simply as one that provides an illuminating method of analysis and support for an argument that Hume happened to give. Indeed, their conclusion, to the effect that a... (shrink)

The role of mathematics in scientific practice is too readily relegated to that of formulating equations that model or describe what is being investigated, and then finding solutions to those equations. I survey the role of mathematics in: 1. Exact solutions of differential equations, especially conformal mapping; and 2. Simulations of solutions to differential equations via numerical methods and via agent-based models; and 3. The use of experimental models to solve equations (a) via physical analogies based on similarity of (...) the form of the equations, such as Prandtl’s soap-film method, and (b) the method of physically similar systems. Two major themes emerge: First, the role of mathematics in science is not well described by deduction from axioms, although it generally involves deductive reasoning. Creative leaps, the integration of experimental or observational evidence, synthesis of ideas from different areas of mathematics, and insight regarding analogous forms are required to find solutions to equations. Second, methods that involve mappings or transformations are in use in disparate contexts, from the purely mathematical context of conformal mapping where it is mathematical objects that are mapped, to the use of concrete physical experimental models, where one concrete thing is shown to correspond to another. (shrink)

In the discipline of software development, effort estimation renders a pivotal role. For the successful development of the project, an unambiguous estimation is necessitated. But there is the inadequacy of standard methods for estimating an effort which is applicable to all projects. Hence, to procure the best way of estimating the effort becomes an indispensable need of the project manager. Mathematical models are only mediocre in performing accurate estimation. On that account, we opt for analogy-based effort estimation by means (...) of some soft computing techniques which rely on historical effort estimation data of the successfully completed projects to estimate the effort. So in a thorough study to improve the accuracy, models are generated for the clusters of the datasets with the confidence that data within the cluster have similar properties. This paper aims mainly on the analysis of some of the techniques to improve the effort prediction accuracy. Here the research starts with analyzing the correlation coefficient of the selected datasets. Then the process moves through the analysis of classification accuracy, clustering accuracy, mean magnitude of relative error and prediction accuracy based on some machine learning methods. Finally, a bio-inspired firefly algorithm with fuzzy analogy is applied on the datasets to produce good estimation accuracy. (shrink)

Analogy making from examples is a central task in intelligent system behavior. A lot of real world problems involve analogy making and generalization. Research investigates these questions by building computer models of human thinking concepts. These concepts can be divided into high level approaches as used in cognitive science and low level models as used in neural networks. Applications range over the spectrum of recognition, categorization and analogy reasoning. A major part of legal reasoning could be formally interpreted as an (...) analogy making process. Because it is not the same as reasoning in mathematics or the physical sciences, it is necessary to use a method, which incorporates first the ability to specify likelihood and second the opportunity of including known court decisions. We use for modelling the analogy making process in legal reasoning neural networks and fuzzy systems. In the first part of the paper a neural network is described to identify precedents of immaterial damages. The second application presents a fuzzy system for determining the required waiting period after traffic accidents. Both examples demonstrate how to model reasoning in legal applications analogous to recent decisions: first, by learning a system with court decisions, and second, by analyzing, modelling and testing the decision making with a fuzzy system. (shrink)

The thesis is a study of the notion of intuition in the foundations of mathematics which focuses on the case of natural numbers and hereditarily finite sets. Phenomenological considerations are brought to bear on some of the main objections that have been raised to this notion. ;Suppose that a person P knows that S only if S is true, P believes that S, and P's belief that S is produced by a process that gives evidence for it. On a phenomenological (...) view the relevant evidence is provided by intuition , and this should be the case in either ordinary perceptual knowledge or in mathematical knowledge. Intuition is to be understood in terms of fulfillments of intentions. Knowledge is a product of intuition and intention. In the case of mathematical knowledge it is said that there is a construction for a mathematical statement S if and only if the intention expressed by S is fulfilled . Constructions are thus viewed as intuition processes that could actually or possibly be carried out. In elementary parts of mathematics they might be characterized in terms of certain classes of recursive functions. This view is discussed in the case where S is taken to be a singular statement about natural numbers or finite sets, and also where S is taken to be a general statement about such objects. The distinction between intuition of and intuition that is also investigated in this context. ;It is pointed out how on a phenomenological view a number of central problems about mathematical intuition can be avoided: problems about the analogousness of perceptual and mathematical intuition, about causal accounts of knowledge in mathematics, and about structuralism in mathematics. The bearing of the account on issues concerning constructivism and platonism is also discussed. (shrink)

_ Source: _Volume 6, Issue 2-3, pp 120 - 142 This paper aims to contribute to the debate over epistemic versus non-epistemic readings of the ‘hinges’ in Wittgenstein’s _On Certainty_. I follow Marie McGinn’s and Daniele Moyal-Sharrock’s lead in developing an analogy between mathematical sentences and certainties, and using the former as a model for the latter. However, I disagree with McGinn’s and Moyal-Sharrock’s interpretations concerning Wittgenstein’s views of both relata. I argue that mathematical sentences as well as (...) certainties are true and are propositions; that some of them can be epistemically justified; that in some senses they are not prior to empirical knowledge; that they are not ineffable; and that their primary function is epistemic as much as it is semantic. (shrink)

This book discusses in dialogue form the basic principles of mathematics and its applications including the question: What is mathematics? What does its specific method consist of? What is its relation to the sciences and humanities? What can it offer to specialists in different fields? How can it be applied in practice and in discovering the laws of nature? Dramatized by the dialogue form and shown in the historical movements in which they originated, these questions are discussed in their full (...) complexity, yet are easily comprehended. The first dialogue, whose chief actor is Socrates, leads the reader to the source of modern mathematics in Athens in the 5th Century BC. The second dialogue, featuring Archimedes, takes place during the siege of Syracuse in 212 BC and shows the birth of applied mathematics. The third dialogue occurs in the year 1633 in Rome, its chief character being Galileo Galilei who fully realized the central importance of the mathematical method in discovering the laws of nature. Intended as supplemental reading for philosophy of mathematics courses at the high school or college level it will be of interest to both specialists and non-specialists in mathematics. Alfréd Rényi was born in Budapest Hungary in 1921. He studied mathematics and physics at the University of Budapest and received his Ph. D. from the University of Szaged in 1945. Since 1950 he has been Director of the Mathematical Research Institute of the Hungarian Academy of Sciences and since 1952 a professor at the University of Budapest. Dr. Renyi was a visiting professor at Michigan State University in 1961, at the University of Michigan in 1964 and at Stanford University in 1966. His main fields of research are probability theory, mathematical statistics and information theory, and he has also worked in analytic number theory as well as in various branches of analysis, combinatorial analysis and geometry. (shrink)

persuasive argument for the claim that we ought to evaluate mathematics from a mathematical point of view and reject extra-mathematical standards. Maddy considers the objection that her arguments leave it open for an ‘astrological naturalist’ to make an analogous claim: that we ought to reject extra-astrological standards in the evaluation of astrology. In this paper, I attempt to show that Maddy's response to this objection is insufficient, for it ultimately either (1) undermines mathematical naturalism itself, leaving us (...) with only scientific naturalism, or (2) leaves open the possibility of other unpalatable naturalisms. (shrink)