Перейти к навигацииПерейти к поиску
Логика множественного вывода является тот , в котором логическое следствие является отношением ,Между двумя наборами из предложений (или предложений ). обычно интерпретируется как означающее, что всякий раз, когда каждый элемент правда, какой-то элемент правда; и всякий раз, когда каждый элемент ложно, некоторый элемент ложно.
Эта форма логики была разработана в 1970-х DJ Shoesmith и Тимоти Смайли [1], но не получила широкого распространения.
Некоторые логики предпочитают отношение множественных выводов и последствий более традиционным отношениям с одним заключением на том основании, что последнее асимметрично (в неформальном, нематематическом смысле) и предпочитает истину ложности (или утверждение, а не отрицание).
См. Также
Ссылки
- ^ DJ Shoesmith и TJ Смайли, Multiple Заключение Логика , Cambridge University Press, 1978