Jump to ContentJump to Main Navigation

You are looking at 1-20 of 151 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


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


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


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


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


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


Inductive Arguments

Richard Swinburne

in The Existence of God

Published in print:
2004
Published Online:
September 2007
ISBN:
9780199271672
eISBN:
9780191709357
Item type:
chapter
Publisher:
Oxford University Press
DOI:
10.1093/acprof:oso/9780199271672.003.0002
Subject:
Philosophy, Philosophy of Religion

Inductive arguments are arguments from premises which add to the probability of conclusion and may render it probable overall (that is, more probable than not). This book considers how far arguments ... 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


MATERIAL DEFORMATION

Nasr M. Ghoniem and Daniel D. Walgraef

in Instabilities and Self-Organization in Materials: Volume I: Fundamentals of Nanoscience, Volume II: Applications in Materials Design and Nanotechnology

Published in print:
2008
Published Online:
May 2008
ISBN:
9780199298686
eISBN:
9780191720222
Item type:
chapter
Publisher:
Oxford University Press
DOI:
10.1093/acprof:oso/9780199298686.003.0002
Subject:
Physics, Condensed Matter Physics / Materials

This chapter discusses the main elements of continuum theory, which will be utilized further in later sections dealing with a variety of applications. First, a basic review of vector and tensor ... 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


View: