Frank Ramsey (1931) wrote: If two people are arguing 'if p will q?' and both are in doubt as to p, they are adding p hypothetically to their stock of knowledge and arguing on that basis about q. We can say that they are fixing their degrees of belief in q given p. Let us take the first sentence the way it is often taken, as proposing the following test for the acceptability of an indicative conditional: ‘If p then q’ (...) is acceptable to a subject S iff, were S to accept p and consider q, S would accept q. Now consider an indicative conditional of the form (1) If p, then I believe p. Suppose that you accept p and consider ‘I believe p’. To accept p while rejecting ‘I believe p’ is tantamount to accepting the Moore-paradoxical sentence ‘p and I do not believe p’, and so is irrational. To accept p while suspending judgment about ‘I believe p’ is irrational for similar reasons. So rationality requires that if you accept p and consider ‘I believe p’, you accept ‘I believe p’. (shrink)

IΣ n andBΣ n are well known fragments of first-order arithmetic with induction and collection forΣ n formulas respectively;IΣ n 0 andBΣ n 0 are their second-order counterparts. RCA0 is the well known fragment of second-order arithmetic with recursive comprehension;WKL 0 isRCA 0 plus weak König's lemma. We first strengthen Harrington's conservation result by showing thatWKL 0 +BΣ n 0 is Π 1 1 -conservative overRCA 0 +BΣ n 0 . Then we develop some model theory inWKL 0 and illustrate (...) the use of formalized model theory by giving a relatively simple proof of the fact thatIΣ 1 provesBΣ n+1 to be Π n+2-conservative overIΣ n . Finally, we present a proof-theoretic proof of the stronger fact that theΠ n+2 conservation result is provable already inIΔ 0 + superexp. ThusIΣ n+1 proves 1-Con (BΣ n+1) andIΔ 0 +superexp proves Con (IΣ n )↔Con(BΣ n+1). (shrink)

The rational price of the Pasadena and Altadena games, introduced by Nover and Hájek (2004 ), has been the subject of considerable discussion. Easwaran (2008 ) has suggested that weak expectations — the value to which the average payoffs converge in probability — can give the rational price of such games. We argue against the normative force of weak expectations in the standard framework. Furthermore, we propose to replace this framework by a bounded utility perspective: this shift renders the problem (...) more realistic and accounts for the role of weak expectations. In particular, we demonstrate that in a bounded utility framework, all agents, even if they have different value functions and disagree on the price of an individual game, will finally agree on the rational price of a repeated, averaged game. Thus, we explain the intuitive appeal of weak expectations, while avoiding both trivialization of the original paradox and the drawbacks of previous approaches. (shrink)

Bryne & Hajek (1997) argue that Lewis’s (1988; 1996) objections to identifying desire with belief do not go through if our notion of desire is ‘causalized’ (characterized by causal, rather than evidential, decision theory). I argue that versions of the argument go through on certain assumptions about the formulation of decision theory. There is one version of causal decision theory where the original arguments cannot be formulated—the ‘imaging’ formulation that Joyce (1999) advocates. But I argue this formulation is independently (...) objectionable. If we want to maintain the desire as belief thesis, there’s no shortcut through causalization. (shrink)

An effect algebra is a partial algebraic structure, originally formulated as an algebraic base for unsharp quantum measurements. In this article we present an approach to the study of lattice effect algebras (LEAs) that emphasizes their structure as algebraic models for the semantics of (possibly) non-standard symbolic logics. This is accomplished by focusing on the interplay among conjunction, implication, and negation connectives on LEAs, where the conjunction and implication connectives are related by a residuation law. Special cases of LEAs are (...) MV-algebras and orthomodular lattices. The main result of the paper is a characterization of LEAs in terms of so-called Sasaki algebras. Also, we compare and contrast LEAs, Hájek's BL-algebras, and the basic algebras of Chajda, Halaš, and Kühr. (shrink)

In Hájek et al. (J Symb Logic 65(2):669–682, 2000) the authors introduce the concept of supersound logic, proving that first-order Gödel logic enjoys this property, whilst first-order Łukasiewicz and product logics do not; in Hájek and Shepherdson (Ann Pure Appl Logic 109(1–2):65–69, 2001) this result is improved showing that, among the logics given by continuous t-norms, Gödel logic is the only one that is supersound. In this paper we will generalize the previous results. Two conditions will be presented: the first (...) one implies the supersoundness and the second one non-supersoundness. To develop these results we will use, between the other machineries, the techniques of completions of MTL-chains developed in Labuschagne and van Alten (Proceedings of the ninth international conference on intelligent technologies, 2008) and van Alten (2009). We list some of the main results. The first-order versions of MTL, SMTL, IMTL, WNM, NM, RDP are supersound; the first-order version of an axiomatic extension of BL is supersound if and only it is n-potent (i.e. it proves the formula ${\varphi^{n}\,\to\,\varphi^{n\,{+}\,1}}$ for some ${n\,\in\,\mathbb{N}^+}$ ). Concerning the negative results, we have that the first-order versions of ΠMTL, WCMTL and of each non-n-potent axiomatic extension of BL are not supersound. (shrink)

Creativity pervades human life. It is the mark of individuality, the vehicle of self-expression, and the engine of progress in every human endeavor. It also raises a wealth of neglected and yet evocative philosophical questions: What is the role of consciousness in the creative process? How does the audience for a work for art influence its creation? How can creativity emerge through childhood pretending? Do great works of literature give us insight into human nature? Can a computer program really be (...) creative? How do we define creativity in the first place? Is it a virtue? What is the difference between creativity in science and art? Can creativity be taught? The new essays that comprise The Philosophy of Creativity take up these and other key questions and, in doing so, illustrate the value of interdisciplinary exchange. Written by leading philosophers and psychologists involved in studying creativity, the essays integrate philosophical insights with empirical research. CONTENTS I. Introduction Introducing The Philosophy of Creativity Elliot Samuel Paul and Scott Barry Kaufman II. The Concept of Creativity 1. An Experiential Account of Creativity Bence Nanay III. Aesthetics & Philosophy of Art 2. Creativity and Insight Gregory Currie 3. The Creative Audience: Some Ways in which Readers, Viewers and/or Listeners Use their Imaginations to Engage Fictional Artworks Noël Carroll 4. The Products of Musical Creativity Christopher Peacocke IV. Ethics & Value Theory 5. Performing Oneself Owen Flanagan 6. Creativity as a Virtue of Character Matthew Kieran V. Philosophy of Mind & Cognitive Science 7. Creativity and Not So Dumb Luck Simon Blackburn 8. The Role of Imagination in Creativity Dustin Stokes 9. Creativity, Consciousness, and Free Will: Evidence from Psychology Experiments Roy F. Baumeister, Brandon J. Schmeichel, and C. Nathan DeWall 10. The Origins of Creativity Elizabeth Picciuto and Peter Carruthers 11. Creativity and Artificial Intelligence: a Contradiction in Terms? Margaret Boden VI. Philosophy of Science 12. Hierarchies of Creative Domains: Disciplinary Constraints on Blind-Variation and Selective-Retention Dean Keith Simonton VII. Philosophy of Education (& Education of Philosophy) 13. Educating for Creativity Berys Gaut 14. Philosophical Heuristics Alan Hájek. (shrink)

Our work is a contribution to the model theory of fuzzy predicate logics. In this paper we characterize elementary equivalence between models of fuzzy predicate logic using elementary mappings. Refining the method of diagrams we give a solution to an open problem of Hájek and Cintula (J Symb Log 71(3):863–880, 2006, Conjectures 1 and 2). We investigate also the properties of elementary extensions in witnessed and quasi-witnessed theories, generalizing some results of Section 7 of Hájek and Cintula (J Symb Log (...) 71(3):863–880, 2006) and of Section 4 of Cerami and Esteva (Arch Math Log 50(5/6):625–641, 2011) to non-exhaustive models. (shrink)

In the standard and traditional view, the concept of conditional probability is defined with what is known as the ratio formula: the probability of B given A is the ratio between the probability of A and B and the probability of A. It is well known that this definition does not match the conceptual and mathematical expectations that we have from conditional probability, especially for the probability values at the limits. Thus, as pointed out by several philosophers such as Popper (...) and Hájek, it is fair to conclude that we have yet to have a satisfactory definition for the concept of conditional probability. E.J. Lowe, in a debate with Dorothy Edgington, proposed two different definitions of conditional probability, and unfortunately his definitions have gone unnoticed in the literature. In this paper, my main aim is to renew interest in Lowe’s definitions. I achieve this aim by showing that E.J. Lowe’s definitions have great potential in providing us with a satisfactory definition of conditional probability.Standard Olasılık kuramında bir olayın bir diğer olaya koşullu olasılığı rasyo formülü olarak bilinen bir formül ile tanımlanmaktadır. Bu formüle göre B olayının A olayına koşullu olasılığı olayının olasığının sadece A olayının olasılığına bölünmesi ile bulunan değerdir. Bu standard tanımın özellikle limitlerdeki olasılık değerleri için kavramsal ve matematiksel beklentilerimizi karşılamadığı bilinen bir durumdur. Aralarında Popper ve Hájek gibi isimlerin de bulunduğu birçok felsefecinin de belirttiği gibi, bu durumdan elimizde tatmin edici bir koşullu olasılık tanımı olmadığını çıkarsamak yanlış olmayacaktır. E.J. Lowe, Dorothy Edgington ile girdiği bir tartışma bağlamında koşullu olasılığın iki alternatif tanımını önermiştir. Ne yazık ki, literatürde bu tanımlara gereken önem verilmemiştir. Literatürdeki bu eksikliği gidermeyi hedefleyen bu makalenin genel amacı, Lowe’ün önerilerinin tatmin edici bir koşullu olasılık tanımı sunma potansiyeline sahip olduğunu göstermektir. (shrink)

Michael J. Zimmerman explores whether and how our ignorance about ourselves and our circumstances affects what our moral obligations and moral rights are. He rejects objective and subjective views of the nature of moral obligation, and presents a new case for a 'prospective' view.

In this work I attempt to articulate a principle or set of principles that can guide violent revolution, or emancipatory violence, and yet still prevent the end-stage backlash that generally follows; e.g., the Terror's culmination in which the originators are the targets of the Terror.

Jian Zhou,* Weiqiang Ju,* Xiaopeng Yuan, Xiaofeng Zhu, Dongping Wang, Xiaoshun HeOrgan Transplant Center, First Affiliated Hospital, Sun Yat-sen University, Guangzhou, People's Republic of China *These authors contributed equally to this work: Hyperosmolar nonketotic hyperglycemic coma is a serious, rare complication induced by methylprednisolone pulse therapy for acute rejection after orthotopic liver transplantation. Herein, we report an unusual case of a 58-year-old woman who experienced acute rejection at 30 months after OLT, only one case in which HNKHC resulted in MP (...) pulse therapy for acute rejection in all 913 recipients in our center. The general morbidity of HNKHC was 1.09‰ in this study. HNKHC is characterized by rapid onset, rapid progression, and a lack of specific clinical manifestations. High-dose MP management was a clear risk factor. The principle of treatment included rapid rehydration, low-dose insulin infusion, and correcting disorders of electrolytes and acidosis. In conclusion, clinicians considering MP pulse therapy after OLT should be alert to the occurrence of HNKHC. Keywords: liver transplantation, complications, hyperosmolar nonketotic hyperglycemic coma, methylprednisolone pulse therapy, principle of treatment. (shrink)