A correction is needed to our paper: to the definition contained within the statement of Lemma 1.5 and thus arguments around it in §3.

We claim that a recent article of P. Cotogno ([2003]) in this journal is based on an incorrect argument concerning the non-computability of diagonal functions. The point is that whilst diagonal functions are not computable by any function of the class over which they diagonalise, there is no ?logical incomputability? in their being computed over a wider class. Hence this ?logical incomputability? regrettably cannot be used in his argument that no hypercomputation can compute the Halting problem. This seems to lead (...) him into a further error in his analysis of the supposed conventional status of the infinite time Turing machines of Hamkins and Lewis ([2000]). Theorem 1 refutes this directly. The diagonalisation misunderstanding Infinite computation Conclusion. (shrink)

We describe the solution of the Limit Rule Problem of Revision Theory and discuss the philosophical consequences of the fact that the truth set of Revision Theory is a complete 1/2 set.

We prove that a form of the $Erd\H{o}s$ property (consistent with $V = L\lbrack H_{\omega_2}\rbrack$ and strictly weaker than the Weak Chang's Conjecture at ω1), together with Bounded Martin's Maximum implies that Woodin's principle $\psi_{AC}$ holds, and therefore 2ℵ0 = ℵ2. We also prove that $\psi_{AC}$ implies that every function $f: \omega_1 \rightarrow \omega_1$ is bounded by some canonical function on a club and use this to produce a model of the Bounded Semiproper Forcing Axiom in which Bounded Martin's Maximum (...) fails. (shrink)

We give the proof of a theorem of Jensen and Zeman on the existence of a global □ sequence in the Core Model below a measurable cardinal κ of Mitchell order ) equal to κ++, and use it to prove the following theorem on mutual stationarity at n.Let ω1 denote the first uncountable cardinal of V and set to be the class of ordinals of cofinality ω1.TheoremIf every sequence n m. In particular, there is such a model in which for (...) all sufficiently large m<ω, the class of measurables λ with oM≥ωm is, in V, stationary below m+2. (shrink)

We set $\mathscr{D} = \langle\mathscr{D}, \leq_L, \tt\#\rangle$ , where D is the set of degrees of nonconstructibility for countable sets of countable ordinals. We show how to define inductively over this structure the degrees of such sets of ordinals in K, the core model, and the next few core models thereafter, i.e. without reference to mice, premice or measurable cardinals.

We review some recent developments in the conformal gravity theory that has been advanced as a candidate alternative to standard Einstein gravity. As a quantum theory the conformal theory is both renormalizable and unitary, with unitarity being obtained because the theory is a PT symmetric rather than a Hermitian theory. We show that in the theory there can be no a priori classical curvature, with all curvature having to result from quantization. In the conformal theory gravity requires no independent quantization (...) of its own, with it being quantized solely by virtue of its being coupled to a quantized matter source. Moreover, because it is this very coupling that fixes the strength of the gravitational field commutators, the gravity sector zero-point energy density and pressure fluctuations are then able to identically cancel the zero-point fluctuations associated with the matter sector. In addition, we show that when the conformal symmetry is spontaneously broken, the zero-point structure automatically readjusts so as to identically cancel the cosmological constant term that dynamical mass generation induces. We show that the macroscopic classical theory that results from the quantum conformal theory incorporates global physics effects that provide for a detailed accounting of a comprehensive set of 138 galactic rotation curves with no adjustable parameters other than the galactic mass to light ratios, and with the need for no dark matter whatsoever. With these global effects eliminating the need for dark matter, we see that invoking dark matter in galaxies could potentially be nothing more than an attempt to describe global physics effects in purely local galactic terms. Finally, we review some recent work by ’t Hooft in which a connection between conformal gravity and Einstein gravity has been found. (shrink)

This article is concerned with reflection principles in the context of Cantor’s conception of the set-theoretic universe. We argue that within such a conception reflection principles can be formulated that confer intrinsic plausibility to strong axioms of infinity.

We discuss the circumstances under which gravity might be repulsive rather than attractive. In particular we show why our standard solar system distance scale gravitational intuition need not be a reliable guide to the behavior of gravitational phenomena on altogether larger distance scales such as cosmological, and argue that in fact gravity actually gets to act repulsively on such distance scales. With such repulsion a variety of current cosmological problems (the flatness, horizon, dark matter, universe age, cosmic acceleration and cosmological (...) constant problems) are then all naturally resolved. (shrink)

We discuss some outstanding open questions regarding the validity and uniqueness of the standard second-order Newton-Einstein classical gravitational theory. On the observational side we discuss the degree to which the realm of validity of Newton's law of gravity can actually be extended to distances much larger than the solar system distance scales on which the law was originally established. On the theoretical side we identify some commonly accepted (but actually still open to question) assumptions which go into the formulation of (...) the standard second-order Einstein theory in the first place. In particular, we show that while the familiar second-order Poisson gravitational equation (and accordingly its second-order covariant Einstein generalization) may be sufficient to yield Newton's law of gravity they are not in fact necessary. The standard theory thus still awaits the identification of some principle which would then make it necessary too. We show that current observational information does not exclusively mandate the standard theory, and that the conformal invariant fourth-order theory of gravity considered recently by Mannheim and Kazanas is also able to meet the constraints of data, and in fact to do so without the need for any so far unobserved nonluminous or dark matter. (shrink)

Our long experience with Newtonian potentials has inured us to the view that gravity only produces local effects. In this paper we challenge this quite deeply ingrained notion and explicitly identify some intrinsically global gravitational effects. In particular we show that the global cosmological Hubble flow can actually modify the motions of stars and gas within individual galaxies, and even do so in a way which can apparently eliminate the need for galactic dark matter. Also we show that a classical (...) light wave acquires an observable, global, pathdependent phase in traversing a gravitational field. Both of these effects serve to underscore the intrinsic difference between nonrelativistic and relativistic gravity. (shrink)

The Factualistic, Positivistic Basis . . . this life of suffering, of doubt, which makes you deeply love naked, living reality. Zola "Gustave Doret,"Mex ...

Gupta-Belnap-style circular definitions use all real numbers as possible starting points of revision sequences. In that sense they are boldface definitions. We discuss lightface versions of circular definitions and boldface versions of inductive definitions.

We show that the set of ultimately true sentences in Hartry Field's Revenge-immune solution model to the semantic paradoxes is recursively isomorphic to the set of stably true sentences obtained in Hans Herzberger's revision sequence starting from the null hypothesis. We further remark that this shows that a substantial subsystem of second-order number theory is needed to establish the semantic values of sentences in Field's relative consistency proof of his theory over the ground model of the standard natural numbers: -CA0 (...) (second-order number theory with a -comprehension axiom scheme) is insufficient. We briefly consider his claim to have produced a solution to the semantic paradoxes by introducing this conditional. We remark that the notion of a operator can be introduced in other settings. (shrink)

We show how in the hierarchies${F_\alpha }$of Fieldian truth sets, and Herzberger’s${H_\alpha }$revision sequence starting from any hypothesis for${F_0}$ that essentially each${H_\alpha }$ carries within it a history of the whole prior revision process.As applications we provide a precise representation for, and a calculation of the length of, possiblepath independent determinateness hierarchiesof Field’s construction with a binary conditional operator. We demonstrate the existence of generalized liar sentences, that can be considered as diagonalizing past the determinateness hierarchies definable in Field’s recent (...) models. The ‘defectiveness’ of such diagonal sentences necessarily cannot be classified by any of the determinateness predicates of the model. They are ‘ineffable liars’. We may consider them a response to the claim of Field that ‘the conditional can be used to show that the theory is not subject to “revenge problems”.’. (shrink)

We represent truth sets for a variety of the well known semantic theories of truth as those sets consisting of all sentences for which a player has a winning strategy in an infinite two person game. The classifications of the games considered here are simple, those over the natural model of arithmetic being all within the arithmetical class of $\Sum_{3}^{0}$.

To what extent can we hope to find answers to all mathematical questions? A famous theorem from Gödel entails that if our thinking capacities do not go beyond what an electronic computer is capable of, then there are indeed absolutely unsolvable mathematical problems. Thus it is of capital importance to find out whether human mathematicians can outstrip computers. Within this context, the contributions to this book critically examine positions about the scope and limits of human mathematical knowledge.

We locate winning strategies for various ${\mathrm{\Sigma }}_{3}^{0}$ -games in the L-hierarchy in order to prove the following: Theorem 1. KP+Σ₂-Comprehension $\vdash \exists \alpha L_{\alpha}\ models"\Sigma _{2}-{\bf KP}+\Sigma _{3}^{0}-\text{Determinacy}."$ Alternatively: ${\mathrm{\Pi }}_{3}^{1}\text{\hspace{0.17em}}-{\mathrm{C}\mathrm{A}}_{0}\phantom{\rule{0ex}{0ex}}$ "there is a β-model of ${\mathrm{\Delta }}_{3}^{1}-{\mathrm{C}\mathrm{A}}_{0}\text{\hspace{0.17em}}\text{\hspace{0.17em}}+\text{\hspace{0.17 em}}{\mathrm{\Sigma }}_{3}^{0}$ -Determinacy." The implication is not reversible. (The antecedent here may be replaced with ${\mathrm{\Pi }}_{3}^{1}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\left({\mathrm{\Pi }}_{3}^{1}\right)-{\mathrm{C}\mathrm{A}}_{0}:\text{\hspace{0.17em}}{\mathrm{\Pi }}_{3}^{1}$ instances of Comprehension with only ${\mathrm{\Pi }}_{3}^{1}$ -lightface definable parameters—or even weaker theories.) Theorem 2. KP +Δ₂-Comprehension +Σ₂-Replacement + ${\mathrm{\Sigma }}_{3}^{0}\phantom{\rule{0ex}{0ex}}$ -Determinacy. (Here AQI (...) is the assertion that every arithmetical quasi-inductive definition converges.) Alternatively: $\Delta _{3}^{1}{\rm CA}_{0}+{\rm AQI}\nvdash \Sigma _{3}^{0}$ -Determinacy. Hence the theories: ${\mathrm{\Pi }}_{3}^{1}-{\mathrm{C}\mathrm{A}}_{0},\text{\hspace{0.17em}}{\mathrm{\Delta }}_{3}^{1}-{\mathrm{C}\mathrm{A}}_{0}+\text{\hspace{0.17em}}{\mathrm{\Sigma }}_{3}^{0}-\mathrm{D}\mathrm{e}\mathrm{t}\phantom{\rule{0ex}{0ex}}$ -Det, ${\mathrm{\Delta }}_{3}^{1}-{\mathrm{C}\mathrm{A}}_{0}+\mathrm{A}\mathrm{Q}\mathrm{I}$ , and ${\mathrm{\Delta }}_{3}^{1}-{\mathrm{C}\mathrm{A}}_{0}\phantom{\rule{0ex}{0ex}}$ are in strictly descending order of strength. (shrink)

If □ is conceived as an operator, i.e., an expression that gives applied to a formula another formula, the expressive power of the language is severely restricted when compared to a language where □ is conceived as a predicate, i.e., an expression that yields a formula if it is applied to a term. This consideration favours the predicate approach. The predicate view, however, is threatened mainly by two problems: Some obvious predicate systems are inconsistent, and possible-worlds semantics for predicates of (...) sentences has not been developed very far. By introducing possible-worlds semantics for the language of arithmetic plus the unary predicate □, we tackle both problems. Given a frame (W, R) consisting of a set W of worlds and a binary relation R on W, we investigate whether we can interpret □ at every world in such a way that □ $\ulcorner A \ulcorner$ holds at a world ᵆ ∊ W if and only if A holds at every world $\upsilon$ ∊ W such that ᵆR $\upsilon$ . The arithmetical vocabulary is interpreted by the standard model at every world. Several 'paradoxes' (like Montague's Theorem, Gödel's Second Incompleteness Theorem, McGee's Theorem on the ω-inconsistency of certain truth theories, etc.) show that many frames, e.g., reflexive frames, do not allow for such an interpretation. We present sufficient and necessary conditions for the existence of a suitable interpretation of □ at any world. Sound and complete semi-formal systems, corresponding to the modal systems K and K4, for the class of all possible-worlds models for predicates and all transitive possible-worlds models are presented. We apply our account also to nonstandard models of arithmetic and other languages than the language of arithmetic. (shrink)

We consider various concepts associated with the revision theory of truth of Gupta and Belnap. We categorize the notions definable using their theory of circular definitions as those notions universally definable over the next stable set. We give a simplified account of varied revision sequences-as a generalised algorithmic theory of truth. This enables something of a unification with the Kripkean theory of truth using supervaluation schemes.

We show that Leitgeb’s dependence operator of Leitgeb is a \-operator and that this is best possible.

We analyse the extent of possible computations following Hogarth ([2004]) conducted in Malament–Hogarth (MH) spacetimes, and Etesi and Németi ([2002]) in the special subclass containing rotating Kerr black holes. Hogarth ([1994]) had shown that any arithmetic statement could be resolved in a suitable MH spacetime. Etesi and Németi ([2002]) had shown that some relations on natural numbers that are neither universal nor co-universal, can be decided in Kerr spacetimes, and had asked specifically as to the extent of computational limits there. (...) The purpose of this note is to address this question, and further show that MH spacetimes can compute far beyond the arithmetic: effectively Borel statements (so hyperarithmetic in second-order number theory, or the structure of analysis) can likewise be resolved: Theorem A. If H is any hyperarithmetic predicate on integers, then there is an MH spacetime in which any query ? n H ? can be computed. In one sense this is best possible, as there is an upper bound to computational ability in any spacetime, which is thus a universal constant of that spacetime. Theorem C. Assuming the (modest and standard) requirement that spacetime manifolds be paracompact and Hausdorff, for any spacetime there will be a countable ordinal upper bound, , on the complexity of questions in the Borel hierarchy computable in it. Introduction 1.1 History and preliminaries Hyperarithmetic Computations in MH Spacetimes 2.1 Generalising SADn regions 2.2 The complexity of questions decidable in Kerr spacetimes An Upper Bound on Computational Complexity for Each Spacetime CiteULike Connotea Del.icio.us What's this? (shrink)

We consider notions of truth and logical validity defined in various recent constructions of Hartry Field. We try to explicate his notion of determinate truth by clarifying the path-dependent hierarchies of his determinateness operator.

We investigate and classify the notion of final derivability of two basic inconsistency-adaptive logics. Specifically, the maximal complexity of the set of final consequences of decidable sets of premises formulated in the language of propositional logic is described. Our results show that taking the consequences of a decidable propositional theory is a complicated operation. The set of final consequences according to either the Reliability Calculus or the Minimal Abnormality Calculus of a decidable propositional premise set is in general undecidable, and (...) can be -complete. These classifications are exact. For first order theories even finite sets of premises can generate such consequence sets in either calculus. (shrink)

Reflection Principles are commonly thought to produce only strong axioms of infinity consistent with V = L. It would be desirable to have some notion of strong reflection to remedy this, and we have proposed Global Reflection Principles based on a somewhat Cantorian view of the universe. Such principles justify the kind of cardinals needed for, inter alia , Woodin’s Ω-Logic.

We look at various notions of a class of definability operations that generalise inductive operations, and are characterised as “revision operations”. More particularly we: (i) characterise the revision theoretically definable subsets of a countable acceptable structure; (ii) show that the categorical truth set of Belnap and Gupta’s theory of truth over arithmetic using \emph{fully varied revision} sequences yields a complete \Pi13 set of integers; (iii) the set of \emph{stably categorical} sentences using their revision operator ψ is similarly \Pi13 and which (...) is complete in Gödel’s universe of constructible sets L; (iv) give an alternative account of a theory of truth—realistic variance that simplifies full variance, whilst at the same time arriving at Kripkean fixed points. (shrink)

Ordinarily, we take moral responsibility to come in degrees. Despite this commonplace, theories of moral responsibility have focused on the minimum threshold conditions under which agents are morally responsible. But this cannot account for our practices of holding agents to be more or less responsible. In this paper we remedy this omission. More specifically, we extend an account of reasons-responsiveness due to John Martin Fischer and Mark Ravizza according to which an agent is morally responsible only if she is appropriately (...) receptive to and reactive to reasons for action. Building on this, we claim that the degree to which an agent is responsible will depend on the degree to which she is able to recognize and react to reasons. To analyze this, we appeal to relations of comparative similarity between possible worlds, arguing that the degree to which an agent is reasons-reactive depends on the nearest possible world in which given sufficient reason to do otherwise, she does so. Similarly, we argue that the degree to which an agent is reasons-receptive will depend on the intelligibility of her patterned recognition of reasons. By extending an account of reasons-responsiveness in these ways, we are able to rationalize our practice of judging people to be more or less responsible. (shrink)

This thesis looks at explanation in the natural sciences, the social sciences, and in religious reflection. Although these fields differ radically in the objects studied and the methods employed, they do evidence certain formal commonalities when one inquires into the nature of the explanatory endeavor as it is manifested in each. By exploring the links between explanations and the various contexts or disciplines in which they occur, I attempt to provide a general framework for speaking of rational explanations in these (...) diverse areas. ;In an opening chapter I consider several alternatives regarding the epistemic status of religious explanations, focusing finally on the model of "intersubjective explanation." Contemporary defenses of intersubjective religious explanation are placed within the context of the broader faith/reason debate, and a quick survey is made of recent advocates of this position. I then turn to the methodology dispute in the philosophy of the natural sciences . My aim is to mediate between purely formal analyses of explanatory structure and the more recent emphasis on contextual and pragmatic factors. ;In the social sciences, many have argued, explanation is subordinate to intuitive understanding. After tracing the explanation versus understanding debate from Dilthey to the present, I present the recent work of Jurgen Habermas as a case study in the problems of social scientific rationality. Explanations in the social sciences are rational reconstructions of human meaning contexts, and "Verstehen" is required as a precondition for material adequacy. Such explanations are linked to the individual or communal effort to "make sense" of, or bring coherence into, subjective and intersubjective "worlds." ;After an excursus on philosophical explanations and the problem of philosophical rationality, I attempt a brief phenomenology of religious beliefs as explanations. As in the social sphere, religious explanations represent the believer's attempt to "make sense" of her experience in light of a given religious tradition. Although the comprehensive nature of religious explanations makes comparisons difficult--in the limit case they verge on ineffability--the concepts of meaning and coherence allow us to speak of the rationality of religious belief without total equivocation. ;The final chapter turns to the study and evaluation of religious explanations as they occur in the discipline of theology. Under the rubric "theology as a science," I defend theology's dual status as an academic discipline and as believing reflection in the service of the religious community. Through vitally concerned with the truth of its assertions, theology also shares the goals of coherence and intersubjective criticizability with its scientific counterparts. (shrink)

This book is neither a biography nor an in-depth interpretation of Berkeley's philosophical system. There are numerous details about Berkeley's life, social relationships, and intellectual contributions, but Berman neither explores these matters in comprehensive depth nor claims to do so. What, then, does he do? Berman's answer is: "Advancing chronologically, I have focussed on Berkeley as homo religiosus". He uses biographical details to portray Berkeley as a Christian thinker who acted on his commitment both in and out of his study. (...) Berman also locates Berkeley's writings in their specific intellectual and social contexts while tracing a career that spanned over forty years and encompassed a wide range of interests and disciplines, from theology to economics. Attention is paid, for example, to Berkeley's Guardian essays and to Siris, which is characterized as his most popular book during his lifetime. Philosophers now concentrate almost exclusively on the Principles of Human Knowledge and Three Dialogues between Hylas and Philonous, regarding their author only as a technical thinker offering immaterialism as a solution to free-standing philosophical problems. It is therefore salutary to be informed about the wide range of Berkeley's writings and regard them as diverse expressions of Christian idealism, a religiously inspired outlook about God, nature, and humanity which issued in, but transcends, immaterialism, the technical philosophical position. (shrink)

The increasing awareness of the incommensurability between voters’ attitudes about voting and the reality of voting are contributing to the much written-about voter malaise which plagues U.S. elections. Voters who assume their role is to determine the ideal, right, or best candidate confront an election system in our current communication environment that attempts to market candidates to match voters’ ideals, while also providing a surfeit of information that both contradicts the ideal depictions while also making transparent the process by which (...) candidates are packaged. This essay identifies four communication phenomena that contribute to this malaise: campaign transparency; bifurcation of issue and candidate; the abstracted nature of news content; and the glut of information that characterizes our present communication environment. (shrink)

We present some interesting connections between PT symmetry and conformal symmetry. We use them to develop a metricated theory of electromagnetism in which the electromagnetic field is present in the geometric connection. However, unlike Weyl who first advanced this possibility, we do not take the connection to be real but to instead be PT symmetric, with it being \ rather than \ itself that then appears in the connection. With this modification the standard minimal coupling of electromagnetism to fermions is (...) obtained. Through the use of torsion we obtain a metricated theory of electromagnetism that treats its electric and magnetic sectors symmetrically, with a conformal invariant theory of gravity being found to emerge. An extension to the non-Abelian case is provided. (shrink)

While there is much literature analyzing the politics of implementing economic reforms, very little has been written on the social and political consequences of such reforms after they have been implemented. The basic premise of this book is that the convergence of many social, economic, and political ills in the context of unprecedented levels of political democratization in Latin America presents a paradox that needs to be explained. _What Kind of Democracy? _demonstrates how the myriad social problems throughout the region (...) are intimately linked both to a new economic development model and the weaknesses of Latin American democracy. This volume brings together prominent scholars from Canada, the United States, and Latin America, representing several different disciplines to analyze ongoing processes of economic, social, and political change in the region. The contributors are Werner Baer, Manuel Barrera, Juan Alberto Fuentes, Yoshiaki Nakano, Claudio Paiva, Luiz Carlos Bresser Pereira, Jean-François Prud'homme, Jorge Schvarzer, Francisco Weffort, and Francisco Zapata. (shrink)

This book addresses a substantive normative issue of contemporary political theory, the issue of political legitimacy, critiquing the mainstream approach of justificatory liberalism and offering an alternative reconstructed from neo-Calvinist social thought, a rich source of insights that might be applied to other issues within political theory.