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

(от лат. conventio - соглашение) - договор, согла­шение, условие. Разнообразные К. играют значительную роль в на­уке и в повседневной жизни. Спор, дискуссия, коллективное об­суждение к.-л. проблем всегда опираются на соглашение относительно значений используемых слов, терминов, выражений. При построении аксиоматических систем символической логики аксиомы часто принимаются конвенционально в зависимости от удобства, простоты или конкретных целей построения. Для описа­ния пространственных свойств объективного мира ученые часто по соглашению используют ту или иную систему геометрии.