Switch to: Citations

Add references

You must login to add references.
  1. A Decision Method for Elementary Algebra and Geometry.Alfred Tarski - 1952 - Journal of Symbolic Logic 17 (3):207-207.
    Direct download  
     
    Export citation  
     
    Bookmark   75 citations  
  • A Decision Method for Elementary Algebra and Geometry.Alfred Tarski - 1949 - Journal of Symbolic Logic 14 (3):188-188.
    Direct download  
     
    Export citation  
     
    Bookmark   71 citations  
  • Local search characteristics of incomplete SAT procedures.Dale Schuurmans & Finnegan Southey - 2001 - Artificial Intelligence 132 (2):121-150.
  • The plurality of bayesian measures of confirmation and the problem of measure sensitivity.Branden Fitelson - 1999 - Philosophy of Science 66 (3):378.
    Contemporary Bayesian confirmation theorists measure degree of (incremental) confirmation using a variety of non-equivalent relevance measures. As a result, a great many of the arguments surrounding quantitative Bayesian confirmation theory are implicitly sensitive to choice of measure of confirmation. Such arguments are enthymematic, since they tacitly presuppose that certain relevance measures should be used (for various purposes) rather than other relevance measures that have been proposed and defended in the philosophical literature. I present a survey of this pervasive class of (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   214 citations  
  • A bayesian account of independent evidence with applications.Branden Fitelson - 2001 - Proceedings of the Philosophy of Science Association 2001 (3):S123-.
    outlined. This account is partly inspired by the work of C.S. Peirce. When we want to consider how degree of confirmation varies with changing I show that a large class of quantitative Bayesian measures of con-.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   69 citations  
  • A Bayesian Account of Independent Evidence with Applications.Branden Fitelson - 2001 - Philosophy of Science 68 (S3):S123-S140.
    A Bayesian account of independent evidential support is outlined. This account is partly inspired by the work of C. S. Peirce. I show that a large class of quantitative Bayesian measures of confirmation satisfy some basic desiderata suggested by Peirce for adequate accounts of independent evidence. I argue that, by considering further natural constraints on a probabilistic account of independent evidence, all but a very small class of Bayesian measures of confirmation can be ruled out. In closing, another application of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   68 citations  
  • Lotteries and Miracles.Jordan Howard Sobel - 2010 - Oxford Studies in Philosophy of Religion 2 (1).
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  • How Bayesian Confirmation Theory Handles the Paradox of the Ravens.Branden Fitelson & James Hawthorne - 2010 - In Ellery Eells & James Fetzer (eds.), The Place of Probability in Science. Springer. pp. 247--275.
    The Paradox of the Ravens (a.k.a,, The Paradox of Confirmation) is indeed an old chestnut. A great many things have been written and said about this paradox and its implications for the logic of evidential support. The first part of this paper will provide a brief survey of the early history of the paradox. This will include the original formulation of the paradox and the early responses of Hempel, Goodman, and Quine. The second part of the paper will describe attempts (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   25 citations  
  • Studies in Bayesian Confirmation Theory.Branden Fitelson - 2001 - Dissertation, University of Wisconsin, Madison
    According to Bayesian confirmation theory, evidence E (incrementally) confirms (or supports) a hypothesis H (roughly) just in case E and H are positively probabilistically correlated (under an appropriate probability function Pr). There are many logically equivalent ways of saying that E and H are correlated under Pr. Surprisingly, this leads to a plethora of non-equivalent quantitative measures of the degree to which E confirms H (under Pr). In fact, many non-equivalent Bayesian measures of the degree to which E confirms (or (...)
    Direct download  
     
    Export citation  
     
    Bookmark   85 citations  
  • Alfred Tarski, Life and Logic.Anita Burdman Feferman & Solomon Feferman - 2005 - Bulletin of Symbolic Logic 11 (4):535-540.
     
    Export citation  
     
    Bookmark   30 citations