Jump to ContentJump to Main Navigation

You are looking at 1-10 of 17 items for:

  • Logic / Computer Science / Mathematical Philosophy x
Clear All

View:

Bayesian Nets and CausalityPhilosophical and Computational Foundations

Bayesian Nets and Causality: Philosophical and Computational Foundations

Jon Williamson

Published in print:
2004
Published Online:
September 2007
ISBN:
9780198530794
eISBN:
9780191712982
Item type:
book
Publisher:
Oxford University Press
DOI:
10.1093/acprof:oso/9780198530794.001.0001
Subject:
Mathematics, Logic / Computer Science / Mathematical Philosophy

This book provides an introduction to, and analysis of, the use of Bayesian nets in causal modelling. It puts forward new conceptual foundations for causal network modelling: The book argues that ... More

Bolzano's Logical System

Bolzano's Logical System

Ettore Casari

Published in print:
2016
Published Online:
January 2017
ISBN:
9780198788294
eISBN:
9780191830228
Item type:
book
Publisher:
Oxford University Press
DOI:
10.1093/acprof:oso/9780198788294.001.0001
Subject:
Mathematics, Logic / Computer Science / Mathematical Philosophy

A starting point of Bolzano’s logical reflection was the conviction that among truths there is a connection, according to which some truths are grounds of others, and these in turn are consequences ... More

Causality in the Sciences

Causality in the Sciences

Phyllis McKay Illari, Federica Russo, and Jon Williamson (eds)

Published in print:
2011
Published Online:
September 2011
ISBN:
9780199574131
eISBN:
9780191728921
Item type:
book
Publisher:
Oxford University Press
DOI:
10.1093/acprof:oso/9780199574131.001.0001
Subject:
Mathematics, Logic / Computer Science / Mathematical Philosophy

There is a need for integrated thinking about causality, probability, and mechanism in scientific methodology. A panoply of disciplines, ranging from epidemiology and biology through to econometrics ... More

Computability and Randomness

Computability and Randomness

André Nies

Published in print:
2009
Published Online:
May 2009
ISBN:
9780199230761
eISBN:
9780191710988
Item type:
book
Publisher:
Oxford University Press
DOI:
10.1093/acprof:oso/9780199230761.001.0001
Subject:
Mathematics, Logic / Computer Science / Mathematical Philosophy

The complexity and the randomness aspect of a set of natural numbers are closely related. Traditionally, computability theory is concerned with the complexity aspect. However, computability theoretic ... More

Everyday CryptographyFundamental Principles and Applications

Everyday Cryptography: Fundamental Principles and Applications

Keith Martin

Published in print:
2017
Published Online:
July 2017
ISBN:
9780198788003
eISBN:
9780191829956
Item type:
book
Publisher:
Oxford University Press
DOI:
10.1093/oso/9780198788003.001.0001
Subject:
Mathematics, Computational Mathematics / Optimization, Logic / Computer Science / Mathematical Philosophy

Cryptography is a vital technology that underpins the security of information in computer networks. This book presents a comprehensive introduction to the role that cryptography plays in providing ... More

From Sets and Types to Topology and AnalysisTowards practicable foundations for constructive mathematics

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

Laura Crosilla and Peter Schuster (eds)

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

Constructive mathematics is a vital area of research which has gained special attention in recent years due to the distinctive presence of computational content in its theorems. This characteristic ... More

Gödel's DisjunctionThe scope and limits of mathematical knowledge

Gödel's Disjunction: The scope and limits of mathematical knowledge

Leon Horsten and Philip Welch (eds)

Published in print:
2016
Published Online:
November 2016
ISBN:
9780198759591
eISBN:
9780191820373
Item type:
book
Publisher:
Oxford University Press
DOI:
10.1093/acprof:oso/9780198759591.001.0001
Subject:
Mathematics, Logic / Computer Science / Mathematical Philosophy

The logician Kurt Gödel in 1951 established a disjunctive thesis about the scope and limits of mathematical knowledge: either the mathematical mind is equivalent to a Turing machine (i.e., a ... More

Here Be DragonsScience, Technology and the Future of Humanity

Here Be Dragons: Science, Technology and the Future of Humanity

Olle Häggström

Published in print:
2016
Published Online:
January 2016
ISBN:
9780198723547
eISBN:
9780191790331
Item type:
book
Publisher:
Oxford University Press
DOI:
10.1093/acprof:oso/9780198723547.001.0001
Subject:
Mathematics, Logic / Computer Science / Mathematical Philosophy

This book challenges the widely held but oversimplified and even dangerous conception that progress in science and technology is our salvation, and the more of it, the better. The future will offer ... More

In Defence of Objective Bayesianism

In Defence of Objective Bayesianism

Jon Williamson

Published in print:
2010
Published Online:
September 2010
ISBN:
9780199228003
eISBN:
9780191711060
Item type:
book
Publisher:
Oxford University Press
DOI:
10.1093/acprof:oso/9780199228003.001.0001
Subject:
Mathematics, Probability / Statistics, Logic / Computer Science / Mathematical Philosophy

Bayesian epistemology aims to answer the following question: How strongly should an agent believe the various propositions expressible in her language? Subjective Bayesians hold that.it is largely ... More

Interpolation and DefinabilityModal and Intuitionistic Logics

Interpolation and Definability: Modal and Intuitionistic Logics

Dov M. Gabbay and Larisa Maksimova

Published in print:
2005
Published Online:
September 2007
ISBN:
9780198511748
eISBN:
9780191705779
Item type:
book
Publisher:
Oxford University Press
DOI:
10.1093/acprof:oso/9780198511748.001.0001
Subject:
Mathematics, Logic / Computer Science / Mathematical Philosophy

This book focuses on interpolation and definability. This notion is not only central in pure logic, but has significant meaning and applicability in all areas where logic itself is applied, ... More

View: