Hoppa till sidans huvudinnehåll

Del 17

Foundations without Foundationalism

A Case for Second-Order Logic

Inbunden, Engelska, 1991

AvStewart Shapiro,Ohio State University) Shapiro, Stewart (Professor of Philosophy, Professor of Philosophy

3 029 kr

Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Finns i fler format (1)


The central contention of this book is that second-order logic has a central role to play in laying the foundations of mathematics. In order to develop the argument fully, the author presents a detailed development of higher-order logic, including a comprehensive discussion of its semantics.Professor Shapiro demonstrates the prevalence of second-order notions in mathematics is practised, and also the extent to which mathematical concepts can be formulated in second-order languages . He shows how first-order languages are insufficient to codify many concepts in contemporary mathematics, and thus that higher-order logic is needed to fully reflect current mathematics.Throughout, the emphasis is on discussing the philosophical and historical issues associated with this subject, and the implications that they have for foundational studies. For the most part, the author assumes little more than a familiarity with logic as might be gained from a beginning graduate course which includes the incompleteness of arithmetic and the Lowenheim-Skolem theorems. All those concerned with the foundations of mathematics will find this a thought-provoking discussion of some of the central issues in this subject.

Produktinformation

  • Utgivningsdatum1991-09-19
  • Mått161 x 242 x 24 mm
  • Vikt659 g
  • FormatInbunden
  • SpråkEngelska
  • SerieOxford Logic Guides
  • Antal sidor300
  • FörlagOUP OXFORD
  • ISBN9780198533917
Hoppa över listan

Mer från samma författare

Thinking about Mathematics

Stewart Shapiro, USA) Shapiro, Stewart (Professor of Philosophy, Professor of Philosophy, Ohio State University at Newark

Häftad

789 kr

Philosophy of Mathematics

Stewart Shapiro, Ohio State University at Newark) Shapiro, Stewart (Professor of Philosophy, Professor of Philosophy

Inbunden

1 559 kr

Varieties of Continua

Geoffrey Hellman, Stewart Shapiro, Geoffrey (University of Minnesota) Hellman, Stewart (Ohio State University) Shapiro, Shapiro Hellman, SHAPIRO HELLMAN

Inbunden

1 539 kr

The History of Continua

Stewart Shapiro, Stewart Shapiro, Geoffrey Hellman, Ohio State University) Shapiro, Stewart (O'Donnell Professor of Philosophy, University of Minnesota) Hellman, Geoffrey (Professor of Philosophy

Inbunden

2 949 kr

Varieties of Logic

Stewart Shapiro, Stewart (Ohio State University) Shapiro, SHAPIRO, Shapiro

Häftad

549 kr

Vagueness in Context

Stewart Shapiro, Stewart (Ohio State University and University of St Andrews) Shapiro

Inbunden

1 979 kr

Vagueness in Context

Stewart Shapiro, Stewart (Ohio State University and University of St Andrews) Shapiro

Häftad

739 kr

Hoppa över listan

Mer från samma serie

Consequence Relations

Alex Citkin, Alexei Muravitsky, New York) Citkin, Alex (CIO, CIO, Metropolitan Telecommunications, Louisiana Scholars' College at Northwestern State University of Louisiana) Muravitsky, Alexei (Professor of Mathematics, Professor of Mathematics

Inbunden

1 609 kr

Fragments of First-Order Logic

Ian Pratt-Hartmann, University of Opole) Pratt-Hartmann, Ian (Senior Lecturer, University of Manchester Professor of Mathematical Sciences, University of Opole, Senior Lecturer, University of Manchester Professor of Mathematical Sciences

Inbunden

2 309 kr

Del 19

Gödel's Incompleteness Theorems

Raymond M. Smullyan, USA) Smullyan, Raymond M. (Professor, City College, Professor, City College, City University of New York

Inbunden

4 289 kr

Del 36

Twenty Five Years of Constructive Type Theory

Giovanni Sambin, Jan M. Smith, Italy) Sambin, Giovanni (Professor of Mathematical Logic, Professor of Mathematical Logic, University of Padua, Sweden) Smith, Jan M. (Professor, Department of Computing Science, Professor, Department of Computing Science, Chalmers University of Technology, Jan Smith

Inbunden

1 589 kr

Del 38

Fibring Logics

Dov M. Gabbay, London) Gabbay, Dov M. (Professor of Computer Science, Professor of Computer Science, King's College

Inbunden

1 979 kr

Del 39

Elements of Intuitionism

Michael Dummett, University of Oxford) Dummett, Michael (Emeritus Professor of Philosophy, Emeritus Professor of Philosophy

Inbunden

4 669 kr

Del 46

Interpolation and Definability

Dov M. Gabbay, Larisa Maksimova, King's College London) Gabbay, Dov M. (, Department of Computer Science, Russia) Maksimova, Larisa (, Institute of Mathematics, Siberian Branch of Russian Academy of Science, Novosibirsk

Inbunden

3 619 kr

Hoppa över listan

Du kanske också är intresserad av

Del 30

Features and Fluents

Erik Sandewall, Sweden) Sandewall, Erik (Professor, Department of Computer and Information Science, Professor, Department of Computer and Information Science, Linkoping University

Inbunden

1 909 kr

Del 53

Simplicity Theory

Byunghan Kim, South Korea) Kim, Byunghan (Professor of Mathematics, Professor of Mathematics, Department of Mathematics, Yonsei University

Inbunden

1 879 kr

Del 36

Twenty Five Years of Constructive Type Theory

Giovanni Sambin, Jan M. Smith, Italy) Sambin, Giovanni (Professor of Mathematical Logic, Professor of Mathematical Logic, University of Padua, Sweden) Smith, Jan M. (Professor, Department of Computing Science, Professor, Department of Computing Science, Chalmers University of Technology, Jan Smith

Inbunden

1 589 kr

Del 47

Set Theory

John L. Bell, J. L. Bell, J L Bell

Häftad

629 kr

Del 25

Many-Valued Logics

Grzegorz Malinowski, Poland) Malinowski, Grzegorz (Head of Department of Logic, Head of Department of Logic, University of Lodz

Inbunden

2 029 kr