Відмінності між версіями «Теоретико-доказова семантика»

нема опису редагування
Мітки: Редагування з мобільного пристрою Редагування через мобільну версію
Мітки: Редагування з мобільного пристрою Редагування через мобільну версію
[[Майкл Дамм]] представив дуже фундаментальну ідею [[гармонія|логічної гармонії]], спираючись на пропозицію [[Нуель Белнап]]. Коротше кажучи, мова, яка, як розуміється, пов'язаний з певними шаблонами виведення, має логічну гармонію, якщо завжди можна відновити аналітичні докази від довільних демонстрацій, що можна показати для секвенційного обчислення за допомогою теорем виключення вирізу і Для природного виведення за допомогою теорем нормування. Мова, в якому відсутня логічна гармонія, буде страждати від наявності некогерентних форм виведення: це, ймовірно, буде непослідовним.
 
==Посилання==
* [http://plato.stanford.edu/entries/proof-theoretic-semantics/ Proof-Theoretic Semantics], at the [[Stanford Encyclopedia of Philosophy]]
* [http://www.iep.utm.edu/l/logcon-d.htm Logical Consequence, Deductive-Theoretic Conceptions], at the [[Internet Encyclopedia of Philosophy]].
170

редагувань