Book picks similar to
Brouwer Meets Husserl: On the Phenomenology of Choice Sequences by Mark van Atten
philosophy
logic
philosophy-of-mathematics-logic
mathematics
The Conscious Mind: In Search of a Fundamental Theory
David J. Chalmers - 1996
Dennett, Gerald Edelman, and Roger Penrose, all firing volleys in what has come to be called the consciousness wars. Now, in The Conscious Mind, philosopher David J. Chalmers offers a cogent analysis of this heated debate as he unveils a major new theory of consciousness, one that rejects the prevailing reductionist trend of science, while offering provocative insights into the relationship between mind and brain.Writing in a rigorous, thought-provoking style, the author takes us on a far-reaching tour through the philosophical ramifications of consciousness. Chalmers convincingly reveals how contemporary cognitive science and neurobiology have failed to explain how and why mental events emerge from physiological occurrences in the brain. He proposes instead that conscious experience must be understood in an entirely new light--as an irreducible entity (similar to such physical properties as time, mass, and space) that exists at a fundamental level and cannot be understood as the sum of its parts. And after suggesting some intriguing possibilities about the structure and laws of conscious experience, he details how his unique reinterpretation of the mind could be the focus of a new science. Throughout the book, Chalmers provides fascinating thought experiments that trenchantly illustrate his ideas. For example, in exploring the notion that consciousness could be experienced by machines as well as humans, Chalmers asks us to imagine a thinking brain in which neurons are slowly replaced by silicon chips that precisely duplicate their functions--as the neurons are replaced, will consciousness gradually fade away? The book also features thoughtful discussions of how the author's theories might be practically applied to subjects as diverse as artificial intelligence and the interpretation of quantum mechanics.All of us have pondered the nature and meaning of consciousness. Engaging and penetrating, The Conscious Mind adds a fresh new perspective to the subject that is sure to spark debate about our understanding of the mind for years to come.
Phenomenological Research Methods
Clark E. Moustakas - 1994
His concise guide provides numerous examples of successful phenomenological studies from a variety of fields including therapy, health care, victimology, psychology and gender studies. The book also includes form letters and other research tools to use in designing and conducting a study.
Principia Mathematica to '56
Alfred North Whitehead - 1913
Its aim is to deduce all the fundamental propositions of logic and mathematics from a small number of logical premises and primitive ideas, establishing that mathematics is a development of logic. This abridged text of Volume I contains the material that is most relevant to an introductory study of logic and the philosophy of mathematics (more advanced students will of course wish to refer to the complete edition). It contains the whole of the preliminary sections (which present the authors' justification of the philosophical standpoint adopted at the outset of their work); the whole of Part I (in which the logical properties of propositions, propositional functions, classes and relations are established); section A of Part II (dealing with unit classes and couples); and Appendices A and C (which give further developments of the argument on the theory of deduction and truth functions).
Euclid's Elements
Euclid
Heath's translation of the thirteen books of Euclid's Elements. In keeping with Green Lion's design commitment, diagrams have been placed on every spread for convenient reference while working through the proofs; running heads on every page indicate both Euclid's book number and proposition numbers for that page; and adequate space for notes is allowed between propositions and around diagrams. The all-new index has built into it a glossary of Euclid's Greek terms.Heath's translation has stood the test of time, and, as one done by a renowned scholar of ancient mathematics, it can be relied upon not to have inadvertantly introduced modern concepts or nomenclature. We have excised the voluminous historical and scholarly commentary that swells the Dover edition to three volumes and impedes classroom use of the original text. The single volume is not only more convenient, but less expensive as well.
An Introduction to Functional Programming Through Lambda Calculus
Greg Michaelson - 1989
This well-respected text offers an accessible introduction to functional programming concepts and techniques for students of mathematics and computer science. The treatment is as nontechnical as possible, and it assumes no prior knowledge of mathematics or functional programming. Cogent examples illuminate the central ideas, and numerous exercises appear throughout the text, offering reinforcement of key concepts. All problems feature complete solutions.
The Concept of Mind
Gilbert Ryle - 1949
Ryle's linguistic analysis remaps the conceptual geography of mind, not so much solving traditional philosophical problems as dissolving them into the mere consequences of misguided language. His plain language and esstentially simple purpose place him in the traditioin of Locke, Berkeley, Mill, and Russell.
An Investigation of the Laws of Thought
George Boole - 1854
A timeless introduction to the field and a landmark in symbolic logic, showing that classical logic can be treated algebraically.
The Classroom Chef: Sharpen Your Lessons, Season Your Classes, Make Math Meaninful
John Stevens - 2016
You can use these ideas and methods as-is, or better yet, tweak them and create your own enticing educational meals. The message the authors share is that, with imagination and preparation, every teacher can be a Classroom Chef.
The Annotated Turing: A Guided Tour Through Alan Turing's Historic Paper on Computability and the Turing Machine
Charles Petzold - 2008
Turing
Mathematician Alan Turing invented an imaginary computer known as the Turing Machine; in an age before computers, he explored the concept of what it meant to be "computable," creating the field of computability theory in the process, a foundation of present-day computer programming.The book expands Turing's original 36-page paper with additional background chapters and extensive annotations; the author elaborates on and clarifies many of Turing's statements, making the original difficult-to-read document accessible to present day programmers, computer science majors, math geeks, and others.Interwoven into the narrative are the highlights of Turing's own life: his years at Cambridge and Princeton, his secret work in cryptanalysis during World War II, his involvement in seminal computer projects, his speculations about artificial intelligence, his arrest and prosecution for the crime of "gross indecency," and his early death by apparent suicide at the age of 41.
Cybernetics: or the Control and Communication in the Animal and the Machine
Norbert Wiener - 1948
It is a ‘ must’ book for those in every branch of science . . . in addition, economists, politicians, statesmen, and businessmen cannot afford to overlook cybernetics and its tremendous, even terrifying implications. "It is a beautifully written book, lucid, direct, and despite its complexity, as readable by the layman as the trained scientist." -- John B. Thurston, "The Saturday Review of Literature" Acclaimed one of the "seminal books . . . comparable in ultimate importance to . . . Galileo or Malthus or Rousseau or Mill," "Cybernetics" was judged by twenty-seven historians, economists, educators, and philosophers to be one of those books published during the "past four decades", which may have a substantial impact on public thought and action in the years ahead." -- Saturday Review
A System of Logic, Ratiocinative and Inductive: Being a Connected View of the Principles of Evidence and the Methods of Scientific Investigation
John Stuart Mill - 1843
A System of Logic is the first major installment of his comprehensive restatement of an empiricist and utilitarian position. It begins the attack on ""intuitionism"" which Mill carried on throughout his life, and makes plain his belief that social planning and political action should rely primarily on scientific knowledge, not on authority, custom, revelation, or prescription.Contents Include: OF NAMES AND PROPOSITIONS Of the Necessity of commencing with an Analysis of Language Of Names Of the Things denoted by Names Of Proposition Of the Import of Propositions Of Propositions merely Verbal Of the nature of Classification and the five Predicables Of Definition OF REASONING Of Inference, or Reasoning in General Of Ratiocination, or Syllogism Of the Functions, and logical Values of Syllogism Of trains of Reasoning and Deductive Sciences Of Demonstration and Necessary truths OF INDUCTION Observations on Induction in General On the Ground of Induction Of the Laws of Nature Of The Law of Universal Causation Of The Composition of Causes Of Observation and Experiment, Four Methods of Experimental Enquiry Miscellaneous Examples Plurality of Causes Of the Deductive Method Explanation of Laws of Nature. Keywords: Knowledge, Theory of Logic Science Methodology
Mathematics With Applications in Management and Economics/Solutions Manual
Earl K. Bowen - 1987
Book of Proof
Richard Hammack - 2009
It is a bridge from the computational courses (such as calculus or differential equations) that students typically encounter in their first year of college to a more abstract outlook. It lays a foundation for more theoretical courses such as topology, analysis and abstract algebra. Although it may be more meaningful to the student who has had some calculus, there is really no prerequisite other than a measure of mathematical maturity. Topics include sets, logic, counting, methods of conditional and non-conditional proof, disproof, induction, relations, functions and infinite cardinality.
Discrete Mathematical Structures
Bernard Kolman - 1995
It covers areas such as fundamentals, logic, counting, relations and digraphs, trees, topics in graph theory, languages and finite-state machines, and groups and coding.
Information Theory, Inference and Learning Algorithms
David J.C. MacKay - 2002
These topics lie at the heart of many exciting areas of contemporary science and engineering - communication, signal processing, data mining, machine learning, pattern recognition, computational neuroscience, bioinformatics, and cryptography. This textbook introduces theory in tandem with applications. Information theory is taught alongside practical communication systems, such as arithmetic coding for data compression and sparse-graph codes for error-correction. A toolbox of inference techniques, including message-passing algorithms, Monte Carlo methods, and variational approximations, are developed alongside applications of these tools to clustering, convolutional codes, independent component analysis, and neural networks. The final part of the book describes the state of the art in error-correcting codes, including low-density parity-check codes, turbo codes, and digital fountain codes -- the twenty-first century standards for satellite communications, disk drives, and data broadcast. Richly illustrated, filled with worked examples and over 400 exercises, some with detailed solutions, David MacKay's groundbreaking book is ideal for self-learning and for undergraduate or graduate courses. Interludes on crosswords, evolution, and sex provide entertainment along the way. In sum, this is a textbook on information, communication, and coding for a new generation of students, and an unparalleled entry point into these subjects for professionals in areas as diverse as computational biology, financial engineering, and machine learning.