Новейший философский словарь

ТАРСКИЙ

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

  1. тарский—Tarski Альфред польский и американский логик иматематик один из главных представителей львовсковаршавской школы. С в США. Труды по логикоалгебраической теории моделей м...Большой энциклопедический словарь II
  2. тарский—корень ТАР суффикс СК окончание ИЙ Основа слова ТАРСКВычисленный способ образования слова Суффиксальный ТАР СК ИЙ Слово Тарский содержит следующие морфемы или час...Морфемный разбор слова по составу
  3. тарский—Начальная форма Тарский винительный падеж единственное число мужской род неодушевленное...Морфологический разбор прилагательных
  4. тарский—ТАРСКИЙstrong Tarski Альфред американский математик и философ уроженец Польши. Известен тем что разработал семантический метод применяемый в метаматематике раздел матема...Научно-технический энциклопедический словарь
  5. тарский—ТАРСКИЙ Tarski Альфред польский и американский логик и математик один из главных представителей львовсковаршавской школы. С в США. Труды по логикоалгебраической теории ...Современный энциклопедический словарь
  6. тарский—ТАРСКИЙ Tarski Альфред пол. логик и математик. Изучал математику и философию в Варшаве в его учителями были логики С. Лесьневский и Я. Лукасевич математик В. Серпиньск...Философская энциклопедия
  7. тарский—Стик Старик Скит Скат Ска Ситар Сиртак Сатир Сати Сари Сак Сайт Рита Риска Риск Рис Рик Риа Раст Ракс Рак Раис Кси Крит Криста Крис Крат Край Китай Кит Киста Киса Кира Ки...Электронный словарь анаграмм русского языка