ТАРСКИЙ АЛЬФРЕД

Найдено 8 определений

Показать: [все] [проще] [сложнее]

Автор: [российский] Время: [советское] [постсоветское] [современное]

ТАРСКИЙ АЛЬФРЕД

(1902—1983) — логик и математик. Основоположник формальной семантики, изучающей значения понятий и суждений в логике; дал определение классического понятия истины для большой группы формализованных языков. Разрабатывал теории моделей, определимости понятий, проблемы построения дедуктивных теорий, металогику, семиотику, внёс большой вклад в развитие математической логики и оснований математики.

Источник: Философский словарь инженера. 2016

ТАРСКИЙ (Tarski) Альфред

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

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

ТАРСКИЙ Альфред

p. 14.1.1902, Baршава), польск. логик и математик, один из гл. представителей львовсковаршавркой школы. С1939 в США. Внес значит. вклад в разработку методов решения проблемы разрешения, в теорию моделей, в теорию определимости понятий, в развитие аягебраич. методов изучения исчисления предикатов, в теорию логик с формулами бесконечной длины, в многозначную логику и др, разделы математич. логики и оснований математики. Основоположник формальной семантики. В работе «Понятие истины в формализованных языках» Т. дал определение классич. понятия истины для большой группы формализованных языков. Т. принадлежит ряд исследований в области методологии дедуктивных наук. Работы Т. по семантике и металогике оказали большое влияние на развитие семиотики и дослужили образцом применения формальных методов для анализа содержат. проблем и теорий,

Источник: Советский философский словарь

ТАРСКИЙ (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).

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

ТАРСКИЙ АЛЬФРЕД

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

Источник: Новейший философский словарь

ТАРСКИЙ Альфред

14 января 1902, Варшава — 27 октября 1983, Беркли) — представитель Львовско-Варшавской школы, польский математик и философ. Окончил Варшавский университет, с 1926 преподавал в том же университете, в 1939 эмигрировал в США, преподавал в Гарвардском университете, Принстонском институте высших исследований, с 1946 — профессор Калифорнийского университета (Беркли). Философские взгляды Тарского сформировались под влиянием С. Лесьневского, Я. Лукасевича и Т. Котарбиньского. В начале 20-х гг. получил ряд результатов в области пропозициональной логики, в частности аксиоматическую формулировку импликативного фрагмента классической логики высказываний. В 1925—29 Тарский дал точное определение дедуктивной системы и доказал ряд теорем, устанавливающих свойства дедуктивных систем. В сер. 30-х гг. Тарский разработал исчисление дедуктивных теорий. К числу метаматематических результатов Тарского относятся также разработка метода элиминации кванторов, доказательство разрешимости элементарной теории действительных чисел и элементарной геометрии. Тарский внес значительный вклад в разработку моделей теории (обобщение теоремы Левенгейма—Скулема) и в теорию определимости понятий. В историю математики Тарский вошел как основатель т. н. «западной» (калифорнийской) школы теории моделей.
Наиболее известным результатом Тарского является разработанная им семантическая концепция истинности (см. Логическая семантика), выдвинувшая его в число ведущих логиков и философов 20 в. Тарский показал, что для любого из языков мы можем определить предикат истинности, который доказуемо применим ко всем истинным предложениям языка, и, более того, что мы можем определить этот предикат, используя достаточно простые синтаксические и теоретикомножественные понятия. Философское значение разработанной Тарским концепции заключается в установлении границ и познавательной ценности формализации, в уточнении языковых выражений, удовлетворяющих классической (аристотелевской) концепции истинности. Результаты Тарского оказали влияние на формирование известных философско-методологических теорий, предложенных в 30—50-х гг., в частности на концепции К. Айдукевича, К. Поппера, Р. Карнапа. В логике эти методы Тарского, так же как его теоретико-модельная техника, стали частью современного логического аппарата, их изложение можно встретить на страницах практически каждой современной книги по логике.
Соч.: Pojccie prawdy w jezykach nauk dedukcyjnych. Warsz., 1933; Введение в логику и методологию дедуктивных наук. М., 1948; Undecidable theories (with A. Mostowski and A. Robinson). Amsterdam, 1953; Истина и доказательство.— «ВФ», 1972, № 8; The collected works of Alfred Tarski, University of California. Berkeley, 1981. Лит.: EchmendyJ. Tarski on Truth and Logical Consequence.— «Journal f Symbolic Logic», 1988, v. 53.
В. Л. Васюков

Источник: Новая философская энциклопедия

ТАРСКИЙ АЛЬФРЕД

Tarski), Альфред (р. 14 янв. 1902) – логик и математик, один из наиболее значит. представителей львовско-варшавской школы. Философские и логич. взгляды Т. сложились под влиянием Котарбиньского и Лукасевича. С 1939 Т. живет в США и ведет исследовательскую и педагогич. работу сначала в Гарвардском ун-те и Ин-те высших исследований (Принстон), а затем в Калифорнийском ун-те в Беркли. Т. был президентом Международного союза истории и философии науки и президентом Ассоциации символич. логики; он является членом Нидерландской королевской академии наук и иск-в. Т. принадлежат работы во мн. разделах математической логики и оснований математики, а именно: в теории множеств и булевой алгебре, в теории моделей и элементарных теориях, в теории отношений, в алгебрах с замыканием, в теории логик с формулами бесконечной длины, в многозначных логиках, в теории цилиндрич. алгебр и т.д. Значителен вклад Т. в развитие методов решения разрешения проблем и особенно в теорию моделей, а также в теорию определимости понятий и в алгебраич. методы изучения предикатов исчисления. Т. является основоположником формальной семантики, к-рая фактически возникает после его работы "Понятие истины в формализованных языках" (см. Семантика в логике, Логическая семантика, Логическая истинность). Эта работа, выполненная им независимо от работ К. Геделя, примыкает к важному кругу результатов о неполноте (см. Полнота) достаточно богатых формализованных языков. Т. принадлежат также работы по общим свойствам дедуктивных теорий, названным им методологией дедуктивных наук (см. Металогика). Работы Т. по семантике и металогике оказали большое влияние на развитие семиотики и послужили одним из источников распространения идеи о необходимости изучать содержат, теории посредством их формализов. аппроксимаций. Соч.: The semantic conception ot truth and the foundations of semantics, "Philosophy and Phenomenological Research", 1944, v. 4, No 3; The algebra of topology. "Annals of Mathematics", 1944, v. 45, No 1 (совм. с J. С. С. McKinsey); On closed elements in closure algebras, там же, 1946, v. 47, No 1 (совм. с J. С. С. McKinsey); Some general properties of cylondric algebras. Preliminary report, "Bulletin of the American Mathematical Society", 1952, v. 58, No 1 (совм. с F. B. Thompson); Some notions and methods on the borderline of algebra and metamathematics, в кн. : Proceedings of the International Congress of Mathematicians. Camb. (Mass.), USA. 1950, v. 1, Providence, 1952; Undecidable theories, N. Y., 1954 (соавтор); Logic, semantics, metamathematics, Oxf., 1956; Contributions to the theory of models, "J. Symbolic Logic", 1956, No 21; Notions of proper models for set theories, "Bulletin of the American Mathematical Society", 1956, v. 62, No 6; Remarks on predicate logic with infinitely long expressions, "Colloquium Mathematicum", 1958, v. 6; в рус. пер. – Введение в логику и методологию дедуктивных наук, М., 1948. В. Финн. Москва.

Источник: Философская Энциклопедия. В 5-х т.