• PhilPapers
  • PhilPeople
  • PhilArchive
  • PhilEvents
  • PhilJobs
  • Sign in
PhilPeople
 
  • Sign in
  • News Feed
  • Find Philosophers
  • Departments
  • Radar
  • Help
 
profile-cover
Drag to reposition
profile picture

B. R. George

University of California, Los Angeles
  •  Home
  •  Publications
    55
    • Most Recent
    • Most Downloaded
    • Topics
  •  Events
    1
  •  News and Updates
    6

 More details
University of California, Los Angeles
Department of Linguistics
PhD, 2011
Email (login required)
0000-0002-8787-9817
Areas of Interest
Formal Semantics
Feminist Philosophy
Philosophy of Language
Transgender Issues
Mathematical Logic
Pragmatics
Feminist Philosophy of Language
Feminist Epistemology
Feminist Bioethics
Social Epistemology
5 more
  • All publications (55)
  •  8
    Compression of enumerations and gain
    with Xiaoyan Zhang and Bohua Zhan
    Annals of Pure and Applied Logic 177 (10): 103792. 2026.
    Logic and Philosophy of Logic
  •  6
    On the Semantics of the Constructible Levels
    Mathematical Logic Quarterly 16 (2): 139-148. 2006.
  •  57
    $1$-consistency and the diamond (review)
    Notre Dame Journal of Formal Logic 26 (4): 341-347. 1985.
    Logic and Philosophy of LogicProof Theory
  •  114
    On systems of modal logic with provability interpretations
    Theoria 46 (1): 7-18. 1980.
    Provability Logic
  •  131
    Provability, truth, and modal logic
    Journal of Philosophical Logic 9 (1): 1-7. 1980.
    Provability Logic
  •  72
    The epidemiology of peripheral vein complications: evaluation of the efficiency of differing methods for the maintenance of catheter patency and thrombophlebitis prevention
    with Pavlos Myrianthefs, Maria Sifaki, and Irini Samara
    Journal of Evaluation in Clinical Practice 11 (1): 85-89. 2005.
  •  56
    Annual meeting of the association for symbolic logic: Boston 1983
    with Sy Friedman
    Journal of Symbolic Logic 49 (4): 1441-1449. 1984.
    Logic and Philosophy of LogicLogic and Philosophy of Logic, Misc
  •  180
    Meeting of the association for symbolic logic: New York 1979
    with Sy Friedman and Harold Hodes
    Journal of Symbolic Logic 46 (2): 427-434. 1981.
    Logic and Philosophy of LogicLogic and Philosophy of Logic, Misc
  •  94
    Trees and finite satisfiability: proof of a conjecture of Burgess
    Notre Dame Journal of Formal Logic 25 (3): 193-197. 1984.
    Logic and Philosophy of LogicProof Theory
  •  135
    Reflection principles and iterated consistency assertions
    Journal of Symbolic Logic 44 (1): 33-35. 1979.
    Logic and Philosophy of LogicLogics
  •  160
    A curious inference
    Journal of Philosophical Logic 16 (1): 1-12. 1987.
    Logic and Philosophy of LogicInformal Logic
  •  129
    On the nonexistence of certain normal forms in the logic of provability
    Journal of Symbolic Logic 47 (3): 638-640. 1982.
    Logic and Philosophy of LogicLogics
  •  344
    Degrees of unsolvability of constructible sets of integers
    with Hilary Putnam
    Journal of Symbolic Logic 33 (4): 497-513. 1968.
    Logic and Philosophy of LogicLogic and Philosophy of Logic, Miscellaneous
  •  581
    Gödel's second incompleteness theorem explained in words of one syllable
    Mind 103 (409): 1-3. 1994.
    Logic and Philosophy of LogicLogic and Philosophy of Logic, Miscellaneous
  •  559
    Don't eliminate cut
    Journal of Philosophical Logic 13 (4): 373-378. 1984.
    Logic and Philosophy of LogicLogics
  •  61
    Annual Meeting of the Association for Symbolic Logic
    with Sy Friedman
    Journal of Symbolic Logic 49 (4): 1441-1449. 1984.
    Logic and Philosophy of LogicLogic and Philosophy of Logic, Misc
  •  72
    The analytical completeness of Dzhaparidze's polymodal logics
    Annals of Pure and Applied Logic 61 (1-2): 95-111. 1993.
    The bimodal provability logics of analysis for ordinary provability and provability by the ω-rule are shown to be fragments of certain ‘polymodal’ logics introduced by G.K. Dzhaparidze. In addition to modal axiom schemes expressing Löb's theorem for the two kinds of provability, the logics treated here contain a scheme expressing that if a statement is consistent, then the statement that it is consistent is provable by the ω-rule.
    Logic and Philosophy of LogicLogics
  • Political Freedom
    Routledge. 2014.
    This book examines the underlying theoretical issues concerning the nature of political freedom. Arguing that most previous discussions of such freedom have been too narrowly focused, it explores both conservativism from Edmund Burke to its present resurgence, the radical tradition of Karl Marx, as well as the orthodox liberal model of freedom of John Locke, John Stuart Mill and Isaiah Berlin. _Political Freedom_ argues that these three accounts of political freedom - conservative, liberal and r…Read more
    This book examines the underlying theoretical issues concerning the nature of political freedom. Arguing that most previous discussions of such freedom have been too narrowly focused, it explores both conservativism from Edmund Burke to its present resurgence, the radical tradition of Karl Marx, as well as the orthodox liberal model of freedom of John Locke, John Stuart Mill and Isaiah Berlin. _Political Freedom_ argues that these three accounts of political freedom - conservative, liberal and radical - all have internal weaknesses which render them unsatisfactory. In the second part of the book George Brenkert develops an alternative theory of political freedom. Using the guiding concept of empowerment, his model explores individual rights, democratic participation in government and workplace, and the need to provide the material and educational resources to allow individuals to effectively exercise their rights to self-determination. It is a clear and bold attack on the view that there is no link between freedom and power.
  •  5
    On the proof of Frege's theorem
    In Adam Morton & Stephen P. Stich (eds.), Benacerraf and His Critics, Blackwell. pp. 143--59. 1996.
    Areas of MathematicsFrege: Philosophy of Mathematics
  •  13
    The Oxford Handbook of Business Ethics
    with Tom L. Beauchamp
    OUP Usa. 2012.
    The Oxford Handbook of Business Ethics is a comprehensive treatment of the field of business ethics as seen from a philosophical approach. The volume consists of 24 essays that survey the field of business ethics in a broad and accessible manner, covering all major topics about the relationship between ethical theory and business ethics.
  • Die Grundlagen der Arithmetik, 82-3
    with Richard G. Heck
    In Matthias Schirn (ed.), The Philosophy of Mathematics Today, Clarendon Press. 2003.
  •  59
    Alphabetical order
    Notre Dame Journal of Formal Logic 29 (2): 214-215. 1988.
    Logic and Philosophy of LogicHigher-Order Logic
  •  274
    IX*—Saving Frege from Contradiction
    Proceedings of the Aristotelian Society 87 (1): 137-152. 1987.
    George Boolos; IX*—Saving Frege from Contradiction, Proceedings of the Aristotelian Society, Volume 87, Issue 1, 1 June 1987, Pages 137–152, https://doi.org/10.
    Frege: GrundlagenFrege: Frege's TheoremFrege: Abstraction PrinciplesFrege: Basic Law V
  •  183
    Basic Law (V)
    with Peter Clark
    Aristotelian Society Supplementary Volume 67 (1): 213-249. 1993.
    Frege: Basic Law V
  •  10
    The consistency of Frege's foundations of arithmetic
    In Judith Jarvis Thomson (ed.), On Being and Saying: Essays for Richard Cartwright, Mit Press. pp. 3--20. 1987.
    Frege: GrundgesetzeFrege: Philosophy of Mathematics
  •  399
    Reading the begriffsschrift
    Mind 94 (375): 331-344. 1985.
    Frege: Begriffsschrift
  •  369
    Frege's theorem and the peano postulates
    Bulletin of Symbolic Logic 1 (3): 317-326. 1995.
    Two thoughts about the concept of number are incompatible: that any zero or more things have a number, and that any zero or more things have a number only if they are the members of some one set. It is Russell's paradox that shows the thoughts incompatible: the sets that are not members of themselves cannot be the members of any one set. The thought that any things have a number is Frege's; the thought that things have a number only if they are the members of a set may be Cantor's and is in any …Read more
    Two thoughts about the concept of number are incompatible: that any zero or more things have a number, and that any zero or more things have a number only if they are the members of some one set. It is Russell's paradox that shows the thoughts incompatible: the sets that are not members of themselves cannot be the members of any one set. The thought that any things have a number is Frege's; the thought that things have a number only if they are the members of a set may be Cantor's and is in any case a commonplace of the usual contemporary presentations of the set theory that originated with Cantor and has become ZFC.In recent years a number of authors have examined Frege's accounts of arithmetic with a view to extracting an interesting subtheory from Frege's formal system, whose inconsistency, as is well known, was demonstrated by Russell. These accounts are contained in Frege's formal treatise Grundgesetze der Arithmetik and his earlier exoteric book Die Grundlagen der Arithmetik. We may describe the two central results of the recent re-evaluation of his work in the following way: Let Frege arithmetic be the result of adjoining to full axiomatic second-order logic a suitable formalization of the statement that the Fs and the Gs have the same number if and only if the F sand the Gs are equinumerous.
    Abstract ObjectsFrege: GrundlagenFrege: GrundgesetzeFrege: Frege's TheoremFrege: Abstract ObjectsMat…Read more
    Abstract ObjectsFrege: GrundlagenFrege: GrundgesetzeFrege: Frege's TheoremFrege: Abstract ObjectsMathematical Neo-Fregeanism
  •  4
    On systems of modal logic with provability interpretations
    Theoria 46 (1): 7-18. 2008.
  •  9
    Whence the Contradiction?
    Aristotelian Society Supplementary Volume 67 211--233. 1993.
    Abstract ObjectsSet Theory
  •  49
    Nominalist platonism
    In Richard Jeffrey (ed.), Logic, Logic, and Logic, Harvard University Press. pp. 73-87. 1998.
    Mathematical NominalismMetaontology
  • Prev.
  • 1
  • 2
  • Next
PhilPeople logo

On this site

  • Find a philosopher
  • Find a department
  • The Radar
  • Index of professional philosophers
  • Index of departments
  • Help
  • Acknowledgments
  • Careers
  • Contact us
  • Terms and conditions

Brought to you by

  • The PhilPapers Foundation
  • The American Philosophical Association
  • Centre for Digital Philosophy, Western University
PhilPeople is currently in Beta Sponsored by the PhilPapers Foundation and the American Philosophical Association
Feedback