Научно-технический энциклопедический словарь → Что такое ТАРСКИЙ, что означает и как правильно пишется

Что такое "ТАРСКИЙ"? Как правильно пишется данное слово. Понятие и трактовка.

ТАРСКИЙ ТАРСКИЙ (Tarski) Альфред (1902-1984) - польско-американский логик и математик, один из главных представителей Львовско-варшавской школы. Доцент Варшавского университета (1926). С 1939 в США. Сотрудник Гарвардского университета и Института высших исследований (Прин-стон) - с 1942. Профессор математики Калифорнийского университета (1946). Президент Международного союза истории и философии науки. Президент Ассоциации символической логики. Соредактор известнейшего журнала по логике «The Journal of Symbolic Logic». Внес значительный вклад в разработку методов решения проблемы разрешения, в теорию моделей, в теорию определимости понятий, в развитие алгебраических методов изучения исчисления предикатов, в теорию логик с формулами бесконечной длины, в многозначную логику и другие разделы математической логики и оснований математики. Основоположник формальной семантики (»Семантическая концепция истины и основания семантики», 1944). В работе «Понятие истины в формализованных языках» (1934) Т. дал определение классического понятия истины для большой группы формализованных языков, разработав теорию моделей. Уточняя термин истины и семантического (а не синтаксического) понятия логического следствия, Т. решал проблему соотношения множества объектов и совокупности формализованых языков. Истину Т. стремился трактовать в контексте ее понимания как соответствия предложения и «факта», т.е. сопряженности чувственной верификации и формальной точности правил языкового словоупотребления. Вывод Т. свелся к следующему: для произвольного p, «р» являет собой истинное высказывание, если и только если последнее (р) имеет место. (По схеме Т., р - это словосочетание предметного языка, характеризующее определенное положение вещей, а «р» - сочетание слов «метаязыка», конституирующее предложение). Разводя «кавычко-вое название» и собственно название, заключенное в кавычки, Т. пришел к выводу, что «для произвольного x, х есть истинное высказывание, если и только если для некоторого р имеет место тождественность х и «р» и притом дано р». Т. подчеркивал, что понятия «ложно» и «истинно» допустимы к употреблению исключительно на уровне метаязыка, но не уровне языка предметного. Т. также принадлежит ряд исследований в области методологии дедуктивных наук. Работы Т. по семантике и металогике (»Логика, семантика, метаматематика», 1956) оказали большое влияние на развитие семиотики и послужили образцом применения формальных методов для анализа содержательных проблем и теорий. (см. также: АНАЛИТИЧЕСКАЯ ФИЛОСОФИЯ, ПОЗИТИВИЗМ).
ТАРСКИЙ - (Tarski)         Альфред (р. 14.1.1902, Варшава), польский логик и математик (с 1939 живёт в США). ... Большая Советская энциклопедия
ТАРСКИЙ - 1-й источник: ТАРСКИЙ (Tarski) Альфред (род. 14 янв. 1902, Варшава) – польск.-амер. логик и математи... Философский энциклопедический словарь
ТАРСКИЙ - ТАРСКИЙ (Tarski) Альфред (1902-83), американский математик и философ, уроженец Польши. Известен тем... Научно-технический энциклопедический словарь
А  Б  В  Г  Д  Е  Ж  З  И  Й  К  Л  М  Н  О  П  Р  С  Т  У  Х    Ц  Ч  Ш  Щ  Ъ  Ы  Ь  Э  Ю  Я  
Не нашел материала для курсовой или диплома?
Пишем качественные работы
Без плагиата!