Buss, S.R., The undecidability of k-provability, Annals of Pure and Applied Logic 53 75-102. The k-provability problem is, given a first-order formula ø and an integer k, to determine if ø has a proof consisting of k or fewer lines . This paper shows that the k-provability problem for the sequent calculus is undecidable. Indeed, for every r.e. set X there is a formula ø and an integer k such that for all n,ø has a proof of k sequents if (...) and only if n ε X. (shrink)

In much theory there is a tendency to place thought above action, or the opposite, action over thought. The consequence of the first option is that philosophy or scientific evidence gains the upper hand in educational thinking. The consequence of the second view is that pragmatism and relativism become the dominant features. This article discusses how different branches of the Aristotelian tradition can mediate between these two views. I argue, contrary to some other Aristotelian approaches, that thinking and action are (...) both separated and yet prerequisites for each other and point to some educational consequences of this way of thinking. To build this argument I draw on selected aspects of the philosophy of Hanna Arendt, Leo Strauss and John Dewey. (shrink)

IN the right circumstances and the right frame of mind we are prepared to make aesthetic appraisals of almost anything, from hills, cottages and cars, to symphonies, people and poems. My problem is to try and set a boundary in at least one direction to the catholicity of this kind of judgement. I want to argue that when we use a word from our aesthetic vocabulary for appraising a theory in science or a proof in mathematics we are not properly (...) to be described as making an aesthetic appraisal, though there are close parallels with our normal use of these words. (shrink)

R. S. Downie; IX—Can there be a Private Morality?, Proceedings of the Aristotelian Society, Volume 68, Issue 1, 1 June 1968, Pages 167–186, https://doi.org/10.1.

BLWith new text and full apparatus criticusThe Eudemian Ethics was one of two ethical treatises which Aristotle wrote on the subject of ethica or `matters to do with character'. Although the two works cover much the same ground, the Nicomachean Ethics is better known; the poor manuscript tradition of the Eudemian Ethics has made correct translation and interpretation of the text extremely difficult. The subject of the work is the choice of a certain means of conduct, made by a `man (...) of practical wisdom', between two extremes of behaviour: asceticism and yielding to uncontrolled impulses. Aristotle also stresses the notion of moral intention and the importance of virtue of character. This new Oxford Classical Text of the Eudemian Ethics is the result of many years of work. After Sir David Ross's death, his original text was substantially reworked and revised by his friend and colleague R. R. Walzer, who was aided in the revision by his former pupil Mrs Jean Mingay, who continued his work after his death in 1974. Mrs Mingay was fortunate in being able to make use of previously unpublished contributions from D. J. Allan after his death in the late seventies, and more recently has been helped in her work by the suggestions of Professor D. A. Russell, David Robinson, and Christopher Rowe. (shrink)

Professor R. J. Getty has drawn attention to a tenth- or early eleventh-century manuscript of Statius’ Thebaid, hitherto examined only in Book I, namely Turonensis . Dr. Klotz, in his Teubner edition of 1908, gave citations from Book I, and wrote , ‘dolendum est sane de hoc codice primum tantum librum innotuisse, sed cum Roffensis libri maxime affinis accuratiorem notitiam haberemus, collatione quamvis -aegre careri posse nobis visum est.’ I have collated both T and Roffensis in full, and find firstly (...) that the citations of r by Klotz are far from accurate, especially in the last six books, and secondly that while it is indeed true thatT and r are very closely related, T is a much better representative than r of their common source. (shrink)

„My sole purpose in this paper is to try and correct what I take to be a common misinterpretation of Hume’s opinions on mathematics. I shall not enquire whether he was right or wrong in holding these opinions. Nor shall I offer opinions of my own.“.

The famous 1893 Chicago World’s Fair celebrated the dawn of corporate capitalism and a new Machine Age with an exhibit of the world’s largest engine. Yet the noise was so great, visitors ran out of the Machinery Hall to retreat to the peace and quiet of the Japanese pavilion’s Buddhist temples and lotus ponds. Thus began over a century of the West’s turn toward an Asian aesthetic as an antidote to modern technology. From the turn-of-the-century Columbian Exhibition to the latest (...) Zen-inspired designs of Apple, Inc., R. John Williams charts the history of our embrace of Eastern ideals of beauty to counter our fear of the rise of modern technological systems. In a dazzling work of synthesis, Williams examines Asian influences on book design and department store marketing, the commercial fiction of Jack London, the poetic technique of Ezra Pound, the popularity of Charlie Chan movies, the architecture of Frank Lloyd Wright, and the design of the latest high-tech gadgets. Williams demonstrates how, rather than retreating from modernity, writers, artists, and inventors turned to traditional Eastern technê as a therapeutic means of living with—but never abandoning—Western technology. (shrink)

This essay develops a theory of identities, selves, and ‘the self’ that both explains the sense in which selves are narratively constituted and also explains how the self relates to a person's individual autobiographical identity and to their various social identities. I argue that identities are the contents of narratively structured representations, some of which are hosted individually and are autobiographical in form, and others of which are hosted collectively and are biographical in form. These identities, in turn, give rise (...) to selves of various sorts—true selves, autobiographical selves, public and private selves, merely possible selves, and so on—which are the characters (or presupposed subjects) that appear in our various identities. Although the theory I develop bears some obvious affinities with the view that selves are fictional characters, the two views are in fact distinct, for reasons explained at the end. (shrink)

Resumen: En lo que sigue ofrezco una exploración de dos “conceptos tensos”: “pueblo” y “populismo”. En la primera sección abordaré la noción de “pueblo” a través de lo que se podría considerar su gramática populista. Luego desarrollaré algunas reflexiones sobre la división de campo que el populismo instala con su apelación al “pueblo” o a cualquiera de las otras nociones que tengan una función similar en su retórica. Analizaré, pues, la cuestión del antagonismo, la partición del espacio social y del (...) espacio del poder entre “ellos” y “nosotros”. Por último, plantearé la cuestión de la democracia como aquello que, en última instancia, está en juego en el desafío ambiguo del populismo.: In what follows I offer an exploration of two “tense concepts”: “people” and “populism”. In the first part I address the notion of “people” through what might be considered its populist grammar. Then I develop some reflec-tions on the field division that populism introduces with its appeal to the “people” or any of the other notions that have a similar function in their rhetoric. I will therefore analyze the antagonism, the partitioning of social space and the space of power between a “them” and an “us”. Finally, I raise the question of democracy as what is ultimately at stake in the ambiguous challenge of populism. (shrink)

Appearing in the “Cairo Declaration on Human Rights in Islam” as an undefined referent for the limits on freedom of expression in Islam, Shariah is still to be chased as an indefinable referent which restricts freedom of the expression in the Islamic Republic of Iran. Iran’s Press Law as well as Constitution unveil Shariah’s referent to be a person: the Jurist-Ruler around whom a cult of personality is legalized in terms of “Imamate” and around whom all the limits on freedom (...) of expression revolve. Interpretation of Shariah is not a solution but part of the problem in Iran. Such problem can be dealt in terms of three modes of self-expression which were invented by the Iranian Reformists to avoid self-censorship. The notion of master-signifier can be the key to unraveling the problem of self-referentiality in freedom of expression and its Reformist solution in Iran’s legal system. (shrink)

A model of the extended classical charged particle is developed further to prove that the electron potential can be expressed as a superposition of null waves. The null waves are solutions of the homogeneous wave equation and are related to some recently discovered types of solutions which are localized and propagate without dispersion. Connections with quantum electrodynamics and the fine structure constant are indicated.