Simulation, Theory, and Cut Elimination

The Monist 82 (1):165--184 (1999)
Authors
Graham White
Queen Mary University of London
Abstract
This paper is concerned. with the contrast between simulation- and deduction-based approaches to reasoning about physical objects. We show that linear logic can give a unified account of both simulation and deduction concerning physical objects; it also allows us to draw a principled distinction between simulation and deduction, since simulations correspond to cut-free proofs, whereas deductions correspond to proofs in general.
Keywords Analytic Philosophy  Contemporary Philosophy  General Interest  Philosophy of Mind  Philosophy of Science
Categories (categorize this paper)
ISBN(s) 0026-9662
DOI 10.5840/monist199982111
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 38,035
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

A Simple Proof That Super-Consistency Implies Cut Elimination.Gilles Dowek & Olivier Hermant - 2012 - Notre Dame Journal of Formal Logic 53 (4):439-456.
A Note on the Proof Theory the λII-Calculus.David J. Pym - 1995 - Studia Logica 54 (2):199 - 230.
The Computational Content of Arithmetical Proofs.Stefan Hetzl - 2012 - Notre Dame Journal of Formal Logic 53 (3):289-296.
Proof Normalization Modulo.Gilles Dowek & Benjamin Werner - 2003 - Journal of Symbolic Logic 68 (4):1289-1316.
Analog Simulation.Russell Trenholme - 1994 - Philosophy of Science 61 (1):115-131.
Does Simulation Theory Really Involve Simulation?Justin C. Fisher - 2006 - Philosophical Psychology 19 (4):417 – 432.
The Geometry of Non-Distributive Logics.Greg Restall & Francesco Paoli - 2005 - Journal of Symbolic Logic 70 (4):1108 - 1126.
Simulation and Irrationality.Elisa Galgut - 2005 - Philosophical Papers 34 (1):25-44.

Analytics

Added to PP index
2011-01-09

Total views
42 ( #161,398 of 2,312,742 )

Recent downloads (6 months)
3 ( #243,631 of 2,312,742 )

How can I increase my downloads?

Monthly downloads

My notes

Sign in to use this feature