INTRODUCTION TO AXIOMATIC SET THEORY

Size: px
Start display at page:

Download "INTRODUCTION TO AXIOMATIC SET THEORY"

Transcription

1 INTRODUCTION TO AXIOMATIC SET THEORY

2 SYNTHESE LIBRARY MONOGRAPHS ON EPISTEMOLOGY, LOGIC, METHODOLOGY, PHILOSOPHY OF SCIENCE, SOCIOLOGY OF SCIENCE AND OF KNOWLEDGE, AND ON THE MATHEMATICAL METHODS OF SOCIAL AND BEHAVIORAL SCIENCES Editors: DONALD DAVIDSON, Rockefeller University and Princeton University J AAKKO HINTIKKA, Academy of Finland and Stanford University GABRIEL NUCHELMANS, University of Leyden WESLEY C. SALMON, Indiana University

3 JEAN-LOUIS KRIVINE INTRODUCTION TO AXIOMATIC SET THEORY D. REIDEL PUBLISHING COMPANY / DORDRECHT-HOLLAND

4 THEORIE AXIOMATIQUE DES ENSEMBLES First published by Presses Universitaires de France, Paris Translated/rom the French by David Miller Library of Congress Catalog Card Number ISBN-13: e-isbn-13: DOl: / All Rights Reserved Copyright 1971 by D. Reidel Publishing Company, Dordrecht, Holland Softcover reprint of the hardcover 1st edition 1971 No part of this book may be reproduced in any form, by print, photoprint, microfilm, or any other means, without written permission from the publisher

5 INTRODUCTION This book presents the classic relative consistency proofs in set theory that are obtained by the device of 'inner models'. Three examples of such models are investigated in s VI, VII, and VIII; the most important of these, the class of constructible sets, leads to G6del's result that the axiom of choice and the continuum hypothesis are consistent with the rest of set theory [1]I. The text thus constitutes an introduction to the results of P. Cohen concerning the independence of these axioms [2], and to many other relative consistency proofs obtained later by Cohen's methods. s I and II introduce the axioms of set theory, and develop such parts of the theory as are indispensable for every relative consistency proof; the method of recursive definition on the ordinals being an important case in point. Although, more or less deliberately, no proofs have been omitted, the development here will be found to require of the reader a certain facility in naive set theory and in the axiomatic method, such as should be achieved, for example, in first year graduate work (2 e cycle de mathernatiques). The background knowledge supposed in logic is no more advanced; taken as understood are such elementary ideas of first-order predicate logic as prenex normal form, model of a system of axioms, and so on. They first come into play in IV; and though, there too, all the proofs (bar that of the reduction of an arbitrary formula to prenex normal form) are carried out, the treatment is probably too condensed for a reader previously unacquainted with the subject. Several leading ideas from model theory, not themselves used in this book, would nevertheless make the understanding of it simpler; for example, the distinction between intuitive natural numbers and the natural numbers of the universe, or between what we call formulas and what we call expressions, are easier to grasp if something is known about 1 Numbers in brackets refer to items of the Bibliography, which is to be found on p.98.

6 VI INTRODUCTION non-standard models for Peano arithmetic. Similarly, the remarks on p. 44 will be better understood by someone who knows the completeness theorem for predicate calculus. All these ideas can be found for example in [4] (s I, II, III) or [5] (s I, II, III). The approach of the book may appear a little odd to anyone who thinks that axiomatic set theory (as opposed to the naive theory, for which, perhaps, this is true) must be placed at the very beginning of mathematics. For the reader is by no means asked to forget that he has already learnt some mathematics; on the contrary we rely on the experience he has acquired from the study of axiomatic theories to offer him another one: the theory of binary relations which satisfy the Zermelo/Fraenkel axioms. As we progress, what distinguishes this particular theory from other axiomatic theories gradually emerges. For the concepts introduced naturally in the study of models of this theory are exactly parallel to the most fundamental mathematical concepts - natural numbers, finite sets, denumerable sets, and so on. And since standard mathematical vocabulary fails to provide two different names for each idea, we are obliged to use the everyday words also when referring to models of the Zermelo/Fraenkel axioms. The words are thereby used with a completely different meaning, the classic example of this being the 'Skolem paradox', which comes from the new sense that the word 'denumerable' takes when interpreted in a model of set theory. Eventually it becomes obvious that even the everyday senses of these words are by no means clear to us, and that we can perhaps try to sharpen them with the new tools which are developed in the study of set theory. Had this problem been posed already at the beginning of the study it would have been tempting to shirk it, by saying that mathematics is merely the business of manipulating meaningless symbols. It is an open question how much set theory can do in this field; but it seems likely that what it can do will be of interest beyond mathematical logic itself. Note: This translation incorporates a number of additions and corrections to the original French edition.

7 CONTENTS INTRODUCTION v I: The ZermelojFraenkel Axioms of Set Theory II: Ordinals, Cardinals III: The Axiom of Foundation IV: The Reflection Principle V: The Set of Expressions VI: Ordinal Definable Sets. Relative Consistency of the Axiom of Choice 63 VII: FraenkelfMostowski Models. Relative Consistency of the Negation of the Axiom of Choice (without the Axiom of Foundation) 70 VIII: Constructible Sets. Relative Consistency of the Generalized Continuum Hypothesis 81 BIBLIOGRAPHY

BOSTON STUDIES IN THE PHILOSOPHY OF SCIENCE. VOLUME LlI DIALECTICS OF THE CONCRETE

BOSTON STUDIES IN THE PHILOSOPHY OF SCIENCE. VOLUME LlI DIALECTICS OF THE CONCRETE BOSTON STUDIES IN THE PHILOSOPHY OF SCIENCE VOLUME LlI DIALECTICS OF THE CONCRETE SYNTHESE LIBRARY MONOGRAPHS ON EPISTEMOLOGY, LOGIC, M ETHO DO LOG Y, PHI LOSOPH Y OF SCI ENCE, SOC 10 LOG Y 0 F SCI E N

More information

SYNTHESE LIBRAR Y MONOGRAPHS ON EPISTEMOLOGY, LOGIC, METHODOLOGY, PHILOSOPHY OF SCIENCE, SOCIOLOGY OF SCIENCE AND OF KNOWLEDGE,

SYNTHESE LIBRAR Y MONOGRAPHS ON EPISTEMOLOGY, LOGIC, METHODOLOGY, PHILOSOPHY OF SCIENCE, SOCIOLOGY OF SCIENCE AND OF KNOWLEDGE, STRUCTURALISM SYNTHESE LIBRAR Y MONOGRAPHS ON EPISTEMOLOGY, LOGIC, METHODOLOGY, PHILOSOPHY OF SCIENCE, SOCIOLOGY OF SCIENCE AND OF KNOWLEDGE, AND ON THE MATHEMATICAL METHODS OF SOCIAL AND BEHA VIORAL SCIENCES

More information

Logical Foundations of Mathematics and Computational Complexity a gentle introduction

Logical Foundations of Mathematics and Computational Complexity a gentle introduction Pavel Pudlák Logical Foundations of Mathematics and Computational Complexity a gentle introduction January 18, 2013 Springer i Preface As the title states, this book is about logic, foundations and complexity.

More information

IS SCIENCE PROGRESSIVE?

IS SCIENCE PROGRESSIVE? IS SCIENCE PROGRESSIVE? SYNTHESE LIBRARY STUDIES IN EPISTEMOLOGY, LOGIC, METHODOLOGY, AND PHILOSOPHY OF SCIENCE Managing Editor: JAAKKO HINTIKKA, Florida State University, Tallahassee Editors: DONALD DAVIDSON,

More information

Numerical Analysis. Ian Jacques and Colin Judd. London New York CHAPMAN AND HALL. Department of Mathematics Coventry Lanchester Polytechnic

Numerical Analysis. Ian Jacques and Colin Judd. London New York CHAPMAN AND HALL. Department of Mathematics Coventry Lanchester Polytechnic Numerical Analysis Numerical Analysis Ian Jacques and Colin Judd Department of Mathematics Coventry Lanchester Polytechnic London New York CHAPMAN AND HALL First published in 1987 by Chapman and Hall Ltd

More information

Foundations of Mathematics

Foundations of Mathematics Erwin Engeler Foundations of Mathematics Questions of Analysis, Geometry & Algorithmics Translated by Charles B. Thomas With 29 Figures Springer-Verlag Berlin Heidelberg New York London Paris Tokyo Hong

More information

Introduction Section 1: Logic. The basic purpose is to learn some elementary logic.

Introduction Section 1: Logic. The basic purpose is to learn some elementary logic. 1 Introduction About this course I hope that this course to be a practical one where you learn to read and write proofs yourselves. I will not present too much technical materials. The lecture pdf will

More information

Lattice-Ordered Groups. An Introduction

Lattice-Ordered Groups. An Introduction Lattice-Ordered Groups An Introduction Reidel Texts in the Mathematical Sciences A Graduate-Level Book Series Lattice-Ordered Groups An Introduction by Marlow Anderson The Colorado College, Colorado Springs,

More information

Ergebnisse der Mathematik und ihrer Grenzgebiete

Ergebnisse der Mathematik und ihrer Grenzgebiete Ergebnisse der Mathematik und ihrer Grenzgebiete 3. Folge. Band 26 A Series of Modem Surveys in Mathematics Editorial Board E. Bombieri, Princeton S. Feferman, Stanford M. Gromov, Bures-sur-Yvette H.W.

More information

SYNTHESE LIBRARY STUDIES IN EPISTEMOLOGY, LOGIC, METHODOLOGY, AND PHILOSOPHY OF SCIENCE. JAAKKO HINTIKKA, Boston University

SYNTHESE LIBRARY STUDIES IN EPISTEMOLOGY, LOGIC, METHODOLOGY, AND PHILOSOPHY OF SCIENCE. JAAKKO HINTIKKA, Boston University NAMING THE RAINBOW SYNTHESE LIBRARY STUDIES IN EPISTEMOLOGY, LOGIC, METHODOLOGY, AND PHILOSOPHY OF SCIENCE Managing Editor: JAAKKO HINTIKKA, Boston University Editors: DIRK VAN DALEN, University of Utrecht,

More information

SYNTHESE LIBRARY MONOGRAPHS ON EPISTEMOLOGY, LOGIC, METHODOLOGY, PHILOSOPHY OF SCIENCE, SOCIOLOGY OF SCIENCE AND OF KNOWLEDGE,

SYNTHESE LIBRARY MONOGRAPHS ON EPISTEMOLOGY, LOGIC, METHODOLOGY, PHILOSOPHY OF SCIENCE, SOCIOLOGY OF SCIENCE AND OF KNOWLEDGE, MODELS OF DISCOVERY SYNTHESE LIBRARY MONOGRAPHS ON EPISTEMOLOGY, LOGIC, METHODOLOGY, PHILOSOPHY OF SCIENCE, SOCIOLOGY OF SCIENCE AND OF KNOWLEDGE, AND ON THE MATHEMATICAL METHODS OF SOCIAL AND BEHAVIORAL

More information

Sidestepping the holes of holism

Sidestepping the holes of holism Sidestepping the holes of holism Tadeusz Ciecierski taci@uw.edu.pl University of Warsaw Institute of Philosophy Piotr Wilkin pwl@mimuw.edu.pl University of Warsaw Institute of Philosophy / Institute of

More information

INTERNATIONAL CONFERENCE ON ENGINEERING DESIGN ICED 05 MELBOURNE, AUGUST 15-18, 2005 GENERAL DESIGN THEORY AND GENETIC EPISTEMOLOGY

INTERNATIONAL CONFERENCE ON ENGINEERING DESIGN ICED 05 MELBOURNE, AUGUST 15-18, 2005 GENERAL DESIGN THEORY AND GENETIC EPISTEMOLOGY INTERNATIONAL CONFERENCE ON ENGINEERING DESIGN ICED 05 MELBOURNE, AUGUST 15-18, 2005 GENERAL DESIGN THEORY AND GENETIC EPISTEMOLOGY Mizuho Mishima Makoto Kikuchi Keywords: general design theory, genetic

More information

ASPECTS OF ARISTOTLE'S LOGIC OF MODALITIES

ASPECTS OF ARISTOTLE'S LOGIC OF MODALITIES ASPECTS OF ARISTOTLE'S LOGIC OF MODALITIES SYNTHESE HISTORICAL LIBRARY TEXTS AND STUDIES IN THE IllSTORY OF LOGIC AND PIffi.,OSOPHY Editors: N. KRETZMANN, Cornell University G. NUCHELMANS, University of

More information

PROBLEMS OF SEMANTICS

PROBLEMS OF SEMANTICS PROBLEMS OF SEMANTICS BOSTON STUDIES IN THE PHILOSOPHY OF SCIENCE EDITED BY ROBERT S. COHEN AND MARX W. WARTOFSKY VOLUME 66 LADISLA V TONDL PROBLEMS OF SEMANTICS A Contribution to the Analysis of the Language

More information

And All That PHILIP J. DAVIS WILLIAM G. CHINN. Birkhauser. Boston. Basel. Stuttgart

And All That PHILIP J. DAVIS WILLIAM G. CHINN. Birkhauser. Boston. Basel. Stuttgart 3.1416 And All That PHILIP J. DAVIS WILLIAM G. CHINN Birkhauser Boston. Basel. Stuttgart TO OUR FAMILIES All rights reserved. No part of this publication may be reproduced, stored in a retrieval system,

More information

EPISTEMOLOGY, METHODOLOGY, AND THE SOCIAL SCIENCES

EPISTEMOLOGY, METHODOLOGY, AND THE SOCIAL SCIENCES EPISTEMOLOGY, METHODOLOGY, AND THE SOCIAL SCIENCES BOSTON STUDIES IN THE PHILOSOPHY OF SCIENCE EDITED BY ROBERT S. COHEN AND MARX W. WARTOFSKY VOLUME 71 EPISTEMOLOGY, METHODOLOGY, AND THE SOCIAL SCIENCES

More information

Logic and Philosophy of Science (LPS)

Logic and Philosophy of Science (LPS) Logic and Philosophy of Science (LPS) 1 Logic and Philosophy of Science (LPS) Courses LPS 29. Critical Reasoning. 4 Units. Introduction to analysis and reasoning. The concepts of argument, premise, and

More information

Paul M. Gauthier. Lectures on Several Complex

Paul M. Gauthier. Lectures on Several Complex Paul M. Gauthier Lectures on Several Complex Variables Paul M. Gauthier Départment de Mathématiques et de Statistique Université de Montréal Montreal, QC, Canada ISBN 978-3-319-11510-8 ISBN 978-3-319-11511-5

More information

Scientific Philosophy

Scientific Philosophy Scientific Philosophy Gustavo E. Romero IAR-CONICET/UNLP, Argentina FCAGLP, UNLP, 2018 Philosophy of mathematics The philosophy of mathematics is the branch of philosophy that studies the philosophical

More information

JUAN LUIS VIVES AGAINST THE PSEUDODIALECTICIANS

JUAN LUIS VIVES AGAINST THE PSEUDODIALECTICIANS JUAN LUIS VIVES AGAINST THE PSEUDODIALECTICIANS SYNTHESE HISTORICAL LIBRARY TEXTS AND STUDIES IN THE HISTORY OF LOGIC AND PHILOSOPHY Editors: N. KRETZMANN, Cornell University G. NUCHELMANS, University

More information

Computability and Logic, Fifth Edition

Computability and Logic, Fifth Edition Computability and Logic, Fifth Edition Computability and Logic has become a classic because of its accessibility to students without a mathematical background and because it covers not simply the staple

More information

SOCIOLOGICAL POETICS AND AESTHETIC THEORY

SOCIOLOGICAL POETICS AND AESTHETIC THEORY SOCIOLOGICAL POETICS AND AESTHETIC THEORY By the same author THE SOCIOLOGY OF LITERATURE MARX AND MODERN SOCIAL THEORY THE NOVEL AND REVOLUTION THE MYTH OF MASS CULTURE A SHORT HISTORY OF SOCIOLOGICAL

More information

Birkhäuser Advanced Texts

Birkhäuser Advanced Texts Birkhäuser Advanced Texts Basler Lehrbücher Edited by Herbert Amann, University of Zürich Steven G. Krantz, Washington University, St. Louis Shrawan Kumar, University of North Carolina at Chapel Hili Steven

More information

Curry s Formalism as Structuralism

Curry s Formalism as Structuralism Curry s Formalism as Structuralism Jonathan P. Seldin Department of Mathematics and Computer Science University of Lethbridge Lethbridge, Alberta, Canada jonathan.seldin@uleth.ca http://www.cs.uleth.ca/

More information

Logic and the Limits of Philosophy in Kant and Hegel

Logic and the Limits of Philosophy in Kant and Hegel Logic and the Limits of Philosophy in Kant and Hegel This page intentionally left blank Logic and the Limits of Philosophy in Kant and Hegel Clayton Bohnet Fordham University, USA Clayton Bohnet 2015 Softcover

More information

CONDITIONS OF HAPPINESS

CONDITIONS OF HAPPINESS CONDITIONS OF HAPPINESS CONDITIONS OF HAPPINESS RUUT VEENHOVEN Erasmus University Rotterdam, Department of Sociology D. REIDEL PUBLISHING COMPANY A MEMBER OF THE KLUWER ACADEMIC PUBUSHERS GROUP DORDRECHT

More information

THEORY AND DECISION LIBRARY

THEORY AND DECISION LIBRARY PRAGMATIC ASPECTS OF HUMAN COMMUNICATION THEORY AND DECISION LIBRARY AN INTERNATIONAL SERIES IN THE PHILOSOPHY AND METHODOLOGY OF THE SOCIAL AND BEHA VIORAL SCIENCES Editors: GERALD EBERLEIN, Universitiit

More information

Die Grundlehren der mathematischen Wissenschaften

Die Grundlehren der mathematischen Wissenschaften Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Beriicksichtigung der Anwendungsgebiete Band 196 llerausgegeben von J. L. Doob. A. Grothendieck. E. Heinz F. Hirzebruch

More information

Haskell Brooks Curry was born on 12 September 1900 at Millis, Massachusetts and died on 1 September 1982 at

Haskell Brooks Curry was born on 12 September 1900 at Millis, Massachusetts and died on 1 September 1982 at CURRY, Haskell Brooks (1900 1982) Haskell Brooks Curry was born on 12 September 1900 at Millis, Massachusetts and died on 1 September 1982 at State College, Pennsylvania. His parents were Samuel Silas

More information

Human Rights Violation in Turkey

Human Rights Violation in Turkey Human Rights Violation in Turkey Human Rights Violation in Turkey Rethinking Sociological Perspectives David Straw University of Manchester, UK David Straw 2013 Softcover reprint of the hardcover 1st edition

More information

METAMATHEMATICS OF FUZZY LOGIC

METAMATHEMATICS OF FUZZY LOGIC METAMATHEMATICS OF FUZZY LOGIC TRENDS IN LOGIC Studia Logica Library VOLUME 4 Managing Editor Ryszard Wojcicki, Institute ofphilosophy and Sociology, Polish Academy ofsciences, Warsaw, Poland Editors Petr

More information

From Pythagoras to the Digital Computer: The Intellectual Roots of Symbolic Artificial Intelligence

From Pythagoras to the Digital Computer: The Intellectual Roots of Symbolic Artificial Intelligence From Pythagoras to the Digital Computer: The Intellectual Roots of Symbolic Artificial Intelligence Volume I of Word and Flux: The Discrete and the Continuous In Computation, Philosophy, and Psychology

More information

NON-EXAMPLES AND PROOF BY CONTRADICTION

NON-EXAMPLES AND PROOF BY CONTRADICTION NON-EXAMPLES AND PROOF BY CONTRADICTION Samuele Antonini Department of Mathematics - University of Pisa, Italy Researches in Mathematics Education about proof by contradiction revealed some difficulties

More information

The Letter in Flora Tristan s Politics,

The Letter in Flora Tristan s Politics, The Letter in Flora Tristan s Politics, 1835 1844 This page intentionally left blank The Letter in Flora Tristan s Politics, 1835 1844 Máire Fedelma Cross Máire Fedelma Cross 2004 Softcover reprint of

More information

Six Lectures. on Modern Natural Philosophy. c. Truesdell. Springer-Verlag Berlin Heidelberg GmbH 1966

Six Lectures. on Modern Natural Philosophy. c. Truesdell. Springer-Verlag Berlin Heidelberg GmbH 1966 Six Lectures on Modern Natural Philosophy c. Truesdell Springer-Verlag Berlin Heidelberg GmbH 1966 ISBN 978-3-662-28239-7 DOI 10.1007/978-3-662-29756-8 ISBN 978-3-662-29756-8 (ebook) All rights, especially

More information

A Functional Representation of Fuzzy Preferences

A Functional Representation of Fuzzy Preferences Forthcoming on Theoretical Economics Letters A Functional Representation of Fuzzy Preferences Susheng Wang 1 October 2016 Abstract: This paper defines a well-behaved fuzzy order and finds a simple functional

More information

Corcoran, J George Boole. Encyclopedia of Philosophy. 2nd edition. Detroit: Macmillan Reference USA, 2006

Corcoran, J George Boole. Encyclopedia of Philosophy. 2nd edition. Detroit: Macmillan Reference USA, 2006 Corcoran, J. 2006. George Boole. Encyclopedia of Philosophy. 2nd edition. Detroit: Macmillan Reference USA, 2006 BOOLE, GEORGE (1815-1864), English mathematician and logician, is regarded by many logicians

More information

Defining Literary Criticism

Defining Literary Criticism Defining Literary Criticism This page intentionally left blank Defining Literary Criticism Scholarship, Authority and the Possession of Literary Knowledge, 1880 2002 Carol Atherton Carol Atherton 2005

More information

Phenomenology Glossary

Phenomenology Glossary Phenomenology Glossary Phenomenology: Phenomenology is the science of phenomena: of the way things show up, appear, or are given to a subject in their conscious experience. Phenomenology tries to describe

More information

Introduction to the Calculus of Variations Downloaded from by on 12/23/17. For personal use only.

Introduction to the Calculus of Variations Downloaded from  by on 12/23/17. For personal use only. Published by Imperial College Press 57 Shelton Street Covent Garden London WC2H 9HE Distributed by Introduction to the Calculus of Variations Downloaded from www.worldscientific.com World Scientific Publishing

More information

Lecture 10 Popper s Propensity Theory; Hájek s Metatheory

Lecture 10 Popper s Propensity Theory; Hájek s Metatheory Lecture 10 Popper s Propensity Theory; Hájek s Metatheory Patrick Maher Philosophy 517 Spring 2007 Popper s propensity theory Introduction One of the principal challenges confronting any objectivist theory

More information

Mathematical Principles of Fuzzy Logic

Mathematical Principles of Fuzzy Logic Mathematical Principles of Fuzzy Logic THE KLUWER INTERNATIONAL SERIES IN ENGINEERING AND COMPUTER SCIENCE MATHEMATICAL PRINCIPLES OF FUZZY LOGIC VILEM N O V K University of Ostrava Institute for Research

More information

Narrative Dimensions of Philosophy

Narrative Dimensions of Philosophy Narrative Dimensions of Philosophy This page intentionally left blank Narrative Dimensions of Philosophy A Semiotic Exploration in the Work of Merleau-Ponty, Kierkegaard and Austin Sky Marsen Victoria

More information

ALLYN YOUNG: THE PERIPATETIC ECONOMIST

ALLYN YOUNG: THE PERIPATETIC ECONOMIST ALLYN YOUNG: THE PERIPATETIC ECONOMIST STUDIES IN THE HISTORY OF ECONOMICS General Editor: D. E. Moggridge, University oftoronto, Canada Editorial Board: N. de Marchi, Duke University and University of

More information

Ontology as a formal one. The language of ontology as the ontology itself: the zero-level language

Ontology as a formal one. The language of ontology as the ontology itself: the zero-level language Ontology as a formal one The language of ontology as the ontology itself: the zero-level language Vasil Penchev Bulgarian Academy of Sciences: Institute for the Study of Societies and Knowledge: Dept of

More information

Seeing Film and Reading Feminist Theology

Seeing Film and Reading Feminist Theology Seeing Film and Reading Feminist Theology This page intentionally left blank Seeing Film and Reading Feminist Theology A Dialogue Ulrike Vollmer SEEING FILM AND READING FEMINIST THEOLOGY Copyright Ulrike

More information

E. Kowalski. Nuclear Electronics. With 337 Figures. Springer-Verlag New York Heidelberg Berlin 1970

E. Kowalski. Nuclear Electronics. With 337 Figures. Springer-Verlag New York Heidelberg Berlin 1970 E. Kowalski Nuclear Electronics With 337 Figures Springer-Verlag New York Heidelberg Berlin 1970 Dr. Emil Kowalski Lecturer, Institute of Applied Physics, University of Berne, Switzerland Nucleonics Division,

More information

Cognitive Units, Connections and Mathematical Proof

Cognitive Units, Connections and Mathematical Proof Cognitive Units, Connections and Mathematical Proof Tony Barnard Published in Proceedings of PME 21, Finland, (1997), vol. 2, pp. 41 48. David Tall Mathematics Department Mathematics Education Research

More information

Lecture 3: Nondeterministic Computation

Lecture 3: Nondeterministic Computation IAS/PCMI Summer Session 2000 Clay Mathematics Undergraduate Program Basic Course on Computational Complexity Lecture 3: Nondeterministic Computation David Mix Barrington and Alexis Maciel July 19, 2000

More information

cse371/mat371 LOGIC Professor Anita Wasilewska

cse371/mat371 LOGIC Professor Anita Wasilewska cse371/mat371 LOGIC Professor Anita Wasilewska LECTURE 1 LOGICS FOR COMPUTER SCIENCE: CLASSICAL and NON-CLASSICAL CHAPTER 1 Paradoxes and Puzzles Chapter 1 Introduction: Paradoxes and Puzzles PART 1: Logic

More information

TOM STOPPARD AN ASSESSMENT

TOM STOPPARD AN ASSESSMENT TOM STOPPARD AN ASSESSMENT TOM STOPPARD AN ASSESSMENT Tim Brassell Palgrave Macmillan ISBN 978-1-349-17791-2 ISBN 978-1-349-17789-9 (ebook) DOI 10.1007/978-1-349-17789-9 Tim Brassell 1985 Softcover reprint

More information

Introduction p. 1 The Elements of an Argument p. 1 Deduction and Induction p. 5 Deductive Argument Forms p. 7 Truth and Validity p. 8 Soundness p.

Introduction p. 1 The Elements of an Argument p. 1 Deduction and Induction p. 5 Deductive Argument Forms p. 7 Truth and Validity p. 8 Soundness p. Preface p. xi Introduction p. 1 The Elements of an Argument p. 1 Deduction and Induction p. 5 Deductive Argument Forms p. 7 Truth and Validity p. 8 Soundness p. 11 Consistency p. 12 Consistency and Validity

More information

INTUITION IN SCIENCE AND MATHEMATICS

INTUITION IN SCIENCE AND MATHEMATICS INTUITION IN SCIENCE AND MATHEMATICS MATHEMATICS EDUCATION LIBRARY Managing Editor A. J. Bishop, Cambridge, U.K. Editorial Board H. Bauersfeld, Bielefeld, Germany H. Freudenthal, Utrecht, Holland J. Kilpatnck,

More information

HANDBOOK OF RECORDING ENGINEERING

HANDBOOK OF RECORDING ENGINEERING HANDBOOK OF RECORDING ENGINEERING HANDBOOK OF RECORDING ENGINEERING John Eargle Inm51 VAN NOSTRAND REINHOLD COMPANY ~ New York ISBN 978-94-010-9368-2 ISBN 978-94-010-9366-8 (ebook) 001 10.1007/978-94-010-9366-8

More information

Zdravko Cvetkovski. Inequalities. Theorems, Techniques and Selected Problems

Zdravko Cvetkovski. Inequalities. Theorems, Techniques and Selected Problems Inequalities Zdravko Cvetkovski Inequalities Theorems, Techniques and Selected Problems Dipl. Math. Zdravko Cvetkovski Informatics Department European University-Republic of Macedonia Skopje, Macedonia

More information

SAMUEL BUTLER AND THE MEANING OF CHIASMUS

SAMUEL BUTLER AND THE MEANING OF CHIASMUS SAMUEL BUTLER AND THE MEANING OF CHIASMUS By the same author TECHNIQUES OF AMBIGUITY IN THE FICTION OF HENRY JAMES NATURE AND LANGUAGE (with Jon Haarberg) THE INSECURE WORLD OF HENRY JAMES'S FICTION SAMUEL

More information

Exploring the Monty Hall Problem. of mistakes, primarily because they have fewer experiences to draw from and therefore

Exploring the Monty Hall Problem. of mistakes, primarily because they have fewer experiences to draw from and therefore Landon Baker 12/6/12 Essay #3 Math 89S GTD Exploring the Monty Hall Problem Problem solving is a human endeavor that evolves over time. Children make lots of mistakes, primarily because they have fewer

More information

PLEASE SCROLL DOWN FOR ARTICLE

PLEASE SCROLL DOWN FOR ARTICLE This article was downloaded by:[ingenta Content Distribution] On: 24 January 2008 Access Details: [subscription number 768420433] Publisher: Routledge Informa Ltd Registered in England and Wales Registered

More information

Being a Realist Without Being a Platonist

Being a Realist Without Being a Platonist Being a Realist Without Being a Platonist Dan Sloughter Furman University January 31, 2010 Dan Sloughter (Furman University) Being a Realist Without Being a Platonist January 31, 2010 1 / 15 Mathematical

More information

A Hybrid Theory of Metaphor

A Hybrid Theory of Metaphor A Hybrid Theory of Metaphor A Hybrid Theory of Metaphor Relevance Theory and Cognitive Linguistics Markus Tendahl University of Dortmund, Germany Markus Tendahl 2009 Softcover reprint of the hardcover

More information

Necessity in Kant; Subjective and Objective

Necessity in Kant; Subjective and Objective Necessity in Kant; Subjective and Objective DAVID T. LARSON University of Kansas Kant suggests that his contribution to philosophy is analogous to the contribution of Copernicus to astronomy each involves

More information

Journey through Mathematics

Journey through Mathematics Journey through Mathematics Enrique A. González-Velasco Journey through Mathematics Creative Episodes in Its History Enrique A. González-Velasco Department of Mathematical Sciences University of Massachusetts

More information

Ten Essays in the Development of Economic Thought. Ronald L. Meek Tyler Professor of Economics at the University of Leicester

Ten Essays in the Development of Economic Thought. Ronald L. Meek Tyler Professor of Economics at the University of Leicester SMITH, MARX, & AFTER SMITH, MARX, & AFTER Ten Essays in the Development of Economic Thought Ronald L. Meek Tyler Professor of Economics at the University of Leicester SPRINGER-SCIENCE+BUSINESS MEDIA. B.V.

More information

Review of FERREIRÓS, J; LASSALLE CASANAVE, A. El árbol de los números. Editorial Universidad de Sevilla: Sevilla, 2016

Review of FERREIRÓS, J; LASSALLE CASANAVE, A. El árbol de los números. Editorial Universidad de Sevilla: Sevilla, 2016 CDD: 5101.1 Review of FERREIRÓS, J; LASSALLE CASANAVE, A. El árbol de los números. Editorial Universidad de Sevilla: Sevilla, 2016 Bruno Mendonça Universidade Estadual de Campinas Departamento de Filosofia

More information

RESTORATION AND 18th-CENTURY PROSE AND POETRY

RESTORATION AND 18th-CENTURY PROSE AND POETRY GREAT WRITERS STUDENT LIBRARY RESTORATION AND 18th-CENTURY PROSE AND POETRY EXCLUDING DRAMA AND THE NOVEL GREAT WRITERS STUDENT LIBRARY I. The Beginnings to 1558 2. The Renaissance Excluding Drama 3. Renaissance

More information

Philosophy of Development

Philosophy of Development Philosophy of Development Philosophy and Education VOLUME 8 Series Editors: C. J. B. Macmillan College ofeducation, The Florida State University, Tallahassee D. C. Phillips School ofeducation, Stanford

More information

Appendix B. Elements of Style for Proofs

Appendix B. Elements of Style for Proofs Appendix B Elements of Style for Proofs Years of elementary school math taught us incorrectly that the answer to a math problem is just a single number, the right answer. It is time to unlearn those lessons;

More information

In Defense of the Contingently Nonconcrete

In Defense of the Contingently Nonconcrete In Defense of the Contingently Nonconcrete Bernard Linsky Philosophy Department University of Alberta and Edward N. Zalta Center for the Study of Language and Information Stanford University In Actualism

More information

Ramanujan's Notebooks

Ramanujan's Notebooks Ramanujan's Notebooks Part II Springer New York Berlin Heidelberg Barcelona Hong Kong London Milan Paris Singapore Tokyo Bust of Ramanujan by Paul Granlund Bruce C. Berndt Ramanujan's Notebooks Part II

More information

Readability: Text and Context

Readability: Text and Context Readability: Text and Context Also by Alan Bailin THE CRITICAL ASSESSMENT OF RESEARCH Traditional and New Methods of Evaluation ( co- authored) METAPHOR AND THE LOGIC OF LANGUAGE USE Also by Ann Grafstein

More information

THE COUNTER-CREATIONISM HANDBOOK

THE COUNTER-CREATIONISM HANDBOOK THE COUNTER-CREATIONISM HANDBOOK This page intentionally left blank THE COUNTER-CREATIONISM HANDBOOK Mark Isaak University of California Press Berkeley Los Angeles London University of California Press,

More information

DOI: / Shakespeare and Cognition

DOI: / Shakespeare and Cognition DOI: 10.1057/9781137543165.0001 Shakespeare and Cognition Also by Neema Parvini: Shakespeare s History Plays Shakespeare and Contemporary Theory DOI: 10.1057/9781137543165.0001 Shakespeare and Cognition:

More information

Introduction to the Representation Theory of Algebras

Introduction to the Representation Theory of Algebras Introduction to the Representation Theory of Algebras Michael Barot Introduction to the Representation Theory of Algebras 123 Michael Barot Instituto de Matemáticas Universidad Nacional Autónoma de México

More information

A Algorithms and Combinatorics 13

A Algorithms and Combinatorics 13 A Algorithms and Combinatorics 13 Editorial Board R. L. Graham, Murray Hill B. Korte, Bonn L. Lovasz, Budapest A.Wigderson, Jerusalem G. M. Ziegler, Berlin Springer Berlin Heidelberg New York Barcelona

More information

a n a l i t i c a comitato scientifico Mauro Mariani, Carlo Marletti Enrico Moriconi

a n a l i t i c a comitato scientifico Mauro Mariani, Carlo Marletti Enrico Moriconi a n a l i t i c a 5 comitato scientifico Mauro Mariani, Carlo Marletti Enrico Moriconi Analitica propone una serie di testi classici, monografie, strumenti antologici e manuali dedicati ai più importanti

More information

This page intentionally left blank

This page intentionally left blank A DEFOE COMPANION This page intentionally left blank A Defoe Com.panion J. R. Hammond!50th YEAR M Barnes & Noble Books J. R. Hammond 1993 Softcover reprint of the hardcover 1st edition 1993 978-0-333-51328-6

More information

SATELLITES INTERNATIONAL

SATELLITES INTERNATIONAL SATELLITES INTERNATIONAL SATELLITES INTERNATIONAL JOSEPH N. PELTON JOHN HOWKINS Associate Editor Janet Greco M STOCKTON P R E S S Macmillan Publishers Limited, 1987 Softcover reprint of the hardcover 1st

More information

HANDBOOK OF RECORDING ENGINEERING FOURTH EDITION

HANDBOOK OF RECORDING ENGINEERING FOURTH EDITION HANDBOOK OF RECORDING ENGINEERING FOURTH EDITION HANDBOOK OF RECORDING ENGINEERING FOURTH EDITION by John Eargle JME Consulting Corporation Springe] John Eargle JME Consulting Corporation Los Angeles,

More information

Peirce's Remarkable Rules of Inference

Peirce's Remarkable Rules of Inference Peirce's Remarkable Rules of Inference John F. Sowa Abstract. The rules of inference that Peirce invented for existential graphs are the simplest, most elegant, and most powerful rules ever proposed for

More information

A Notion of Logical Concept based on Plural Reference

A Notion of Logical Concept based on Plural Reference A Notion of Logical Concept based on Plural Reference October 25, 2017 Abstract In To be is to be the object of a possible act of choice (6) the authors defended Boolos thesis that plural quantification

More information

DECLARATION... ERROR! BOOKMARK NOT DEFINED. APPROVAL SHEET... ERROR! BOOKMARK NOT DEFINED. ACKNOWLEDGEMENT... ERROR! BOOKMARK NOT DEFINED.

DECLARATION... ERROR! BOOKMARK NOT DEFINED. APPROVAL SHEET... ERROR! BOOKMARK NOT DEFINED. ACKNOWLEDGEMENT... ERROR! BOOKMARK NOT DEFINED. TABLE OF CONTENTS DECLARATION... ERROR! BOOKMARK NOT APPROVAL SHEET... ERROR! BOOKMARK NOT ACKNOWLEDGEMENT... ERROR! BOOKMARK NOT ABSTRACT... ERROR! BOOKMARK NOT TABLE OF CONTENTS... I LIST OF TABLES...

More information

THEORY AND APPLICATIONS OF SPECIAL FUNCTIONS. A Volume Dedicated to Mizan Rahman

THEORY AND APPLICATIONS OF SPECIAL FUNCTIONS. A Volume Dedicated to Mizan Rahman - - - - -- - THEORY AND APPLICATIONS OF SPECIAL FUNCTIONS A Volume Dedicated to Mizan Rahman Developments in Mathematics VOLUME 13 Series Editor: Krishnaswami Alladi, University of Florida, U.S.A. Aims

More information

Problem Books in Mathematics

Problem Books in Mathematics Problem Books in Mathematics Series Editor: Peter Winkler Department of Mathematics Dartmouth College Hanover, NH 03755 USA More information about this series at http://www.springer.com/series/714 Hayk

More information

Henry James s Permanent Adolescence

Henry James s Permanent Adolescence Henry James s Permanent Adolescence Also by John R. Bradley and from the same publishers HENRY JAMES AND HOMO-EROTIC DESIRE (editor) HENRY JAMES ON STAGE AND SCREEN (editor) Henry James s Permanent Adolescence

More information

2D ELEMENTARY CELLULAR AUTOMATA WITH FOUR NEIGHBORS

2D ELEMENTARY CELLULAR AUTOMATA WITH FOUR NEIGHBORS 2D ELEMENTARY CELLULAR AUTOMATA WITH FOUR NEIGHBORS JOSÉ ANTÓNIO FREITAS Escola Secundária Caldas de Vizela, Rua Joaquim Costa Chicória 1, Caldas de Vizela, 4815-513 Vizela, Portugal RICARDO SEVERINO CIMA,

More information

A Glossary of Anesthesia and Related Terminology. Second Edition

A Glossary of Anesthesia and Related Terminology. Second Edition A Glossary of Anesthesia and Related Terminology Second Edition Sanford L. Klein A Glossary of Anesthesia and Related Terminology Second Edition With 228 Illustrations Springer-Verlag New York Berlin Heidelberg

More information

Early Power and Transport

Early Power and Transport Early Power and Transport Young Engineer s Guide to Various and Ingenious Machines Bryan Lawton Portions Reprinted from Various and Ingenious Machines, published by Brill, Copyright 2004 (with permission).

More information

RELIGIOUS LIFE AND ENGLISH CULTURE IN THE REFORMATION

RELIGIOUS LIFE AND ENGLISH CULTURE IN THE REFORMATION RELIGIOUS LIFE AND ENGLISH CULTURE IN THE REFORMATION This page intentionally left blank Religious Life and English Culture in the Reformation Marjo Kaartinen Senior Research Fellow University of Turku

More information

IF MONTY HALL FALLS OR CRAWLS

IF MONTY HALL FALLS OR CRAWLS UDK 51-05 Rosenthal, J. IF MONTY HALL FALLS OR CRAWLS CHRISTOPHER A. PYNES Western Illinois University ABSTRACT The Monty Hall problem is consistently misunderstood. Mathematician Jeffrey Rosenthal argues

More information

Also by Ben Fine. Marx's Capital

Also by Ben Fine. Marx's Capital Rereading Capital Also by Ben Fine Marx's Capital Rereading Capital BENFINEand LAURENCE HARRIS M Ben Fine and Laurence Harris 1979 Softcover reprint ofthe hardcover 1st edition 1979 978-0-333-23139-5 All

More information

THE PRIX VOLNEY ESSAY SERIES

THE PRIX VOLNEY ESSAY SERIES THE PRIX VOLNEY ESSAY SERIES PRIX VOLNEY ESSAY SERIES Editor JOAN LEOPOLD Advisory Committee HANS AARSLEFF, Princeton University HERBERT E. BREKLE, Regensburg University YAKOV MALKIEL, (d. 1998), University

More information

Rock Music in Performance

Rock Music in Performance Rock Music in Performance This page intentionally left blank Rock Music in Performance David Pattie University of Chester This ebook does not include ancillary media that was packaged with the printed

More information

Philosophy Faculty Reading Lists PART II PAPER 07: MATHEMATICAL LOGIC

Philosophy Faculty Reading Lists PART II PAPER 07: MATHEMATICAL LOGIC Philosophy Faculty Reading Lists 2011-2012 PART II PAPER 07: MATHEMATICAL LOGIC This paper, with something quite like the current syllabus, is a very long-standing Cambridge tradition, rather distinctively

More information

Pensées Canadiennes. Canadian Undergraduate Journal of Philosophy. Revue de philosophie des étudiants au baccalauréat du Canada VOLUME 10, 2012

Pensées Canadiennes. Canadian Undergraduate Journal of Philosophy. Revue de philosophie des étudiants au baccalauréat du Canada VOLUME 10, 2012 Pensées Canadiennes VOLUME 10, 2012 Canadian Undergraduate Journal of Philosophy Revue de philosophie des étudiants au baccalauréat du Canada 27 Inventing Logic: The Löwenheim-Skolem Theorem and Firstand

More information

A High- Speed LFSR Design by the Application of Sample Period Reduction Technique for BCH Encoder

A High- Speed LFSR Design by the Application of Sample Period Reduction Technique for BCH Encoder IOSR Journal of VLSI and Signal Processing (IOSR-JVSP) ISSN: 239 42, ISBN No. : 239 497 Volume, Issue 5 (Jan. - Feb 23), PP 7-24 A High- Speed LFSR Design by the Application of Sample Period Reduction

More information

Consistency and Completeness of OMEGA, a Logic for Knowledge Representation

Consistency and Completeness of OMEGA, a Logic for Knowledge Representation Consistency and Completeness of OMEGA, a Logic for Knowledge Representation Giuseppe Massachusetts Institute of Technology 545 Technology Square Cambridge, Mass. 02139 li and Maria Simi Istituto di Scierue

More information

AN EXAMPLE FOR NATURAL LANGUAGE UNDERSTANDING AND THE AI PROBLEMS IT RAISES

AN EXAMPLE FOR NATURAL LANGUAGE UNDERSTANDING AND THE AI PROBLEMS IT RAISES AN EXAMPLE FOR NATURAL LANGUAGE UNDERSTANDING AND THE AI PROBLEMS IT RAISES John McCarthy Computer Science Department Stanford University Stanford, CA 94305 jmc@cs.stanford.edu http://www-formal.stanford.edu/jmc/

More information

MYRIAD-MINDED SHAKESPEARE

MYRIAD-MINDED SHAKESPEARE MYRIAD-MINDED SHAKESPEARE Myriad-tninded Shakespeare Essays, chiefly on the tragedies and problem comedies E. A. J. Honigmann Palgrave Macmillan ISBN 978-1-349-19816-0 ISBN 978-1-349-19814-6 (ebook) DOI

More information

Existentialism and Romantic Love

Existentialism and Romantic Love Existentialism and Romantic Love This page intentionally left blank Existentialism and Romantic Love Skye Cleary Columbia University, New York, USA Skye Cleary 2015 Softcover reprint of the hardcover 1st

More information