21 results
14 - Moore’s Notes and Wittgenstein’s Philosophy of Mathematics: The Case of Mathematical Induction
- from Part IV - Philosophy of Mathematics
-
-
- Book:
- Wittgenstein in the 1930s
- Published online:
- 17 September 2018
- Print publication:
- 04 October 2018, pp 241-252
-
- Chapter
- Export citation
3 - Frege’s conception of logic
-
-
- Book:
- The Cambridge Companion to Frege
- Published online:
- 28 September 2010
- Print publication:
- 02 September 2010, pp 63-85
-
- Chapter
- Export citation
On Gödel's way in: The influence of Rudolf Carnap
-
-
- Book:
- Kurt Gödel
- Published online:
- 04 August 2010
- Print publication:
- 19 April 2010, pp 242-251
-
- Chapter
- Export citation
On Gödel's Way In: The Influence of Rudolf Carnap
-
- Journal:
- Bulletin of Symbolic Logic / Volume 11 / Issue 2 / June 2005
- Published online by Cambridge University Press:
- 15 January 2014, pp. 185-193
- Print publication:
- June 2005
-
- Article
- Export citation
6 - Kripke on Wittgenstein on Rules
-
-
- Book:
- Rule-Following and Meaning
- Published by:
- Acumen Publishing
- Published online:
- 05 February 2013
- Print publication:
- 30 August 2002, pp 92-107
-
- Chapter
- Export citation
In Memoriam: George Stephen Boolos 1940–1996
-
- Journal:
- Bulletin of Symbolic Logic / Volume 2 / Issue 4 / December 1996
- Published online by Cambridge University Press:
- 15 January 2014, pp. 444-447
- Print publication:
- December 1996
-
- Article
-
- You have access
- Export citation
Random models and solvable Skolem classes
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 3 / September 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 908-914
- Print publication:
- September 1993
-
- Article
- Export citation
Random models and the Maslov class
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 2 / June 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 460-466
- Print publication:
- June 1989
-
- Article
- Export citation
The unsolvability of the Gödel class with identity
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 4 / December 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1237-1252
- Print publication:
- December 1984
-
- Article
- Export citation
A decidable subclass of the minimal Gödel class with identity
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 4 / December 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1253-1261
- Print publication:
- December 1984
-
- Article
- Export citation
On the Gödel class with identity
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 2 / June 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 354-364
- Print publication:
- June 1981
-
- Article
- Export citation
Hubert C. Kennedy, Biographical sketch of Giuseppe Peano. Selected works of Giuseppe Peano, translated and edited with a biographical sketch and bibliography by Hubert C. Kennedy, University of Toronto Press, Toronto and Buffalo1973, pp. 3–10. - Hubert C. Kennedy. Chronological list of the publications of Giuseppe Peano. Selected works of Giuseppe Peano, translated and edited with a biographical sketch and bibliography by Hubert C. Kennedy, University of Toronto Press, Toronto and Buffalo1973, pp. 11–29. - Hubert C. Kennedy. Bibliography on the life and works of Giuseppe Peano. Selected works of Giuseppe Peano, translated and edited with a biographical sketch and bibliography by Hubert C. Kennedy, University of Toronto Press, Toronto and Buffalo1973, pp. 30–33. - Giuseppe Peano. The operations of deductive logic. English translation of introductory chapter of 711. Selected works of Giuseppe Peano, translated and edited with a biographical sketch and bibliography by Hubert C. Kennedy, University of Toronto Press, Toronto and Buffalo1973, pp. 75–90. - Giuseppe Peano. The principles of arithmetic, presented by a new method (1889). English translation of 712. Selected works of Giuseppe Peano, translated and edited with a biographical sketch and bibliography by Hubert C. Kennedy, University of Toronto Press, Toronto and Buffalo1973, pp. 101–134. - Giuseppe Peano. The principles of mathematical logic (1891). English translation of 715. Selected works of Giuseppe Peano, translated and edited with a biographical sketch and bibliography by Hubert C. Kennedy, University of Toronto Press, Toronto and Buffalo1973, pp. 153–162. - Giuseppe Peano. The most general question in the mathematical sciences (1896). English translation of a reply to question no. 719, L'intermédiaire des mathématiciens, vol. 3 (1896), p. 169. Ibid., p. 189. - Giuseppe Peano. Studies in mathematical logic (1897). English translation of 7124. L'intermédiaire des mathématiciens, vol. 3 (1896), pp. 190–205. - Giuseppe Peano. Supplement to ‘On the Cantor–Bernstein theorem' (1906). English translation of 7144. L'intermédiaire des mathématiciens, vol. 3 (1896), pp. 206–218. - Giuseppe Peano. On the foundations of analysis (1910). English translation of 7146. L'intermédiaire des mathématiciens, vol. 3 (1896), pp. 219–226.
-
- Journal:
- The Journal of Symbolic Logic / Volume 45 / Issue 1 / March 1980
- Published online by Cambridge University Press:
- 12 March 2014, pp. 177-180
- Print publication:
- March 1980
-
- Article
- Export citation
Logic in the twenties: the nature of the quantifier1
-
- Journal:
- The Journal of Symbolic Logic / Volume 44 / Issue 3 / September 1979
- Published online by Cambridge University Press:
- 12 March 2014, pp. 351-368
- Print publication:
- September 1979
-
- Article
- Export citation
Jean-Pierre Bénéjam. Application du théorème de Herbrand à la présentation de thèses tératologiques du calcul des prédicats élémentaire. Comptes rendus hebdomadaires des séances de l'Académie des Sciences, ser. A vol. 268 (1969), pp. 757–760. - Roland Fraïssé. Réflexions sur la complétude selon Herbrand. International logic review-Rassegna internazionale di logica (Bologna), vol. 3 no. 1 (1972), pp. 86–98.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 2 / June 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 238-239
- Print publication:
- June 1975
-
- Article
- Export citation
Skolem reduction classes
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 1 / March 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 62-68
- Print publication:
- March 1975
-
- Article
- Export citation
Ordinal bounds for κ-consistency
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 4 / December 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 693-699
- Print publication:
- December 1974
-
- Article
- Export citation
The finite controllability of the Maslov case
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 3 / September 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 509-518
- Print publication:
- September 1974
-
- Article
- Export citation
W. Craig. Analysis of first-order implications. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 175–180.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 3 / September 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 519
- Print publication:
- September 1973
-
- Article
- Export citation
George S. Boolos. A proof of the Löwenheim-Skolem theorem. Notre Dame journal of formal logic, vol. 11 (1970), pp. 76–78.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 3 / September 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 519
- Print publication:
- September 1973
-
- Article
- Export citation
The decision problem for formulas with a small number of atomic subformulas
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 3 / September 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 471-480
- Print publication:
- September 1973
-
- Article
- Export citation