The large cardinal axioms of the title assert, respectively, the existence of a nontrivial elementary embedding j:Vλ→Vλ, the existence of such a j which is moreover , and the existence of such a j which extends to an elementary j:Vλ+1→Vλ+1. It is known that these axioms are preserved in passing from a ground model to a small forcing extension. In this paper the reverse directions of these preservations are proved. Also the following is shown : if V is a model (...) of ZFC and V[G] is a -generic forcing extension of V, then in V[G], V is definable using the parameter Vδ+1, where. (shrink)

The rank-into-rank and stronger large cardinal axioms assert the existence of certain elementary embeddings. By the preservation of the large cardinal properties of the embeddings under certain operations, strong implications between various of these axioms are derived.

Say that the property Φ of a cardinal λ strongly implies the property Ψ. If and only if for every λ,Φ implies that Ψ and that for some λ′<λ,Ψ. Frequently in the hierarchy of large cardinal axioms, stronger axioms strongly imply weaker ones. Some strong implications are proved between axioms of the form “there is an elementary embedding j:Lα[Vλ+1]→Lα[Vλ+1] with ”.

In this commemorative article, the work of Richard Laver is surveyed in its full range and extent.

In connection with his interest in selfdistributive algebra, Richard Laver established two deep results with potential applications in low-dimen\-sional topology, namely the existence of what is now known as the Laver tables and the well-foundedness of the standard ordering of positive braids. Here we present these results and discuss the way they could be used in topological applications.

Of Zeno’s book of forty paradoxes, it was the first that attracted Socrates’ attention. This is the paradox of the like and the unlike. On contemporary assessments, this paradox is largely considered to be Zeno’s weakest surviving paradox. All of these assessments, however, rely heavily on reconstructions of the paradox. It is only relative to these reconstructions that there is nothing paradoxical involved, or that there is some rather obvious mistake being made. This paper puts forward and defends a novel (...) interpretation of this paradox, according to which the concept of a unit plays a central role. There is every reason to think the paradox turns on the concept of a unit: after the presentation of the paradox the text of the Parmenides immediately turns to a discussion of units, and the concept of a unit is also central to the Greek conception of a plurality. If this interpretation is correct then the paradox that Zeno presented was the same as one discussed and solved in Frege’s Grundlagen. (shrink)

Carnap's position on mathematical truth in The Logical Syntax of Language has been attacked from two sides: Kreisel argues that it is formalistic but should not be, and Friedman argues that it is not formalistic but needs to be. In this paper I argue that the Carnap of Syntax does not eliminate our ordinary notion of mathematical truth in favour of a formal analogue; so Carnap's notion of mathematical truth is not formalistic. I further argue that there is no conflict (...) between Carnap's use of informal notions and his principle of tolerance; so Carnap's definition of mathematical truth need not be formalistic. CiteULike Connotea Del.icio.us What's this? (shrink)

This study reconstructs the relationship between philosophy and politics in the way in which Heidegger's failure as a politician influenced the redevelopment of philosophy in the 1930s. The author also explains how Heidegger's failure influenced the content and direction of his later work.

Logic has pride of place in mathematics and its 20th century offshoot, computer science. Modern symbolic logic was developed, in part, as a way to provide a formal framework for mathematics: Frege, Peano, Whitehead and Russell, as well as Hilbert developed systems of logic to formalize mathematics. These systems were meant to serve either as themselves foundational, or at least as formal analogs of mathematical reasoning amenable to mathematical study, e.g., in Hilbert’s consistency program. Similar efforts continue, but have been (...) expanded by the development of sophisticated methods to study the properties of such systems using proof and model theory. In parallel with this evolution of logical formalisms as tools for articulating mathematical theories (broadly speaking), much progress has been made in the quest for a mechanization of logical inference and the investigation of its theoretical limits, culminating recently in the development of new foundational frameworks for mathematics with sophisticated computer-assisted proof systems. In addition, logical formalisms developed by logicians in mathematical and philosophical contexts have proved immensely useful in describing theories and systems of interest to computer scientists, and to some degree, vice versa. Three examples of the influence of logic in computer science are automated reasoning, computer verification, and type systems for programming languages. (shrink)

Studies the politics of Heidegger in terms of "thrownness" or "existential contingency". Attempts to think through Heidegger's philosophy in a manner that parallels his own dialogue with other key western thinkers.

The proof theory of many-valued systems has not been investigated to an extent comparable to the work done on axiomatizatbility of many-valued logics. Proof theory requires appropriate formalisms, such as sequent calculus, natural deduction, and tableaux for classical (and intuitionistic) logic. One particular method for systematically obtaining calculi for all finite-valued logics was invented independently by several researchers, with slight variations in design and presentation. The main aim of this report is to develop the proof theory of finite-valued first order (...) logics in a general way, and to present some of the more important results in this area. In Systems covered are the resolution calculus, sequent calculus, tableaux, and natural deduction. This report is actually a template, from which all results can be specialized to particular logics. (shrink)

In 2020, it is clear that racism must be a moral priority for white American Catholics, as for all white Americans. To face racism maturely, our consciences need more robust formation than we received as children preparing for First Reconciliation—or as adolescents at Confirmation, when we were instructed that we must be prepared to act boldly to defend our commitment to Christ. One way to build a racially-mature conscience is to seek feedback from anti-racism accountability partners, as the author did. (...) Another is to explore the distinction in Catholic moral theology between invincible and vincible ignorance—what we can know and what we cannot—in order to discern whether an action or inaction is moral. Much of what liberal whites claim we can’t know without input from Blacks is readily available if we have ears to hear. (shrink)

Despite their differences in origin, the three influential schools of twentieth-century continental cultural criticism--the Frankfurt School, existentialism, and poststructuralism--have long been treated as an ensemble and with critical hesitancy. Examining these schools as responses to the apparent collapse of Western civilization in the twentieth-century and as formidable intellectual challenges to the cultural legacies of the Enlightenment, this book provides a productive base for criticism and broadens our understanding of their histories and reception.

The Curry-Howard isomorphism is a proof-theoretic result that establishes a connection between derivations in natural deduction and terms in typed lambda calculus. It is an important proof-theoretic result, but also underlies the development of type systems for programming languages. This fact suggests a potential importance of the result for a philosophy of code.

This classic, provocative introduction to classical metaphysical questions focuses on appreciating the problems, rather than attempting to proffer answers.

Textbook on Gödel’s incompleteness theorems and computability theory, based on the Open Logic Project. Covers recursive function theory, arithmetization of syntax, the first and second incompleteness theorem, models of arithmetic, second-order logic, and the lambda calculus.

This paper will deal with three questions regarding Carnap's transition from the position he held at the time of writing Syntax to the doctrines he held during his semantic phase: (1) What was Carnap's attitude towards truth at the time of writing Syntax? (2) What was Carnap's position regarding questions of reference and ontology at the time of writing Syntax? (3) Was Carnap's acceptance of Tarski's analysis of truth and reference detrimental to his philosophical project? Section 1 of this paper (...) will deal with the first of these questions. Special attention will be paid to identifying what it was that prevented Carnap from defining a truth predicate for descriptive languages in Syntax. Section 2 of this paper will deal with the question of Carnap's attitude towards reference and ontology in Syntax. It will be shown that the attempt in Syntax to address ontological questions is seriously defective. Section 3 of this paper addresses the last of the questions posed above. It is argued that in the light of what is established in Sections 1 and 2, Carnap could not have retained the position of Syntax with respect to truth and reference. (shrink)

This collection of new essays addresses emotion in relation to the arts. The essays consider such topics as the paradox of fiction, emotion in the pure and abstract arts, and the rationality and ethics of emotional responses to art.

Carnap’s ‘Empiricism, Semantics, and Ontology’ (Carnap (1950a), ESO hereafter) is certainly a classic of twentieth century analytic philosophy. For decades now, most undergraduates are expected to read it at some point in their studies. Lately, it is being seen as the inspiration for a host of positions in the field of metaontology. Despite the widespread agreement on the importance of the paper, there is a lack of agreement on what Carnap attempts to do in the paper. My main aim in (...) this chapter is to defend an interpretation of ESO by displaying its relation to Carnap’s earlier works. My secondary goal will be to draw a lesson from this discussion for Carnap’s later work on unobservable entities in science. (shrink)

Abstract At the time of The Logical Syntax of Language (Syntax), Quine was, in his own words, a disciple of Carnap’s who read this work page by page as it issued from Ina Carnap’s typewriter. The present paper will show that there were serious problems with how Syntax dealt with ontological claims. These problems were especially pronounced when Carnap attempted to deal with higher order quantification. Carnap, at the time, viewed all talk of reference as being part of the misleading (...) material mode of speech, and as such dismissed, rather than addressed, ontological problems. Central to the analysis in the present paper is the concept of an explication, which was seen by both Carnap and Quine as being of great philosophical importance. It will be shown that the concept of explication played a significant role in how each formulated their mature position on ontology. Both these final positions on ontology can also be seen as a evolving in reaction to Carnap’s flawed handling of ontological matters at the time of Syntax. Carnap, influenced by Tarski’s work on semantics, comes to believe that the concept of reference can be given an acceptable explication, and that by doing so we can see reference to abstract objects as unobjectionable. As a result, Carnap develops a position very different from the one presented in Syntax. Quine strongly rejected the instrumentalism of Syntax, and sought to give an explication of ontological questions that was language independent. This paper closes with a discussion of each’s understanding of the other’s position. (shrink)

Having visited Ireland regularly during the 1930s, Ludwig Wittgenstein resigned his Cambridge philosophy professorship in 1947 and moved there, living in a fishing village on the Atlantic coast and hotels in Dublin and the Wicklow Mountains. Although Wittgenstein spent some time out of the country, Ireland was effectively his base for three very productive years during which he worked on what would become one of his key books, the posthumously published Philosophical Investigations. Wittgenstein in Ireland represents the first sustained account (...) of Wittgenstein's time in Ireland, placing it in its historical context. Wall pays a good deal of attention to the representation of the Irish landscape in which the Austrian philosopher found himself able to work; a large part of his writings were produced in the bleak landscapes of Ireland and Norway. (shrink)

Methods available for the axiomatization of arbitrary finite-valued logics can be applied to obtain sound and complete intelim rules for all truth-functional connectives of classical logic including the Sheffer stroke and Peirce’s arrow. The restriction to a single conclusion in standard systems of natural deduction requires the introduction of additional rules to make the resulting systems complete; these rules are nevertheless still simple and correspond straightforwardly to the classical absurdity rule. Omitting these rules results in systems for intuitionistic versions of (...) the connectives in question. (shrink)

This paper argues that Carnap both did not view and should not have viewed Frege's project in the foundations of mathematics as misguided metaphysics. The reason for this is that Frege's project was to give an explication of number in a very Carnapian sense — something that was not lost on Carnap. Furthermore, Frege gives pragmatic justification for the basic features of his system, especially where there are ontological considerations. It will be argued that even on the question of the (...) independent existence of abstract objects, Frege and Carnap held remarkably similar views. I close with a discussion of why, despite all this, Frege would not accept the principle of tolerance. (shrink)