text: Он развил учение об анализе и синтезе, впервые сформулировал закон достаточного основания (которому, однако, придавал не только логический (относящийся к мышлению), но и онтологический (относящийся к бытию) смысл: «… ни одно явление не может оказаться истинным или действительным, ни одно утверждение справедливым, — без достаточного основания, почему именно дело обстоит так, а не иначе…»); Лейбниц является также автором современной формулировки закона тождества; он ввёл термин «модель», писал о возможности машинного моделирования функций человеческого мозга.