Но было бы очень дискуссионным узнать за логикой так настоящее и простое каузальное влияние на онтологию. Но если мы рассматриваем начала, на каких мы умеем доказывать принятие волеизъявлений и присутствие полаганий, то мы видим, что сходное обязательство не умеет послужить нам подобным началом. Началом для предназначения логической формочки играют скорее наши полагания о логической импликации — основанные, в собственную очередность, на данных наблюдения, узнанных дедукции или прецедентах, или на чем бы то ни было, что представляет релевантным в нашей конц@#$уальной схеме. и противоположные сходные, заключающиеся из суждений подобного облика, владеют формочку H ( B, 1 - 70 ) & H ( V, 1 - 70 ) ( $ x ) [H ( B, x ) & H ( V, x ) ] Если мы используем объектную квантификацию в предназначении логической формочки, то истинность составляющих импликацию суждений зависит от существования чисел – иными словами, если мы решаем назначить предложению "Борис и Владимир одного роста" формочку ( $ x ) [ H ( B, x ) & H ( V, x ) ], и при этом полагаем, что это предложение истинно, то мы принимаем онтологическое обязательство к числам, практически по - пифагорейски полагая их существующими наравне с обоими этими людьми.

Но было бы очень дискуссионным узнать за логикой так настоящее и простое каузальное влияние на онтологию. Но если мы рассматриваем начала, на каких мы умеем доказывать принятие волеизъявлений и присутствие полаганий, то мы видим, что сходное обязательство не умеет послужить нам подобным началом. Началом для предназначения логической формочки играют скорее наши полагания о логической импликации — основанные, в собственную очередность, на данных наблюдения, узнанных дедукции или прецедентах, или на чем бы то ни было, что представляет релевантным в нашей конц@#$уальной схеме. и противоположные сходные, заключающиеся из суждений подобного облика, владеют формочку H ( B, 1 - 70 ) & H ( V, 1 - 70 ) ( $ x ) [H ( B, x ) & H ( V, x ) ] Если мы используем объектную квантификацию в предназначении логической формочки, то истинность составляющих импликацию суждений зависит от существования чисел – иными словами, если мы решаем назначить предложению "Борис и Владимир одного роста" формочку ( $ x ) [ H ( B, x ) & H ( V, x ) ], и при этом полагаем, что это предложение истинно, то мы принимаем онтологическое обязательство к числам, практически по - пифагорейски полагая их существующими наравне с обоими этими людьми.