An Interactive Theorem Prover for First-Order Dynamic Logic

Dynamic logic is an extension of modal logic originally intended for reasoning about computer programs. The method of proving correctness of properties of a computer program using the well-known Hoare Logic can be implemented by utilizing the robustness of dynamic logic. For a very broad range of languages and applications in program veri cation, a theorem prover named KIV (Karlsruhe Interactive Veri er) Theorem Prover has already been developed. But a high degree of automation and its complexity make it di cult to use it for educational purposes. My research work is motivated towards the design and implementation of a similar interactive theorem prover with educational use as its main design criteria. As the key purpose of this system is to serve as an educational tool, it is a self-explanatory system that explains every step of creating a derivation, i.e., proving a theorem. This deductive system is implemented in the platform-independent programming language Java. In addition, a very popular combination of a lexical analyzer generator, JFlex, and the parser generator BYacc/J for parsing formulas and programs has been used.

Nietzsche's eternal recurrence of the same : the effect of logic abridgement, contradictions and inconsistencies

I will argue that the doctrine of eternal recurrence of the same no better interprets cosmology than pink elephants interpret zoology. I will also argue that the eternal-reiurn-of-the-same doctrine as what Magnus calls "existential imperative" is without possibility of application and thus futile. To facilitate those arguments, the validity of the doctrine of the eternal recurrence of the same will be tested under distinct rubrics. Although each rubric will stand alone, one per chapter, as an evaluation of some specific aspect of eternal recurrence, the rubric sequence has been selected to accommodate the identification of what I shall be calling logic abridgments. The conclusions to be extracted from each rubric are grouped under the heading CONCLUSION and appear immediately following rubric ten. Then, or if, at the end of a rubric a reader is inclined to wonder which rubric or topic is next, and why, the answer can be found at the top of the following page. The question is usually answered in the very first sentence, but always answered in the first paragraph. The first rubric has been placed in order by chronological entitlement in that it deals with the evolution of the idea of eternal recurrence from the time of the ancient Greeks to Nietzsche's August, 1881 inspiration. This much-recommended technique is also known as starting at the beginning. Rubric 1 also deals with 20th. Century philosophers' assessments of the relationship between Nietzsche and ancient Greek thought. The only experience of E-R, Zarathustra's mountain vision, is second only because it sets the scene alluded to in following rubrics. The third rubric explores .ii?.ih T jc,i -I'w Nietzsche's evaluation of rationality so that his thought processes will be understood appropriately. The actual mechanism of E-R is tested in rubric four...The scientific proof Nietzsche assembled in support of E-R is assessed by contemporary philosophers in rubric five. E-R's function as an ethical imperative is debated in rubrics six and seven.. .The extent to which E-R fulfills its purpose in overcoming nihilism is measured against the comfort assured by major world religions in rubric eight. Whether E-R also serves as a redemption for revenge is questioned in rubric nine. Rubric ten assures that E-R refers to return of the identically same and not merely the similar. In addition to assemblage and evaluation of all ten rubrics, at the end of each rubric a brief recapitulation of its principal points concludes the chapter. In this essay I will assess the theoretical conditions under which the doctrine cannot be applicable and will show what contradictions and inconsistencies follow if the doctrine is taken to be operable. Harold Alderman in his book Nietzsche's Gift wrote, the "doctrine of eternal recurrence gives us a problem not in Platonic cosmology, but in Socratic selfreflection." ^ I will illustrate that the recurrence doctrine's cosmogony is unworkable and that if it were workable, it would negate self-reflection on the grounds that selfreflection cannot find its cause in eternal recurrence of the same. Thus, when the cosmology is shown to be impossible, any expected ensuing results or benefits will be rendered also impossible. The so-called "heaviest burden" will be exposed as complex, engrossing "what if speculations deserving no linkings to reality. To identify ^Alderman p. 84 abridgments of logic, contradictions and inconsistencies in Nietzsche's doctrine of eternal recurrence of the same, I. will examine the subject under the following schedule. In Chapter 1 the ancient origins of recurrence theories will be introduced. ..This chapter is intended to establish the boundaries within which the subsequent chapters, except Chapter 10, will be confined. Chapter 2, Zarathustra's vision of E-R, assesses the sections of Thus Spoke Zarathustra in which the phenomenon of recurrence of the same is reported. ..Nihilism as a psychological difficulty is introduced in this rubric, but that subject will be studied in detail in Chapter 8. In Chapter 2 the symbols of eternal recurrence of the same will be considered. Whether the recurrence image should be of a closed ring or as a coil will be of significance in many sections of my essay. I will argue that neither symbolic configuration can accommodate Nietzsche's supposed intention. Chapter 3 defends the description of E-R given by Zarathustra. Chapter 4, the cosmological mechanics of E-R, speculates on the seriousness with which Nietzsche might have intended the doctrine of eternal recurrence to be taken. My essay reports, and then assesses, the argument of those who suppose the doctrine to have been merely exploratory musings by Nietzsche on cosmological hypotheses...The cosmogony of E-R is examined. In Chapter 5, cosmological proofs tested, the proofs for Nietzsche's doctrine of return of the same are evaluated. This chapter features the position taken by Martin ' Heidegger. My essay suggests that while Heidegger's argument that recurrence of the same is a genuine cosmic agenda is admirable, it is not at all persuasive. Chapter 6, E-R is an ethical imperative, is in essence the reporting of a debate between two scholars regarding the possibility of an imperative in the doctrine of recurrence. Their debate polarizes the arguments I intend to develop. Chapter 7, does E-R of the same preclude alteration of attitudes, is a continuation of the debate presented in Chapter 6 with the focus shifted to the psychological from the cosmological aspects of eternal recurrence of the same. Chapter 8, Can E-R Overcome Nihilism?, is divided into two parts. In the first, nihilism as it applies to Nietzsche's theory is discussed. ..In part 2, the broader consequences, sources and definitions of nihilism are outlined. My essay argues that Nietzsche's doctrine is more nihilistic than are the world's major religions. Chapter 9, Is E-R a redemption for revenge?, examines the suggestion extracted from Thus Spoke Zarathustra that the doctrine of eternal recurrence is intended, among other purposes, as a redemption for mankind from the destructiveness of revenge. Chapter 10, E-R of the similar refuted, analyses a position that an element of chance can influence the doctrine of recurrence. This view appears to allow, not for recurrence of the same, but recurrence of the similar. A summary will recount briefly the various significant logic abridgments, contradictions, and inconsistencies associated with Nietzsche's doctrine of eternal recurrence of the same. In the 'conclusion' section of my essay my own opinions and observations will be assembled from the body of the essay.

Perceptions of creativity in a fashion design course /

Creativity is important to the growth and development of society, to educational institutions, and to the personal growth of individuals. Students who are aware of their creativity are assumed to have innovative ideas and fresh insights. Limited research has been conducted to see if students can identify their own creative abilities. In this study, I explored the students' perceptions and experiences in a fashion design course. This study documented the creative journey from the concept stage of an apparel collection to the final product. Participants were asked to reflect and document their creative moments, describe a creative process, and identify a creative environment. The participants were students who were enrolled in a fashion design course and were asked to participate in this study because they experienced all stages of the design process. Data were collected through personal reflection surveys, focus groups, and personal interviews. Themes of creative moments that emerged from this study were experiences that the participants had as they proceeded through the stages of the fashion design process. All of the participants identified a creative process, but the stages varied for each participant The participants identified themes related to promoting creativity in an environment, including the atmosphere, creative people, teachers, reflection, student needs, and assignments. The participants identified potential barriers in an environment, including rules and guidelines, teachers, the classroom, deadlines and time, feedback, and other important issues. The results ofthis study suggest that there needs to be a better understanding of creativity and greater support and encouragement for creativity in the classroom. Instructors need to support environments that are conducive to creative development and lead to effective learning for students. Students need to learn how to enhance their creativity as well as understand the barriers that block their creative development.

Creativity and the working artist/teacher : the relationships

The purpose of this qualitative study was to understand the relationships between creativity and the working artist/teacher employed by an art college. The topic emerged from my job as an instructor at The Ontario College of Art which was used as the primary data resource and provided the highest caliber of professionals to chose from. Existent data were used to facilitate the study generated by the research of Cawelti, Rappaport, and Wood (1992). The data were generated by a group of 5 faculty members from The University of Northern Iowa, recognized for their expertise in the arts (a painter, a poet, a sculptor, a novelist, and a photographer). They were asked to respond to the following statement: "In as much detail as you like, list the things that you did, thought, or felt the last time you created an artistic product. II Cawelti, Rappaport, and Wood (1992) produced three models of the creative process, each building on the previous, with the resultant third,being in my opinion, an excellent illustration (text/visual) of the creative process. Model three (Appendix D) presented a "multi-dimensional view of the creative process: time, space, observatility, and consciousnessll (p. 90). Model three utilized a visual mapping device along the bottom of the page linked to text segments above. Both the visual and the text were interrelated so that they harmonized into a comprehensive "picture." The parti'cipants of this qualitative study were asked to consider model three from their professional perspective as artist/teachers. The interpretive sciences directed the methodology. The hermeneutic circle of continuous reflection from the whole to the part and back to the whole was an important aspect of the data analyses. Four members of the Foundation Department at The Ontario College of Art were the key participants. A series of conversational interviews was the primary source of data collection, this was augmented by observation, fie,ldnotes, and follow up telephone interviews. Transcripts of interviews were returned to participants for reflection and the telephone was used to discuss any additional -points raised. Analysis consisted of coding and organizing data according to emerging themes. These themes formed the basis for the narrative stories. The text of the narrative stories were given back to each participant for further comment. Revisions were made until both the researcher and the participants felt that the stories reflected reality. The resultant whole was critiqued from the researcher's perspective. The significance of this study was discussed as it pertains to the working artist/teacher and areas in need of further study are pointed out.

Sinister creativity: a phenomenological exploration of some of the experiences and perceptions of six lefthanded visual artists

Six lefthanded artist-educators were interviewed to attempt to discover any patterns t6 their perceptions and experiences. Artists have their own culture and priorities. According to the literature, lefthanded people appear more likely to suffer from dyslexia, allergies, asthma and other auto-immune diseases as well as machinery and equipment injuries. Patterns emerging suggested that lefthanded people indeed suffer more from dyslexia. More startling was the distinct possibility that many artists have traumatic childhood histories. This would commonly include negative school experiences, and for a significant number sexual assault, perceived or actual abandonment by parents, and/or consistently low selfesteem. The researcher discovered possible reasons why creative people frequently have problems at school, why they tend to be rebellious and anti-establishment oriented, how many of them perceive societal rules, and why they are more likely to be lefthanded. These characteristics all have significant implications for art school administrators.

The relationship between creativity and moral judgment

A sample of 50 male and female subjects ranging in age from 12 to 73 were divided into three groups according to the scale of maturity of moral judgment developed by Lawrence Kohlberg. Subjects were also tested on a measure of creativity developed by Torrance after the formulations of Guilford in order to test the hypothesis that the re^- lationship between creativity and maturity of moral judgment is curvilinear. Researchers have failed to develop any working hypothesis concerning the relationship between creativity and moral judgment or postulate any consistent theoretical framework concerning the possible relationship between these two constructs. The empirical investigation involved a scientific testing of a random selection of elementary subjects9 high school adolescents, and creative adults. Tests included Kohlberg8s Moral dilemmas and Guilford's Product Improvement Task. A trend analysis was conducted to reveal whether or not a curvilinear relationship existed between the independent variable (Moral Maturity Stages) and the de~ pe dent variable (creativity performance under each level). Curvilinear trends were observed in two out of four creativity subscales but were not statistically significant. It was concluded that these contradictory findings were due to the relatively small number of subjects tested, the narrow range or moral judgment scores, and the limited conception of creativity defined by the creativity measure used (The Product Improvement Task). It was suggested that an instrument assessing an identity status would be most useful as well as a creativity measure better suited for a theory of creativity essentially developmental in perspective.

Creativity and the schizophrenia spectrum unveiled : the similarities and the differences

This study examined the commonalities and the differences between creativity and the schizophrenia spectrum. The variables measured as potential commonalities and differences were creativity, schizotypy, cognitive inhibition, spatial ability, balancing skills, positive and negative presence, absorption, mystical experiences, childhood abuse, and neuroticism. Three community groups were recruited, consisting of 31 artists, 10 people with schizophrenia, and 31 comparisons matched for gender and age with the artists. A larger student group consisting of 102 students was also recruited in order to examine the correlations among the same variables within a larger, more normative, group. The largest commonality between the artist and the schizophrenic groups, who represented the extreme end of the schizophrenia spectrum, was the propensity to mystical experiences. The greatest differences between the artist and the schizophrenic groups were that the artists were higher in creativity, performed better on spatial abilities, had better balance, had more positive states of presence, and were lower in neuroticism than the schizophrenic group. In the student group, creativity was correlated with spatial ability, positive presence, absorption, and mystical experiences. In addition, creativity was significantly related to two facets of schizotypy, unusual experiences and impulsive nonconformity. In other words, students high in certain facets of schizotypy, who may share certain characteristics with those who have schizophrenia, are higher in creativity, but people who are on the extreme end of the schizophrenia spectrum, who have been diagnosed with schizophrenia, are not. The differences between the artist and schizophrenic groups on spatial ability, balance, sense of presence, and neuroticism may help to determine whether mystical experiences help to integrate creative work or destabilize and disorganize the sense of self. It may be that mystical experiences can be used more positively by the creative individuals than people with schizophrenia, in that artists and people high in creativity were higher in positive traits such as positive presence and lower on negative variables such as neuroticism, and introvertive anhedonia.

Extending relAPS to first order logic

RelAPS is an interactive system assisting in proving relation-algebraic theorems. The aim of the system is to provide an environment where a user can perform a relation-algebraic proof similar to doing it using pencil and paper. The previous version of RelAPS accepts only Horn-formulas. To extend the system to first order logic, we have defined and implemented a new language based on theory of allegories as well as a new calculus. The language has two different kinds of terms; object terms and relational terms, where object terms are built from object constant symbols and object variables, and relational terms from typed relational constant symbols, typed relational variables, typed operation symbols and the regular operations available in any allegory. The calculus is a mixture of natural deduction and the sequent calculus. It is formulated in a sequent style but with exactly one formula on the right-hand side. We have shown soundness and completeness of this new logic which verifies that the underlying proof system of RelAPS is working correctly.

Smart girls : a deconstructive discourse analysis of smartness

This project is a deconstructive discourse analysis of smart girlhood. From a feminist post structural framework, with a focus on discourse and performative identity, I scrutinize three dominant discourses of smartness that are prevalent and academic and popular press. These constructions frame smart girls as being either Losers, Have-It-All Girls, or Imposters. By conducting semi-structured group interviews with six self-identified smart girls, I explore the question of how smart girls perform their smart girl identities in their current sociocultural context. After analyzing the data from the group interviews, I outline five themes that seem to be prevalent in the stories told by the smart girls in this thesis. Finally, I discuss how the performative identities of the smart girls in my thesis appear to be much more complex, multiple and rhizomatic than the discourses under review allow.

The neoliberalization of street vending policy in Lima, Peru: the politics of citizenship. property and public space in the production of a new urban marginality

Neoliberalism is having a significant and global impact on political, social and economic life across spaces. This work illustrates how neoliberalism is attempting to change the ways in which the urban poor - particularly those that participate in street vending - use urban spaces in Lima, Peru. Using municipal policies, newspaper articles and local academic texts I argue that there is a changing marginality in Lima that is being experienced by street vendors, and currently in los canas of Lima. In particular, I discuss formalization, a neoliberal strategy in street vending policy, which is used with eradication and social assistance strategies in attempts to re-regulate street vendors.

Business Card - Singer Sewing Machine Co.

Two business cards for Singer Sewing Machine Co. Incorporated located at 269 St. Paul Street, St. Catharines. One card has the name of a representative for the company, ? Cowan.

L-Fuzzy Relations in Coq

Heyting categories, a variant of Dedekind categories, and Arrow categories provide a convenient framework for expressing and reasoning about fuzzy relations and programs based on those methods. In this thesis we present an implementation of Heyting and arrow categories suitable for reasoning and program execution using Coq, an interactive theorem prover based on Higher-Order Logic (HOL) with dependent types. This implementation can be used to specify and develop correct software based on L-fuzzy relations such as fuzzy controllers. We give an overview of lattices, L-fuzzy relations, category theory and dependent type theory before describing our implementation. In addition, we provide examples of program executions based on our framework.

Raising Creativity: Exploring How Creativity Can be Nurtured in Educational Contexts

The question of how we can encourage creative capacities in young people has never been more relevant than it is today (Pink, 2006; Robinson as cited in TEDtalksDirector, 2007; Eisner as cited in VanderbiltUniversity, 2009). While the world is rapidly evolving, education has the great challenge of adapting to keep up. Scholars say that to meet the needs of 21st century learners, pedagogy must focus on fostering creative skills to enable students to manage in a future we cannot yet envision (Robinson as cited in TEDtalksDirector, 2007). Further, research demonstrates that creativity thrives with autonomy, support, and without judgment (Amabile, 1996; Codack [Zak], 2010; Harrington, Block, & Block, 1987; Holt, 1989; Kohn, 1993). So how well are schools doing in this regard? How do alternative models of education nurture or neglect creativity, and how can this inform teaching practice all around? In other words, ultimately, how can we nurture creativity in education? This documentary explores these questions from a scholarly art-based perspective. Artist/researcher/teacher Rebecca Zak builds on her experience in the art studio, academia, and the art classroom to investigate the various philosophies and strategies that diverse educational models implement to illuminate the possibilities for educational and paradigmatic transformation. The Raising Creativity documentary project consists of multiple parts across multiple platforms. There are five videos in the series that answer the why, who, how, what, and now what about creativity in education respectively (i.e., why is this topic important, who has spoken/written on this topic already, how will this issue be investigated this time, what was observed during the inquiry, and now what will this mean going forward?). There is also a self-reflexive blog that addresses certain aspects of the topic in greater depth (located here, on this website) and in the context of Rebecca's lived experience to complement the video format. Together, all video and blog artifacts housed on this website function as a polyptych, wherein the pieces can stand alone individually yet are intended to work together and fulfill the dissertation requirements for Rebecca's doctorate degree in education in reimagined ways.

Receipt from W.H. Eckhardt, Star Music Store, St. Catharines for rent of machine

Receipt from W.H. Eckhardt, Star Music Store, St. Catharines for rent of machine, Feb. 1, 1888.

Province of Ontario Patent issued to Cyrus Dean of St. Catharines for a machine for effecting more perfect combustion of fuel in the furnaces of locomotives

Province of Ontario Patent issued to Cyrus Dean of St. Catharines for a machine for effecting more perfect combustion of fuel in the furnaces of locomotives. This patent was listed in the Records Office of the Registrar General of Canada in Lib. JE, folio 361. This patent is accompanied by a 36 cm. x 57 cm. detailed sketch and explanation of the machine. [Samuel D. Woodruff was the assignee of Cyrus Dean in a in a patent for a rotary washing machine in November of 1869 according to The Commissioners of Patents' Journal by the Great Britain Patent Office], March 23, 1870.