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

[[Майкл Ентоні Ердлі Дамміт|Майкл Дамм]] представив дуже фундаментальну ідею [[гармонія|логічної гармонії]], спираючись на пропозицію [[Нуель Белнап]]. Коротше кажучи, мова, яка, як розуміється, пов'язаний з певними шаблонами виведення, має логічну гармонію, якщо завжди можна відновити аналітичні докази від довільних демонстрацій, що можна показати для секвенційного обчислення за допомогою теорем виключення вирізу і Для природного виведення за допомогою теорем нормування. Мова, в якому відсутня логічна гармонія, буде страждати від наявності некогерентних форм виведення: це, ймовірно, буде непослідовним.
 
== ДивітьсяДив. також ==
* {{Нп|Inferential role semantics|Виведена семантика ролі|||Inferential role semantics}}
* {{Нп|Truth-conditional semantics|Істинно-умовна семантика|||Truth-conditional semantics}}
 
==Посилання==