{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,13]],"date-time":"2026-04-13T12:13:26Z","timestamp":1776082406144,"version":"3.50.1"},"reference-count":35,"publisher":"Springer Science and Business Media LLC","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Synthese"],"published-print":{"date-parts":[[2012,8]]},"DOI":"10.1007\/s11229-011-9901-0","type":"journal-article","created":{"date-parts":[[2011,10,25]],"date-time":"2011-10-25T09:51:49Z","timestamp":1319536309000},"page":"943-956","source":"Crossref","is-referenced-by-count":63,"title":["\u201cInference versus consequence\u201d revisited: inference, consequence, conditional, implication"],"prefix":"10.1007","volume":"187","author":[{"given":"G\u00f6ran","family":"Sundholm","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2011,10,26]]},"reference":[{"key":"9901_CR1","volume-title":"A history of formal logic","author":"I. M. Bochenski","year":"1970","unstructured":"Bochenski I. M. (1970) A history of formal logic. Chelsea Publishing Co, New York"},{"key":"9901_CR2","volume-title":"Epistemic logic in the later Middle Ages","author":"I. Boh","year":"1993","unstructured":"Boh I. (1993) Epistemic logic in the later Middle Ages. Routledge, London"},{"key":"9901_CR3","unstructured":"Bolzano, B. (1837). Wissenschaftslehre (Vols. I\u2013IV). J. von Seidel, Sulzbach. Cited as WL."},{"key":"9901_CR4","volume-title":"Wahrheit und Evidenz, cited after the second edition","author":"F. Brentano","year":"1930","unstructured":"Brentano F. (1930) Wahrheit und Evidenz, cited after the second edition. Felix Meiner, Hamburg"},{"key":"9901_CR5","volume-title":"The logical syntax of language","author":"R. Carnap","year":"1937","unstructured":"Carnap R. (1937) The logical syntax of language. Routledge and Kegan Paul, London"},{"key":"9901_CR6","volume-title":"Frege. Philosophy of language","author":"M. Dummett","year":"1973","unstructured":"Dummett M. (1973) Frege. Philosophy of language. Duckworth, London"},{"key":"9901_CR7","first-page":"67","volume-title":"Truth and meaning","author":"M. Dummett","year":"1976","unstructured":"Dummett M. (1976) What is a theory of meaning? II. In: Evans G., McDowell J. (eds) Truth and meaning. Clarendon Press, Oxford, pp 67\u2013137"},{"key":"9901_CR8","first-page":"377","volume":"15","author":"G. Frege","year":"1906","unstructured":"Frege G. (1906) Uber die Grundlagen der Geometrie. Jahresberichte der Deutschen Mathematiker-Vereinigung 15: 377\u2013403","journal-title":"Jahresberichte der Deutschen Mathematiker-Vereinigung"},{"key":"9901_CR9","unstructured":"Frege, G. (1976). In G. Gabriel, et\u00a0al. (Eds.), Wissenschaftliche Briefwechslung. Hamburg: Felix Meiner."},{"key":"9901_CR10","doi-asserted-by":"crossref","unstructured":"Gentzen, G. (1934\u20131935). Untersuchungen \u00fcber das logische Schliessen. Mathematische Zeitschrift, 39, 176\u2013210, 405\u2013431.","DOI":"10.1007\/BF01201353"},{"key":"9901_CR11","doi-asserted-by":"crossref","first-page":"493","DOI":"10.1007\/BF01565428","volume":"112","author":"G. Gentzen","year":"1936","unstructured":"Gentzen G. (1936) Die Widerspruchsfreiheit der reinen Zahlentheorie. Mathematische Annalen 112: 493\u2013565","journal-title":"Mathematische Annalen"},{"key":"9901_CR12","volume-title":"The development of logic","author":"W. Kneale","year":"1961","unstructured":"Kneale W., Kneale M. (1961) The development of logic. Clarendon Press, Oxford"},{"key":"9901_CR13","doi-asserted-by":"crossref","first-page":"564","DOI":"10.2307\/2026432","volume":"83","author":"C. J. Martin","year":"1986","unstructured":"Martin C. J. (1986) William\u2019s machine. Journal of Philosophy 83: 564\u2013572","journal-title":"Journal of Philosophy"},{"key":"9901_CR14","volume-title":"Intuitionistic type theory","author":"P. Martin-L\u00f6f","year":"1984","unstructured":"Martin-L\u00f6f P. (1984) Intuitionistic type theory. Bibliopolis, Naples"},{"key":"9901_CR15","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1007\/BF00484985","volume":"73","author":"P. Martin-L\u00f6f","year":"1987","unstructured":"Martin-L\u00f6f P. (1987) Truth of a proposition, evidence of a judgement, validity of a proof. Synthese 73: 191\u2013212","journal-title":"Synthese"},{"key":"9901_CR16","unstructured":"Martin-L\u00f6f, P. (1996). On the meanings of the logical constants and the justification of the logical laws. Nordic Journal of Philosophical Logic, 1, 11\u201360. http:\/\/www.hf.uio.no\/filosofi\/njpl\/ . (Originally published in 1985)"},{"key":"9901_CR17","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1093\/oso\/9780198514763.003.0005","volume-title":"Truth in mathematics","author":"P. Martin-L\u00f6f","year":"1998","unstructured":"Martin-L\u00f6f P. (1998) Truth and knowability: On the principles C and K of Michael Dummett. In: Dales H. G., Oliveri G. (eds) Truth in mathematics. Clarendon Press, Oxford, pp 105\u2013114"},{"key":"9901_CR18","volume-title":"Programming in Martin-L\u00f6f\u2019s type theory","author":"B. Nordstr\u00f6m","year":"1990","unstructured":"Nordstr\u00f6m B., Petterson K., Smith J. M. (1990) Programming in Martin-L\u00f6f\u2019s type theory. Clarendon Press, Oxford"},{"key":"9901_CR19","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1007\/978-94-009-2843-5_3","volume-title":"Meaning and inference in medieval philosophy","author":"G. Nuchelmans","year":"1988","unstructured":"Nuchelmans G. (1988) The distinction actus exercitus\/actus significatus in medieval semantics. In: Kretzmann N. (eds) Meaning and inference in medieval philosophy. Kluwer, Dordrecht, pp 57\u201390"},{"key":"9901_CR20","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1016\/S0049-237X(08)70849-8","volume-title":"Proceedings of the second Scandinavian logic symposium","author":"D. Prawitz","year":"1971","unstructured":"Prawitz D. (1971) Ideas and results in proof theory. In: Fenstad J. E. (eds) Proceedings of the second Scandinavian logic symposium. North-Holland, Amsterdam, pp 235\u2013307"},{"key":"9901_CR21","doi-asserted-by":"crossref","DOI":"10.4159\/9780674042469","volume-title":"Mathematical logic (rev. ed.)","author":"W.V.O. Quine","year":"1951","unstructured":"Quine W.V.O. (1951) Mathematical logic (rev. ed.). Harvard University Press, Cambridge, MA"},{"key":"9901_CR22","unstructured":"Quine, W. V. (1963). Two dogmas of empiricism. In From a logical point of view (rev. ed., pp. 20\u201346). New York: Harper and Row. (Originally published in 1951)"},{"key":"9901_CR23","volume-title":"Type-theoretical grammar","author":"A. Ranta","year":"1994","unstructured":"Ranta A. (1994) Type-theoretical grammar. Clarendon, Oxford"},{"issue":"4","key":"9901_CR24","first-page":"72","volume":"6","author":"D. R\u00fcthing","year":"1984","unstructured":"R\u00fcthing D. (1984) Some definitions of the concept of function from Bernoulli, Joh. to Bourbaki, N. Mathematical Intelligencer 6(4): 72\u201377","journal-title":"Mathematical Intelligencer"},{"key":"9901_CR25","volume-title":"Mathematical logic","author":"J. Shoenfield","year":"1967","unstructured":"Shoenfield J. (1967) Mathematical logic. Addison Wesley, NY"},{"key":"9901_CR26","volume-title":"Der Begriff Ableibarkeit bei Bolzano","author":"M. Siebel","year":"1996","unstructured":"Siebel M. (1996) Der Begriff Ableibarkeit bei Bolzano. Academia Verlag, Sankt Augustin"},{"key":"9901_CR27","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1023\/A:1008266418092","volume":"6","author":"G. Sundholm","year":"1997","unstructured":"Sundholm G. (1997) Implicit epistemic aspects of constructive logic. Journal of Logic, Language, and Information 6: 191\u2013212","journal-title":"Journal of Logic, Language, and Information"},{"key":"9901_CR28","doi-asserted-by":"crossref","first-page":"178","DOI":"10.1093\/philmat\/6.2.178","volume":"6","author":"G. Sundholm","year":"1998","unstructured":"Sundholm G. (1998) Inference, consequence, implication. Philosophia Mathematica 6: 178\u2013194","journal-title":"Philosophia Mathematica"},{"key":"9901_CR29","unstructured":"Sundholm, G. (2000). Proofs as acts and proofs as objects: Some questions for Dag Prawitz\u2019. Theoria, 64 (for 1998, published in 2000): 2\u20133 (special issue devoted to the works of Dag Prawitz, with his replies), pp. 187\u2013216."},{"issue":"3","key":"9901_CR30","doi-asserted-by":"crossref","first-page":"623","DOI":"10.1007\/s11229-004-6298-z","volume":"148","author":"G. Sundholm","year":"2006","unstructured":"Sundholm G. (2006) Semantic values of natural deduction derivations. Synthese 148(3): 623\u2013638","journal-title":"Synthese"},{"key":"9901_CR31","unstructured":"Tarski, A. (1936). \u00dcber den Begriff der logischen Folgerung. In Actes du Congr\u00e8s International de Philosophie Scientifique, VII, Actualit\u00e9s Scientifiques et Industrielles (Vol. 394, pp. 1\u201311). Paris: Hermann et Cie."},{"key":"9901_CR32","first-page":"81","volume":"13","author":"A. Tarski","year":"1957","unstructured":"Tarski A., Vaught R. (1957) Arithmetical extensions of relational systems. Compositio Mathematica 13: 81\u2013102","journal-title":"Compositio Mathematica"},{"key":"9901_CR33","volume-title":"Natural logic","author":"N. Tennant","year":"1978","unstructured":"Tennant N. (1978) Natural logic. Edinburgh University Press, Edinburgh"},{"key":"9901_CR34","volume-title":"Tractatus logico-philosophicus","author":"L. Wittgenstein","year":"1922","unstructured":"Wittgenstein L. (1922) Tractatus logico-philosophicus. Routledge and Kegan Paul, London"},{"key":"9901_CR35","volume-title":"Realism, meaning and truth","author":"C. Wright","year":"1987","unstructured":"Wright C. (1987) Realism, meaning and truth. Blackwell, Oxford"}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/s11229-011-9901-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,14]],"date-time":"2024-04-14T03:30:06Z","timestamp":1713065406000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11229-011-9901-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,10,26]]},"references-count":35,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2012,8]]}},"alternative-id":["9901"],"URL":"https:\/\/doi.org\/10.1007\/s11229-011-9901-0","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"value":"0039-7857","type":"print"},{"value":"1573-0964","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,10,26]]}}}