We are concerned with showing how ‘labelled’ Natural Deduction presentation systems based on an extension of the so-called Curry-Howard functional interpretation can help us understand and generalise most of the deduction calculi designed to deal with the logical notion of existential quantification. We present the labelling mechanism for ‘’ using what we call ‘ɛ-terms’, which have the form of ‘a’) in a dual form to the ‘Ax.f’ terms of in the sense that the ‘witness’ is chosen at the time of (...) assertion/introduction.With the intention of demonstrating the generality of our framework, we provide a brief comparison with some other calculi of existentials, including the model-theoretic interpretations of Skolem and Herbrand, indicating the way in which some of the classical results on prenex normal forms can be extended to a wide range of logics. The essential ingredient is to look at the conceptual framework of labelled natural deduction as an attempted reconstruction of Frege's functional calculus where the devices of the Begriffsschrift work separately from, yet in harmony with, those of the Grundgesetze 1. (shrink)

İnsanlar sahip oldukları bilginin bir kısmını akıl ve duyu organları vasıtasıyla elde ederken diğer bir kısmını da haber vasıtasıyla elde etmektedir. Geçmişte meydana gelen olaylar, yaşamış şahsiyetler, görmediğimiz uzak memleketler hakkında bilgi elde etmemizi sağlayan yegâne kaynak haberdir. Dolayısıyla müşahedeye dayanmayan ve düşünce yoluyla elde edilmeyen bütün bilgilerin kaynağı “haber”dir. Haberler içerisinde kesin bilgi ifade eden kısım ise mütevâtirdir.Hicri 4. asırda haberle ilgili tartışmaları ayrıntısıyla ele alıp eserlerinde bunu derli toplu bir nazariyye şekline işleyen alimlerden biri de akli istidlâle önem (...) vermesiyle ön plana çıkan Mu’tezile mezhebine mensup olan Kâdî Abdülcebbâr’dır (ö. 415/1025). O, haber ve haberin bilgi değeri konusunda eserlerinde müstakil başlıklar açmış ve bu konudaki görüşlerini çeşitli şekillerde temellendirmiş, haberi bilgi kaynağı olarak kabul etmeyen Sümeniyye ve nübüvvet müessesesini kabul etmeyen Berâhime’ye karşı akli ve nakli istidlâl metotlarını kullanarak İslam’ın temel kaynakları olan Kur’ân, Sünnet ve icmâ‘ın savunuculuğunu yapmıştır. Bu çalışmada Kâdî Abdülcebbâr’ın mütevâtir nazariyesi üzerinde durulmuştur. Onun görüşleri tespit edilirken ansiklopedik bir hüvviyete sahip el-Muğnî adlı eseri esas alınmıştır. Kâdî, hem haberi bilgi kaynağı olarak görmeyenlerle mücadele etmek hem de İslam’ın temel kaynaklarını temellendirmek üzere Mütevâtir haberi rasyonel bir zemine oturtmaya çalışmıştır. Bunun için de insanlar nezdinde itibar gören, geçerli olan, daha nesnel ve rasyonel bir hüviyete sahip âdetullahı veya tabiat kanunları anlamına gelen “el-âde” kavramını kullanmıştır. Anahtar Kelimeler: Kelam, Mutezile, mütevâtir haber, Kâdî Abdülcebbâr, Zarûrî Bilgi, el-âde.AbstractHumans obtain some of their knowledge through the organs of the mind and senses, and the other through khabars. t is the only source news that enables us to obtain information about past events, personalities and distant countries we have not seen. Therefore, the source of all information that is not based on observation and mutawatir khabars. The part that expresses certain information in the news is mutawatir.One of the scholars who discussed the details of the news in the Hijri 4th century and took a detailed view of it in his works is Qādi Abd al-Jabbar (415/1025). He has opened independent titles in his works on the value of news and knowledge of the news, and has based his views on this subject in various ways, using the methods of Islam as the basic sources of Islam, using the methods of intelligence and transportation against the Sumenians who do not accept the news as a source of information and Berahime who do not accept the prophethood of the prophethood. He was the advocate of ân, Sunnah and icma.In this study, the modest theory of Qādi Abd al-Jabbar is emphasized. His views were based on his work, al-Mughni, which had an encyclopedic identity. Qâdi, tried to put the modest news on a rational basis both in order to combat those who do not see the news as a source of information and to base the basic sources of Islam. For this, he used the concept of “al-ade, which means det the rule of law det or law of nature which is respected by people, has a more objective and rational identity.Keywords: Kalam, Mutezile, mutawatir khabar, Qādi Abd al-Jabbar, accurate information, el-âde. (shrink)

Russkiĭ kosmizm v poiskakh absoli︠u︡ta : paralleli i peresechenii︠a︡ v muzykalʹnom, poėticheskom i izobrazitelʹnom tborchestve 1910-1920-kh godov -- Liki Moderna -- Putʹ k modernu : Georgiĭ Lʹvovich Katuar -- Stilʹ modern v tvorchestve Frederika Diliusa : kont︠s︡ert dli︠a︡ fortepiano s orkestrom do minor -- Stilʹ modern i tvorchestvo Bely Bartoka (na primere opery "Zamok gert︠s︡oga Sini︠a︡i︠a︡ Boroda") -- Frit︠s︡ Kreĭsler i stilʹ modern -- Klod Debi︠u︡ssi i Moris Ravelʹ : muzyka dli︠a︡ arfy -- Klod Debi︠u︡ssi : dvenadt︠s︡atʹ ėti︠u︡dov dli︠a︡ fortepiano (...) : ot ėkzersisa do installi︠a︡t︠s︡ii -- O dikhotomii "muzhskogo" i "zhenskogo" v Pi︠a︡toĭ sonate A.N. Skri︠a︡bina (na primere motivnoĭ metriki) -- Pod znakom moderna : A.N. Skri︠a︡bin i S.S. Prokofʹev v 1913 godu -- Avangard i modern v retrospektive -- O proi︠a︡vlenii︠a︡kh "modernizma" v ispolnitelʹskom iskusstve : F. Buzoni, M. I︠U︡dina, G. Gulʹd -- Sudʹba providt︠s︡a : fortepiannai︠a︡ muzyka Ėrika Sati v sovremennom akademicheskom muzykalʹnom mire -- Otgoloski ėpokhi modern : o nekotorykh smyslovykh osobennosti︠a︡kh sovremennykh fortepiannykh sochineniĭ (Ė. Denisov, S. Slonimskiĭ, G. Zaĭt︠s︡ev) -- Zapadnye pianisty - ispolniteli russkogo avangarda pervoĭ volny : Sh. Shleĭermakher, Kh. Khenk, M.-A. Amlen -- Muzyka k filʹmu "Kabinet doktora Kaligari" : mezhdu tvorcheskoĭ rekonstrukt︠s︡ieĭ i istoricheskoĭ imitat︠s︡ieĭ -- Podvodi︠a︡ itogi -- "Pozdniĭ modernizm" v muzyke kont︠s︡a XX - nachala XXI veka : nekotorye nabli︠u︡denii︠a︡ -- Po sledam konferent︠s︡ii "Ot moderna k futurizmu" (virtualʹnai︠a︡ beseda za kruglym stolom). (shrink)

A competent and philosophically subtle study of S. K.'s notion of the relation of Christianity and history. The relation of time and eternity, of "sacred history" and ordinary history and the problem of contemporaneity in the Fragments, the Postscript and Training in Christianity are brought into focus through S. K.'s doctrine of the incarnation. This Holm interprets as "fictionalist"; "it is valid to believe that this man is God... as if it were so, although his empirical appearance can never reveal (...) it." --F. M. S. (shrink)

Through a series of brief but specific internal critiques of Spinoza's system, Sullivan seeks to show that Spinoza tried to be both a supernaturalist and a naturalist, an idealist and a realist.--L. S. F.

A sympathetic study of the Anabaptist-Mennonite tradition which attempts to clarify the nature of the Free Church heritage and show its contributions to religious and political freedom. Though well-documented and competent, it is episodic and somewhat disorganized; it dwells less on history than on the relevance of Free Church ideas to contemporary problems of religion and society.--F. M. S.

Berkson maintains that the "progressive" distortions of Dewey were not entirely unfounded and criticizes Dewey for his individualism, for a biologicism which cannot ground his own intentions except by a tour de force, and for his failure to recognize the necessity of clearly formulated ideal ends. Emphasizes the Hegelian side of Dewey.--F. M. S.

The final volume in the fine translation of Cassirer's central work deals with the problem of knowledge, "the structure and articulation of a theoretical world view." The analysis proceeds from perception and representation, through the function of signification and the idea of concept, to mathematics and the highest forms of natural science. Cassirer's introduction offers a concise discussion in historical context of the idea of symbolic form itself.--F. M. S.

An "essay on life" giving us in 60 pages a doctrine of man and the universe based on broadly Christian principles plus, for good measure, a commentary on every book of the Old Testament.--F. M. S.

Thoughts on various subjects arranged in alphabetical order from "abnormal" to "zero."--F. M. S.

Written for Catholic students, this textbook presents simplified neo-Thomistic answers to basic neo-Thomistic questions. Points of view other than the "perennial philosophy" are briefly mentioned but quickly dismissed. --F. M. S.

Rotenstreich sees history as a domain defined by the distinctive relation between the historical subject and the historical process, which are ontologically identical but epistemologically separate. The dialectic between subject and object sets the framework for discussions of objectivity, historical time, the relation of history to the social sciences, and the role of causality and laws in history. The book should prove rewarding to any one who will take the trouble to wade through a style which is difficult and often (...) very obscure.--F. M. S. (shrink)

Seven scholarly studies developing the thesis that no significant history has been or will be written apart from the historian's having a philosophical and political conception of history." Recognizing the dangers inherent in this recommended interpenetration of history with philosophy and politics, the author discusses its philosophical distortion in dialectical idealism and materialism and its political distortion in the subordination of history to political ideology in Nazi and Soviet totalitarianism. The book is representative of the non-speculative "philosophy of history" being (...) done in Germany today. --F. M. S. (shrink)

This study centers on Sein und Zeit, Kant und das Problem der Metaphysik, and Einführung in die Metaphysik, and emphasizes the shift from the earlier to the later Heidegger. It should be useful to beginning students: consisting largely of translation and paraphrase, it does not distort Heidegger. It contains some good insights, but it is much too short to do justice to the subject--F. M. S.

This book effectively challenges the dogma that all explanation can be reduced to the "general law" type. The author maintains that this theory accounts for most historical explanation only by making qualifications and exceptions which vitiate whatever force the theory might have and by excluding the most important considerations from the theory itself by calling them "psychological," "heuristic," etc. This leads Dray to argue that the "general law" theory is being assumed true a priori and then forced to fit a (...) mode of explanation to which it is unsuited--indeed, he goes so far as to doubt that the theory is suitable for physics. Because he meets the analytic defenders of the theory on their own ground, his criticisms are lucid, relevant, and compelling; but the constructive proposals are sketchy.--F. M. S. (shrink)

A semi-popular defense of the objective validity and cognitive truth of moral, aesthetic and religious insight. The author describes Kant's method of defending "scientific insight" in the first Critique and attempts to apply this method to the other areas of experience more consistently and successfully than Kant did.--F. M. S.

A nicely documented and interesting, though loosely argued and dogmatic, study, from a neo-Calvinist perspective, of the Christian doctrine of man and its relation to doctrines of man implicit in politics, literature and philosophy.--F. M. S.

A report on the teacher education programs supported by the Fund for the Advancement of Education which calls for a broad liberal education for all teachers and greater attention to the philosophy of education.--F. M. S.

Volumes two and three of this six-volume work together deal with Greek culture from its pre-hellenic origins to the period of the Skeptics. It is philosophy of history in the grand style. Though the language is diffuse and metaphorical, the work is learned and has a certain precision. Voegelin's thesis is that the creation of order is a constant of human nature. A concrete society, besides being an organization for pragmatic survival, is also an attunement with the order of being (...) and an attempt to bring the two realms into harmony. The Greek pragmatic order took the form of polis, and its conception of the order of being reached its highest form in the overcoming of the cosmological myth in the philosophy of Plato and Aristotle.--F. M. S. (shrink)

An eclectic defense of progress and re-creation, with more quotations and citations than reasoned argument.--L. S. F.

The editor has been quite successful in selecting experts to write the three-to-four-page articles in this handbook, and in most cases he has chosen advocates rather than critics to expound particular concepts: e.g., Nygren on Eros and Agape, Tillich on Kairos, Dinkler on demythologizing. Each article lists one or two important books on its subject.--L. S. F.

Paperback reprint of a classic study first published forty years ago. Allen examines the practical dimensions of Paul's missionary activity and urges the contemporary relevance of these same methods.--L. S. F.

Hélal's study invites comparison with two other books on Whitehead's philosophy of science. There is nearly no overlap with Ann L. Plamondon's Whitehead's Organic Philosophy of Science, which stresses those themes developed in Whitehead's metaphysical period which have a bearing on topics under current discussion in the philosophy of science. Hélal restricts himself to the earlier period, hoping later to make a comparable study of the later periods. There is, however, considerable overlap with Robert M. Palter's Whitehead's Philosophy of Science, (...) though perhaps less than might be expected. Thus chapter 3 analyzing the nature of events and objects, and especially chapter 4 on the method of extensive abstraction can only repeat much that is already available in Palter. In addition Palter discusses the theory of relativity much more extensively, and goes into Whitehead's discussion of extensive connection in Process and Reality, part IV. On the other hand, the first two chapters of Hélal's study on Whitehead's idea of nature, and especially the final chapter on his refusal to allow any bifurcation in nature introduce many themes not to be found in Palter. If a rigorous, systematic, and elaborate presentation of Whitehead's philosophy of science is desired, Palter's work should be consulted. But if one is interested in the metaphysical undercurrents in Whitehead's earlier period, then perhaps Hélal's is preferable. Thus for example, Palter barely mentions the notions of "percipient events" and "percipient objects," while Hélal pays special attention to them as precursors of Whitehead's concern for subjectivity in his metaphysics. (shrink)