125 results
Correction to a definition of negation
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 1 / March 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 47-50
- Print publication:
- March 1984
-
- Article
- Export citation
Willard van Orman Quine. Foreword, 1980. From a logical point of view, 9 logico-philosophical essays, by Willard Van Orman Quine, second edition, revised, Harvard University Press, Cambridge, Mass., and London, 1980, pp. vii–ix. - Willard Van Orman Quine. On what there is. A reprint of XXXIII 149. From a logical point of view, 9 logico-philosophical essays, by Willard Van Orman Quine, second edition, revised, Harvard University Press, Cambridge, Mass., and London, 1980, pp. 1–19. - Willard Van Orman Quine. Two dogmas of empiricism. A reprint of XXXIII 149. From a logical point of view, 9 logico-philosophical essays, by Willard Van Orman Quine, second edition, revised, Harvard University Press, Cambridge, Mass., and London, 1980, pp. 20–46. - Willard Van Orman Quine. The problem of meaning in linguistics. A reprint of XXXIII 149. From a logical point of view, 9 logico-philosophical essays, by Willard Van Orman Quine, second edition, revised, Harvard University Press, Cambridge, Mass., and London, 1980, pp. 47–64. - Willard Van Orman Quine. Identity, ostension, and hypostasis. A reprint of XXXIII 149. From a logical point of view, 9 logico-philosophical essays, by Willard Van Orman Quine, second edition, revised, Harvard University Press, Cambridge, Mass., and London, 1980, pp. 65–79. - Willard Van Orman Quine. New foundations for mathematical logic. A reprint of XXXIII 149. From a logical point of view, 9 logico-philosophical essays, by Willard Van Orman Quine, second edition, revised, Harvard University Press, Cambridge, Mass., and London, 1980, pp. 80–101. - Willard Van Orman Quine. Logic and the reification of universals. A reprint of XXXIII 149. From a logical point of view, 9 logico-philosophical essays, by Willard Van Orman Quine, second edition, revised, Harvard University Press, Cambridge, Mass., and London, 1980, pp. 102–129. - Willard Van Orman Quine. Notes on the theory of reference. A reprint of XXXIII 149. From a logical point of view, 9 logico-philosophical essays, by Willard Van Orman Quine, second edition, revised, Harvard University Press, Cambridge, Mass., and London, 1980, pp. 130–138. - Willard Van Orman Quine. Reference and modality. A revised reprint of XXXIII 149. From a logical point of view, 9 logico-philosophical essays, by Willard Van Orman Quine, second edition, revised, Harvard University Press, Cambridge, Mass., and London, 1980, pp. 139–159. - Willard Van Orman Quine. Meaning and existential inference. A reprint of XXXIII 149. From a logical point of view, 9 logico-philosophical essays, by Willard Van Orman Quine, second edition, revised, Harvard University Press, Cambridge, Mass., and London, 1980, pp. 160–167.
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 1 / March 1982
- Published online by Cambridge University Press:
- 12 March 2014, pp. 230-231
- Print publication:
- March 1982
-
- Article
- Export citation
The consistency of system Q
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 1 / March 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 67-76
- Print publication:
- March 1981
-
- Article
- Export citation
A consistent combinatory logic with an inverse to equality
-
- Journal:
- The Journal of Symbolic Logic / Volume 45 / Issue 3 / September 1980
- Published online by Cambridge University Press:
- 12 March 2014, pp. 529-543
- Print publication:
- September 1980
-
- Article
- Export citation
Jacques Sublet. Essai de formalisation complète du raisonnement mathématique sur la base de trois opérations. Applications scientifiques de la logique mathématique, Actes du 2e Colloque International de Logique Mathématique, Paris-25–30 août 1952, Institut Henri Poincaré, Collection de logique mathématique, ser. A no. 5, lithographed (“dactyl-special”), Gauthier-Villars, Paris1954, and E. Nauwelaerts, Louvain 1954, pp. 91–94.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 4 / December 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 675
- Print publication:
- December 1971
-
- Article
- Export citation
Correction to a paper on modal set theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 2 / June 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 242
- Print publication:
- June 1970
-
- Article
- Export citation
Willard Van Orman Quine. On what there is. A reprint of XIX 134(1). From a logical point of view, by Willard Van Orman Quine, second, revised edition, Harvard University Press, Cambridge, Mass., 1961, and Harper Torchbooks, The Science Library, Harper & Row, New York and Evanston 1963, pp. 1–19. - Willard Van Orman Quine. Two dogmas of empiricism. A reprint of XIX 134(2). From a logical point of view, by Willard Van Orman Quine, second, revised edition, Harvard University Press, Cambridge, Mass., 1961, and Harper Torchbooks, The Science Library, Harper & Row, New York and Evanston 1963, pp. 20–46. - Willard Van Orman Quine. The problem of meaning in linguistics. A reprint of XIX 134(3). From a logical point of view, by Willard Van Orman Quine, second, revised edition, Harvard University Press, Cambridge, Mass., 1961, and Harper Torchbooks, The Science Library, Harper & Row, New York and Evanston 1963, pp. 47–64. - Willard Van Orman Quine. Identity, ostension, and hypostasis. A reprint of XIX 134(4). From a logical point of view, by Willard Van Orman Quine, second, revised edition, Harvard University Press, Cambridge, Mass., 1961, and Harper Torchbooks, The Science Library, Harper & Row, New York and Evanston 1963, pp. 65–79. - Willard Van Orman Quine. New foundations for mathematical logic. A reprint of XIX 134(5). From a logical point of view, by Willard Van Orman Quine, second, revised edition, Harvard University Press, Cambridge, Mass., 1961, and Harper Torchbooks, The Science Library, Harper & Row, New York and Evanston 1963, pp. 80–101. - Willard Van Orman Quine. Logic and the reification of universals. A revised reprint of XIX 135. From a logical point of view, by Willard Van Orman Quine, second, revised edition, Harvard University Press, Cambridge, Mass., 1961, and Harper Torchbooks, The Science Library, Harper & Row, New York and Evanston 1963, pp. 102–129. - Willard Van Orman Quine. Notes on the theory of reference. A reprint of XIX 136. From a logical point of view, by Willard Van Orman Quine, second, revised edition, Harvard University Press, Cambridge, Mass., 1961, and Harper Torchbooks, The Science Library, Harper & Row, New York and Evanston 1963, pp. 130–138. - Willard Van Orman Quine. Reference and modality. A revised reprint of XIX 137. From a logical point of view, by Willard Van Orman Quine, second, revised edition, Harvard University Press, Cambridge, Mass., 1961, and Harper Torchbooks, The Science Library, Harper & Row, New York and Evanston 1963, pp. 139–159. - Willard Van Orman Quine. Meaning and existential inference. A reprint of XIX 138. From a logical point of view, by Willard Van Orman Quine, second, revised edition, Harvard University Press, Cambridge, Mass., 1961, and Harper Torchbooks, The Science Library, Harper & Row, New York and Evanston 1963, pp. 160–167.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 1 / 26 April 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 149-150
- Print publication:
- 26 April 1968
-
- Article
- Export citation
A note on recursive relations
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 1 / 26 April 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 107
- Print publication:
- 26 April 1968
-
- Article
- Export citation
Roderick M. Chisholm. Contrary-to-duty imperatives and deontic logic. Analysis (Oxford), vol. 24 no. 2 (1963), pp. 33–36. - Mark Fisher. A contradiction in deontic logic?Analysis (Oxford), vol. 25 no. 1 (1964), pp. 12–13. - G. H. von Wright. A new system of deontic logic. Danish yearbook of philosophy, vol. 1 (1964), pp. 173–182. - G. H. von Wright. A correction to a new system of deontic logic. Danish yearbook of philosophy, vol. 2 (1965), pp. 103–107.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 2 / August 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 243-244
- Print publication:
- August 1967
-
- Article
- Export citation
A complete and consistent modal set theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 1 / June 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 93-103
- Print publication:
- June 1967
-
- Article
- Export citation
E. J. Lemmon. Quantifier rules and natural deduction. Mind, n.s. vol. 70 (1961), pp. 235–238.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 1 / March 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 127
- Print publication:
- March 1966
-
- Article
- Export citation
Z. Pawlak. New method of parenthesis-free notations of formulae. Bulletin de l'Académie Polonaise des Sciences, Série des sciences techniques, vol. 8 no. 4 (1960), pp. 197–198.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 1 / March 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 115
- Print publication:
- March 1966
-
- Article
- Export citation
Joyce Friedman. A semi-decision procedure for the functional calculus. Journal of the Association for Computing Machinery, vol. 10 (1963), pp. 1–24. - Joyce Friedman. A computer program for a solvable case of the decision problem. Journal of the Association for Computing Machinery, vol. 10 (1963), pp. 348–356.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 2 / June 1964
- Published online by Cambridge University Press:
- 12 March 2014, p. 101
- Print publication:
- June 1964
-
- Article
- Export citation
Willard Van Orman Quine. Mathematical logic. Revised edition. Harper torchbooks. The science library. Harper & Row, New York and Evanston1962, xii + 346 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 2 / June 1964
- Published online by Cambridge University Press:
- 12 March 2014, p. 92
- Print publication:
- June 1964
-
- Article
- Export citation
A logical analysis of some value concepts1
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 2 / June 1963
- Published online by Cambridge University Press:
- 12 March 2014, pp. 135-142
- Print publication:
- June 1963
-
- Article
- Export citation
The system CΔ of combinatory logic1
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 1 / March 1963
- Published online by Cambridge University Press:
- 12 March 2014, pp. 87-97
- Print publication:
- March 1963
-
- Article
- Export citation
A. N. Prior. Peirce's axioms for propositions calculus. The journal of symbolic logic, vol. 23 no. 2 (for 1958, pub. 1959), pp. 135–136.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 1 / March 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 87
- Print publication:
- March 1960
-
- Article
- Export citation
Kazuo Matsumoto. On a lattice relating to intuitionistic logic. Journal of the Osaka Institute of Science and Technology, vol. 2 no. 1–2 (1950), pp. 97–107.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 3 / September 1959
- Published online by Cambridge University Press:
- 12 March 2014, p. 250
- Print publication:
- September 1959
-
- Article
- Export citation
Joseph Gerard Brennan. A handbook of logic. Harper & Brothers, New York1957, x + 222 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 2 / June 1959
- Published online by Cambridge University Press:
- 12 March 2014, p. 186
- Print publication:
- June 1959
-
- Article
- Export citation
Kazuo Matsumoto. Sur la structure concernant la logique moderne. Journal of the Osaka Institute of Science and Technology (The Kinki University), Part I, Mathematics and physics, vol. 2 no. 1–2 (1950), pp. 67–78.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 4 / December 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 443-444
- Print publication:
- December 1958
-
- Article
- Export citation