We provide necessary and sufficient conditions determining how monotonicity of some classes of reducible quantifiers depends on the monotonicity of simpler quantifiers of iterations to which they are equivalent.

Comment l'intention apologétique de Blondel dans L’Action est-elle compatible avec le caractère philosophique de l’œuvre ? Comment éviter le soupçon de préjugé, de pétition de principes ? R. Virgoulay montre comment le projet mis en œuvre dans L’Action et défini dans la Lettre de 1896, ouvrait la philosophie à l'examen du problème religieux par la détermination a priori de la notion de surnaturel. Après avoir exposé « la méthode de L’Action » pour faire passer d'une conviction subjective, d'un témoignage vécu, (...) à une « science », c'est-à-dire à l'exposé qui conjugue nécessité et universalité, il s'attarde sur la cinquième partie de L’Action. Celle-ci, après l'élaboration des quatre autres parties, peut être alors une philosophie de la religion qui porte sur le contenu même du Christianisme, et pour laquelle la notion décisive est celle du surnaturel. Les questions que pose cette notion amènent l'auteur à comparer la problématique blondélienne à celle de Laberthonnière, comparaison qui manifeste la différence entre la démarche théologique de ce dernier et celle, philosophique, de Blondel. Alors que laberthonnière tente de justifier théologiquement l'entreprise philosophique de Blondel, la Lettre distingue rigoureusement la théologie de la philosophie. How is the apologetic intention of Blondel in Action compatible with the philosophical character of the work ? How can one avoid the suspicion of prejudice, of begging the question ? R. Virgoulay shows how the project put to work in Action and defined in the Lettre of 1896, opened philosophy to the examination of the religious problem by the a priori determination of the notion of the supernatural. After discussing « the method of Action » in order to move from a subjective conviction, from a lived witnessing, to a « science », that is to say, to an analyses that conjugate necessity and universality, the author concentrates on the fifth part of Action. This latter, after, the elaboration of the four other parts, could be, then, a philosophy of religion that carries to the very content of Christianity, and for which the decisive notion is that of the supernatural. The questions that this idea brings up led the author to compare Blondel’s field of inquiry to that of Laberthonnière, a comparison that, manifests the difference between a theological approach of the latter and that, philosophical, of Blondel. While Laberthonnière tries theologically to justify the philosophical enterprise of Blondel, the Lettre rigorously distinguishes theology from philosophy. (shrink)

1. Tasan ŭi kyŏnghak kwa yŏkhak -- 2. Tasanhak chʻongnon -- 3. Tasanhak kwa mongmin simsŏ -- 4. Sirhak sasang kwa Han sasang -- 5.Kaesin yuhak ŭro pon Hanʼguk chʻŏrhaksa -- 6. Kugyŏk Tasan sasŏ -- 7. Sasang uĭhak kwa saengmyŏng ŭihangnon -- 8. Hanʼguk munhwa ŭi insik, kugyŏkkanyangnok -- 9. Chamnok, susangnok, purok.

In an inductive argument data increase the probability of a hypothesis insofar as the hypothesis makes probable the data, the data are otherwise not likely to occur, and the hypothesis is simple. The Cosmological argument from the existence of the universe, the Teleological argument from its conformity to natural law, and other arguments from more detailed features of the universe each increase the probability that there is a God. I thus summarize in simple form the main points of my book (...) ’The Existence of God’. (shrink)

We generalize two well-known model-theoretic characterization theorems from propositional modal logic to first-order modal logic. We first study FML-definable frames and give a version of the Goldblatt–Thomason theorem for this logic. The advantage of this result, compared with the original Goldblatt–Thomason theorem, is that it does not need the condition of ultrafilter reflection and uses only closure under bounded morphic images, generated subframes and disjoint unions. We then investigate Lindström type theorems for first-order modal logic. We show that FML has (...) the maximal expressive power among the logics extending FML which satisfy compactness, bisimulation invariance and the Tarski union property. (shrink)

In this article the contemporary debate between realism and anti-realism in analytical philosophy is analysed and discussed. It is claimed that the nature of the reference relation which holds between language and the world is central in this discussion which has both logical, semantical, and epistemological aspects. In a first part A. Tarski's (semantic) theory of thru th is explained and it is shown how, amongst several theories of truth, Tarski's may be called a realist one. However, a Tarski-style semantics (...) need not lead to a realist theory of Truth and Reference, as is shown in a subsequent part. Here H. Putnam's views on these matters are discussed. It is shown how Putnam in the course of his intellectual history has changed his view from a realist to an anti-realist position. Putnam's arguments show the importance of logical and metalogical issues in the debate. In a final part Putnam's views are criticized and it is shown how a line of argument, analogous to Putnam's, may lead to a realist theory of meaning and reference. (shrink)

Excerpt: Ernst von Glasersfeld has succeeded in finding a viable fit between the man and the scientist and in embodying a Haltung (attitude) that represents constructivism. He was prepared to get involved with a "different way of thinking" and to deal with a matter that is often "demanding and uncomfortable" for those affected. Ernst von Glasersfeld, in an interview with me on questions of constructivism and school.

The author answers the criticisms of mackie and pinkerton concerning his earlier account of counterfactuals. (staff).