What is mathematics; Symbolic logic; A reviw of number and notation; Further review topics; Introduction to proofs; Direct proof I; Direct Proog II; Indirect proof; Analogy abnd geometric proof.

In this paper the reader is asked to engage in some simple problem-solving in classical pure number theory and to then describe, on the basis of a series of questions, what it is like to solve the problems. In the recent philosophy of mind this “what is it like” question is one way of signaling a turn to phenomenological description. The description of what it is like to solve the problems in this paper, it is argued, leads to several morals (...) about the epistemology and ontology of classical pure mathematical practice. Instead of simply making philosophical judgments about the subject matter in advance, the exercise asks the reader to briefly engage in a mathematical practice and to then reflect on the practice. (shrink)

Definition is viewed in this paper as a cohesive element of theory, providing links between scientific constructs. The problem is approached first in terms of three orders--the historical, the logical, and the heuristic--in which the structure of science may be put together; a study of these is necessary if difficulties about priority of definition are to be resolved. The main part of the paper is devoted to an exercise in theory-construction which illustrates the five principal functions of definition--the grounding of (...) constructs in observation, their descriptive interrelation, the development of logico-mathematical calculi, the interpretation of these calculi, and the provision of precise, quasi-mathematical relations between the constructs themselves. Reference is made throughout to the many names for the defining process found in earlier works, and problems of contextual definition, reduction, stipulative and lexical definition, etc., are dealt with briefly. The theory thus constructed is represented diagrammatically. It is shown that the analysis may be simplified, in general terms, by the use of two new categories, "internal" and "external" definition; and that this innovation may prove helpful in clarifying some traditional obscurities, and in preserving a necessary balance between a purely logical and a purely empirical approach to the philosophy of science. (shrink)

Reviewed Works:Murray G. Bell, J. Streprans, S. Watson, Spaces of Ideals of Partial Functions.Alan Dow, Compact Spaces of Countable Tightness in the Cohen Model.Peter J. Nyikos, Classes of Compact Sequential Spaces.Franklin D. Tall, Topological Problems for Set-Theorists.

One of the traditional ways mathematical ideas and even new areas of mathematics are created is from experiments. One of the best-known examples is that of the Fermat hypothesis, which was conjectured by Fermat in his attempts to find integer solutions for the famous Fermat equation. This hypothesis led to the creation of a whole field of knowledge, but it was proved only after several hundred years. This book, based on the author's lectures, presents several new directions of mathematical (...) research. All of these directions are based on numerical experiments conducted by the author, which led to new hypotheses that currently remain open, i.e., are neither proved nor disproved. The hypotheses range from geometry and topology (statistics of plane curves and smooth functions) to combinatorics (combinatorial complexity and random permutations) to algebra and number theory (continuous fractions and Galois groups). For each subject, the author describes the problem and presents numerical results that led him to a particular conjecture. In the majority of cases there is an indication of how the readers can approach the formulated conjectures (at least by conducting more numerical experiments). Written in Arnold's unique style, the book is intended for a wide range of mathematicians, from high school students interested in exploring unusual areas of mathematics on their own, to college and graduate students, to researchers interested in gaining a new, somewhat nontraditional perspective on doing mathematics. In the interest of fostering a greater awareness and appreciation of mathematics and its connections to other disciplines and everyday life, MSRI and the AMS are publishing books in the Mathematical Circles Library series as a service to young people, their parents and teachers, and the mathematics profession. Titles in this series are co-published with the Mathematical Sciences Research Institute (MSRI). (shrink)

Handbook of Mathematical Induction: Theory and Applications shows how to find and write proofs via mathematical induction. This comprehensive book covers the theory, the structure of the written proof, all standard exercises, and hundreds of application examples from nearly every area of mathematics. In the first part of the book, the author discusses different inductive techniques, including well-ordered sets, basic mathematical induction, strong induction, double induction, infinite descent, downward induction, and several variants. He then introduces ordinals and cardinals, transfinite (...) induction, the axiom of choice, Zorn’s lemma, empirical induction, and fallacies and induction. He also explains how to write inductive proofs. The next part contains more than 750 exercises that highlight the levels of difficulty of an inductive proof, the variety of inductive techniques available, and the scope of results provable by mathematical induction. Each self-contained chapter in this section includes the necessary definitions, theory, and notation and covers a range of theorems and problems, from fundamental to very specialized. The final part presents either solutions or hints to the exercises. Slightly longer than what is found in most texts, these solutions provide complete details for every step of the problem-solving process. (shrink)

Algorithmic software for mathematical modeling of structural stability is considered, which is reduced to solving a partial generalized eigenvalues problem of sparse matrices, with automatic parallelization of calculations on modern parallel computers with graphics processors. Peculiarities of realization of parallel algorithms for different structures of sparse matrices are presented. The times of solving the problem of stability of composite materialsusing a three-dimensional model of "finite size fibers" on computers of different architectures are given. In mathematical modeling of physical and technical (...) processes in many cases there is a need to solve problems of algebraic problem of eigenvalues with sparse matrices of large volumes. In particular, such problems arise in the analysis of the strength of structures in civil and industrial construction, aircraft construction, electric welding, etc. The solving to these problems is to determine the eigenvalues and eigenvectors of sparse matrices of different structure. The efficiency of solving these problems largely depends on the effectiveness of mathematical modeling of the problem as a whole. Continuous growth of task parameters, calculation of more complete models of objects and processes on computers require an increase in computer productivity. High-performance computing requirements are far ahead of traditional parallel computing, even with multicore processors. High-performance computing requirements are far ahead of traditional parallel computing, even with multicore processors. Today, this problem is solved by using powerful supercomputers of hybrid architecture, such as computers with multicore processors and graphics processors, which combine MIMD and SIMD architectures. But the potential of high-performance computers can be used to the fullest only with algorithmic software that takes into account both the properties of the task and the features of the hybrid architecture. Complicating the architecture of modern high-performance supercomputers of hybrid architecture, which are actively used for mathematical modeling means a significant complication of efficient use of these resources in creating parallel algorithms and programs. here are problems with the creation of algorithmic software with automatic execution of stages of work, which are associated with the efficient use of computing resources, ways to store and process sparse matrices, analysis of the reliability of computer results. This makes it possible to significantly increase the efficiency of mathematical modeling of practical problems on modern high-performance computers, as well as free users from the problems of parallelization of complex problems. he developed algorithmic software automatically implements all stages of parallel computing and processing of sparse matrices on a hybrid computer. It was used at the Institute of Mechanics named after S.P. Tymoshenko NAS of Ukraine in modeling the strength problems of composite material. A significant improvement in the time characteristics of mathematical modeling was obtained. Problems of mathematical modeling of the properties of composite materials has an important role in designing the processes of deformation and destruction of products in various subject areas. Algorithmic software for mathematical modeling of structural stability is considered, which is reduced to solving a partial generalized problem of eigen values of sparse matrices of different structure of large orders, with automatic parallelization of calculations on modern parallel computers with graphics processors. The main methodological principles and features of implementation of parallel algorithms for different structures of sparse matrices are presented, which ensure effective implementation of multilevel parallelism of a hybrid system and reduce data exchange time during the computational process. As an example of these approaches, a hybrid algorithm of the iteration method in subspace for tape and block-diagonal matrices with a frame for computers of hybrid architecture is given. Peculiarities of data decomposition for matrices of profile structure at realization of parallel algorithms are considered. The proposed approach provides automatic determination of the required topology of the hybrid computer and the optimal amount of resources for the organization of an efficient computational process. The results of testing the developed algorithmic software for problems from the collection of the University of Florida, as well as the times of solving the problem of stability of composite materials using a three-dimensional model of "finite size fibers" on computers of different architectures. The results show a significant improvement in the time characteristics of solving problems. (shrink)

This book is intended for mathematicians. Its origins lie in a course of lectures given by an algebraist to a class which had just completed a sub stantial course on abstract algebra. Consequently, our treatment ofthe sub ject is algebraic. Although we assurne a reasonable level of sophistication in algebra, the text requires little more than the basic notions of group, ring, module, etc. A more detailed knowledge of algebra is required for some of . the exercises. We also assurne (...) a familiarity with the main ideas of set theory, including cardinal numbers and Zorn's Lemma. In this book, we carry out a mathematical study of the logic used in mathematics. We do this by constructing a mathematical model oflogic and applying mathematics to analyse the properties of the model. We therefore regard all our existing knowledge of mathematics as being applicable to the analysis of the model, and in particular we accept set theory as part of the meta-Ianguage. We are not attempting to construct a foundation on which all mathematics is to be based-rather, any conclusions to be drawn about the foundations of mathematics co me only by analogy with the model, and are to be regarded in much the same way as the conclusions drawn from any scientific theory. (shrink)

The paper considers the intellectual computer mathematics system InparSolver, which is designed to automatically explore and solve basic classes of computational mathematics problems on multi-core computers with graphics accelerators. The problems of results reliability of solving problems with approximate input data are outlined. The features of the use of existing computer mathematics systems are analyzed, their weaknesses are found. The functionality of InparSolver, some innovative approaches to the implementation of effective solutions to problems in a hybrid architecture (...) are described. Examples of applied usage of InparSolver for processes mathematical modeling in various subject areas are given. Nowadays, new more complex objects and phenomena in many subject areas are constantly emerging, which are subject to mathematical research on a computer. This encourages the development of new numerical methods and technologies of mathematical modeling, as well as the creation of more powerful computers for their implementation. With the advent and constant development of supercomputers of various architectures, the problems of their effective use, expansion of tasks range should be solved, ensuring the reliability of computer results and increasing the level of intellectual information support for users ‒ specialists in various fields. Today, the issues of solving these problems are given special attention by many specialists in the fields of information technology and parallel programming. The world's leadingscientists in the field of computer technology see the solution to the problems of efficient usage of modern supercomputers in algorithmic software creation that easily adapts to different computer architectures with different types of memory and coprocessors, supports efficient parallelism on millions of cores etc. In addition, improving the efficiency of high-performance computing on modern supercomputers is provided by their intellectualization, transferring to the computer to perform a significant part of the functions. The industry of development and usage of intelligent computer technologies is one of the main directions of science and technology development in modern society. (shrink)

The UNBELIEVABLE similar ideas between Theise and Menas’ ideas (2016) and my ideas (2002-2008) in Physics and Cognitive Neuroscience and Philosophy (the mind-brain problem, quantum mechanics, etc.) -/- (2016) Theise D. Neil (Department of Pathology, Icahn School of Medicine at Mount Sinai, New York, NY, USA) and Kafatos C. Menas (bDepartment of Medicine, Icahn School of Medicine at Mount Sinai, New York, NY, USA; cSchmid College of Science & Technology, Chapman University, Orange, CA, USA) (2016), REVIEW - Fundamental awareness: A (...) framework for integrating science, philosophy and metaphysics, in COMMUNICATIVE & INTEGRATIVE BIOLOGY, 2016, VOL. 9, NO. 3, e1155010 (19 pages), http://dx.doi.org/10.1080/19420889.2016.1155010 -/- A friend of mine indicated me the strike similarities between Theise and Kafatos’ ideas in their book (Fundamental awareness: A framework for integrating science, philosophy and metaphysics) and my ideas in 2002-20008! I do not have access to this book, but I investigate the ideas that are in a review about this work. Let me introduce the abstract of that Review: -/- The ontologic framework of Fundamental Awareness proposed here assumes that non-dual Awareness is foundational to the universe, not arising from the interactions or structures of higher level phenomena. The framework allows comparison and integration of views from the three investigative domains concerned with understanding the nature of consciousness: science, philosophy, and metaphysics. In this framework, Awareness is the underlying reality, not reducible to anything else. Awareness and existence are the same. As such, the universe is non-material, self-organizing throughout, a holarchy of complementary, process driven, recursive interactions. The universe is both its own first observer and subject. Considering the world to be non-material and comprised, a priori, of Awareness is to privilege information over materiality, action over agency and to understand that qualia are not a “hard problem,” but the foundational elements of all existence. These views fully reflect main stream Western philosophical traditions, insights from culturally diverse contemplative and mystical traditions, and are in keeping with current scientific thinking, expressible mathematically. (shrink)

A discussion of the problem of contradiction in mechanical motion has been in progress for a long time in the pages of Filosofskie nauki. The attention given that problem is no accident. In our day, problems concerning contradictions involved in rest and motion, the continuous and the discontinuous, the finite and infinite, etc., have moved from the realm of abstract consideration to that of the concrete and current handling of the subject matter of modern physics, mathematics, and other fields. (...) It is natural that the present stage of knowledge of objective reality should occasion a revived interest on the part of logicians and philosophers in these problems, including the question of how objective contradictions may be expressed in scientific theories. (shrink)

The Mesopotamian system of sexagesimal counting numbers was based on the progressive series of units 1, 10, 1·60, 10·60, …. It may have been in use already before the invention of writing, with the mentioned units represented by various kinds of small clay tokens. After the invention of proto-cuneiform writing, c. 3300 BC, it continued to be used, with the successive units of the system represented by distinctive impressed cup- and disk-shaped number signs. Other kinds of “metrological” number systems in (...) the proto-cuneiform script, with similar number signs, were used to denote area numbers, capacity numbers, etc. In a handful of known mathematical cuneiform texts from the latter half of the third millennium BC, the ancient systems of sexagesimal counting numbers and area numbers were still in use, alongside new kinds of systems of capacity numbers and weight numbers. Large area numbers, capacity numbers, and weight numbers were counted sexagesimally, while each metrological number system had its own kind of fractional units. In the system of counting numbers itself, fractions could be expressed as sixtieths, sixtieths of sixtieths, and so on, but also in terms of small units borrowed from the system of weight numbers. Among them were the “basic fractions” which we would understand as 1/3, 1/2, and 2/3. In a very early series of metro-mathematical division exercises and an equally early metro-mathematical table of squares, “quasi-integers” of the form “integer plus basic fraction” play a prominent role. Quasi-integers play an essential role also in a recently found atypical cuneiform table of reciprocals. The invention of sexagesimal numbers in place-value notation, in the Neo-Sumerian period c. 2000 BC, was based on a series of innovations. The range of the system of sexagesimal counting numbers was extended indefinitely both upward and downward, and the use of quasi-integers was abolished. Sexagesimal place-value numbers were used for all kinds of calculations in Old Babylonian mathematical cuneiform texts, c. 1700 BC, while traditional metrological numbers were retained in both questions and answers of the exercises. Examples of impressive computations of reciprocals of many-place regular sexagesimal place-value numbers, with no practical applications whatsoever, are known from the Old Babylonian period. In the Late Babylonian period, such computations were still popular, performed by the same persons who constructed the many-place sexagesimal tables that make up the corpus of Late Babylonian mathematical astronomy. (shrink)

Biomimicry studies natural systems and attempts to use the gained knowledge and understanding to solve human problems. Can biomimicry, if applied in urban planning, help to make our cities more sustainable or, precisely, more friendly for walkable and 15-minute city models? Various researchers identify the following features of natural systems as form fits function, catalysis of cooperation, local contextuality, continuity of development, diversity, integrity, redundancy, decentralization, multifunctionality, and less energy consumption (e.g. TOD if the energy needed for transportation is considered), (...) hierarchy, fractality, etc. The presented research has two objectives: analyze the possibility of describing and evaluating the degree of expression of the features of natural systems in urban spatial structures to use them for comparison, benchmarking, or creation of a biomimicry index; evaluate if cities with more strongly expressed biomimicry features could be considered more walkable and close to the 15-minute city concept. To give answers to the above-presented questions Riga, Vilnius, and Tallinn were investigated. They represent both certain similarities and differences in terms of history, urban planning, political context, size, etc. A simulative mathematical graph model was used as the main tool to describe and analyze complex urban structures based on spatial configurations. Various graph centralities were employed to describe and compare the expression of natural systems’ features in the selected cities. OSM data was used to overlap graph models with such information as the density of inhabitants, concentrations of various points of interest in order to evaluate walkability and 15-minute city friendliness. The research results could be seen as an important step for better understanding of informal principles of biomimicry that can help transform urban areas. (shrink)

This book offers a comprehensive treatment of the classical decision problem of mathematical logic and of the role of the classical decision problem in modern computer science. The text presents a revealing analysis of the natural order of decidable and undecidable cases and includes a number of simple proofs and exercises.

This is a concise book that introduces students to the basics of logical thinking and important mathematical structures that are critical for a solid understanding of logical formalisms themselves as well as for building the necessary background to tackle other fields that are based on these logical principles. Despite its compact and small size, it includes many solved problems and quite a few end-of-section exercises that will help readers consolidate their understanding of the material. This textbook is essential reading for (...) anyone interested in the logical foundations of Informatics, Computer Science, Data Science, Artificial Intelligence, and other related areas. Written with undergraduate students in these disciplines in mind, this book can very well serve the needs of interested and curious readers who wish to get a grasp of the logical principles upon which these fields are built. This book does not require readers to possess math skills beyond those learned in high school. (shrink)

Traditional logic as a part of philosophy is one of the oldest scientific disciplines. Mathematical logic, however, is a relatively young discipline and arose from the endeavors of Peano, Frege, Russell and others to create a logistic foundation for mathematics. It steadily developed during the 20th century into a broad discipline with several sub-areas and numerous applications in mathematics, informatics, linguistics and philosophy. While there are already several well-known textbooks on mathematical logic, this book is unique in that (...) it is much more concise than most others, and the material is treated in a streamlined fashion which allows the professor to cover many important topics in a one semester course. Although the book is intended for use as a graduate text, the first three chapters could be understood by undergraduates interested in mathematical logic. These initial chapters cover just the material for an introductory course on mathematical logic combined with the necessary material from set theory. This material is of a descriptive nature, providing a view towards decision problems, automated theorem proving, non-standard models and other subjects. The remaining chapters contain material on logic programming for computer scientists, model theory, recursion theory, Godel’s Incompleteness Theorems, and applications of mathematical logic. Philosophical and foundational problems of mathematics are discussed throughout the text. The author has provided exercises for each chapter, as well as hints to selected exercises. About the German edition: …The book can be useful to the student and lecturer who prepares a mathematical logic course at the university. What a pity that the book is not written in a universal scientific language which mankind has not yet created. - A.Nabebin, Zentralblatt. (shrink)

In this paper, we try to establish that some mathematical theories, like K-theory, homology, cohomology, homotopy theories, spectral sequences, modern Galois theory (in its various applications), representation theory and character theory, etc., should be thought of as (abstract) machines in the same way that there are (concrete) machines in the natural sciences. If this is correct, then many epistemological and ontological issues in the philosophy of mathematics are seen in a different light. We concentrate on one problem which immediately (...) follows the recognition of the particular status of these theories: the demarcation problem between ‘natural kinds’ and ‘artefacts’. (shrink)

This paper deals with the problem of reconstruction of the intergenic interaction graph from the raw data of genetic co-expression coming with new technologies of bio-arrays (DMA-arrays, protein-arrays, etc.). These new imaging devices in general only give information about the asymptotical part (fixed configurations of co-expression or limit cycles of such configurations) of the dynamical evolution of the regulatory networks (genetic and/or proteic) underlying the functioning of living systems. Extracting the casual structure and interaction coefficients of a gene interaction network (...) from the observed configurations is a complex problem. But if all the fixed configurations are supposedly observed and if they are factorizable into two or more subsets of values, then the interaction graph possesses as many connected components as the number of factors and the solution is obtained in polynomial time. This new result allows us for example to partly solve the topology of the genetic regulatory network ruling the flowering in Arabidopsis thaliana. (shrink)

It is a paradox, whose importance familiarity fails to diminish, that the most highly developed and useful scientific theories are ostensibly expressed in terms of objects never encountered in experience. The line traced by a draughtsman, no matter how accurate, is seen beneath the microscope as a kind of corrugated trench, far removed from the ideal line of pure geometry. And the “point-planet” of astronomy, the “perfect gas” of thermodynamics, or the “pure species” of genetics are equally remote from exact (...) realization. Indeed the unintelligibility at the atomic or sub-atomic level of the notion of a rigidly demarcated boundary shows that such objects not merely are not but could not be encountered. While the mathematician constructs a theory in terms of “perfect” objects, the experimental scientist observes objects of which the properties demanded by theory are and can, in the very nature of measurement, be only approximately true. As Duhem remarks, mathematical deduction is not useful to the physicist if interpreted rigorously. It is necessary to know that its validity is unaltered when the premise and conclusion are only “approximately true.” But the indeterminacy thus introduced, it is necessary to add in criticism, will invalidate the deduction unless the permissible limits of variation are specified. To do so, however, replaces the original mathematical deduction by a more complicated mathematical theory in respect of whose interpretation the same problem arises, and whose exact nature is in any case unknown. (shrink)

This is a very high quality book with a slightly misleading title. It is difficult to see how it could serve as an introduction for anyone except the mathematically mature or, at least, a student who has already been introduced to formal logic through the lower predicate calculus. Not that these topics are not covered in the book—they comprise the first 92 pages; but the discussion quickly moves into intellectual high gear with sophisticated treatments of the independence of systems of (...) propositional logic, first-order theories, isomorphism of interpretations, and completeness and decidability. With this caveat, Mendelson's book is one of the best of the "second generation" of books on mathematical logic. It is lucid and rigorous, and contains no "frills." It does, however, contain numerous exercises in which the student will have the pleasure of developing for himself some of the more important theorems in the various subjects treated. Among these are chapters on formal number theory, including Gödel's incompleteness theorem, recursive undecidability, Tarski's theorem; a chapter on axiomatic set theory with Hartog's theorem, the axiom of choice, and the axiom of restriction ; and a truly excellent chapter on effective computability which takes off from the notion of an algorithm, and then uses this as a basis upon which to develop the theories of Markov algorithms, Turing algorithms, the theories of Herbrand and Gödel, recursively enumerable sets and undecidable problems. An appendix contains a version of K. Schütte's consistency proof for formal number theory.—H. P. K. (shrink)

My discussion will concern itself with mathematics, medicine and the possible relations between the two. It will be an exercise in logical analysis, a review of some sad, sad facts, and in some sense a promise of glad tidings. In short, it will be an effort to bring the immortal inhabitants of the mathematical heaven into harmonious relations with the mortal ills of man's vale of tears.As to the curious role of mathematics with respect to the natural sciences, (...) several preliminary observations insist on prompt consideration. It is a matter of common knowledge, for example, that mathematics is being constantly applied to physics. With great success, Galileo wedded the two in his study of motion down an inclined plane. The mathematics he used to describe the physical phenomenon involved the equation of a parabola. His daring genius thus got far beyond the conventional circles that were permitted to motion by theology. His courageous use of the then “higher mathematics” was followed by centuries of application of still higher and higher mathematics, till now a small army of mathematicians is busy almost exclusively with the problem of inventing or discovering new varieties of mathematics which could serve physics better and better. The mathematical physicist of to-day is a specialist, nine-tenths mathematician, one-tenth physicist, with the nine-tenths serving the one-tenth. (shrink)

According to standard mathematical platonism, mathematical entities (numbers, sets, etc.) are abstract entities. As such, they lack causal powers and spatio-temporal location. Platonists owe us an account of how we acquire knowledge of this inaccessible mathematical realm. Some recent versions of mathematical platonism postulate a plenitude of mathematical entities, and Mark Balaguer has argued that, given the existence of such a plenitude, the attainment of mathematical knowledge is rendered non-problematic. I assess his epistemology for such a profligate platonism and find (...) it unsatisfactory because it lacks an adequate semantics, in particular, an adequate account of reference. (shrink)

Any part of the world can be viewed and modelled in terms of its chosen qualitative and/or quantitative properties, OR its structure. The former approach has been used by nearly the whole of ‘human intellectual endeavor’, i.e conventional science of physics, the arts etc. Development of the latter or the ‘systemic view’ is the subject matter of the current work. The Purpose of Change is Problem Solving suggests that the ‘structural view’ is empirical, pervasive throughout experience and as such results (...) in a single domain as opposed to conventional science which consists of many domains like mechanics, electricity etc. Thus, a unique approach is required which is based on ‘general principles of systems’ translated into operational form by the symbolism of processed natural language called ‘linguistic modelling of scenarios’ which can carry mathematics and uncertainties. To model scenarios with complex structure, a description or story in natural language is expressed in terms of homogenous language of one – and two – place sentences, the ‘elementary constituents’ of which complex structures can be constructed [like a variety of buildings from bricks]. To correspond to the single domain, based on the logic of causation, a single scheme of ‘Management/producers – Product – User/consumer’ is proposed which is immediately applicable to structuring scenarios and guides their detailed linguistic modelling or design. The approach, subject to debate, can have significant impact on society and education, especially that of engineering which lacks a ‘comprehensive theory of structure’ of problematic scenarios. (shrink)

In addition to a somewhat detailed exposition of certain portions of what may be called the book-work of formal logic, the following pages contain a number of problems worked out in detail and unsolved problems, by means of which the student may test his command over logical processes. In the expository portions of Parts I, II, and III, dealing respectively with terms, propositions, and syllogisms, the traditional lines are in the main followed, though with certain modifications; e.g., in the systematisation (...) of immediate inferences, and in several points of detail in connexion with the syllogism. For purposes of illustration Euler's diagrams are employed to a greater extent than is usual in English manuals. In Part IV, which contains a generalisation of logical processes in their application to complex inferences, a somewhat new departure is taken. So far as I am aware this part constitutes the first systematic attempt that has been made to deal with formal reasonings of the most complicated character without the aid of mathematical or other symbols of operation, and without abandoning the ordinary non-equational or predicative form of proposition. This attempt has on the whole met with greater success than I had anticipated; and I believe that the methods formulated will be found to be both as easy and as effective as the symbolical methods of Boole and his followers. The book concludes with a general and sure method of solution of what Professor Jevons called the inverse problem, and which he himself seemed to regard as soluble only by a series of guesses. (shrink)

This lively introductory text exposes the student in the humanities to the world of discrete mathematics. A problem-solving based approach grounded in the ideas of George Pólya are at the heart of this book. Students learn to handle and solve new problems on their own. A straightforward, clear writing style and well-crafted examples with diagrams invite the students to develop into precise and critical thinkers. Particular attention has been given to the material that some students find challenging, such as (...) proofs. This book illustrates how to spot invalid arguments, to enumerate possibilities, and to construct probabilities. It also presents case studies to students about the possible detrimental effects of ignoring these basic principles. The book is invaluable for a discrete and finite mathematics course at the freshman undergraduate level or for self-study since there are full solutions to the exercises in an appendix. (shrink)

Machine generated contents note: Chapter One: Wrong Question, Right Answer -- Exercise 1: Getting right into it -- Exercise 2: Watching your hand -- Exercise 3: Marking practice -- Chapter Two: Realistic Drawing -- Exercise 4: Picking an object to draw -- Exercise 5: Attentive looking -- Exercise 6: Noticing awareness -- Exercise 7: Marking from the sense of sight -- Exercise 8: Simple rendering -- Exercise 9: Try perspective -- Exercise 10: Working inward -- Chapter Three: Systematic Drawing -- (...) Exercise 11: The circular arrow - a visual mantra -- Exercise 12: Improvising between two points and finding the world in between -- Exercise 13: Thought as art -- Exercise 14: All four pixel images -- Exercise 15: Book of compositions -- Chapter Four: Improvisational Drawing -- Exercise 16: Going outside the box -- Exercise 17: Not-breath awareness -- Exercise 18: Growing improvisation -- Exercise 19: Chasing the Coltrane Effect -- Exercise 20: Drawing to reveal inner conditions -- Exercise 21: Noticing Intuition -- Exercise 22: You are the universe drawing -- Chapter Five: Reading the Drawings -- Exercise 23: An exact physical description -- Exercise 24: Feeling the meaning -- Exercise 25: The story we tell ourselves -- Exercise 26: Connecting our story to a larger story -- Chapter Six: The Search for the Source of Creativity -- Exercise 27: Priming the source -- Exercise 28: Sitting still at the origin -- Exercise 29: Embedded sources -- Exercise 30: Mindful of the path -- Chapter Seven: Meta-Drawing -- Exercise 31: Sharing with yourself -- Exercise 32: Sharing with a trusted friend -- Exercise 33: Sharing with the world. (shrink)

2nd edition. Many-valued logics are those logics that have more than the two classical truth values, to wit, true and false; in fact, they can have from three to infinitely many truth values. This property, together with truth-functionality, provides a powerful formalism to reason in settings where classical logic—as well as other non-classical logics—is of no avail. Indeed, originally motivated by philosophical concerns, these logics soon proved relevant for a plethora of applications ranging from switching theory to cognitive modeling, and (...) they are today in more demand than ever, due to the realization that inconsistency and vagueness in knowledge bases and information processes are not only inevitable and acceptable, but also perhaps welcome. The main modern applications of (any) logic are to be found in the digital computer, and we thus require the practical knowledge how to computerize—which also means automate—decisions (i.e. reasoning) in many-valued logics. This, in turn, necessitates a mathematical foundation for these logics. This book provides both these mathematical foundation and practical knowledge in a rigorous, yet accessible, text, while at the same time situating these logics in the context of the satisfiability problem (SAT) and automated deduction. The main text is complemented with a large selection of exercises, a plus for the reader wishing to not only learn about, but also do something with, many-valued logics. (shrink)

In addition to this being the centenary of Kurt Gödel’s birth, January marked 75 years since the publication (1931) of his stunning incompleteness theorems. Though widely known in one form or another by practicing mathematicians, and generally thought to say something fundamental about the limits and potentialities of mathematical knowledge, the actual importance of these results for mathematics is little understood. Nor is this an isolated example among famous results. For example, not long ago, Philip Davis wrote me about (...) what he calls The Paradox of Irrelevance: “There are many math problems that have achieved the cachet of tremendous significance, e.g. Fermat, 4 color, Kepler’s packing, Gödel, etc. Of Fermat, I have read: ‘the most famous math problem of all time.’ Of Gödel, I have read: ‘the most mathematically significant achievement of the 20th century.’ … Yet, these problems have engaged the attention of relatively few research mathematicians—even in pure math.” What accounts for this disconnect between fame and relevance? Before going into the question for Gödel’s theorems, it should be distinguished in one respect from the other examples mentioned, which in any case form quite a mixed bag. Namely, each of the Fermat, 4 color, and Kepler’s packing problems posed a stand-out challenge following extended efforts to settle them; meeting the challenge in each case required new ideas or approaches and intense work, obviously of different degrees. By contrast, Gödel’s theorems were simply unexpected, and their proofs, though requiring novel techniques, were not difficult on the scale of things. Setting that aside, my view of Gödel’s incompleteness theorems is that their relevance to mathematical logic (and its offspring in the theory of computation) is paramount; further, their philosophical relevance is significant, but in just what way is far from settled; and finally, their mathematical relevance outside of logic is very much unsubstantiated but is the object of ongoing, tantalizing efforts.. (shrink)

It would be difficult to overestimate the influence Hume’s problem of induction exercises on contemporary epistemology. At the same time, the problem of induction has not perceptibly slowed the progress of mathematics and science. This ironic state of affairs, immortalized by C. D. Broad’s description of induction as “the glory of science” and “the scandal of philosophy,” ought in all fairness to give both sides some pause. And on occasion, it does: the mathematicians stop to concede that Hume has (...) not yet been answered, the scientists worry about randomization of experiments, and inductive skeptics stir uneasily in their chairs at the mention of certain mathematical theorems that seem palpably to have bearing on the problem. (shrink)

The purpose of this book is to introduce the basic ideas of mathematical proof to students embarking on university mathematics. The emphasis is on helping the reader in understanding and constructing proofs and writing clear mathematics. This is achieved by exploring set theory, combinatorics and number theory, topics which include many fundamental ideas which are part of the tool kit of any mathematician. This material illustrates how familiar ideas can be formulated rigorously, provides examples demonstrating a wide range (...) of basic methods of proof, and includes some of the classic proofs. The book presents mathematics as a continually developing subject. Material meeting the needs of readers from a wide range of backgrounds is included. Over 250 problems include questions to interest and challenge the most able student as well as plenty of routine exercises to help familiarize the reader with the basic ideas. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Method and Mathematics:Peter Ramus's Histories of the SciencesRobert GouldingPeter Ramus (1515–72) was, at first sight, the least likely person to write an influential history of mathematics. For one thing, he was clearly no great mathematician himself. His sympathetic biographer Nicholas Nancel related that Ramus would spend the mornings being coached in mathematics by a team of experts he had assembled, and in the afternoon would lecture (...) on the very same subjects.1 But there can be no doubt that Ramus held mathematics in particular esteem and even played a crucial role in linking philosophical discourse to mathematics and in promoting the use of quadrivial reasoning in the study of the natural world.2The origins for his enthusiasm for mathematics are to be found in his account of the nature of the arts and critique of the curriculum of the universities. From his earliest career, Ramus was a logician and remained one in all his works, whether writing on mathematics or Virgil, and he conceived [End Page 63] of all the arts, especially mathematics, as unchanging structures of necessarily true propositions—not prima facie a position which lends itself to notions of historical change and development.3 His career as a historian of mathematics, I will argue, was directed by problems that arose in his theoretical understanding of mathematics as he began to immerse himself in the sciences of the ancient world.Ramus and the Reform of DialecticRamus set out his fundamental logical positions in his very first printed work, the Dialecticae institutiones (Education in Dialectic) of 1543, a contribution to the ongoing humanist attack on scholastic logic, in which Ramus rehearsed many of the commonplace criticisms of the university dialectic. Humanists complained that logic no longer concerned itself with real human reasoning; instead, it had become a discipline studied for its own sake, using its own incomprehensible jargon, and was of no practical interest. The new humanist dialectics of Lorenzo Valla and Rudolph Agricola attempted to teach the kind of practical reasoning useful for composing a speech or letter, and they borrowed extensively from rhetorical works of Cicero and Quintilian to develop a highly rhetoricized logic. Questions about the formal validity of arguments were of little interest; what mattered was whether the arguments were persuasive.4In his Dialecticae institutiones, Ramus took this humanist reformulation of dialectic a step further. Dialectic—or, in fact, any art or science—consisted of nature, doctrine, and exercise. The natural workings of the mind formed the most significant element. Doctrine was nothing more than a record of natural reasoning; in importance it paled next to nature and practice.5 The logic of the universities bore no resemblance to the true, natural dialectic, as he argued at length in the companion volume to the Institutiones, the innocuously titled but exuberantly offensive Aristotelicae animadversiones [End Page 64] (Observations on Aristotle).6 The question, then, remained: how can we gain access to this "natural reasoning"?Ramus's answer was surprising. He asks us to find a group of men—not scholars, but completely uneducated vineyard workers. Question them about the coming year: the fertility of the soil, the quality and quantity of the crop. "And then," he writes "from their minds as from a mirror an image of nature will be reflected."7 In the reasoned replies of these uneducated men, says Ramus, we discover every part of logic needed for any purpose, whether everyday discourse or composition of poetry: the invention of arguments, the assessment of their truth and their proper and orderly presentation. Other humanists had praised man's natural logical faculties, elevating them over artificial technique, but Ramus was the first to look beyond the walls of the university and the writings of the ancients to find natural dialectic at work.If even the uneducated have some possession of the arts, then the arts taught at the university should do no more than clear away the misleading junk in the mind, and allow its natural clarity to shine through.8 Logic should be easy to learn—not because this is a pedagogic ideal, but from the very nature of the art. And if logic as it is... (shrink)

Argues that Americans must improve their understanding of probability and logic.

It seems to be a humdrum fact of human agency that we act on intentions or decisions that we have made at an earlier time. At breakfast, you look at the Taco Hut menu online and decide that later today you’ll have one of their avocado burritos for lunch. You’re at your desk and you hear the church bells ring the noon hour. You get up, walk to Taco Hut, and order the burrito as planned. As mundane as this sort (...) of scenario might seem to be, philosophers have raised a problem in understanding it. If you are simply abiding by this morning’s decision, how are you acting autonomously? Your earlier self seems to be calling the shots; if you are just acting accordingly, without thinking through it or in some other way trying to ensure that the past decision conforms to your present standpoint, it is not clear how this amounts to an exercise of your present autonomous agency. It seems, rather, that your earlier self has succeeded in slaving you to her own purposes. She was the one who wanted (intended, judged it to be good, etc.) to have an avocado burrito. In simply following through, your current self seems to be just an automaton performing the commands left behind by your former self. Of course, you might not allow yourself to be shackled by your earlier self. You might refuse to follow anything but your own present judgments: you will only go to Taco Hut if this is what you judge you should do right now, and once at Taco Hut you will only eat the avocado burrito if that is what you want to eat once there. But if this is the way you generally operate, this seems to block your ability to make effective future-directed decisions. The puzzle, then, is one of explaining how the future self can do the bidding of her past self without losing her autonomy. We call this “the Problem of Diachronic Autonomy.” Philosophers raising this problem take it to show that there must be reasons or rational requirements to follow-through with our past decisions. According to these philosophers, we can only make sense of our diachronic autonomy if our past decisions put rational pressure on us to follow through. We argue that there is no Problem of Diachronic Autonomy. There is, in other words, no puzzling situation that needs explaining. Consequently, there is no need coming from this purported puzzle to think that our future-directed decisions generate reasons or rational requirements to follow through. The correct view of our diachronic autonomy is the “naïve” one: the “future self” can do the bidding of the “past self” without giving up its autonomy because, very simply, the past self is the same agent as the future self. I am acting autonomously when I get the avocado burrito, because I was the one who decided to get the burrito. I am acting on my own freely-formed decision. (shrink)

Many people would like to know where scientific ideas come from and how they arise. In the case of mathematics, new ideas often come in the form of new “mathematical objects”: groups, vector spaces, sets, etc. Some people think these new objects are invented, others that they are discovered. By exploring the birth of descriptive set theory in France and Russia in the period 1890–1930 we show that the leading French mathematicians worked within a rational, secular worldview that made (...) them doubt the legitimacy of infinite sets, particularly nondenumerable ones; on the other hand, the creators of the famous Moscow school of mathematics, particularly those who subscribed to a religious doctrine known as “name‐worshipping,” believed that humans had absolute freedom to invent mathematical objects. Partly as a result of their different cultural environments, the French and the Russians took different approaches to the same problem. In the end the Russians created a new field, descriptive set theory, at a time when the French remained hesitant. (shrink)

Returning to the Greek understanding of art to rethink its capacities, Creation and the Function of Art focuses on the relationship between techné and phusis (nature). Moving away from the theoretical Platonism which dominates contemporary understandings of art, this book instead reinvigorates Aristotelian causation. Beginning with the Greek topos and turning to insights from philosophy, pure mathematics, psychoanalysis and biology, Jason Tuckwell re-problematises techné in functional terms. This book examines the deviations at play within logical forms, the subject, and (...) upon phusis to better situate the role of the function in poiesis (art). In so doing, Tuckwell argues that art concerns a genuinely creative labour that cannot be resolved via an ontological or epistemological problem, but which instead constitutes an encounter with the problematic. As such, techné is shown to be a property of the living, of intelligence coupled to action, that not only enacts poiesis or art, but indicates a broader role for creative deviation in nature. (shrink)