ЛОГИКА (от греч. logos - слово, понятие, рассуждение, разум), или: Формальная логика, 150
ЛОГИКА ВРЕМЕНИ, или: Временная логика, 155
ЛОГИКА ВЫСКАЗЫВАНИЙ, или: Пропозициональная логика, 157
ЛОГИКА ДЕДУКТИВНАЯ, см.: Дедукция. 159
ЛОГИКА ИЗМЕНЕНИЯ 159
ЛОГИКА КВАНТОВОЙ МЕХАНИКИ 161
ЛОГИКА КЛАССИЧЕСКАЯ 161
ЛОГИКА КЛАССОВ 162
ЛОГИКА КОМБИНАТОРНАЯ (от лат. combinare - соединять, сочетать) 162
ЛОГИКА МНОГОЗНАЧНАЯ, см.: Многозначная логика. 162
ЛОГИКА НАУЧНОГО ПОЗНАНИЯ, или: Логика науки, 162
ЛОГИКА НЕКЛАССИЧЕСКАЯ 167
ЛОГИКА НОРМ, см.: Деонтическая логика. 168
ЛОГИКА ОТНОШЕНИЙ 168
ЛОГИКА ПРЕДИКАТОВ, или: Функциональная логика, теория квантификации, кванторная логика, 169
ЛОГИКА ТРАДИЦИОННАЯ, см.: Традиционная логика. 170
ЛОГИКА ЭПИСТЕМИЧЕСКАЯ (от греч. episteme - знание) 170
М 223
МАТЕМАТИЧЕСКАЯ ЛОГИКА 223
МАТЕРИАЛЬНАЯ СУППОЗИЦИЯ, см.: Суппозиция. 223
МЕТАМАТЕМАТИКА 223
МЕТАТЕОРИЯ (от греч. meta - после, за, позади) 225
МЕТАФОРА (от греч, metaphora - перенос, образ) 225
МЕТАЯЗЫК (от греч. meta - после, за, позади) 225
МЕТОД (от греч. methodos - путь, способ исследования, обучения, изложения) 226
МЕТОДОЛОГИЧЕСКАЯ АРГУМЕНТАЦИЯ 227
МЕТОДОЛОГИЯ НАУКИ 229
МНОГОЗНАЧНАЯ ЛОГИКА 231
МНОГОЗНАЧНОСТИ ПРИНЦИП, см.: Принцип многозначности. 233
МНОГОЗНАЧНОСТЬ 233
МНОЖЕСТВ ТЕОРИЯ 234
МОДАЛЬНАЯ ЛОГИКА 236
МОДАЛЬНОСТЬ (от лат., modus - мера, способ) 247
МОДЕЛЬ (от лат. modulus - мера, образец, норма) 264
МОДЕЛЬ СЕМАНТИЧЕСКАЯ 270
МОДУС (лат. modus - мера, способ, образ, вид) 272
МОДУС ПОНЕНДО ТОЛЛЕНС (лат. modus ponendo tollens) 275
МОДУС ПОНЕНС (лат. modus ponens) 294
МОДУС ТОЛЛЕНДО ПОНЕНС (лат. modus tollendo ponens) 325
МОДУС ТОЛЛЕНС (лат. modus tollens) 353
МЫШЛЕНИЕ 366
Н 374
НАУКА 375
"НЕ ВЫТЕКАЕТ", "НЕ СЛЕДУЕТ" (лат. поп sequitur) 388
"НЕДОКАЗАННОЕ ОСНОВАНИЕ" ДОКАЗАТЕЛЬСТВА 392
НЕЗАВИСИМОСТЬ (в логике и математике) 394
НЕКЛАССИЧЕСКАЯ ЛОГИКА, см.: Логика неклассическая. 404
НЕОБХОДИМОСТЬ (логическая) 405
НЕОБХОДИМЫЕ И ДОСТАТОЧНЫЕ УСЛОВИЯ (в логике и математике) 415
НЕПОСРЕДСТВЕННОЕ УМОЗАКЛЮЧЕНИЕ (в традиционной логике) 421