Boole's indefinite symbols re-examined

Australasian Journal of Logic 19 (5):167–181 (2022)
  Copy   BIBTEX

Abstract

We show how one can give a clear formal account of Boole’s notorious “indefinite" (or “auxiliary”) symbols by treating them as variables that range over functions from classes to classes rather than just over classes while, at the same time, following Hailperin’s proposal of binding them existentially.

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,928

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Derivation of the laws of the symbols of logic from the laws of the operations of the human mind: an excerpt from the writings of George Boole.George Boole - 1859 - Minneapolis: St. Sebastian Press. Edited by Roman Verostko.
A Boole Anthology: Recent and Classical Studies in the Logic of George Boole.James Gasser (ed.) - 2000 - Dordrecht, Netherland: Kluwer Academic Publishers.
George Boole's Deductive System.Frank Markham Brown - 2009 - Notre Dame Journal of Formal Logic 50 (3):303-330.
Psychologism in Logic: Some Similarities between Boole and Frege.Nicla Vassallo - 2000 - In J. Gasser (ed.), A Boole Anthology. Recent and Classical Studies in the Logic of George Boole. Kluwer Academic Publishers.
Varieties of Indefinite Extensibility.Gabriel Uzquiano - 2015 - Notre Dame Journal of Formal Logic 56 (1):147-166.
Psychology and Time in Boole’s Logic.Andrew Stone - 2023 - History and Philosophy of Logic 44 (1):1-15.
Husserl and Boole.Pierluigi Minari & Stefania Centrone - 2017 - In Stefania Centrone (ed.), Essays on Husserl’s Logic and Philosophy of Mathematics. Dordrecht, Netherland: Springer Verlag.
"Unbestimmte Begriffe" bei Leibniz.Wolfgang Lenzen - 1984 - Studia Leibnitiana 16:1.
The Mathematical Analysis of Logic. Being an Essay towards a Calculus of Deductive Reasoning by George Boole - Die mathematische Analyse der Logik. Der Versuch eines Kalküls des deduktiven Schlieβens von George Boole.George Boole - 2004 - Bulletin of Symbolic Logic 10 (1):108-109.
The correspondence between george boole and stanley jevons, 1863–1864.I. Grattan-Guinness - 1991 - History and Philosophy of Logic 12 (1):15-35.
The Horn theory of Boole's partial algebras.Stanley N. Burris & H. P. Sankappanavar - 2013 - Bulletin of Symbolic Logic 19 (1):97-105.
The Logic of Names, an Intr. To Boole's Laws of Thought.I. P. Hughlings & George Boole - 1869
Seá O'Donnell. William Rowan Hamilton: Portrait of a Prodigy. Dublin: Boole Press, 1984. Pp. xvi + 224. ISBN 0-906783-06-2. IR £19.95, $24.95. - Desmond MacHale. George Boole: His Life and Work. Dublin: Boole Press, 1985. Pp. xiii + 304. ISBN 0-906783-05-4. IR £19.95, $24.95. [REVIEW]Jim O'Hara - 1986 - British Journal for the History of Science 19 (3):360-361.
George Boole. The mathematical analysis of logic. Being an essay towards a calculus of deductive reasoning by George Boole — Die mathematische Analyse der Logik. Der Versuch eines Kalküls des deduktiven Schließens von George Boole, Schriftenreihe zur Geistes- und Kulturgeschichte: Texte und Dokumente. Hallescher Verlag, Halle, Saale, 2001, 195 pp. [REVIEW]Risto Vilkko - 2004 - Bulletin of Symbolic Logic 10 (1):108-109.
Quantifier Variance and Indefinite Extensibility.Jared Warren - 2017 - Philosophical Review 126 (1):81-122.

Analytics

Added to PP
2022-12-22

Downloads
17 (#868,857)

6 months
1 (#1,471,493)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

David Makinson
London School of Economics

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references