Warning: date(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/h77455/data/www/psyoffice.ru/engine/init.php on line 69 Warning: date(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/h77455/data/www/psyoffice.ru/engine/init.php on line 69 Warning: strtotime(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/h77455/data/www/psyoffice.ru/engine/modules/news/nes/nes_news.php on line 48 Warning: date(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/h77455/data/www/psyoffice.ru/engine/modules/news/nes/nes_news.php on line 49 Warning: strtotime(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/h77455/data/www/psyoffice.ru/engine/modules/news/nes/nes_news.php on line 51 Warning: date(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/h77455/data/www/psyoffice.ru/engine/modules/news/nes/nes_news.php on line 52 ТАРСКИЙ Альфред



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

— (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.

В. Л. Васюков

Просмотров: 839
Категория: Словари и энциклопедии » Философия » Новая философская энциклопедия, 2003 г.




Другие новости по теме:

  • TAPCKИЙ (TARSKI) Альфред (1902-1984)
  • АФФЕКТИВНО - ВОЛЕВЫЕ ТЕОРИИ МОРАЛЬНОЙ ЦЕННОСТИ
  • БЕРКЛИ (BERKELEY) Джордж
  • БЕРКЛИ (BERKELEY) Джордж (1685-1753)
  • БЕРКЛИ (BERKELEY) Джордж (1685-1753)
  • ДЕДУКТИВНОЙ и ИНДУКТИВНОЙ ЛОГИКИ СИСТЕМЫ
  • ДРУГИЕ ТЕОРИИ И КОНЦЕПЦИИ ЛИЧНОСТИ
  • ИНТЕРПРЕТАЦИЯ РЕЗУЛЬТАТОВ ПРИМЕНЕНИЯ МАТЕМАТИЧЕСКОГО МЕТОДА
  • Истинности аргументов правило
  • Когерентная теория истинности
  • Концепции
  • Корреспондентная теория истинности
  • НИХОНДЗИН РОН (япон. - теории о японцах), другое название НИХОН БУНКА РОН (япон. - теории японской культуры)
  • Основные понятия и идеи теории коммуникативного действия Хабермаса
  • ПАРАДОКСЫ (логики и теории множеств)
  • ПОЛНОТА (в логике и дедуктивных науках)
  • Происхождения языка теории
  • Развитие специальных социологических теорий и исследований
  • СОЦИОЛОГИЧЕСКИЕ ТЕОРИИ СРЕДНЕГО УРОВНЯ (СРЕДНЕ-УРОВНЕВЫЕ СОЦИОЛОГИЧЕСКИЕ ТЕОРИИ)
  • СТАНОВЛЕНИЕ ТЕОРИИ НЕЛИНЕЙНЫХ ДИНАМИК В СОВРЕМЕННОЙ КУЛЬТУРЕ. Сравнительный анализ синергетической и постмодернистской парадигм
  • Семантическая концепция истины (для формализованных языков) А. Тарского
  • Системы и теории
  • Специальные социологические теории, или Теории среднего уровня
  • ТАБЛИЦА ИСТИННОСТИ
  • ТАРСКИЙ (TARSKI) Альфред
  • ТАРСКИЙ (TARSKI) Альфред
  • ТАРСКИЙ Альфред
  • ТАРСКИЙ Альфред (1902—88)
  • ТЕАТРАЛЬНОСТЬ СОВРЕМЕННОГО СОЗНАНИЯ И ПОСТМОДЕРНИСТСКИЕ ТЕОРИИ ТЕАТРА
  • Тарский Альфред



  • ---
    Разместите, пожалуйста, ссылку на эту страницу на своём веб-сайте:

    Код для вставки на сайт или в блог:       
    Код для вставки в форум (BBCode):       
    Прямая ссылка на эту публикацию:       






    Данный материал НЕ НАРУШАЕТ авторские права никаких физических или юридических лиц.
    Если это не так - свяжитесь с администрацией сайта.
    Материал будет немедленно удален.
    Электронная версия этой публикации предоставляется только в ознакомительных целях.
    Для дальнейшего её использования Вам необходимо будет
    приобрести бумажный (электронный, аудио) вариант у правообладателей.

    На сайте «Глубинная психология: учения и методики» представлены статьи, направления, методики по психологии, психоанализу, психотерапии, психодиагностике, судьбоанализу, психологическому консультированию; игры и упражнения для тренингов; биографии великих людей; притчи и сказки; пословицы и поговорки; а также словари и энциклопедии по психологии, медицине, философии, социологии, религии, педагогике. Все книги (аудиокниги), находящиеся на нашем сайте, Вы можете скачать бесплатно без всяких платных смс и даже без регистрации. Все словарные статьи и труды великих авторов можно читать онлайн.







    Locations of visitors to this page



          <НА ГЛАВНУЮ>      Обратная связь