## 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

## 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

## 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 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

## PROOF THEORY FOR REDUCTIVE LOGIC

*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.0004
- Subject:
- Mathematics, Logic / Computer Science / Mathematical Philosophy

This chapter provides a systematic account of reductive proof theory. Beginning with a somewhat historical account of (automated and interactive) theorem proving, it provides a systematic account of ... 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 Balance of Probability

*Richard Swinburne*

### in The Resurrection of God Incarnate

- Published in print:
- 2003
- Published Online:
- November 2003
- ISBN:
- 9780199257461
- eISBN:
- 9780191598616
- Item type:
- chapter

- Publisher:
- Oxford University Press
- DOI:
- 10.1093/0199257469.003.0014
- Subject:
- Philosophy, Philosophy of Religion

Summarizes the argument of the book. Given only a moderate amount of evidence from natural theology in favour of the existence of God and his having reason to become incarnate among humans, there is ... More

## Bayesian Rationality: The probabilistic approach to human reasoning

*Mike Oaksford and Nick Chater*

- Published in print:
- 2007
- Published Online:
- April 2010
- ISBN:
- 9780198524496
- eISBN:
- 9780191584923
- Item type:
- book

- Publisher:
- Oxford University Press
- DOI:
- 10.1093/acprof:oso/9780198524496.001.0001
- Subject:
- Psychology, Cognitive Psychology

Are people rational? This question was central to Greek thought and has been at the heart of psychology and philosophy for millennia. This book provides a radical and controversial reappraisal of ... More

## Three-valued and Intuitionist Logic

*A. N. Prior*

### in Formal Logic

- Published in print:
- 1963
- Published Online:
- October 2011
- ISBN:
- 9780198241560
- eISBN:
- 9780191680373
- Item type:
- chapter

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

It is possible to give many other arithmetical interpretations of the symbols of the propositional calculus that preserve the truth of its axioms and the validity of its rules. Some of these involve ... More

## Traces

*Simon Scott*

### in Traces and Determinants of Pseudodifferential Operators

- Published in print:
- 2010
- Published Online:
- January 2011
- ISBN:
- 9780198568360
- eISBN:
- 9780191594748
- Item type:
- chapter

- Publisher:
- Oxford University Press
- DOI:
- 10.1093/acprof:oso/9780198568360.003.0002
- Subject:
- Mathematics, Analysis

In this Chapter examples of trace structures are given along with some elements of trace theory in general. These facts and examples are called upon and, in the specific case of pseudodifferential ... More

## Spatial and Temporal Ontology

*Inderjeet Mani and James Pustejovsky*

### in Interpreting Motion: Grounded Representations for Spatial Language

- Published in print:
- 2012
- Published Online:
- May 2012
- ISBN:
- 9780199601240
- eISBN:
- 9780191738968
- Item type:
- chapter

- Publisher:
- Oxford University Press
- DOI:
- 10.1093/acprof:oso/9780199601240.003.0003
- Subject:
- Linguistics, Psycholinguistics / Neurolinguistics / Cognitive Linguistics, Semantics and Pragmatics

Spatial and temporal ontology examines the semantics of static spatial descriptions as found in spatial prepositional phrases in terms of qualitative spatial reasoning. It ... More

## COMPLEXITY OF SOME PROBLEMS IN MODAL AND INTUITIONISTIC CALCULI

*D.M. Gabbay and L. Maksimova*

### in Interpolation and Definability: Modal and Intuitionistic Logics

- Published in print:
- 2005
- Published Online:
- September 2007
- ISBN:
- 9780198511748
- eISBN:
- 9780191705779
- Item type:
- chapter

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

This chapter investigates the problem of recognizing properties of logical calculi. Complexity bounds for interpolation and some other problems over Int and S4 are found. It is proved that the ... More

## Calculus of Propositions

*S. N. Afriat*

### in Logic of Choice and Economic Theory

- Published in print:
- 1987
- Published Online:
- November 2003
- ISBN:
- 9780198284611
- eISBN:
- 9780191595844
- Item type:
- chapter

- Publisher:
- Oxford University Press
- DOI:
- 10.1093/0198284616.003.0029
- Subject:
- Economics and Finance, Microeconomics

This is the first of three chapters on general mathematics as applied to economics, and presents a treatment of the calculus of propositions. The seven sections of the chapter are: the Boolean laws; ... More

## INTERPOLATION IN GOAL- DIRECTED PROOF SYSTEMS

*D.M. Gabbay and L. Maksimova*

### in Interpolation and Definability: Modal and Intuitionistic Logics

- Published in print:
- 2005
- Published Online:
- September 2007
- ISBN:
- 9780198511748
- eISBN:
- 9780191705779
- Item type:
- chapter

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

This chapter studies the interpolation properties for implicational fragment of a variety of substructural, strict modal, and intuitionistic and intermediate logics. The methodology is ... More

## PHILOSOPHICAL BACKGROUND

*Shoutir Kishore Chatterjee*

### in Statistical Thought: A Perspective and History

- Published in print:
- 2003
- Published Online:
- September 2007
- ISBN:
- 9780198525318
- eISBN:
- 9780191711657
- Item type:
- chapter

- Publisher:
- Oxford University Press
- DOI:
- 10.1093/acprof:oso/9780198525318.003.0001
- Subject:
- Mathematics, Probability / Statistics

The core of statistics is concerned with the solution of special types of problems of induction following special modes of reasoning. In the inductive process, some at least of the premises are ... More