Новосибирский государственный университет Факультет информационных технологий Современные проблемы информатики и вычислительной техники

А.М.Федотов

Персоны в коллекции "Современные проблемы информатики"

Людвиг Йозеф Иоганн Витгенштейн
26 апреля 1889, Вена – 29 апреля 1951, Кембридж

Основные достижения:

Людвиг Йозеф Иоганн Витгенштейн (Ludwig Josef Johann Wittgenstein) — австрийский философ и логик, представитель аналитической философии и один из самых ярких мыслителей XX века. Выдвинул программу построения искусственного «идеального» языка, прообраз которого — язык математической логики.

В 1918 была закончена работа над книгой, опубликованной под названием Логико-философский трактат (Logisch-Philosophische Abhandlung, 1921; Tractatus Logico-Philosophicus, 1922). Трактат во всем мире считается оригинальным и значительным трудом. Согласно одной из главных идей этой работы, мировая субстанция состоит из «простых объектов», которые, вступая в различные сочетания друг с другом, образуют факты.

Факт c точки зрения информатики понимается как «характеристика сущности, описываемой в онтологии информационной системы, представляемая как единичное значение данных». Факт может быть извлечен из информационного содержания объекта, либо определен экспертом. Факт может определять как свойства (атрибуты) объекта, так и его связь с другими объектами.

«Элементарные суждения» состоят из «имен», каждое из которых обозначает некий простой объект. Комбинация имен обозначает или «изображает» некую возможную комбинацию соответствующих объектов, иначе говоря – некий возможный факт. Изображение, картина возможного факта есть «мысль». Все мыслимое возможно; отрицание мыслимого также мыслимо и возможно. Поскольку некая возможная комбинация имен отображает некую возможную комбинацию объектов, логическая форма образа и логическая форма реальности тождественны друг другу.

«Логико-философский трактат» Витгенштейна оказал большое влияние на возникновение логического позитивизма. Это очень трудная, хотя и небольшая работа, написанная в форме афоризмов. Ее содержание настолько многозначно, что историки философии считают ее автора одной из самых противоречивых фигур в истории современной философии.

Прежде всего, Витгенштейн предлагает не монистическую, а плюралистическую картину мира. Мир, согласно Витгенштейну, обладает атомарной структурой и состоит из фактов. «Мир есть все, что происходит». «Мир – целокупность фактов, а не вещей». Это значит, что связи изначально присущи миру. Далее следует, что «мир подразделяется на факты».

Краткая биография:

По образованию он был инженером, занимался теорией авиационных двигателей и пропеллеров. Математический аспект этих исследований привлек его внимание к чистой математике, а затем к философии математики. Заинтересовавшись работами Г.Фреге и Б.Рассела по математической логике, он направился в Кембридж и в 1912—1913 гг. работал с Расселом. У первого он воспринял и творчески переработал понятия пропозициональной функции (что позволило отказаться от устаревшего способа анализа предложений в субъективно-предикатной форме) и истинностного значения семантического различения смысла и значения языковых выражений. У второго – метод логического анализа языка, направленный на выявление «атомарных предложений», которым в реальности соответствуют «атомарные факты», а также отдельные элементы логицистской программы обоснования математики.

Публикации o жизни и деятельности персоны:

1. Бирюков Б.В., Бирюкова Л.Г. Людвиг Витгенштейн и Софья Александровна Яновская. «Кембриджский гений» знакомится с советскими математиками 30-х годов. // Логические исследования. Вып. 11, М., «Наука», 2004. С.46-93.

Публикации персоны:

1. Витгенштейн Л. Логико-философский трактат. М.: Издательство иностранной литературы, 1958.

Ключевые термины:  математическая логика;   семиотика;   факт;   философия математики;   философия информатики;   история ИТ;   онтология;

Контекстный поиск: Задайте образец для поиска:

Федотов Анатолий Михайлович

НГУ ФИТ НГУ ИВТ СО РАН