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.. Abstract. The construction of a systematic philosophical foundation for logic is a notoriously difficult problem. In Part One I suggest that the problem is in large part methodological, having to do with the common philosophical conception of "providing a foundation". I offer an alternative to the common methodology which combines a strong foundational requirement (veridical justification) with the use of non-traditional, holistic tools to achieve this result. In Part Two I delineate an outline of a foundation for logic, employing the new methodology. The outline is based on an investigation of why logic requires a veridical justification, i.e., a justification which involves the world and not just the mind, and what features or aspect of the world logic is grounded in. Logic, the investigation suggests, is grounded in the formal aspect of reality, and the outline proposes an account of this aspect, the way it both constrains and enables logic (gives rise to logical truths and consequences), logic's role in our overall system of knowledge, the relation between logic and mathematics, the normativity of logic, the characteristic traits of logic, and error and revision in logic.
Association for Symbolic LogicIt is an interesting fact that, with a small number of exceptions, a systematic philosophical foundation for logic, a foundation for logic rather than for mathematics or language, has rarely been attempted.1 In this essay I aim to understand why this is the case, utilize this understanding to develop an appropriate foundational methodology, and use this methodology to construct an outline of a philosophical foundation for logic. The notion of a philosophical foundation will be clear to some readers, but due to the diverse readership of this journal it would be useful to briefly spell out and motivate the kind of philosophical foundation I have in mind.Received October 8, 2010. Acknowledgments: An earlier version of this paper was presented at a meeting of the Southern California History and Philosophy of Logic and Mathematics Group. I would like to thank the participants for stimulating comments. I am also very thankful to anonymous reviewers of this journal. Special thanks are due to two editors of the journal for extremely helpful comments that led to a considerable improvement of the paper. Finally, I am greatly thankful to Peter Sher for important suggestions and support.*One recent exception is Maddy [2007, Part III], which differs from the present attempt in being thoroughly naturalistic. Another psychologically oriented attempt is Hanna [2006]. Due to limitations of space and in accordance with my constructive goal, I will limit comparisons and polemics to a minimum.
14...