103 found
Order:
Disambiguations
John Bell [52]John L. Bell [51]John S. Bell [3]John F. Bell [3]
John Lane Bell [2]John Henry Bell [1]John Stewart Bell [1]John Fred Bell [1]

Not all matches are shown. Search with initial or firstname to single out others.

  1. How to teach special relativity.John S. Bell - 1976 - Progress in Scientific Culture 1.
     
    Export citation  
     
    Bookmark   51 citations  
  2.  25
    Set Theory: Boolean-Valued Models and Independence Proofs.John L. Bell - 2011 - Oxford University Press.
    This third edition, now available in paperback, is a follow up to the author's classic Boolean-Valued Models and Independence Proofs in Set Theory. It provides an exposition of some of the most important results in set theory obtained in the 20th century: the independence of the continuum hypothesis and the axiom of choice.
    Direct download  
     
    Export citation  
     
    Bookmark   15 citations  
  3.  47
    The Continuous, the Discrete and the Infinitesimal in Philosophy and Mathematics.John L. Bell - 2019 - Springer Verlag.
    This book explores and articulates the concepts of the continuous and the infinitesimal from two points of view: the philosophical and the mathematical. The first section covers the history of these ideas in philosophy. Chapter one, entitled ‘The continuous and the discrete in Ancient Greece, the Orient and the European Middle Ages,’ reviews the work of Plato, Aristotle, Epicurus, and other Ancient Greeks; the elements of early Chinese, Indian and Islamic thought; and early Europeans including Henry of Harclay, Nicholas of (...)
    No categories
  4. The Continuous and the Infinitesimal in Mathematics and Philosophy.John L. Bell - 2007 - Bulletin of Symbolic Logic 13 (3):361-363.
     
    Export citation  
     
    Bookmark   19 citations  
  5.  94
    Continuity and Infinitesimals.John L. Bell - unknown
    The usual meaning of the word continuous is “unbroken” or “uninterrupted”: thus a continuous entity —a continuum—has no “gaps.” We commonly suppose that space and time are continuous, and certain philosophers have maintained that all natural processes occur continuously: witness, for example, Leibniz's famous apothegm natura non facit saltus—“nature makes no jump.” In mathematics the word is used in the same general sense, but has had to be furnished with increasingly precise definitions. So, for instance, in the later 18th century (...)
    Direct download  
     
    Export citation  
     
    Bookmark   24 citations  
  6.  85
    An exchange on local beables.John S. Bell, J. Clauser, M. Horne & A. Shimony - 1985 - Dialectica 39 (2):85-96.
    Summarya) Bell tries to formulate more explicitly a notion of “local causality”: correlations between physical events in different space‐time regions should be explicable in terms of physical events in the overlap of the backward light cones. It is shown that ordinary relativistic quantum field theory is not locally causal in this sense, and cannot be embedded in a locally causal theory.b) Clauser, Home and Shimony criticize several steps in Bell's argument that any theory of local “beables” is incompatible with quantum (...)
    Direct download  
     
    Export citation  
     
    Bookmark   21 citations  
  7. Higher-Order Logic and Type Theory.John L. Bell - 2022 - Cambridge University Press.
    This Element is an exposition of second- and higher-order logic and type theory. It begins with a presentation of the syntax and semantics of classical second-order logic, pointing up the contrasts with first-order logic. This leads to a discussion of higher-order logic based on the concept of a type. The second Section contains an account of the origins and nature of type theory, and its relationship to set theory. Section 3 introduces Local Set Theory, an important form of type theory (...)
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  8.  42
    Hermann Weyl.John L. Bell - 2010 - Revue Philosophique de la France Et de l'Etranger.
  9. (1 other version)Hermann Weyl on intuition and the continuum.John L. Bell - 2000 - Philosophia Mathematica 8 (3):259-273.
    Hermann Weyl, one of the twentieth century's greatest mathematicians, was unusual in possessing acute literary and philosophical sensibilities—sensibilities to which he gave full expression in his writings. In this paper I use quotations from these writings to provide a sketch of Weyl's philosophical orientation, following which I attempt to elucidate his views on the mathematical continuum, bringing out the central role he assigned to intuition.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  10. The axiom of choice.John L. Bell - 2008 - Stanford Encyclopedia of Philosophy.
    The principle of set theory known as the Axiom of Choice has been hailed as “probably the most interesting and, in spite of its late appearance, the most discussed axiom of mathematics, second only to Euclid's axiom of parallels which was introduced more than two thousand years ago” (Fraenkel, Bar-Hillel & Levy 1973, §II.4). The fulsomeness of this description might lead those unfamiliar with the axiom to expect it to be as startling as, say, the Principle of the Constancy of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  11.  54
    Subject and object.John S. Bell - 1973 - In Jagdish Mehra (ed.), The physicist's conception of nature. Boston,: Reidel. pp. 687--690.
  12.  64
    Logical Options: An Introduction to Classical and Alternative Logics.John L. Bell, David DeVidi & Graham Solomon - 2001 - Peterborough, CA: Broadview Press.
    Logical Options introduces the extensions and alternatives to classical logic which are most discussed in the philosophical literature: many-sorted logic, second-order logic, modal logics, intuitionistic logic, three-valued logic, fuzzy logic, and free logic. Each logic is introduced with a brief description of some aspect of its philosophical significance, and wherever possible semantic and proof methods are employed to facilitate comparison of the various systems. The book is designed to be useful for philosophy students and professional philosophers who have learned some (...)
    Direct download  
     
    Export citation  
     
    Bookmark   8 citations  
  13. The Development of Categorical Logic.John L. Bell - unknown
    5.5. Every topos is linguistic: the equivalence theorem.
     
    Export citation  
     
    Bookmark   8 citations  
  14. Logic, quantum logic and empiricism.John Bell & Michael Hallett - 1982 - Philosophy of Science 49 (3):355-379.
    This paper treats some of the issues raised by Putnam's discussion of, and claims for, quantum logic, specifically: that its proposal is a response to experimental difficulties; that it is a reasonable replacement for classical logic because its connectives retain their classical meanings, and because it can be derived as a logic of tests. We argue that the first claim is wrong (1), and that while conjunction and disjunction can be considered to retain their classical meanings, negation crucially does not. (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  15. Whole and part in mathematics.John L. Bell - 2004 - Axiomathes 14 (4):285-294.
    The centrality of the whole/part relation in mathematics is demonstrated through the presentation and analysis of examples from algebra, geometry, functional analysis,logic, topology and category theory.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  16. Infinitary logic.John L. Bell - 2008 - Stanford Encyclopedia of Philosophy.
    Traditionally, expressions in formal systems have been regarded as signifying finite inscriptions which are—at least in principle—capable of actually being written out in primitive notation. However, the fact that (first-order) formulas may be identified with natural numbers (via "Gödel numbering") and hence with finite sets makes it no longer necessary to regard formulas as inscriptions, and suggests the possibility of fashioning "languages" some of whose formulas would be naturally identified as infinite sets . A "language" of this kind is called (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  17. Logical Reflections On the Kochen-Specker Theorem.John L. Bell - unknown
    IN THEIR WELL-KNOWN PAPER, Kochen and Specker (1967) introduce the concept of partial Boolean algebra (pBa) and show that certain (finitely generated) partial Boolean algebras arising in quantum theory fail to possess morphisms to any Boolean algebra (we call such pBa's intractable in the sequel). In this note we begin by discussing partial..
     
    Export citation  
     
    Bookmark   6 citations  
  18. Types, Sets and Categories.John L. Bell - unknown
    This essay is an attempt to sketch the evolution of type theory from its beginnings early in the last century to the present day. Central to the development of the type concept has been its close relationship with set theory to begin with and later its even more intimate relationship with category theory. Since it is effectively impossible to describe these relationships (especially in regard to the latter) with any pretensions to completeness within the space of a comparatively short article, (...)
     
    Export citation  
     
    Bookmark   5 citations  
  19.  8
    The logic of nonmonotonicity.John Bell - 1990 - Artificial Intelligence 41 (3):365-374.
  20. Elementary Propositions and Independence.John L. Bell & William Demopoulos - 1996 - Notre Dame Journal of Formal Logic 37 (1):112-124.
    This paper is concerned with Wittgenstein's early doctrine of the independence of elementary propositions. Using the notion of a free generator for a logical calculus–a concept we claim was anticipated by Wittgenstein–we show precisely why certain difficulties associated with his doctrine cannot be overcome. We then show that Russell's version of logical atomism–with independent particulars instead of elementary propositions–avoids the same difficulties.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  21.  39
    Hilbert’s varepsilon -operator in intuitionistic type theories.John L. Bell - 1993 - Mathematical Logic Quarterly 39 (1):323--337.
    We investigate Hilbert’s varepsilon -calculus in the context of intuitionistic type theories, that is, within certain systems of intuitionistic higher-order logic. We determine the additional deductive strength conferred on an intuitionistic type theory by the adjunction of closed varepsilon -terms. We extend the usual topos semantics for type theories to the varepsilon -operator and prove a completeness theorem. The paper also contains a discussion of the concept of “partially defined‘ varepsilon -term. MSC: 03B15, 03B20, 03G30.
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  22. Frege's theorem in a constructive setting.John Bell - 1999 - Journal of Symbolic Logic 64 (2):486-488.
    then E has a subset which is the domain of a model of Peano's axioms for the natural numbers. (This result is proved explicitly, using classical reasoning, in section 3 of [1].) My purpose in this note is to strengthen this result in two directions: first, the premise will be weakened so as to require only that the map ν be defined on the family of (Kuratowski) finite subsets of the set E, and secondly, the argument will be constructive, i.e., (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  23. Hermann Weyl's later philosophical views: His divergence from Husserl.John Bell - manuscript
    In what seems to have been his last paper, Insight and Reflection (1954), Hermann Weyl provides an illuminating sketch of his intellectual development, and describes the principal influences—scientific and philosophical—exerted on him in the course of his career as a mathematician. Of the latter the most important in the earlier stages was Husserl’s phenomenology. In Weyl’s work of 1918-22 we find much evidence of the great influence Husserl’s ideas had on Weyl’s philosophical outlook—one need merely glance through the pages of (...)
     
    Export citation  
     
    Bookmark   4 citations  
  24. Observations on category theory.John L. Bell - 2001 - Axiomathes 12 (1-2):151-155.
    is a presentation of mathematics in terms of the fundamental concepts of transformation, and composition of transformations. While the importance of these concepts had long been recognized in algebra (for example, by Galois through the idea of a group of permutations) and in geometry (for example, by Klein in his Erlanger Programm), the truly universal role they play in mathematics did not really begin to be appreciated until the rise of abstract algebra in the 1930s. In abstract algebra the idea (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  25.  26
    Fregean Extensions of First‐Order Theories.John L. Bell - 1994 - Mathematical Logic Quarterly 40 (1):27-30.
    It is shown by Parsons [2] that the first-order fragment of Frege's logical system in the Grundgesetze der Arithmetic is consistent. In this note we formulate and prove a stronger version of this result for arbitrary first-order theories. We also show that a natural attempt to further strengthen our result runs afoul of Tarski's theorem on the undefinability of truth.
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  26.  16
    The Continuum and the Evolution of the Concept of Real Number.John L. Bell - 2024 - In Bharath Sriraman (ed.), Handbook of the History and Philosophy of Mathematical Practice. Cham: Springer. pp. 1473-1562.
    This chapter traces the historical and conceptual development of the idea of the continuum and the allied concept of real number. Particular attention is paid to the idea of infinitesimal, which played a key role in the development of the calculus during the seventeenth and eighteenth centuries, and which has undergone a revival in the later twentieth century.
    Direct download  
     
    Export citation  
     
    Bookmark  
  27. Continuity and the logic of perception.John L. Bell - 2000 - Transcendent Philosophy 1 (2):1-7.
    If we imagine a chess-board with alternate blue and red squares, then this is something in which the individual red and blue areas allow themselves to be distinguished from each other in juxtaposition, and something similar holds also if we imagine each of the squares divided into four smaller squares also alternating between these two colours. If, however, we were to continue with such divisions until we had exceeded the boundary of noticeability for the individual small squares which result, then (...)
     
    Export citation  
     
    Bookmark   4 citations  
  28.  78
    The infinite past regained: A reply to Whitrow.John Bell - 1979 - British Journal for the Philosophy of Science 30 (2):161-165.
    I show the inadequacy of whitrow's recent argument ("british journal for the philosophy of science", Volume 29, Pages 39-45) against the possibility of an infinite past. I argue that it is impossible to prove "a priori" the non-Existence of an infinite past or future.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  29. The continuum in smooth infinitesimal analysis.John Bell - manuscript
    The relation ≤ on R is defined by a ≤ b ⇔ ¬b < a. The open interval (a, b) and closed interval [a, b] are defined as usual, viz. (a, b) = {x: a < x < b} and [a, b] = {x: a ≤ x ≤ b}; similarly for half-open, half-closed, and unbounded intervals.
    No categories
     
    Export citation  
     
    Bookmark   3 citations  
  30. The axiom of choice and the law of excluded middle in weak set theories.John L. Bell - 2008 - Mathematical Logic Quarterly 54 (2):194-201.
    A weak form of intuitionistic set theory WST lacking the axiom of extensionality is introduced. While WST is too weak to support the derivation of the law of excluded middle from the axiom of choice, we show that bee.ng up WST with moderate extensionality principles or quotient sets enables the derivation to go through.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  31. Cohesiveness.John L. Bell - unknown
    ABSTRACT: It is characteristic of a continuum that it be “all of one piece”, in the sense of being inseparable into two (or more) disjoint nonempty parts. By taking “part” to mean open (or closed) subset of the space, one obtains the usual topological concept of connectedness . Thus a space S is defined to be connected if it cannot be partitioned into two disjoint nonempty open (or closed) subsets – or equivalently, given any partition of S into two open (...)
     
    Export citation  
     
    Bookmark   2 citations  
  32. Sets and classes as many.John L. Bell - 2000 - Journal of Philosophical Logic 29 (6):585-601.
    In this paper the view is developed that classes should not be understood as individuals, but, rather, as "classes as many" of individuals. To correlate classes with individuals "labelling" and "colabelling" functions are introduced and sets identified with a certain subdomain of the classes on which the labelling and colabelling functions are mutually inverse. A minimal axiomatization of the resulting system is formulated and some of its extensions are related to various systems of set theory, including nonwellfounded set theories.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  33. Cover schemes, frame-valued sets and their potential uses in spacetime physics.John Bell - manuscript
    In the present paper the concept of a covering is presented and developed. The relationship between cover schemes, frames (complete Heyting algebras), Kripke models, and frame-valued set theory is discussed. Finally cover schemes and framevalued set theory are applied in the context of Markopoulou’s account of discrete spacetime as sets “evolving” over a causal set. We observe that Markopoulou’s proposal may be effectively realized by working within an appropriate frame-valued model of set theory. We go on to show that, within (...)
     
    Export citation  
     
    Bookmark   2 citations  
  34. Infinitesimals and the continuum.John Bell - manuscript
    The opposed concepts of continuity and discreteness have figured prominently in the development of mathematics, and have also commanded the attention of philosophers. Continuous entities may be characterized by the fact that they can be divided indefinitely without altering their essential nature. So, for instance, the water in a bucket may be indefinitely halved and yet remain water. (For the purposes of illustration I ignore the atomic nature of matter which has been established by modern physics.) Discrete entities, on the (...)
     
    Export citation  
     
    Bookmark   2 citations  
  35.  16
    Incompleteness in a general setting.John L. Bell - 2007 - Bulletin of Symbolic Logic 13 (1):21-30.
    Full proofs of the Gödel incompleteness theorems are highly intricate affairs. Much of the intricacy lies in the details of setting up and checking the properties of a coding system representing the syntax of an object language within that same language. These details are seldom illuminating and tend to obscure the core of the argument. For this reason a number of efforts have been made to present the essentials of the proofs of Gödel's theorems without getting mired in syntactic or (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  36. Choice Principles in Intuitionistic Set Theory.John L. Bell - 2006 - In David DeVidi (ed.), ¸ Itedevidikenyon2006. Springer Verlag.
    subsets X of A for which ∃x (x ∈ A). The set of functions from A to B is denoted by BA.
     
    Export citation  
     
    Bookmark   2 citations  
  37.  44
    Boolean Algebras and Distributive Lattices Treated Constructively.John L. Bell - 1999 - Mathematical Logic Quarterly 45 (1):135-143.
    Some aspects of the theory of Boolean algebras and distributive lattices–in particular, the Stone Representation Theorems and the properties of filters and ideals–are analyzed in a constructive setting.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  38.  76
    Finite sets and Frege structures.John Bell - 1999 - Journal of Symbolic Logic 64 (4):1552-1556.
    Call a family F of subsets of a set E inductive if ∅ ∈ F and F is closed under unions with disjoint singletons, that is, if ∀X∈F ∀x∈E–X(X ∪ {x} ∈ F]. A Frege structure is a pair (E.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  39.  30
    Recollections of logicians, mathematicians and philosophers.John L. Bell - 2023 - Logic Journal of the IGPL 31 (6):1232-1250.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  40. Time and causation in gödel's universe.John Bell - manuscript
    In 1949 the great logician Kurt Gödel constructed the first mathematical models of the universe in which travel into the past is, in theory at least, possible. Within the framework of Einstein’s general theory of relativity Gödel produced cosmological solutions to Einstein’s field equations which contain closed time-like curves, that is, curves in spacetime which, despite being closed, still represent possible paths of bodies. An object moving along such a path would travel back into its own past, to the very (...)
     
    Export citation  
     
    Bookmark   1 citation  
  41. The axiom of choice in the foundations of mathematics.John Bell - manuscript
    The principle of set theory known as the Axiom of Choice (AC) has been hailed as “probably the most interesting and, in spite of its late appearance, the most discussed axiom of mathematics, second only to Euclid’s axiom of parallels which was introduced more than two thousand years ago”1 It has been employed in countless mathematical papers, a number of monographs have been exclusively devoted to it, and it has long played a prominently role in discussions on the foundations of (...)
     
    Export citation  
     
    Bookmark   1 citation  
  42. Divergent conceptions of the continuum in 19th and early 20th century mathematics and philosophy.John L. Bell - 2005 - Axiomathes 15 (1):63-84.
  43.  35
    (1 other version)Emotional intelligence and academic attainment of British secondary school children: a cross-sectional survey.Carmen L. Vidal Rodeiro, Joanne L. Emery & John F. Bell - 2012 - Educational Studies 38 (5):521-539.
    Trait emotional intelligence (trait EI) covers a wide range of self-perceived skills and personality dispositions such as motivation, confidence, optimism, peer relations and coping with stress. In the last few years, there has been a growing awareness that social and emotional factors play an important part in students? academic success and it has been claimed that those with high scores on a trait EI measure perform better. This research investigated whether scores on a questionnaire measure of trait EI were related (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  44. Incompleteness in a general setting (vol 13, pg 21, 2007).John L. Bell - 2008 - Bulletin of Symbolic Logic 14 (1):21 - 30.
    Full proofs of the Gödel incompleteness theorems are highly intricate affairs. Much of the intricacy lies in the details of setting up and checking the properties of a coding system representing the syntax of an object language (typically, that of arithmetic) within that same language. These details are seldom illuminating and tend to obscure the core of the argument. For this reason a number of efforts have been made to present the essentials of the proofs of Gödel’s theorems without getting (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  45. Algorithmicity and consciousness.John L. Bell - manuscript
    Why should one believe that conscious awareness is solely the result of organizational complexity? What is the connection between consciousness and combinatorics: transformation of quantity into quality? The claim that the former is reducible to the other seems unconvincing—as unlike as chalk and cheese! In his book1 Penrose is at least attempting to compare like with like: the enigma of consciousness with the progress of physics.
     
    Export citation  
     
    Bookmark  
  46. An invitation to smooth infinitesimal analysis.John Bell - manuscript
    where f ′ (x) is the derivative of f(x) and A is a quantity whose value depends on both x and δx. Now if it were possible to take δx so small (but not demonstrably identical with 0) that (δx)2 = 0 then (1) would assume the simple form..
    No categories
     
    Export citation  
     
    Bookmark  
  47. A lifetime's acquaintance with Shakespeare.John Bell - forthcoming - Australian Humanist, The 123:2.
    Bell, John I've been invited to share with you my experiences of a lifetime's acquaintance with Shakespeare, and how that acquaintance has led to what might be loosely termed a humanist philosophy.
     
    Export citation  
     
    Bookmark  
  48. A representation theory for modalized distributive lattices.John Bell - manuscript
    By a lattice we shall always mean a distributive lattice which is bounded, i.e. has both a bottom element 0 and a top element 1. Lattice homomorphisms will always be assumed to preserve 0 and 1.
     
    Export citation  
     
    Bookmark  
  49. Basic model theory.John Bell - manuscript
    A structure is a triple A = (A, {Ri: i ∈ I}, {ej: j ∈ J}), where A, the domain or universe of A, is a nonempty set, {Ri: i ∈ I} is an indexed family of relations on A and {ej: j ∈ J}) is an indexed set of elements —the designated elements of A. For each i ∈ I there is then a natural number λ(i) —the degree of Ri —such that Ri is a λ(i)-place relation on A, (...)
     
    Export citation  
     
    Bookmark  
  50. Basic Set Theory.John L. Bell - unknown
    to indicate that the object a is an element or member of the class A. We assume that every member of a class is an object. Lower-case letters a, b, c, x, y, z, … will always denote objects, and later, sets. Equality between classes is governed by the Axiom of Extensionality.
     
    Export citation  
     
    Bookmark  
1 — 50 / 103