Добро
пожаловать
на наш сайт
посвященный
философии
 
Философик

Переменные и постоянные — по­пятил математики и логики. В мате­матике они определяются обычно как величины, к-рые припимают различные значения, либо, соответ­ственно, сохраняют одно и то же значение. Систематическое их при­менение ведет начало от Декарта. В математической логике перемен­ные обычно употребляются при фор­мулировке законов логики, аксиом и правил вывода логических исчис­лений, что подчеркивает их общий характер. Переменные в логике в этом случае обозначают произволь­ные постоянные объекты (высказы­вания, предметы, предикаты); такие переменные наз. содержательными. Но в логических исчислениях пере­менные могут рассматриваться и просто как особым образом опреде­ленные объекты; такие переменные наз. формальным. Знаки логиче­ских операций, кванторы и др. со­ставляют логические постоянные.