Abstract not found

English contains singular terms, quantifiers and predicates (e.g. ‘it’, ‘something ’ and ‘... is an elephant’). But it also contains plural terms, quantifiers and predicates (e.g. ‘they’, ‘some things ’ and ‘... are scattered on the floor’). 1 Philosophers have become increasingly interested in plurals over the past couple of decades. The purpose of this paper is to explain why plurals might be thought to have philosophical importance, and why they have led to philosophical debate. 1

Frege Arithmetic (FA) is the second-order theory whose sole non-logical axiom is Hume’s Principle, which says that the number of F s is identical to the number of Gs if and only if the F s and the Gs can be one-to-one correlated. According to Frege’s Theorem, FA and some natural definitions imply all of second-order Peano Arithmetic. This paper distinguishes two dimensions of impredicativity involved in FA—one having to do with Hume’s Principle, the other, with the underlying second-order logic—and investigates how much of Frege’s Theorem goes through in various partially predicative fragments of FA. Theorem 1 shows that almost everything goes through, the most important exception being the axiom that every natural number has a successor. Theorem 2 shows that the Successor Axiom cannot be proved in the theories that are predicative in either dimension. 1

Abstract. We discuss the work of Paul Bernays in set theory, mainly his axiomatization and his use of classes but also his higher-order reflection principles. Paul Isaak Bernays (1888–1977) is an important figure in the development of mathematical logic, being the main bridge between Hilbert and Gödel in the intermediate generation and making contributions in proof theory, set theory, and the philosophy of mathematics. Bernays is best known for the two-volume 1934,1939 Grundlagen der Mathematik [39, 40], written solely by him though Hilbert was retained as first author. Going into many reprintings and an eventual second edition thirty years later, this monumental work provided a magisterial exposition of the work of the Hilbert school in the formalization of first-order logic and in proof theory and the work of Gödel on incompleteness and its surround, including the first complete proof of the Second Incompleteness Theorem. 1 Recent re-evaluation of Bernays ’ role actually places him at the center of the development of mathematical logic and Hilbert’s program. 2 But starting in his forties, Bernays did his most individuated, distinctive mathematical work in set theory, providing a timely axiomatization and later applying higher-order reflection principles, and produced a stream of

Abstract not found

In this article, we canvass a few of the interesting topics that philosophers can pursue as part of the simultaneous study of logic and metaphysics. To keep the discussion to a manageable length, we limit our survey to deductive, as opposed to inductive, logic. Though most of this article

Abstract. The goal of this essay is a description of modern mathematical practice, with emphasis on differences between this and practices in the nineteenth century. I explain how and why these differences greatly increased the effectiveness of mathematical methods and enabled sweeping developments in the twentieth century. A particular concern is the significance for mathematics education: elementary education remains modeled on the mathematics of the nineteenth century and before, and use of modern methodologies might give advantages similar to those seen in mathematics. This draft is about 90 % complete, and comments are welcome. 1.

www.cs.technion.ac.il/∼janos Abstract. In this paper I discuss what, according to my long experience, every computer scientists should know from logic. We concentrate on issues of modeling, interpretability and levels of abstraction. We discuss what the minimal toolbox of logic tools should look like for a computer scientist who is involved in designing and analyzing reliable systems. We shall conclude that many classical topics dear to logicians are less important than usually presented, and that less known ideas from logic may be more useful for the working computer scientist. For Witek Marek, first mentor, then colleague and true friend, on the occasion of his 65th birthday.

Abstract. We argue that logic is not a uniform terrain where all truths lie on a par. We analyze the apparatus of first-order classical logic with identity into two main ingredients: a deeper and wider component and, on top of it, a narrower component which consists of principles that articulate our modern notion of object.