Jump to ContentJump to Main Navigation

You are looking at 1-20 of 86 items

  • Keywords: Gödel x
Clear All Modify Search

View:

Free Will and Modern Science

Richard Swinburne (ed.)

Published in print:
2011
Published Online:
January 2013
ISBN:
9780197264898
eISBN:
9780191754074
Item type:
book
Publisher:
British Academy
DOI:
10.5871/bacad/9780197264898.001.0001
Subject:
Philosophy, Philosophy of Mind

Do humans have a free choice of which actions to perform? Three recent developments of modern science can help us to answer this question. First, new investigative tools have enabled us to study the ... More


Feferman on Gödel and free will: A response to Chapter 6

J.R. LUCAS

in Free Will and Modern Science

Published in print:
2011
Published Online:
January 2013
ISBN:
9780197264898
eISBN:
9780191754074
Item type:
chapter
Publisher:
British Academy
DOI:
10.5871/bacad/9780197264898.003.0008
Subject:
Philosophy, Philosophy of Mind

This chapter presents a response to Solomon Feferman's discussion in Chapter 6. Feferman is right to dismiss logical determinism perfunctorily, although it puzzled Aristotle and the mediaeval ... More


A Future for Presentism

Craig Bourne

Published in print:
2006
Published Online:
January 2007
ISBN:
9780199212804
eISBN:
9780191707094
Item type:
book
Publisher:
Oxford University Press
DOI:
10.1093/acprof:oso/9780199212804.001.0001
Subject:
Philosophy, Metaphysics/Epistemology

This book concerns the nature of time. It shows how presentism, the view that only the present exists, can be defended. Part I of the book shows how presentism is the only viable alternative to the ... More


Reason's Nearest Kin: Philosophies of Arithmetic from Kant to Carnap

Michael Potter

Published in print:
2002
Published Online:
May 2007
ISBN:
9780199252619
eISBN:
9780191712647
Item type:
book
Publisher:
Oxford University Press
DOI:
10.1093/acprof:oso/9780199252619.001.0001
Subject:
Philosophy, Logic/Philosophy of Mathematics

This book is a critical examination of the astonishing progress made in the philosophical study of the properties of the natural numbers from the 1880s to the 1930s. It reassesses the brilliant ... More


Gödel’s incompleteness theorems, free will and mathematical thought

SOLOMON FEFERMAN

in Free Will and Modern Science

Published in print:
2011
Published Online:
January 2013
ISBN:
9780197264898
eISBN:
9780191754074
Item type:
chapter
Publisher:
British Academy
DOI:
10.5871/bacad/9780197264898.003.0007
Subject:
Philosophy, Philosophy of Mind

The determinism-free will debate is perhaps as old as philosophy itself and has been engaged in from a great variety of points of view including those of scientific, theological, and logical ... More


The Freedom of the Will

J. R. Lucas

Published in print:
1970
Published Online:
October 2011
ISBN:
9780198243434
eISBN:
9780191680687
Item type:
book
Publisher:
Oxford University Press
DOI:
10.1093/acprof:oso/9780198243434.001.0001
Subject:
Philosophy, Metaphysics/Epistemology, Moral Philosophy

The three great problems of philosophy, according to Kant, are God, freedom, and immortality. Of these, freedom, that is, the Freedom of the Will, is the one most accessible to reason, and has ... More


Realism in Mathematics

Penelope Maddy

Published in print:
1992
Published Online:
November 2003
ISBN:
9780198240358
eISBN:
9780191597978
Item type:
book
Publisher:
Oxford University Press
DOI:
10.1093/019824035X.001.0001
Subject:
Philosophy, Logic/Philosophy of Mathematics

Many mathematicians understand their work as an effort to describe the denizens and features of an abstract mathematical world or worlds. Most philosophers of mathematics consider views of this sort ... More


Facing Facts

Stephen Neale

Published in print:
2001
Published Online:
November 2003
ISBN:
9780199247158
eISBN:
9780191598081
Item type:
book
Publisher:
Oxford University Press
DOI:
10.1093/0199247153.001.0001
Subject:
Philosophy, Philosophy of Language

This book is an original examination of attempts to dislodge a cornerstone of modern philosophy: the idea that our thoughts and utterances are representations of slices of reality. Representations ... More


The Application of Gödel’s Theorem 1

J. R. LUCAS

in The Freedom of the Will

Published in print:
1970
Published Online:
October 2011
ISBN:
9780198243434
eISBN:
9780191680687
Item type:
chapter
Publisher:
Oxford University Press
DOI:
10.1093/acprof:oso/9780198243434.003.0025
Subject:
Philosophy, Metaphysics/Epistemology, Moral Philosophy

According to the physical determinist, the conclusions which a particular man can produce as true will correspond to the theorems that can be proved in the corresponding logistic calculus. We now ... More


Objections to the Gödelian Argument

J. R. Lucas

in The Freedom of the Will

Published in print:
1970
Published Online:
October 2011
ISBN:
9780198243434
eISBN:
9780191680687
Item type:
chapter
Publisher:
Oxford University Press
DOI:
10.1093/acprof:oso/9780198243434.003.0026
Subject:
Philosophy, Metaphysics/Epistemology, Moral Philosophy

The application of Gödel's theorem to refute physical determinism has been much criticized. The objections fall into three groups. It is objected, first, that too formal and deductive a ... More


Reflections on the Gödelian Argument

J. R. LUCAS

in The Freedom of the Will

Published in print:
1970
Published Online:
October 2011
ISBN:
9780198243434
eISBN:
9780191680687
Item type:
chapter
Publisher:
Oxford University Press
DOI:
10.1093/acprof:oso/9780198243434.003.0029
Subject:
Philosophy, Metaphysics/Epistemology, Moral Philosophy

Gödel's theorem enables us to crystallize out our intuitive notions and intimations of freedom in such a way that we can be sure that they apply to any form of physical determinism, however it may be ... More


Freedom and Philosophy

J. R. Lucas

in The Freedom of the Will

Published in print:
1970
Published Online:
October 2011
ISBN:
9780198243434
eISBN:
9780191680687
Item type:
chapter
Publisher:
Oxford University Press
DOI:
10.1093/acprof:oso/9780198243434.003.0001
Subject:
Philosophy, Metaphysics/Epistemology, Moral Philosophy

This chapter begins with a brief discussion of the concept of freedom of the will. It then sets out the purpose of the book, which is to reformulate an argument about freedom of will by drawing on a ... More


All the Time in the Worlds: Gödel's Modal Moral

Craig Bourne

in A Future for Presentism

Published in print:
2006
Published Online:
January 2007
ISBN:
9780199212804
eISBN:
9780191707094
Item type:
chapter
Publisher:
Oxford University Press
DOI:
10.1093/acprof:oso/9780199212804.003.0009
Subject:
Philosophy, Metaphysics/Epistemology

I discuss Gödel's philosophical position on the nature of time. I describe Gödel's model, which contains closed time‐like curves allowing us to take a journey into our future and arrive in our past, ... More


Inconsistent Arithmetic

Graham Priest

in In Contradiction

Published in print:
2006
Published Online:
May 2007
ISBN:
9780199263301
eISBN:
9780191718823
Item type:
chapter
Publisher:
Oxford University Press
DOI:
10.1093/acprof:oso/9780199263301.003.0018
Subject:
Philosophy, Logic/Philosophy of Mathematics

The study of formal inconsistent arithmetics has already occasioned a number of interesting technical results, as well as philosophical spin-offs. This chapter looks at some of these. It shows how ... More


Autocommentary on the First Edition

Graham Priest

in In Contradiction

Published in print:
2006
Published Online:
May 2007
ISBN:
9780199263301
eISBN:
9780191718823
Item type:
chapter
Publisher:
Oxford University Press
DOI:
10.1093/acprof:oso/9780199263301.003.0020
Subject:
Philosophy, Logic/Philosophy of Mathematics

This chapter charts some of the developments that have taken place since the first edition of this book was published, including areas where the author's views have been revised. It does this by ... More


APPLICATIONS OF INDUCTIVE DEFINITIONS AND CHOICE PRINCIPLES TO PROGRAM SYNTHESIS

Ulrich Berger and Monika Seisenberger

in From Sets and Types to Topology and Analysis: Towards practicable foundations for constructive mathematics

Published in print:
2005
Published Online:
September 2007
ISBN:
9780198566519
eISBN:
9780191713927
Item type:
chapter
Publisher:
Oxford University Press
DOI:
10.1093/acprof:oso/9780198566519.003.0008
Subject:
Mathematics, Logic / Computer Science / Mathematical Philosophy

This chapter is concerned with the problem of finding constructive content in nonconstructive mathematical theorems. By so doing, one gains insight into possible constructive aspects hidden in ... More


Gödel

Michael Potter

in Reason's Nearest Kin: Philosophies of Arithmetic from Kant to Carnap

Published in print:
2002
Published Online:
May 2007
ISBN:
9780199252619
eISBN:
9780191712647
Item type:
chapter
Publisher:
Oxford University Press
DOI:
10.1093/acprof:oso/9780199252619.003.0011
Subject:
Philosophy, Logic/Philosophy of Mathematics

On September 7, 1930, Gödel announced at a conference that ‘one can give examples of propositions that, while contentually true, are unprovable in the formal system of classical mathematics’. On ... More


Conclusion

Michael Potter

in Reason's Nearest Kin: Philosophies of Arithmetic from Kant to Carnap

Published in print:
2002
Published Online:
May 2007
ISBN:
9780199252619
eISBN:
9780191712647
Item type:
chapter
Publisher:
Oxford University Press
DOI:
10.1093/acprof:oso/9780199252619.003.0013
Subject:
Philosophy, Logic/Philosophy of Mathematics

This concluding chapter summarizes the discussion in the preceding chapters. The book sought an answer to the question: can we give an account of arithmetic which does not make it depend for its ... More


Gödel's Theorem

Graham Priest

in In Contradiction

Published in print:
2006
Published Online:
May 2007
ISBN:
9780199263301
eISBN:
9780191718823
Item type:
chapter
Publisher:
Oxford University Press
DOI:
10.1093/acprof:oso/9780199263301.003.0004
Subject:
Philosophy, Logic/Philosophy of Mathematics

This chapter presents an argument for dialetheism which draws on Gödel's first incompleteness theorem. This is a non-constructive argument, which does not produce dialetheias explicitly, but shows ... More


Are Supervaluational and Revision Theories Self‐Undermining?

Hartry Field

in Saving Truth From Paradox

Published in print:
2008
Published Online:
May 2008
ISBN:
9780199230747
eISBN:
9780191710933
Item type:
chapter
Publisher:
Oxford University Press
DOI:
10.1093/acprof:oso/9780199230747.003.0013
Subject:
Philosophy, Logic/Philosophy of Mathematics

This chapter is concerned with the extent to which supervaluation and revision theories can declare that their rules all preserve truth. The extent varies from one such theory to another, but none ... More


View: