The many-valued theorem prover 3TAP. 3rd. edition

This is the 3TAP handbook. 3TAP is a many-valued tableau-based theorem prover developed at the University of Karlsruhe. The handbook serves a triple purpose: first, it documents the history and development of the prover 3TAP; second, it provides a user\u27s manual, and third it is intended as a reference manual for future developers, including porting hints. This version of the handbook describes 3TAP Version 3.0 as of September 30,1994

The dissolution of the readymade's semiotic imperative

This thesis investigates the altered status of the readymade in relation to its Duchampian inception. With Fountain, Duchamp's most exemplary readymade, the strategy is semiotic, a commonplace object being deployed as the sign of an 'absent' artwork. The object's inherent qualities are subordinate to its signification of an evident morphological alterity; insofar as any non-art object could have signified this alterity, the actual one chosen could be called a virtual art object. Initially exploiting an opposition between generic (non-art) objects and specific (art) objects, the artistic enunciation of commonplace objects to signify such a perceived morphological alterity has all but vanished. But this diminished alterity has not rendered the readymade an obsolete strategy, the terms of its contemporary application now being understood outside the Duchampian enunciative paradigm. I explore the relationship of this outsideness to the readymade's incipient semiotic imperative, moving from an analysis of more traditionally enunciative works-that is, those which emphasise the necessary (institutional) conditions for artistic expression per se-to an analysis of works which assert other (non-institutional) paradigms for their appraisal. Using Richard Wentworth's photographic work, I compare artistic appropriation with 'civilian' appropriation. I examine how Haim Steinbach's enhanced presentational approach conflates Duchampian virtuality with an object's vernacular identity. I explore the idea of consumption as an artistic procedure in which the exchange value/use value axiom is adopted as an alternative to the art/non art dichotomy inaugurated by Duchamp. Finally, I assess the relevance of these concerns to my own art practice, which has been characterised by the displacement of readymade objects into a hypothetical, and sometimes heterotopian, order of things. I end the thesis by explaining how the recent shift from this object-based strategy to a photographic, poster-based one attempts to make this heterotopian dynamic more explicit

Vico and French romanticism

Thesis (Ph.D.)--Boston UniversityThe object of this study is to examine the principle works of Giambattista Vico (1668-1744), to establish him as a philosopher and theorist of romanticism and to what extent his theories were incorporated in the theories of the French romanticists, especially between the years 1827-1830. Vico posed the basic principles of romanticism by starting with a rejection of Cartesian principles and the classical standards and taste imposed by Aristotle and the Italian classicists. He insisted that history is organic, possessing its peculiar form of evolution and its own laws, as is literature, which reflects the history of the individual and societies. Vico maintained that poetic creativity is primarily intuitive rather than rational. The primitive poet's rich sensory imagination, unique fount of his lyrical creativity, diminished as his rational faculties developed, with a consequent loss of his power to create sublime poetry [TRUNCATED

Seeing sense: the visual culture of provincial Ireland 1896-1906

The objective of this research is to examine what is meant by visual culture in the context of provincial Ireland between 1896 and 1906 and the argue for a particular conception of its meaning, range and influence. This study defines visual culture in terms of the interaction between viewer and viewed, recognising the complex interplay between the images produced and circulated within a culture, the viewing apparatus(es) by which such images are made available and the cultural consciousness, competences and preferences which accompany and influence our viewing experiences. By surveying the reception of Magic Lantern and Cinematograph entertainments in rural Ireland between 1896 and 1906, it becomes possible to suggest a distinction between historically and culturally grounded ‘ways of seeing 5. In presenting evidence of a complex of receptive patterns, it is argued that the exhibition and reception of such media in conjunction with cultural repertoires and ideological influence forms the basis from which the era’s visual culture can be described and mapped

Clayful Phenomenology and material engagement: explorations in contemporary cognitive archaeology

The thesis explores the phenomenology of creative cognition from the viewpoint of a contemporary ceramic workshop. Over five chapters, six clay sculptural projects track the development of a method I call ‘clayful phenomenology’. Informed by Material Engagement Theory (MET), the method takes sculptural development (normally understood to be the realization of an artist’s vision) and reformulates it so that a body of clay becomes a transient, diffuse, knowledge-producing assembly. The reformulation replaces subjective experience with a systemic, phenomenological proposal for extended sentience. Clayful Phenomenology turns material culture from an object of study into a method for investigating its own creative becoming. Videos, photos and written notes record the materialization and evolution of ideation as it is enacted in the gestural relationship between clay and hand, what Malafouris calls “creative thinging”. This account of sculpting by sculpting gives unique access to the three principles of MET and focuses on how: 1. thoughts, feelings and sensations establish themselves through gestural activity in the workshop rather than neural activity in the brain, thus extending the mind; 2. intention develops through the making and breaking of habitual practices imbuing material with agency; 3. signification, enacted and ideated through material change, enables each project to learn itself into existence. Clayful phenomenology gives reason to question the meaning of ‘cognitive’ in ‘cognitive archaeology’ by suggesting the discipline might move away from retrofitting cognitive science models to past human thinking and towards using the archaeological study of material culture to challenge neuro-centric conceptions of the mind. The first three chapters develop the method by elaborating five contemporary examples of creative thinging. The final two chapters introduce a form of experimental cognitive archaeology during which clayful phenomenology explores the enactive signification of a prehistoric artefact: a Jōmon flame pot. This diffractive analogical approach does not attempt to uncover past meanings but to make sense of the archaeological record by creating new experiences of its traces in the present. The thesis concludes with a review of extended sentience in relation to the ownership of feelings and letting go of affective intentions

Social Inequality and Diversity of Families Working Report (April 2010)

In this state‐of‐art report we focus on some of the more relevant issues from the perspective of social inequality and families within and across European societies. We begin by addressing the three main topics included in this existential field by the Family Platform Project: migration, poverty, family violence. Additionally, we will look at two key issues which are important in contextualizing and discussing the above‐mentioned topics. First, we will summarize recent trends in social inequality in European societies. Secondly, we will review some of existing research on the relationship between social inequalities and families, by examining the impact of social inequality on family forms and dynamics as well as the transmission and reproduction of inequalities within families. Social inequality shapes family life, but families and their members must also be seen as actors in the system of inequality (transmitting inequalities to subsequent generations, reproducing them within the home and through their networks, and resisting the effects of inequality). Research review in this existential field was carried out separately on each of the abovementioned topics. Migration, poverty and family violence are large and autonomous fields of research which do not have common theoretical and methodological underpinnings or empirical data sets. For this report it was therefore important to grasp the major trends and findings within each research topic before moving on to broader conclusions on research into social inequalities and diversity of families in Europe.FAMILYPLATFORM (SSH‐2009‐3.2.2 Social platform on research for families and family policies): funded by the European Union’s 7th Framework Programme for 18 months (October 2009 – March 2011)

Examining adaptation studies in and through the Decadent aesthetics of J. - K. Huysmans’ À Rebours

This thesis sets in dialogue concepts from Decadent and Adaptation Studies within the arena of Huysmans’ novel À rebours as an extended case study. Examining this text as and containing versions of what might be argued to be adaptation, the research explores border zones of contemporary Adaptation Studies, using this as an alternate approach to examining specific types of intertextuality within this novel as the ‘breviary of the Decadence.’ In finding conceptual inherencies between Decadent themes and aspects of adaptation, and considering Huysmans’ own preoccupations through the framework of his oeuvre and biography, an argument is proposed which reads the adaptations in À rebours as detailing Huysmans’ experiment with Decadence. À rebours is posited as both being, containing, and allegorising adaptation(s) which are defined by and a part of Decadent aesthetics. Ideas such as artifice, ornamentation, decay, curation, the mise-en-scène, the memory palace, entropy, and embodiment all contribute to exploring what adaptation means for the Decadent figures of author and character in À rebours. The adaptations proposed and identified diversify and add to the repository of potential forms of adaptation, as well as providing new conceptual models for particular versions and aspects of adaptation. The work examines adaptation avant la lettre in a specific aesthetic and authorial context, and tests current and new methodologies for the study of adaptation, whilst expanding the terminology for how Adaptation Studies theorises adaptation, adaptations, their reception, and their significance for adapters

On Business Analytics: Dynamic Network Analysis for Descriptive Analytics and Multicriteria Decision Analysis for Prescriptive Analytics.

Ferry Jules. Collèges communaux. — Classement des professeurs. In: Bulletin administratif de l'instruction publique. Tome 24 n°467, 1881. pp. 836-842