This is a wide-ranging 2004 book about arguments for and against beliefs in God. The arguments for the belief are analysed in the first six chapters and include ontological arguments from Anselm to Gödel, the cosmological arguments of Aquinas and Leibniz, and arguments from evidence for design and miracles. The next two chapters consider arguments against belief. The last chapter examines Pascalian arguments for and against belief in God. There are discussions of Cantorian problems for omniscience, of challenges to divine (...) omnipotence, and of the compatibility of everlasting complete knowledge of the world with free-will. There are appendices that present formal proofs in a system for quantified modal logic, a theory of possible worlds, notes on Cantorian set theory, and remarks concerning non-standard hyperreal numbers. This book will be a valuable resource for philosophers of religion and theologians and will interest logicians and mathematicians as well. (shrink)
There are narrowest bounds for P(h) when P(e) = y and P(h/e) = x, which bounds collapse to x as y goes to 1. A theorem for these bounds -- bounds for probable modus ponens -- entails a principle for updating on possibly uncertain evidence subject to these bounds that is a generalization of the principle for updating by conditioning on certain evidence. This way of updating on possibly uncertain evidence is appropriate when updating by ’probability kinematics’ or ’Jeffrey-conditioning’ is, (...) and apparently in countless other cases as well. A more complicated theorem due to Karl Wagner -- bounds for probable modus tollens -- registers narrowest bounds for P(not h) when P(not e) = y and P(e/h) = x. This theorem serves another principle for updating on possibly uncertain evidence that might be termed ’contraditioning’, though it is for a way of updating that seems in practice to be frequently not appropriate. It is definitely not a way of putting down a theory -- for example, a random-chanc. (shrink)
A BAYESIAN ARTICULATION OF HUME’S VIEWS IS OFFERED BASED ON A FORM OF THE BAYES-LAPLACE THEOREM THAT IS SUPERFICIALLY LIKE A FORMULA OF CONDORCET’S. INFINITESIMAL PROBABILITIES ARE EMPLOYED FOR MIRACLES AGAINST WHICH THERE ARE ’PROOFS’ THAT ARE NOT OPPOSED BY ’PROOFS’. OBJECTIONS MADE BY RICHARD PRICE ARE DEALT WITH, AND RECENT EXPERIMENTS CONDUCTED BY AMOS TVERSKY AND DANIEL KAHNEMAN ARE CONSIDERED IN WHICH PERSONS TEND TO DISCOUNT PRIOR IMPROBABILITIES WHEN ASSESSING REPORTS OF WITNESSES.
Two partition-theorems are proved for a particular causal decision theory. One is restricted to a certain kind of partition of circumstances, and analyzes the utility of an option in terms of its utilities in conjunction with circumstances in this partition. The other analyzes an option's utility in terms of its utilities conditional on circumstances and is quite unrestricted. While the first form seems more useful for applications, the second form may be of theoretical importance in foundational exercises. Comparisons are made (...) with theorems of Richard Jeffrey, Brad Armendt, and Peter Fishburn. (shrink)
The work is a charitable study on what the internationally renowned presenter and author, Howard Sobel, views to be largely the truth about moral thought and talk. Discussions and observations from David Humes own writings oftentimes reinforce and elaborate the authors notions and there is an assertive attempt to weave logical thinking into the book. Applications to such mathematical concepts as game theory, decision-making, and conditionals are dispersed throughout so as to enlighten the theory behind the ideas.
According to a familiar argument, iterated prisoner's dilemmas of known finite lengths resolve for ideally rational and well-informed players: They would defect in the last round, anticipate this in the next to last round and so defect in it, and so on. But would they anticipate defections even if they had been cooperating? Not necessarily, say recent critics. These critics "lose" the backward-induction paradox by imposing indicative interpretations on rationality and information conditions. To regain it I propose subjunctive interpretations. To (...) solve it I stress that implications for ordinary imperfect players are limited. (shrink)
Rational actions reflect beliefs and preferences in certain orderly ways. The problem of theory is to explain which beliefs and preferences are relevant to the rationality of particular actions, and exactly how they are relevant. One distinction of interest here is between an agent's beliefs and preferences just before an action's time, and his beliefs and preferences at its time. Theorists do not agree about the times of beliefs and desires that are relevant to the rationality of action. Another distinction (...) is between actions that would, in one sense or another, maximize expected utilities given relevant beliefs and desires, and actions, decisions for which would, in one sense or another, be stable. There is disagreement about the relevance of these things to the rationality of actions. Here, in the first part below, several possible positions on these issues are explained and compared. In the second part, I contrast perspectives on these issues, and comment on arguments that might be brought against the position I favor. In the third part, I restate and elaborate on this position. (shrink)
Moral properties would supervene upon non-moral properties and be conceptually autonomous. That, according to Simon Blackburn, would make them if not impossible at least mysterious, and evidence for them best explained by theorists who say they are not real. In fact moral properties would not challenge in ways Blackburn has contended. There is, however, something new that can be gathered from his arguments. What would the supervenience of moral properties and their conceptual autonomy from at least total non-moral properties entail (...) not only for Intuitionists, who ‘knew this all along,’ but for all moral realists, that there are synthetic necessary moral principles? There is for all moral realists the problem of explaining ‘what in the world’ makes possible these necessities. (shrink)
Moral properties would supervene upon non-moral properties and be conceptually autonomous. That, according to Simon Blackburn, would make them if not impossible at least mysterious, and evidence for them best explained by theorists who say they are not real. In fact moral properties would not challenge in ways Blackburn has contended. There is, however, something new that can be gathered from his arguments. What would the supervenience of moral properties and their conceptual autonomy from at least total non-moral properties entail (...) not only for Intuitionists, who `knew this all along,' but for all moral realists, that there are synthetic necessary moral principles? There is for all moral realists the problem of explaining `what in the world' makes possible these necessities. (shrink)
To resolve putative liar paradoxes it is sufficient to attend to the distinction between liar-sentences and the propositions they would express, and to exercise the option of turning would-be deductions of paradox (of contradictions) into reductions of the existence of those propositions. Defending the coherence of particular resolutions along these lines, leads to recognition of the non-extensionality of some liar-sentences. In particular, it turns out that exchanges of terms for identicals in the open-sentence '- does not expression a true proposition' (...) are not invariably truth-preserving because they are not invariably proposition-expression preserving. All of this recommends propositions as fruitful subjects of interesting renewed research. (shrink)
A person who does not have good intellectual reasons for believing in God can, depending on his probabilities and values for consequences of believing, have good practical reasons. Pascalian wagers founded on a variety of possible probability/value profiles are examined from a Bayesian perspective central to which is the idea that states and options are pragmatically reasonable only if they maximize subjective expected value. Attention is paid to problems posed by representations of values by Cantorian infinities. An appendix attends to (...) Robinsonian hyperreals. Another appendix presents for comparison Newcomb's Problem and a problem in some ways like it suggested, I think, by ideas of John Calvin. (shrink)
When causal decision theory was created in the 1970s, access to Howard Sobel’s contribution was available only in a narrowly circulated mimeographed manuscript. After some time, he allowed his ideas to appear in the form of articles. Here we finally have a book length exposition on Sobel’s causal Bayesian point of view consisting of collected, revised, and amplified papers spanning a period of twenty years.
An example shows that 'pairwise preferences' (certain hypothetical choices) can cycle even when rational. General considerations entail that preferences tout court (certain relations of actual valuations) cannot cycle. A world-bayesian theory is explained that accommodates these two kinds of preference, and a theory for rational actions that would have them maximize and be objects of ratifiable choices. It is observed that choices can be unratifiable either because of troublesome credences or because of troublesome preferences. An appendix comments on a third (...) way in which efforts to maximize can be frustrated. (shrink)
In his Truth and Probability (1926), Frank Ramsey provides foundations for measures of degrees of belief in propositions and preferences for worlds. Nonquantitative conditions on preferences for worlds, and gambles for worlds and certain near-worlds, are formulated which he says insure that a subject's preferences for worlds are represented by numbers, world values. Numbers, for his degrees of belief in propositions, probabilities, are then defined in terms of his world values. Ramsey does not also propose definitions of desirabilities for propositions, (...) though he is in a position to do this. Given his measures for probabilities of propositions and values of worlds, he can frame natural definitions for both evidential and causal desirabilities that would measure respectively the welcomeness of propositions as items of news, and as facts. His theory is neutral with respect to the evidential/causal division. In the present paper, as Ramsey's foundations are explained, several problems and limitations are noted. Their distinctive virtue â their evidential/causal neutrality â is demonstrated. Comparisons are made with other foundational schemes, and a perspective is recommended from which nonquantitative foundations are not the be all for quantitative theories of ideal preferences and credences. (shrink)
“To this day, partiality approaches to the paradox have been dogged by the so-called ‘Strengthened Liar’. .... The Strengthened Liar observes that if we follow a partiality theorist and declare the Liar sentence* neither true nor false (or failing to express a proposition,. or suffering from some sort of grave semantic defect), then the paradox is only pushed back. For we can go on to conclude that whatever this status may be, it implies that the Liar sentence is not true. (...) This claim is true, but it is just the Liar sentence again.* We are back in paradox.” (Glanzberg 2002, p. 468, bold emphasis added.) Cf.: “We are back in our contradiction,”(Glanzberg 2001, p. 222). *The Liar sentence intended is evidently the sentence ‘the Liar sentence is not true’, and, the Liar sentence = ‘the Liar sentence is not true’. Cf.: “Consider a Liar sentence: ...let us take a sentence l which says l is not true. We can, informally, reason as.. (shrink)
I have maintained that some but not all prisoners' dilemmas are side-by-side Necomb problems. The present paper argues that, similarly, some but not all versions of Newcomb's Problem are prisoners' dilemmas in which Taking Two and Predicting Two make an equilibrium that is dispreferred by both the box-chooser and predictor to the outcome in which only one box is taken and this is predicted. I comment on what kinds of prisoner's dilemmas Newcomb's Problem can be, and on opportunities that results (...) reached may open for kinds of cooperative reasoning in versions of Newcomb's Problem. (shrink)
Key words: liar paradoxes, propositions, definite descriptions A Liar would be a sentence or sentence-token that expresses a proposition that is both true and not true. A Liar Paradox is reasoning that would do the impossible and demonstrate the reality of a Liar. It is sufficient, fully to resolve a Liar Paradox, to turn its purported demonstration that some sentence or sentence-token expresses a proposition that is both true and not true into a reductio of the existence of the proposition (...) that would be expressed, while ‘explaining away’ the particular tricks and charm of the purported demonstration of paradox. The interest of these exercises lies in the seductiveness of the would be demonstration of a Liar Paradox, and in the depth and subtlety of logical/grammatical resources that can be tapped and fashioned to dispel it. The Liar taken on in this paper occasions especially seductive reasoning that exploits ‘scope-ambiguities’ of definite descriptions that, not incidentally, survive unscathed when its argument is symbolized in a Fregean description theory in which scopes of definite descriptions are not discriminated. Symbolizing this argument in a Russellian description theory in which scopes are discriminated makes unavoidable that its scope-ambiguities be settled one way or another, and reveals that however the scope ambiguity of a certain premise is settled the resultant unambiguous argument is unsound, either because it is invalid, though this premise comes out true, or because, though it is valid, this premise comes out not true. These results of Russellian analysis pave the way to a formal demonstration, from premises to which a monger of the paradox would be committed, that contrary to his case the Liar of this paper does not express a proposition. This conclusion is confirmed in the Appendix to this paper by a demonstration from a single empirical premise that no one can deny, in a Russellian calculus enhanced for truth of propositions expressed by tokens of sentences.. (shrink)
By his definition of them, David Gauthier's co-operative constrained maximizers are not necessarily unsharing and disposed to exclude straight maximizers from benefits of their co-operation. Here is Gauthier's full and exact account, his official account, of constrained maximization.
"It is a general maxim...’ That no testimony is sufficient to establish a miracle, unless the testimony be of such a kind that its falsehood would be more miraculous, than the fact which it endeavors to establish; and even in that case there is a mutual destruction of arguments, and the superior only gives us an assurance suitable to that degree of force, which remains, after deducting the inferior.’" A Bayesian interpretation of the first half is proved as a theorem. (...) A stronger conditional principle, and a biconditional theorem based on it, are substantiated. And a truth that the second part can express is explained. (shrink)
Relations between conditional probabilities, revisions of probabilities in the light of new information, and conditions of ideal rationality are discussed herein. The formal character of conditional probabilities, and their significance for epistemic states of agents is taken up. Then principles are considered that would, under certain conditions, equate rationally revised probabilities on new information with probabilities reached by conditionalizing on this information. And lastly the possibility of kinds of ' books ' against known non-conditionalizers is explored, and the question is (...) taken up, What, if anything, would be wrong with a person against whom such a book could be made? (shrink)
The orthodoxy that conditional probabilities reflect what are for a subject evidential bearings is seconded. This significance suggests that there should be principles equating rationally revised probabilities on new information with probabilities reached by conditionalizing on this information. Several principles, two of which are endorsed, are considered. A book is made against a violator of these, and it is argued that there must be something wrong with a person against whom such books can be made. Appendices comment on Popper-functions, elaborate (...) on bets and odds, and relate dutch books and strategies to conditions of inconsistency (Ramsey's idea) and imperfection. (shrink)