111 found
Order:
Disambiguations
Geoffrey Hellman [100]G. Hellman [8]Geoffrey P. Hellman [3]Geoffrey Paul Hellman [1]
See also
Geoffrey Hellman
University of Minnesota
  1.  75
    Mathematics Without Numbers: Towards a Modal-Structural Interpretation.Geoffrey Hellman - 1989 - Oxford University Press.
    Develops a structuralist understanding of mathematics, as an alternative to set- or type-theoretic foundations, that respects classical mathematical truth while ...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   69 citations  
  2.  19
    Hartry Field. Science Without Numbers: A Defense of Nominalism 2nd Ed.Geoffrey Hellman & Mary Leng - forthcoming - Philosophia Mathematica:nky022.
    FieldHartry. Science Without Numbers: A Defense of Nominalism 2nd ed.Oxford University Press, 2016. ISBN 978-0-19-877792-2. Pp. vi + 56 + vi + 111.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3. Does Category Theory Provide a Framework for Mathematical Structuralism?Geoffrey Hellman - 2003 - Philosophia Mathematica 11 (2):129-157.
    Category theory and topos theory have been seen as providing a structuralist framework for mathematics autonomous vis-a-vis set theory. It is argued here that these theories require a background logic of relations and substantive assumptions addressing mathematical existence of categories themselves. We propose a synthesis of Bell's many-topoi view and modal-structuralism. Surprisingly, a combination of mereology and plural quantification suffices to describe hypothetical large domains, recovering the Grothendieck method of universes. Both topos theory and set theory can be carried out (...)
    Direct download (11 more)  
     
    Export citation  
     
    Bookmark   22 citations  
  4. Three Varieties of Mathematical Structuralism.Geoffrey Hellman - 2001 - Philosophia Mathematica 9 (2):184-211.
    Three principal varieties of mathematical structuralism are compared: set-theoretic structuralism (‘STS’) using model theory, Shapiro's ante rem structuralism invoking sui generis universals (‘SGS’), and the author's modal-structuralism (‘MS’) invoking logical possibility. Several problems affecting STS are discussed concerning, e.g., multiplicity of universes. SGS overcomes these; but it faces further problems of its own, concerning, e.g., the very intelligibility of purely structural objects and relations. MS, in contrast, overcomes or avoids both sets of problems. Finally, it is argued that the modality (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   23 citations  
  5. The Classical Continuum Without Points.Geoffrey Hellman & Stewart Shapiro - unknown
    We develop a point-free construction of the classical one- dimensional continuum, with an interval structure based on mereology and either a weak set theory or logic of plural quantification. In some respects this realizes ideas going back to Aristotle,although, unlike Aristotle, we make free use of classical "actual infinity". Also, in contrast to intuitionistic, Bishop, and smooth infinitesimal analysis, we follow classical analysis in allowing partitioning of our "gunky line" into mutually exclusive and exhaustive disjoint parts, thereby demonstrating the independence (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  6.  92
    Physicalism: Ontology, Determination and Reduction.G. Hellman & F. Thomson - 1975 - Journal of Philosophy 72 (October):551-64.
  7. Aristotelian Continua.Øystein Linnebo, Stewart Shapiro & Geoffrey Hellman - 2016 - Philosophia Mathematica 24 (2):214-246.
    In previous work, Hellman and Shapiro present a regions-based account of a one-dimensional continuum. This paper produces a more Aristotelian theory, eschewing the existence of points and the use of infinite sets or pluralities. We first show how to modify the original theory. There are a number of theorems that have to be added as axioms. Building on some work by Linnebo, we then show how to take the ‘potential’ nature of the usual operations seriously, by using a modal language, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  8.  92
    Frege Meets Aristotle: Points as Abstracts.Stewart Shapiro & Geoffrey Hellman - 2015 - Philosophia Mathematica:nkv021.
    There are a number of regions-based accounts of space/time, due to Whitehead, Roeper, Menger, Tarski, the present authors, and others. They all follow the Aristotelian theme that continua are not composed of points: each region has a proper part. The purpose of this note is to show how to recapture ‘points’ in such frameworks via Scottish neo-logicist abstraction principles. The results recapitulate some Aristotelian themes. A second agenda is to provide a new arena to help decide what is at stake (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  9. Towards a Point-Free Account of the Continuous.Geoffrey Hellman & Stewart Shapiro - 2012 - Iyyun 61:263.
  10.  5
    Carnap* Replies.Geoffrey Hellman - 2018 - The Monist 101 (4):388-393.
    In an imagined dialogue between two figures called “Carnap*” and “Quine*” that appeared in the Library of Living Philosophers volume in 1986, certain proposals and clarifications of the linguistic doctrine were offered by Carnap* answering Quinean objections, but these were brushed aside rather breezily in a reply to this dialogue in the same volume by Quine himself. After a brief summary of the questions at issue in that earlier dialogue, Carnap* is here allowed a final reply, introducing yet another variant (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11.  71
    Mathematical Pluralism: The Case of Smooth Infinitesimal Analysis.Geoffrey Hellman - 2006 - Journal of Philosophical Logic 35 (6):621-651.
    A remarkable development in twentieth-century mathematics is smooth infinitesimal analysis ('SIA'), introducing nilsquare and nilpotent infinitesimals, recovering the bulk of scientifically applicable classical analysis ('CA') without resort to the method of limits. Formally, however, unlike Robinsonian 'nonstandard analysis', SIA conflicts with CA, deriving, e.g., 'not every quantity is either = 0 or not = 0.' Internally, consistency is maintained by using intuitionistic logic (without the law of excluded middle). This paper examines problems of interpretation resulting from this 'change of logic', (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  12.  9
    Mathematics Without Numbers: Towards a Modal-Structural Interpretation.Bob Hale & Geoffrey Hellman - 1992 - Philosophical Review 101 (4):919.
  13. Against 'Absolutely Everything'!Geoffrey Hellman - 2006 - In Agustín Rayo & Gabriel Uzquiano (eds.), Absolute Generality. Clarendon Press.
     
    Export citation  
     
    Bookmark   6 citations  
  14.  23
    Gleason's Theorem is Not Constructively Provable.Geoffrey Hellman - 1993 - Journal of Philosophical Logic 22 (2):193 - 203.
  15.  39
    Physicalist Materialism.Geoffrey Hellman & Frank Wilson Thompson - 1977 - Noûs 11 (4):309-45.
  16.  51
    Stochastic Einstein-Locality and the Bell Theorems.Geoffrey Hellman - 1982 - Synthese 53 (3):461 - 504.
    Standard proofs of generalized Bell theorems, aiming to restrict stochastic, local hidden-variable theories for quantum correlation phenomena, employ as a locality condition the requirement of conditional stochastic independence. The connection between this and the no-superluminary-action requirement of the special theory of relativity has been a topic of controversy. In this paper, we introduce an alternative locality condition for stochastic theories, framed in terms of the models of such a theory (§2). It is a natural generalization of a light-cone determination condition (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  17. Structuralism.Geoffrey Hellman - manuscript
    With the rise of multiple geometries in the nineteenth century, and in the last century the rise of abstract algebra, of the axiomatic method, the set-theoretic foundations of mathematics, and the influential work of the Bourbaki, certain views called “structuralist” have become commonplace. Mathematics is seen as the investigation, by more or less rigorous deductive means, of “abstract structures”, systems of objects fulfilling certain structural relations among themselves and in relation to other systems, without regard to the particular nature of (...)
     
    Export citation  
     
    Bookmark   3 citations  
  18.  63
    On the Significance of the Burali-Forti Paradox.G. Hellman - 2011 - Analysis 71 (4):631-637.
    After briefly reviewing the standard set-theoretic resolutions of the Burali-Forti paradox, we examine how the paradox arises in set theory formalized with plural quantifiers. A significant choice emerges between the desirable unrestricted availability of ordinals to represent well-orderings and the sensibility of attempting to refer to ‘absolutely all ordinals’ or ‘absolutely all well-orderings’. This choice is obscured by standard set theories, which rely on type distinctions which are obliterated in the setting with plurals. Zermelo's attempt ( 1930 ) to secure (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  19.  81
    Determination and Logical Truth.G. Hellman - 1985 - Journal of Philosophy 82 (November):607-16.
    Some remarks on determination, physicalism, model theory, and logical truth.//An attempt to defend physicalism against objections that its bases are indeterminate.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  20.  33
    Constructive Mathematics and Quantum Mechanics: Unbounded Operators and the Spectral Theorem. [REVIEW]Geoffrey Hellman - 1993 - Journal of Philosophical Logic 22 (3):221 - 248.
  21. Supervenience/Determination a Two-Way Street? Yes, but One of the Ways is the Wrong Way!G. Hellman - 1992 - Journal of Philosophy 89 (1):42-47.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  22.  91
    Predicative Foundations of Arithmetic.Solomon Feferman & Geoffrey Hellman - 1995 - Journal of Philosophical Logic 24 (1):1 - 17.
  23. Predicativism as a Philosophical Position.Geoffrey Hellman - 2004 - Revue Internationale de Philosophie 3:295-312.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  24. The New Riddle of Radical Translation.Geoffrey Hellman - 1974 - Philosophy of Science 41 (3):227-246.
    This paper presents parts of a theory of radical translation with applications to the problem of construing reference. First, in sections 1 to 4 the general standpoint, inspired by Goodman's approach to induction, is set forth. Codification of sound translational practice replaces the aim of behavioral reduction of semantic notions. The need for a theory of translational projection (manual construction on the basis of a finite empirical correlation of sentences) is established by showing the anomalies otherwise resulting (e.g. from Quine's (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  25.  39
    Bayes and Beyond.Geoffrey Hellman - 1997 - Philosophy of Science 64 (2):191-221.
    Several leading topics outstanding after John Earman's Bayes or Bust? are investigated further, with emphasis on the relevance of Bayesian explication in epistemology of science, despite certain limitations. (1) Dutch Book arguments are reformulated so that their independence from utility and preference in epistemic contexts is evident. (2) The Bayesian analysis of the Quine-Duhem problem is pursued; the phenomenon of a "protective belt" of auxiliary statements around reasonably successful theories is explicated. (3) The Bayesian approach to understanding the superiority of (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  26.  48
    Quantum Mechanical Unbounded Operators and Constructive Mathematics – a Rejoinder to Bridges.Geoffrey Hellman - 1997 - Journal of Philosophical Logic 26 (2):121-127.
    As argued in Hellman (1993), the theorem of Pour-El and Richards (1983) can be seen by the classicist as limiting constructivist efforts to recover the mathematics for quantum mechanics. Although Bridges (1995) may be right that the constructivist would work with a different definition of 'closed operator', this does not affect my point that neither the classical unbounded operators standardly recognized in quantum mechanics nor their restrictions to constructive arguments are recognizable as objects by the constructivist. Constructive substitutes that may (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  27.  17
    Hilary Putnam’s Contributions to Mathematics, Logic, and the Philosophy Thereof.Geoffrey Hellman - 2017 - The Harvard Review of Philosophy 24:117-119.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  28.  88
    Dualling: A Critique of an Argument of Popper and Miller.J. Michael Dunn & Geoffrey Hellman - 1986 - British Journal for the Philosophy of Science 37 (2):220-223.
  29.  57
    Regions-Based Two Dimensional Continua: The Euclidean Case.Geoffrey Hellman & Stewart Shapiro - 2015 - Logic and Logical Philosophy 24 (4).
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  30.  92
    What is Categorical Structuralism?Geoffrey Hellman - 2006 - In Johan van Benthem, Gerhard Heinzman, M. Rebushi & H. Visser (eds.), The Age of Alternative Logics. Springer. pp. 151--161.
  31.  29
    Never Say “Never”!: On the Communication Problem Between Intuitionism and Classicism.Geoffrey Hellman - 1989 - Philosophical Topics 17 (2):47-67.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  32.  36
    Realist Principles.Geoffrey Hellman - 1983 - Philosophy of Science 50 (2):227-249.
    We list, with discussions, various principles of scientific realism, in order to exhibit their diversity and to emphasize certain serious problems of formulation. Ontological and epistemological principles are distinguished. Within the former category, some framed in semantic terms (truth, reference) serve their purpose vis-a-vis instrumentalism (Part 1). They fail, however, to distinguish the realist from a wide variety of (constructional) empiricists. Part 2 seeks purely ontological formulations, so devised that the empiricist cannot reconstruct them from within. The main task here (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  33.  47
    Mathematical Constructivism in Spacetime.Geoffrey Hellman - 1998 - British Journal for the Philosophy of Science 49 (3):425-450.
    To what extent can constructive mathematics based on intuitionistc logic recover the mathematics needed for spacetime physics? Certain aspects of this important question are examined, both technical and philosophical. On the technical side, order, connectivity, and extremization properties of the continuum are reviewed, and attention is called to certain striking results concerning causal structure in General Relativity Theory, in particular the singularity theorems of Hawking and Penrose. As they stand, these results appear to elude constructivization. On the philosophical side, it (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  34.  17
    Martin Robert L. And Woodruff Peter W.. On Representing ‘True-in-L' in L. Philosophia , Vol. 5 No. 3 , Pp. 213–217. Kripke Saul. Outline of a Theory of Truth. The Journal of Philosophy, Vol. 72 , Pp. 690–716.Gupta Anil. Truth and Paradox. Journal of Philosophical Logic, Vol. 11 , Pp. 1–60.Herzberger Hans G.. Notes on Naive Semantics. Journal of Philosophical Logic, Vol. 11 , Pp. 61–102. [REVIEW]Geoffrey Hellman - 1985 - Journal of Symbolic Logic 50 (4):1068-1071.
  35.  40
    EPR, Bell, and Collapse: A Route Around "Stochastic" Hidden Variables.Geoffrey Hellman - 1987 - Philosophy of Science 54 (4):558-576.
    Two EPR arguments are reviewed, for their own sake, and for the purpose of clarifying the status of "stochastic" hidden variables. The first is a streamlined version of the EPR argument for the incompleteness of quantum mechanics. The role of an anti-instrumentalist ("realist") interpretation of certain probability statements is emphasized. The second traces out one horn of a central foundational dilemma, the collapse dilemma; complex modal reasoning, similar to the original EPR, is used to derive determinateness (of all spin components (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  36.  60
    Einstein and Bell: Strengthening the Case for Microphysical Randomness.Geoffrey Hellman - 1982 - Synthese 53 (3):445 - 460.
  37.  36
    Real Analysis Without Classes.Geoffrey Hellman - 1994 - Philosophia Mathematica 2 (3):228-250.
    This paper explores strengths and limitations of both predicativism and nominalism, especially in connection with the problem of characterizing the continuum. Although the natural number structure can be recovered predicatively (despite appearances), no predicative system can characterize even the full predicative continuum which the classicist can recognize. It is shown, however, that the classical second-order theory of continua (third-order number theory) can be recovered nominalistically, by synthesizing mereology, plural quantification, and a modal-structured approach with essentially just the assumption that an (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  38.  57
    Bell-Type Inequalities in the Nonideal Case: Proof of a Conjecture of Bell. [REVIEW]Geoffrey Hellman - 1992 - Foundations of Physics 22 (6):807-817.
    Recently Bell has conjectured that, with “epsilonics,” one should be able to argue, à la EPR, from “almost ideal correlations” (in parallel Bohm-Bell pair experiments) to “almost determinism,” and that this should suffice to derive an approximate Bell-type inequality. Here we prove that this is indeed the case. Such an inequality—in principle testable—is derived employing only weak locality conditions, imperfect correlation, and a propensity interpretation of certain conditional probabilities. Outcome-independence (Jarrett's “completeness” condition), hence “factorability” of joint probabilities, is not assumed, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  39.  41
    Reduction(?) To What?Geoffrey Hellman - 1999 - Philosophical Studies 95 (1-2):203-214.
  40.  83
    On Nominalism.Geoffrey Hellman - 2001 - Philosophy and Phenomenological Research 62 (3):691-705.
  41.  65
    Critical Studies/Book Review.Geoffrey Hellman - 2001 - Philosophia Mathematica 9 (2):231-237.
  42.  77
    How to Godel a Frege-Russell: Godel's Incompleteness Theorems and Logicism.Geoffrey Hellman - 1981 - Noûs 15 (4):451-468.
  43. Russell's Absolutism Vs.(?) Structuralism.Geoffrey Hellman - manuscript
    Along with Frege, Russell maintained an absolutist stance regarding the subject matter of mathematics, revealed rather than imposed, or proposed, by logical analysis. The Fregean definition of cardinal number, for example, is viewed as (essentially) correct, not merely adequate for mathematics. And Dedekind’s “structuralist” views come in for criticism in the Principles. But, on reflection, Russell also flirted with views very close to a (different) version of structuralism. Main varieties of modern structuralism and their challenges are reviewed, taking account of (...)
     
    Export citation  
     
    Bookmark  
  44.  55
    Quantum Logic and Meaning.Geoffrey Hellman - 1980 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1980:493 - 511.
    Quantum logic as genuine non-classical logic provides no solution to the "paradoxes" of quantum mechanics. From the minimal condition that synonyms be substitutable salva veritate, it follows that synonymous sentential connectives be alike in point of truth-functionality. It is a fact of pure mathematics that any assignment Φ of (0, 1) to the subspaces of Hilbert space (dim. ≥ 3) which guarantees truth-preservation of the ordering and truth-functionality of QL negation, violates truth-functionality of QL ∨ and $\wedge $ . Thus, (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  45. In…Nite Possibilities and Possibilities of In…Nity.Geoffrey Hellman - unknown
    In the …rst part of this paper, the origins of modal-structuralism are traced from Hilary Putnam’s seminal article, "Mathematics without Foundations" (1967) to its transformation and development into the author’s modal-structural approach. The addition of a logic of plurals is highlighted for its recovery (in combination with the resources of mereology) of full, second-order logic, essential for articulating a good theory of mathematical structures. The second part concentrates on the motivation of large trans…nite cardinal numbers, arising naturally from the second-order (...)
    Translate
     
     
    Export citation  
     
    Bookmark  
  46.  30
    Interpretations of Probability in Quantum Mechanics: A Case of “Experimental Metaphysics”.Geoffrey Hellman - 2009 - In Wayne C. Myrvold & Joy Christian (eds.), Quantum Reality, Relativistic Causality, and Closing the Epistemic Circle. Springer. pp. 211--227.
  47.  63
    Maoist Mathematics?Geoffrey Hellman - 1998 - Philosophia Mathematica 6 (3):334-345.
  48.  60
    A Probabilistic Version of the Kochen-Specker No-Hidden-Variable Proof.Geoffrey Hellman - 1980 - Synthese 44 (3):495 - 500.
  49.  3
    Physicalism.Geoffrey Hellman & K. V. Wilkes - 1980 - Philosophical Review 89 (4):625.
  50. Possibility and Reality in Mathematics: A Review of Realism, Mathematics, and Modality. [REVIEW]H. Field & G. Hellman - 1992 - British Journal for the Philosophy of Science 43 (2):245-262.
1 — 50 / 111