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

[неперевірена версія][неперевірена версія]
Вилучено вміст Додано вміст
Немає опису редагування
Мітки: Редагування з мобільного пристрою Редагування через мобільну версію
Немає опису редагування
Мітки: Редагування з мобільного пристрою Редагування через мобільну версію
Рядок 1:
'''Теоретико-доказова семантика''' - це підхід до [[семантика логіки|[[семантики логіки]]<nowiki>]], яка намагається знайти сенс пропозицій і </nowiki>[[Логічних зв'язок|<nowiki>[[логічний зв'язок|логічних зв'язок]]</nowiki>]] не в термінах [[[[Інтерпретацій|інтерпретація|інтерпретацій]]<nowiki>]], як в підходах до семантиці в </nowiki>[[Тарський]], а в ролі, яку судження або логічна зв'язність грає в <nowiki>[[висновок|системі висновку]]</nowiki>.
 
<nowiki>[[Герхард Гентца]]</nowiki> є засновником теоретико-теоретичної семантики, надаючи йому офіційну основу в своєму звіті про усунення <nowiki>[[виключення]]</nowiki> для <nowiki>[[секвенційне обчислення|секвенційного обчислення]]</nowiki> і деякі провокаційні філософські зауваження про те, як визначити сенс логічних зв'язок в правилах їх введення в межах <nowiki>[[Дедукція|природного дедукції]]</nowiki>. З тих пір історія теоретико-семантичної теорії доказів була присвячена вивченню наслідків цих ідей.