78 found
Order:
Disambiguations
John Bacon [76]John B. Bacon [3]John Ira Bacon [2]John Bennett Bacon [1]
John Locke Bacon [1]John Harwood Bacon [1]
  1.  30
    Universals and Property Instances: The Alphabet of Being.John Bacon - 1995 - Blackwell.
  2. Ontology, Causality and Mind: Essays in Honour of D M Armstrong.John Bacon, Keith Campbell & Lloyd Reinhardt (eds.) - 1993 - New York: Cambridge University Press.
    D. M. Armstrong is an eminent Australian philosopher whose work over many years has dealt with such subjects as: the nature of possibility, concepts of the particular and the general, causes and laws of nature, and the nature of human consciousness. This collection of essays explores the many facets of Armstrong's work, concentrating on his more recent interests. There are four sections to the book: possibility and identity, universals, laws and causality, and philosophy of mind. The contributors comprise an international (...)
    Direct download  
     
    Export citation  
     
    Bookmark   14 citations  
  3.  72
    Supervenience, Necessary Coextensions, and Reducibility.John Bacon - 1986 - Philosophical Studies 49 (March):163-76.
    Supervenience in most of its guises entails necessary coextension. Thus theoretical supervenience entails nomically necessary coextension. Kim's result, thus strengthened, has yet to hit home. I suspect that many supervenience enthusiasts would cool at necessary coextension: they didn't mean to be saying anything quite so strong. Furthermore, nomically necessary coextension can be a good reason for property identification, leading to reducibility in principle. This again is more than many supervenience theorists bargained for. They wanted supervenience without reducibility. It is not (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   23 citations  
  4.  69
    A Single Primitive Trope Relation.John Bacon - 1989 - Journal of Philosophical Logic 18 (2):141 - 154.
  5.  26
    Isabel C. Hungerland. Contextual Implication. Inquiry , Vol. 3 , Pp. 211–258.John Bacon - 1970 - Journal of Symbolic Logic 35 (3):458.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  6.  34
    The Editor and the Associate Editors Thank the Consulting Editors, the Members of the Editorial Board and the Following Philosophers for Their Help with Refereeing Papers During the Period July 1994 to June 1995. Adeney, Douglas Kennett, Jeanette Agar, Nicholas Lamarque, Peter. [REVIEW]David Armstrong, Rae Langton, Robert Audi, Jerrold Levinson, John Bacon, David Lewis, Rick Benitez, Gary Malinas, John Biro & Jeff Malpas - 1995 - Australasian Journal of Philosophy 73 (4).
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  7. Weak Supervenience Supervenes.John Bacon - 1995 - In Elias E. Savellos & U. Yalcin (eds.), Supervenience: New Essays. Cambridge University Press.
     
    Export citation  
     
    Bookmark   4 citations  
  8.  50
    The Completeness of a Predicate-Functor Logic.John Bacon - 1985 - Journal of Symbolic Logic 50 (4):903-926.
  9.  93
    Van Cleve Versus Closure.John Bacon - 1990 - Philosophical Studies 58 (3):239-242.
    In "Supervenience, Necessary Coextension, and Reducibility" (Philosophical Studies 49, 1986, 163-176), among other results, I showed that weak or ordinary supervenience is equivalent to Jaegwon Kim's strong supervenience, given certain assumptions: S4 modality, the usual modal conception of properties as class-concepts, and diagonal closure or resplicing of the set of base properties. This last means that any mapping of possible worlds into extensions of base properties counts itself as a base property. James Van Cleve attacks the modal conception of property (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  10.  19
    Anjan Shukla. A Set of Axioms for the Propositional Calculus with Implication and Converse Non-Implication. Notre Dame Journal of Formal Logic, Vol. 6 No. 2 , Pp. 123–128. [REVIEW]John Bacon - 1966 - Journal of Symbolic Logic 31 (4):664-664.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  11.  48
    Substance and First-Order Quantification Over Individual-Concepts.John Bacon - 1980 - Journal of Symbolic Logic 45 (2):193-203.
  12.  17
    Timothy Smiley. Syllogism and Quantification. The Journal of Symbolic Logic, Vol. 27 No. 1 , Pp. 58–72. - William Tuthill Parry. Quantification of the Predicate and Many-Sorted Logic. Philosophy and Phenomenological Research, Vol. 26 No. 3 , Pp. 342–360. [REVIEW]John Bacon - 1975 - Journal of Symbolic Logic 40 (4):606-607.
  13.  61
    Do Generic Descriptions Denote?John Bacon - 1973 - Mind 82 (327):331-347.
  14. Knowledge, More or Less.John Bacon - 1983 - Noûs 17 (4):663-668.
  15. Paul Thagard.John Locke Bacon, David Hume & Immanuel Kant - 2010 - In Julie Thompson Klein & Carl Mitcham (eds.), The Oxford Handbook of Interdisciplinarity. Oxford University Press.
  16.  58
    Syllogistic Without Existence.John Bacon - 1967 - Notre Dame Journal of Formal Logic 8 (3):195-219.
  17.  63
    The Subjunctive Conditional as Relevant Implication.John Bacon - 1971 - Philosophia 1 (1-2):61-80.
  18.  58
    Ontological Commitment and Free Logic.John Bacon - 1969 - The Monist 53 (2):310-319.
    From Parmenides to the present, philosophers have been attracted by characterizations of being as being uttered or utterable, formulated or formulable. But what for Parmenides was presumably a valid co-entailment between antecedently understood concepts reappears in contemporary thought as a proffered explication of what it is to be. Without presuming to discredit Parmenidean views in general, my purpose here is to examine certain members of a modern family of theories of existence that fall into place around Quine’s. Depending on the (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  19.  12
    R. A. Bull. Some Results for Implicational Calculi. The Journal of Symbolic Logic, Vol. 29 No. 1 , Pp. 33–39.John Bacon - 1968 - Journal of Symbolic Logic 33 (2):306-306.
  20.  12
    Elliott Mendelson. A Semantic Proof of the Eliminability of Descriptions. Zeitschrift Für Mathematische Logik Und Grundlagen der Mathematik, Vol. 6 , Pp. 199–200. - T. G. McLaughlin. A Muted Variation on a Theme of Mendelson. Zeitschrift Für Mathematische Logik Und Grundlagen der Mathematik, Vol. 7 , Pp. 57–60. [REVIEW]John Bacon - 1973 - Journal of Symbolic Logic 38 (4):660.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  21.  26
    Four Modal Modelings.John Bacon - 1988 - Journal of Philosophical Logic 17 (2):91 - 114.
  22. The Logical Form of Perception Sentences.John Bacon - 1979 - Synthese 41 (2):271 - 308.
    The perceptual logic of j hintikka and r thomason is imbedded in a more general framework of quantification over individual-concepts. two intensional predicates for physical individuation and perceptual individuation are required in place of thomason's two variable-sorts. objectual perception of x by s is then definable as "for some y there is a perceptually individuated object z, in fact identical with x, such that s perceives that y is z.".
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  23.  11
    Ivo Thomas. On the Infinity of Positive Logic. Notre Dame Journal of Formal Logic, Vol. 3 , P. 108.John Bacon - 1968 - Journal of Symbolic Logic 33 (2):306.
  24.  42
    The Reality of Logic.John Bacon - 1986 - The Monist 69 (2):153-162.
    Whatever else it may be, philosophy is an attempt to grasp the basic and universal features of reality, of the world, of possible experience. The deductive validity of some arguments as against others is a pervasive and stable characteristic of reality, a basic condition of possible experience. Thus deductive logic belongs to philosophy, as indeed does mathematics. The relation of logic to philosophy is accordingly at least part-whole. Nor is it a detachable part, for the validity of arguments is central (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  25.  43
    Armstrong's Theory of Properties.John Bacon - 1986 - Australasian Journal of Philosophy 64 (1):47 – 53.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  26.  10
    Ivo Thomas. Finite Limitations on Dummett's LC. Notre Dame Journal of Formal Logic, Vol. 3 , Pp. 170–174.John Bacon - 1968 - Journal of Symbolic Logic 33 (2):305.
  27.  86
    First-Order Logic Based on Inclusion and Abstraction.John Bacon - 1982 - Journal of Symbolic Logic 47 (4):793-808.
  28.  46
    An Alternative Contextual Definition for Descriptions.John Bacon - 1965 - Philosophical Studies 16 (5):75 - 76.
  29.  8
    The Reality of Logic in Logic and Philosophy.John Bacon - 1986 - The Monist 69 (2):153-162.
    Whatever else it may be, philosophy is an attempt to grasp the basic and universal features of reality, of the world, of possible experience. The deductive validity of some arguments as against others is a pervasive and stable characteristic of reality, a basic condition of possible experience. Thus deductive logic belongs to philosophy, as indeed does mathematics. The relation of logic to philosophy is accordingly at least part-whole. Nor is it a detachable part, for the validity of arguments is central (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  30.  8
    Milton Fisk. A Modern Formal Logic. Prentice-Hall Fundamentals of Logic Series. Prentice-Hall, Inc., Englewood Cliffs, N.J., 1964, Xi + 116 Pp. [REVIEW]John Bacon - 1965 - Journal of Symbolic Logic 30 (1):87-88.
  31.  8
    R. A. Bull. The Implicational Fragment of Dummett's LC.The Journal of Symbolic Logic, Vol. 27 No. 2 , Pp. 189–194.John Bacon - 1968 - Journal of Symbolic Logic 33 (2):305-305.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  32.  44
    Purely Physical Modalities.John Bacon - 1981 - Theoria 47 (3):134-141.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  33.  4
    Modalities, Philosophical Essays. By Ruth Barcan Marcus, Oxford University Press, New York and Oxford1993, Xiv + 266 Pp. [REVIEW]John Bacon - 1995 - Journal of Symbolic Logic 60 (3):1005-1009.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  34.  23
    Logic From a to Z: The Routledge Encyclopedia of Philosophy Glossary of Logical and Mathematical Terms.John B. Bacon, Michael Detlefsen & David Charles McCarty - 1999 - Routledge.
    First published in the most ambitious international philosophy project for a generation; the _Routledge Encyclopedia of Philosophy_. _Logic from A to Z_ is a unique glossary of terms used in formal logic and the philosophy of mathematics. Over 500 entries include key terms found in the study of: * Logic: Argument, Turing Machine, Variable * Set and model theory: Isomorphism, Function * Computability theory: Algorithm, Turing Machine * Plus a table of logical symbols. Extensively cross-referenced to help comprehension and add (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  35.  52
    Elementary Symbolic Logic.John Bacon - 1975 - Teaching Philosophy 1 (2):220-221.
  36.  65
    The Semantics of Generic The.John Bacon - 1973 - Journal of Philosophical Logic 2 (3):323 - 339.
  37.  61
    Book Reviews. [REVIEW]John Bacon, Alan R. White, M. Glouberman, Lawrence H. Davis, Gershon Weiler, Jeffrey Bub, Ilkka Niiniluoto, Yehuda Melzer, Zeev Levy, S. Biderman, Joseph Raz, Irwin C. Lieb & Michael Ruse - 1975 - Philosophia 5 (3):319-384.
    No categories
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark  
  38.  56
    A Model-Theoretic Criterion of Ontology.John Bacon - 1987 - Synthese 71 (1):1 - 18.
    My aim has been to adapt Quine's criterion of the ontological commitment of theories couched in standard quantificational idiom to a much broader class of theories by focusing on the set-theoretic structure of the models of those theories. For standard first-order theories, the two criteria coincide on simple entities. Divergences appear as they are applied to higher-order theories and as composite entities are taken into account. In support of the extended criterion, I appeal to its fruits in treating the various (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  39.  10
    Review: Ruth Barcan Marcus, Modalities, Philosophical Essays. [REVIEW]John Bacon - 1995 - Journal of Symbolic Logic 60 (3):1005-1009.
  40.  33
    The Nature of Necessity. [REVIEW]John B. Bacon - 1976 - Grazer Philosophische Studien 2:239-246.
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  41.  23
    Kripke's Deontic Semantics Again.John Bacon - 1973 - Notre Dame Journal of Formal Logic 14 (4):581-582.
  42.  5
    C. A. Meredith and A. N. Prior. Notes on the Axiomatics of the Prepositional Calculus. Notre Dame Journal of Formal Logic, Vol. 4 , Pp. 171–187. [REVIEW]John Bacon - 1968 - Journal of Symbolic Logic 33 (2):306-307.
  43.  15
    A Set of Axioms for the Propositional Calculus with Implication and Converse Non-Implication.John Bacon & Anjan Shukla - 1966 - Journal of Symbolic Logic 31 (4):664.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  44.  23
    History of Logic.John Bacon - 1982 - International Philosophical Quarterly 22 (1):106-107.
  45.  16
    Review: Milton Fisk, A Modern Formal Logic. [REVIEW]John Bacon - 1965 - Journal of Symbolic Logic 30 (1):87-88.
  46.  11
    Smiley Timothy. Syllogism and Quantification.John Bacon - 1975 - Journal of Symbolic Logic 40 (4):606-607.
  47.  24
    Entailment and the Modal Fallacy.John Bacon - 1965 - Review of Metaphysics 18 (3):566 - 571.
    1. Anderson and Belnap's most explicit characterization of the fallacy of modality is as follows: "Modal fallacies arise when it is claimed that entailments follow from, or are entailed by, contingent propositions." The view which Nelson attributes to Anderson and Belnap, on the other hand, is "that necessary propositions are entailed only by necessary ones, never by contingent ones." Anderson and Belnap speak of "entailments," whereas Nelson generalizes to "necessary propostitions." The move is far from innocent, as we shall see. (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  48.  9
    The Nature of Necessity. [REVIEW]John B. Bacon - 1976 - Grazer Philosophische Studien 2:239-246.
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  49.  28
    A Simple Treatment of Complex Terms.John Bacon - 1965 - Journal of Philosophy 62 (12):328-331.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  50.  11
    Review: Ivo Thomas, On the Infinity of Positive Logic. [REVIEW]John Bacon - 1968 - Journal of Symbolic Logic 33 (2):306-306.
1 — 50 / 78