“Inference versus consequence” revisited: inference, consequence, conditional, implication

被引：0
作者：
Göran Sundholm
机构：
[1] Leiden University,
来源：
Synthese | 2012年 / 187卷
关键词：
Inference; Consequence; Validity; Judgement; Proposition; Type theory;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Inference versus consequence, an invited lecture at the LOGICA 1997 conference at Castle Liblice, was part of a series of articles for which I did research during a Stockholm sabbatical in the autumn of 1995. The article seems to have been fairly effective in getting its point across and addresses a topic highly germane to the Uppsala workshop. Owing to its appearance in the LOGICA Yearbook 1997, Filosofia Publishers, Prague, 1998, it has been rather inaccessible. Accordingly it is republished here with only bibliographical changes and an afterword.
引用
收藏
页码：943 / 956
页数：13
相关论文
共 11 条
  • [1] Frege G.(1906)Uber die Grundlagen der Geometrie Jahresberichte der Deutschen Mathematiker-Vereinigung 15 377-403
  • [2] Gentzen G.(1934)Untersuchungen über das logische Schliessen Mathematische Zeitschrift 39 176-210
  • [3] Gentzen G.(1936)Die Widerspruchsfreiheit der reinen Zahlentheorie Mathematische Annalen 112 493-565
  • [4] Martin C. J.(1986)William’s machine Journal of Philosophy 83 564-572
  • [5] Martin-Löf P.(1987)Truth of a proposition, evidence of a judgement, validity of a proof Synthese 73 191-212
  • [6] Rüthing D.(1984)Some definitions of the concept of function from Bernoulli, Joh. to Bourbaki, N Mathematical Intelligencer 6 72-77
  • [7] Sundholm G.(1997)Implicit epistemic aspects of constructive logic Journal of Logic, Language, and Information 6 191-212
  • [8] Sundholm G.(1998)Inference, consequence, implication Philosophia Mathematica 6 178-194
  • [9] Sundholm G.(2006)Semantic values of natural deduction derivations Synthese 148 623-638
  • [10] Tarski A.(1957)Arithmetical extensions of relational systems Compositio Mathematica 13 81-102
12