Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Your use of the JSTOR archive indicates your acceptance of the Terms & Conditions of Use, available at
http://www.jstor.org/page/info/about/policies/terms.jsp
JSTOR is a not-for-profit service that helps scholars, researchers, and students discover, use, and build upon a wide range of content
in a trusted digital archive. We use information technology and tools to increase productivity and facilitate new forms of scholarship.
For more information about JSTOR, please contact support@jstor.org.
Journal of Philosophy, Inc. is collaborating with JSTOR to digitize, preserve and extend access to The Journal of Philosophy.
http://www.jstor.org
This content downloaded from 128.103.149.52 on Sun, 12 Apr 2015 03:02:17 UTC
All use subject to JSTOR Terms and Conditions
620
OF PHILOSOPHY
THE JOURNAL
0022-362X/91/8811/620-2
This content downloaded from 128.103.149.52 on Sun, 12 Apr 2015 03:02:17 UTC
All use subject to JSTOR Terms and Conditions
EPISTEMOLOGYOF MODALITY
621
3 I shall consider three examples of nonmodally projectible generalized structures: (i) Saul Kripke's (with a twist due to Steven Thomason) generalized partial
truth tables for propositional S5. (PS) would have us cut the branch we are sitting
on-it is the generalized tables that bar (the logical validity of) otherwise wellgrounded . . . ur-possibilities; (ii) Generalized structures for a second-order modal language (with propositional quantifiers) that deprive us of the (necessary)
existence of a truth recording everything that is the case; (iii) Generalized structures with infinitely descending sequences of the E-relation. Time permitting, I
shall want to consider a stronger brand of examples-theories
(one in propositional tense logic, the other W. 0. Quine's handling of arithmetic in "New Foundations") with no standard models at all whose (possible) consistency has to rely
on general models. With such models the failure of projectibility of generalized
structures is quite vivid.
4 To keep technical foam to a minimum, consult for the definition of the notion(s) and the extension alluded to below of a Frechet filter to a maximal filter,
Bell and Machover, A Course in Mathematical Logic (Dordrecht: North Holland, 1977), pp. 136-9 (especially p. 138) and pp. 176-82. This much concerns
models for arithmetic. A crisp exposition of nonstandard models of real-number
theory, relying on related techniques, is offered later in the aforementioned book.
In view of philosophical objections to the possibility of "infinitely small quantities," many might think that there lies here a striking case of nonmodally projectible class of generalized structures. For the present writer, when it comes to judgments of modal (im)possibility, it is either that obscurantist totem and taboo,
modal intuition, or silence. In this case, the latter.
This content downloaded from 128.103.149.52 on Sun, 12 Apr 2015 03:02:17 UTC
All use subject to JSTOR Terms and Conditions
622
THE JOURNAL
OF PHILOSOPHY
ALMOG
This content downloaded from 128.103.149.52 on Sun, 12 Apr 2015 03:02:17 UTC
All use subject to JSTOR Terms and Conditions