автореферат диссертации по философии, специальность ВАК РФ 09.00.07
диссертация на тему: Вклад С. Лесневского в формирование семантики

Оглавление научной работы автор диссертации — кандидата философских наук Агапов, Евгений Петрович

Введение I

Глава I. Исследования по логике и основаниям математики

§ I. Анализ антиномии Рассела II

§ 2. Мереология

§ 3. Онтология и прототетика

Глава II. Теория семантических категорий

§ I. Идейные предпосылки

§ 2. Концепция С.Лёсневского

Введение диссертации1984 год, автореферат по философии, Агапов, Евгений Петрович

Семантические проблемы всегда были в центре внимания логики, хотя систематическое исследование семантики как особой логической дисциплины начинается прежде всего с работ А.Тарского 30-х годов. Логическая семантика связана с такими разделами логики, как теория дедуктивных рассуждений, методология дедуктивных наук, теория индукции и т.д. Она позволяет обосновывать способы рассуждений, рассматриваемые в различных разделах логики.

С конца 50-х - начала 60-х годов начинается интенсивное исследование семантических проблем модальных и интенсиональных логик, которые представляют большой философский интерес /см. [26]/. Обращение к этим проблемам стало возможным, в частности, благодаря тому, что семантика классической логики, основы которой были заложены в работах А.Тарского, Р.Карнапа и других авторов, сравнительно хорошо разработана. Исходя из современного состояния семантических исследований, мы можем дать адекватную оценку вклада тех или иных авторов в формирование логической семантики. С другой стороны, обращение к истории семантических идей позволяет лучше понять ту роль, которую они играют в современной логике.

Данная работа посвящена рассмотрению семантических идей С.Лесневского, одного из крупнейших польских логиков межвоенного периода. С.Лесневский стоит в одном ряду с такими корифеями сов-, ременной логики, как Б.Рассел, А.Уайтхед, Л.Хвистек, К.Айдуке-вич, А.Тарский и др. Он известен своими глубокими исследованиями по основаниям математики, а также многими фундаментальными идеями, определившими последующее развитие логической семантики.

Интерес к научному творчеству С.Лесневского определяется, по нашему мнению,, следующими обстоятельствами. Во-первых,, понимание истории современной логики не может быть адекватным без уяснения того места, которое занимает в ней С.Лесневский. В том, что в предвоенные годы Польша стала общепризнанным центром логических исследований,; большая роль принадлежит С.Лесневскому. Во-вторых, представляется исключительно важным рассмотрение влияния: С.Лесневского на современные логические исследования. Идеи С.Ле-сневского оказали влияние на разработку ряда разделов современной логики,, в частности логической семантики. В-третьих,., идеи С.Лесневского оказываются актуальными в связи с критикой различного рода идеалистических концепций истины. С.Лесневский был одним из тех философов, кто в теории истины твёрдо стоял на позициях материализма

В последнее время в зарубежной литературе проявляется большой интерес к С.Лесневскому, показателем чего является,. в частности,; возрастание числа исследований,, посвящённых его вкладу в логику и основания математики. Следует,, правда, отметить,, что большая часть работ зарубежных авторов посвящена рассмотрению теорий С.Лесневского, образующих его систему оснований математики, т.е. мереологии,, онтологии и прототетики. Специальных исследований, посвящённых вкладу С.Лесневского в формирование семантики, в зарубежной литературе,, насколько нам известно,, нет. Что касается советских авторов, то исследованием научного творчества С.Лесневского специально занимался только Ю.Н.Солонин. Однако он ограничивался исследованиями С.Лесневского по логике и основаниям математики,, не касаясь по существу его вклада в формирование семантики.

Из всего комплекса идей,, составляющих логическое наследие С.Лесневского,. наименее изученными являются его семантические идеи. Это объясняется тем,, что семантические проблемы обсуждались С.Лесневским. прежде всего в его неопубликованных лекциях,, которые оказались уничтоженными во время войны. Поэтому важную роль в исследовании семантических концепций С.Лесневского играют' работы его ближайших товарищей и учеников,, прежде всего Т.Котар-биньского и А.Тарского. С именем С.Лесневского связаны основные идеи,, послужившие толчком к разработке таких разделов логической семантики,, как теория; семантических категорий и теория, истины. Известно,; что теория семантических категорий играет важную роль в современных логических исследованиях. Однако та роль,; которую играет эта теория в исследованиях самого С.Лесневского,;. выявлена ещё недостаточно полно. Недостаточно изучены также идеи С.Лесневского,; касающиеся проблемы истины. В работах С.Лесневского поднимаются проблемы,, анализ которых представляет интерес с точки зрения методологии дедуктивных наук. К ним относится прежде всего вопрос о структуре дедуктивной системыг решение которого у С.Лесневского не получило ещё достаточного освещения в современной литературе. ХХУ1 съезд партии поставил большие задачи перед советскими философами,, ориентируя; их на исследование новых проблем /см. 6 „ стр. 78/. Нам представляется,, что обращение к малоизученным вопросам- истории логики вполне соответствует духу требований,, предъявляемых партией к советским философам.

Основной целью диссертации является исследование семантических концепций С.Лесневского,.- а также установление их связи с его философскими воззрениями. Эта цель достигается в диссертации решением следующих конкретных задач:

- даётся критический анализ философских взглядов С.Лесневского, которые нашли своё выражение прежде всего в его мереоло-гии;.

-■ обсуткдается концепция дедуктивной системы,, которой руководствовался С.Лесневский при; построении онтологии' и прототетики; исследуются идейные предпосылки теории: семантических категорий; - выявляется роль, которую играет концепция семантических категорий в логических теориях С.Лесневского;, даётся анализ взглядов С.Лесневского по проблеме истины; выявляется круг идей С.Лесневского,. которые оказали вли.-яние на А.Тарского при разработке им- семантической концепции) истины.

Методологическую основу исследования составляют фундаментальные принципы марксистско-ленинской философии; Решающую роль играют принцип совпадения исторического и; логического,, положение; о том, что знание является отражением действительности не только по содержанию,, но w по форме, и учение об объективной истине, особенно его положение о практике как основе познания и критерии истины. При оценке философских взглядов С.Лесневского мы опирались на характеристику номинализма,, данную классиками: марксизма-ленинизма,, а также на разработку ими- вопроса о диалектике еди;-ничного и общего.

В диссертации используются оригинальные работы С.Лесневского, а также работы других польских логиков. Различные аспекты логического учения С.Лесневского рассматривались в работах Ю.Н.Солонина, Е.Д.Смирновой,. В.А.Смирнова и других советских авторов. В диссертации используются также основные работы зарубежных авторов,:> относящиеся к теме исследования.

Научная новизна диссертации определяется выбором цели; и постановкой задач исследования, а также полученными; результатами^.

Эти результаты могут быть суммированы следующим образом:

1. На основе анализа работ С.Лесневского делается вывод,, что по своим философским взглядам он был материалистом. В то же время указывается ограниченность философской позиции С.Лесневского, которая не позволила ему подняться до диалектического материализма.

2. В диссертации показано,, что при; построении своих логических теорий С.Лесневский руководствовался концепцией дедуктивной системы, которая отличается от традиционного понимания, сложившегося, в частности, под влиянием работ А.Тарского. Отличие его концепции дедуктивной системы от традиционного понимания объясняется прежде всего особой ролью, которую играют в этих теориях определения. Проводится аналогия между пониманием дедуктивной системы у С.Лесневского и в так называемой конструктивной семантике, в частности у А.А.Маркова.

3. В диссертации показана необоснованность распространённого утверждения о том, что концепция семантических категорий была сформулирована С.Лесневским с целью устранения антиномий. Приводятся доводы в пользу того, что эта концепция использовалась С.Лесневским прежде всего для обоснования своих логических теорий.

4. В диссертации показано, что принятие С.Лесневским неограниченной иерархии семантических категорий было обусловлено его пониманием дедуктивных систем как постоянно развивающихся благодаря добавлению к ним выражений,, принадлежащих к новым категориям. Семантические категории,, образующие эту иерархию,, указывают возможные направления развития дедуктивных систем.

5. В связи с рассмотрением классификации формализованных языков,, данной А.Тарским, обосновывается положение о принципиальной возможности дать семантическое определение истины для логических теорий С.Лесневского. Приводятся доводы в пользу того,, что, несмотря на принятие С.Лесневским неограниченной иерархии семантических категорий, языки этих теорий являются языками конечного порядка.

6. В диссертации показано, что С.Лесневский следовал классической концепции истины, восходящей ещё к Аристотелю. Прослеживается изменение формулировки условий истинности сингулярных высказываний в работах С.Лесневского в связи с эволюцией его философских воззрений.

7. Насколько нам известно,, в диссертации впервые в советской литературе рассматривается учение С.Лесневского о вечной и извечной истине. Отмечается, что, будучи связано с номиналистической позицией С.Лесневского,, это учение было направлено прежде всего против субъективизма в понимании истины.

8. В связи с рассмотрением исследований А.Тарского по проблеме истины отмечается отличие его подхода от подхода С.Лесневского. Это отличие объясняется в диссертации расхождением в философских взглядах между С.Лесневским,- стоявшим на позициях номинализма,. и А.Тарским, не разделявшим его убеждений.

9. В диссертации обращается внимание на то, что в работах С.Лесневского имеется идея о зависимости истинности высказываний' от времени их произнесения. Эта идея, связанная с принципом относительности наших знаний, находит свою реализацию в современных исследованиях по логической семантике, в частности у Р.Монтегю.

Практическая ценность диссертации определяется использованием полученных в ней результатов для исследования малоизученных вопросов истории современной логики. Недостаточная разрабо- • танность этих вопросов особенно остро ощущается в советской литературе,; содержащей крайне мало исследований по истории логики. Результаты,, полученные в диссертации.,, могут быть использованы в педагогической практике, в частности при чтении курса логики для философов, а также спецкурсов по истории логики и логической семантике. Наконец, они могут оказаться полезными для критики различного рода идеалистических спекуляций по поводу понятия истины.

Заключение научной работыдиссертация на тему "Вклад С. Лесневского в формирование семантики"

ЗАКЛЮЧЕНИЕ

На основе проведённого в данной работе исследования семантических концепций С.Лесневского,, а также их связи с его философскими воззрениями можно сделать следующие выводы:

1. Согласно общепринятой точке зрения, С.Лесневский по своим философским взглядам был материалистом. Однако характеристика его философских взглядов как разновидности: номинализма,- которая часто встречается в литературе, является односторонней. В диссертации показано, что наиболее отчётливо материализм С.Лесневского проявлялся при1 решении им вопроса об отношении математики к реальности,, а также проблемы истины. Будучи ярым противником формализма,. С.Лесневский смотрел на математику как на отражение реальности. Своё учение об истине он направлял прежде всего против релятивизма, согласно которому истина не является объективной, а зависит от воли: людей. С.Лесневский же подчёркивал объективность истины,, её независимость от волиг и сознания людей. Придерживаясь в целом материалистических взглядов,, он,, однако,, был далёк от диалектического материализма. В диссертации отмечается,, что ограниченность философской позиции С.Лесневского проявлялась,. во-первых, в слишком узком понимании практики, при котором она по существу сводится к повседневному опыту людей, а во-вторых, в недооценке роли" абстракций в научном познании, характерной вообще для представителей номинализма.

2. На основе анализа логических теорий С.Лесневского в диссертации делается вывод, что при их построении он руководствовался концепцией дедуктивной системы, которая отличается от традиционного понимания, сложившегося прежде всего под влиянием работ А.Тарского, Характерной особенностью этой концепции является то, что дедуктивные системы рассматриваются в ней как постоянно развивающиеся благодаря добавлению к ним выражений, принадлежащих к новым семантическим категориям. Этим обусловливается особая роль определений, которые, будучи тезисами логических теорий С.Лесневского,. являются единственными средствами введения выражений,; принадлежащих к новым семантическим категориям. Исходя из определённых семантических категорий,, к которым относятся выражения,, встречающиеся в аксиомах дедуктивной системы, мы можем с помощью определения вводить выражения новых категорий из неограниченной иерархии,, в основе которой лежат, категории высказываний и имён. В диссертации подчёркивается,, что семантические категории,, образующие эту иерархию,, указывают возможные направления,; в которых может пойти развитие дедуктивной системы.

3. Концепция семантических категорий,, сформулированная С.Лесневским на основе философской традиции, которая идёт от Аристотеля и Э.Гуссерля, внешне похожа на простую теорию типов. Она является таким же эффективным средством против антиномий,, что и эта теория. Однако концепция семантических категорий имела для С.Лесневского значительно большее интуитивное обоснование, чем простая теория типов. Поэтому оказываются неверными утверждения,, что эта концепция была сформулирована С.Лесневским с целью устранения антиномий. Как показали исследования С.Лесневского, а также К.Айдукевича,, А.Тарского и других авторов,, действительным предназначением теории семантических категорий является обоснование логических систем. В диссертации подчёркивается, что при построении любой системы предполагается определённая иерархия семантических категорий,, хотя они могут и различаться в выборе тех или иных категорий в качестве основных.

4. На основе анализа работ С.Лесневского в диссертации делается вывод, что он следовал классической концепции истины,, восходящей ещё к Аристотелю. Будучи материалистом,., он подчёркивал прежде всего объективность истины. С.Лесневский высказал ряд идей,, которые были использованы А.Тарским при уточнении им классической концепции истины применительно к формализованным языкам,, применяемым прежде всего в логике и математике. С.Лесневский первый провёл различие между логическими и семантическими антиномиями,, а также пришёл к выводу о необходимости различения в семантических исследованиях двух уровней языка,, которые называют обычно объектным языком и метаязыком. Он пришёл к выводу о противоречивости семантически замкнутых языкова также сформулировал критерий материальной адекватности определения истины. Основываясь на этих идеях,, А.Тарский выработал семантическую концепцию истины, положив таким образом начало систематических исследований в области логической семантики.

Сформулированные выводы делают вполне обоснованным утверждение,. что С.Лесневский является одним из пионеров логической семантики. Исследование семантических идей С.Лесневского,, проведённое в данной работе, никоим образом, однако,. не является исчерпывающим. Нам представляется,, что многие вопросы требуют дальнейшего обсуждения. В частности,; в работе не столь детальног как она этого заслуживает, обсуждается концепция дедуктивной системы, которой С.Лесневский руководствовался при построении онтологии и прототетики. Анализ этой концепции имеет как бы подчинённый характер,, поскольку он проливает свет на некоторые вопросы,, относящиеся к логическому учению С.Лесневского. Однако он не является предметом специального исследования данной работы.

Исключительно актуальным в свете современных логических ис— i следований является вопрос об отношении С.Лесневского к модальностям, только намеченный в диссертации. Решение этого вопроса предполагает обсуждение причин, заставивших С.Лесневского принять принцип экстенсиональности,, а также реконструкцию общего метода устранения интенсиональных функций,, который ему приписывается. Нам представляется, что рассмотрение подхода С.Лесневского к модальностям имеет самое непосредственное отношение к современным исследованиям по основаниям модальных логик.

Список научной литературыАгапов, Евгений Петрович, диссертация по теме "Логика"

1. Маркс К., Энгельс Ф. Святое семейство. - Маркс К.Энгельс Ф. Соч.,. т. 2.

2. Энгельс. Ф. Анти-Дюринг. Маркс К. „ Энгельс Ф. Соч.г т.20.

3. Энгельс Ф. Диалектика природы. Маркс К. г Энгельс- Ф. Соч*,4 т. 20.

4. Ленин- В.И. Материализм и эмпириокритицизм. Ленин В.И. Полн. собр. соч:.т. 18.

5. Ленин В.И. Философские тетради. Ленин В.И» Полн. собр. соч.„ т. 29.

6. Материалы ХШ съезда КПСС. М.1981.

7. Аристотель. Категории. Аристотель. Соч. в 4-х тт., т. 2. М.„ 1978.

8. Аристотель. Метафизика. Аристотель. Соч. в 4-х тт.,, т. I. М.„ 1976.

9. Аристотель. Топика. Аристотель. Соч. в 4-х тт.,, т. 2. М., 1978.

10. Бродский И.Н. Отрицательные высказывания. Л., 1973.

11. Генкин Л. Номиналистический анализ математического языка. "Математическая логика и её применения". М.1965.

12. Горский Д.П. Определение. М.„ 1974.с

13. Дянков Б. Роль теории семантических категорий в обосновании современных логических теорий. "Философия и логика". М. 1974.

14. Карри X. Основания математической логики. М., 1969.

15. Клини С. Математическая логика. М.,; 1973.

16. Котарбиньский Т. Главные направления и тенденции философии в Польше. Котарбиньский Т. Избранные произведения. М., 1963.

17. Котарбиньский Т. Лекции по истории логики. Котарбиньский Т. Избранные произведения. М. „ 1963.

18. Котарбиньский Т. Фазы развития конкретизма. Котарбиньский Т. Избранные произведения. М., 1963.

19. Кураев В.И. Формализация языка науки и философское исследование. "Философия, методология, наука". М.„ 1972.

20. Ледников Е.Е. Критический анализ номиналистических и платонистских тенденций в современной логике. Киев, 1973.

21. Лесневский С. Логические рассуждения. СПб., 1913.

22. Мендельсон Э. Введение в математическую логику. М.,1971.

23. Минц Г.Е. Конструктивная семантика. Математическая энциклопедия,- т. 2. М., 1979.

24. Монтегю Р. Прагматика. "Семантика модальных и интенсиональных логик". М., 1981.

25. Монтегю Р. Прагматика и интенсиональная логика. "Семантика модальных и интенсиональных логик". М.,, 1981.

26. Семантика модальных и интенсиональных логик. М.1981.

27. Скотт Д. Советы по модальной логике. "Семантика модальных и интенсиональных логик". М.* 1981.

28. Слупецкий Е. Несколько замечаний о многозначных логиках Яна Лукасевича. "Философия и логика". М.,, 1974.- 29. Смирнов В.А. Моделирование мира в структуре логических языков. "Логика и методология науки". М.„ 1967.

29. Смирнов В.А., Таванец П.В. О взаимоотношении символической логики и философии. "Философия и логика". М., 1974.

30. Смирнова Е.Д. Логическое следование,, формальная выводимость и; теорема дедукции; "'Логика и методология науки". М., 1967.

31. Смирнова Е.Д. Универсалии и логическая структура языка. "Логико-методологические исследования"'. М., 1980.

32. Смирнова Е.Д., Формализованные языки и логическая форма. "Логическая структура научного знания"'. М., 1965.

33. Смирнова Е.Д., Таванец П.В., Семантика в логике., — "Логическая семантика и модальная логика". М., 1967.,

34. Солонин Ю.Н. Соотношение естественного и: формализованного языков в номиналистической программе. — "Логический анализ естественных языков /Материалы II Советско-финского коллоквиума по логике/"'., М.,' 1979.!

35. Стяжкин Н.И. Формирование математической логики. М.,1967.

36. Тондл Л. Проблемы семантики. М., 1975.

37. Френкель А., Бар-Хиллел И. Основания теории множеств. М., 1966.

38. Хинтикка Я. Время, истина и познание у Аристотеля и других греческих философов. Хинтикка Я. Логико-эпистемологические исследования. М., 1980.

39. Хинтикка Я. Связка "есть", семантические игры и.семантическая относительность. —Хинтикка Я. Логико-эпистемологические исследования. М., 1980.

40. Чёрч А. Введение в математическую логику, т. I. М.,1.60.

41. Ajdukiewicz К. Definicja. Ajdukiewicz К. Jezyk i poznanie, t. I. Warszawa, "I960.

42. Ajdukiewicz K. Syntactic connexion. Polish logic1920-1939. Oxford, 1967.

43. Asenjo F. Le&niewski's work and nonclassical set theories. "Studia Logica", 1977, V. XXXVI, No 4. >

44. Bar-Hillel Y. Husserl's conception of purely logical grammar. "Philosophy and phenomenological research", 1957, V. XVII, Но з.

45. Bochefiski J. A history of formal logic. N.Y., 1970.

46. Carnap R. Introduction to semantics. Cambridge /Mass./,1946.

47. Chwistek L. Antinomies of formal logic. Polish logic 1920-1939. Oxford, 1967.

48. Chwistek L. The limits of science. N.Y., 1948.

49. Cresswell M. Categorial languages. "Studia Logica", 1977, V. XXXVI, No 4.

50. Grzegorczyk A. The systems of Le§niewski in relation to contemporary logical research. "Studia Logica", 1955,1. V. III.,

51. Iwanu&B. On Le§niewski's elementary ontology. "Studia Logica", 1972, V. XXXI.

52. Iordan Z. The development of mathematical logic in Poland between the two wars. Polish logic 1920-1939. Oxford, 1967.

53. Kearns J. The contribution of Le&niewski. "Notre Dame Journal of Formal Logic", 1967, V. VIII, Nos 1, 2.

54. Kneale W., Kneale M. The development of logic. Oxford,1962.

55. Kotarbifiski T. Elementy teorii poznania, logiki formalnej i metodologii nauk. Krak&w-Warszawa-Wroclaw, 1961.

56. Kling G. The meaning of the quantifiers in the logic of1.&niewski. "Studia Logica", 1977, V. XXXVI, No 4.

57. Le&niewski S. Czy klasa klas, nie podporzadkowanych so-bie, jest podporzadkowana sobie? "Przeglad Filozoficzny", 1914, T. 17.

58. Le&niewski S. Czy prawda jest tylko wieczna czy tez wieczna i odwieczna? "Nowe Tory", 1913» T. 18.

59. LeSniewski S. Grundzuge eines neuen Systems der Grund-lagen der Mathematik. "Fundamenta Mathematicae", 1929, Т. XIV.

60. Le&niewski S. Introductory remarks to the continuation of my article: "Grundziige eines neuen Systems der Grundlagen der Mathematik". Polish logic 1920-1939. Oxford, 1967.

61. Le&niewski S. Krytyka logicznej zasady wylaczonego §rodka. Warszawa, 1913.

62. LeSniewski S. 0 podstawach matematyki. "Przeglad Filozof iczny", 1927, T. 30.

63. LeSniewski S. 0 podstawach matematyki. "Przeglad Fi-lozoficzny", 1928, T. 31.

64. Le&niewski S. 0 podstawach matematyki. "Przeglad Fi-lozificzny", 1929, T. 32.

65. Le&niewski S. 0 podstawach matematyki. "Przeglag Filozof iczny", 1930, T. 33.

66. Le&niewski S. 0 podstawach matematyki. "Przeglad Filozof iczny" , 1931, T. 34.

67. Le§niewski S. On definitions in the so-called theory of deduction. Polish logic 1920-1939. Oxford, 1967.

68. Le&niewski S. Podstawy og&lnej teoryi mnogoSci. I. Mos-kwa, 1916.

69. Luschei E. The logical systems of Le&niewski. Amsterdam, 19б2.

70. Lukasiewicz J. Two-valued logic. Lukasiewicz J. Selected works. Amsterdam-Warszawa, 1970.

71. Machover M. Contextual determinacy in Le&niewski's grammar. "Studia Logica", 1966, V. XIX.73* Mala encyklopedia logiki. Wroclaw-Warszawa-Krak&w,1970.

72. Mates В.Stoic logic. Berkeley and Los Angeles, 1953.

73. Montague R. Syntactical treatment of modality, with corollaries on reflexion principles and finite axiomatizability. -Montague R. Formal philosophy. New Haven and London, 1974.

74. Moody E. Truth and consequence in medieval logic. Amsterdam, 1953.

75. Polish logic 1920-1939. Oxford, 1967.

76. Rickey P. A servey of Le&niewski'§ logic. "Studia Logica", 1977, V. XXXVI, No 4.

77. Russell B. Mathematical logic as based on the theory of types. Russell B. Logic and knowledge. L., 1956.

78. Semantics and the philosophy of language. Urbana, 1952.

79. Slomska A. Wczesne poglady Le§niewskiego na istote prawdy i role nauki. "Studia Filizoficzne", 1978, Nr 3.

80. Slupecki J. S.Le&niewski's calculus of names. "Studia Logica", 1955, V. III.

81. Slupecki J. St.Le&niewski's protothetics. "Studia Logica", 1953, V. I.

82. Slupecki J. Towards a generalized mereology of LeSniew-ski. "Studia Logica", 1958, V. VIII.

83. Sobocifiski B. An investigation of protothetics. Polish logic 1920-1939. Oxford, 1967.

84. Sobocifiski B. Successive simplifications of the axiom-system of Le&niewski's ontology. Polish logic 1920-1939. Oxford, 1967.

85. Tarski A. On the primitive term of logistic. Tarski A. Logic, semantics, metamathematics. Oxford, 1956.

86. Tarski A. The concept of truth in formalized languages. Tarski A. Logic, semantics, metamathematics. Oxford, 1956.

87. Tarski A. The semantic conception of truth and the foundations of semantics. Semantics and the philosophy of language. Urbana, 1952.

88. Translations from the philosophical writings of Gottlob Prege. Oxford, 1952. :