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 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.

In their book, Darwinism Evolving: Systems Dynamics and the Genealogy of Natural Selection, Depew and Weber argued for the need to address the relationship between self-organization and natural selection in evolutionary theory, and focused on seven “visions” for doing so. Recently, Batten et al. in a paper in this journal, entitled “Visions of evolution: self-organization proposes what natural selection disposes,” picked up the issue with the work of Depew and Weber as a starting point. While the efforts of both sets (...) of authors are to be commended, there are substantive errors in both the presentations of my work and of my work with colleagues that undermine theirs. My purpose here is to correct the errors in question, thereby removing the undermining effects and in so doing reassert the position my colleagues and I first advanced more than two decades ago, and that I still stand by and argue for today. The central points are as follows: Self-organization or spontaneous ordering is a process of selection; this selection process is governed by a “physical selection principle”; this principle is the law of maximum entropy production; and natural selection is a special case where the components are replicating. (shrink)

Traces the development of recursive functions from their origins in the late nineteenth century to the mid-1930s, with particular emphasis on the work and influence of Kurt Gödel.

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.

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)

This paper contests Lynne Rudder Baker's claim to have shown that eliminative materialism is bound to fail on purely conceptual grounds. It is argued that Baker's position depends on knowing that certain developments in science cannot occur, and that we cannot know that this is so. Consequently, the sort of argument Baker provides is question-begging. For similar reasons, the confidence that the proponents of eliminative materialism have in it is misplaced.

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

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 ...

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.

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.

Harold Garfinkel wrote a series of highly detailed and lengthy 'memos' during his time (1951-53) at Princeton, where remarkable developments in information theory were taking place. These very substantial manuscripts have been edited by Anne Warfield Rawls in Toward a Sociological Theory of Information (Garfinkel 2008). This paper explores some of the implications of these memos, which we suggest are still relevant for the study of 'information' and information theory. Definitional privilege of 'information' as a technical term has been arrogated (...) by information science, which thereby excludes the interactional occasions of use of 'information'. The authors examine some 'professional' and 'laic' determinations of 'information'. Looking at in situ uses of 'information' shows how dealing with 'information' is characterized by ad hoc practices, such as specifications, 'authorization' and 'particularization' procedures. The authors report on a series of workplace studies in academic libraries, looking at how librarians account for 'information' through practices of classification. Classifying 'information' is a member's local accomplishment, and explicating practices of classifying 'information' undermines the formal-analytic project of the 'Philosophy of Information,' as formulated, for instance, by Luciano Floridi. Implications of Garfinkel's work must remain beyond the purview of information science if it is to maintain its status as the recognized field dealing with 'information'. However, such omission risks 'losing the phenomenon' of 'information': to adapt an argument from Dorothy Smith (Catalyst, 8, pp 39—54, 1974), it trades upon decontextualized uses and recontextualizes 'information' for the practical purposes of formal analysis. (shrink)

The first edition, published by Acumen in 2000, became a prescribed textbook on modal logic courses. The second edition has been fully revised in response to readers' suggestions, including two new chapters on conditional logic, which was not covered in the first edition. "Modal Logics and Philosophy" is a fully comprehensive introduction to modal logics and their application suitable for course use. Unlike most modal logic textbooks, which are both forbidding mathematically and short on philosophical discussion, "Modal Logics and Philosophy" (...) places its emphasis firmly on showing how useful modal logic can be as a tool for formal philosophical analysis. In part 1 of the book, the reader is introduced to some standard systems of modal logic and encouraged through a series of exercises to become proficient in manipulating these logics. The emphasis is on possible world semantics for modal logics and the semantic emphasis is carried into the formal method, Jeffrey-style truth-trees. Standard truth-trees are extended in a simple and transparent way to take possible worlds into account. Part 2 systematically explores the applications of modal logic to philosophical issues such as truth, time, processes, knowledge and belief, obligation and permission. (shrink)