Единственным достаточным основанием мыслей может быть
(*ответ*) научный закон
личный опыт
здравый смысл окружающих человека людей
чувство человека
Задачами компьютерной логики являются
(*ответ*) разработка методов автоматического доказательства теорем
(*ответ*) создание логики программ
(*ответ*) логические проблемы в базах знаний
(*ответ*) разработка теории вычислений
создание логики высказываний
разработка методов разрешимости
создание искусственного языка
Задачей компьютерной логики является создание
(*ответ*) теории «искусственного интеллекта»
искусственных языков
теории аргументации
формальной системы
Закон достаточного основания имеет первостепенное значение для
(*ответ*) науки
(*ответ*) управления
(*ответ*) техники
религии
искусства
Законы формальной логики изложены Аристотелем в работе
(*ответ*) «Метафизика»
«Органон»
«Категории»
«Об истолковании»
Идея доказательства как математического вычисления связана с именем
(*ответ*) Г. Лейбница
Д. Буля
Г. Фреге
Б. Рассела
Идея рассматривать математику как чисто аналитическую науку, все понятия которой можно определить в рамках дедуктивной логики, принадлежит
(*ответ*) Г. Фреге
Дж. Булю
Ч. Пирсу
Б. Расселу
Из гипотезы по законам дедукции выводятся предпосылки
(*ответ*) научной проблемы
научной теории
научного факта
научной задачи
Именем называется
(*ответ*) выражение, обозначающее предмет или совокупность предметов
предложение, которое оценивается либо как истинное, либо как ложное
выражение, служащее для образования новых языковых конструкций
выражение, связывающее переменные
Именной функцией является функция
(*ответ*) «х - первый космонавт»
«у - четное число»
«А больше В»
«х или у»
Индуктивный метод логики Ф. Бэкон противопоставлял
(*ответ*) силлогистике Аристотеля
математической логике
номинализму
концептуализму
Индукция имеет решающее значение в
(*ответ*) физике
социологии
философии
политологии