In the Transcendental Ideal Kant discusses the principle of complete determination: for every object and every predicate A, the object is either determinately A or not-A. He claims this principle is synthetic, but it appears to follow from the principle of excluded middle, which is analytic. He also makes a puzzling claim in support of its syntheticity: that it represents individual objects as deriving their possibility from the whole of possibility. This raises a puzzle about why Kant regarded it as (...) synthetic, and what his explanatory claim means. I argue that the principle of complete determination does not follow from the principle of excluded middle because the externally negated or ?negative? judgement ?Not (S is P)? does not entail the internally negated or ?infinite? judgement ?S is not-P.? Kant's puzzling explanatory claim means that empirical objects are determined by the content of the totality of experience. This entails that empirical objects are completely determinate if and only if the totality of experience has a completely determinate content. I argue that it is not a priori whether experience has such a completely determinate content and thus not analytic that objects obey the principle of complete determination. (shrink)

One of the cornerstone books of Western philosophy, Critique of Pure Reason is Kant's seminal treatise, where he seeks to define the nature of reason itself and builds his own unique system of philosophical thought with an approach known as transcendental idealism. He argues that human knowledge is limited by the capacity for perception and attempts a logical designation of two varieties of knowledge: a posteriori, the knowledge acquired through experience; and a priori, knowledge not derived through experience. This accurate (...) translation by J. M. D. Meiklejohn offers a simple and direct rendering of Kant's work that is suitable for readers at all levels. (shrink)

Many philosophers these days consider themselves naturalists, but it's doubtful any two of them intend the same position by the term. In Second Philosophy, Penelope Maddy describes and practices a particularly austere form of naturalism called "Second Philosophy". Without a definitive criterion for what counts as "science" and what doesn't, Second Philosophy can't be specified directly ("trust only the methods of science" for example), so Maddy proceeds instead by illustrating the behaviors of an idealized inquirer she calls the "Second Philosopher". (...) mhis Second Philosopher begins from perceptual common sense experimentation, theory formation and testing, working all the while to asses, correct and improve her methods as she goes. Second Philosophy is then the result of the Second Philosopher's investigations. Maddy delineates the Second Philosopher's approach by tracing her reactions to various familiar skeptical and transcendental views (Descartes, Kant, Carnap, late Putnam, van Fraassen), comparing her methods to those of other self-described naturalists (especially Quine), and examining a prominent contemporary debate (between disquotationalists and correspondence theorists in the theory of truth) to extract a properly second-philosophical line of thought. She then undertakes to practice Second Philosophy in her reflections on the ground of logical truth, the methodology, ontology and epistemology of mathematics, and the general prospects for metaphysics naturalized. (shrink)

FIRST DAY INTERLOCUTORS: SALVIATI, SA- GREDO AND SIMPLICIO ALV. The constant activity which you Venetians display in your famous arsenal suggests to the ...

Let me start with a well-known story. Kant held that logic and conceptual analysis alone cannot account for our knowledge of arithmetic: “however we might turn and twist our concepts, we could never, by the mere analysis of them, and without the aid of intuition, discover what is the sum [7+5]” (KrV, B16). Frege took himself to have shown that Kant was wrong about this. According to Frege’s logicist thesis, every arithmetical concept can be defined in purely logical terms, and (...) every theorem of arithmetic can be proved using only the basic laws of logic. Hence, Kant was wrong to think that our grasp of arithmetical concepts and our knowledge of arithmetical truth depend on an extralogical source—the pure intuition of time (Frege 1884, §89, §109). Arithmetic, properly understood, is just a part of logic. (shrink)

Ernst Friedrich Ferdinand Zermelo transformed the set theory of Cantor and Dedekind in the first decade of the 20th century by incorporating the Axiom of Choice and providing a simple and workable axiomatization setting out generative set-existence principles. Zermelo thereby tempered the ontological thrust of early set theory, initiated the delineation of what is to be regarded as set-theoretic, drawing out the combinatorial aspects from the logical, and established the basic conceptual framework for the development of modern set theory. Two (...) decades later Zermelo promoted a distinctive cumulative hierarchy view of models of set theory and championed the use of infinitary logic, anticipating broad modern developments. In this paper Zermelo's published mathematical work in set theory is described and analyzed in its historical context, with the hindsight afforded by the awareness of what has endured in the subsequent development of set theory. Elaborating formulations and results are provided, and special emphasis is placed on the to and fro surrounding the Schröder-Bernstein Theorem and the correspondence and comparative approaches of Zermelo and Gödel. Much can be and has been written about philosophical and biographical issues and about the reception of the Axiom of Choice, and we will refer and defer to others, staying the course through the decidedly mathematical themes and details. (shrink)

Gila Sher approaches knowledge from the perspective of the basic human epistemic situation—the situation of limited yet resourceful beings, living in a complex world and aspiring to know it in its full complexity. What principles should guide them? Two fundamental principles of knowledge are epistemic friction and freedom. Knowledge must be substantially constrained by the world (friction), but without active participation of the knower in accessing the world (freedom) theoretical knowledge is impossible. This requires a grounding of all knowledge, empirical (...) and abstract, in both mind and world, but the fall of traditional foundationalism has led many to doubt the viability of this ‘classical’ project. Sher challenges this skepticism, charting a new foundational methodology, foundational holism, that differs from others in being holistic, world-oriented, and universal (i.e., applicable to all fields of knowledge). Using this methodology, Epistemic Friction develops an integrated theory of knowledge, truth, and logic. This includes (i) a dynamic model of knowledge, incorporating some of Quine’s revolutionary ideas while rejecting his narrow empiricism, (ii) a substantivist, non-traditional correspondence theory of truth, and (iii) an outline of a joint grounding of logic in mind and world. The model of knowledge subjects all disciplines to demanding norms of both veridicality and conceptualization. The correspondence theory is robust and universal yet not simplistic or naive, admitting diverse forms of correspondence. Logic’s grounding in the world brings it in line with other disciplines while preserving, and explaining, its strong formality, necessity, generality, and normativity. (shrink)

The paper explores the view that in mathematics, in particular where the infinite is involved, the application of classical logic to statements involving the infinite cannot be taken for granted. L. E. J. Brouwer’s well-known rejection of classical logic is sketched, and the views of David Hilbert and especially Hermann Weyl, both of whom used classical logic in their mathematical practice, are explored. We inquire whether arguments for a critical view can be found that are independent of constructivist premises and (...) consider the entanglement of logic and mathematics. This offers a convincing case regarding second-order logic, but for first-order logic, it is not so clear. Still, we ask whether we understand the application of logic to the higher infinite better than we understand the higher infinite itself. (shrink)

This is the only work to provide a histori­cal account of Kant’s theory of arith­metic, examining in detail the theories of both his predecessors and his successors.