Словарь по логике

 

Теория-подобные объекты
(сокращенноТПО). Различные абстрактные математические объекты, которые можно трактовать как формальные модели или проекты теорий (в том числе логик): исчисления, формальные теории, алгебры, логические матрицы, логические модели, формальные семантики и т.п. Без содержательной интерпретации ТПО можно трактовать как логические формы теорий. Являются основным объектом исследования в современной логике.

Термин “теория-подобный объект (объекты)” и его сокращение “ТПО” введены Т.А. Шияном в докладе “О работе по системному математическому описанию предмета современной символической логики” [Шиян 2002a] и использовался им в ряде работ при описании предмета современной символической логики.

 

Литература.

  1. Шиян Т.А. О работе по системному математическому описанию предмета современной символической логики // Человек - Культура - Общество. Актуальные проблемы философских, политологических и религиоведческих исследований. (Том II) М.: Изд-во "Современные тетради", 2002.
  2. Шиян Т.А. Принципы построения математического структурно-системного описания предмета современной символической логики // Материалы Третьего Российского философского конгресса. Ростов н/Дон, 2002.
  3. Шиян Т.А. Проблемы интерпретации математической символики, возникающие на стыке формально-математического и «исторического» подходов к изучению формальных теорий // taras-shiyan.narod.ru. 2003.
  4. Шиян Т.А. О проблеме определения предмета формальной логики / XIV научно-практическая конференция "Дни науки - 2014". Тезисы докладов: Озерск, 25-26 апреля 2014 г. Озерск: ОТИ НИЯУ МИФИ, 2014. ISBN 978-5-905620-14-0. С. 88-91.
Шиян Т.А.

© Автор статьи.