We describe punctual categoricity in several natural classes, including binary relational structures and mono-unary functional structures. We prove that every punctually categorical structure in a finite unary language is${\text {PA}}(0')$-categorical, and we show that this upper bound is tight. We also construct an example of a punctually categorical structure whose degree of categoricity is$0''$. We also prove that, with a bit of work, the latter result can be pushed beyond$\Delta ^1_1$, thus showing that punctually categorical structures can possess arbitrarily complex (...) automorphism orbits.As a consequence, it follows that binary relational structures and unary structures are not universal with respect to primitive recursive interpretations; equivalently, in these classes every rich enough interpretation technique must necessarily involve unbounded existential quantification or infinite disjunction. In contrast, it is well-known that both classes are universal for Turing computability. (shrink)

We construct the set of the title, answering a question of Cholak, Jockusch, and Slaman [1], and discuss its connections with the study of the proof-theoretic strength and effective content of versions of Ramsey's Theorem. In particular, our result implies that every ω-model of RCA 0 + SRT 2 2 must contain a nonlow set.

We investigate the index sets associated with the degree structures of computable sets under the parameterized reducibilities introduced by the authors. We solve a question of Peter Cholakand the first author by proving the fundamental index sets associated with a computable set A, {e : W e ≤ q u A} for q∈ {m, T} are Σ4 0 complete. We also show hat FPT(≤ q n ), that is {e : W e computable and ≡ q n ?}, is Σ4 (...) 0 complete. We also look at computable presentability of these classes. (shrink)

ZusammenfassungKant hat unter dem Titel einer Reinen Naturwissenschaft den Rahmen einer Theorie entworfen, an den s.A.n. alle naturwissenschaftlichen Theorien gebunden sind. Die zu diesem Rahmen gehörenden Grundsätze sind in seinen Augen insofern objektiv gültig, als es zu ihnen keine Alternativen geben soll. Durch sie wird ein Bereich von Gegenständen festgelegt, mit dem empirische Urteile übereinstimmen können. Kants Anspruch, einen solchen Theorierahmen ein für allemal angeben zu können, muss heute auf Bedenken stossen. Obwohl es stets eines theoretischen Rah‐mens bedarf, innerhalb dessen (...) Erfahrung als möglich begriffen werden kann, lässt sich dieser Rahmen nicht definitiv bestimmen. (shrink)

In Plato on the Unity of the Virtues, Rod Jenks argues that while Plato makes several attempts to show how virtue is one, he deliberately fails to secure this because he thinks the way in which the virtues are both one and many is finally ineffable.

A problem is a multivalued function from a set of instances to a set of solutions. We consider only instances and solutions coded by sets of integers. A problem admits preservation of some computability-theoretic weakness property if every computable instance of the problem admits a solution relative to which the property holds. For example, cone avoidance is the ability, given a noncomputable set A and a computable instance of a problem ${\mathsf {P}}$, to find a solution relative to which A (...) is still noncomputable.In this article, we compare relativized versions of computability-theoretic notions of preservation which have been studied in reverse mathematics, and prove that the ones which were not already separated by natural statements in the literature actually coincide. In particular, we prove that it is equivalent to admit avoidance of one cone, of $\omega $ cones, of one hyperimmunity or of one non- $\Sigma ^{0}_1$ definition. We also prove that the hierarchies of preservation of hyperimmunity and non- $\Sigma ^{0}_1$ definitions coincide. On the other hand, none of these notions coincide in a nonrelativized setting. (shrink)

In Frege’s Puzzle, Nathan Salmon takes it to be obvious that the fact that names such as ‘Hesperus’ and ‘Phosphorus’ are coreferential is purely a matter of arbitrary linguistic convention, while the fact that Hesperus is Phosphorus is by no means a conventional matter. Salmon also takes these points to be ones to which Frege appeals in the opening paragraph of “On Sense and Reference,” and hence finds it ironic that these points undercut the theory of sense that Frege develops (...) in that paper. It is argued that the thesis that the coreferentiality of a pair of proper names is purely a matter of arbitrary linguistic convention is inconsistent with any plausible theory of reference. Salmon’s reading of Frege’s argument is also called into question. (shrink)

In this commentary on Stokoe’s article, ‘Moving forward with membership categorization analysis’, I take up the challenge to apply her keys for MCA to an extract of conversation recorded in a restaurant. The strengths of conversation analysis have not included – and indeed have not attempted to achieve – successful engagement with beyond-the-immediate-talk aspects of culture and the commonsense workings of society. The aim of the article is to explore what MCA might add to an analysis of a stretch of (...) talk using conversation analytic tools. It was found that a systematic application of the keys did indeed provide a richer account of what was going on. Whereas categories alone did not appear to provide more insights than commonsense can tell us, when the broader array of MCA tools and keys were applied, an enhanced analysis of the passage of talk emerged. An exploration of whether this can be extended as a method for a rigorous investigation of culture and society while still being grounded in participants’ mutual, moment-by-moment orientations to categories seems at the very least worth the serious attention of scholars interested in interaction. (shrink)

Many of the figures in Thurnauer’s paintings who fix us with their gaze have been borrowed from the work of Manet, the artist who organized so many of his paintings around a face-to-face confrontation of viewer and work. The painting returns the viewer’s gaze with total impartiality, making us see our own motives and investments more than the illusion that the figure in the painting will accommodate them. Issues of language often surface literally in paintings by Thurnauer; written language appears (...) sometimes as part of the material fabric in which human figures move or recline. The textual elements are not superimposed on the figures but appear to exist in the world they inhabit, requiring the painter to relate figure to ground in a process of interlacing. When the viewer’s eye traverses the painting it falls under the magnetic influence of the text to the extent that viewing must succumb in some degree to the operations of reading with its specific rhythms and expectations. In these paintings, visual and verbal languages provide us with different maps of the same territory; and Thurnauer’s hybridized representations argue that the world can only be rendered through a dialogue, an interlocution of different forms, genres, media. We approach her work, not as viewers whose function is predicated through a gaze regulated according to the distorting demands of consumption or control, but as readers engaged in a critical activity seeing around the edges of historically produced versions of the self. (shrink)

The author focuses on Plato's reliance on images as a way of communicating abstract doctrinal points to his audience.

It is easy to ridicule the pretense and silliness of many works coming from the “art world.” The story of the arts, for at least the past century and a half, has been one of attempts to keep alive something that is long past dead. For example, without a substantial understanding of quality, aesthetics has been held up as a substitute for life. But the aesthetic, long touted as fundamental to the goals of art, begs other questions: which aesthetic responses? (...) What if one does not have the same, or any, aesthetic response? This essay explores an alternative, one that refutes the modernist conception of substituting mere pleasure and emotion, that is, preferences, for the idea of Beauty as the manifestation of what is known to be True and Good. Instead of seeking living art that is Beautiful, and can bring life, postmodern culture is surrounded by dead, zombie art. Strategies for stopping the flood of long-dead zombie works include reason, ridicule, and pointing the way back to Beauty. (shrink)

Introduction This book attempts to answer big questions about the meaning and purpose of life, as well as fate, free will and reincarnation, and all sorts ...

This paper revisits some recent contributions on ‘Why Management Theory Needs Popper’ to the journal Philosophy of Management. It proposes that those discussions provided an appraisal of the relevance of Popper’s falsification schema to management theory, but that they did not thereby bring to the fore all of the issues pertinent to a balanced and well-rounded understanding of Popper’s philosophy of critical rationalism. It is argued that such an understanding requires a discussion of what Popper himself declared to be the (...) real lynchpin of his thought: fallibilism and a critical approach. It is noted that this represents a rejection of the historical problem situation of philosophy — that knowledge claims need to be positively justified as true. It is argued that this rejection implies an anti-authoritarian, non-justificational philosophy based on the use of critical reason. Its application to several different objects of criticism is demonstrated and its ethical dimensions are explored. The relevance of critical rationalism to management studies and practice is assessed and an inherent limitation on the prospects of its adoption in management practice is identified. … the appeal to authorities is the death of knowledge… the growth of knowledge depends entirely upon disagreement. (shrink)

Uses Sir Karl Popper’s philosophy of critical rationalism to examine the discussion of the UK ‘credit crunch’ as presented by the public record of the UK House of Commons Treasury Select Committee’s investigation. Identifies various philosophical doctrines that acted to shape that investigation and the testimony presented before it. Presents those doctrines as prejudicial to the advancement of knowledge, learning and rationality. Concludes that the philosophy of critical rationalism is relevant to the problems of modern society.

We construct a $\Delta^0_2$ degree which fails to be computably enumerable in any computably enumerable set strictly below $\emptyset'$.

Construed broadly as interpretation theory, hermeneutics could be understood to encompass all modes of interpretation (textual or otherwise), including any kind of literary criticism, from Aristotle's poetics to the New Criticism of the 1950s, as well as the French tradition of structuralism and even perhaps Derridean poststructural thought. Although Gadamer and Ricoeur both recognize the poetic work or, at least, lyric poetry, as belonging to a special class of literature, they do display somewhat different attitudes toward it. For Gadamer, one (...) of the hallmarks of the eminent text is its un‐translatability. That is, all literary works resist translation to one degree or another, but lyric poetry defies it altogether. In Part I of Truth and Method, Gadamer lays out the history of aesthetics and takes issue with the kind of “aesthetic consciousness” that takes the work of art as an object of study. (shrink)

While there is a considerable body of research on law student identity construction based on interviews and transcripts of classroom talk, there is very little work based on student written texts. In this article two letters of advice written by beginning law students are analysed, using Ivanic and Camps’s framework, as an example of identity formation. Legal identity is argued to be formed by students’ attempts to accommodate a dynamic, partial, practitioner role of provider of advice to the traditional analytic (...) focus of the law student. The process of accommodation is evident in the language of the letters, which show disfluencies resulting from attempts to combine different roles into a coherent legal identity. Comparison with a professionally written letter suggests that, rather than seeking to shape a coherent position, lawyers are able simultaneously to hold incompatible perspectives, concealing the tensions by foregrounding some perspectives and backgrounding others. (shrink)

Contrary to conventional wisdom, the earlier Western tradition did not customarily deny souls per se to nonhuman animals; when it denied immortal souls to animals, it sometimes deemed that denial a reason for giving greater consideration to animals in their earthly existence. Nor has the Western tradition uniformly deemed animals intended for human use. Further, there was considerable opposition to the Cartesian view of animals as insentient machines, and—even among those who were convinced—it was not unknown for them to deem (...) it inappropriate to rely on that conviction in the treatment of animals. Moreover, Darwin's theory of evolution had neither a novel nor a positive impact on the way in which animals were to be regarded and treated. The study of the history of animal ethics needs to be rethought in a far more nuanced manner. (shrink)

Hume und Kant werden als Vertreter zweier wesentlich verschiedener Kouzeptionen dargestellt: des Naturalismus und des TransZendentalismus. Ausgehend von einem Vergleich der Art, in der beide sich mit dem Problem des Gegemtandsbezugs von Begriffen und dem Problem der Einheit des Dings in der Maunigfaltigkeit seiner Eigenschaften auseinandersetzen, wird der Gegensatz der beiden Auffassungen dahingehend bestimmt, dass der Naturalismus nach einer Liisung der genannten Probleme mit einzelwisenschaftlichen Mitteln sucht, während nach transzendentalphilosophischer Ansicht philosophische Fragen nicht auf Probleme einer Einzelwissenschaft reduziert werden können. (...) Da jede Em Wissenschaft auf Realitiitsvoraussetzungen beret, die in ihrem m e n nicht mehr gerechtfertigt werden, withered die Transzendentalphilosophie nach den Bedingungen der Möglichkeit von Realitätsannahmen im allgemeinen frat, ist sie dem Naturalisms überlebenden. (shrink)

A step-by-step guide to develop your idea from the first spark to the finished product, with charming illustrations recalling the whimsy and imagination of childhood.

Explains why the debate initiated by Stephen Lloyd Smith’s plea to jettison the so-called ‘Standard Account of Method’ ––the conventional wisdom of how research philosophy and methodology ought to be taught to management students––is of the utmost importance to the teaching of management studies in British universities. Identifies a fully-developed presentation of the SAM framework in a well-considered and widely-used textbook––‘Research Methods for Managers’ by John Gill and Phil Johnson––and demonstrates that the book’s argument is both logically and scholarly defective. (...) Identifies the SAM as a form of dogmatic rationalism; one that is oblivious to the possibility of applying deductive inference in the service of a critical rationalism. Outlines the logical role of deductive testing in empirical research and demonstrates that there need be no great divide between nomothetic and ideographic research problems once appropriate distinctions are drawn between different forms of explanation. Nonetheless, questions the relevance of these research problems to the concerns of practising managers by highlighting the contrast, as made by philosophers, between social science and social technology. Concludes that the continued presentation and defence of the SAM, as the conventional wisdom of how research philosophy and methodology ought to be taught to management students, is thoroughly lamentable. (shrink)

We prove that there exists a noncomputable c.e. real which is low for weak 2-randomness, a definition of randomness due to Kurtz, and that all reals which are low for weak 2-randomness are low for Martin-Löf randomness.