Cтраница 4
Более гибким и соответственно более конструктивным подходом к проверяемости общих утверждений, содержащих кванторы V и 3, является признание того, что общим утверждениям присуща некоторая неопределенность и что общие утверждения в каждый конкретный момент времени могут выражать только относительную, а не абсолютную истину. В современной литературе по логике и методологии науки предложены различные и зачастую конкурирующие спецификации этого подхода. Шлика вопросы проверяемости общих утверждений обсуждались специалистами по математической статистике как проблемы статистической проверки гипотез и в результате этого обсуждения был предложен ряд методов решения этих проблем, которые используются в математической статистике и по сей день. [46]
Переоценка фактов способна упустить из виду неточные факты и даже псевдофакты, которые могут появляться подобно естественнонаучным фактам и в сфере мировоззренческого знания. Сложность выработки точных фактов требует не только особого внимания к достижению адекватности философского факта тем фрагментам действительности, которые он призван отразить, но также и к строгости истолкования наблюдаемых отношений, явлений в рамках мировоззренческой теории. Факты должны отвечать критерию проверяемости; они могут уточняться, корректироваться и в аспекте мировоззренческого знания, в рамках конкретных, индивидуальных мировоззрений, и в теоретической системе философии в целом. [47]
Что касается методов оценки, исследование показало, что общепринятого метода расчета не существует, а проводимые ныне оценки не удовлетворяют требованию о том, чтобы величина актива была измерима и проверяема с достаточной степенью достоверности. Исследовательская группа LBS отметила, что невозможно разработать достаточно обоснованный и объективный метод отделения дополнительного денежного потока, связанного с торговыми марками, от потоков предприятия в целом. Кроме того, по мнению исследователей, вопросы проверяемости и отделимости торговых марок вызовут у аудиторов значительные затруднения: аудиторы смогут проверить лишь процесс оценки, а не балансовые стоимости, так как торговые марки трудно отделимы. [48]
Одним из главных необходимых условий формирования матрицы Требования - свойства является определение состава ее элементов, которые на практике оказываются важными для обеспечения желаемых характеристик программного изделия. Хорошей основой для выполнения этой работы может служить рассмотренная в предыдущих главах совокупность показателей качества программного обеспечения. Еще двумя полезными средствами являются вопросники, позволяющие гарантировать проверяемость соответствия программного изделия требованиям, и средства анализа ключевых слов, предназначенные для контроля непротиворечивости исходных требований и технических условий. [49]