Several authors have argued that a version of Curry's paradox involving validity motivates rejecting the structural rule of contraction. This paper criticizes two recently suggested alternative responses to “validity Curry.” There are three salient stages in a validity Curry derivation. Rejecting contraction blocks the first, while the alternative responses focus on the second and third. I show that a distinguishing feature of validity Curry, as contrasted with more familiar forms of Curry's (...) paradox, is that paradox arises already at the first stage. Accordingly, blocking the second or third stages won't suffice for resolving the paradox. (shrink)

Emotions are an integral part of human cognition and they guide not only our understanding of the world but also our actions within it. As such, whether we soothe or flame an emotion is not inconsequential. Recent work in conversational AI has focused on responding empathetically to users, validating and soothing their emotions without a real basis. This AI-aided emotional regulation can have negative consequences for users and society, tending towards a one-noted happiness defined as only the absence of "negative" (...) emotions. We argue that we must carefully consider whether and how to respond to users' emotions. (shrink)

In recent years, live imaging has been adopted to study stem cells in their native environment at cellular resolution. In the skeletal muscle field, this has led to visualising the initial events of muscle repair in mouse, and the entire regenerative response in zebrafish. Here, we review recent discoveries in this field obtained from live imaging studies. Tracking of tissue resident stem cells, the satellite cells, following injury has captured the morphogenetic dynamics of stem/progenitor cells as they facilitate repair. Asymmetric (...) satellite cell division generated a clonogenic progenitor pool, providing in vivo validation for this mechanism. Furthermore, there is an emerging role of stem/progenitor cell guidance at the injury site by cellular protrusions. This review concludes that live imaging is a critical tool for discovering the distinct processes that occur during regeneration, emphasising the importance of imaging in diverse animal models to capture the entire scope of stem cell functions. (shrink)

We need to distinguish between the claim that engagement with a fiction requires imagination, and the claim that such engagement requires empathetic identification with characters. Argues that the first claim is certainly true. What of the second? Some criticism of it is valid; there are occasions on which we engage with a fiction perfectly well without empathising. Still, empathy is important for engaging with some parts of some fictions; The author illustrates this with Anne Brontë's The Tenant of Windfell Hall.

In lieu of an abstract, here is a brief excerpt of the content:Gregory Currie TEXT WITHOUT CONTEXT: SOME ERRORS OF STANLEY FISH "Intuition told him that the vast ineptitude of the venture would serve as proof that no fraud was afoot." —Jorge Luis Borges, "Tom Castro, the Implausible Imposter," in A Universal History ofInfamy There are those of us who seek unity, universality, patterns of invariance in any diverse multitude of particulars. With the interpretation of texts, the diversity is evident, (...) the unity, universality and invariance less so. Still, we have the text itself, a sequence of determinately meaningful signs, independent of, and a constraint on, the activities of interpreters. We universalists might want more than that, but it's a start. It's a start some people are not prepared to give us. Stanley Fish is one of them. According to him we are looking for something which does not exist, and which we do not need. I shall argue that Fish is wrong on both counts. According to Stanley Fish, there are no constraints on interpretation that transcend particular, local interpretive communities. Indeed, there is no truth or validity that is community transcendent, no standard of lightness, proof or confirmation that has any warrant other than community approval. Intellectual ascendency is always ultimately a matter of rhetorical power, and the locus of power shifts as the norms of the community change. Yet we need not worry that this implies any dangerous kind ofrelativism or subjectivism. Each ofus is deeply immersed Philosophy and Literature, © 1991, 15: 212-228 Gregory Currie213 in his or her own community. Our thoughts, intentions, and actions gain their very identity from the structure of public, communitarian relations we enter into, and the community imposes on us a tight structure of norms and intellectual options that "situate" us (a favored word in the Fish vocabulary) in such a way that it is always clear what interpretive move is appropriate.1 Fish is no epistemological anarchist in the style of Feyerabend: it is not the case, for him, that "anything goes." There is always a clear distinction between what goes and what does not; it is just that the rules, the structure, the hierarchy of options are not invariant across time or communities.2 Now we do it like this, tomorrow we may do it like that; we do it this way, they do it that way. Wherever you are, the rules are always clear, but the rules depend on where you are. I shall call this thesis "internalism." It bears some resemblance to views of the later Wittgenstein, and rather closely parallels Thomas Kuhn's theory of scientific paradigms. It has a negative and a positive aspect. The negative aspect is that community-specific constraints on interpretation are all we have. The positive aspect is that they are all we need. Is internalism correct? I say it is not. I say that the positive claim is false, because internal constraints alone can never answer the relativist's challenge, when that challenge is properly understood; more about that in a moment. But this merely serves to highlight the importance of the negative thesis: if that is correct then relativism carries the day. So my primary concern here is with the negative thesis. Fish's main argument for the negative thesis is that what seems to most of us to be an obvious external constraint on interpretation—the literal meaning of the text in question—is no such thing. And he bases this claim on some arguments which purport to show that there L· no such thing as literal meaning. So my aim, it emerges at last, is to defend the idea of literal meaning. But first, I shall say something about the question of relativism. II Fish's answer to relativism, it will be remembered, is that interpretive communities constrain the interpretive choices of their members in such away that there can always be seen tobe nonarbitrary ways ofproceeding when it comes to formulating and choosing between interpretive hypotheses. This claim, the positive claim of Fish's internalism, raises two questions: Is Fish right, as a matter of fact, about the ways in which interpretive, and more generally intellectual communities constrain the 214Philosophy and Literature thoughts and actions... (shrink)

Modern editions read vulgate (nominative). This yields a different syntax: a rapid double change of subject or, equivalently, a parenthesis interrupting the flow of the sentence. This possibility, raised and dismissed by Eustathius, goes unmentioned by modern scholars, who are often in general (unlike their second-century counterpart Nicanor) ill-disposed to Homeric parentheses. A survey of Homeric parentheses shows the phenomenon in general and the specific instance postulated at Od. 24.398 to be unobjectionable. The validity of the terms and for (...) Homeric discourse is also defended. (shrink)

A Curry paradox about truth is generated by the following sentence, written on the board in room 101:If the sentence on the board in room 101 is true then 1 ≠ 1.A Curry paradox about validity is generated by the following argument, written on the board in room 102:The argument on the board in room 102 is valid. Therefore, 1 ≠ 1.Though the sentence and the argument generate Curry paradoxes, they also generate more basic paradoxes, in (...) a sense to be made clear. I argue that if we solve these more basic paradoxes, we have solutions to both kinds of Curry paradox. The positive proposal is in part inspired by a brief remark of Gödel’s, that the paradoxes might appear “as something analogous to dividing by zero”—so that the concepts of truth and validity, for example, are everywhere applicable except for certain singular points or singularities. A second central claim is that 'true' and 'valid' are context-sensitive predicates. This contextual-singularity approach to the Curry paradoxes applies also to other paradoxes of truth, validity, denotation, and predicate-extension. So a more general aim of the paper is to provide a unified response to semantic paradox. (shrink)

Curry’s paradox is well known. The original version employed a conditional connective, and is not forthcoming if the conditional does not satisfy contraction. A newer version uses a validity predicate, instead of a conditional, and is not forthcoming if validity does not satisfy structural contraction. But there is a variation of the paradox which uses “external validity”. And since external validity contracts, one might expect the appropriate version of the Curry paradox to be inescapable. (...) In this paper we show that this is not the case. We consider two ways of formalising the notion of external validity, and show that in both of these the paradox is not forthcoming without the appropriate forms of contraction. (shrink)

Nontransitive responses to the validity Curry paradox face a dilemma that was recently formulated by Barrio, Rosenblatt and Tajer. It seems that, in the nontransitive logic ST enriched with a validity predicate, either you cannot prove that all derivable metarules preserve validity, or you can prove that instances of Cut that are not admissible in the logic preserve validity. I respond on behalf of the nontransitive approach. The paper argues, first, that we should reject the (...) detachment principle for naive validity. Secondly, I show how to add a validity predicate to ST while avoiding the dilemma. (shrink)

In this paper, we distinguish two versions of Curry's paradox: c-Curry, the standard conditional-Curry paradox, and v-Curry, a validity-involving version of Curry's paradox that isn’t automatically solved by solving c-curry. A unified treatment of curry paradox thus calls for a unified treatment of both c-Curry and v-Curry. If, as is often thought, c-Curry paradox is to be solved via non-classical logic, then v-Curry may require a lesson about the (...) structure—indeed, the substructure—of the validity relation itself. (shrink)

The perhaps most important criticism of the nontransitive approach to semantic paradoxes is that it cannot truthfully express exactly which metarules preserve validity. I argue that this criticism overlooks that the admissibility of metarules cannot be expressed in any logic that allows us to formulate validity-Curry sentences and that is formulated in a classical metalanguage. Hence, the criticism applies to all approaches that do their metatheory in classical logic. If we do the metatheory of nontransitive logics in (...) a nontransitive logic, however, there is no reason to think that the argument behind the criticism goes through. In general, asking a logic to express its own admissible metarules may not be a good idea. (shrink)

The revisionary approach to semantic paradox is commonly thought to have a somewhat uncomfortable corollary, viz. that, on pain of triviality, we cannot affirm that all valid arguments preserve truth (Beall2007, Beall2009, Field2008, Field2009). We show that the standard arguments for this conclusion all break down once (i) the structural rule of contraction is restricted and (ii) how the premises can be aggregated---so that they can be said to jointly entail a given conclusion---is appropriately understood. In addition, we briefly rehearse (...) some reasons for restricting structural contraction. (shrink)

Curry claims that the positive paradox principle, ` A ⊃ in his elementary statement presentation, ‘is valid in any normal interpretation’ . By previous definition, ‘an interpretation of a system S is a normal interpretation just when the proposition A is true when and only when ` A’ . But his argument to normal validity is interestingly, and relevantly, invalid.

Any theory of truth must find a way around Curry’s paradox, and there are well-known ways to do so. This paper concerns an apparently analogous paradox, about validity rather than truth, which JC Beall and Julien Murzi call the v-Curry. They argue that there are reasons to want a common solution to it and the standard Curry paradox, and that this rules out the solutions to the latter offered by most “naive truth theorists.” To this end (...) they recommend a radical solution to both paradoxes, involving a substructural logic, in particular, one without structural contraction. In this paper I argue that substructuralism is unnecessary. Diagnosing the “v-Curry” is complicated because of a multiplicity of readings of the principles it relies on. But these principles are not analogous to the principles of naive truth, and taken together, there is no reading of them that should have much appeal to anyone who has absorbed the morals of both the ordinary Curry paradox and the second incompleteness theorem. (shrink)

For semantic inferentialists, the basic semantic concept is validity. An inferentialist theory of meaning should offer an account of the meaning of "valid." If one tries to add a validity predicate to one's object language, however, one runs into problems like the v-Curry paradox. In previous work, I presented a validity predicate for a non-transitive logic that can adequately capture its own meta-inferences. Unfortunately, in that system, one cannot show of any inference that it is invalid. (...) Here I extend the system so that it can capture invalidities. (shrink)

Based on his Inclosure Schema and the Principle of Uniform Solution (PUS), Priest has argued that Curry’s paradox belongs to a different family of paradoxes than the Liar. Pleitz (2015, The Logica Yearbook 2014, pp. 233–248) argued that Curry’s paradox shares the same structure as the other paradoxes and proposed a scheme of which the Inclosure Schema is a particular case and he criticizes Priest’s position by pointing out that applying the PUS implies the use of a paraconsistent (...) logic that does not validate Contraction, but that this can hardly seen as uniform. In this paper, we will develop some further reasons to defend Pleitz’ thesis that Curry’s paradox belongs to the same family as the rest of the self-referential paradoxes & using the idea that conditionals are generalized negations. However, we will not follow Pleitz in considering doubtful that there is a uniform solution for the paradoxes in a paraconsistent spirit. We will argue that the paraconsistent strategies can be seen as special cases of the strategy of restricting Detachment and that the latter uniformly blocks all the connective-involving self-referential paradoxes, including Curry’s. (shrink)

Beall and Murzi :143–165, 2013) introduce an object-linguistic predicate for naïve validity, governed by intuitive principles that are inconsistent with the classical structural rules. As a consequence, they suggest that revisionary approaches to semantic paradox must be substructural. In response to Beall and Murzi, Field :1–19, 2017) has argued that naïve validity principles do not admit of a coherent reading and that, for this reason, a non-classical solution to the semantic paradoxes need not be substructural. The aim of (...) this paper is to respond to Field’s objections and to point to a coherent notion of validity which underwrites a coherent reading of Beall and Murzi’s principles: grounded validity. The notion, first introduced by Nicolai and Rossi, is a generalisation of Kripke’s notion of grounded truth, and yields an irreflexive logic. While we do not advocate the adoption of a substructural logic, we take the notion of naïve validity to be a legitimate semantic notion that points to genuine expressive limitations of fully structural revisionary approaches. (shrink)

Tarski's Undefinability of Truth Theorem comes in two versions: that no consistent theory which interprets Robinson's Arithmetic (Q) can prove all instances of the T-Scheme and hence define truth; and that no such theory, if sound, can even express truth. In this note, I prove corresponding limitative results for validity. While Peano Arithmetic already has the resources to define a predicate expressing logical validity, as Jeff Ketland has recently pointed out (2012, Validity as a primitive. Analysis 72: (...) 421-30), no theory which interprets Q closed under the standard structural rules can define nor express validity, on pain of triviality. The results put pressure on the widespread view that there is an asymmetry between truth and validity, viz. that while the former cannot be defined within the language, the latter can. I argue that Vann McGee's and Hartry Field's arguments for the asymmetry view are problematic. (shrink)

This paper treats entailment as a subrelation of classical consequence and deducibility. Working with a Gentzen set-sequent system, we define an entailment as a substitution instance of a valid sequent all of whose premisses and conclusions are necessary for its classical validity. We also define a sequent Proof as one in which there are no applications of cut or dilution. The main result is that the entailments are exactly the Provable sequents. There are several important corollaries. Every unsatisfiable set (...) is Provably inconsistent. Every logical consequence of a satisfiable set is Provable therefrom. Thus our system is adequate for ordinary mathematical practice. Moreover, transitivity of Proof fails upon accumulation of Proofs only when the newly combined premisses are inconsistent anyway, or the conclusion is a logical truth. In either case Proofs that show this can be effectively determined from the Proofs given. Thus transitivity fails where it least matters — arguably, where it ought to fail! We show also that entailments hold by virtue of logical form insufficient either to render the premisses inconsistent or to render the conclusion logically true. The Lewis paradoxes are not Provable. Our system is distinct from Anderson and Belnap''s system of first degree entailments, and Johansson''s minimal logic. Although the Curry set paradox is still Provable within naive set theory, our system offers the prospect of a more sensitive paraconsistent reconstruction of mathematics. It may also find applications within the logic of knowledge and belief. (shrink)

1. As Graham Priest claims in Priest (forthcoming), blocking semantic paradoxes is not hard. It just requires giving up (at least) one of the principles involved in the derivation of the undesirabl...

In this paper, we propose a computational interpretation of the generalized Kreisel–Putnam rule, also known as the generalized Harrop rule or simply the Split rule, in the style of BHK semantics. We will achieve this by exploiting the Curry–Howard correspondence between formulas and types. First, we inspect the inferential behavior of the Split rule in the setting of a natural deduction system for intuitionistic propositional logic. This will guide our process of formulating an appropriate program that would capture the (...) corresponding computational content of the typed Split rule. Our investigation can also be reframed as an effort to answer the following question: is the Split rule constructively valid in the sense of BHK semantics? Our answer is positive for the Split rule as well as for its newly proposed general version called the S rule. (shrink)

Rejecting the Cut rule has been proposed as a strategy to avoid both the usual semantic paradoxes and the so-called v-Curry paradox. In this paper we consider if a Cut-free theory is capable of accurately representing its own notion of validity. We claim that the standard rules governing the validity predicate are too weak for this purpose and we show that although it is possible to strengthen these rules, the most obvious way of doing so brings with (...) it a serious problem: an internalized version of Cut can be proved for a Curry-like sentence. We also evaluate a number of possible ways of escaping this difficulty. (shrink)

A number of authors have argued that Peano Arithmetic supplemented with a logical validity predicate is inconsistent in much the same manner as is PA supplemented with an unrestricted truth predicate. In this paper I show that, on the contrary, there is no genuine paradox of logical validity—a completely general logical validity predicate can be coherently added to PA, and the resulting system is consistent. In addition, this observation lead to a number of novel, and important, insights (...) into the nature of logical validity itself. (shrink)

Consider the following argument written on the board in room 227: 1 = 1. So, the argument on the board in room 227 is not valid. This argument generates a paradox. The aim of this paper is to present a resolution of this paradox and related paradoxes of validity, including a version of the Curry paradox. The proposal stresses the close connections between these validity paradoxes and paradoxes of truth and paradoxes of denotation. So a more general (...) aim is to provide a unified response to semantic paradox. The positive proposal is in part inspired by a brief, tantalizing suggestion of Gödel’s, that the paradoxes might appear “as something analogous to dividing by zero”—so that the concept of validity, for example, is everywhere applicable except for certain singular points or singularities. A second central claim is that ‘valid’ is a context-sensitive predicate. The key notions of this contextual-singularity theory are presented and applied to a variety of cases. Any purported solution to paradox must deal with the phenomenon of revenge, and a response to revenge is outlined. The paper closes with remarks about the accommodation of Tarski’s claim that natural languages are universal. (shrink)

This note motivates a logic for a theory that can express its own notion of logical consequence—a ‘syntactically closed’ theory of naive validity. The main issue for such a logic is Curry’s paradox, which is averted by the failure of contraction. The logic features two related, but different, implication connectives. A Hilbert system is proposed that is complete and non-trivial.

Rejecting structural contraction has been proposed as a strategy for escaping semantic paradoxes. The challenge for its advocates has been to make intuitive sense of how contraction might fail. I offer a way of doing so, based on a “naive” interpretation of the relation between structure and logical vocabulary in a sequent proof system. The naive interpretation of structure motivates the most common way of blaming Curry-style paradoxes on illicit contraction. By contrast, the naive interpretation will not as easily (...) motivate one recent noncontractive approach to the Liar paradox. (shrink)

Deflationists about truth seek to undermine debates about the nature of truth by arguing that the truth predicate is merely a device that allows us to express a certain kind of generality. I argue that a parallel approach is available in the case of logical consequence. Just as deflationism about truth offers an alternative to accounts of truth's nature in terms of correspondence or justification, deflationism about consequence promises an alternative to model-theoretic or proof-theoretic accounts of consequence's nature. I then (...) argue, against considerations put forward by Field and Beall, that Curry's paradox no more rules out deflationism about consequence than the liar paradox rules out deflationism about truth. (shrink)

There have been recent arguments against the idea that substructural solutions are uniform. The claim is that even if the substructuralist solves the common semantic paradoxes uniformly by targeting Cut or Contraction, with additional machinery, we can construct higher-level paradoxes (e.g., a higher-level Liar, a higher-level Curry, and a meta-validity Curry). These higher-level paradoxes do not use metainferential Cut or Contraction, but rather, higher-level Cuts and higher-level Contractions. These kinds of paradoxes suggest that targeting Cut or Contraction (...) is not enough for solving semantic paradoxes; the substructuralist must target Cut of every level or Contraction of every level to solve the paradoxes. Hence, the substructuralists do not provide as uniform of a solution as they hoped they did. In response, we argue that the substructuralists need not admit these additional machineries. In fact, they are redundant in light of the validity predicate (i.e., there is no gain in terms of expressive power). The validity predicate is powerful enough to creep these paradoxes in the object level. The substructuralist does not need to ascend to metainferences to construct higher-level paradoxes. Moreover, there is a reading available to the substructuralist such that all the higher-level structural rules would collapse to instances of the object-level structural rules (e.g., meta \(_n\) Cut and meta \(_n\) Contraction would become instances of Cut and Contraction). We then address Barrio et al.’s worry that the validity predicate has its shortcomings; the substructuralist cannot internalize some of its metarules. We claim that the validity of metarules can be internalized without the need to strengthen the validity predicate. However, a problem raised by Barrio et al. is still present—the problem of internalizing unwanted instances of Cut in Cut-free approaches. We argue that this internalization problem is not unique to the validity predicate; the same problem is present with other problematic predicates, such as the truth predicate and the provability predicate. (shrink)

In this paper, we provide a recipe that not only captures the common structure of semantic paradoxes but also captures our intuitions regarding the relations between these paradoxes. Before we unveil our recipe, we first talk about a well-known schema introduced by Graham Priest, namely, the Inclosure Schema. Without rehashing previous arguments against the Inclosure Schema, we contribute different arguments for the same concern that the Inclosure Schema bundles together the wrong paradoxes. That is, we will provide further arguments on (...) why the Inclosure Schema is both too narrow and too broad. We then spell out our recipe. The recipe shows that all of the following paradoxes share the same structure: The Liar, Curry's paradox, Validity Curry, Provability Liar, Provability Curry, Knower's paradox, Knower's Curry, Grelling-Nelson's paradox, Russell's paradox in terms of extensions, alternative Liar and alternative Curry, and hitherto unexplored paradoxes. We conclude the paper by stating the lessons that we can learn from the recipe, and what kind of solutions the recipe suggests if we want to adhere to the Principle of Uniform Solution. (shrink)

In his seminal paper ‘Reflection on Reflective Equilibrium’ Robert Cummins argued that if intuitions are to serve as reliable guides to philosophical truths then we should be able to check their reliability in particular cases. However, if we can check the reliability of intuitions then that means that we have an independent non-intuitive access to the domain that intuitions are supposed to disclose, which in effect makes intuitions obsolete. Overgaard, Gilbert and Burwood in their book ‘An Introduction to Metaphilosophy’ respond (...) to Cummins’ argument by claiming that at least logical intuitions do not demand independent validation because they provide cases of obvious noncontroversial truths. In this paper I discuss one aspect of the question concerning the reliability of philosophical intuitions. In particular, by relying on the so-called Curry’s paradox, I argue that even the intuitions concerning the validity of the basic logical rules, such as the modus ponens, can be problematized. In this respect, I argue that Cummins’ argument remains a viable challenge for those who think that intuitions provide special and undisputed authority in philosophical theorising. (shrink)

We discuss the principles for a primitive, object-linguistic notion of consequence proposed by ) that yield a version of Curry’s paradox. We propose and study several strategies to weaken these principles and overcome paradox: all these strategies are based on the intuition that the object-linguistic consequence predicate internalizes whichever meta-linguistic notion of consequence we accept in the first place. To these solutions will correspond different conceptions of consequence. In one possible reading of these principles, they give rise to a (...) notion of logical consequence: we study the corresponding theory of validity by showing that it is conservative over a wide range of base theories: this result is achieved via a well-behaved form of local reduction. The theory of logical consequence is based on a restriction of the introduction rule for the consequence predicate. To unrestrictedly maintain this principle, we develop a conception of object-linguistic consequence, which we call grounded consequence, that displays a restriction of the structural rule of reflexivity. This construction is obtained by generalizing Saul Kripke’s inductive theory of truth. Grounded validity will be shown to satisfy several desirable principles for a naïve, self-applicable notion of consequence. (shrink)

In this paper a principle of substitutivity of logical equivalents salve veritate and a version of Leibniz’s law are formulated and each is shown to cause problems when combined with naive truth theories.

In this issue we include contributions from the individuals presiding at the panel All in a Jurnal's Work: A BABEL Wayzgoose, convened at the second Biennial Meeting of the BABEL Working Group. Sadly, the contributions of Daniel Remein, chief rogue at the Organism for Poetic Research as well as editor at Whiskey & Fox , were not able to appear in this version of the proceedings. From the program : 2ND BIENNUAL MEETING OF THE BABEL WORKING GROUP CONFERENCE “CRUISING IN (...) THE RUINS: THE QUESTION OF DISCIPLINARITY IN THE POST/MEDIEVAL UNIVERSITY” SEPTEMBER 21ST, 2012: SESSION 13 MCLEOD C.322, CURRY STUDENT CENTER NORTHEASTERN UNIVERSITY, BOSTON, MA. Traditionally, a wayzgoose was a celebration at the end of a printer’s year, a night off in the late fall before the work began of printing by candlelight. According to the OED, the Master Printer would make for the journeymen “a good Feast, and not only entertains them at his own House, but besides, gives them Money to spend at the Ale-house or Tavern at Night.” Following in this line, continent. proposes in its publication(s) a night out and a good Feast, away from the noxious fumes of the Academy and into a night of revelry which begins, but does not end, at the alehouse or Tavern. continent. proposes that the thinking of the Academy be freed to be thought elsewhere, in the alleys and doorways of the village and cities, encountered not in the strictly defined spaces of the classroom and blackboard (now white) but anticipated and found where thinking occurs. Historically, academic journals have served a different purpose than the Academy itself. Journals (from the Anglo-Fr. jurnal , "a day," from O.Fr. jornel , "day, time; day's work," hence the journalist as writer of the news of the day ) have served as privileged sites for the articulation and concretization of specific modes of knowledge and control (insemination of those ideas has been formalized in the classroom, in seminar). In contrast, the academic journal is post-partum and has been an old-boys club, an insider trading network in which truths are (re)circulated against themselves, forming a Maginot Line against whatever is new, or the distinctly challenging. All in a Jurnal’s Work will discuss (in part) the ramifications of cheap start-up publications that are challenging the traditional ensconced-in-ivory academic journals and their supporting infrastructures. The panel will be seeking a questioning (as a challenging) towards the discipline of knowledge production/fabrication (of truth[s]) and the event of the Academy (and its publications) as it has evolved and continues to (d)evolve. Issues to be discussed will revolve around the power of academic publishing and its origins, hierarchical versus horizontal academic modules (is there a place for the General Assembly in academia?) and the evolving idea of the Multiversity as a site(s) of a (BABELing) multivocality in the wake of the University of Disaster. A CONTINUOUS ACT Nico Jenkins In Pierre Hadot’s extraordinary book, Philosophy as a Way of Life , the practices of philosophy—that is the exercise of what we can term pre-institionalized love of wisdom, what Philo of Alexandria described as a training towards wisdom—are described as, following the Stoics, “a continuous act, permanent and identical with life itself, which had to be renewed at each instant.” This renewal of thinking, this coming to be of being itself —meeting itself on its own ground, concerns the way philosophy is practiced, and more often, taught, or rather not taught. Hadot continues his thinking with a description of what happens to the structure of thought in the medieval ages as it becomes adopted—co-opted— by the university, and by extension, by the institution of the church. Philosophy becomes no longer a way of living, no longer a praxis as such but becomes a condition that is locked in a theoretical construct, one which was literally removed from life (and in life we read then love, wisdom, being etc, also the home, the market, the field, the street) and secured behind the high walls of the monastery (which were shortly replaced by the high walls of the Academy) where thinking unfortunately rests for the most part today. Hadot writes further that this dangerous movement of removal reduces thinking to a theoretical practice akin to the mythical Ouroborous; “education was thus no longer directed toward people who were to be educated with a view to becoming fully developed human beings, but to specialists, in order that they might learn how to train other specialists.” Thought then is trapped behind the walls of the academy, and with the exception of such thinkers as Spinoza, Descartes, and Liebnitz as well as others who think from an outside in, thought remains, in the form of Kant, Fichte, Hegel, a practice reduced or removed from life and restricted to what Schopenhauer will call “mere fencing in front of the mirror.” This is of course the tendency today and philosophy remains, for the most part, a discourse produced and thought inside the academy and disseminated, in seminated through university presses and of course the academic journal. It seems necessary to me that we have to have a place, a return, to a thinking which is closer to the Stoics, closer to the pre-Socratics, to a thinking which is a practice of becoming, a training to think, to live, to die. this is not south romantic than imperative . This thinking is one of a deep ir responsibility because it is not known, it is not figured out. It requires a risk and what Heidegger calls a leap (for there is no bridge to it). I call it irresponsible because for too long sanctioned thought has had as its premise the idea that thinking has a goal, a direction, a telos ; that it is not an activity but a process which gives a product; that the responsibility of thinking in turn demand an answer. In my mind, only freed from that goal can thinking, in contrast, bask in its own thinking, bask in a state in which the unknown can remain unknown, that mystery can rest as mystery. This is not to say that the world needs no answers, or to promote a Whitmanesque “leaning and loafing” as the only valid practice. It is only to say that for too long, thinking has been validated by the academy, by the answerable, by the already decided. To me, this requires—as an answer— the ir responsibility of thought, what Nancy calls, “a world for which all is not already done (played out, finished, enshrined in a destiny), nor entirely still to do (in the future for always future tomorrows).” This is a thinking not sanctified by the academy, made sacred by the church or the palace but rather it takes place on the périphérie , beyond the ring road, in alleyways behind the marketplace, in cafes stained with the syphilitic patina of irresponsible talk, of loose talk, the kind of talk made loose not only by the tankard and the goblet by the practice and training of attuned thinking. continent. was formed as a collective of thinkers coming out of the European Graduate School (also known as the University of Disaster) three years ago, in an effort to combat, or challenge, the dominant paradigm which isolates thinking from the street, from life, from where perhaps wisdom tends to emerge. We feel that not only is the university herself no longer the privileged site of where true thinking takes place—and where only official thought can take place—but that the very artificiality of the academy denies thinking—at times—authentic, thought. Our goal at continent. is to create a media agnostic publication which is rigorous in its intellectual underpinnings but which will remain permanently beyond and out of reach of the academy. Though many of us butter our bread with academic paychecks (maid!) we attempt to keep continent. as a refuge—and a refugee—from the University in ruins, from the University as a site of preformed and institutionalized pre-set dialogues. In concert with other publications-both cyber and print—as well as various blogs we are attempting to re-dialogize the dialogue of thinking. We are attempting both to speak to— as well as with and against —the university as a site of accreted knowledge. We have not been utterly successful and continue to attempt to define what that role of being perpetually beyond is (while still trying to maintain rigorous intellectual standards) but it is just that, a goal, which is perpetually opening, perpetually unanswered, perhaps even by design, perpetually unanswerable. (shrink)

Adding a transparent truth predicate to a language completely governed by classical logic is not possible. The trouble, as is well-known, comes from paradoxes such as the Liar and Curry. Recently, Cobreros, Egré, Ripley and van Rooij have put forward an approach based on a non-transitive notion of consequence which is suitable to deal with semantic paradoxes while having a transparent truth predicate together with classical logic. Nevertheless, there are some interesting issues concerning the set of metainferences validated by (...) this logic. In this paper, we show that this logic, once it is adequately understood, is weaker than classical logic. Moreover, the logic is in a way similar to the paraconsistent logic LP. (shrink)

IntroductionCurry’s paradox is well known.See, e.g., Priest , ch. 6. It comes in both set theoretic and semantic versions. Here we will concentrate on the semantic versions. Historically, these have deployed the notion of truth. Those who wish to endorse an unrestricted T-schema have mainly endorsed a logic which rejects the principle of Absorption, \\models A\rightarrow B\). High profile logics of this kind are certain relevant logics; these have semantics which show how and why this principle is not valid. Of (...) more recent times, paradoxes which are clearly in the same family have been appearing; but these concern the notion of validity itself. The standard semantics of relevant logics seem powerless to address these. But they can. This note shows how. The upshot can be seen as a return to the roots of relevant logic, in a sense to become clear.BackgroundThe Usual Curry ParadoxesLet us start with a couple of standard forms of the paradox. I .. (shrink)

Grice proposed an implicature-based account of irony, according to which ironical utterances give rise to an antiphrasis implicature. This view, which followed the classical rhetorical account of irony, merely transported it from the semantic to the pragmatic domain, which is clearly not enough to answer the questions which the antiphrasis account triggers, i.e., the explanation of how the hearer recovers the antiphrasis interpretation, or of why the speaker should say something when she means exactly the reverse. A final, and devastating, (...) criticism is, quite simply, that not all ironical utterances are assertions and, hence, that the antiphrasis account does not easily apply to them. What is more, some ironical utterances, perhaps most of them, do not at all trigger an antiphrasis. Contemporary accounts of irony, such as those proposed by Sperber and Wilson — the echoic account — or by Currie — the pretence account —, do not meet with the same difficulties. They are generally presented as being able to account for “central” examples of irony and as incompatible..In the present paper, I will show that the echoic and the pretence accounts, far from being incompatible, seem to be applicable to exactly the same set of examples, and that, in fact, some of the strictures levelled by Currie against the echoic account are not in fact valid criticism. Additionally, there are quite a lot of examples of ironical utterances which are not susceptible of an account in terms of echo or pretence. Thus, it seems that neither account can serve as a general account of irony. I finally propose an account in terms of ironical utterancesshowing(rather thansaying) an unreasonable behaviour, belief or reasoning on the part of the target of the irony and plead for a Gricean account, based not on an antiphrasis implicature, but on meaningNN and the recognition of the double-barrelled intention of the speaker. This, clearly, is compatible with the echoic or pretence accounts, though more general than either. (shrink)

An investigation into the assessment of the moral components which were developed by John Wilson, is reported. Tests fox the classroom measurement of two components were developed. The components were; PHIL(CC), the claiming of concern for other persons as an overriding, universal, and prescriptive principle in moral decision making; and; GIG, knowledge of factual information which is relevant in making moral decisions which subjects face. The test development exercise was undertaken at a time when public interest in moral education was (...) growing. The recent demand for moral education in Auckland is reviewed. Over the last fifteen years, since the Currie Commission Report, reports by committees investigating the purposes of schools have increasingly emphasised moral and social education as school objectives. The Department of Education appeared to be sympathetic towards the cause of moral education. The submissions made by the public during the Educational Development Conference suggested that, in general, parents and citizens were prepared to consider innovative programmes in social or moral education, although there was little agreement on what form such training or education should take. A number of teachers were supporters of moral education. The primary purpose in constructing tests for Wilson's components was to provide an instrument which would assist in the evaluation of moral education curriculum projects in Auckland secondary schools. Evidence concerning descriptive, content, domain selection, construct and concurrent validity is presented. Kuder-Richardson, retest and criterion-referenced reliability studies were undertaken. It is claimed that an instrument with sufficient validity and reliability has bean produced for the summative evaluation of curriculum projects, and the diagnostic investigation of class groups using the test as a criterion-referenced measure. Auckland intermediate and secondary school pupils were surveyed, using the tests produced and punch card recording in an attempt to identify significant variables. Over 1,100 children completed the tests under controlled conditions. Significant variables identified using the test for PHIL(CC) were socio-economic level for twelve-year-old children, and intelligence for sixteen-year-old children. The effect of schooling appeared to be significant at all levels. Age does not appear to markedly increase children's concern for others. Age was related to performance in the knowledge test. Older children knew more. Other significant variables for GIG were socio-economic level (middle levels performed better) and the effects of schooling. There was some evidence that females know more than males. In both tests it appears that there is considerable interaction between the variables. Suggestions for the further development of the tests are given. (shrink)

The paper is concerned with a logical difficulty which Lionel Shapiro’s deflationist theory of logical consequence (as well as the author’s favoured, non-deflationist theory) gives rise to. It is argued that Shapiro’s non-contractive approach to solving the difficulty, although correct in its broad outlines, is nevertheless extremely problematic in some of its specifics, in particular in its failure to validate certain intuitive rules and laws associated with the principle of modus ponens. An alternative non-contractive theory is offered which does not (...) suffer from the same problem. (shrink)

Semantic paradoxes pose a real threat to logics that attempt to be capable of expressing their own semantic concepts. Particularly, Curry paradoxes seem to show that many solutions must change our intuitive concepts of truth or validity or impose limits on certain inferences that are intuitively valid. In this way, the logic of a universal language would have serious problems. In this paper, we explore a different solution that tries to avoid both limitations as much as possible. Thus, (...) we argue that it is possible to capture the naive concepts of truth and validity without losing any of the valid inferences of classical logic. This approach is called the Buenos Aires plan. We present the logic of truth and validity, $$\mathsf {STTV}_{\omega }$$ based on the hierarchy of logics $$\textsf{ST}_{\omega }$$, whose validity predicate has the same semantic conditions as the material conditional. We argue that $$\mathsf {STTV}_{\omega }$$ is capable of blocking the problematic results while keeping the deductive power of classical logic as much as possible and offering an adequate semantic theory. On the other hand, one could object that it is not possible to reason with $$\mathsf {STTV}_{\omega }$$ because it is not closed under its logical principles. We respond to this objection and argue that the local characterization of validity shows how to make inferences using the logic $$\textsf{ST}_{\omega }$$. (shrink)

Aim of the paper is to analyze Priest’s dialetheic solution to Curry’s paradox. It has been shown that a solution refuting ABS, accepting MPP and consequently refuting CP meets some difficulties. Here I just concentrate on one difficulty: one obtains the validity of MPP just using FA in the metalanguage, an invalid rule for a dialetheist.

Stephen Barker presents a novel approach to solving semantic paradoxes, including the Liar and its variants and Curry’s paradox. His approach is based around the concept of alethic undecidability. His approach, if successful, renders futile all attempts to assign semantic properties to the paradoxical sentences, whilst leaving classical logic fully intact. And, according to Barker, even the T-scheme remains valid, for validity is not undermined by undecidable instances. Barker’s approach is innovative and worthy of further consideration, particularly by (...) those of us who aim to find a solution without logical revisionism. As it stands, however, the approach is unsuccessful, as I shall demonstrate below. (shrink)

In this paper, we discuss a family of arguments that show the inconsistency of the concept of omniscience, which is one of the central attributes of the theistic God. We introduce three member of this family: Grim’s Divine Liar Paradox, Milne’s Paradox and our own Divine Curry. They can be seen as theological counterparts of well-known semantic paradoxes. We argue that the very simple dialetheist response to these paradoxes doesn’t work well and then introduce our own response based on (...) a framework that we call Logic of Impossible Truths. LIT is a non-dialetheist paraconsistent logic designed to represent divine ominiscience and to preserve the transparency of the truth predicate and which semantics rests on the concept of situation. Since some rules of classical logic are not valid in LIT, we are in a position to block the derivation of the paradoxes. Thus, LIT offers a way out of the dilemma of accepting that there are true contradictions or giving up the idea that there is an all-powerful, omniscient and perfectly good being. (shrink)

In this paper a logic for reasoning disquotationally about truth is presented and shown to have a standard model. This work improves on Hartry Field's recent results establishing consistency and omega-consistency of truth-theories with strong conditional logics. A novel method utilising the Banach fixed point theorem for contracting functions on complete metric spaces is invoked, and the resulting logic is shown to validate a number of principles which existing revision theoretic methods have heretofore failed to provide.

The logic of proofs is a refinement of modal logic introduced by Artemov in 1995 in which the modality ◻A is revisited as ⟦t⟧A where t is an expression that bears witness to the validity of A. It enjoys arithmetical soundness and completeness and is capable of reflecting its own proofs . We develop the Hypothetical Logic of Proofs, a reformulation of LP based on judgemental reasoning.

Historical sciences like paleontology and archaeology have uncovered unimagined, remarkable and mysterious worlds in the deep past. How should we understand the success of these sciences? What is the relationship between knowledge and history? In Scientific Knowledge and the Deep Past: History Matters, Adrian Currie examines recent paleontological work on the great changes that occurred during the Cretaceous period - the emergence of flowering plants, the splitting of the mega-continent Gondwana, and the eventual fall of the dinosaurs - to analyse (...) the knowledge of historical scientists, and to reflect upon the nature of history. He argues that distinctively historical processes are 'peculiar': they have the capacity to generate their own highly specific dynamics and rules. This peculiarity, Currie argues, also explains the historian's interest in narratives and stories: the contingency, complexity and peculiarity of the past demands a narrative treatment. Overall, Currie argues that history matters for knowledge. (shrink)

Why have theorists approached narrative primarily as a form of retrospect? Mark Currie argues that anticipation and other forms of projection into the future are vital for an understanding of narrative and its effects in the world. In a series of arguments and readings, he offers an account of narrative as both anticipation and retrospection, linking fictional time experiments (in Ali Smith, Ian McEwan, Martin Amis and Graham Swift) to exhilarating philosophical themes about presence and futurity. This is an argument (...) that shows that narrative lies at the heart of modern experiences of time, structuring the present, whether personal or collective, as the object of a future memory as much as it records the past. (shrink)