Если два или несколько треугольников имеют пропорциональные стороны, то они имеют равные углы.
Если два или несколько треугольников имеют равные углы, то они подобны,
Следовательно, если два или несколько треугольников имеют пропорциональные стороны, то они подобны.
Ясно, что положения эти, естественно, только и могут быть выражены условно, если они хотят сказать, что
Не напрасно главным законом, который руководит математическими выводами, является основоположение, что «две величины, порознь равные одной и той же третьей, равны между собой», т. е. положение о необходимой связи отношений; и не напрасно средством прогресса является часто субституция одной величины на место другой равной величины. Все это процессы, которые не находят себе никакого места в обыкновенных формах силлогизма, но они всегда могут быть изображены строго силлогистически с помощью указанных общих законов.
6. То, что имеет силу по отношению к геометрии, имеет силу также и по отношению к другим областям знания. То, что еще должно быть установлено и выведено, – это есть то, что не
«Смертная казнь» не содержится аналитически в понятии предумышленного убийства, но благодаря воле законодателя она синтетически связана с отдельным случаем преступления. Если врач диагностицировал болезнь как тиф, то он не делает вывода «следовательно, инфекционная болезнь» и т. д., а выводит «следовательно, это и это лечение». «Те средства, которые противодействуют тифу» не содержатся аналитически в понятии тифа, а требуются синтетически
Благодаря этому учение
7. Отсюда выясняется значение для процесса вывода всех тех общих положений, которые касаются необходимых отношений между отношениями и посредством которых могут быть получены суждения отношения; положений, что два понятия или объекта, тождественные третьему, тождественны также между собою; что две величины, порознь равные одной и той же третьей, равны также и между собою; что равное, будучи сложено с равным, дает равное, и т. д.; далее, тех положений, которые регулируют пространственные отношения. Признаются самые эти основоположения аналитическими (так как они следуют из понятия тождества, равенства и т. д.) или синтетическими суждениями a priori – это, в конце концов, имеет подчиненное значение. Прежде всего дело сводится к тому, что касаясь отношений, они делают возможным выход за пределы просто аналитических суждений, которые обыкновенно только и имеются в виду традицией.