## Bayes's Theorem

*Richard Swinburne (ed.)*

- Published in print:
- 2005
- Published Online:
- January 2012
- ISBN:
- 9780197263419
- eISBN:
- 9780191734175
- Item type:
- book

- Publisher:
- British Academy
- DOI:
- 10.5871/bacad/9780197263419.001.0001
- Subject:
- Philosophy, Logic/Philosophy of Mathematics

Bayes' theorem is a tool for assessing how probable evidence makes some hypothesis. The papers in this book consider the worth and applicability of the theorem. The book sets out the philosophical ... More

## Gamma-Convergence for Beginners

*Andrea Braides*

- Published in print:
- 2002
- Published Online:
- September 2007
- ISBN:
- 9780198507840
- eISBN:
- 9780191709890
- Item type:
- book

- Publisher:
- Oxford University Press
- DOI:
- 10.1093/acprof:oso/9780198507840.001.0001
- Subject:
- Mathematics, Applied Mathematics

This book introduces the main concepts of the theory of De Giorgi's Gamma-convergence and gives a description of its main applications to the study of asymptotic variational problems. The content is ... More

## NON-PARAMETRIC IMAGE REGISTRATION

*Jan Modersitzki*

### in Numerical Methods for Image Registration

- Published in print:
- 2003
- Published Online:
- September 2007
- ISBN:
- 9780198528418
- eISBN:
- 9780191713583
- Item type:
- chapter

- Publisher:
- Oxford University Press
- DOI:
- 10.1093/acprof:oso/9780198528418.003.0008
- Subject:
- Mathematics, Applied Mathematics

This chapter introduces non-parametric registrations. The idea behind this type of registration is to come up with an appropriate measure both for the similarity as well as for the likelihood of a ... More

## LAMBDA-CALCULI FOR INTUITIONISTIC AND CLASSICAL PROOFS

*David J. Pym and Eike Ritter*

### in Reductive Logic and Proof-search: Proof Theory, Semantics, and Control

- Published in print:
- 2004
- Published Online:
- September 2007
- ISBN:
- 9780198526339
- eISBN:
- 9780191712012
- Item type:
- chapter

- Publisher:
- Oxford University Press
- DOI:
- 10.1093/acprof:oso/9780198526339.003.0002
- Subject:
- Mathematics, Logic / Computer Science / Mathematical Philosophy

This chapter provides an explanation of natural deduction proof systems and their corresponding lambda-calculi. Beginning with the necessary basics of natural deduction systems for intuitionistic ... More

## Quantification and its Discontents

*Henry Laycock*

### in Words without Objects: Semantics, Ontology, and Logic for Non-Singularity

- Published in print:
- 2006
- Published Online:
- May 2006
- ISBN:
- 9780199281718
- eISBN:
- 9780191603594
- Item type:
- chapter

- Publisher:
- Oxford University Press
- DOI:
- 10.1093/0199281718.003.0005
- Subject:
- Philosophy, Philosophy of Language

The chapter focuses on quantification as it figures in standard versions of the predicate calculus. These versions are straightforwardly reductive in that non-singular sentences must be re-cast into ... More

## Introduction

*PETER SIMONS*

### in Parts: A Study in Ontology

- Published in print:
- 2000
- Published Online:
- October 2011
- ISBN:
- 9780199241460
- eISBN:
- 9780191696930
- Item type:
- chapter

- Publisher:
- Oxford University Press
- DOI:
- 10.1093/acprof:oso/9780199241460.003.0001
- Subject:
- Philosophy, Metaphysics/Epistemology, Logic/Philosophy of Mathematics

This book provides a connected account of the various kinds of mereology, or formal theory of part, whole, and related concepts, which exist in the literature. It also exposes the philosophical ... More

## Concluding Remarks

*PETER SIMONS*

### in Parts: A Study in Ontology

- Published in print:
- 2000
- Published Online:
- October 2011
- ISBN:
- 9780199241460
- eISBN:
- 9780191696930
- Item type:
- chapter

- Publisher:
- Oxford University Press
- DOI:
- 10.1093/acprof:oso/9780199241460.003.0011
- Subject:
- Philosophy, Metaphysics/Epistemology, Logic/Philosophy of Mathematics

This book has shown that mereology was dominated by a single theory: classical extensional mereology (CEM), present in two logical guises — the Calculus of Individuals and Mereology — each in a ... 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

## Old Labour and the Social Democratic Party

*Anthony F. Heath, Roger M. Jowell, and John K. Curtice*

### in The Rise of New Labour: Party Policies and Voter Choices

- Published in print:
- 2001
- Published Online:
- November 2003
- ISBN:
- 9780199245116
- eISBN:
- 9780191599453
- Item type:
- chapter

- Publisher:
- Oxford University Press
- DOI:
- 10.1093/0199245118.003.0005
- Subject:
- Political Science, UK Politics

Analyses the strategy of the opposition Labour party in the 1983 general election and the role of the newly created Social Democratic Party (SDP) in the political life in Britain at the beginning of ... More

## THE SEMANTICS OF INTUITIONISTIC AND CLASSICAL PROOFS

*David J. Pym and Eike Ritter*

### in Reductive Logic and Proof-search: Proof Theory, Semantics, and Control

- Published in print:
- 2004
- Published Online:
- September 2007
- ISBN:
- 9780198526339
- eISBN:
- 9780191712012
- Item type:
- chapter

- Publisher:
- Oxford University Press
- DOI:
- 10.1093/acprof:oso/9780198526339.003.0003
- Subject:
- Mathematics, Logic / Computer Science / Mathematical Philosophy

This chapter gives an account of the semantics of intuitionistic natural deduction proof, based on models of the simply-typed lambda-calculus. A new form of games semantics is introduced that forms ... More