. Book Reviews. International Journal of Philosophical Studies: Vol. 8, No. 1, pp. 125-145.

ABSTRACT Real-time graphical interval logic is a modal logic for reasoning about time in which the basic modality is the interval. The logic differs from other logics in that it has a natural intuitive graphical representation that resembles the timing diagrams drawn by system designers. We have developed an automted deduction system for the logic, which includes a theorem prover and a user interface. The theorem prover checks the validity of proofs in the logic and produces counterexamples to invalid proofs. (...) The user interface includes a graphical editor that enables the user to create graphical formulas on a workstation display, and a database and proof manager that tracks proof dependencies and allows graphical formulas to be stored and retrieved. In this paper we describe the logic, the automated deduction system, and an application to robotics. (shrink)

Differential scanning calorimetry (DSC) has been employed to investigate the glass transition activation energy E g, thermal stability and glass-forming ability (GFA) of Se90In10− x Sb x (x = 0, 2, 4, 6, 8, 10) chalcogenide glasses. DSC runs were performed at six different heating rates. Well-defined endothermic and exothermic peaks were obtained at glass transition and crystallization temperature. The dependence of glass transition temperature T g on heating rate (α), as well as composition of Sb, has been studied. From (...) the dependence of glass transition temperature on heating rate, the E g has been calculated on the basis of the Kissinger [Anal. Chem. 29 (1957) p.1702] and Moynihan [J. Phys. Chem. 78 (1974) p.267] models. Thermal stability has been monitored through the calculation of temperature differences T c–T g, the stability parameter S, and the enthalpy released during crystallization H c. The GFA has been investigated on the basis of the Hruby parameter H r, which is strong indicator of GFA. Results for GFA are in good agreement with fragility index F i calculations, indicating that Se90In6Sb4 is an excellent glass-former. (shrink)

Offering a unique and wide-ranging examination of the theory of knowledge, the new edition of this comprehensive collection deftly blends readings from the foremost classical sources with the work of important contemporary philosophical thinkers. Human Knowledge: Classical and Contemporary Approaches, 3/e, offers philosophical examinations of epistemology from ancient Greek and Roman philosophy ; medieval philosophy ; early modern philosophy ; classical pragmatism and Anglo-American empiricism ; and other influential Anglo-American philosophers. Organized chronologically and thematically, Human Knowledge, 3/e, features exceptionally broad (...) coverage and nontechnical selections that are easily accessible to students. An ideal text for both undergraduate and graduate courses in epistemology, it is enhanced by the editors' substantial general introduction, section overviews, and up-to-date bibliographies. The third edition offers expanded selections on contemporary epistemology and adds selections by Thomas Reid, Richard Rorty, David B. Annis, Richard Feldman and Earl Conee, Ernest Sosa, Barry Stroud, and Louise M. Antony. Human Knowledge, 3/e, offers an unparalleled introduction to our ancient struggle to understand our own intellectual experience. (shrink)

The Theory of Knowledge: A Thematic Introduction explains the main ideas and problems of contemporary epistemology while avoiding technical detail. Comprehensive and rich in illustrations and examples, it highlights contemporary debates over the definition, sources, and limits of human knowledge, and covers major topics including the nature of belief, theories of truth, epistemic justification, the Gettier problem, skepticism, and epistemic rationality. Its discussions identify important connections between traditional epistemological questions and cognitive science, the history of science, the sociology of knowledge, (...) and cross-cultural studies. The book culminates with a focus on questions regarding epistemological method and an examination of the roots of contemporary analytic approaches to epistemology. The authors defend a distinctive position regarding epistemological method, called broad explanationism, that incorporates some insights from naturalism in epistemology. The volume is enhanced by a glossary of important epistemological terms and suggestions for further reading. Easily accessible to beginning students in philosophy, The Theory of Knowledge serves as an ideal text for courses in the theory of knowledge and will also appeal to general readers interested in philosophy. (shrink)

Using covariant derivatives and the operator definitions of quantum mechanics, gauge invariant Proca and Lehnert equations are derived and the Lorenz condition is eliminated in U(1) invariant electrodynamics. It is shown that the structure of the gauge invariant Lehnert equation is the same in an O(3) invariant theory of electrodynamics.

Scientists in many fields are presently giving the closest attention to study of the potentials of the systems approach for understanding what cannot be comprehended with the analytical approach or, as V. A. Engel'gardt has put it, "an accumulation of material in reduced form." This approach is in some degree a gesture of despair. It is quite obvious that we now face the danger of drowning in the abundance of data accumulated in terms of "special" problems not tied into a (...) system, and that this threatens loss of general direction. (shrink)

It would be difficult to name a more interesting scientific problem than that of knowledge of the brain, its overall mechanisms and its molecular nature. Rational management of the brain in the future and utilization of the principles of its functioning to construct various mechanisms to undergird present-day technological progress should follow as direct consequences of development of that sphere of knowledge.

PART I. -- 1. The Asian, European and the American views on destiny -- 2. Biblical fulfilment of destiny -- 3. Destiny in the Ghanaian context -- 4. Mystical effects of names on destiny -- PART II. -- 5. My childhood days and primary education -- 6. My secondary education -- 7. University education -- 8. Employment after graduation, mariage life and children -- 9. Post-graduate studies at the University of Strathclyde, Glascgow, Scotland and working experience -- 10. Resignation from (...) Cocoa processing company and employment at Tema Food Complex Corportion -- 11. Appointment as the manaing director of cocoa processing company, achievements, awards and honours received -- 12. Mysterious occurrences in my life and my wife's miraculous healing -- 13. Do you believe in fasting, prayers and dreams? -- 14. Conclusion. (shrink)

As the title indicates, Sprague’s book is concerned with the "theoretical background" of Plato’s conception of the philosopher-king. This theoretical intention is explained in the preface to consist in focusing on the philosopher-king "as man of art or science, rather than as head of state". It is never quite clear in her account, however, how such a distinction between a theoretical and a political framework is justified. As Sprague’s own discussion in the later portions of the book testifies, the philosophical (...) statesman’s art cannot really be separated from his function as the head of a state. (shrink)

This paper attempts to argue for the theory-ladenness of evidence. It does so by employing and analysing an episode from the history of eighteenth century chemistry. It delineates attempts by Joseph Priestley and Antoine Lavoisier to construct entirely different kinds of evidence for and against a particular hypothesis from a set of agreed upon observations or (raw) data. Based on an augmented version of a distinction, drawn by J. Bogen and J. Woodward, between data and phenomena it is shown that (...) the role of theoretical auxiliary assumptions is very important in constructing evidence for (or against) a theory from observation or (raw) data. In revolutionary situations, rival groups hold radically different theories and theoretical auxiliary assumptions. These are employed to construct very different evidence from the agreed upon set of observations or (raw) data. Hence, theory resolution becomes difficult. It is argued that evidence construction is a multi-layered exercise and can be disputed at any level. What counts as unproblematic observation or (raw) data at one level may become problematic at another level. The contingency of these constructions and the (un)problematic nature of evidence are shown to be partially dependent upon the scientific knowledge that the scientific community possesses. (shrink)

An epistemic logic is built up on the basis of an analysis of two skeptical arguments. the method used is to first construct an inference relation appropriate to epistemic contexts and introduce "a knows that..." as an operator giving rise to sentences closed with respect to this new concept of inference. soundness and completeness proofs are provided using auxiliary three-valued valuations.

The following presents an excerpt from Nishitani Keiji’s “Prajña and Reason” (1979), which can be considered Nishitani’s last attempt to make his case for the importance of the “standpoint of śūnyatā (‘emptiness’)” in confrontation with the history of Western philosophy. The translator’s preface situates “Prajña and Reason” (1) in Nishitani’s oeuvre and (2) in the context of his broader reception of Western thought, before (3) outlining the place of the excerpt within the full study. The translation here excerpts section six (...) and a portion of the final section seven. Where the prior sections develop and motivate his unified interpretation of G. W. F. Hegel (from the Differenzschrift to the Encyclopedia), in this excerpt, Nishitani diagnoses a problem in the relationships between the domains of Absolute Spirit, specifically, philosophy and religion. As argued in the translator’s preface, the arch of this study points to the contributions that religion (and art) make in evincing “living activity,” a “Knowing” that, while perhaps “un-Scientific” and, in that way, a “not-Knowing,” is for all that “Truthful.”. (shrink)

The purpose of this article is to comprehensively review studies that have examined the relation between diet and childhood obesity. The review specifically considers the roles of total energy intake and energy density; dietary composition; individual foods, food groups, and dietary patterns; beverage consumption; and eating behaviors. The paper also discusses methodological considerations and future research directions and concludes by summarizing the evidence presented and highlighting the ethical issues surrounding providing dietary advice.