Герр Готфрид Вильгельм Лейбниц... с этим человеком мы познакомились совсем вскользь, когда я рассказывал про Исаака Ньютона. И я вот теперь сижу и думаю, а не запилить ли про него материал. Когда-нибудь может сделаю про него отдельный большой ролик, а пока давайте сделаем статью, ведь это, можно сказать, пахан европейской математики... Лейбница и Ньютона запомнили как сладкую парочку в первую очередь из-за спора, если не сказать драчки, о приоритете открытия исчисления (Calculus, или по-нашему математический...
Аристотель не зря считается основоположником логики. Вся наша логика (включая её неклассические варианты) в той или иной степени построена именно на рассуждениях Аристотеля о логике. И одно из главных его достижений в логике — это описанные им три логических закона. Конечно, они наверняка использовались и раньше, но, сформулированные, они обрели точность и вес. Ну, и сделали дискуссии на симпосиях интереснее. В этой статье мы рассмотрим только эти три закона, четвёртый логический закон, сформулированный Лейбницем — закон достаточного основания — будет темой для отдельной статьи...