Автоматизированное индексирование
[computer-aided indexing, automated indexing] — индексирование с использованием формальных процедур, выполняемых вычислительной техникой, и интеллектуальных процедур, выполняемых человеком при формировании ПОД.
«Всякое утверждение должно предполагать наличие аргументов и фактов, достаточных для его обоснования».
Закон достаточного основания предполагает, что любая истинная мысль должна быть обоснованное, то есть...
иметь достаточные основания со стороны других мыслей, истинность которых уже была неоднократно доказана...
Ломоносовым был сформулирован закон объективного мира: «Ничто не происходит без достаточной степени обоснования...
Также и в мышлении работает закон, что достаточное обоснование какой-то рассматриваемой мысли – это какая-то...
Закону достаточного основания присуща важная теоретическая и практическая значимость: он помогает отделять
В статье автор раскрывает вопросы, касающиеся использования законов логики (закона исключенного третьего и закона достаточного основания) в доказывании. Автор раскрыл содержание названных законов логики и попытался вывести механизм их использования в доказывании.
третьего,
закон достаточного основания....
Закон достаточного основания
Мысли человека о каком-либо явлении, событии, факте могут быть как ложными...
Закон достаточного основания выражает требование обоснованности и доказанности мысли: всякую мысль признают...
истинной, если у нее есть достаточное основание....
Закон достаточного основания фиксирует внимание на суждениях, обосновывающих истинность выдвинутых положений
Показываются причины возникновения в XVIII в. в Германии значимого философского спора вокруг закона достаточного основания. Рассматриваются различные позиции в отношении этого закона и его интерпретации в различных работах философов немецкого Просвещения.
[computer-aided indexing, automated indexing] — индексирование с использованием формальных процедур, выполняемых вычислительной техникой, и интеллектуальных процедур, выполняемых человеком при формировании ПОД.
nonkeyboarding input] — автоматизированный ввод данных в ЭВМ без использования клавиатурной работы.
электронные таблицы на компьютерах IBM PC с операционной системы Windows .