The author considers the model-theoretic character of proofs and disproofs by means of attempted counterexample constructions, distinguishes this proof format from formal derivations, then contrasts two approaches to semantic tableaux proposed by Beth and Lambert-van Fraassen. It is noted that Beth's original approach has not as yet been provided with a precisely formulated rule of closure for detecting tableau sequences terminating in contradiction. To remedy this deficiency, a technique is proposed to clarify tableau operations.

One of the main features that distinguish modern novel from traditional one is the use of new narrative techniques such as monologue, flow of consciousness, leitmotiv and intertextuality. These techniques relate to new approaches that take shape in formal elements such as time, characters and event patterns that make up the modern novel. Which expression technique is used in the work is often related to the form and content of the novel. This research examines the Kevâbîsu Beyrût, which uses modern (...) and post modern expression techniques in the Arab novels of the last century, in the context of the content of the work and reveals the appropriateness of the techniques used for the purpose of the work. The authors of the novel, autobiographical, tried to convey the feelings of a civil war in many ways, and remained in the midst of conflicts. The techniques that came to the forefront in his narration have added aesthetic value to the composition of the narration and it has become one of the famous Arab novels. The introduction part of the work consists of the factors that prepared the ground for the civil war that took place in Lebanon between 1975 and 1990, the first chapter, the work of writer Gâde es-Semman, the third chapter; Kevâbîsu will investigate the relation between the narrative techniques of the novel Beirut and the factors leading to the writing of the work. (shrink)

Demonstrates the sophistication of Seneca’s Stoicism by setting his contributions within the context of his school. Seneca’s contributions to physics, metaphysics, logic, determinism, theodicy and eschatology are set within a systematic reconstructions of Stoic positions. Ample documentation of sources and scholarship as well as the thematic, handbook-like structure allow for this book to be used as a look-up tool and introduction to the Stoic cosmos and the place of humans within it. -/- There are a number of new readings and (...) interpretations, e.g. concerning the corporeality of the principles; mixture (krasis di’ holôn); the elements and pneuma; identity; the relation of God and humans; Seneca’s attitude to logic; Seneca’s philosophy of time; the role of lekta in defining reality and action; Stoic and Senecan theodicy; Seneca’s contribution to the determinism debate. (shrink)