-exec-, 16.04.2004 18:02:38 :
а смысл словосочетания "априорный вывод" я уловить пока не могу.
Вывод, полученный на основе каких-то данных, путём их обработки, но не просто констатация факта.
>"вывод" уже базируется на чём-то, так?
Естественно. На фактах, теориях и т.п.
Вообще, под этим термином я имел в виду следующее (возможно не слишком "идеологически верное"):
Ты можешь дать предсказание на основе имеющегося опытного материала непосредственно. Скажем, в нашем контексте, определил человека по какому-то критерию, описание по которому уже списано с других людей, и выдаёшь ему это описание. Рождено это описание было не комбинацией каких-то иных данных, а путём его списывания с другого представителя этого типа. Т.е. чисто опытным путём. Так что вывод о том или ином признаке становится апостериорным, "послеопытным". Ты посмотрел, как это выглядит у кого-то и даёшь это же описание другому, совпадающем по характерным признакам.
Априорным же я в этом контексте считаю данные, получаемые до непосредственной опытной проверки. В контексте типирования - мы определили, скажем, тип, у нас есть теория взаимодействия типов, подтверждённая на некоторых других типах, не связанных с этим. И вот на основе имеющихся данных мы получаем предположение о взаимодействии ещё не рассмотренных на практике типов.
Приходя к более классической науке, пример апостериорного выводов - "это свинец - значит плотность у него 11.3", пример априорного - менделеевское вычисление свойств неизвестного до того момента германия.
>или пятая аксиома евклида
Это которая?