L'on montre: 1) que l'affirmation tschirnhausienne selon laquelle l'art de découvrir transforme notre nature en une nature quasi surhumaine qui semble assez participer de celle de Dieu, et en laquelle C. Thomasius avait subodoré un fort relent spinoziste, est explicable, et est effectivement expliquée par Tschirnhaus dans sa Medicina mentis, d'une façon qui ne saurait effaroucher un théologien orthodoxe; 2) que, malgré la modernité de certaines vues de Tschirnhaus relatives au rôle de l'expérience, cet auteur n'a pas perçu la véritable (...) fonction de la „confirmation" expérimentale, contrairement à ce qu'on admet fréquemment de nos jours; 3) pourquoi il convient de penser que c'est dans Spinoza que Tschirnhaus a puisé sa conception des définitions génétiques; 4) que, contrairement à l'opinion courante, ie manuscrit de la Mediana mentis a vraisemblablement été envoyé en Hollande en latin . Suivent des indications bibliographiques et un erratum. (shrink)

Takeuti introduced an infinitary proof system for determinate logic and showed that for transitive models of Zermelo-Fraenkel set theory with the Axiom of Dependent Choice that contain all reals, the cut-elimination theorem is equivalent to the Axiom of Determinacy, and in particular contradicts the Axiom of Choice. We consider variants of Takeuti's theorem without assuming the failure of the Axiom of Choice. For instance, we show that if one removes atomic formulae of infinite arity from the language of Takeuti's proof (...) system, then cut elimination is equivalent to a determinacy hypothesis provable, e.g., in ZFC + “there are infinitely many Woodin cardinals.” A slight extension of the proof system admits cut elimination for countable sequents under the same assumptions. A simple modification of the proof system yields analogs of the results above for the Axiom of Real Determinacy and uncountably many Woodin cardinals. (shrink)

Kripke (1977) views Donnellan's (1966) misdescription cases as cases where semantic reference and speaker's reference come apart. Such cases, however, are also cases where semantic reference conflicts with a distinct species of reference I call "public reference", i.e. the object that the cues publicly available at the time of utterance indicate is the speaker's referent of the utterance. This raises the question: do the misdescription cases trade on the distinction between semantic reference and speaker's reference, or the distinction between semantic (...) reference and public reference? I argue that Kripke's own construal in terms of semantic reference and speaker's reference is at best incomplete, and probably wrong. I also explain the general importance of the notion of 'public reference'. (shrink)

Albert and De Ruiter provide an introduction to the Conversation Analytic approach to ‘repair’: the ways in which people detect and deal with troubles in speaking, hearing and understanding in conversation. They explain the basic turn‐taking structures involved, provide examples, explain recent developments in the field and highlight some important points of contact and contrast with work in the Cognitive Sciences.

'Johann Sommerville's is an impeccable textbook. Simply written, it provides exposition of Hobbes' arguments in the context of English and continental thought'. P. Springborg, University of Sydney, Political Studies, Vol. XL1, No 2 6/93 Thomas Hobbes was probably the greatest of British political theorists. Too often commentators have failed to grasp his meaning because they have ignored the historical context in which he wrote. Drawing on much recent scholarship and on many little-known seventeenth century sources, this book presents a lucid (...) and jargon-free examination of Hobbes' arguments, setting them against a background of the ideas of his contemporaries and of the political events of his lifetime. By viewing Hobbes in his context, the book both clarifies his theories and illuminates European thinking at a critical stage in the development of modern political ideas. (shrink)

First published in 1982, this reissue contains a critical exposition of the views of Frege, Dedekind and Peano on the foundations of arithmetic. The last quarter of the 19th century witnessed a remarkable growth of interest in the foundations of arithmetic. This work analyses both the reasons for this growth of interest within both mathematics and philosophy and the ways in which this study of the foundations of arithmetic led to new insights in philosophy and striking advances in logic. This (...) historical-critical study provides an excellent introduction to the problems of the philosophy of mathematics - problems which have wide implications for philosophy as a whole. This reissue will appeal to students of both mathematics and philosophy who wish to improve their knowledge of logic. (shrink)

I-theories of bare demonstratives take the semantic referent of a demonstrative to be determined by an inner state of the utterer. E-theories take the referent to be determined by factors external to the utterer. I argue that, on the Standard view of communication, neither of these theories can be right. Firstly, both are committed to the existence of conventions with superfluous content. Secondly, any claim to the effect that a speaker employs the conventions associated with these theories cannot have any (...) content, i.e. nothing can count as following these conventions. Bare demonstratives may well not be devices of semantic reference at all, i.e. may not actually contribute a referent to the proposition semantically expressed by an utterance. (shrink)

The classical wave-particle problem is resolved in accord with Newton's concept of the particle nature of light by associating particle density and flux with the classical wave energy density and flux. Point particles flowing along discrete trajectories yield interference and diffraction patterns, as illustrated by Young's double pinhole interference. Bound particle motion is prescribed by standing waves. Particle motion as a function of time is presented for the case of a “particle in a box.” Initial conditions uniquely determine the subsequent (...) motion. Some discussion regarding quantum theory is preseted. (shrink)

Context The conduct of medical research led by Northern countries in developing countries raises ethical questions. The assessment of research protocols has to be twofold, with a first reading in the country of origin and a second one in the country where the research takes place. This reading should benefit from an independent local ethical review of protocols. Consequently, ethics committees for medical research are evolving in Africa. Objective To investigate the process of establishing ethics committees and their independence. Method (...) Descriptive study of 25 African countries and two North American countries. Data were recorded by questionnaire and interviews. Two visits of ethics committee meetings were conducted on the ground: over a period of 3 months in Kigali (Rwanda) and 2 months in Washington DC (USA). Results 22 countries participated in this study, 20 from Africa and two from North America. The response rate was 80%. 75% of local African committees developed into national ethics committees. During the last 5 years, these national committees have grown on a structural level. The circumstances of creation and the general context of underdevelopment remain the major challenges in Africa. Their independence could not be ensured without continuous training and efficient funding mechanisms. Institutional ethics committees are well established in USA and in Canada, whereas ethics committees in North America are weakened by the institutional affiliation of their members. Conclusion The process of establishing ethics committees could affect their functioning and compromise their independence in some African countries and in North America. (shrink)

The Michelson-Morley result is described empirically by generalized Doppler equations. If the phase of a light wave is not invariant, in agreement with the quantum nature of light, special-relativistic kinematics need not be assumed. Einstein particle dynamics and Maxwell-Lorentz electrodynamics in a moving system are derived without assuming special-relativistic kinematics. An alternative explanation for the decay rate of moving radioactive particles is presented. The observation of a third-order Doppler effect may yield the velocity of the closed laboratory.

The achievements of the textile industry in Roman Britain are often underestimated as a result of the meagreness of our available evidence. The Edict on maximum prices issued by Diocletian in A.D. 301 shows that British capes commanded high prices on the markets of the Empire, and that in the late third century A.D. British rugs were the best in the world. In view of the competition from the traditional centres of rug manufacture in the East, this is an astonishing (...) achievement. (shrink)

Three experiments explore the role of working memory in motor skill acquisition and performance. Traditional theories postulate that skill acquisition proceeds through stages of knowing, which are initially declarative but later procedural. The reported experiments challenge that view and support an independent, parallel processing model, which predicts that procedural and declarative knowledge can be acquired separately and that the former does not depend on the availability of working memory, whereas, the latter does. The behaviour of these two processes was manipulated (...) by providing or withholding visual (and auditory) appraisal of outcome feedback. Withholding feedback was predicted to inhibit the use of working memory to appraise success and, thus, prevent the formation of declarative knowledge without affecting the accumulation of procedural knowledge. While the first experiment failed to support these predictions, the second and third experiments demonstrated that procedural and declarative knowledge can be acquired independently. It is suggested that the availability of working memory is crucial to motor performance only when the learner has come to rely on its use. (shrink)

This paper is devoted to the study of some subvarieties of the variety Q of Q-Heyting algebras, that is, Heyting algebras with a quantifier. In particular, a deeper investigation is carried out in the variety Q subscript 3 of three-valued Q-Heyting algebras to show that the structure of the lattice of subvarieties of Q is far more complicated that the lattice of subvarieties of Heyting algebras. We determine the simple and subdirectly irreducible algebras in Q subscript 3 and we construct (...) the lattice of subvarieties lambda (Q subscript 3) of the variety Q subscript 3. (shrink)