(от греч. theoria — рассмотрение, исследование) — совокупность высказываний, замкнутых относительно логического следования. Такое предельно общее и наиболее абстрактное определение Т. дает логика. С логической т.зр. теорией можно назвать любое высказывание, рассматриваемое вместе с его логическими следствиями. Напр., из высказывания «Сегодня вторник» следуют такие: «Завтра будет среда», «Вчера был понедельник», «Сегодня — третий день недели» и т.п., поэтому данное высказывание вместе с перечисленными следствиями можно назвать Т. Столь широкое определение термина «Т» может показаться несколько необычным, однако оно вполне соответствует обыденному употреблению этого слова. Напр., в романе М. Булгакова «Мастер и Маргарита» Воланд говорит отрезанной голове Берлиоза: «...ваша теория и солидна, и остроумна. Впрочем, ведь все теории стоят одна за другой. Есть среди них и такая, согласно которой каждому будет дано по его вере». Неясное и расплывчатое употребление слова «Т.» в повседневном языке и выражает логическое определение данного термина. Чтобы сделать его более точным, нужно указать по меньшей мере, какой именно логической системой мы пользуемся при выводе следствий. Ржева Е., Сикорский Р. Математика метаматематики. М., 1972.