### Logical Consequence and First-Order Soundness and Completeness: A Bottom Up Approach

Eli Dresner
Source: Notre Dame J. Formal Logic Volume 52, Number 1 (2011), 75-93.

#### Abstract

What is the philosophical significance of the soundness and completeness theorems for first-order logic? In the first section of this paper I raise this question, which is closely tied to current debate over the nature of logical consequence. Following many contemporary authors' dissatisfaction with the view that these theorems ground deductive validity in model-theoretic validity, I turn to measurement theory as a source for an alternative view. For this purpose I present in the second section several of the key ideas of measurement theory, and in the third and central section of the paper I use these ideas in an account of the relation between model theory, formal deduction, and our logical intuitions.

First Page:
Primary Subjects: 03A05
We're sorry, but we are unable to provide you with the full text of this article because we are not able to identify you as a subscriber.

Permanent link to this document: http://projecteuclid.org/euclid.ndjfl/1292249612
Digital Object Identifier: doi:10.1215/00294527-2010-038
Zentralblatt MATH identifier: 05862017
Mathematical Reviews number (MathSciNet): MR2747164

### References

[1] Beall, J., and G. Restall, Logical Pluralism, Oxford University Press, Oxford, 2006.
[2] Bell, J. L., Set Theory. Boolean-Valued Models and Independence Proofs, 3d edition, vol. 47 of Oxford Logic Guides, The Clarendon Press, Oxford, 2005.
Mathematical Reviews (MathSciNet): MR2257858
Zentralblatt MATH: 1065.03034
[3] Campbell, N., An Account of the Principles of Measurement and Calculation, Longmans, London, 1928.
[4] Etchemendy, J., The Concept of Logical Consequence, Harvard University Press, Cambridge, 1990.
Mathematical Reviews (MathSciNet): MR1079541
Zentralblatt MATH: 0743.03002
[5] Floyd, J., Rohit Parikh and the question, What is logic?','' Forthcoming.
[6] Girard, J.-Y., "From foundations to ludics", The Bulletin of Symbolic Logic, vol. 9 (2003), pp. 131--68. New Programs and Open Problems in the Foundation of Mathematics (Paris, 2000).
Mathematical Reviews (MathSciNet): MR1988963
Zentralblatt MATH: 1056.03035
Digital Object Identifier: doi:10.2178/bsl/1052669286
[7] Gödel, K., "On the completeness of the calculus of logic (1929)", pp. 61--101 in Collected Works. Vol. I. Publications 1929--1936, edited by S. Feferman, The Clarendon Press, New York, 1986.
Mathematical Reviews (MathSciNet): MR831941
Zentralblatt MATH: 0973.01104
[8] Helmholtz, H. V., "Numbering and measuring from an epistemological viewpoint", pp. 70--108 in Epistemological Writings, Reidel, Dordrecht, 1977.
[9] Henkin, L., "The completeness of the first-order functional calculus", The Journal of Symbolic Logic, vol. 14 (1949), pp. 159--166.
Mathematical Reviews (MathSciNet): MR0033781
Zentralblatt MATH: 0034.00602
Digital Object Identifier: doi:10.2307/2267044
[10] Hinitkka, J., and G. Sandu, A revolution in logic?'' Nordic Journal of Philosophical Logic, vol. 1 (1996), pp. 169--83.
Mathematical Reviews (MathSciNet): MR1432645
Zentralblatt MATH: 0891.03001
[11] Luce, R. D., D. H. Krantz, P. Suppes, and A. Tversky, Foundations of Measurement. (Vols. I--III), Dover Publications Inc., Mineola, 1971--1989.
Mathematical Reviews (MathSciNet): MR2310074
Mathematical Reviews (MathSciNet): MR2350647
Mathematical Reviews (MathSciNet): MR2348439
Zentralblatt MATH: 1118.91359
Zentralblatt MATH: 1126.03003
Zentralblatt MATH: 1126.03002
[12] Mancosu, P., "Tarski on models and logical consequence", pp. 209--37 in The Architecture of Modern Mathematics, edited by J. Ferreiros and J. Gray, Oxford University Press, Oxford, 2006.
Mathematical Reviews (MathSciNet): MR2258021
Zentralblatt MATH: 1130.03001
[13] Martin-Löf, P., "On the meanings of the logical constants and the justifications of the logical laws", pp. 203--81 in Proceedings of the Conference on Mathematical Logic, Vol. 2 (Siena, 1983/1984), Scuola di Specializzazione in Logica Matematica, Dipartimento di Matematica, Università di Siena, Siena, 1985.
Mathematical Reviews (MathSciNet): MR825018
Zentralblatt MATH: 0593.03005
[14] Mundy, B., "On the general theory of meaningful representation", Synthese, vol. 67 (1986), pp. 391--437.
Mathematical Reviews (MathSciNet): MR845776
Digital Object Identifier: doi:10.1007/BF00485942
[15] Prawitz, D., "Logical consequence: A constructivist view", pp. 671--95 in The Oxford Handbook of Philosophy of Mathematics and Logic, edited by S. Shapiro, Oxford Handbooks in Philosophy, Oxford University Press, Oxford, 2005.
Mathematical Reviews (MathSciNet): MR2118373
Zentralblatt MATH: 1081.03001
[16] Putnam, H., "Nonstandard models and Kripke's proof of the Gödel theorem", Notre Dame Journal of Formal Logic, vol. 41 (2000), pp. 53--58.
Mathematical Reviews (MathSciNet): MR1915131
Zentralblatt MATH: 1005.03054
Digital Object Identifier: doi:10.1305/ndjfl/1027953483
Project Euclid: euclid.ndjfl/1027953483
[17] Shapiro, S., "Logical consequence, proof theory, and model theory", pp. 651--70 in The Oxford Handbook of Philosophy of Mathematics and Logic, edited by S. Shapiro, Oxford Handbooks in Philosophy, Oxford University Press, Oxford, 2005.
Mathematical Reviews (MathSciNet): MR2118373
Zentralblatt MATH: 1081.03001
[18] Shapiro, S., Foundations without Foundationalism. A Case for Second-Order Logic, vol. 17 of Oxford Logic Guides, The Clarendon Press, New York, 1991.
Mathematical Reviews (MathSciNet): MR1143781
Zentralblatt MATH: 0732.03002
[19] Sher, G. Y., Did Tarski commit Tarski's fallacy'?'' The Journal of Symbolic Logic, vol. 61 (1996), pp. 653--86.
Mathematical Reviews (MathSciNet): MR1394620
Zentralblatt MATH: 0859.03003
Digital Object Identifier: doi:10.2307/2275681
[20] Sher, G., The Bounds of Logic. A Generalized Viewpoint, A Bradford Book. The MIT Press, Cambridge, 1991.
Mathematical Reviews (MathSciNet): MR1203778
[21] Stevens, S., "On the theory of scales of measurement", Science, vol. 103 (1946), pp. 667--80.
[22] Swoyer, C., "Structural representation and surrogative reasoning", Synthese, vol. 87 (1991), pp. 449--508. Sections 1-6.
Mathematical Reviews (MathSciNet): MR1119284
Digital Object Identifier: doi:10.1007/BF00499820
[23] Tarski, A., "On the concept of logical consequence", pp. 417--29 in Tarski, 1936.
Zentralblatt MATH: 1035.03530
[24] Tarski, A., What are logical notions?'' History and Philosophy of Logic, vol. 7 (1986), pp. 143--54.
Mathematical Reviews (MathSciNet): MR868748
Zentralblatt MATH: 0622.03004
Digital Object Identifier: doi:10.1080/01445348608837096
[25] Zach, R., "The practice of finitism: Epsilon calculus and consistency proofs in Hilbert's program (History of Logic Helsinki, 2000)", Synthese, vol. 137 (2003), pp. 211--59.
Mathematical Reviews (MathSciNet): MR2038463
Digital Object Identifier: doi:10.1023/A:1026247421383