Gene therapy approaches have great promise in the treatment of neurodegenerative disorders and malignant brain tumors. Neuwelt et al. review available viral-mediated gene therapy methods and their blood-brain-barrier (BBB) disruption delivery technique, briefly mentioning nonviral mediated gene therapy methods. This commentary discussed the BBB disruption delivery technique, viral and nonviral mediated gene therapy approaches to Parkinson's disease, and the potential use of antisense oligo to suppress malignant brain tumors.

Epistemological realists have long struggled to explain perceptual error without introducing a tertium quid between perceivers and physical objects. Two leading realist philosophers, Thomas Reid and Everett Hall, agreed in denying that mental entities are the immediate objects of perceptions of the external world, but each relied upon strange metaphysical entities of his own in the construction of a realist philosophy of perception. Reid added ‘visible figures’ to sensory impressions and specific sorts of mental events, while Hall utilized (...) an array of ways that he maintained properties may participate in the world. This paper assesses each realist's attempt to explain perceptual relativity and illusion without contradicting either the science of his time or the structure of common sense. (shrink)

American philosopher Everett W. Hall was among the first epistemologists writing in English to have promoted “representationism,” a currently popular explanation of cognition. According to this school, there are no private sense-data or qualia, because the ascription of public properties that are exemplified in the world of common sense is believed to be sufficient to explain mental content. In this timely volume, Walter Horn, perhaps the foremost living expert on Hall’s philosophy, not only provides copious excerpts from (...) Hall’s works in epistemology, metaphysics, and the philosophy of language--as well as his own commentaries on those writings--but also includes articles by Richard Rorty, Amie Thomasson, Fred Dretske, Thomas Natsoulas, and Romane Clark that are pertinent to Hall’s unique blend of linguistic idealism and intentional, common-sense realism. Covering metaphilosophy, the intentionality of perception, naïve realism, linguistic relativism, and Hall's public disagreements with such luminaries as Moore, Carnap, Wittgenstein, Quine, and Sellars, The Roots of Representationism is essential reading for students of 20th Century analytic philosophy. (shrink)

ExcerptIn a letter to his friend and intellectual collaborator Theodor W. Adorno, on December 25, 1935, Walter Benjamin describes music as a field of inquiry “fairly remote” from his own.1 Several years later, in another letter to Max Horkheimer, he writes that the “state of musical affairs … could not be any more remote” for him.2 Yet despite these claims of unfamiliarity with aurality, there are numerous observations on acoustic phenomena throughout Benjamin's oeuvre. From his early essays on language (...) to his autobiographical studies and late works on critical historiography, Benjamin displays a keen sensitivity to sound that ranges from…. (shrink)

This essay explores some relationships between social structures or systems and the internal psychological structures or systems of individuals. After defining evil, pastoral counseling, and structures or systems, I present examples of persons affected by social systems of power who have sought counseling. I present a form of counseling known as Internal Family System Therapy (IFS) and show with an extended example how I have worked with clients using this approach. In this process the client is guided to use "Self-leadership" (...) in healing and transforming inner conflict between various subpersonalities or "parts." I then compare the IFS approach to one used by mediators in community conflict transformation and peacebuilding. (shrink)

My first section considers Walter J. Ong’s influential analyses of the logical method of Peter Ramus, on whose system Milton based his Art of Logic. The upshot of Ong’s work is that philosophical logic has become a kind monarch over all other discourses, the allegedly timeless and universal method of mapping and diagramming all concepts. To show how Milton nevertheless resists this tyrannical result in his non-Logic writings, my second section offers new readings of Milton’s poems Il Penseroso and (...) Sonnet 16: “On His Blindness”, along with his prose epilogue to his elegies (and thereby the entire collection entitled Poems). These readings attempt to show (1) the original admixing of philosophy and poetry (under the heading of “thoughtfulness”), (2) the shadow-hidden superiority of poetry in connection to the effeminising disability of blindness, and (3) the potential irony of an apology that arguably suggests poetry’s superiority to philosophy. Finally, I rest my case for Milton’s rebellion by offering an interpretation of Paradise Lost which affirms the character of Satan qua dark, queer, poetic figure of classical republicanism. (shrink)

Having elsewhere connected Walter Otto’s interpretation of Dionysus as a politically progressive deity to Huey P. Newton’s vision for the Black Panthers, I here expand this inquiry to a line of Otto-inspired scholarship. First, Alain Daniélou identifies Dionysus and Shiva as the dancing god of a democratic/decolonizing cult oppressed by tyrannical patriarchies. Arthur Evans sharpens this critique of sexism and heteronormativity, concluding that, as Dionysus’s chorus is to Greek tragedy, so Socrates’s circle is to Western philosophy. I thus call (...) for the creation of a hybrid Dionysian-Socratic revolutionary philosophical chorus, modeled on Dionysus Lyseus, wielding philosophical analysis to loosen injustice’s bonds, as a vanguard of social justice. I find a handbook for this chorus’s creation in Euripides’s Bacchae, whose Dionysus is an ally of immigrant women, overthrower of Theban patriarchy, and international revolutionary. Finally, I offer a contemporary example of such a chorus that is based in my hometown in Alabama, namely, the Birmingham Philosophy Guild. (shrink)

Drawing upon the philosophical insights of Friedrich Schlegel, Walter Benjamin, Theodor W. Adorno, and Blixa Bargeld, this book explores the persistence of a critical-deconstructive approach to musical production, consumption, and reception in the German cultural sphere of the last two centuries.

Causation is at once familiar and mysterious. Neither common sense nor extensive philosophical debate has led us to anything like agreement on the correct analysis of the concept of causation, or an account of the metaphysical nature of the causal relation. Causation: A User's Guide cuts a clear path through this confusing but vital landscape. L. A. Paul and Ned Hall guide the reader through the most important philosophical treatments of causation, negotiating the terrain by taking a set of (...) examples as landmarks. They clarify the central themes of the debate about causation, and cover questions about causation involving omissions or absences, preemption and other species of redundant causation, and the possibility that causation is not transitive. Along the way, Paul and Hall examine several contemporary proposals for analyzing the nature of causation and assess their merits and overall methodological cogency.The book is designed to be of value both to trained specialists and those coming to the problem of causation for the first time. It provides the reader with a broad and sophisticated view of the metaphysics of the causal relation. (shrink)

This paper discusses how to define logics as deductive limits of sequences of other logics. The case of da Costa's hierarchy of increasingly weaker paraconsistent calculi, known as $ \mathcal {C}$n, 1 $ \leq$ n $ \leq$ $ \omega$, is carefully studied. The calculus $ \mathcal {C}$$\scriptstyle \omega$, in particular, constitutes no more than a lower deductive bound to this hierarchy and differs considerably from its companions. A long standing problem in the literature (open for more than 35 years) is (...) to define the deductive limit to this hierarchy, that is, its greatest lower deductive bound. The calculus $ \mathcal {C}$min, stronger than $ \mathcal {C}$$\scriptstyle \omega$, is first presented as a step toward this limit. As an alternative to the bivaluation semantics of $ \mathcal {C}$min presented thereupon, possible-translations semantics are then introduced and suggested as the standard technique both to give this calculus a more reasonable semantics and to derive some interesting properties about it. Possible-translations semantics are then used to provide both a semantics and a decision procedure for $ \mathcal {C}$Lim, the real deductive limit of da Costa's hierarchy. Possible-translations semantics also make it possible to characterize a precise sense of duality: as an example, $ \mathcal {D}$min is proposed as the dual to $ \mathcal {C}$min. (shrink)

The main objective o f this descriptive paper is to present the general notion of translation between logical systems as studied by the GTAL research group, as well as its main results, questions, problems and indagations. Logical systems here are defined in the most general sense, as sets endowed with consequence relations; translations between logical systems are characterized as maps which preserve consequence relations (that is, as continuous functions between those sets). In this sense, logics together with translations form a (...) bicomplete category of which topological spaces with topological continuous functions constitute a full subcategory. We also describe other uses of translations in providing new semantics for non-classical logics and in investigating duality between them. An important subclass of translations, the conservative translations, which strongly preserve consequence relations, is introduced and studied. Some specific new examples of translations involving modal logics, many-valued logics, para- consistent logics, intuitionistic and classical logics are also described. (shrink)

This paper introduces new logical systems which axiomatize a formal representation of inconsistency (here taken to be equivalent to contradictoriness) in classical logic. We start from an intuitive semantical account of inconsistent data, fixing some basic requirements, and provide two distinct sound and complete axiomatics for such semantics, LFI1 and LFI2, as well as their first-order extensions, LFI1* and LFI2*, depending on which additional requirements are considered. These formal systems are examples of what we dub Logics of Formal Inconsistency (LFI) (...) and form part of a much larger family of similar logics. We also show that there are translations from classical and paraconsistent first-order logics into LFI1* and LFI2*, and back. Hence, despite their status as subsystems of classical logic, LFI1* and LFI2* can codify any classical or paraconsistent reasoning. (shrink)

After a brief promenade on the several notions of translations that appear in the literature, we concentrate on three paradigms of translations between logics: ( conservative ) translations , transfers and contextual translations . Though independent, such approaches are here compared and assessed against questions about the meaning of a translation and about comparative strength and extensibility of a logic with respect to another.

In this paper we propose a very general de nition of combination of logics by means of the concept of sheaves of logics. We first discuss some properties of this general definition and list some problems, as well as connections to related work. As applications of our abstract setting, we show that the notion of possible-translations semantics, introduced in previous papers by the first author, can be described in categorial terms. Possible-translations semantics constitute illustrative cases, since they provide a new (...) semantical account for abstract logical systems, particularly for many-valued and paraconsistent logics. (shrink)

his paper presents a unified treatment of the propositional and first-order many-valued logics through the method of tableaux. It is shown that several important results on the proof theory and model theory of those logics can be obtained in a general way. We obtain, in this direction, abstract versions of the completeness theorem, model existence theorem (using a generalization of the classical analytic consistency properties), compactness theorem and Lowenheim-Skolem theorem. The paper is completely self-contained and includes examples of application to (...) particular many-valued formal systems. (shrink)

Attempts to comprehend the traumatic significance of Hiroshima in order to construct a new theory of history.

Fish has always been adept at revising his position to incorporate what he’s learned from his critics while repaying the favor by assigning them a position they never took. The latter practice naturally helps conceal the borrowings, but as Fish’s position evolves it becomes progressively difficult to determine who is the author of his essays. I am, of course, gratified to see how much Fish has learned from me. It is salutary to find that Fish is finally just a humble (...) historian working with others at “recovering a system of thought and feeling” that will enable us to establish the historical context of Milton’s most probable intentions and realizing, as many historians of literature don’t, that we can only do so by bringing concepts provided by literary theory—form, function, artistic purpose, and so forth—to bear on the mass of historical materials at our disposal.3 It is also gratifying to see that Fish has discovered the law of context and now realizes that there are no local matters. Had he discovered that earlier, we’d have been spared Aunt Tilly and the discussion of Mr. Collins—as well as the general notion extrapolated from those examples that anything a sizable group decides to do will fly since nothing else constraints interpretation. We’d also have been spared the concepts of reading and affective criticism presented in Fish’s early work and the unchecked linguistic hijinks used to sustain those readings. I derive my deepest pleasure, however, from finding that Fish has finally discovered the conflict of interpretations proper and its primacy—“the resistance offered by one interpretively produced shape to the production of another” —though I must sadly abridge this progress report by noting that he finds himself powerless to do anything with this recognition. That is as it must be, for the most interesting thing about Fish’s borrowings is where he stops—and why he has to. Having let me write the first 5 ½ pages of his reply, he suddenly stops taking dictation so that he can simply reassert, in all its abstract glory, his tried-and-true resolution of all interpretive controversy by community interest. Had he read further, he would have discovered that a good deal more emerges if one attempts to preserve and deal with the conflict of interpretations rather than to do away with it. He would even have discovered my epistemology and would have learned the main lesson—that his position is not an alternative to mine but an early moment it contains and sublates in a larger context.Have taught Fish so much, I found myself, instead, poorly repaid by the position he foists upon me. Constantly caught up in an effort to reiterate the dichotomy on which his entire theorizing depends, Fish’s fixed need is to rework all disputes into an opposition between the party of independent fact-disinterested reason and the party of interest so that he might triumphantly resolve all difficulties by once again discovering the simple fact of interests. Lest this strategy hide behind a common misconception, our debate is not a case where distinct frameworks are simply misreading one another, as they must, but one where one framework must deliberately and seriously misread others since it has no other way to sustain itself. If the account Fish gives of my argument is the way things must look from his framework, all that this fact signifies is the paucity of his framework and its inability to achieve even minimal descriptive adequacy. 3. But even here things are a good deal more complex than Fish imagines. For a good statement of the logic and problems of historical interpretation, see Robert Marsh, “Historical Interpretation and the History of Criticism,” in Literary Criticism and Historical Understanding, ed. Philip Damon , pp. 1-24. (shrink)

This paper briefly outlines some advancements in paraconsistent logics for modelling knowledge representation and reasoning. Emphasis is given on the so-called Logics of Formal Inconsistency (LFIs), a class of paraconsistent logics that formally internalize the very concept(s) of consistency and inconsistency. A couple of specialized systems based on the LFIs will be reviewed, including belief revision and probabilistic reasoning. Potential applications of those systems in the AI area of KRR are tackled by illustrating some examples that emphasizes the importance of (...) a fine-tuned treatment of consistency in modelling reputation systems, preferences, argumentation, and evidence. (shrink)

We propose in this paper a family of algebraic models of ZFC based on the three-valued paraconsistent logic LPT0, a linguistic variant of da Costa and D’Ottaviano’s logic J3. The semantics is given by twist structures defined over complete Boolean agebras. The Boolean-valued models of ZFC are adapted to twist-valued models of an expansion of ZFC by adding a paraconsistent negation. This allows for inconsistent sets w satisfying ‘not (w = w)’, where ‘not’ stands for the paraconsistent negation. Finally, our (...) framework is adapted to provide a class of twist-valued models generalizing Löwe and Tarafder’s model based on logic (PS 3,∗), showing that they are paraconsistent models of ZFC. The present approach offers more options for investigating independence results in paraconsistent set theory. (shrink)

Jonardon Ganeri, Paul Noordhof, and Murali Ramachandran (1996) have proposed a new counterfactual analysis of causation. We argue that this – the PCA-analysis – is incorrect. In section 1, we explain David Lewis’s first counterfactual analysis of causation, and a problem that led him to propose a second. In section 2 we explain the PCA-analysis, advertised as an improvement on Lewis’s later account. We then give counterexamples to the necessity (section 3) and sufficiency (section 4) of the PCA-analysis.

There are two foundational, but not fully developed, ideas in paraconsistency, namely, the duality between paraconsistent and intuitionistic paradigms, and the introduction of logical operators that express meta-logical notions in the object language. The aim of this paper is to show how these two ideas can be adequately accomplished by the Logics of Formal Inconsistency (LFIs) and by the Logics of Formal Undeterminedness (LFUs). LFIs recover the validity of the principle of explosion in a paraconsistent scenario, while LFUs recover the (...) validity of the principle of excluded middle in a paracomplete scenario. We introduce definitions of duality between inference rules and connectives that allow comparing rules and connectives that belong to different logics. Two formal systems are studied, the logics mbC and mbD, that display the duality between paraconsistency and paracompleteness as a duality between inference rules added to a common core– in the case studied here, this common core is classical positive propositional logic (CPL + ). The logics mbC and mbD are equipped with recovery operators that restore classical logic for, respectively, consistent and determined propositions. These two logics are then combined obtaining a pair of logics of formal inconsistency and undeterminedness (LFIUs), namely, mbCD and mbCDE. The logic mbCDE exhibits some nice duality properties. Besides, it is simultaneously paraconsistent and paracomplete, and able to recover the principles of excluded middle and explosion at once. The last sections offer an algebraic account for such logics by adapting the swap-structures semantics framework of the LFIs the LFUs. This semantics highlights some subtle aspects of these logics, and allows us to prove decidability by means of finite non-deterministic matrices. (shrink)

“Trends in Logic XVI: Consistency, Contradiction, Paraconsistency, and Reasoning - 40 years of CLE” is being organized by the Centre for Logic, Epistemology and the History of Science at the State University of Campinas (CLEUnicamp) from September 12th to 15th, 2016, with the auspices of the Brazilian Logic Society, Studia Logica and the Polish Academy of Sciences. The conference is intended to celebrate the 40th anniversary of CLE, and is centered around the areas of logic, epistemology, philosophy and history of (...) science, while bringing together scholars in the fields of philosophy, logic, mathematics, computer science and other disciplines who have contributed significantly to what Studia Logica is today and to what CLE has achieved in its four decades of existence. It intends to celebrate CLE’s strong influence in Brazil and Latin America and the tradition of investigating formal methods inspired by, and devoted to, philosophical views, as well as philosophical problems approached by means of formal methods. The title of the event commemorates one of the three main areas of CLE, what has been called the “Brazilian school of paraconsistency”, combining such a pluralist view about logic and reasoning. (shrink)

Proceedings of the Tenth Brazilian Conference on Mathematical Logic. Coleção CLE, volume 14, 1995. Centro De Lógica, Epistemologia e História da Ciência, Unicamp, Campinas, SP, Brazil.