The Journal of Symbolic Logic: Volume 24 - Issue 3

Extendible sentential calculus
H. Hiz
Published online by Cambridge University Press:

12 March 2014, pp. 193-202
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation
The system of sentential calculus presented below has peculiarities which may be of some interest. It is complete in the sense that every classical (two-valued) tautology is provable. In spite of this it is not Post complete (nor is it absolutely complete), i.e., one can add to the system an unprovable formula without proving a sentential variable as a theorem (or without making every formula a theorem). Thus the system may be extended by adjoining an unprovable formula without making the system inconsistent in the Post (or in absolute) sense. There are many distinct extensions of this kind. For every formula α1 that is not a theorem and which adjoined to the system does not make the system Post (or absolutely) inconsistent there is a formula α2 such that adjunction of α2 to the original system leaves α1 unprovable.

George D. W. Berry. Peirce's contribution to the logic of statements and quantifiers. Studies in the philosophy of Charles Sanders Peirce, edited by Philip P. Wiener and Frederic H. Young, Harvard University Press, Cambridge, Mass., 1952, pp. 153–165, 345.
Rulon Wells
Published online by Cambridge University Press:

12 March 2014, pp. 209-211
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Frederic Harold Young. Charles Sanders Peirce: 1839–1914. Studies in the philosophy of Charles Sanders Peirce, edited by Philip P. Wiener and Frederic H. Young, Harvard University Press, Cambridge, Mass., 1952, pp. 271–276, 354–355.
Rulon Wells
Published online by Cambridge University Press:

12 March 2014, p. 211
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Max H. Fisch and Jackson I. Cope. Peirce at the Johns Hopkins University. Studies in the philosophy of Charles Sanders Peirce, edited by Philip P. Wiener and Frederic H. Young, Harvard University Press, Cambridge, Mass., 1952, pp. 277–311, 355–360. - Max H. Fisch and Jackson I. Cope. Appendix III. Peirce's courses at the Johns Hopkins University. Studies in the philosophy of Charles Sanders Peirce, edited by Philip P. Wiener and Frederic H. Young, Harvard University Press, Cambridge, Mass., 1952, pp. 369–370. - Max H. Fisch and Jackson I. Cope. Appendix IV. The Metaphysical Club at the Johns Hopkins University. Studies in the philosophy of Charles Sanders Peirce, edited by Philip P. Wiener and Frederic H. Young, Harvard University Press, Cambridge, Mass., 1952, pp. 371–374.
Rulon Wells
Published online by Cambridge University Press:

12 March 2014, p. 211
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Max H. Fisch and Daniel C. Haskell. Appendix V. Some additions to Morris R. Cohen's bibliography of Peirce's published writings. Studies in the philosophy of Charles Sanders Peirce, edited by Philip P. Wiener and Frederic H. Young, Harvard University Press, Cambridge, Mass., 1952, pp. 375–381.
Rulon Wells
Published online by Cambridge University Press:

12 March 2014, pp. 211-212
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Ferruccio Rossi-Landi. Materiale per lo studio di Vailati. Rivista critica di storia della filosofia, vol. 12 (1957), pp. 468–485 and vol. 13 (1958), pp. 82–108.
Domenico Parisi
Published online by Cambridge University Press:

12 March 2014, p. 212
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Ugo Cassina. Storia ed analisi del “Formulario completo” di Peano. Bollettino della Unione Matematica Italiana, ser. 3 vol. 10 (1955), pp. 244–266, 544–574.
Ferruccio Rossi-Landi
Published online by Cambridge University Press:

12 March 2014, pp. 212-213
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Gustav Bergmann. Intentionality. Semantica, Archivio di filosofia, 1955 no. 3, Fratelli Bocca Editori, Rome1955, pp. 177–216. - Gustav Bergmann. LĽintenzionalità. Italian translation of the preceding by V. Somenzi and A. Caracciolo di Forino. Semantica, Archivio di filosofia, 1955 no. 3, Fratelli Bocca Editori, Rome1955, pp. 217–247.
Ferruccio Rossi-Landi
Published online by Cambridge University Press:

12 March 2014, pp. 213-214
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Antoni Korcik. Pojȩcie wywodu inferencyjnego u Bernarda Bolzana. Roczniki filozoficzne, vol. 5 no. 2 (1957–58), pp. 17–26. - A. Korcik. B. Bolzano's notion of inference. English summary of the preceding. Roczniki filozoficzne, vol. 5 no. 2 (1957–58), p. 225.
Edward Poznański
Published online by Cambridge University Press:

12 March 2014, pp. 214-215
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Antoni Korok. Metoda Leibniza interpretacji logiki Arystotelesa (Leibniz's method of interpreting Aristotelian logic). Roczniki filozoficzne, vol. 4 (1955), pp. 71–78.
Tadeusz Czeżowski
Published online by Cambridge University Press:

12 March 2014, p. 215
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Antoni Korcik. Metoda Couturata rozwiązania problemu Leibniza dotyczącego ilości podmiotów i orzeczników w zdaniach (Couturat's method of solving the problem of Leibniz concerning the number of subjects and predicates in a proposition). Roczniki filozoficzne, vol. 4 (1955), pp. 79–86.
Tadeusz Czeżowski
Published online by Cambridge University Press:

12 March 2014, p. 215
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Antoni Korcik. Przyczynek do historii klasycznej teorii opozycji zdań asertorycznych (Contribution to the history of the classic theory of opposition of assertoric propositions). Roczniki filozoficzne, vol. 4 (1955), pp. 33–49.
Ivo Thomas
Published online by Cambridge University Press:

12 March 2014, pp. 215-216
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Antoni Korcik. O tak zwanych naczelnych prawach rozumowania i zależnościach między nimi. FIRO, A three-dimensional theory of interpersonal behavior. Rinehart & Company, Inc., New York, vol. 5 no. 2 (1957–58), pp. 183–191. - A. Korcik. Les lois principales du raisonnement et les relations entre elles. French summary of the preceding. FIRO, A three-dimensional theory of interpersonal behavior. Rinehart & Company, Inc., New York vol. 5 no. 2 (1957–58), pp. 231–232.
Ivo Thomas
Published online by Cambridge University Press:

12 March 2014, p. 216
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Dagobert D. Runes. Pictorial history of philosophy. Philosophical Library, New York1959, x + 406 pp.
Alonzo Church
Published online by Cambridge University Press:

12 March 2014, p. 216
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Robert Edouard Moritz. On mathematics and mathematicians. (Formerly titled: Memorabilia mathematica or the philomath's quotation-book.) Dover Publications Inc., New York1958, xiv + 410 pp.
Alonzo Church
Published online by Cambridge University Press:

12 March 2014, p. 216
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

William C. Schutz. FIRO, A three-dimensional theory of interpersonal behavior. Rinehart & Company, Inc., New York1958, xi + 267 pp.
Alonzo Church
Published online by Cambridge University Press:

12 March 2014, pp. 216-217
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

R. M. Martin. Truth ઈ denotation. A study in semantical theory. The University of Chicago Press, Chicago1958; the University of Toronto Press, Toronto 1958; Routledge & Kegan Paul Ltd., London 1958; xii + 304 pp.
Richard Montague
Published online by Cambridge University Press:

12 March 2014, pp. 217-219
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Willard Van Orman Quine. Methods of logic. Revised edition, Henry Holt and Company, Inc., New York1959, xx + 272 pp.
Raymond M. Smullyan
Published online by Cambridge University Press:

12 March 2014, pp. 219-220
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

I. M. Bocheński. Grundriss der Logistik. German translation of Bocheński's XV 199; translation, revision, and additions by Albert Menne. Ferdinand Schöningh, Paderborn1954, 124 pp.
Gene F. Rose
Published online by Cambridge University Press:

12 March 2014, p. 220
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

The Journal of Symbolic Logic

Refine listing

Actions for selected content:

Volume 24 - Issue 3 - September 1959

Research Article

Extendible sentential calculus

Reviews

George D. W. Berry. Peirce's contribution to the logic of statements and quantifiers. Studies in the philosophy of Charles Sanders Peirce, edited by Philip P. Wiener and Frederic H. Young, Harvard University Press, Cambridge, Mass., 1952, pp. 153–165, 345.

Frederic Harold Young. Charles Sanders Peirce: 1839–1914. Studies in the philosophy of Charles Sanders Peirce, edited by Philip P. Wiener and Frederic H. Young, Harvard University Press, Cambridge, Mass., 1952, pp. 271–276, 354–355.

Max H. Fisch and Daniel C. Haskell. Appendix V. Some additions to Morris R. Cohen's bibliography of Peirce's published writings. Studies in the philosophy of Charles Sanders Peirce, edited by Philip P. Wiener and Frederic H. Young, Harvard University Press, Cambridge, Mass., 1952, pp. 375–381.

Ferruccio Rossi-Landi. Materiale per lo studio di Vailati. Rivista critica di storia della filosofia, vol. 12 (1957), pp. 468–485 and vol. 13 (1958), pp. 82–108.

Ugo Cassina. Storia ed analisi del “Formulario completo” di Peano. Bollettino della Unione Matematica Italiana, ser. 3 vol. 10 (1955), pp. 244–266, 544–574.

Antoni Korcik. Pojȩcie wywodu inferencyjnego u Bernarda Bolzana. Roczniki filozoficzne, vol. 5 no. 2 (1957–58), pp. 17–26. - A. Korcik. B. Bolzano's notion of inference. English summary of the preceding. Roczniki filozoficzne, vol. 5 no. 2 (1957–58), p. 225.

Antoni Korok. Metoda Leibniza interpretacji logiki Arystotelesa (Leibniz's method of interpreting Aristotelian logic). Roczniki filozoficzne, vol. 4 (1955), pp. 71–78.

Antoni Korcik. Metoda Couturata rozwiązania problemu Leibniza dotyczącego ilości podmiotów i orzeczników w zdaniach (Couturat's method of solving the problem of Leibniz concerning the number of subjects and predicates in a proposition). Roczniki filozoficzne, vol. 4 (1955), pp. 79–86.

Antoni Korcik. Przyczynek do historii klasycznej teorii opozycji zdań asertorycznych (Contribution to the history of the classic theory of opposition of assertoric propositions). Roczniki filozoficzne, vol. 4 (1955), pp. 33–49.

Dagobert D. Runes. Pictorial history of philosophy. Philosophical Library, New York1959, x + 406 pp.

Robert Edouard Moritz. On mathematics and mathematicians. (Formerly titled: Memorabilia mathematica or the philomath's quotation-book.) Dover Publications Inc., New York1958, xiv + 410 pp.

William C. Schutz. FIRO, A three-dimensional theory of interpersonal behavior. Rinehart & Company, Inc., New York1958, xi + 267 pp.

R. M. Martin. Truth ઈ denotation. A study in semantical theory. The University of Chicago Press, Chicago1958; the University of Toronto Press, Toronto 1958; Routledge & Kegan Paul Ltd., London 1958; xii + 304 pp.

Willard Van Orman Quine. Methods of logic. Revised edition, Henry Holt and Company, Inc., New York1959, xx + 272 pp.

I. M. Bocheński. Grundriss der Logistik. German translation of Bocheński's XV 199; translation, revision, and additions by Albert Menne. Ferdinand Schöningh, Paderborn1954, 124 pp.

The Journal of Symbolic Logic

Refine listing

Actions for selected content:

Save Search

Volume 24 - Issue 3 - September 1959

Research Article

Reviews