Three Views of Logic

Mathematics, Philosophy, and Computer Science
Author: Donald W. Loveland,Richard E. Hodel,S. G. Sterrett
Publisher: Princeton University Press
ISBN: 140084875X
Category: Mathematics
Page: 344
View: 6479

Continue Reading →

Demonstrating the different roles that logic plays in the disciplines of computer science, mathematics, and philosophy, this concise undergraduate textbook covers select topics from three different areas of logic: proof theory, computability theory, and nonclassical logic. The book balances accessibility, breadth, and rigor, and is designed so that its materials will fit into a single semester. Its distinctive presentation of traditional logic material will enhance readers' capabilities and mathematical maturity. The proof theory portion presents classical propositional logic and first-order logic using a computer-oriented (resolution) formal system. Linear resolution and its connection to the programming language Prolog are also treated. The computability component offers a machine model and mathematical model for computation, proves the equivalence of the two approaches, and includes famous decision problems unsolvable by an algorithm. The section on nonclassical logic discusses the shortcomings of classical logic in its treatment of implication and an alternate approach that improves upon it: Anderson and Belnap's relevance logic. Applications are included in each section. The material on a four-valued semantics for relevance logic is presented in textbook form for the first time. Aimed at upper-level undergraduates of moderate analytical background, Three Views of Logic will be useful in a variety of classroom settings. Gives an exceptionally broad view of logic Treats traditional logic in a modern format Presents relevance logic with applications Provides an ideal text for a variety of one-semester upper-level undergraduate courses

Philosophy and Computer Science


Author: Timothy R. Colburn
Publisher: M.E. Sharpe
ISBN: 9781563249907
Category: Computers
Page: 243
View: 4128

Continue Reading →

Colburn (computer science, U. of Minnesota-Duluth) has a doctorate in philosophy and an advanced degree in computer science; he's worked as a philosophy professor, a computer programmer, and a research scientist in artificial intelligence. Here he discusses the philosophical foundations of artificial intelligence; the new encounter of science and philosophy (logic, models of the mind and of reasoning, epistemology); and the philosophy of computer science (touching on math, abstraction, software, and ontology).

Modern Logic 1850-1950, East and West


Author: Francine F. Abeles,Mark E. Fuller
Publisher: Birkhäuser
ISBN: 3319247565
Category: Mathematics
Page: 258
View: 6460

Continue Reading →

This book presents diverse topics in mathematical logic such as proof theory, meta-mathematics, and applications of logic to mathematical structures. The collection spans the first 100 years of modern logic and is dedicated to the memory of Irving Anellis, founder of the journal 'Modern Logic', whose academic work was essential in promoting the algebraic tradition of logic, as represented by Charles Sanders Peirce. Anellis’s association with the Russian logic community introduced their school of logic to a wider audience in the USA, Canada and Western Europe. In addition, the collection takes a historical perspective on proof theory and the development of logic and mathematics in Eastern Logic, the Soviet Union and Russia. The book will be of interest to historians and philosophers in logic and mathematics, and the more specialized papers will also appeal to mathematicians and logicians.

Philosophical Perceptions on Logic and Order


Author: Horne, Jeremy
Publisher: IGI Global
ISBN: 1522524444
Category: Philosophy
Page: 402
View: 7678

Continue Reading →

Strong reasoning skills are an important aspect to cultivate in life, as they directly impact decision making on a daily basis. By examining the different ways the world views logic and order, new methods and techniques can be employed to help expand on this skill further in the future. Philosophical Perceptions on Logic and Order is a pivotal scholarly resource that discusses the evolution of logical reasoning and future applications for these types of processes. Highlighting relevant topics including logic patterns, deductive logic, and inductive logic, this publication is an ideal reference source for academicians, students, and researchers that would like to expand their understanding of how society currently employs the use of logical reasoning techniques.

Eliminating The Universe: Logical Properties Of Natural Language


Author: Keenan Edward L
Publisher: World Scientific
ISBN: 9814719854
Category: Mathematics
Page: 184
View: 4403

Continue Reading →

This book synthesizes the author's work (1980s-2015) on the logical expressive power of natural language. It extends the tools and concepts of model theory as used in (higher order) predicate logic to the study of natural language semantics. It focuses on boolean structure, generalized quantification (separated from variable binding), covering some cases of anaphora. Different categories — predicates, adjective, quantifiers — are modeled by non-isomorphic boolean lattices.Of empirical linguistic interest is the expressibility of many natural classes of quantifiers defined in terms of their logical (automorphism invariant) properties. Some of these correlate with classes used syntactically in generative grammar. In other cases we find general (possibly universal) constraints on possible quantifier denotations in natural language.Also of novel logical interest are entailment paradigms that depend on relations between pairs or triples of generalized quantifier denoting expressions, ones that are in some cases inherently vague. In addition we note novel binary quantifiers that lie beyond the 'Frege boundary' in that they are provably not identical to any iterated application of unary quantifiers.Of philosophical interest is the existence of models which make the same sentences true as standard models but which lack a universe and hence, seemingly, a notion of 'reference'. Moreover, these models generalize to ones in which we can represent (some) intensional expressions without the use of novel ontological objects, such as 'possible worlds' or 'propositions'.

Proof and Other Dilemmas

Mathematics and Philosophy
Author: Roger Simons
Publisher: MAA
ISBN: 9780883855676
Category: Mathematics
Page: 346
View: 5756

Continue Reading →

For the majority of the twentieth century, philosophers of mathematics focused their attention on foundational questions. However, in the last quarter of the century they began to return to basics, and two new schools of thought were created: social constructivism and structuralism. The advent of the computer also led to proofs and development of mathematics assisted by computer, and to questions concerning the role of the computer in mathematics. This book of sixteen original essays is the first to explore this range of new developments in the philosophy of mathematics, in a language accessible to mathematicians. Approximately half the essays were written by mathematicians, and consider questions that philosophers have not yet discussed. The other half, written by philosophers of mathematics, summarise the discussion in that community during the last 35 years. A connection is made in each case to issues relevant to the teaching of mathematics.

Advances in Contemporary Logic and Computer Science

Proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador, Bahia, Brazil
Author: Walter Alexandre Carnielli,Brazilian Conference on Mathematical Logic,Itala M. L. D'Ottaviano
Publisher: American Mathematical Soc.
ISBN: 0821813641
Category: Computers
Page: 326
View: 2558

Continue Reading →

This volume presents the proceedings from the Eleventh Brazilian Logic Conference on Mathematical Logic held by the Brazilian Logic Society (co-sponsored by the Centre for Logic, Epistemology and the History of Science, State University of Campinas, Sao Paolo) in Salvador, Bahia, Brazil. The conference and the volume are dedicated to the memory of professor Mario Tourasse Teixeira, an educator and researcher who contributed to the formation of several generations of Brazilian logicians.Contributions were made from leading Brazilian logicians and their Latin-American and European colleagues. All papers were selected by a careful refereeing processs and were revised and updated by their authors for publication in this volume. There are three sections: Advances in Logic, Advances in Theoretical Computer Science, and Advances in Philosophical Logic. Well-known specialists present original research on several aspects of model theory, proof theory, algebraic logic, category theory, connections between logic and computer science, and topics of philosophical logic of current interest. Topics interweave proof-theoretical, semantical, foundational, and philosophical aspects with algorithmic and algebraic views, offering lively high-level research results.

Concepts of Proof in Mathematics, Philosophy, and Computer Science


Author: Dieter Probst,Peter Schuster
Publisher: Walter de Gruyter GmbH & Co KG
ISBN: 150150262X
Category: Philosophy
Page: 384
View: 8298

Continue Reading →

This book provides the reader with research arising from the Humboldt-Kolleg ‘Proof’ held in Bern in fall 2013, which gathered leading experts actively involved with the concept ‘proof’ in philosophy, mathematics and computer science. This volume aims to do justice to the breadth and depth of the subject and presents relevant current conceptions and technical advances featuring ‘proof’ in those fields.

Principia Mathematica.


Author: Alfred North Whitehead,Bertrand Russell
Publisher: N.A
ISBN: N.A
Category: Logic, Symbolic and mathematical
Page: 167
View: 7998

Continue Reading →

Thinking about Godel and Turing

Essays on Complexity, 1970-2007L
Author: Gregory J. Chaitin
Publisher: World Scientific
ISBN: 9812708979
Category: Computational complexity
Page: 368
View: 3748

Continue Reading →

Dr Gregory Chaitin, one of the world's leading mathematicians, is best known for his discovery of the remarkable O number, a concrete example of irreducible complexity in pure mathematics which shows that mathematics is infinitely complex. In this volume, Chaitin discusses the evolution of these ideas, tracing them back to Leibniz and Borel as well as GAdel and Turing.This book contains 23 non-technical papers by Chaitin, his favorite tutorial and survey papers, including Chaitin's three Scientific American articles. These essays summarize a lifetime effort to use the notion of program-size complexity or algorithmic information content in order to shed further light on the fundamental work of GAdel and Turing on the limits of mathematical methods, both in logic and in computation. Chaitin argues here that his information-theoretic approach to metamathematics suggests a quasi-empirical view of mathematics that emphasizes the similarities rather than the differences between mathematics and physics. He also develops his own brand of digital philosophy, which views the entire universe as a giant computation, and speculates that perhaps everything is discrete software, everything is 0's and 1's.Chaitin's fundamental mathematical work will be of interest to philosophers concerned with the limits of knowledge and to physicists interested in the nature of complexity."

Der Turing Omnibus

Eine Reise durch die Informatik mit 66 Stationen
Author: A.K. Dewdney
Publisher: Springer-Verlag
ISBN: 3642788726
Category: Computers
Page: 496
View: 3757

Continue Reading →

Der Turing Omnibus macht in 66 exzellent geschriebenen Beiträgen Station bei den interessantesten Themen aus der Informatik, der Computertechnologie und ihren Anwendungen.

The Science of Computing

Shaping a Discipline
Author: Matti Tedre
Publisher: CRC Press
ISBN: 1482217708
Category: Computers
Page: 292
View: 2642

Continue Reading →

The identity of computing has been fiercely debated throughout its short history. Why is it still so hard to define computing as an academic discipline? Is computing a scientific, mathematical, or engineering discipline? By describing the mathematical, engineering, and scientific traditions of computing, The Science of Computing: Shaping a Discipline presents a rich picture of computing from the viewpoints of the field’s champions. The book helps readers understand the debates about computing as a discipline. It explains the context of computing’s central debates and portrays a broad perspective of the discipline. The book first looks at computing as a formal, theoretical discipline that is in many ways similar to mathematics, yet different in crucial ways. It traces a number of discussions about the theoretical nature of computing from the field’s intellectual origins in mathematical logic to modern views of the role of theory in computing. The book then explores the debates about computing as an engineering discipline, from the central technical innovations to the birth of the modern technical paradigm of computing to computing’s arrival as a new technical profession to software engineering gradually becoming an academic discipline. It presents arguments for and against the view of computing as engineering within the context of software production and analyzes the clash between the theoretical and practical mindsets. The book concludes with the view of computing as a science in its own right—not just as a tool for other sciences. It covers the early identity debates of computing, various views of computing as a science, and some famous characterizations of the discipline. It also addresses the experimental computer science debate, the view of computing as a natural science, and the algorithmization of sciences.

Logik für Informatiker


Author: Uwe Schöning
Publisher: Spektrum Akademischer Verlag
ISBN: 9783827410054
Category: Computers
Page: 200
View: 4469

Continue Reading →

Das Buch macht den Leser mit den wesentlichen Teilgebieten der formalen Logik vertraut, die Bestandteil der Ausbildung in Theoretischer Informatik sind. Die Darstellung orientiert sich an den Bedürfnissen von Informatikstudierenden. Insbesondere werden viele mehr auf das Prinzipielle ausgerichtete Resultate der formalen Logik unter einem algorithmischen Gesichtspunkt behandelt. Diese Vorgehensweise erleichtert entscheidend den Zugang zu dem abstrakten Themengebiet. Prof. Schöning gelingt eine kompakte und verständliche Darstellung der Aussagen- und Prädikatenlogik, bei der die benötigten Begriffe präzise eingeführt und durch Beispiele veranschaulicht werden. Darauf beruhend werden Anwendungen der Logik in der Informatik, wie z. B. Resolution, Automatisches Beweisen und Logik-Programmierung behandelt. Zahlreiche Übungsaufgaben mit ausführlichen Lösungshinweisen erleichtern die Vertiefung des Lernstoffes.

A Logical Journey

From Gödel to Philosophy
Author: Hao Wang
Publisher: MIT Press
ISBN: 9780262261258
Category: Philosophy
Page: 408
View: 7553

Continue Reading →

Hao Wang (1921-1995) was one of the few confidants of the great mathematician and logician Kurt Gödel. A Logical Journey is a continuation of Wang's Reflections on Gödel and also elaborates on discussions contained in From Mathematics to Philosophy. A decade in preparation, it contains important and unfamiliar insights into Gödel's views on a wide range of issues, from Platonism and the nature of logic, to minds and machines, the existence of God, and positivism and phenomenology. The impact of Gödel's theorem on twentieth-century thought is on par with that of Einstein's theory of relativity, Heisenberg's uncertainty principle, or Keynesian economics. These previously unpublished intimate and informal conversations, however, bring to light and amplify Gödel's other major contributions to logic and philosophy. They reveal that there is much more in Gödel's philosophy of mathematics than is commonly believed, and more in his philosophy than his philosophy of mathematics. Wang writes that "it is even possible that his quite informal and loosely structured conversations with me, which I am freely using in this book, will turn out to be the fullest existing expression of the diverse components of his inadequately articulated general philosophy." The first two chapters are devoted to Gödel's life and mental development. In the chapters that follow, Wang illustrates the quest for overarching solutions and grand unifications of knowledge and action in Gödel's written speculations on God and an afterlife. He gives the background and a chronological summary of the conversations, considers Gödel's comments on philosophies and philosophers (his support of Husserl's phenomenology and his digressions on Kant and Wittgenstein), and his attempt to demonstrate the superiority of the mind's power over brains and machines. Three chapters are tied together by what Wang perceives to be Gödel's governing ideal of philosophy: an exact theory in which mathematics and Newtonian physics serve as a model for philosophy or metaphysics. Finally, in an epilog Wang sketches his own approach to philosophy in contrast to his interpretation of Gödel's outlook.

Patrick Suppes: Scientific Philosopher

Volume 1. Probability and Probabilistic Causality
Author: Patrick Suppes
Publisher: Springer Science & Business Media
ISBN: 9780792325529
Category: Mathematics
Page: 420
View: 6633

Continue Reading →

Patrick Suppes is a philosopher and scientist whose contributions range over probability and statistics, mathematical and experimental psychology, the foundations of physics, education theory, the philosophy of language, measurement theory, and the philosophy of science. He has also been a pioneer in the area of computer assisted instruction. In each of these areas, Suppes has provided seminal ideas that in some cases led to shaping the direction of research in the field. The papers contained in this collection were commissioned with the mandate of advancing research in their respective fields rather than retrospectively surveying the contributions that Suppes himself has made. The authors form an interesting mixture of researchers in both formal philosophy of science and science itself all of whom have been inspired by his ideas. To maintain the spirit of constructive dialogue that characterizes Suppes's intellectual style, he has written individual responses to each article. In Volume 1: Probability and Probabilistic Causality, nineteen distinguished philosophers and scientists focus their attention on probabilistic issues. In Part I the contributors explore axiomatic representations of probability theory including qualitative and interval valued probabilities as well as traditional point valued probabilities. Belief structures and the dynamics of belief are also treated in detail. In Part II the rapidly growing field of probabilistic causation is assessed from both formal and empirical viewpoints. For probability theorists, statisticians, economists, philosophers of science, psychologists and those interested in the foundations of mathematical social science. In Volume 2: Philosophy of Physics, Theory Structure, and Measurement Theory, fifteen distinguished philosophers and scientists cover a wide variety of topics. Part III covers issues in quantum theory, geometry, classical mechanics, and computational physics. Part IV explores Suppes's well known set-theoretic account of scientific theories which has served him well throughout his career. Suppes's contributions to measurement theory have been widely used in mathematical psychology and elsewhere, and this material is the subject of Part V. For physicists, logicians, workers in mathematical social sicence, and philosophers of science. In Volume 3: Philosophy of Language and Logic, Learning and Action Theory, fourteen distinguished philosophers and scientists explore issues in the philosophy of language, logic, and philosophical psychology. Suppes's suggestions that quantum theory requires a rethinking of classical logic form a particularly sharp account of that controversial thesis, and Part VI deals with this issue together with topics in the philosophy of language and logic, including relational grammars and anaphora. Part VII deals with issues in psychology, action theory, and robotics, while Part VIII concludes with a general survey of Suppes's views in the philosophy of science. A comprehensive chronological and topical bibliography of Suppes's writings is included in this volume. For philosophers of language, theoretical linguists, logicians, workers in mathematical social sciences, and philosophers of science.

Models and Methods in the Philosophy of Science: Selected Essays


Author: Patrick Suppes
Publisher: Springer Science & Business Media
ISBN: 9780792322115
Category: Mathematics
Page: 510
View: 9200

Continue Reading →

This book publishes 31 of the author's selected papers which have appeared, with one exception, since 1970. The papers cover a wide range of topics in the philosophy of science. Part I is concerned with general methodology, including formal and axiomatic methods in science. Part II is concerned with causality and explanation. The papers extend the author's earlier work on a probabilistic theory of causality. The papers in Part III are concerned with probability and measurement, especially foundational questions about probability. Part IV consists of several papers, including two historical ones, on the foundations of physics, with the main emphasis being on quantum mechanics. Part V, the longest part, is on the foundations of psychology and includes papers mainly on learning and perception. The book is aimed at philosophers of science, scientists concerned with the methodology of the social sciences, and mathematical psychologists interested in theories of learning, perception and measurement.

Was ist Mathematik?


Author: Richard Courant,Herbert Robbins
Publisher: Springer-Verlag
ISBN: 3662000539
Category: Mathematics
Page: N.A
View: 3238

Continue Reading →

47 brauchen nur den Nenner n so groß zu wählen, daß das Intervall [0, IJn] kleiner wird als das fragliche Intervall [A, B], dann muß mindestens einer der Brüche m/n innerhalb des Intervalls liegen. Also kann es kein noch so kleines Intervall auf der Achse geben, das von rationalen Punkten frei wäre. Es folgt weiterhin, daß es in jedem Intervall unendlich viele rationale Punkte geben muß; denn wenn es nur eine endliche Anzahl gäbe, so könnte das Intervall zwischen zwei beliebigen benachbarten Punkten keine rationalen Punkte enthalten, was, wie wir eben sahen, unmöglich ist. § 2. Inkommensurable Strecken, irrationale Zahlen und der Grenzwertbegriff 1. Einleitung Vergleicht man zwei Strecken a und b hinsichtlich ihrer Größe, so kann es vor kommen, daß a in b genau r-mal enthalten ist, wobei r eine ganze Zahl darstellt. In diesem Fall können wir das Maß der Strecke b durch das von a ausdrücken, indem wir sagen, daß die Länge von b das r-fache der Länge von a ist.