ТАРСКИЙ

Большая советская энциклопедия (БЭС)

(Tarski)
Альфред (р. 14.1.1902, Варшава), польский логик и математик (с 1939 живёт в США). Полученные Т. результаты относятся к теории множеств, теории булевых алгебр, логикам с формулами бесконечной длины и др. разделам математической логики и оснований математики. Основополагающий характер имеют работы Т. в моделей теории (См. Моделей теория), логической семантике, металогике и методологии дедуктивных наук.
Соч.: Undecidable theories, N. Y., 1954 (соавтор); Logics, semantics, metamathematics, Oxf,, 1956; в рус. пер.— Введение в логику и методологию дедуктивных наук, М., 1948.

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

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

Современная западная философия

ТАРСКИЙ, (Tarski) Альфред (1902-1984) - польск. логик и математик. Его взгляды сформировались в рамках <<Львовско-варшавской школы>>, на них повлияли идеи <<Котарбиньского>>, <<Лукасевича>> и <<Лесьневского>>. С 1926 преподавал в Варшавском ун-те. В 1939 эмигрировал в США, с 1942 работал в Гарвардском ун-те и Институте высших исследований в Принстоне, с 1946 проф. математики Калифорнийского ун-та. Т. был президентом Международного союза истории и философии науки, президентом Ассоциации символической логики, со-редактором крупнейшего логического журнала «The Journal of Symbolic Logic». Наиболее значителен вклад Т. в теорию множеств, алгебру, теорию моделей, в различные разделы математической логики, признание получили его работы, посвященные основаниям математики. Т. считают основоположником формальной <<семантики>>. Им дано ставшее классическим <<семантическое определение истины>> для большой группы формализованных языков. Он является также автором исследований по общим свойствам дедуктивных теорий. Труды Т. по логической семантике, металогике и методологии дедуктивных наук открыли принципиально новые возможности применения строгих формальных методов в логико-методологическом анализе многих проблем.
Введение в логику и методологию дедуктивных наук. М., 1948; Истина и доказательство // Вопросы философии. 1972, №8; Logic, Semantic, Metamathematic. Oxford, 1956.

Философский словарь

Альфред (1902 — 88) — польский логик, математик и методолог науки, один из виднейших представителей львовско-варшавской школы; с 1938 в США. Т. принадлежит ряд значительных результатов в теории моделей, определимости,понятий, в разработке проблем разрешимости, различных разделов математической логики и оснований математики. Т. — один из основоположников логической семантики. Значительное место в творчестве Т. занимают проблемы методологии дедуктивных наук, исследования познавательных возможностей и границ применимости формальных методов (аксиоматического метода, формализации и др.) в научном познании. В основополагающей для последующего развития логической семантики и металогике работе “Понятие истины в формализованных языках” (1936) Т. раскрыл специфику содержания и использования понятия истины в формализованных теориях, дал определение этого понятия для большой группы формализованных языков (Истина в формализованных языках). С философ-ско-методологической т. зр: наиболее важный результат, полученный Т. в этой работе, — доказательство внутренней ограниченности выразительных возможностей формализованных теорий (невозможность строго формальными средствами передать все то познавательное содержание, к-рое выражается достаточно богатыми содержательными научными теориями, подвергшимися формализации). Наряду с теоремами Геделя о неполноте достаточно богатых формальных систем результаты Т. стали важной вехой на пути осознания принципиальной невозможности полной формализации научного знания, способствовали углублению представлений о диалектике взаимосвязи содержательного и формального в познании. В 30-х гг. философские взгляды Т. были близки к неопозитивизму; впоследствии он выступил с критикой формализма и субъективизма в истолковании логики и математики. Осн. соч.: “Введение в логику и методологию дедуктивных наук” (1936, рус. пер. 1948), “Семантическая концепция истины и основания семантики” (1944), “Логика, семантика, метаматематика” (1956), “Истина и доказательство” (1972).

Философский энциклопедический словарь

ТАРСКИЙ (Tarski) Альфред (род. 14 янв. 1902, Варшава) – польск.-амер. логик и математик. С 1939 живет в США. Основоположник формальной семантики, изучающей значения понятий и суждений в логике, дал определение классического понятия истины для большой группы формализованных языков. Разрабатывал теории моделей, определимости понятий, проблемы построения дедуктивных теорий, металогику, семиотику, внес большой вклад в развитие математической логики и оснований математики. Осн. труды: «Logic, semantic, metamathematics», 1956; на рус. яз. – «Введение в логику и методологию дедуктивных наук», М., 1948; «Истина и доказательство». – «Вопросы философии», 1972, Me 8.

Философский энциклопедический словарь 2

        (Tarski) Альфред (p. 14.1.1902, Baршава), польск. логик и математик, один из гл. представителей львовско-варшавркой школы. С1939 в США. Внёс значит. вклад в разработку методов решения проблемы разрешения, в теорию моделей, в теорию определимости понятий, в развитие аягебраич. методов изучения исчисления предикатов, в теорию логик с формулами бесконечной длины, в многозначную логику и др, разделы мате-матич. логики и оснований математики. Основоположник формальной семантики. В работе «Понятие истины в формализованных языках» Т. дал определение клас-сич. понятия истины для большой группы формализованных языков. Т. принадлежит ряд исследований в области методологии дедуктивных наук. Работы Т. по семантике и металогике оказали большое влияние на развитие семиотики и дослужили образцом применения формальных методов для анализа содержат. проблем и теорий,
        Undecidable theories, ?. ?·, 1954 (соавтор); Logic, semantics, metamathematics, Oxf., 1956; в рус. пер.— Введение в логику и методологию дедуктивных наук, М., 1948; Истина и доказательство, «ВФ», 1972, № 8.
        Чудинов 9. М., Природа науч. истины, М., 1977, гл. 1,

Научнотехнический Энциклопедический Словарь

ТАРСКИЙ (Tarski) Альфред (1902-83), американский математик и философ, уроженец Польши. Известен тем, что разработал семантический метод, применяемый в метаматематике (раздел математической логики.) Опубликовал «Введение в логику и методологию дедуктивных наук» (1936, рус.пер.М., 1948) и «Логика, семантика, метаматематика» (1956).

Если вы желаете блеснуть знаниями в беседе или привести аргумент в споре, то можете использовать ссылку:

будет выглядеть так: ТАРСКИЙ

будет выглядеть так: Что такое ТАРСКИЙ