Mathematical proofs generally allow for various levels of detail and conciseness, such that they can be adapted for a particular audience or purpose. Using automated reasoning approaches for teaching proof construction in mathematics presupposes that the step size of proofs in such a system is appropriate within the teaching context. This work proposes a framework that supports the granularity analysis of mathematical proofs, to be used in the automated assessment of students' proof attempts and for the presentation of hints and (...) solutions at a suitable pace. Models for granularity are represented by classifiers, which can be generated by hand or inferred from a corpus of sample judgments via machine-learning techniques. This latter procedure is studied by modeling granularity judgments from four experts. The results provide support for the granularity of assertion-level proofs but also illustrate a degree of subjectivity in assessing step size. (shrink)

Rigorous formal proof is one of the key techniques in the natural sciences, engineering, and of course also in the formal sciences. Progress in automated reasoning increasingly enables computer systems to support, and even teach, users to conduct formal a.

Traducción de los texto encontrados en Leibniz, G. W. (1890). Die philosophischen Schriften von Gottfried Wilhelm Leibniz. Vol. VII (C. Gerhardt, ed.). Berlin: Weidmannsche Buchhandlung. Sobre el uso de la meditación: pp. 77-80. Sobre la vida feliz: p. 81. Sobre la generosidad: pp. 104-108. Traductor: Marvin Sebastián Estrada López. Revisado por: Andrés Botero Bernal.

An approach to phenomenology, by D. Cairns.--Husserl's critique of psychologism: its historic roots and contemporary relevance, by J. Wild.--The ideal of a presuppositionless philosophy, by M. Farber.--On the intentionality of consciousness, by A. Gurwitsch.--The "reality-phenomenon" and reality, by H. Spiegelberg.--The phenomenological concept of "horizon", by H. Kuhn.--Phenomenology and logical empiricism, by F. Kaufmann.--Phenomenology and the history of science, by J. Klein.--Phenomenology and the social sciences, by A. Schuetz.--Art and phenomenology, by F. Kaufmann.--The relation of science to philosophy in the light (...) of Husserl's thought, by L. O. Kattsoff.--Husserl and the social structure of immediacy, by C. Hartshorne.--A materialist approach to Husserl's philosophy, by V. J. McGill.--Outline-sketch of a system of metaphysics, by W. E. Hocking.--Men and the law, by G. Husserl.--The ghost of modality, by H. Weyl.--Supplement: Grundlegende untersuchungen zum phänomenologischen ursprung der räumlichkeit der natur, by E. Husserl. (shrink)

As the Zika virus pandemic continues to bring worry and fear to health officials and medical scientists, Centers for Disease Control and Prevention (CDC) and World Health Organization (WHO) have recommended that residents of the Zika-infected countries, e.g., Brazil, and those who have traveled to the area should delay having babies which may involve artificial contraceptive, particularly condom. This preventive policy, however, is seemingly at odds with the Roman Catholic Church’s position on the contraceptive. As least since the promulgation of (...) Paul VI’s 1968 encyclical, Humanae Vitae, the Church has explicitly condemned artificial birth control as intrinsic evil. However, the current pontiff, Pope Francis, during his recent visit to Latin America, remarked that the use of artificial contraception may not be in contradiction to the teaching of Humanae Vitae while drawing a parallel between the current Zika Crisis and the 1960’s Belgian Congo Nun Controversy. The pope mentioned that the traditional ethical principle of the lesser of two evils may be the doctrine that justified the exceptions. The authors of this paper attempt to expand the theological rationale of the pope’s suggestion. In so doing, the authors rely on casuistical reasoning as an analytic tool that compares the Belgian Congo Nun case and the given Zika case, and suggest that the former is highly similar to, if not the same as, the latter in terms of normative moral feature. That is, in both cases the use of artificial contraception is theologically justified in reference to the criteria that the doctrine of the lesser of two evils requires. The authors wish that the paper would provide a solid theological-ethical ground based on which condom-use as the most immediate and effective preventive measure can be recommended in numerous Catholic hospitals as well as among Catholic communities in the world, particularly the most Zika-affected and largest Catholic community in the world, Brazil – 123 million present Brazilian citizens are reported to be Roman Catholic. (shrink)

Ethical self-management; an introduction to systematic personality psychology, by M. C. Katz.--Four axiological proofs of the infinite value of man, by R. S. Hartman.--Some thoughts regarding the current philosophy of the behavioral sciences, by C. R. Rogers.--Autonomy and community, by D. Lee.--Synergy in the society and in the individual, by A. H. Maslow.--Human nature: its cause and effect; a theoretical framework for understanding human motivation, by M. C. Katz.--Mental health; a generic attitude, by G. W. Allport.--Love feelings in courtship couples; (...) an analysis, by R. P. Hattis.--Economic policies and human well-being, by W. A. Weisskopf.--The great transformation, by H. F. W. Perk.--Contingencies of reinforcement in the design of a culture, by B. F. Skinner.--For further reading. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Sexual Ethics: A Theological Introduction by Todd A. Salzman and Michael G. Lawler, and: Making Love Just: Sexual Ethics for Perplexing Times by Marvin M. EllisonDarryl W. StephensReview of Sexual Ethics: A Theological Introduction TODD A. SALZMAN and MICHAEL G. LAWLER Washington, DC: Georgetown University Press, 2012. 280 pp. $26.95Review of Making Love Just: Sexual Ethics for Perplexing Times MARVIN M. ELLISON Minneapolis: Fortress Press, 2012. (...) 176 pp. $18.00Intended for “the general educated Catholic population” (xiii), Sexual Ethics: A Theological Introduction (SE) is a masterfully abridged version of the authors’ award-winning 2008 book, The Sexual Person: Toward a Renewed Catholic Anthropology (TSP). Nearly all of the text of Sexual Ethics is common to both volumes, much of it edited for a broader audience. Omitted in Sexual Ethics are about seventy pages presenting contemporary debates between the methods and anthropologies of traditionalists and revisionists (most of TSP chapters 2 and 3). New in Sexual Ethics are “Questions for Reflection” at the end of each chapter and a brief discussion of “conscience” (xxv–xxvi).In both books, the authors offer a “historically conscious and revisionist approach” to Catholic sexual morality (SE, 221). Beginning with “two magisterial principles” in “Catholic moral, sexual tradition”—procreation and the confines of marriage—the authors note different theological bases for these principles—nature and reason, respectively (xiii–xiv)—and propose a significant shift in focus from the “‘nature’ of the act” to “the meaning of the act for the human person” (xvii). Chapter 1, which could stand on its own, provides a helpful, “brief history” of “sexual morality in the Catholic tradition,” undergirding the authors’ historical (in contrast with a classicist) approach. In chapter 2, the theological crux of the argument, Todd Salzman and Michael Lawler proceed to explore methodological developments and tensions in magisterial teaching, choosing “the principle of the human person adequately considered,” theologically articulated in Gaudium et spes, as the basis for their proposal of a “unitive sexual anthropology” (47). This holistic anthropological approach to the sexual person attempts to shift the magisterium’s “focus on acts and absolute norms” in sexual ethics to a method more akin to its social ethics, focusing on general principles, interrelationships, and the common good (59). Central to their [End Page 226] argument is a reworking of the concept of complementarity purged “of every suggestion of either gender or sexual inequality” (63). The remainder of the book illustrates “how these principles apply in real, concrete, particular human relationships” (87).To critique the argument of Sexual Ethics necessarily implicates The Sexual Person, which is beyond the scope of this review. Nevertheless, it is reasonable to ask whether the same argument presented as a “renewed Catholic anthropology” (in TSP) for professional theologians functions equally well as a “theological introduction” to sexual ethics (in SE) for a lay (nonscholarly) audience. Chapter 6, “Artificial Reproductive Technologies,” is the most successful in this regard, exploring a range of ethical concerns (e.g., means versus ends, burden of proof, presumptions against, appropriate cautions, and consideration of the common good) to arrive at a qualified expansion of magisterial teaching, which becomes a guide to personal discernment. Other topics in Sexual Ethics include marriage and contraception (chapter 3), cohabitation and premarital sexuality (chapter 4), and homosexuality (chapter 5).Overall, Sexual Ethics functions better as an introduction to Catholic sexual teaching and moral anthropology than as an introduction to sexual ethics. For example, reworking the concept of “complementarity”—despite the authors’ inclination “to abandon both the word and the idea” (63)—may be necessary for reconstructing Catholic tradition, but is not necessarily the most helpful starting point for sexual ethics. Sexual Ethics will be challenging for readers lacking theological training and will be of most interest to those already committed to and invested in magisterial teaching. My recommendation would be to use The Sexual Person as a teacher’s guide when assigning Sexual Ethics. By any measure, these books present a brilliant, careful, and sophisticated scholarly argument that revises Catholic sexual teaching in important and faithful ways.In Making Love Just: Sexual Ethics for Perplexing Times (MLJ), Marvin Ellison provides an accessible, engaging introduction to sexual ethics for... (shrink)

The application of ontology has thus far [in 1998] been confined almost exclusively to the field of knowledge representation. Ontology has been applied, for example, in the design of medical databases and in the construction of geographical information systems. One area which is naturally suited to ontological analysis is that of the law and of social institutions in general. -/- Legal systems are composed of legal entities, such as laws, contracts, obligations, and rights. Their application yields new categories of entities (...) such as: corporations, trademarks, marriages, and parcels of real estate. The categorization of these entities by different legal systems has not, by-and-large, been conducted in ways which exploit the tools of modern ontology. Consequently, contradictions and inconsistencies often arise in the law when, for instance, one type of entity is forced into two mutually exclusive categories (e.g., when software is considered both patentable and copyrightable). Papers are invited which consider these and related issues from a philosophical point of view. (shrink)

Information is a basic structure of the world, while computation is a process of the dynamic change of information. This book provides a cutting-edge view of world's leading authorities in fields where information and computation play a central role. It sketches the contours of the future landscape for the development of our understanding of information and computation, their mutual relationship and the role in cognition, informatics, biology, artificial intelligence, and information technology. -/- This book is an utterly enjoyable and engaging (...) read which gives readers an opportunity to understand and relate phenomena seemingly unrelated in a completely new light — especially the connections between information, computation, cognition and life. -/- Contents: Cybersemiotics and the Question of Knowledge (Søren Brier) Information Dynamics in a Categorical Setting (Mark Burgin) Mathematics as a Biological Process (G J Chaitin) Information, Causation and Computation (John Collier) From Descartes to Turing: The Computational Content of Supervenience (S Barry Cooper) A Dialogue Concerning Two World Systems: Info-Computational vs Mechanistic (Gordana Dodig-Crnkovic & Vincent C Müller) Does Computing Embrace Self-Organization? (Wolfgang Hofkirchner) Analysis of Information and Computation in Physics Explains Cognitive Paradigms: From Full Cognition to Laplace Determinism to Statistical Determinism to Modern Approach (Vladik Kreinovich, Roberto Araiza & Juan Ferret) Bodies — Both Informed and Transformed Embodied Computation and Information Processing (Bruce J MacLennan) Computation on Information, Meaning and Representations: An Evolutionary Approach (Christophe Menant) Interior Grounding, Reflection, and Self-Consciousness (Marvin Minsky) A Molecular Dynamic Network: Minimal Properties and Evolutionary Implications (Walter Riofrio) Super-recursive Features of Evolutionary Processes and the Models for Computational Evolution (Darko Roglic) Towards a Modeling View of Computing (Oron Shagrir) What's Information, for an Organism or Intelligent Machine? How can a Machine or Organism Mean? (Aaron Sloman) Inconsistent Knowledge as a Natural Phenomenon: The Ranking of Reasonable Inferences as a Computational Approach to Naturally Inconsistent (Legal) Theories (Kees (CNJ) de Vey Mestdagh & Jaap Henk (JH) Hoepman) On the Algorithmic Nature of the World (Hector Zenil & Jean-Paul Delahaye) . (shrink)

In this paper I shall venture into an area with which I am not very familiar and in which I feel far from confident; namely into phenomenology. My main motive is not to get away from standard, boring, methodological questions like those of induction and demarcation; but the conviction that a phenomenological account of the empirical basis forms a necessary complement to Popper's falsificationism. According to the latter, a scientific theory is a synthetic and universal, hence unverifiable proposition. In fact, (...) in order to be technologically useful, a scientific hypothesis must refer to future states-of-affairs; it ought therefore to remain unverified. But in order to be empirical, a theory must bear some kind of relation to factual statements. According to Popper, such a relation can only be one of potential conflict. Thus a theory T will be termed scientific if and only if T is logically incompatible with a so-called basic statement b, where b is both empirically verifiable and empirically falsifiable. In other words: T is scientific if it entails ¬b; where b, hence also ¬b, is an empirically decidable proposition. (shrink)

Individual and Society in Buddhism. W. G. Weeraratne. Metro Printers Ltd., Colombo. 101pp £2.

The problems of this passage were concisely stated by M. Platnauer more than thirty years ago and his suggestions for their solution have been adopted and developed in A. S. F. Gow's magnum opus. Its authority—so the present writer suspects—is liable at this point to eclipse the meaning of the text.

The conceptual framework of behaviorism is reconstructed in a logical scheme rather than along chronological lines. The resulting reconstruction is faithful to the history of behaviorism and yet meets the contemporary challenges arising from cognitive science, psycholinguistics, and philosophy. In this reconstruction, the fundamental premise is that psychology is to be a natural science, and the major corollaries are that psychology is to be objective and empirical. To a great extent, the reconstruction of behaviorism is an elaboration of behaviorist views (...) of what it is for a science to be objective and empirical. The reconstruction examines and evaluates behaviorist positions on observation and the rejection of introspection, the behavioral data language, theory construction, stimulus-response psychology, the organization of behavior, complex processes, agency, and the interpretation of mentalistic language. The resulting reconstruction shows behaviorism to be a pragmatic psychological version of positivism based on a behavioral epistemology. (shrink)

Mathematical modeling is a convenient way for characterization of complex ecosystems. This approach was applied to study the dynamics of zooplankton in Lake Sevan (Armenia) at different stages of anthropogenic eutrophication with the use of a novel method called discrete modeling of dynamical systems with feedback (DMDS). Simulation demonstrated that the application of this method helps in characterization of inter- and intra-component relationships in a natural ecosystem. This method describes all possible pairwise inter-component relationships like “plus–plus,” “minus–minus,” “plus–minus,” “plus–zero,” “minus–zero,” (...) and “zero–zero” that occur in most ecosystems. Based on the results, a working hypothesis was formulated. It was found that the sensitivity to weak external influence in zooplanktons was the greatest during the mid period of eutrophication in Lake Sevan, whereas in the final stages of eutrophication, an outbreak in the biomass production of cyanobacteria was evident. To support this approach, a weak external disturbance in the form of magnetic storm was used to see its effect on species Daphnia longispina sevanica. A statistically significant correlation between the frequency of magnetic storms and the number of this species was revealed and an increase in the number of toxic cyanobacteria species as a consequence of eutrophication. This paper, for the first time, suggests a DMDS method, to diagnose impact of anthropogenic eutrophication on environment. (shrink)

In the article "The Epistemological Nature of Information Modeling" [Gnoseologicheskaia priroda informatsionnogo modelirovaniia], Voprosy filosofii, 1963, No. 10, Academician V. M. Glushkov examines two important methodological aspects of the modeling of natural objects and phenomena in the contemporary natural sciences. The first consists of the informational nature of the models created, and the second of their dynamism. The dynamic nature of today's models in the natural sciences means that it is not so much the material structure of the object that (...) is modeled as its behavior and functions in some sphere of natural phenomena. In this sense, the models under examination may also be termed functional, as distinct from the structural models pertaining to a static description of objects. (shrink)