Burgess, J.P. and Rosen, G. Subject with No ObjectElliott, R.Faking Nature.

" Medieval Thought provides a clear and authoritative introduction to an important period in intellectual history. It studies the course of medieval intellectualisation, analysing how tension between the religious and non-religious components of medieval culture resulted in its sophisticated development. The most influential vehicle for medieval intellectualisation was philosophy. Philosophy became the mode of expression in religion, providing religious thinkers with a unifying vocabulary and means of reasoning. In turn philosophers found in religion fertile ground for metaphysical discussion. The initial (...) alliance between philosophy and religion did not, however, hold, for Christianity's necessity for theological strength through uniformity inevitably clashed with the dissenting questioning of philosophy. This book will be accessible to even those with little knowledge of Christian theology. Appendices have been included to help the reader surmount possible difficulties, and no prior knowledge of Latin is assumed. Each chapter ends with a select bibliography to direct the reader toward further study, and an additional, more comprehensive, annotated bibliography is included at the end of the book. (shrink)

Samantha Vice’s proposal on how to live in ‘this strange place’ of contemporary South Africa, includes an appeal to the concepts of shame and silence. In this paper, I use Emmanuel Levinas and Giorgio Agamben to move the discussion of shame from a moral to an existential question. The issue is not about how one should feel, but about the kind of self that whiteness in South Africa makes possible today. Shame desubjectifies. Vice’s recommendation of silence is then taken as (...) witnessing/listening, which I argue grounds the possibility of a recovery of the self. (shrink)

We investigate a SAT-based bounded model checking method for EMTLK that is interpreted over timed models generated by timed interpreted systems. In particular, we translate the existential model checking problem for EMTLK to the existential model checking problem for a variant of linear temporal logic, and we provide a SAT-based BMC technique for HLTLK. We evaluated the performance of our BMC by means of a variant of a timed generic pipeline paradigm scenario and a timed train controller system.

Burgess, J.P. and Rosen, G. Subject with No ObjectElliott, R.Faking Nature.