An investigation of some of the most contentious debates of our time, Galileo's Middle Finger describes Alice Dreger's experiences on the front lines of scientific controversy, where for two decades she has worked as an advocate for victims of unethical research while also defending the right of scientists to pursue challenging research into human identities. Dreger's own attempts to reconcile academic freedom with the pursuit of justice grew out of her research into the treatment of people born intersex (...) (formerly called hermaphrodites). The shocking history of surgical mutilation and ethical abuses conducted in the name of "normalizing" intersex children moved her to become a patient rights' activist. By bringing evidence to physicians and the public, she helped change the medical system. But even as she worked to correct these injustices, Dreger began to witness how some fellow liberal activists, motivated by identity politics, were employing lies and personal attacks to silence scientists whose data revealed inconvenient truths. Troubled, she traveled around the country digging up sources and interviewing the targets of these politically motivated campaigns. Among the subjects she covers in the book are the anthropologist Napoleon Chagnon, falsely accused in a bestselling book of committing genocide against a South American tribe; the psychologist Michael Bailey, accused of abusing transgender women; and the evolutionary biologist E. O. Wilson, accused of fomenting rightwing ideas about human nature. Galileo's Middle Finger describes Dreger's long and harrowing journey back and forth between the two camps for which she felt equal empathy: social justice warriors and researchers determined to put truth before politics. (shrink)

The photograph of Ai Weiwei’s middle finger set against the backdrop of Tiananmen Square has become an icon of politically subversive art. But can we see beyond the middle finger? Here I argue that current theories of political aesthetics operate on an oversimplified dichotomy between two competing paradigms of political art, and that this threatens a more nuanced engagement with contemporary artistic practices. In the first part, I re-examine both the antagonistic relation between art and politics (...) exemplified in Plato's verdict against poetry as a socially corrosive form of imitation as well as the instrumental relation of art and politics developed in Friedrich Schiller’s conception of aesthetic education as a means of social and political reform. Then, drawing on recent work by the controversial Chinese artist, I argue for a model of political art that can account for the more complex interrelation of criticism and cultural affirmation evident in a growing body of politically-oriented art. (shrink)

This paper investigates modular combinations of temporal logic systems. Four combination methods are described and studied with respect to the transfer of logical properties from the component one-dimensional temporal logics to the resulting combined two-dimensional temporal logic. Three basic logical properties are analyzed, namely soundness, completeness, and decidability. Each combination method comprises three submethods that combine the languages, the inference systems, and the semantics of two one-dimensional temporal logic systems, generating families of two-dimensional temporal languages with varying expressivity and varying (...) degrees of transfer of logical properties. The temporalization method and the independent combination method are shown to transfer all three basic logical properties. The method of full join of logic systems generates a considerably more expressive language but fails to transfer completeness and decidability in several cases. So a weaker method of restricted join is proposed and shown to transfer all three basic logical properties. (shrink)

This paper describes a prototype implementation of a Labelled Deduction System for natural language interpretation, where interpretation is taken to be the process of understanding a natural language utterance. The implementation models the process of understanding wh-gap dependencies in questions and relative clauses for a fragment of English. The paper is divided in three main sections. In Section 1, we introduce the basic architecture of the system. Section 2 outlines a prototype implementation of wh-binding and indicates its potential for explanation (...) of linguistic phenomena, and in Section 3 we briefly set the model within a large theoretical perspective, comparing it to other type-logical approaches to natural language analysis. (shrink)

We introduce a methodology whereby an arbitrary logic system L can be enriched with temporal features to create a new system T(L). The new system is constructed by combining L with a pure propositional temporal logic T (such as linear temporal logic with Since and Until) in a special way. We refer to this method as adding a temporal dimension to L or just temporalising L. We show that the logic system T(L) preserves several properties of the original temporal logic (...) like soundness, completeness, decidability, conservativeness and separation over linear flows of time. We then focus on the temporalisation of first-order logic, and a comparison is make with other first-order approaches to the handling of time. (shrink)

Printbegrænsninger: Der kan printes 10 sider ad gangen og max. 40 sider pr. session.

In this paper we study families of resource aware logics that explore resource restriction on rules; in particular, we study the use of controlled cut-rule and introduce three families of parameterised logics that arise from different ways of controlling the use of cut. We start with a formulation of classical logic in which cut is non-eliminable and then impose restrictions on the use of cut. Three Cut-and-Pay families of logics are presented, and it is shown that each family provides an (...) approximation process for full propositional classical logic when the control over the use of cut is progressively weakened. A sound and complete semantics is given for each component of each of the three families of approximated logics. One of these families is shown to possess the uniform substitution property, a new result for approximated reasoning. A tableau based decision procedure is presented for each element of the approximation families and the complexity of each decision procedure is studied. We show that there are families in which every component logic can be decided polynomially. (shrink)

This paper generalises and complements the work on combining temporal logics started by Finger and Gabbay [11, 10]. We present proofs of transference of soundness, completeness and decidability for the temporalisation of logics T for any flow of time, eliminating the original restriction that required linear time for the transference of those properties through logic combination. We also generalise such results to the external application of a multi-modal system containing any number of connectives with arbitrary arity, that respect normality.This (...) generalisation over generic flows of time propagates to other combinations of logics that can be interpreted in terms of temporalisations. In this way, the independent combination of temporal logics is studied over generic flows of time. We show the transfer of soundness, completeness and decidability for independent combination of temporal logics. Finally, we also discuss the independent combination of any finite number of normal multi-modal logics. (shrink)

In this paper we explore a generalization of traditional abduction which can simultaneously perform two different tasks: given an unprovable sequent Γ ⊢ G, find a sentence H such that Γ, H ⊢ G is provable ; given a provable sequent Γ ⊢ G, find a sentence H such that Γ ⊢ H and the proof of Γ, H ⊢ G is simpler than the proof of Γ ⊢ G . We argue that the two tasks should not be distinguished, (...) and present a general procedure for finding suitable hypotheses or lemmas. When the original sequent is provable, the abduced formula can be seen as a cut formula with respect to Gentzen's sequent calculus, so the abduction method is cut-based. Our method is based on the tableau-like system KE and we argue for its advantages over existing abduction methods based on traditional Smullyan-style Tableaux. (shrink)

We introduce a methodology whereby an arbitrary logic system L can be enriched with temporal features to create a new system T(L). The new system is constructed by combining L with a pure propositional temporal logic T (such as linear temporal logic with “Since” and “Until”) in a special way. We refer to this method as “adding a temporal dimension to L” or just “temporalising L”. We show that the logic system T(L) preserves several properties of the original temporal logic (...) like soundness, completeness, decidability, conservativeness and separation over linear flows of time. We then focus on the temporalisation of first-order logic, and a comparison is make with other first-order approaches to the handling of time. (shrink)

ABSTRACT We introduce a two-dimensional temporal logic as a formalism which enables the description of both the history of a world and the evolution of an observer's views about the history. We apply such formalism to the description of certain problems that occur in historical database systems due to updates. The historical dimension describes the history of a world according to an observer's view at a certain moment in time. The transaction dimension describes the evolution of an observer's view; changes (...) can occur in the observer's view of the present and future as well as in his views of the past. The database is seens as an observer of the history of the world. Besides describing the history of the world, the database system can also execute temporal specifications in the form of temporal actions. The two-dimensional formalism is used to describe the effects of updates in the execution of temporal actions. The detection of some problematic effects and its implementation are discussed. (shrink)

The Yoga Sutras are Patanjali's classic on how to experience oneness (Samadhi) within yoga practice. Many serious yoga students want to bring the wisdom of the Sutras to their practice, but often find the text impenetrable and difficult to relate to. The Tantra of the Yoga Sutras remedies this by offering an interpretation that is uniquely relatable, teachable, and accessible. Yogi and tantric master Alan Finger shows contemporary practitioners and students that Samadhi is not something that we strive for (...) in the future, but something that we can experience now. Many interpreters of the Yoga Sutras describe Samadhi as an unreachable goal for the ordinary yogi. Finger's interpretation delivers yoga practices that are doable, with attainable and transformative results. (shrink)

While Vilém Flusser’s writings on (media) philosophy and communication have found a wide readership across the globe, another ‘Flusser’ has been present all along, interwoven perhaps, namely that of the ‘obsessive futurologist’. Flusser, the futurologist, does not only imagine or predict media-technological universes unfolding with, among, and for us, but he, in his insistence that ‘communication is anthropology’, also imagines scenarios of possible worlds to come. In his little-known book Angenommen: Eine Szenenfolge (1989), available in English translation as What If? (...) Twenty-Two Scenarios in Search of Images (2023), he designs sketches of an Anthropocene fraught with nightmares and wonders. What If? offers insight into the radical futures of a slipstream Anthropocene that have to do with speculative design, with Flusser’s concept of design as ‘crafty’ or slippery, and with art and the immense creative potential of failure versus reasonable, ‘good’ computing or calculability. (shrink)

During the summer of 1774, five “electric eels” survived the voyage from Surinam to Charles Towne (Charleston), South Carolina. Naturalists knew that these river fish actually only resembled eels. They also knew that that Carl Linnaeus had recently classified them as Gymnotus electricus (Linnaeus 1766; today they are Electrophorus electricus). But to most people, and even among natural philosophers, they were (and still are) loosely referred to as “eels.” For those willing to pay, a group that included physicians, gentlemen-scientists, and (...) other inquisitive minds, there was an opportunity to observe them. A promotional piece in the June 20, 1774, edition of the South-Carolina Gazette informs interested .. (shrink)

This work studies the structure of proofs containing non-analytic cuts in the cut-based system, a sequent inference system in which the cut rule is not eliminable and the only branching rule is the cut. Such sequent system is invertible, leading to the KE-tableau decision method. We study the structure of such proofs, proving the existence of a normal form for them in the form of a comb-tree proof. We then concentrate on the problem of efficiently computing non-analytic cuts. For that, (...) we study the generalisation of techniques present in many modern theorem provers, namely the techniques of conflict-driven formula learning. (shrink)

A supplementary volume in the series Research in social movements, conflicts and change, containing contributions on the Green movement. Topics covered include: the west European environmental movement; the Green movement in the USSR and Eastern Europe; and the failure of the US Greens.

Yoga practitioners have been using meditation practices for millennia. These practices have evolved as tools for improving health, healing emotional imbalance, and connecting with one's purpose and direction in life. Meditation provides a transcendence of ordinary mental activity into the realm of what is spiritually described as connecting you with pure consciousness. In colloquial terms it could be called finding your "genius," the aspect of yourself that is full of intuition and creativity, insight and purpose, an innate brilliance. Yogis consider (...) it finding the whole of who you are. (shrink)

Inspired by the recent work on approximations of classical logic, we present a method that approximates several modal logics in a modular way. Our starting point is the limitation of the n-degree of introspection that is allowed, thus generating modaln-logics. The semantics for n-logics is presented, in which formulas are evaluated with respect to paths, and not possible worlds. A tableau-based proof system is presented, n-SST, and soundness and completeness is shown for the approximation of modal logics image and image.

In this paper a uniform methodology to perform natural\ndeduction over the family of linear, relevance and intuitionistic\nlogics is proposed. The methodology follows the Labelled\nDeductive Systems (LDS) discipline, where the deductive process\nmanipulates {\em declarative units} -- formulas {\em labelled}\naccording to a {\em labelling algebra}. In the system described\nhere, labels are either ground terms or variables of a given {\em\nlabelling language} and inference rules manipulate formulas and\nlabels simultaneously, generating (whenever necessary)\nconstraints on the labels used in the rules. A set of natural\ndeduction style (...) inference rules is given, and the notion of a\n{\em derivation} is defined which associates a labelled natural\ndeduction style ``structural derivation'' with a set of generated\nconstraints. Algorithmic procedures, based on a technique called\n{\em resource abduction\/}, are defined to solve the constraints\ngenerated within a structural derivation, and their termination\nconditions discussed. A natural deduction derivation is then\ndefined to be {\em correct} with respect to a given substructural\nlogic, if, under the condition that the algorithmic procedures\nterminate, the associated set of constraints is satisfied with\nrespect to the underlying labelling algebra. Finally, soundness\nand completeness of the natural deduction system are proved with\nrespect to the LKE tableaux system \cite{daga:LAD}.\footnote{Full\nversion of a paper presented at the {\em 3rd Workshop on Logic,\nLanguage, Information and Computation\/} ({\em WoLLIC'96\/}), May\n8--10, Salvador (Bahia), Brazil, organised by Univ.\ Federal de\nPernambuco (UFPE) and Univ.\ Federal da Bahia (UFBA), and\nsponsored by IGPL, FoLLI, and ASL.}. (shrink)

Neural networks are widely used in systems of artificial intelligence, but due to their black box nature, they have so far evaded formal analysis to certify that they satisfy desirable properties, mainly when they perform critical tasks. In this work, we introduce methods for the formal analysis of reachability and robustness of neural networks that are modeled as rational McNaughton functions by, first, stating such properties in the language of Łukasiewicz infinitely-valued logic and, then, using the reasoning techniques of such (...) logical system. We also present a case study where we employ the proposed techniques in an actual neural network that we trained to predict whether it will rain tomorrow in Australia. (shrink)