Понятия теории аргументации и литературной риторики являются:
(*ответ*) исключающими
подчиненными
противоположными
противоречащими
Предложение формализовать все математические доказательства и тем самым доказать непротиворечивость арифметики выдвигалось:
(*ответ*) формализмом
интуиционизмом
логицизмом
классической математикой
Примером алгоритма может служить операция:
(*ответ*) сложения
постановки проблемы
решения проблемы
признания проблемы неразрешимой
Программа формализации доказательства начала реализовываться только во второй половине XIX века:
(*ответ*) да
нет
Процедура установления обоснованности некоторого утверждения путем выведения его из некоторых других, считаемых обоснованными, утверждений, есть доказательство:
(*ответ*) да
нет
Реальны доказательства с правдоподобными заключениями:
(*ответ*) нет
да
Роль доказательств в процессе убеждения переоценивалась в античности и в Средние века:
(*ответ*) верно
неверно
Связка "либо, либо" называется:
(*ответ*) исключающей дизъюнкцией
дизъюнкцией
конъюнкцией
импликацией
Силлогизм может использоваться в доказательстве:
(*ответ*) да
нет
Следует считать доказанным положение, из отрицания которого выведено противоречие:
(*ответ*) да
нет
Содержательная ошибка в доказательстве - использование в нем ложных аргументов:
(*ответ*) да
нет
Справедлив принцип: "Кто доказывает слишком много, тот ничего не доказывает":
(*ответ*) да
нет
Теорема о неполноте формализованной арифметики была доказана К. Гёделем:
(*ответ*) да
нет
Теория аргументации в античности называлась риторикой:
(*ответ*) верно
неверно
Употребляется понятие доказательства в смысле, отличном от того, который придается понятию доказательства в логике:
(*ответ*) да
нет
Утверждение, которое требуется доказать, называется:
(*ответ*) тезисом
основанием
антитезисом
посылками