Results for 'Philip D. Welch'

1000+ found
Order:
  1.  17
    Some Observations on Truth Hierarchies: A Correction.Philip D. Welch - 2020 - Review of Symbolic Logic 13 (4):857-860.
    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.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  2.  13
    Discrete Transfinite Computation Models.Philip D. Welch - 2011 - In S. B. Cooper & Andrea Sorbi (eds.), Computability in Context: Computation and Logic in the Real World. World Scientific. pp. 375--414.
  3.  26
    On the Possibility, or Otherwise, of Hypercomputation.Philip D. Welch - 2004 - British Journal for the Philosophy of Science 55 (4):739-746.
    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 (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  4.  55
    Set-Theoretic Absoluteness and the Revision Theory of Truth.Benedikt Löwe & Philip D. Welch - 2001 - Studia Logica 68 (1):21-41.
    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.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  5.  5
    Bounded Martin's Maximum, Weak Erdӧs Cardinals, and Ψ Ac.David Asperó & Philip D. Welch - 2002 - Journal of Symbolic Logic 67 (3):1141-1152.
  6.  8
    The Ramified Analytical Hierarchy Using Extended Logics.Philip D. Welch - 2018 - Bulletin of Symbolic Logic 24 (3):306-318.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7.  19
    Bounded Martin's Maximum, Weak [Image] Cardinals, and [Image].David Asperó & Philip D. Welch - 2002 - Journal of Symbolic Logic 67 (3):1141 - 1152.
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8.  8
    Global Square and Mutual Stationarity at the ℵn.Peter Koepke & Philip D. Welch - 2011 - Annals of Pure and Applied Logic 162 (10):787-806.
    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 (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  9.  2
    Sy D. Friedman. Strong Coding. Annals of Pure and Applied Logic, Vol. 35, Pp. 1–98. - Sy D. Friedman. A Guide to “Strong Coding.”Annals of Pure and Applied Logic, Vol. 35, Pp. 99–122. [REVIEW]Philip Welch - 1990 - Journal of Symbolic Logic 55 (3):1311-1313.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  10.  7
    Review: Sy D. Friedman, Strong Coding; Sy D. Friedman, A Guide to "Strong Coding.". [REVIEW]Philip Welch - 1990 - Journal of Symbolic Logic 55 (3):1311-1313.
  11.  10
    The Reals in Core Models.Philip Welch - 1987 - Journal of Symbolic Logic 52 (1):64-67.
    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.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  12.  12
    Reductionism in Medicine: Some Thoughts on Medical Education From the Clinical Front Line.Philip D. Welsby - 1999 - Journal of Evaluation in Clinical Practice 5 (2):125-131.
  13.  19
    Evidence‐Based Medicine, Guidelines, Personality Types, Relatives and Absolutes.Philip D. Welsby - 2002 - Journal of Evaluation in Clinical Practice 8 (2):163-166.
  14.  29
    Making the Case for Conformal Gravity.Philip D. Mannheim - 2012 - Foundations of Physics 42 (3):388-420.
    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 (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  15. Reflecting on Absolute Infinity.Philip Welch & Leon Horsten - 2016 - Journal of Philosophy 113 (2):89-111.
    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.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  16.  71
    Attractive and Repulsive Gravity.Philip D. Mannheim - 2000 - Foundations of Physics 30 (5):709-746.
    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 (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  17.  60
    Open Questions in Classical Gravity.Philip D. Mannheim - 1994 - Foundations of Physics 24 (4):487-511.
    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 (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  18.  54
    Local and Global Gravity.Philip D. Mannheim - 1996 - Foundations of Physics 26 (12):1683-1709.
    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 (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  19.  12
    Germinal and Zola's Philosophical and Religious Thought.Philip D. Walker - 1984 - John Benjamins.
    The Factualistic, Positivistic Basis . . . this life of suffering, of doubt, which makes you deeply love naked, living reality. Zola "Gustave Doret,"Mex ...
    Direct download  
     
    Export citation  
     
    Bookmark  
  20.  8
    Comparing Inductive and Circular Definitions: Parameters, Complexity and Games.Philip Welch, Kai–Uwe Kühnberger, Benedikt Löwe & Michael Möllerfeld - 2005 - Studia Logica 81 (1):79-98.
    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.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   4 citations  
  21.  21
    The Image of Africa: British Ideas and Action, 1780-1850.L. P. Curtis & Philip D. Curtin - 1965 - History and Theory 4 (3):387.
  22.  58
    Ultimate Truth Vis- À- Vis Stable Truth.P. D. Welch - 2008 - Review of Symbolic Logic 1 (1):126-142.
    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 (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   25 citations  
  23. Pf= NPf Almost Everywhere.J. D. Hamkins & P. D. Welch - 2003 - Mathematical Logic Quarterly 49 (5):536-540.
    No categories
     
    Export citation  
     
    Bookmark  
  24.  52
    Assessing the Nature of Science: What is the Nature of Our Assessments?Norman G. Lederman, Philip D. Wade & Randy L. Bell - 1998 - Science & Education 7 (6):595-615.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  25.  22
    Some Observations on Truth Hierarchies.P. D. Welch - 2014 - Review of Symbolic Logic 7 (1):1-30.
    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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  26.  78
    Games for Truth.P. D. Welch - 2009 - Bulletin of Symbolic Logic 15 (4):410-427.
    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}$.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  27. Godel's Disjunction: The Scope and Limits of Mathematical Knowledge.Leon Horsten & Philip Welch (eds.) - 2016 - Oxford University Press UK.
    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.
     
    Export citation  
     
    Bookmark   6 citations  
  28.  68
    On the Consistency Strength of the Inner Model Hypothesis.Sy-David Friedman, Philip Welch & W. Hugh Woodin - 2008 - Journal of Symbolic Logic 73 (2):391 - 400.
  29.  10
    Weak Systems of Determinacy and Arithmetical Quasi-Inductive Definitions.P. D. Welch - 2011 - Journal of Symbolic Logic 76 (2):418 - 436.
    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 (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  30. Possible-Worlds Semantics for Modal Notions Conceived as Predicates.Volker Halbach, Hannes Leitgeb & Philip Welch - 2003 - Journal of Philosophical Logic 32 (2):179-223.
    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 (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   26 citations  
  31.  43
    On Gupta-Belnap Revision Theories of Truth, Kripkean Fixed Points, and the Next Stable Set.P. D. Welch - 2001 - Bulletin of Symbolic Logic 7 (3):345-360.
    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.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  32.  26
    The Complexity of the Dependence Operator.P. D. Welch - 2015 - Journal of Philosophical Logic 44 (3):337-340.
    We show that Leitgeb’s dependence operator of Leitgeb is a \-operator and that this is best possible.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  33.  73
    The Extent of Computation in Malament–Hogarth Spacetimes.P. D. Welch - 2008 - British Journal for the Philosophy of Science 59 (4):659-674.
    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. (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  34.  59
    Truth, Logical Validity and Determinateness: A Commentary on Field’s Saving Truth From Paradox.P. D. Welch - 2011 - Review of Symbolic Logic 4 (3):348-359.
    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.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  35.  97
    The Undecidability of Propositional Adaptive Logic.Leon Horsten & Philip Welch - 2007 - Synthese 158 (1):41-60.
    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 (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  36.  50
    Global Reflection Principles.P. D. Welch - unknown
    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.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   4 citations  
  37.  41
    On Revision Operators.P. D. Welch - 2003 - Journal of Symbolic Logic 68 (2):689-711.
    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 (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  38. Reasons-Responsiveness and Degrees of Responsibility.D. Justin Coates & Philip Swenson - 2013 - Philosophical Studies 165 (2):629-645.
    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 (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   36 citations  
  39.  16
    Use of Text Stimuli Normalizes Reality Monitoring in Schizophrenics.Robbi R. Tanenbaum & Philip D. Harvey - 1988 - Bulletin of the Psychonomic Society 26 (4):336-338.
  40. Explanation From Physics to the Philosophy of Religion: Continuities and Discontinuities.Philip D. Clayton - 1986 - Dissertation, Yale University
    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 (...)
     
    Export citation  
     
    Bookmark  
  41.  22
    Berman, David. George Berkeley: Idealism and the Man.Philip D. Cummins - 1997 - Review of Metaphysics 50 (3):647-649.
  42.  1
    George Berkeley: Idealism and the Man. [REVIEW]Philip D. Cummins - 1997 - Review of Metaphysics 50 (3):647-648.
    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. (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  43.  11
    Voter Malaise and the Disruption of Truth and Timelessness.Philip D. Dalton - 2002 - American Journal of Semiotics 18 (1/4):221-236.
    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 (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  44. Book Review: Way of Blessing, Way of LifeWay of Blessing, Way of LifebyWilliamsonClark M.Chalice, St. Louis, 1999. 335 Pp. $27.99. ISBN 0-8272-4243-3. [REVIEW]Philip D. Damieson - 2001 - Interpretation: A Journal of Bible and Theology 55 (1):99-99.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  45.  15
    Some Information-Processing Models Suggest Possible Connections Between Hallucinations and Discourse Failures.Philip D. Harvey - 1987 - Behavioral and Brain Sciences 10 (3):532-532.
  46.  37
    The Life That is Light.Philip D. Kiely - 1937 - Thought: Fordham University Quarterly 12 (4):680-681.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  47.  12
    PT Symmetry, Conformal Symmetry, and the Metrication of Electromagnetism.Philip D. Mannheim - 2017 - Foundations of Physics 47 (9):1229-1257.
    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 (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  48. What Kind of Democracy? What Kind of Market?: Latin America in the Age of Neoliberalism.Philip D. Oxhorn & Graciela Ducatenzeiler (eds.) - 1998 - Pennsylvania State University Press.
    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 (...)
     
    Export citation  
     
    Bookmark  
  49.  11
    "Peaks of Yemen I Summon": Poetry as Cultural Practice in a North Yemeni Tribe.Philip D. Schuyler & Stephen C. Caton - 1993 - Journal of the American Oriental Society 113 (3):467.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  50. Understanding Legitimacy: Political Theory and Neo-Calvinist Social Thought.Philip D. Shadd - 2016 - Lexington Books.
    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.
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000