A.A.V.V.: Reason, morality, and law. The philosophy of John Finnis, J. Keown & R.P. George (eds.), Oxford, Oxford University Press, 2013, 616 pp.

Fil: Massini Correas, Carlos I.. Universidad de Mendoza

An overview of ciao and its design philosophy

We provide an overall description of the Ciao multiparadigm programming system emphasizing some of the novel aspects and motivations behind its design and implementation. An important aspect of Ciao is that, in addition to supporting logic programming (and, in particular, Prolog), it provides the programmer with a large number of useful features from different programming paradigms and styles and that the use of each of these features (including those of Prolog) can be turned on and off at will for each program module. Thus, a given module may be using, e.g., higher order functions and constraints, while another module may be using assignment, predicates, Prolog meta-programming, and concurrency. Furthermore, the language is designed to be extensible in a simple and modular way. Another important aspect of Ciao is its programming environment, which provides a powerful preprocessor (with an associated assertion language) capable of statically finding non-trivial bugs, verifying that programs comply with specifications, and performing many types of optimizations (including automatic parallelization). Such optimizations produce code that is highly competitive with other dynamic languages or, with the (experimental) optimizing compiler, even that of static languages, all while retaining the flexibility and interactive development of a dynamic language. This compilation architecture supports modularity and separate compilation throughout. The environment also includes a powerful autodocumenter and a unit testing framework, both closely integrated with the assertion system. The paper provides an informal overview of the language and program development environment. It aims at illustrating the design philosophy rather than at being exhaustive, which would be impossible in a single journal paper, pointing instead to previous Ciao literature.

A Physicalist View Of The Passion Of Christ

My project in this paper is to provide a plausible idea of Christ’s suffering and death in terms of a theory of the human person. More specifically, I want to contrast two major theories of the person-body relation. One is dualism. Dualism is the view that a human person is composed of two substances, that is, a soul and a body, and he (strictly speaking) is identical with the soul. On the other hand, physicalism is the view that a human person is numerically identical with his biological body. I will argue that dualism is not successful in explaining Christ’s passion for some reasons. Rather, physicalism, as I shall argue, provides a better explanation of how Christ’s physical suffering and death are real just like everyone else’s, so it is philosophically and theologically more plausible than dualism.

Rules and orders relating to a Professor of the Mathematicks, of Natural and Experimental Philosophy, in Harvard College, 18 January 1726

This folder contains a single document describing the "rules and orders" of the Hollis Professor of Mathematics and Natural Philosophy. The document begins by defining the subjects to be taught by the Hollis Professor including natural and experimental philosophy, elements of geometry, and the principles of astronomy and geography. It then outlines the number of public and private lectures to be given to students, how much extra time the professor should spend with students reviewing any difficulties they may encounter understanding class subject matter discussed, and stipulates that the professor's duties shall be restricted solely to his teaching activities and not involve him in any religious activities at the College or oblige him to teach any additional studies other than those specified for the Hollis Professor of Mathematics and Natural Philosophy. Furthermore, the rules establish the professor's salary at £80 per year and allow the professor to receive from students, except those students studying theology under the Hollis Professor of Divinity, an additional fee as determined by the Corporation and Board of Overseers, to supplement his income. Moreover, the rules assert that all professorship candidates selected by the Harvard Corporation must be approved by Thomas Hollis during his lifetime or by his executor after his death. Finally, the rules state that the Hollis professor take an oath to the civil government and declare himself a member of the Protestant reformed religion. This document is signed by Thomas Hollis and four witnesses, John Hollis, Joshua Hollis, Richard Solly, and John Williams.

Primitive culture: researches into the development of mythology, philosophy, religion, art, and custom,

Mode of access: Internet.

The teachings of Zoroaster and the philosophy of the Parsi religion /

Mode of access: Internet.

The history of science and the new humanism,

Mode of access: Internet.

The miracles of Jesus Christ : explained according to their spiritual meaning, in the way of question and answer /

Mode of access: Internet.

A plea for the supremacy of Christ as the king and head of his own church in two sermons, preached in the Presbyterian Church, (Old School) Madison, Wis., March 18, 1860 /

These sermons are a response to the exclusion of slaveowners from communion. The author states why he opposes this practice and interprets New Testament passages on slavery.

Philosophy of science : the link between science and philosophy.

Includes bibliography and index.

Testimonies of the life, character, revelations and doctrines of Mother Ann Lee, and the elders with her, through whom the word of eternal life was opened in this day of Christ's second appearing,

First edition published, Hancock, 1816.