The Fourth Edition of this long-established text retains all the key features of the previous editions, covering the basic topics of a solid first course in ...
The nosological status of the putative clinical entity of compensation neurosis and the relationship of chronic pain complaints to compensation are explored. It is concluded that, using the traditional criteria of diagnostic validity, there is no support for the view that a specific type of psychiatric disorder related to compensation or litigation can be demonstrated. Although it has been generally considered that chronic pain complaints reflect an underlying disease state, recent evidence has shown that in the medico-legal setting the nature (...) of the compensation system and the level of available benefits have a marked influence on both the rate of chronic pain complaints and the duration of pain related work incapacity. (shrink)
Originating in the Sophistic pedagogy of Protagoras and reflecting the sceptical practice of the New Academy, Quintilian's rhetorical pedagogy places a special emphasis on the juxtaposition of multiple, competing claims. This inherently dialogical approach to argumentation is referred to here as controversia and is on full display in Quintilian's own argumentative practice. More important to this paper, however, is the role of controversia as an organizing principle for Quintilian's rhetorical curriculum. In particular, Quintilian introduces the protocols of controversia through a (...) series of progressively more complex exercises in imitation, role-playing, and declamation (now referred to as situational games). All of these exercises are open for adaptation by contemporary teachers who would promote a dialogical approach to argument, i.e. argument with its methods of inquiry, invention, and judgment based on direct interaction with opposing parties. (shrink)
A moral geography -- Democracy, the moral psychology, and the moral individual -- Premoral and moral culture -- Two forms of antimoralism -- Love and money: the contracting role of the family -- Moral reform and pseudo-moralism -- Cool -- Vengeance and the erosion of law -- The academy -- Science and morality.
One of us has previously argued that the Church-Turing Thesis (CTT), contra Elliot Mendelson, is not provable, and is — light of the mind’s capacity for effortless hypercomputation — moreover false (e.g., [13]). But a new, more serious challenge has appeared on the scene: an attempt by Smith [28] to prove CTT. His case is a clever “squeezing argument” that makes crucial use of Kolmogorov-Uspenskii (KU) machines. The plan for the present paper is as follows. After covering some necessary preliminaries (...) regarding the nature of CTT, and taking note of the fact that this thesis is “intrinsically cognitive” (§2), we: sketch out, for context, an open-minded position on CTT and related matters (§3); explain the formal structure of squeezing arguments (§4); after a review of KU-machines, formalize Smith’s case (§5); give our objections to certain assumptions in Smith’s argument (§6); support these objections with some evidence from general but limited-agent problem solving (§7); and explain why Smith’s argument is inconclusive (§8). We end with some brief, concluding remarks, some of which point toward near-future work that will build on the present paper (§9). (shrink)
This paper defends the traditional conception of Church's Thesis (CT), as unprovable but true, against a group of arguments by Gandy, Mendelson, Shapiro and Sieg. The arguments here considered urge that CT is provable or proved. This paper argues, first, that contra-Mendelson, CT does connect a mathematically precise concept (Turing computability) with an intuitive notion (effective calculability). Second, the various ‘proofs’ of (all or half of) CT fail to undermine the traditional conception of CT as unprovable. Either they do not (...) conform to the sense of proof imbedded in the standard conception, or they prove something other than CT. (shrink)
In the early thirties, Church developed predicate calculus within a system based on lambda calculus. Rosser and Kleene developed Arithmetic within this system, but using a Godelization technique showed the system to be inconsistent.Alternative systems to that of Church have been developed, but so far more complex definitions of the natural numbers have had to be used. The present paper based on a system of illative combinatory logic developed previously by the author, does allow the use of the Church numerals. (...) Given a new definition of equality all the Peano-type axioms of Mendelson except one can be derived. A rather weak extra axiom allows the proof of the remaining Peano axiom. Note. The illative combinatory logic used in this paper is similar to the logic employed in computer languages such as ML. (shrink)
Hertz, J. H. Saadya gaon (882-942).--Altmann, A. Saadya's theory of revelation.--Herzog, D. The polemic treatise against Saadya.--Krauss, S. Saadya's Tafsir of the seventy hapax legomena explained and continued.--Leveen, J. Saadya's lost commentary on Leviticus.--Markon, I. (Exodus XXX, 23) explained by Saadya and his successors.--Marmorstein, A. The doctrine of redemption in Saadya's theological system.--Mittwoch, E. An unknown fragment by Gaon Saadya.--Rabin, C. Saadya gaon's Hebrew prose style.--Rawidowicz, S. Saadya's purification of the idea of God.--Robertson, E. The relationship of the Arabic (...) translation of the Samaritan Pentateuch to that of Saadya.--Rosenthal, E. I. J. Saadya's exegesis of the Book of Job.--Stein, S. Saadya's Piyyuṭ of the alphabet.--Weis, P. R. The anti-Ḳaraite tendency of R. Saadya gaon's Arabic version of the Pentateuch.--Wieder, N. Fourteen new Genizah-fragments of Saadya's Siddur together with a reproduction of a missing part. (shrink)
Bibliography of A. A. Fraenkel (p. ix-x)--Axiomatic set theory. Zur Frage der Unendlichkeitsschemata in der axiomatischen Mengenlehre, von P. Bernays.--On some problems involving inaccessible cardinals, by P. Erdös and A. Tarski.--Comparing the axioms of local and universal choice, by A. Lévy.--Frankel's addition to the axioms of Zermelo, by R. Mantague.--More on the axiom of extensionality, by D. Scott.--The problem of predicativity, by J. R. Shoenfield.--Mathematical logic. Grundgedanken einer typenfreien Logik, von W. Ackermann.--On the use of Hilbert's [epsilon]-operator in scientific theories, (...) by R. Carnap.--Basic verifiability in the combinatory theory of restricted generality, by H. B. Curry.--Uniqueness ordinals in constructive number classes, by H. Putnam.--On the construction of models, by A. Robinson.--Interpretation of mathematical theories in the first order predicate calculus, by T. Skolem.--The elementary character of two notions from general algebra, by R. Vaught.--Foundations of arithmetic and analysis. Axiomatic method and intuitionism, by A. Heyting.--On rank-decreasing functions, by G. Kurepa.--On non-standard models for number theory, by E. Mendelson.--Concerning the problem of axiomatizability of the field of real numbers in the weak second order logic, by A. Mostowski.--Non-standard models and independence of the induction axiom, by M. O. Rabin.--Sur les ensembles raréfiés de nombres naturels, par W. Sierpinski.--Philosophy of logic and mathematics. Remarks on the paradoxes of logic and set theory, by E. W. Beth.--Logique formalisée et raisonnement juridique, par R. Feys.--Im Umkreis der sogenannten Raumprobleme, von H. Freudenthal.--Process and existence in mathematics, by H. Wang. (shrink)
In 'The Book of Doctrines and Beliefs', Saadya sought to rescue believers from 'a sea of doubt and the waters of confusion' into which they had been cast by ...
Confucius’ religious thought summarized and utilized existing historical and cultural achievements. He strove to bring problems concerning traditional religious ideas such as destiny, the spirits, ritual propriety and faith into the realm of the rational. He sought to unearth the elements of human reason contained within these and to highlight the sublime and sacred in actual human society. He established a system of religious humanism that incorporated views on edification, faith, destiny, the ghosts and spirits and self-cultivation. Using a dialectic (...) based on the mean, he established a spiritual mindset comprising rational faith, a this-worldly transcendence and a sacredness grounded in the human that led ancient Chinese religious thinking in a unique direction. (shrink)
