gav вспоминал Ивина и Никифорова, так в их учебниках все несколько иначе. Цитировать не буду, ибо они у меня не в электронном виде. Были.
Но вот статьи из Кирилла и Мефодия:
ЛОГИКА (греч. logike), наука о способах доказательств и опровержений; совокупность научных теорий, в каждой из которых рассматриваются определенные способы доказательств и опровержений. Основателем логики считается Аристотель. Различают индуктивную и дедуктивную логику, а в последней — классическую, интуиционистскую, конструктивную, модальную и др. Все эти теории объединяет стремление к каталогизации таких способов рассуждений, которые от истинных суждений-посылок приводят к истинным суждениям-следствиям; каталогизация осуществляется, как правило, в рамках логических. исчислений. Особую роль в ускорении научно-технического прогресса играют приложения логики в вычислительной математике, теории автоматов, лингвистике, информатике и др. См. также Математическая логика.
смотрим математическую логику
МАТЕМАТИЧЕСКАЯ ЛОГИКА, дедуктивная логика, включающая математические методы исследования способов рассуждений (выводов); математическая теория дедуктивных способов рассуждений. Математической логикой называют также логику, которой пользуются в математике.
Во-первых, понятия логика и математическая логика разделены.
Во-вторых, мат логика - дедуктивная, но бывает логика индуктивная, которая в сферу мат логики не включается.
В-третьи, имелась в виду проверка на непротиворечивость диссертационного или другого исследования, где должна применяться логика. Но если исследование лишено формул, написано естественным языком, то непротиворечивость проверяется традиционными методами. Понятие "логика" шире, чем "мат логика", вот в чем дело, на чем я и настаиваю. И что было описано Никифоровым, в том числе в его полупопулярном учебнике по логике.
Добавлено через 2 минуты 37 секунд
Цитата:
Сообщение от techni
В переводе на русский это означает примерно следующее: "я понятия не имею что это, но промолчать не могу поэтому скажу что это и так всем известно - вдруг постесняются прослыть дураками, понятия не имеющими об общеизвестных вещах, и не станут переспрашивать".
|
Не надо приписывать мне то, чего я не говорил.
Просто бессмысленно писать об очевидных вещах, что деревья качаются. потому что ветер дует, что Земля не покоится на слонах и т.д. Это вещи само собой разумеющиеся.