This text presents the ideas of a particular group of mathematicians of the late 18th century known as “the German combinatorial school” and its influence. The book tackles several questions concerning the emergence and historical development of the German combinatorial analysis, which was the unfinished scientific research project of that group of mathematicians. The historical survey covers the three main episodes in the evolution of that research project: its theoretical antecedents (which go back to the innovative ideas on mathematical analysis of the late 17th century) and first formulation, its consolidation as a foundationalist project of mathematical analysis, and its dissolution at the beginning of the 19th century. In addition, the book analyzes the influence of the ideas of the combinatorial school on German mathematics throughout the 19th century.

With the publication of the present volume, the Handbook of the History of Logic turns its attention to the rise of modern logic. The period covered is 1685-1900, with this volume carving out the territory from Leibniz to Frege. What is striking about this period is the earliness and persistence of what could be called 'the mathematical turn in logic'. Virtually every working logician is aware that, after a centuries-long run, the logic that originated in antiquity came to be displaced by a new approach with a dominantly mathematical character. It is, however, a substantial error to suppose that the mathematization of logic was, in all essentials, Frege's accomplishment or, if not his alone, a development ensuing from the second half of the nineteenth century. The mathematical turn in logic, although given considerable torque by events of the nineteenth century, can with assurance be dated from the final quarter of the seventeenth century in the impressively prescient work of Leibniz. It is true that, in the three hundred year run-up to the Begriffsschrift, one does not see a smoothly continuous evolution of the mathematical turn, but the idea that logic is mathematics, albeit perhaps only the most general part of mathematics, is one that attracted some degree of support throughout the entire period in question. Still, as Alfred North Whitehead once noted, the relationship between mathematics and symbolic logic has been an "uneasy" one, as is the present-day association of mathematics with computing. Some of this unease has a philosophical texture. For example, those who equate mathematics and logic sometimes disagree about the directionality of the purported identity. Frege and Russell made themselves famous by insisting (though for different reasons) that logic was the senior partner. Indeed logicism is the view that mathematics can be re-expressed without relevant loss in a suitably framed symbolic logic. But for a number of thinkers who took an algebraic approach to logic, the dependency relation was reversed, with mathematics in some form emerging as the senior partner. This was the precursor of the modern view that, in its four main precincts (set theory, proof theory, model theory and recursion theory), logic is indeed a branch of pure mathematics. It would be a mistake to leave the impression that the mathematization of logic (or the logicization of mathematics) was the sole concern of the history of logic between 1665 and 1900. There are, in this long interval, aspects of the modern unfolding of logic that bear no stamp of the imperial designs of mathematicians, as the chapters on Kant and Hegcl make clear. Of the two, Hcgel's influence on logic is arguably the greater, serving as a spur to the unfolding of an idealist tradition in logic - a development that will be covered in a further volume, British Logic in the Nineteenth Century.

This book describes the author’s view of how the mind “thinks” at various levels of operation. These levels include nonconscious mind (as in spinal/brainstem reflexes and neuroendocrine controls), subconscious mind, and conscious mind. In the attempt to explain conscious mind, there is considerable critique of arguments over whether or not free will is an illusion. Finally, the author summarizes current leading theories for consciousness (Bayesian probability, chaos, and quantum mechanics) and then presents his own theory based on patterns of nerve impulses in circuits that are interlaced coherently into larger networks.

Analytic combinatorics aims to enable precise quantitative predictions of the properties of large combinatorial structures. The theory has emerged over recent decades as essential both for the analysis of algorithms and for the study of scientific models in many disciplines, including probability theory, statistical physics, computational biology, and information theory. With a careful combination of symbolic enumeration methods and complex analysis, drawing heavily on generating functions, results of sweeping generality emerge that can be applied in particular to fundamental structures such as permutations, sequences, strings, walks, paths, trees, graphs and maps. This account is the definitive treatment of the topic. The authors give full coverage of the underlying mathematics and a thorough treatment of both classical and modern applications of the theory. The text is complemented with exercises, examples, appendices and notes to aid understanding. The book can be used for an advanced undergraduate or a graduate course, or for self-study.

This monograph should be of interest to a broad spectrum of readers: specialists in discrete and continuous mathematics, physicists, engineers, and others interested in computing sums and applying complex analysis in discrete mathematics. It contains investigations on the problem of finding integral representations for and computing finite and infinite sums (generating functions); these arise in practice in combinatorial analysis, the theory of algorithms and programming on a computer, probability theory, group theory, and function theory, as well as in physics and other areas of knowledge. A general approach is presented for computing sums and other expressions in closed form by reducing them to one-dimensional and multiple integrals, most often to contour integrals.