My paper has two aims. The first is to challenge the widespread assumption that the personified Laws of Athens, whom Socrates gives voice to during the second half of the _Crito express Socrates' own views. I shall argue that the principles which the Laws espouse not only differ from those which Socrates sets out in his own person within the dialogue, but are in fact in conflict with Socrates' states principles. (edited).

A sentence mentioning an object can be regarded as saying any one of several things about that object, without there by being ambiguous. Some of the repercussions of this commonplace observation are recorded, and some critical discussion is provided of views which would appear to go against it.

What is the relation between a whole and its parts? The metaphysics of structure and composition is much discussed in modern philosophy; now Verity Harte provides the first sustained examination of Plato's rich but neglected discussion of the topic, and shows how it can illuminate current debates. This book is an invaluable resource both for scholars of Plato and for modern metaphysicians.

The formula A (it is noncontingent whether A) is true at a point in a Kripke model just in case all points accessible to that point agree on the truth-value of A. We can think of -based modal logic as a special case of what we call the general modal logic of agreement, interpreted with the aid of models supporting a ternary relation, S, say, with OA (which we write instead of A to emphasize the generalization involved) true at a (...) point w just in case for all points x, y, with Swxy, x and y agree on the truth-value of A. The noncontingency interpretation is the special case in which Swxy if and only if Rwx and Rwy, where R is a traditional binary accessibility relation. Another application, related to work of Lewis and von Kutschera, allows us to think of OA as saying that A is entirely about a certain subject matter. (shrink)

In his 1964 note, ‘Two Additions to Positive Implication’, A. N. Prior showed that standard axioms governing conjunction yield a nonconservative extension of the pure implicational intermediate logic OIC of R. A. Bull. Here, after reviewing the situation with the aid of an adapted form of the Kripke semantics for intuitionistic and intermediate logics, we proceed to illuminate this example by transposing it to the setting of modal logic, and then relate it to the propositional logic of what have been (...) called ‘Hilbert algebras with infimum’. (shrink)

For the claim that the satisfaction of certain conditions is sufficient for the application of some concept to serve as part of the (`reductive') analysis of that concept, we require the conditions to be specified without employing that very concept. An account of the application conditions of a concept not meeting this requirement, we call analytically circular. For such a claim to be usable in determining the extension of the concept, however, such circularity may not matter, since if the concept (...) figures in a certain kind of intensional context in the specification of the conditions, the satisfaction of those conditions may not itself depend on the extension of the concept. We put this by saying that although analytically circular, the account may yet not be inferentially circular. (shrink)

For the claim that the satisfaction of certain conditions is sufficient for the application of some concept to serve as part of the (‘reductive’) analysis of that concept, we require the conditions to be specified without employing that very concept. An account of the application conditions of a concept not meeting this requirement, we call analytically circular. For such a claim to be usable in determining the extension of the concept, however, such circularity may not matter, since if the concept (...) figures in a certain kind of intensional context in the specification of the conditions, the satisfaction of those conditions may not itself depend on the extension of the concept. We put this by saying that although analytically circular, the account may yet not be inferentially circular. (shrink)

After an introduction to set the stage, we consider some variations on the reasoning behind Curry's Paradox arising against the background of classical propositional logic and of BCI logic and one of its extensions, in the latter case treating the "paradoxicality" as a matter of nonconservative extension rather than outright inconsistency. A question about the relation of this extension and a differently described (though possibly identical) logic intermediate between BCI and BCK is raised in a final section, which closes with (...) a handful of questions left unanswered by our discussion. (shrink)

An account of desire as a species of belief may owe its appeal to the details of its proposal as to precisely what sort of beliefs desires are to be identified with, and its downfall may be due to those details it does provide. For example, it may be proposed that the desire that α is in fact the belief that it ought to be that α, or is morally good or desirable that it should be the case that α. (...) Here the appeal might be that of forging a link between the holding of a moral belief and the acknowledgment that one has a reason for acting a certain way; and the shortcoming of the suggestion is its evident implausibility: even if the ‘necessity’ direction could be established, having a desire hardly seems sufficient for the holding of any such belief. Again: it might be proposed, perhaps simply to bring some order into the realm of propositional attitudes by reducing some to others, that the belief with which we should identify a’s desire that α is a’s belief that he will or would be happy if α. This proposed identification can be seen to be incorrect by consideration of examples such as the following, due to J. Gosling. An aging and ailing parent might forego numerous pleasures in order that his children should reap the benefits of his saving and have a good start in life – perhaps by receiving an expensive education – after his impending death. Oearly he may want that they should so benefit even if he does not believe in an after-death existence in which he might come to know of, and so take pleasure in, his children’s subsequent well-being. So his wanting that they should prosper cannot consist in his believing that he will be happy if/when they do, since he has no expectation of even being in existence in that eventuality. As Gosling puts it, there is a clear difference between thinking that something’s coming about will bring one pleasure, on the one hand, and viewing the prospect of its coming about with pleasure, on the other. (shrink)

The idea of a property's being supervenient on a class of properties is familiar from much philosophical literature. We give this idea a linguistic turn by converting it into the idea of a predicate symbol's being supervenient on a set of predicate symbols relative to a (first order) theory. What this means is that according to the theory, any individuals differing in respect to whether the given predicate applies to them also differ in respect to the application of at least (...) one of the predicates in the set. The latter relationship we show turns out to coincide with something antecedently familiar from work on definability: with what is called the piecewise (or modelwise) definability, in the theory in question, of the given predicate in terms of those in the set. (shrink)

Was there such a person as Lewis Carroll? An affirmative answer is suggested by the thought that Lewis Carroll was Charles Dodgson, and since there was certainly such a person as Charles Dodgson, there was such a person as Lewis Carroll. A negative answer is suggested by the thought that in arguing thus, the two names ‘Lewis Carroll’ and ‘Charles Dodgson’ are being inappropriately treated as though they were completely on a par: a pseudonym is, after all, a false or (...) fictitious name. Perhaps we should say instead that there was really no such person as Lewis Carroll, but that when Charles Dodgson published under that name, he was pretending that there was, and further, pretending that the works in question formed part of the literary output of this pretendedly real individual. Whether or not this is correct for the case of ‘Lewis Carroll’, I will be suggesting that an account of this second style–a fictionalist account, for short–is appropriate for at least a good many pseudonyms. We shall get to reasons why it might nonetheless not be especially appropriate in the present case in due course: one advantage of the ‘Lewis Carroll’/‘Charles Dodgson’ example, such qualms notwithstanding, is that everyone is familiar not only with both names but with which of them is the pseudonym. Another is that, as we shall have occasion to observe below, Dodgson himself had some interesting views on this particular case of pseudonymy. (shrink)

An account of desire as a species of belief may owe its appeal to the details of its proposal as to precisely what sort of beliefs desires are to be identified with, and its downfall may be due to those details it does provide. For example, it may be proposed that the desire that α is in fact the belief that it ought to be that α, or is morally good or desirable that it should be the case that α. (...) Here the appeal might be that of forging a link between the holding of a moral belief and the acknowledgment that one has a reason for acting a certain way; and the shortcoming of the suggestion is its evident implausibility: even if the ‘necessity’ direction could be established, having a desire hardly seems sufficient for the holding of any such belief. Again: it might be proposed, perhaps simply to bring some order into the realm of propositional attitudes by reducing some to others, that the belief with which we should identify a’s desire that α is a’s belief that he will or would be happy if α. This proposed identification can be seen to be incorrect by consideration of examples such as the following, due to J. Gosling. An aging and ailing parent might forego numerous pleasures in order that his children should reap the benefits of his saving and have a good start in life – perhaps by receiving an expensive education – after his impending death. Oearly he may want that they should so benefit even if he does not believe in an after-death existence in which he might come to know of, and so take pleasure in, his children’s subsequent well-being. So his wanting that they should prosper cannot consist in his believing that he will be happy if/when they do, since he has no expectation of even being in existence in that eventuality. As Gosling puts it, there is a clear difference between thinking that something’s coming about will bring one pleasure, on the one hand, and viewing the prospect of its coming about with pleasure, on the other. (shrink)

ABSTRACT According to Lyman Tower Sargent, utopias are repositories for individual and collective hopes and fears, which sometimes unleash energies that can achieve at least part of what is hoped for. The Australian green bans movement of 1971–75 can be understood as a utopian project in this sense. During this period, the construction workers organized in the New South Wales branch of a labor union, known as the Builders Labourers' Federation, refused to work on ecologically or socially harmful projects and (...) publicly argued for their collective right to socially responsible labor. Coining the term “green bans” to describe environmentally motivated withdrawals of labor, they halted projects worth five billion Australian dollars at 1970s prices. When enthusiastic resident action groups mobilized in support of these bans, the union grew into the core of a more general social movement. The success of the green bans movement suggests that the power of subversive imagining can be especially effective if coupled with the power of workers at the point of production. The movement's basic premise—that workers, acting in the general public interest, should decide what can be built and where—represented a direct challenge to the dominant power relations. Ultimately, such impossible demands could not be conceded either by the employers or by the state. But the practical effects of this utopianism nonetheless secured substantial environmental improvements, which brought the green bans activists significantly closer to their dreams. (shrink)

Section 1 recalls a point noted by A. N. Prior forty years ago: that a certain formula in the language of a purely implicational intermediate logic investigated by R. A. Bull is unprovable in that logic but provable in the extension of the logic by the usual axioms for conjunction, once this connective is added to the language. Section 2 reminds us that every formula is interdeducible with (i.e. added to intuitionistic logic, yields the same intermediate logic as) some conjunction-free (...) formula. Thus it would seem that any detour going via formulas with conjunction can be avoided, which raises a puzzle: how is this consistent with the point from Section 1? Sections 3 and 4 raise and discuss this puzzle. In fact, the puzzle turns out on closer inspection not to be so puzzling after all, but it does serve as a convenient centrepiece around which to organize a discussion of the phenomenon illustrated by the Bull–Prior example. Section 5 notes that Prior's observation can be extended to the case of the result of adding disjunction to Bull's logic, while Section 6 includes some further remarks aimed at diagnosing one source of possible residual puzzlement. A subtext of our discussion—spanning several of the notes—is that this work by Bull and Prior has been overlooked, their results having to be rediscovered, by many algebraists and logicians in more recent years. (shrink)

We assemble material from the literature on matrix methodology for sentential logic—without claiming to present any new logical results—in order to show that Gödel once made (or at least, is quoted as having made) an uncharacteristically ill-considered remark in this area.

Abstractabstract:Marjorie Barnard (1897–1987) and Flora Eldershaw (1897–1956) were prolific Australian authors who co-wrote, under the pseudonym "M. Barnard Eldershaw," five novels and four works of nonfiction published between 1929 and 1947. Their final collaboration, a future fiction entitled Tomorrow and Tomorrow, first appeared in Melbourne in 1947 and was reissued by the London feminist publisher Virago in 1983. Lyman Tower Sargent's bibliography of Australian utopian fiction describes the novel thus: "Dystopia. Public opinion sampling used to limit liberty." This is a (...) reasonable enough shorthand description of the novel's frame narrative, set in the "Tenth Commune" located somewhere in what is now the Riverina district on the border of New South Wales and Victoria, at some time in the twenty-fourth century. This article will argue, however, that the Tenth Commune is closer to a flawed eutopia than an outright dystopia; and that the novel's truly dystopian content lies in its core narrative, Knarf's novelistic account of mid-twentieth century Australia, which culminates in a quasi-apocalyptic destruction by fire of the city of Sydney. The extraordinary violence of this account will be contrasted to the essentially nonviolent character of the Tenth Commune and both will be situated in relation to Barnard's growing involvement in the pacifist Peace Pledge Union. (shrink)

With postmodern societies placing a strong emphasis on making full use of one’s time, it is increasingly common to extol busy individuals as more achieving. In this context, although feeling a social expectation to be busy might imply that individuals are regarded as competent and desirable, its accompanying stressors may also detrimentally impact their mental health. Utilising data from a seven-day diary study, the current research examined the relationship between people’s daily perceived pressure to be busy and their daily emotional (...) wellbeing. Multilevel modelling revealed that daily social pressure to be busy was a significant predictor of daily negative affect, anxiety, and depressive symptoms at the within-person level. Of import, individuals’ trait emotional complexity acceptance moderated these relationships, with those lower on emotional complexity acceptance reporting significantly higher negative affect, anxiety, and depressive symptoms on days they felt greater social pressure to be busy. These effects were not observed among those higher on emotional complexity acceptance. Together, the current findings suggest that social pressure to feel busy is generally related to poorer daily emotional wellbeing, and that those with higher trait emotional complexity acceptance have an advantage of maintaining their emotional wellbeing in the face of such a social pressure. (shrink)

What is the relationship between art history and its objects? Responding to Jaś Elsner’s claim that art-historical writing is inevitably ekphrastic, this essay revisits a site of intense disciplinary anxiety—Johann Joachim Winckelmann’s 1759 description of the Belvedere Torso and its revised version in his 1764 History of Ancient Art. Description has been cast as the “scapegoat” (or pharmakos) of Winckelmann’s art history—that which must be excised yet is fundamental to the operations of the whole. But although it often serves as (...) a site of perceived excess and sublimation in his work, the ekphrastic elements of Winckelmann’s prose are nevertheless some of the most historicist aspects of his scholarship, shaped by a deep engagement with Greco-Roman ekphrastic literature. Description, in this sense, serves as a Platonic pharmakon—both affliction and cure for classical art history’s medial and ontological separation from its ruined and fragmented objects. In Winckelmann’s description of the torso, ekphrasis holds out the potential for the statue’s “completion” (Ergänzung). But understood according to eighteenth-century practices of visual restoration, this raises the question of whether such “whole-making” should be understood as proper or supplemental to the original image. What does it mean to “re-member” the Belvedere Torso through ekphrastic strategies drawn from antiquity itself? And what does this imply for our own textual (and pharmacological) mediations of the visual? (shrink)

It will be an essential resource for philosophers, mathematicians, computer scientists, linguists, or any scholar who finds connectives, and the conceptual issues surrounding them, to be a source of interest.This landmark work offers both ...

This paper recalls some applications of two-dimensional modal logic from the 1980s, including work on the logic of Actually and on a somewhat idealized version of the indicative/subjunctive distinction, as well as on absolute and relative necessity. There is some discussion of reactions this material has aroused in commentators since. We also survey related work by Leslie Tharp from roughly the same period.

In Plato's "Philebus" Socrates and Protarchus dispute whether pleasure, like belief, can be false. Their dispute illustrates a broader pattern of disagreement between them about how to evaluate pleasure. Of two contrasting conceptions of false pleasure-derived from work by Bernard Williams and by Sabina Lovibond respectively-false pleasure of the Lovibond type best answers the challenge to which Protarchus' resistance gives rise. Socrates' own example of false pleasure may be read in this way, in contrast to its prevailing interpretation, and this (...) alternative reading seems better suited to the argument's context, both immediate and distant. (shrink)

Whether assent ("acceptance") and dissent ("rejection") are thought of as speech acts or as propositional attitudes, the leading idea of rejectivism is that a grasp of the distinction between them is prior to our understanding of negation as a sentence operator, this operator then being explicable as applying to A to yield something assent to which is tantamount to dissent from A. Widely thought to have been refuted by an argument of Frege's, rejectivism has undergone something of a revival in (...) recent years, especially in writings by Huw Price and Timothy Smiley. While agreeing that Frege's argument does not refute the position, we shall air some philosophical qualms about it in Section 5, after a thorough examination of the formal issues in Sections 1-4. This discussion draws on - and seeks to draw attention to - some pertinent work of Kent Bendall in the 1970s. (shrink)

Extant semantic theories for languages containing vague expressions violate intuition by delivering the same verdict on two principles of classical propositional logic: the law of noncontradiction and the law of excluded middle. Supervaluational treatments render both valid; many-Valued treatments, Neither. The core of this paper presents a natural deduction system, Sound and complete with respect to a 'mixed' semantics which validates the law of noncontradiction but not the law of excluded middle.

We consider the modal logic of non-contingency in a general setting, without making special assumptions about the accessibility relation. The basic logic in this setting is axiomatized, and some of its extensions are discussed, with special attention to the expressive weakness of the language whose sole modal primitive is non-contingency , by comparison with the usual language based on necessity.

The partitions of a given set stand in a well known one-to-onecorrespondence with the equivalence relations on that set. We askwhether anything analogous to partitions can be found which correspondin a like manner to the similarity relations (reflexive, symmetricrelations) on a set, and show that (what we call) decompositions – of acertain kind – play this role. A key ingredient in the discussion is akind of closure relation (analogous to the consequence relationsconsidered in formal logic) having nothing especially to do (...) with thesimilarity issue, and we devote a final section to highlighting some ofits properties. (shrink)

If a certain semantic relation (which we call 'local consequence') is allowed to guide expectations about which rules are derivable from other rules, these expectations will not always be fulfilled, as we illustrate. An alternative semantic criterion (based on a relation we call 'global consequence'), suggested by work of J.W. Garson, turns out to provide a much better - indeed a perfectly accurate - guide to derivability.