CoChat
Sign Up
Cited by 193Syntax, Semantics, Linguistic VariationLogic and Philosophy of ScienceLogic, Reasoning, and Knowledge

The DOI matches its Crossref record.

Proof Theory and Meaning

Sundholm, Göran·1986·Handbook of Philosophical Logic
DOI 10.1007/978-94-009-5203-4_8
Open this paper in CoChat — free account

Overview

Integrity signals

Registry

Crossref · 10.1007/978-94-009-5203-4_8

Cites

Statistics

Recomputing p-values needs the paper’s full text.

Verification

Claims the paper makes

We couldn’t retrieve this paper’s full text, so its claims and self-check weren’t run. The registry and citation checks still apply.

Claims other papers make about this one

Each is checked against this paper’s own text: does it say what the citing paper says it does?

Citations

Cites

No references could be resolved yet.

Research works printed but not linked: 80

  1. Aczel, P.: 1977, ‘The strength of Martin-Löfs type theory with one universe’, in S. Mietinen and J. Väänänen (eds.), Proceedings of the Symposium on Mathematical Logic (Oulo 1974), Report No. 2, Dept. of Philosophy, University of Helsinki, pp. 1–32.
  2. Aczel, P.: 1978, ‘The type theoretic interpretation of constructive set theory’, in A. Macintyre et al., (eds.), Logic Colloquium ’77, North-Holland, Amsterdam, pp. 55–66. · DOI
  3. Aczel, P.: 1980, ‘Frege structures and the notions of proposition, truth and set’, in J. Barwise et al. (eds.), The Kleene Symposium, North-Holland, Amsterdam, pp. 31–59.
  4. Aczel, P.: 1982, ‘The type theoretic interpretation of constructive set theory: Choice principles’, in A, S. Troelstra and D. van Dalen, (eds.), The L. E. J. Brouwer Centenary Symposium, North-Holland, Amsterdam, pp. 1–40. · DOI
  5. Baldwin, T.: 1979, Interpretations of quantifiers,Mind 88, 215–240. · DOI
  6. Beeson, M.: 1982, ‘Recursive models for constructive set theories’, Annals Math. Logic 23, 127–178. · DOI
  7. Belnap, N. D.: 1962, ‘Tonk, plonk and phnk’, Analysis 22, 130–134. · DOI
  8. Van Benthem, J. F. A. K. and Van Eijck, J.: 1982, ‘The dynamics of interpretation’, J. Semantics 1, 3–20. · DOI
  9. Cohen, M. R. and Nagel, E.: 1934, An Introduction to Logic and Scientific Method, Routledge and Kegan Paul, London.
  10. Davidson, D.: 1967, ‘Truth and meaning’, Synthese 17, 304–323. · DOI
  11. Davidson, D.: 1984, Inquiries into Truth and Interpretation, Oxford. U. P.
  12. Davies, M. K.: 1981, Meaning, Quantification, Necessity, Routledge and Kegan Paul, London.
  13. Diller, J.: 1980, ‘Modified realization and the formulae-as-types notion’, in J. P. Seldin and R. Hindley (eds.), To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, Academic Press, London, pp. 491–502.
  14. Diller, J. and Troelstra, A. S.: 1984, ‘Readability and intuitionistic logic’, Synthese 60, 253–282. · DOI
  15. Dummett, M.: 1968–1969, ’The reality of the past’, Proc. Arist. Soc., 69, 239–258. · DOI
  16. Dummett, M.: 1973, Frege, Duckworth, London.
  17. Dummett, M.: 1975, ‘The philosophical basis of intuitionistic logic’, in H. E. Rose and J. Sheperdson (eds.), Logic Colloquium ’73, North-Holland, Amsterdam, pp. 5–40.
  18. Dummett, M.: 1975a, ‘The justification of deduction’, Proc. British Academy LIX, 201–231.
  19. Dummett, M.: 1976, ‘What is a theory of meaning? (II)’, (‘WTM2’) in Evans and McDowell [1976], pp. 67–137. · DOI
  20. Dummett, M.: 1977, Elements of Intuitionism, Oxford U.P.
  21. Dummett, M.: 1978, Truth and Other Enigmas(‘TE’), Duckworth, London.
  22. Dummett, M.: 1981, ‘Frege and Wittgenstein’, in I. Block (ed.), Perspectives on the Philosophy of Wittgenstein, Blackwell, Oxford, pp. 31–42.
  23. Dummett, M.: 1982, ‘Realism’, Synthese 52, 55–112. · DOI
  24. Evans, G.: 1977, ‘Pronouns, quantification and relative clauses (I)’, Canadian J. Phil., reprinted in Platts [ 1980 ], pp. 255–317.
  25. Evans, G. and McDowell, J. (eds.): 1976, Truth and Meaning, Oxford U.P.
  26. Foster, J. A.: 1976, ‘Meaning and truth theory’, in Evans and McDowell [ 1976 ], pp. 1–32. · DOI
  27. Gentzen, G.: 1934–1935, ‘Untersuchungen Über das logische Schliessen’, Math. Zeitschrift 39,176–210, 405–431. · DOI
  28. Hacking, I.: 1979, ‘What is logic?’, J. Philosophy 76, 285–319. · DOI
  29. Hallnas, L.: 1983, On Normalization of Proofs in Set Theory, Diss., University of Stock-holm, Preprint No. 1, Dept of Philosophy.
  30. Hart, W. D.: 1982, ‘Prior and Belnap’, Theoria XLVII, 127–138. · DOI
  31. Hendry, H. E.: 1981, ‘Does IPC have binary indigenous Sheffer function?’, Notre Dame J. Formal Logic 22, 183–186. · DOI
  32. Heyting, A.: 1931, ‘Die intuitionistische Grundlegung der Mathematik’, Erkenntnis 2, 106–115. · DOI
  33. Heyting, A.: 1956, Intuitionism, North-Holland, Amsterdam.
  34. Heyting, A.: 1960, ‘Remarques sur le constructivisme’, Logique et Analyse 3, 177–182.
  35. Kleene, S. C.: 1967, Mathematical Logic, John Wiley & Sons, New York.
  36. Kreisel, G.: 1962, ‘Foundations of intuitionistic logic’, in E. Nagel et al. (eds.), Logic, Methodology and Philosophy of Science, Stanford University Press, pp. 198–210.
  37. Loar, B.: 1976, ‘Two theories of meaning’, in Evans and McDowell [1976], pp. 138–161. · DOI
  38. McDowell, J.: 1976, ‘Truth conditions, bivalence and verificationism’, in Evans and McDowell [1976], pp. 42–66. · DOI
  39. McDowell, J.: 1977, J.: 1977, ‘On the sense and reference of a proper name’, Mind 86,159–185. Also in Platts [ 1980 ].
  40. McDowell, J.: 1978, J.: 1978, ‘Physicalism and primitive denotation: Field on Tarski’, Erkenntnis 13,131–152. Also in Platts [ 1980 ].
  41. McDowell, J.: 1978a, ‘On “The reality of the past”,’ in Hookway, C. and P. Pettit (eds.), Action and Interpretation, Cambridge U.P., pp. 127–144.
  42. McDowell, J.: 1981, ‘Anti-realism and the epistemology of understanding’, in H. Parrett and J. Bouveresse (eds.), Meaning and Understanding, de Gruyter, Berlin, pp. 225–248. · DOI
  43. McGinn, C.: 1979, ‘Ana priori argument for realism’, J. Philosophy 74, 113–133. · DOI
  44. McGinn, C.: 1980, ‘Truth and use’, in Platts [1980], pp. 19–40. · DOI
  45. McGinn, C.: 1982, ‘Realist semantics and content ascription’, Synthese 52, 113–134. · DOI
  46. Martin, E., Jr.: 1982, ‘Referentiality in Frege’s Grundgesetze’, History and Philosophy of Logic 3, pp. 151–164. · DOI
  47. Martin-Löf, P.: 1975, ‘An intuitionistic theory of types’, in H. E. Rose and J. Sheperdson (eds.), Logic Colloquium ’73, North-Holland, Amsterdam, pp. 73–118.
  48. Martin-Löf, P.: 1982, ‘Constructive mathematics and computer programming’, in L. J. Cohen et al., (eds.), Logic, Methodology, and Philosophy of Science VI, North-Holland, Amsterdam, pp. 153–175.
  49. Martin-Löf, P.: 1984, Intuitionistic Type Theory, Notes by Giovanni Sambin of a series of lectures given in Padova, June 1980, Bibliopolis, Naples.
  50. Peacocke, C. A. B.: 1981, ‘The theory of meaning in analytical philosophy’, in G. Floistad (ed.), Contemporary Philosophy, Vol 1, M. Nijhoff, The Hague, pp. 35–36. · DOI
  51. Platts, M. de B.: 1979, Ways of Meaning, Routledge and Kegan Paul, London.
  52. Platts, M. de B. (ed.): 1980, Reference, Truth and Reality, Routledge and Kegan Paul, London.
  53. Prawitz, D.: 1965, Natural Deduction, Dissertation, University of Stockholm.
  54. Prawitz, D.: 1971, ‘Ideas and results in proof theory’, in J. -E. Fenstad (ed.), Proceedings of the Second Scandanavian Logic Symposium, North-Holland, Amsterdam, pp. 235–308. · DOI
  55. Prawitz, D.: 1973, ‘Towards a foundation of a general proof theory’, in P. Suppes et al., (eds.), Logic, Methodology and Philosophy of Science IV, North-Holland, Amsterdam, pp.225–250. · DOI
  56. Prawitz, D.: 1975, ‘Comments on Gentzen-type procedures and the classical notion of truth’, in J. Diller and G. H. Miiller (eds.), Proof Theory Symposion, Lecture Notes in Mathematics 500, Springer, Berlin, pp. 290–319. · DOI
  57. Prawitz, D.: 1977, ‘Meaning and proofs’, Theoria XLIII, 2–40. · DOI
  58. Prawitz, D.: 1978, ‘Proofs and the meaning and completeness of the logical constants’, in J. Hintikka et al. (eds.), Essays on Mathematical and Philosophical Logic, D. Reidel, Dordrecht, pp. 25–40. · DOI
  59. Prawitz, D.: 1980, ‘Intuitionistic logic: a philosophical challenge’, in G. H. von Wright (ed.), Logic and Philosophy, M. Nijhoff, The Hague, pp. 1–10.
  60. Prior, A. N.: 1960, ‘The runabout inference-ticket’, Analysis 21, 38–39. · DOI
  61. Schroeder-Heister, P.: 1981, ‘Untersuchungen zur regellogischen Deutung von Aussagen- verknüpfungen’, Dissertation, University of Bonn.
  62. Schroeder-Heister, P.: 1982, ‘Logische Konstanten und Regeln’, Conceptus 16, 45–60.
  63. Schroeder-Heister, P.: 1983, The completeness of intuitionistic logic with respect to a validity concept based on an inversion principle’, J. Philosophical Logic 12, 359– 377. · DOI
  64. Schroeder-Heister, P.: 1984, ‘Generalized rules for quantifiers and the completeness of the intuitionistic operators’ in M. Richter et al. (eds.), Computation and Proof Theory, Lecture Notes in Mathematics 1104, Springer, Berlin, pp. 399–426. · DOI
  65. Smullyan, R. M.: 1968, First Order Logic, Springer-Verlag, Berlin. · DOI
  66. Stenlund, S.: 1973, The Logic of Description and Existence, Dept. of Philosophy, University of Uppsala.
  67. Stenlund, S.: 1975, ‘Descriptions in intuitionistic logic’, in S. Kanger (ed.), Proceedings of the Third Scandanavian Logic Symposium, North-Holland, Amsterdam, pp. 197– 212.
  68. Stevenson, J. T.: 1961, ‘Roundabout the runabout inference-ticket’, Analysis 21, 124– 128. · DOI
  69. Sundholm, G.: 1981, ‘Hacking’s logic’, J. Philosophy 78, 160–168. · DOI
  70. Sundholm, G.: 1983, ‘Constructions, proofs and the meaning of the logical constants’, J. Philosophical Logic 12, 151–172. · DOI
  71. Tarski, A.: 1956, Logic, Semantics, Metamathematics, Oxford U.P.
  72. Tennant, N.: 1982, ‘Proof and paradox’, Dialectica 36, 265–296. · DOI
  73. Thiel, C.: 1975, ‘Zur Inkonsistenz der Fregeschen Mengenlehre’, in C. Thiel (ed.), Frege und die moderne Grundlagenforschung, A. Hain, Meisenheim, pp. 134–159.
  74. Wagner, S.: 1981, ‘Tonk’, Notre Dame J. Formal Logic 22, 289–300. · DOI
  75. Wright, C.: 1976, ‘Truth conditions and criteria’, Proc. Arist. Soc., supp. 50, 217–245.
  76. Wright, C.: 1980, Wittgenstein on the Foundations of Mathematics, Duckworth, London.
  77. Wright, C.: 1980a, ‘Realism, truth-value links, other minds and the past’, Ratio 22, 112–132.
  78. Wright, C.: 1981, ‘Dummett and revisionism’, Philosophical Quarterly 31, 47–67. · DOI
  79. Wright, C.: 1982, ‘Strict finitism’, Synthese 51, 203–282. · DOI
  80. Zucker, J. and Tragresser, R. S.: 1978, ‘The adequacy problem for inferential logic’, J. Philosophical Logic 7, 501–516.

Cited by

Sorted by citations

See all 193

Metadata

Authors
Sundholm, G.
Corresponding author
Sundholm, Göran
Venue
Handbook of Philosophical Logic
Publisher
Springer Netherlands
Published
1986
Pages
471-506
DOI
10.1007/978-94-009-5203-4_8
OpenAlex
W2125151981
Cited by
193
References
0
Citations by year
2026: 2 · 2024: 5 · 2023: 20 · 2022: 2 · 2021: 1 · 2020: 9 · 2019: 5 · 2018: 4 · 2017: 8 · 2016: 5 · 2015: 11 · 2014: 5 · 2013: 6 · 2012: 6
FWCI
22.78
Type
book chapter
Language
en
Open access
closed
Locations
Springer eBooks (publishedVersion)
Topics
  • Social Sciences › Arts and Humanities › Language and Linguistics › Syntax, Semantics, Linguistic Variation
  • Social Sciences › Arts and Humanities › History and Philosophy of Science › Logic and Philosophy of Science
  • Physical Sciences › Computer Science › Artificial Intelligence › Logic, Reasoning, and Knowledge
Keywords
proof theory, meaning, Michael Dummett, normalization, proof-theoretic semantics, realism

About these checks

Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.

Statistics and arithmetic are recomputed, not judged.

Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.

What counts as a claim ›How we measure confidence ›How we check this ›

Are you an author, or do you see a problem with this page? Request a review