Jump to ContentJump to Main Navigation

You are looking at 1-10 of 142 items

  • Keywords: calculus x
Clear All Modify Search

View:

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


View: