Эверт Виллем Бет ( нидерл. Evert Willem Beth ; 7 июля 1908 , Алмело — 12 апреля 1964 , Амстердам ) — нидерландский логик и философ .

Он был преподавателем высшей школы, с 1946 по 1964 год — профессор математической логики , истории логики и философии науки в Амстердамском университете . Содействовал становлению логики как академической дисциплины.

Бет разработал семантические таблицы, которые названы , для логики предикатов и семантику интуиционистской логики .

Труды

• De wijsbegeerte der wiskunde van Parmenides tot Bolzano . Standaard Boekhandel, Antwerpen 1944.
• Symbolische Logik und Grundlegung der exakten Wissenschaften ( Bibliographische Einführung in das Studium der Philosophie ). Francke, Bern 1948.
• Les fondements logiques des mathématiques . 1950.
• The Foundations of Mathematics . Standaard Boekhandel, Amsterdam 1959.
• совместно с Жаном Пиаже : pistémologie mathématique et psychologie. Essai sur les realtions entre la logique formelle et la pensée réelle . Presses Universitaires de France, Paris 1961.
• Mathematical Thought. An Introduction to the Philosophy of Mathematics . Reidel, Dordrecht 1965.

Примечания

Литература

• Бет, Эверт Виллем — статья из Большого Энциклопедического словаря
• Новая философская энциклопедия. — М.: Мысль, 2000. — Т. 1—4. — ISBN 5-244-00961-3
• Karel Berka , Lothar Kreiser: Logik-Texte. Kommentierte Auswahl zur Geschichte der modernen Logik, Berlin: Akademie 1986

Для улучшения этой статьи по логике желательно : Дополнить статью (статья слишком короткая либо содержит лишь словарное определение ). После исправления проблемы исключите её из списка. Удалите шаблон, если устранены все недостатки.