Submissions from 2007
Coherent Choice Functions under Uncertainty, Teddy Seidenfeld, Mark J. Schervish, and Joseph B. Kadane
Optimizing Student Models for Causality, Benjamin Shih, Kenneth Koedinger, and Richard Scheines
Submissions from 2006
A Variant of the Double-Negation Translation, Jeremy Avigad
A Variant of the Double-Negation Translation, Jeremy Avigad
Mathematical Method and Proof, Jeremy Avigad
Combining Decision Procedures for the Reals, Jeremy Avigad and Harvey Friedman
Relating First-Order Set Theories and Elementary Toposes, Steve Awodey, Carsten Butz, Alex Simpson, and Thomas Streicher
Algebraic Models of Sets and Classes in Categories of Ideals, Steve Awodey, Henrik Forssell, and Michael A. Warren
Interventions and Causal Inference, Frederick Eberhardt and Richard Scheines
Equipoise and the Criteria for Reasonable Action, Emily L. Evans and Alex John London
Markov Properties and Quantum Experiments, Clark Glymour
Cutting Surgical Practice at the Joints: Individuating and Assessing Surgical Procedures, Alex John London
Reasonable Risks In Clinical Research: A Critique and a Proposal for the Integrative Approach, Alex John London
Sham Surgery and Reasonable Risk, Alex John London
A PC-Style Markov Blanket for High Dimensional Datasets, Joe Ramsey
The Similarity of Causal Inference in Experimental and Non-Experimental Studies, Richard Scheines
Learning the Structure of Linear Latent Variable Models, Ricardo Silva, Richard Scheines, Clark Glymour, and Peter Spirtes
Submissions from 2005
Comparative Ignorance and the Ellsberg Phenomenon, Horacio Arlo-Costa and Jeffrey Helzner
Contraction: On the Decision-Theoretical Origins of Minimal Change and Entrenchment, Horacio Arlo-Costa and Isaac Levi
Contextual Modals, Horacio Arlo-Costa and William Taysom
Time and Attention: Students, Sessions, and Tasks, Andrew Arnold, Richard Scheines, Joseph E. Back, and Bill Jerome
Methodology and Metaphysics in the Development of Dedekind's Theory of Ideals, Jeremy Avigad
Quantifier Elimination for the Reals with a Predicate for the Powers of Two, Jeremy Avigad and Yimu Yin
Notes on Algebraic Set Theory, Steve Awodey
Notes on Algebraic Set Theory, Steve Awodey
Carnap’s Dream: Gödel, Wittgenstein, and Logical Syntax, Steve Awodey and A. W. Carus
The Turning Point and the Revolution: Philosophy of Mathematics in Logical Empiricism from Tractatus on Logical Syllogism, Steve Awodey and A.W. Carus
Data Driven Methods for Nonlinear Granger Causality: Climate Teleconnection Mechanisms, Tianjiao Chu, David Danks, and Clark Glymour
Scientific Coherence and the Fusion of Experimental Results, David Danks
The Supposed Competition between Theories of Human Causal Inference, David Danks
Review of Phil Dowe and Paul Nordhoff: "Cause and Chance: Causation in an Indeterministic World, Clark Glymour
When is a Brain Like the Planet?, Clark Glymour
Grading According to a Rubric, Maralee Harrell
Using Argument Diagramming Software in the Classroom, Maralee Harrell
Using Argument Diagrams to Improve Critical Thinking Skills in 80-100 What Philosophy Is, Maralee Harrell
Efficient Convergence Implies Ockham’s Razor, Kevin T. Kelly
Justice and the Human Development Approach to International Research, Alex John London
On the Number of Experiments Sucient and in the Worst Case Necessary to Identify All Causal Relations Among N Variables, Richard Scheines, Clark Glymour, and Frederick Eberhardt
Replacing Lecture with Web-Based Course Materials, Richard Scheines, Gaea Leinhardt, Joel Smith, and Kwangsu Cho
Church Without Dogma: Axioms for Computability, Wilfried Sieg
Gödel on Computability, Wilfried Sieg
Relative Consistency and Accesible Domains, Wilfried Sieg
Computing Machines: Entry for the Second Edition of the Encyclopedia of Philsophy, Wilfried Sieg and Rosella Lupiccini
Reputational Enforcement of Covenants, Peter Vanderschraaf
A Characterization of Markov Equivalence Classes for Ancestral Graphical Models, Jiji Zhang and Peter Spirtes
A Transformational Characterization of Markov Equivalence between DAGs with Latent Variables, Jiji Zhang and Peter Spirtes
Submissions from 2004
Epistemological Foundations for the Representation of Discourse Context, Horacio Arlo-Costa
Contraction: On the Decision Theoretical Origins of Minimal Change and Entrenchment, Horacio Arlo-Costa and Isaac Levi
Conditional Probability and Defeasible Inference, Horacio Arlo Costa and Rohit Parikh
Dedekind's 1871 Version of the Theory of Ideals, Jeremy Avigad
Forcing in Proof Theory, Jeremy Avigad
Notes on a Formalization of the Prime Number Theorem, Jeremy Avigad
Notes on a Formalization of the Prime Number Theorem, Jeremy Avigad
Formalizing O Notation in Isabelle / HOL, Jeremy Avigad and Kevin Donnelly
Fundamental Notions of Analysis in Subsystems of Second-Order Arithmetic, Jeremy Avigad and Ksenija Simic
Book Review: Sketches of an Elephant, Steve Awodey
Sheaf Toposes for Realizability, Steve Awodey and Andrej Bauer
Algebraic Models of Intuitionistic Theories of Sets and Classes, Steve Awodey and Henrik Forssell
Predicative Algebraic Set Theory, Steve Awodey and Michael A. Warren
Constraint-Based Human Causal Learning, David Danks
Psychological Theories of Categorizations as Probabilistic Models, David Danks
N-1 Experiments Suffice to Determine the Causal Relations Among N Variables, Frederick Eberhardt, Clark Glymour, and Richard Scheines
Concerns About Unreliable Data from Spotted cDNA Microarrays Due to Cross-Hybridization and Sequence Errors, Calrk Glymour, Daniel Handley, David G. Peters, and Nicoleta Serban
Review of James Woodward, Making Things Happen: A Theory of Causal Explanation, Clark Glymour
Review of Joseph E. Early, Sr. (Ed.): Chemical Explanation: Characteristics, Development, Autonomy, Clark Glymour
The Automation of Discovery, Clark Glymour
We Believe in Freedom of the Will so That We Can Learn, Clark Glymour
Evidence of Systematic Expressed Sequence Tag IMAGE Clone Cross-hybridization on cDNA Microarrays, Clark Glymour, Daniel Handley, Nicoleta Serban, David Peters, Robert O'Doherty, Melvin Field, Larry Wasserman, Peter Spirtes, and Richard Scheines
A Theory of Causal Learning in Children: Causal Maps and Bayes Nets., Alison Gopnik, Clark Glymour, David M. Sobel, Laura E. Schulz, Tamar Kushnir, and David Danks
The Improvement of Critical Thinking Skills in What Philosophy, Maralee Harrell
A Rubinesque Theory of Decision, Joseph B. Kadane, Teddy Seidenfeld, and Mark J. Schervish
Justification as Truth-Finding Efficiency: How Ockham’s Razor Works, Kevin T. Kelly
Why Probability Does Not Capture the Logic of Scientific Justification, Kevin T. Kelly and Clark Glymour
Causation, Richard Scheines
Only Two Letters: The Correspondence Between Herbrand and Gödel, Wilfried Sieg
David Hilbert and Paul Bernays, Grundlagen der Mathematik I and II: A Landmark, Wilfried Sieg and Mark Ravaglia
Dedekind's Analysis of Number: Systems and Axioms, Wilfried Sieg and Dirk Schlimm
Causal Inference, Peter Spirtes, Richard Scheines, Clark Glymour, Thomas Richardson, and Christopher Meek
Submissions from 2003
Non-Adjunctive Inference and Classical Modalities, Horacio Arlo-Costa
Conditional Probability and Defeasible Inference, Horacio Arlo-Costa and Rohit Rarikh
Eliminating Definitions and Skolem Functions in First-Order Logic, Jeremy Avigad
Number Theory and Elementary Arithmetic, Jeremy Avigad
An Answer to G. Hellman's Question "Does Category Theory Provide a Framework for Mathematical Structuralism?", Steve Awodey
Relating Topos Theory and Set Theory Via Categories of Classes, Steve Awodey, Carnegie Mellon University, Alex Simpson, and Thomas Streicher
Carnap's Dream: Gödel, Wittgenstein, and Logical Syntax, Steve Awodey and A.W. Carus
Ultrasheaves and Double Negation, Steve Awodey and Jonas Eliasson
On RC 102-43-14, Bernd buldt
A Statistical Problem for Inference to Regulatory Structure from Associations of Gene Expression Measurements with Microarrays, Tianjiao Chu, Clark Glymour, Richard Scheines, and Pater Spirtes
Equilibria of the Rescorla-Wagner Model, David Danks
Learning Integrated Structure from Distributed Databases with Overlapping Variables, David Danks
The Computational and Experimental Complexity of Gene Perturbations for Regulatory Network Search, David Danks, Clark Glymour, and Peter Spirtes
Dynamical Causal Learning, David Danks, Thomas L. Griffiths, and Joshua B. Tenenbaum
Expert Statistical Testimony and Epidemiological Evidence: the Toxic Effects of Lead Exposure on Children, Stephen E. Fienberg, Clark Glymour, and Richard Scheines
Learning, Prediction and Causal Bayes Nets, Clark Glymour
Why the University Should Abolish Faculty Course Evaluations, Clark Glymour
Single Mother's Efficacy, Parenting in the Home Environment, and Children's Development in a Two-Wave Study, Aurora P. Jackson and Richard Scheines
Uncomputability: the Problem of Induction Internalized, Kevin T. Kelly
Why Bayesian Confirmation Does Not Capture the Logic of Scientific Justification, Kevin T. Kelly and Clark Glymour
Threats to the Common Good: Biochemical Weapons and Human Subjects Research, Alex John London
Sham Surgery and Genuine Standards of Care: Can the Two be Reconciled?, Alex John London and Joseph B. Kadane