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

*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

*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

*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

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

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

## Lectures on Inductive Logic

*Jon Williamson*

- Published in print:
- 2017
- Published Online:
- March 2017
- ISBN:
- 9780199666478
- eISBN:
- 9780191749292
- Item type:
- book

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

Inductive logic (also known as confirmation theory) seeks to determine the extent to which the premisses of an argument entail its conclusion. This book offers an introduction to the field of ... More