Теоретико-доказова семантика: відмінності між версіями
[неперевірена версія] | [неперевірена версія] |
Вилучено вміст Додано вміст
Немає опису редагування |
MB-bot (обговорення | внесок) проблеми |
||
Рядок 1:
{{Мовні помилки|дата=травень 2017}}
'''Теоретико-доказова семантика'''
{{Нп|Gerhard Gentzen|Герхард Гентца}} є засновником теоретичної семантики, надаючи їй офіційну основу в своєму звіті про усунення виключення для секвенційного обчислення і деякі провокаційні філософські зауваження про те, як визначити сенс логічних зв'язок у правилах їх введення в межах [[Дедукція|природної дедукції]]. З тих пір історія теоретико-семантичної теорії доказів була присвячена вивченню наслідків цих ідей.
Рядок 11 ⟶ 12:
* {{Нп|Істинно-умовна семантика|||Truth-conditional semantics}}
== Посилання ==
* [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]].
* Nissim Francez,
* Thomas Piecha, Peter Schroeder-Heister (eds), [http://link.springer.com/book/10.1007%2F978-3-319-22686-6
== Посилання ==
* [http://arche-wiki.st-and.ac.uk/~ahwiki/bin/view/Arche/ProofTheoreticSemantics Arché Bibliography on Proof-Theoretic Semantics.]
[[Категорія:Незавершені статті з логіки]]
|