Тарский
ТАРСКИЙ (Tarski) Альфред (1902-1984) - польско-американский логик и математик, один из главных представителей Львовско-варшавской школы. Доцент Варшавского университета (1926). С 1939 в США. Сотрудник Гарвардского университета и Института высших исследований (Прин-стон) - с 1942. Профессор математики Калифорнийского университета (1946). Президент Международного союза истории и философии науки. Президент Ассоциации символической логики. Соредактор известнейшего журнала по логике "The Journal of Symbolic Logic". Внес значительный вклад в разработку методов решения проблемы разрешения, в теорию моделей, в теорию определимости понятий, в развитие алгебраических методов изучения исчисления предикатов, в теорию логик с формулами бесконечной длины, в многозначную логику и другие разделы математической логики и оснований математики.
Основоположник формальной семантики ("Семантическая концепция истины и основания семантики", 1944). В работе "Понятие истины в формализованных языках" (1934) Т. Дал определение классического понятия истины для большой группы формализованных языков, разработав теорию моделей. Уточняя термин истины и семантического (а не синтаксического) понятия логического следствия, Т. Решал проблему соотношения множества объектов и совокупности формализованых языков. Истину Т. Стремился трактовать в контексте ее понимания как соответствия предложения и "факта", т.е. Сопряженности чувственной верификации и формальной точности правил языкового словоупотребления. Вывод Т. Свелся к следующему. Для произвольного p, "р" являет собой истинное высказывание, если и только если последнее (р) имеет место.
(По схеме Т., р - это словосочетание предметного языка, характеризующее определенное положение вещей, а "р" - сочетание слов "метаязыка", конституирующее предложение). Разводя "кавычко-вое название" и собственно название, заключенное в кавычки, Т. Пришел к выводу, что "для произвольного x, х есть истинное высказывание, если и только если для некоторого р имеет место тождественность х и "р" и притом дано р". Т. Подчеркивал, что понятия "ложно" и "истинно" допустимы к употреблению исключительно на уровне метаязыка, но не уровне языка предметного. Т. Также принадлежит ряд исследований в области методологии дедуктивных наук. Работы Т. По семантике и металогике ("Логика, семантика, метаматематика", 1956) оказали большое влияние на развитие семиотики и послужили образцом применения формальных методов для анализа содержательных проблем и теорий.
(см. Также. АНАЛИТИЧЕСКАЯ ФИЛОСОФИЯ, ПОЗИТИВИЗМ)..
Дополнительный поиск Тарский
На нашем сайте Вы найдете значение "Тарский" в словаре Новейший философский словарь, подробное описание, примеры использования, словосочетания с выражением Тарский, различные варианты толкований, скрытый смысл.
Первая буква "Т". Общая длина 7 символа