I argue that Kierkegaard’s work is relevant to an issue currently being debated within Anglo-American ethical theory. Kierkegaard’s account of the transition between existence spheres maps onto discussions in the contemporary field that concern how an agent can acquire motivations for new normative obligations. Following Kierkegaard’s work, a deeper understanding of the conditions behind a transition between existence spheres suggests that an individual’s set of motivations can be revised to direct the individual towards new and different ends. From the contemporary (...) perspective, this helps explain how agents can be led to appreciate different normative obligations based on the self-conscious understanding they have of their own interests. To guide this analysis I discuss Jamie Ferreira’s work on the imagination and explain how it can illuminate Kierkegaard’s contribution to current debates in ethical theory. (shrink)

My claim in this essay is that Kierkegaard’s concept of “the single individual” is a precursor of “the normative question” in Christine Korsgaard’s The Sources of Normativity. The normative question refers to what one asks oneself when considering whether one is obligated by a particular moral claim, and it essentially serves to illustrate the necessity of justifying these claims from a first-person perspective. The single individual is a concept Kierkegaard employs throughout his works to emphasize the first-person perspective that an (...) individual must bring to bear on issues of existential significance. I analyze the correlations between Kierkegaard’s notion of the single individual and Korsgaard’s notion of normativity, and suggest what these correlations more broadly indicate about moral theory. (shrink)

This collection of essays strikes new ground in our understanding of Kierkegaard's Either/Or and his authorship as a whole.

Introduction: the advance of governmentality -- Foucault, power, and governmentality: introduction; what is governmentality?; beyond the microphysics of power?; from theory of the state to genealogy of the state; history of the art of government; pastoral power; raison d'état; liberal governmentality; five propositions on foucault and governmentality -- Governmentality 3.4.7.: introduction; governmentality after Foucault; governmentality and the political sciences; some problems in governmentality -- Foucault effect redux? some notes on international governmentality studies: constellation; a few preliminary observations; problems and debates (...) in international governmentality studies -- Reconnecting governmentality and genealogy: introduction; genealogy and governmentality; pluralizing genealogy; practicing genealogy; lines of descent: the family tree of power?; counter-memory and re-serialization; the retrieval of forgotten struggles and subjugated knowledges -- Conclusion: encountering governmentality: governmentality as a new cartography of power; from mapping to encountering; governmentality and politics. (shrink)

The Architectonics of Meaning is a lucid demonstration of the purposes, methods, and implications of philosophical semantics that both supports and builds on Richard McKeon's and other noted pluralists' convictions that multiple philosophical approaches are viable. Watson ingeniously explores ways to systematize these approaches, and the result is a well-structured instrument for understanding texts. This book exemplifies both general and particular aspects of systematic pluralism, reorienting our understanding of the realms of knowing, doing, and making.

Are demands for equality motivated by envy? Nietzsche, Freud, Hayek, and Nozick all thought so. Call this the Envy Objection. For egalitarians, the Envy Objection is meant to sting. Many egalitarians have tried to evade the Envy Objection.. But should egalitarians be worried about envy? In this paper, I argue that egalitarians should stop worrying and learn to love envy. I argue that the persistent unwillingness to embrace the Envy Objection is rooted in a common misunderstanding of the nature of (...) the charge, what it reveals, and what can be said in response to it. I develop what Bernard Williams might call a vindicatory genealogy of envy, thereby allowing us to see that envy, rather than undermining egalitarian intuitions, can in fact play a distinct justificatory role (when it is fitting), which undermines the Envy Objection. (shrink)

Contribución de eruditos autores sobre aspectos trascendentales de la teoría pura del derecho. Esta obra debe verse como una expresión de esa renovada ocupación con los problemas de la doctrina de Kelsen.

Are workers dominated? A recent suite of neo-republican and relational egalitarian philosophers think they are. Suppose they are right; that is, suppose that some workers are governed by an unjust and arbitrary power existing in labour relations, which persists even in the presence of the actual ability to exit. My question is this: does that give us reason to impose restrictions on firms? According to the so-called Efficiency Objection there are relevant trade-offs that need to be considered between the efficiency (...) of firms and the freedom of workers, and upon considering these trade-offs, we should reject workplace democracy. In this paper, I present a dilemma for the Efficiency Objection. I argue that either the Efficiency Objection is justified on moral grounds or non-moral grounds; if the Efficiency Objection is justified on moral grounds, then it fails because efficiency cannot be valued for its own sake (it is only instrumentally good); if the Efficiency Objection is justified on non-moral grounds, then it fails because of the respect that we owe to persons as persons; therefore, the Efficiency Objection fails. (shrink)

Dorothy Edgington’s work has been at the centre of a range of ongoing debates in philosophical logic, philosophy of mind and language, metaphysics, and epistemology. This work has focused, although by no means exclusively, on the overlapping areas of conditionals, probability, and paradox. In what follows, I briefly sketch some themes from these three areas relevant to Dorothy’s work, highlighting how some of Dorothy’s work and some of the contributions of this volume fit in to these debates.

El profesor Robert Walter, el más eminente representante de la Teoría Pura del Derecho en nuestro tiempo, estudia en "Hans Kelsen, la Teoría Pura del Derecho y el problema de la justicia" y "Normas y enunciados sobre normas", los dos textos que componen esta obra, los puntos centrales del pensamiento filosófico y jurídico de Hans Kelsen.

Se resume en esta obra el vasto y complejo sistema teórico-jurídico de Hans Kelsen, el jurista más grande de nuestro siglo. La doctrina de Kelsen y en particular su Teoría Pura del Derecho han conocido muchas vicisitudes y ataques debidos más a prejuicios políticos y racistas que a una verdadera confrontación con sus tesis. El autor enfatiza en el hecho de que la doctrina jurídica de Kelsen no es una teoría terminada y archivada sino en permanente desarrollo, una teoría a (...) cuya ulterior construcción están convocados todos los juristas. (shrink)

Archimedes’ Sand-Reckoner presents a system for naming extraordinarily large numbers, larger than the number of grains of sand that would fill the cosmos. Curiously, Archimedes addresses the treatise not to another specialist but to King Gelon II of Syracuse. While the treatise has thus been seen as evidence for the dynamics of patronage, difficulties in both Archimedes’ treatment of Gelon and his discussion of astronomical models make it fit incongruously within contemporary court and scientific contexts. This article offers a new (...) reading of the Sand-Reckoner based on a reconsideration of the relationship between author and addressee: deferring assumptions about the historicity of that relationship, it analyzes Gelon’s role in the treatise with respect to both the stylistic features of Archimedes’ prose and a broader tradition of narratives about a variety of cultural actors who engage with kings, speaking not so much truth as wit to power. Such a reading resolves the social and scientific difficulties of the treatise, and develops the literary-experimental qualities of Hellenistic science. In turn, the article proposes a revised approach, sensitive to broader patterns of authorship, to understanding ancient scientific authors’ relationship to royal authority. It concludes, finally, that the royal patronage seemingly exemplified by the Sand-Reckoner had greater significance as a cultural trope than as a social institution. (shrink)

An alarming number of philosophers and cognitive scientists have argued that mind extends beyond the brain and body. This book evaluates these arguments and suggests that, typically, it does not. A timely and relevant study that exposes the need to develop a more sophisticated theory of cognition, while pointing to a bold new direction in exploring the nature of cognition Articulates and defends the “mark of the cognitive”, a common sense theory used to distinguish between cognitive and non-cognitive processes Challenges (...) the current popularity of extended cognition theory through critical analysis and by pointing out fallacies and shortcoming in the literature Stimulates discussions that will advance debate about the nature of cognition in the cognitive sciences. (shrink)

The post-classical (or post-Avicennan, post-Rāzian) genre of the “protocols for dialectical inquiry and disputation” (ādāb al-baḥth wa-l-munāẓara) has its more proximate origins in the famed Risāla of Shams al-Dīn al-Samarqandī (d. 722/1322). The greater part of his conceptions and methodology, however, consists in a streamlining and universalizing of the more strictly juristic dialectic (jadal / khilāf) of his teacher Burhān al-Dīn al-Nasafī (d. 687/1288); and this in turn draws on the highly logicized dialectic of Rukn al-Dīn al-ʿAmīdī (d. 615/1218) and (...) his teacher Raḍī al-Dīn al-Nīsābūrī (d. 617/1220). At the heart of methods in this lineage, and carried forward by al-Samarqandī into the universal ādāb al-baḥth, are three truth-preserving logical relationships critical to the truth-seeking enterprise of dialectic: entailment (talāzum / mulāzama), mutual negation or exclusion (tanāfin / munāfā), and causal concomitance (dawarān). The practical elaboration of these relations reveals a logic in action—a premodern dialogical logic for living disputation praxis. In fact, so critical were these to the dialectical enterprise that al-Samarqandī devoted a specialized treatise entirely to summarizing their defining features and rules, aptly naming it the ʿAyn al-Naẓar, or “Wellspring of Rational Investigation.” In this article, and drawing upon a recently published digital critical edition, I will present an analytical outline of these core logical relations as presented in the ʿAyn al-Naẓar. Then I will address a number of points of interest in this text, grouped under six themes: the potential for cross-disciplinary advancement; notions in discursive development; significant or uniquely contributive formulations; peculiarities of content; signs of an evolving, universalist agenda; and evidence that the ʿAyn al-Naẓar was designed as an aide-mémoire for the active disputant. (shrink)

The Dialectical Forge identifies dialectical disputation as a primary formative dynamic in the evolution of pre-modern Islamic legal systems, promoting dialectic from relative obscurity to a more appropriate position at the forefront of Islamic legal studies. The author introduces and develops a dialectics-based analytical method for the study of pre-modern Islamic legal argumentation, examines parallels and divergences between Aristotelian dialectic and early juridical jadal-theory, and proposes a multi-component paradigm—the Dialectical Forge Model—to account for the power of jadal in shaping Islamic (...) law and legal theory.In addition to overviews of current evolutionary narratives for Islamic legal theory and dialectic, and expositions on key texts, this work shines an analytical light upon the considerably sophisticated “proto-system” of juridical dialectical teaching and practice evident in Islam’s second century, several generations before the first “full-system” treatises of legal and dialectical theory were composed. This proto-system is revealed from analyses of dialectical sequences in the 2nd/8th century Kitāb Ikhtilāf al-ʿIrāqiyyīn / ʿIrāqiyyayn through a lens molded from 5th/11th century jadal-theory treatises. Specific features thus uncovered inform the elaboration of a Dialectical Forge Model, whose more general components and functions are explored in closing chapters. (shrink)

In it he came fully to terms with the inadequacy of traditional democratic theory." This volume is part of a continuing series on the major works of Walter Lippmann.

Da gegenwärtig kein allgemeinverbindlicher Begriff des ‚Neukantianismus‘ oder gar der ‚Transzendentalphilosophie‘ zur Verfügung steht und somit unter heutigen Bedingungen nicht aufs Geratewohl eine Geschichte der transzendentalsystematischen Bemühungen des 20. Jahrhunderts verfaßt werden kann, lag es nahe, sich diesem Thema anhand einer Analyse der Diskussionen zu nähern, in denen sich die sogenannte Selbstauflösung des Neukantianismus dokumentiert. Im Zuge dieser Annäherung war insbesondere an Siegfried Marcks zweibändiges Werk über DIE DIALEKTIK IN DER PHILOSOPHIE DER GEGENWART (Tübingen 1929/31) anzuknüpfen, das die transzendentalphilosophische Diskussion (...) der 20er Jahre unter dem Aspekt einer „kritischen Dialektik“ zusammenfaßt; einer kritischen Dialektik, die sich aufgrund der Ablehnung der neukantianischen „Konstruktion eines idealen Subjekts“ und der darum nunmehr verstärkten Einsicht in die „Spannung zwischen dem existierenden Subjekte und dem Geltungsbereich“ ausgeformt habe und als das verbindende Motiv in „Jonas Cohns Theorie der Dialektik, R. Höngswalds Denkpsychologie, Br. Bauchs Ideenlehre, P. Natorps Lehre vom Grenzdenken, N. Hartmanns Aporetik, E. Cassirers philosophische[r] ‚Anthropologie‘, Max Adlers neukantische[m] Marxismus“ anzusehen sei (S. Marck [1929], S. III). Wie allein schon der Hinweis auf „N[icolai] Hartmanns Aporetik“ zeigt, geht diese,Hegel-Renaissance in der deutschen Philosophie‘ (H. Levy) auch Hand in Hand mit einer Ontologisierung der Transzendentalphilosophie. Dieser Transzendentalontologie, die sich - teils in dialektischem Einverständnis mit und teils in antidialektischem Gegensatz zur ‚Hegel-Renaissance‘ - mit einer nach den unterschiedlichsten Richtungen hin wirksamen ‚Leibniz-Renaissance‘ verband, war im Titel der vorliegenden Untersuchung um so mehr Rechnung zu tragen, als das ontologische Motiv (vorallem unter dem Eindruck der Hartmannschen Neo-Ontologie und der Heideggerschen Existentialontologie) in den transzendentalsystematischen Arbeiten der Nachkriegszeit eindeutig in den Vordergrund tritt. Der Titel KRITISCHE DIALEKTIK UND TRANSZENDENTALONTOLOGIE steckt daher sowohl den inhaltlichen wie auch den zeitlichen Rahmen der Untersuchung ab: ihr Thema sind die post-neukantianischen Systembildungen, die in Auseinandersetzung mit den dominierenden Philosophemen der Zwischen- und Nachkriegszeit (der Neo-Ontologie und der Lebens- und Existenzphilosophie) am transzendentalen Ansatz und Systemanspruch festhielten, indem sie den überzeitlichen Geltungsanspruch der Idee und die innerzeitliche Existenz ‚dialektisch‘ oder ‚monadologisch‘ zu vermitteln suchten. Nachdem aus transzendentalsystematischer Sicht das Ringen um eben diese Vermittlungsproblematik ohnehin die gesamte abendländische Philosophiegeschichte ‚seit Parmenides und Platon‘ beherrscht, sagt diese Eingrenzung der Thematik allerdings mehr über das Selbstverständnis der Systemdenker aus, als sie zu deren philosophiegeschichtlicher Positionierung beiträgt. Man kommt daher dem Eigentümlichen der post-neukantianischen Systembildungen näher, wenn man – ihre Differenz zum Neukantianismus hervorhebend – betont, daß sie sich aufgrund der Ablehnung der neukantianischen „Konstruktion eines idealen Subjekts“ (S. Marck) dem Problem der ‚Konkretisierung der Transzendentalität‘ (Erich Heintel) oder einer ‚Philosophie der konkreten Subjektivität‘ (Hans Wagner) stellen. Da man die Phänomenologie Husserls und die Philosophische Anthropologie in gleicher Weise charakterisieren kann, muß diese Problemstellung in unserem Zusammenhang freilich nicht so sehr als Verabschiedung, sondern als Weiterführung neukantianischer Traditionen verstanden werden; da der Versuch einer Rekonstruktion der neukantianischen Theoriestränge, die sich gegenüber den lebensphilosophischen, ontologischen und positivistischen Zersetzungen des kritizistischen Ansatzes resistent erwiesen, zur Revision einiger gängiger Vorurteile bezüglich des Neukantianismus zwingt, wird im Zuge der einleitenden Analyse der sogenannten Selbstauflösung des Neukantianismus aber auch der Begriff ‚Neukantianismus‘ selbst in grundsätzlicher Weise zu bestimmen sein. Diese Begriffsbestimmung liefert das gesuchte Kriterium für die systematische Eingrenzung der Thematik und somit für die Auswahl der Repräsentanten der Kritischen Dialektik und Transzendentalontologie, deren philosophische Bemühungen in der Folge dokumentiert sind. Durchaus in Verbindung und Übereinstimmung mit diesen systematischen Erwägungen war für die nähere Auseinandersetzung mit Richard Hönigswald und Wolfgang Cramer, Bruno Bauch und Hans Wagner, sowie mit Robert Reininger und Erich Heintel, nicht zuletzt der Umstand maßgeblich, daß ihre Arbeiten eine für die Philosophie des 20. Jahrhunderts bemerkenswerte Kontinuität transzendentalphilosophischer Ansätze demonstrieren und dennoch keineswegs die Beachtung gefunden haben, die sie im Interesse einer lebendigen Aneignung und kritischen Weiterführung der Transzendentalphilosophie verdienen. Die vorliegende Arbeit versucht vorallem diese Kontinuität transzendentalphilosophischer bzw. neukantianischer Ansätze herauszustellen und die aus der individuellen Problemsicht der genannten Autoren resultierende produktive Weiterbildung dieser Ansätze zu dokumentieren, indem sie jeweils monographisch die einzelnen Denkwege verfolgt. (shrink)

This book is a discussion of the most timely and contentious issues in the two branches of neuroethics: the neuroscience of ethics; and the ethics of neuroscience. Drawing upon recent work in psychiatry, neurology, and neurosurgery, it develops a phenomenologically inspired theory of neuroscience to explain the brain-mind relation. The idea that the mind is shaped not just by the brain but also by the body and how the human subject interacts with the environment has significant implications for free will, (...) moral responsibility, and moral justification of actions. It also provides a better understanding of how different interventions in the brain can benefit or harm us. In addition, the book discusses brain imaging techniques to diagnose altered states of consciousness, deep-brain stimulation to treat neuropsychiatric disorders, and restorative neurosurgery for neurodegenerative diseases. It examines the medical and ethical trade-offs of these interventions in the brain when they produce both positive and negative physical and psychological effects, and how these trade-offs shape decisions by physicians and patients about whether to provide and undergo them. (shrink)

Using a philosophical framework that is informed by neuroscience as well as contemporary legal cases such as Terri Schiavo, this text offers readers an introduction to this topic. It looks at the ethical implications of our knowledge of the brain and medical treatments for neurological diseases.

Die einwandfreie Bestimmung der Begriffe ist die Grundlage einer jeden wissenschaftlichen Arbeit. Im Sinne der modernen Logik und Axiomatik hat erstmals Walter Dubislav die Methode des Definierens von Begriffen systematisch wie auch an Beispielen entwickelt. Sein Werk zeichnet sich durch klare Gedankenführung und didaktisches Geschick bei der Vermittlung philosophischer Sachverhalte aus, und es diskutiert alle einschlägigen Fragen, die sich dem an Methoden interessierten Wissenschaftler stellen. Es hat daher auch heute noch seinen systematischen Wert. Den gegenwärtigen Stand der Forschung im (...) B... (shrink)

In _The Politics of Decolonial Investigations_ Walter D. Mignolo provides a sweeping examination of how coloniality has operated around the world in its myriad forms from the sixteenth century to the twenty-first. Decolonial border thinking allows Mignolo to outline how the combination of the self-fashioned narratives of Western civilization and the hegemony of Eurocentric thought served to eradicate all knowledges in non-European languages and praxes of living and being. Mignolo also traces the geopolitical origins of racialized and gendered classifications, (...) modernity, globalization, and cosmopolitanism, placing them all within the framework of coloniality. Drawing on the work of theorists and decolonial practitioners from the Global South and the Global East, Mignolo shows how coloniality has provoked the emergence of decolonial politics initiated by delinking from all forms of Western knowledge and subjectivities. The urgent task, Mignolo stresses, is the epistemic reconstitution of categories of thought and praxes of living destituted in the very process of building Western civilization and the idea of modernity. The overcoming of the long-lasting hegemony of the West and its distorted legacies is already underway in all areas of human existence. Mignolo underscores the relevance of the politics of decolonial investigations, in and outside the academy, to liberate ourselves from canonized knowledge, ways of knowing, and praxes of living. (shrink)

The Neuroethics of Memory is a thematically integrated analysis and discussion of neuroethical questions about memory capacity and content, as well as interventions to alter it. These include: how does memory function enable agency, and how does memory dysfunction disable it? To what extent is identity based on our capacity to accurately recall the past? Could a person who becomes aware during surgery be harmed if they have no memory of the experience? How do we weigh the benefits and risks (...) of brain implants designed to enhance, weaken or erase memory? Can a person be responsible for an action if they do not recall it? Would a victim of an assault have an obligation to retain a memory of this act, or the right to erase it? This book uses a framework informed by neuroscience, psychology, and philosophy combined with actual and hypothetical cases to examine these and related questions. (shrink)

Proof-theoretic reflection principles are schemas which attempt to express the soundness of arithmetical theories within their own language, e.g., ${\mathtt{{Prov}_{\mathsf {PA}} \rightarrow \varphi }}$ can be understood to assert that any statement provable in Peano arithmetic is true. It has been repeatedly suggested that justification for such principles follows directly from acceptance of an arithmetical theory $\mathsf {T}$ or indirectly in virtue of their derivability in certain truth-theoretic extensions thereof. This paper challenges this consensus by exploring relationships between reflection principles (...) and principles of mathematical and transfinite induction as well as the status of the latter with respect to various foundational characterizations of number theory. (shrink)

Are living organisms--as Descartes argued--just machines? Or is the nature of life such that it can never be fully explained by mechanistic models? In this thought-provoking and controversial book, eminent geophysicist Walter M. Elsasser argues that the behavior of living organisms cannot be reduced to physico-chemical causality. Suggesting that molecular biology today is at the same point as Newtonian physics on the eve of the quantum revolution, Elsasser lays the foundation for a theoretical biology that points the way toward (...) a natural philosophy of organic life. Explicitly repudiating "vitalism" (the notion that the laws of nature need to be modified when applied to living organisms), Elsasser argues instead that the structural complexity of even a single living cell is "transcomputational"--that is, beyond the power of any imaginable system to compute. Beginning from this insight, Elsasser leads the reader through a step-by-step process that ultimately arrives at the conclusion that living and non-living matter are separated by "a no-man's land of irrationality." Trained in Germany as a physicist, Elsasser first pondered the implications of quantum mechanics for biology as early as 1951. The more closely he studied the inherent complexity of life, the more skeptical he became of the reductionist view of organisms as tiny machines. "An organism," he concluded, "is a source of causal chains which cannot be traced beyond a terminal point because they are lost in the unfathomable complexity of the organism." Like the physicist who works within the bounds of an unfathomable universe, Elsasser argues, the biologist must seek answers within a system that is no less unfathomable. (shrink)

A distinction is made between moral indoctrination and instruction in ethics. It is argued that the legitimate and important field of computer ethics should not be permitted to become mere moral indoctrination. Computer ethics is an academic field in its own right with unique ethical issues that would not have existed if computer technology had not been invented. Several example issues are presented to illustrate this point. The failure to find satisfactory non-computer analogies testifies to the uniqueness of computer ethics. (...) Lack of an effective analogy forces us to discover new moral values, formulate new moral principles, develop new policies, and find new ways to think about the issues presented to us. For all of these reasons, the kind of issues presented deserve to be addressed separately from others that might at first appear similar. At the very least, they have been so transformed by computing technology that their altered form demands special attention. (shrink)

They envisioned a brave new world, and what they got was fascism. As vibrant as its counterparts in Paris, Munich, and Milan, the avant-garde of Florence rose on a wave of artistic, political, and social idealism that swept the world with the arrival of the twentieth century. How the movement flourished in its first heady years, only to flounder in the bloody wake of World War I, is a fascinating story, told here for the first time. It is the history (...) of a whole generation's extraordinary promise--and equally extraordinary failure. The "decadentism" of D'Annunzio, the philosophical ideals of Croce and Gentile, the politics of Italian socialism: all these strains flowed together to buoy the emerging avant-garde in Florence. Walter Adamson shows us the young artists and writers caught up in the intellectual ferment of their time, among them the poet Giovanni Papini, the painter Ardengo Soffici, and the cultural critic Giuseppe Prezzolini. He depicts a generation rejecting provincialism, seeking spiritual freedom in Paris, and ultimately blending the modernist style found there with their own sense of toscanità or "being Tuscan." In their journals--Leonardo, La Voce, Lacerba, and l'Italia futurista--and in their cafe life at the Giubbe Rosse, we see the avant-garde of Florence as citizens of an intellectual world peopled by the likes of Picasso, Bergson, Sorel, Unamuno, Pareto, Weininger, and William James. We witness their mounting commitment to the ideals of regenerative violence and watch their existence become increasingly frenzied as war approaches. Finally, Adamson shows us the ultimate betrayal of the movement's aspirations as its cultural politics help catapult Italy into war and prepare the way for Mussolini's rise to power. (shrink)

This paper explores the relationship borne by the traditional paradoxes of set theory and semantics to formal incompleteness phenomena. A central tool is the application of the Arithmetized Completeness Theorem to systems of second-order arithmetic and set theory in which various “paradoxical notions” for first-order languages can be formalized. I will first discuss the setting in which this result was originally presented by Hilbert & Bernays (1939) and also how it was later adapted by Kreisel (1950) and Wang (1955) in (...) order to obtain formal undecidability results. A generalization of this method will then be presented whereby Russell’s paradox, a variant of Mirimanoff’s paradox, the Liar, and the Grelling–Nelson paradox may be uniformly transformed into incompleteness theorems. Some additional observations are then framed relating these results to the unification of the set theoretic and semantic paradoxes, the intensionality of arithmetization (in the sense of Feferman, 1960), and axiomatic theories of truth. (shrink)