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.

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,486

External links

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

Through your library

Similar books and articles

George Boole's Deductive System.Frank Markham Brown - 2009 - Notre Dame Journal of Formal Logic 50 (3):303-330.
On the logic of classes as many.Nino B. Cocchiarella - 2002 - Studia Logica 70 (3):303-338.
The Horn theory of Boole's partial algebras.Stanley N. Burris & H. P. Sankappanavar - 2013 - Bulletin of Symbolic Logic 19 (1):97-105.
Varieties of Indefinite Extensibility.Gabriel Uzquiano - 2015 - Notre Dame Journal of Formal Logic 56 (1):147-166.
Existence of classes and value specification of variables.Hao Wang - 1950 - Journal of Symbolic Logic 15 (2):103-112.
Sets and classes as many.John L. Bell - 2000 - Journal of Philosophical Logic 29 (6):585-601.
Toward a theory of event identity.Alfred J. Stenner - 1974 - Philosophy of Science 41 (1):65-83.

Analytics

Added to PP
2022-12-22

Downloads
21 (#1,049,356)

6 months
1 (#1,572,794)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

David Makinson
London School of Economics

References found in this work

No references found.

Add more references