Skip to main content

We use cookies to distinguish you from other users and to provide you with a better experience on our websites. Close this message to accept cookies or find out how to manage your cookie settings.

Close cookie message
Cancel
×
×
Home
  • Home
Article
  • Cited by 9
  • Cited by
    Crossref Citations
    Crossref logo
    This article has been cited by the following publications. This list is generated based on data provided by CrossRef.
    Podlaskowski, Adam C. 2018. Compositionality and the Prospect of a Pluralistic Semantic Theory. Australasian Journal of Philosophy, p. 1.
    Więckowski, Bartosz 2016. Refinements of subatomic natural deduction. Journal of Logic and Computation, Vol. 26, Issue. 5, p. 1567.
    Schroeder-Heister, Peter 2016. Advances in Proof-Theoretic Semantics. Vol. 43, Issue. , p. 253.
    Więckowski, Bartosz 2016. Subatomic Natural Deduction for a Naturalistic First-Order Language with Non-Primitive Identity. Journal of Logic, Language and Information, Vol. 25, Issue. 2, p. 215.
    Więckowski, Bartosz 2015. Constructive belief reports. Synthese, Vol. 192, Issue. 3, p. 603.
    Francez, Nissim 2014. Bilateralism in Proof-Theoretic Semantics. Journal of Philosophical Logic, Vol. 43, Issue. 2-3, p. 239.
    Trueman, R. 2014. A Dilemma for Neo-Fregeanism. Philosophia Mathematica, Vol. 22, Issue. 3, p. 361.
    Trueman, R. 2014. A Dilemma for Neo-Fregeanism. Philosophia Mathematica,
    Więckowski, Bartosz 2012. A Constructive Type-Theoretical Formalism for the Interpretation of Subatomically Sensitive Natural Language Constructions. Studia Logica, Vol. 100, Issue. 4, p. 815.
    ×
  • Get access
    Add to cart USD35.00
    Check if you have access via personal or institutional login
    Log in Register Recommend to librarian

RULES FOR SUBATOMIC DERIVATION

  • BARTOSZ WIĘCKOWSKI (a1)
Abstract

In proof-theoretic semantics the meaning of an atomic sentence is usually determined by a set of derivations in an atomic system which contain that sentence as a conclusion (see, in particular, Prawitz, 1971, 1973). The paper critically discusses this standard approach and suggests an alternative account which proceeds in terms of subatomic introduction and elimination rules for atomic sentences. A simple subatomic normal form theorem by which this account of the semantics of atomic sentences and the terms from which they are composed is underpinned, shows moreover that the proof-theoretic analysis of first-order logic can be pursued also beneath the atomic level.

Copyright
COPYRIGHT: © Association for Symbolic Logic 2010
Corresponding author
*UNIVERSITÄT TÜBINGEN, WILHELM-SCHICKARD-INSTITUT, SAND 13, 72076 TÜBINGEN, GERMANY, E-mail: bartosz.wieckowski@uni-tuebingen.de
References
Hide All
Francez, N., Dyckhoff, R., & Ben-Avi, G. (2010). Proof-theoretic semantics for subsentential phrases. Studia Logica, 94, 381–401.
Gabbay, M., & Gabbay, M. J. (2009). Term sequent logic. Electronic Notes in Theoretical Computer Science, 246, 87–106.
Gentzen, G. (1934). Untersuchungen über das logische Schließen I, II. Mathematische Zeitschrift, 39, 176–210, 405–431.
Hallnäs, L., & Schroeder-Heister, P. (1990/1991). A proof-theoretic approach to logic programming: I. Clauses as rules, II. Programs as definitions. Journal of Logic and Computation, 1, 261–283, 635–660.
Kahle, R., & Schroeder-Heister, P., editors. (2006). Proof-Theoretic Semantics. Special issue of Synthese, Vol. 148, No. 3, pp. 501–749.
Kremer, M. (2007). Read on identity and harmony—A friendly correction and simplification. Analysis, 67, 157–159.
Lorenzen, P. (1955). Einführung in die operative Logik und Mathematik (second edition). Berlin: Springer.
Martin-Löf, P. (1971). Hauptsatz for the intuitionistic theory of iterated inductive definitions. In Fenstad, J. E., editor. Proceedings of the Second Scandinavian Logic Symposium (Oslo 1970). Amsterdam, The Netherlands: North-Holland, pp. 197–215.
Moortgat, M. (1997). Categorial type logics. In van Benthem, J., & ter Meulen, A., editors. Handbook of Logic and Language. Amsterdam, The Netherlands: North-Holland, pp. 93–177.
Post, E. (1943). Formal reductions of the general combinatorial decision problem. American Journal of Mathematics, 65, 157–215.
Prawitz, D. (1965). Natural Deduction. A Proof-Theoretical Study. Stockholm, Sweden: Almquist & Wiksell. Reprinted by Dover Publications, Mineola, New York, 2006.
Prawitz, D. (1970). Constructive semantics. In Proceedings of the First Scandinavian Logic Symposium (Åbo 1968). Filosofiska Studier utgivna av Filosofiska Föreningen och Filosofiska Institutionen vid Uppsala Universitet, nr 8, Uppsala, pp. 96–114.
Prawitz, D. (1971). Ideas and results in proof theory. In Fenstad, J. E., editor. Proceedings of the Second Scandinavian Logic Symposium (Oslo 1970). Amsterdam, The Netherlands: North-Holland, pp. 235–309.
Prawitz, D. (1973). Towards a foundation of a general proof theory. In Suppes, P., editor. Logic, Methodology, and Philosophy of Science IV, Vol. 74. Amsterdam, The Netherlands: North-Holland, pp. 225–250.
Prawitz, D. (2006). Meaning approached via proofs. Synthese, 148, 507–524.
Read, S. (2004). Identity and harmony. Analysis, 64, 113–119.
Schroeder-Heister, P. (2006). Validity concepts in proof-theoretic semantics. Synthese, 148, 525–571.
Więckowski, B. (2010). Associative substitutional semantics and quantified modal logic. Studia Logica, 94, 105–138.
Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

The Review of Symbolic Logic
  • ISSN: 1755-0203
  • EISSN: 1755-0211
  • URL: /core/journals/review-of-symbolic-logic
Please enter your name
Please enter a valid email address
Who would you like to send this to? *

CAPTCHA *

Skip to the audio challenge
×

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 19 *
Loading metrics...

Abstract views

Total abstract views: 227 *
Loading metrics...

* Views captured on Cambridge Core between September 2016 - 12th June 2018. This data will be updated every 24 hours.

Cancel
Confirm
×