Тавтология – (от греч. тот самый, слово) 1) в традиционной логике – обозначение, повторяющее в другой форме ранее изложенное. 2) в математической логике – правильно построенная формула счисления выражений, которая имеет значение «истинна», для любой системы истинных значений ее переменных. Тавтология и только тавтологии, являются обозначением истинности исходных формул в классическом счислении выражений.  В данном случае тавтологию не следует путать с «кругом в обозначении», –   culus in definiendo –  логической ошибкой в обозначении понятий (это когда понятие А, обозначают через совокупность понятий куда входит и само понятие А). Когда понятие обозначается с помощью самого понятия, к примеру «закон придерживается предписаний закона». Опосредствованным К. в О. которое содержит в себе круг (когда понятие А. обозначают с помощью понятия Б, в противоположность этому понятие Б само обозначается через понятие А), называют тавтологическим.  К примеру: «Логика является наукой о законах правильного мышления. Правильным является мышление, которое происходит по законам логики». Такие обозначения не дают точного смысла понятия, однако они играют важную роль в науке. Аксиомы дедуктивной системы, например, являются тавтологическими, и их иногда считают неявным обозначением тех понятий, которые в них входят. Также как есть К. в О., существует и Круг в доведении - culus in demonstrando, логическая ошибка в доведении, которая состоит в том, что как аргумент доведения определенного утверждения (тезы), используют такое же, еще не доведенное утверждение. К примеру, довести, что человек есть существо, мыслящее тем, что человек может мыслить;  и наоборот что человек может мыслить потому, что он существо мыслящее. Это и есть К. в Д. разновидность логической ошибки, «не доведенного основания», или «постулирование основания», - petito principi. Типичным случаем  К. в Д. является попытка довести тезу Х, с помощью утверждения У, которое само ранее было обоснованно суждением Х. Настоящего доведения здесь нет, поскольку совокупность исходных оснований не может быть достаточным основанием для доведения или обозначения истинности тезы.