Follow

Submissions from 2003

PDF

Why Bayesian Confirmation Does Not Capture the Logic of Scientific Justification, Kevin T. Kelly and Clark Glymour

PDF

Threats to the Common Good: Biochemical Weapons and Human Subjects Research, Alex John London

PDF

Sham Surgery and Genuine Standards of Care: Can the Two be Reconciled?, Alex John London and Joseph B. Kadane

PDF

Unifrom Consistency In Causal Inference, James M. Robins, Richard Scheines, Peter Spirtes, and Larry Wasserman

PDF

Analysis of Microarray Data for Treated Fat Cells, Nicoleta Serban, Larry Wasserman, David Peters, Peter Spirtes, Robert O'Doherty, Daniel Handley, Richard Scheines, and Clark Glymour

PDF

Automated Search for Gödel's Proofs, Wilfried Sieg and Clinton Field

PDF

Dedekind's Analysis of Number (1): Systems and Axioms, Wilfried Sieg and Dirk Schlimm

PDF

Learning Measurement Models for Unobserved Variables, Ricardo Silva, Richard Scheines, Clark Glymour, and Peter Spirtes

PDF

Causal Inference and Ambiguous Manipulations, Peter Spirtes and Richard Scheines

PDF

Experiments on the Accuracy of Algorithms for Inferring the Structure of Genetic Regulatory Networks from Microarray Expression Levels, Frank C. Wimburly, Thomas Heiman, Joseph Ramsey, and Clark Glymour

Submissions from 2002

PDF

Notes on II-conservativity, w-submodels, and the Collection Schema, Jeremy Avigad

PDF

Number Theory and Elementary Arithmetic, Jeremy Avigad

PDF

Update Procedures and the 1-Consistency of Arithmetic, Jeremy Avigad

PDF

Ultrasheaves and Double-Negation, Steve Awodey and Jonas Eliasson

PDF

Modal Operators and the Formal Dual of Birkhoff's Completeness Theorem, Steve Awodey and Jess Hughes

PDF

Sampling, Amplifying, and Resampling, Tianjaou Chu

PDF

Learning the Causal Structure of Overlapping Variable Sets, David Danks

PDF

A Semantics and Methodology for Ceteris Paribus Hypotheses, Clark Glymour

PDF

Confirmation and Chaos, Maralee Harrell and Clark Glymour

PDF

Genetic Algorithm Search Over Causal Models, Shane Harwood and Richard Scheines

PDF

Learning Linear Causal Structure Equation Models with Genetic Algorithms, Shane Harwood and Richard Scheines

PDF

A Close Shave with Realism: How Ockham's Razor Helps Us Find The Truth, Kevin T. Kelly

PDF

Interpreting Negatives in Discourse, Michael Kohlhase and Mandy Simons

PDF

Placebos That Harm: Sham Surgery Controls in Clinical Trials, Alex John London and Joseph B. Kadane

PDF

Classification and Filtering of Spectra: A Case Study in Mineralogy, Jonathan Moody, Ricardo Silva, Joseph Vanderwaart, Joseph Ramsey, and Clark Glymour

PDF

Automated Remote Sensing with Near Infrared Reflectance Spectra: Carbonate Recognition, Joseph Ramsey, Paul Gazis, Ted Roush, Peter Spirtes, and Clark Glymour

PDF

Computation and Causation, Richard Scheines

PDF

Teaching and Learning with Online Courses, Richard Scheines, Gaea Leinhardt, Joel Smith, and Kwangsu Cho

PDF

Normal Natural Deduction Proof (In Non-Classical Logics), Wilfried Sieg and Saverio Cittadini

Submissions from 2001

PDF

Bayesian Epistemology and Epistemic Conditionals: On the Status of the Export-Import Laws, Horacio Arlo-Costa

PDF

First Order Extensions of Classical Systems of Modal Logic: The Role of the Barcan Schemas, Horacio Arlo-Costa

PDF

First Order Classical Modal Logic, Horacio Arlo-Costa and Eric Pacuit

PDF

Iterative Probability Kinematics, Horacio Arlo-Costa and Richmond H. Thomason

PDF

Algebraic Proofs of Cut Elimination, Jeremy Avigad

PDF

An Ordinal Analysis of Admissible Set Theory Using Recursion on Ordinal Notations, Jeremy Avigad

PDF

Notes on Pi^1_1 Conservativity, Omega-Submodels, and the Collection Schema, Jeremy Avigad

PDF

Saturated Models of Universal Theories, Jeremy Avigad

PDF

Transfer Principles in Nonstandard Intuitionistic Arithmetic, Jeremy Avigad and Jeffrey Helzner

PDF

"Clarifying the Nature of the Infinite": the Development of Metamathematics and Proof Theory, Jeremy Avigad and Erich H. Reck

PDF

Propositions as [Types], Steve Awodey and Andrej Bauer

PDF

Sheaf Toposes for Realizability, Steve Awodey and Audrej Bauer

PDF

How Carnap Could Have Replied to Gödel, Steve Awodey and A.W. Carus

PDF

Completeness and Categoricity: 19th Century Axiomatics to 21st Century Senatics, Steve Awodey and Erich H. Reck

PDF

Linearity Properties of Bayes Nets with Binary Variables, David Danks and Clark Glymour

PDF

Instrumental Probability, Clark Glymour

PDF

Causal Learning Mechanisms in Very Young Children: Two-, Three-, and Four-Year-Olds Infer Causal Relations From Patterns of Variation and Covariation, Clark Glymour, Alison Gopnik, David M. Sobel, and Laura E. Schulz

PDF

Learning Theory and Epistemology, Kevin T. Kelly

PDF

The Logic of Success, Kevin T. Kelly

PDF

Equipoise and International Human-Subjects Research, Alex John London

PDF

Moral Knowledge and the Acquisition of Virtue in Aristotle's Nicomachean and Eudemian Ethics, Alex John London

PDF

The Independence of Practical Ethics, Alex John London

PDF

The Maltese Conjoined Twins: Two Views of Their Separation, Alex John London

PDF

Data Filtering for Automatic Classification of Rocks from Reflectance Spectra, Jonathan Moody, Ricardo Silva, Joseph Vanderwaart, and Clark Glymour

PDF

Piecewise Linear Instrumental Variable Estimation of Causal Influence, Richard Scheines, Greg Cooper, Changwon Yoo, and Tianjiao Chu

Simulating Genetic Regulartory Networks, Richard Scheines and Joe Ramsey

PDF

Simulating Genetic Regulatory Networks, Richard Scheines and Joe Ramsey

PDF

Four Introductory Notes, Wilfried Sieg

PDF

Learning to Take Turns, Peter Vanderschraaf and Brian Skyrms

Submissions from 2000

PDF

First Order Extensions of Classical Systems of Modal Logic: The Role of Barcan Schemas, Horacio Arlo-Costa

PDF

Qualitative and Probabilistic Models of Full Belief, Horacio Arlo-Costa

PDF

Algebraic Proofs of Cut Elimination, Jeremy Avigad

PDF

Eliminating Definitions and Skolem Functions in First-Order Logic, Jeremy Avigad

PDF

Interpreting Classical Theories in Constructive Ones, Jeremy Avigad

PDF

Ordinal Analysis without Proofs, Jeremy Avigad

PDF

Saturated Models of Universal Theories, Jeremy Avigad

PDF

Update Procedures and the 1-Consistency of Arithmetic, Jeremy Avigad

PDF

Weak Theories of Nonstandard Arithmetic and Analysis, Jeremy Avigad

PDF

Transfer Principles in Nonstandard Intuitionistic Arithmetic, Jeremy Avigad and Jeffrey Helzner

PDF

Continuity and Logical Completeness: An Application of Sheaf Theory and Topoi, Steve Awodey

PDF

Local Realizability Toposes and a Modal Logic for Computability, Steve Awodey, Lars Birkedal, and Dana Scott

PDF

The Coalegebraic Dual of Birkoff's Variety Theorem, Steve Awodey and Jesse Hughes

PDF

Android Epistemology for Babies: Reflections on Words, Thoughts and Theories, Clark Glymour

PDF

Amenable to Reason: Aristotle's Rhetoric and the Moral Psychology of Practical Ethics, Alex John London

PDF

The Ambiguity and the Exigency: Clarifying 'Standard of Care' Arguments in International Research, Alex John London

PDF

Estimating Latent Causal Influences: TETRAD III Variable Selection and Bayesian Parameter Estimation, Richard Scheines

PDF

Calculations by Man and Machine: Conceptual Analysis, Wilfried Sieg

PDF

Calculations by Man and Machine: Mathematical Presentation, Wilfried Sieg

PDF

Constructing Bayesian Network Models of Gene Expression Networks from Microarray Data, Pater Spirtes, Clark Glymour, Richard Scheines, Stuart Kauffman, Valerio Aimale, and Frank Wimberly

Submissions from 1999

PDF

Interpretating Classical Theories in Constructive Ones, Jeremy Avigad

PDF

Gödel's Functional ("Dialectica") Interpretation, Jeremy Avigad and Solomon Feferman

PDF

Topological Representation of the Lambda-Calculus, Steve Awodey

PDF

Elementary Axioms for Local Maps of Toposes, Steve Awodey and Lars Birkedal

PDF

Local Realizability Toposes and a Modal Logic for Computability, Steve Awodey, Lars Birkendal, and Dana S. Scott

PDF

A Mind Is a Terrible Thing to Waste, Clark Glymour

PDF

Rabbit Hunting, Clark Glymour

PDF

Naturalism Logicized, Kevin Kelly

PDF

Parameterizing and Scoring Mixed Ancestral Graphs, Thomas Richardson and Peter Spirtes

PDF

Scoring Ancestral Graph Models, Thomas Richardson and Peter Spirtes

PDF

The Limits of Causal Knowledge, James M. Robins, Richard Scheines, Peter Spirtes, and Larry Wasserman

PDF

On The Felicity Conditions of Disjunctive Sentences, Mandy Simons