Blog:Definition: idea, logic, practise/Many-sorted logics