On the synthetic content of implicit definitions

Demetra Christopoulou

DOI: http://dx.doi.org/10.12775/LLP.2013.005


This paper addresses the issue of stipulation in three cases of implicit definitions (postulates of scientific terms, systems of axioms and abstraction principles). It argues that the alleged implicit definitions do not have a purely stipulative status. Stipulation of the vehicles of the implicit definitions in question should end up with true postulates. However, those postulates should not be taken to be true only in virtue of stipulation since they have extra commitments. Horwich’s worry emerges in all three kinds of implicit definitions under consideration, since the existence of meanings so that the alleged postulates are true depends on extra requirements that should be fulfilled. Moreover, if Ramseyfication method is applied to the three kinds of implicit definition, they are split up into two components from which the first one is broadly factual while the second one is purely stipulative. The paper argues that their definitional task in each case should be assigned to their second component i.e. their Carnap-conditional.


implicit; definition; Ramseyfication; truth; a priori; synthetic; stipulation; conditional

Full Text:



Boghossian, P., “Analyticity reconsidered”, Noûs 30, 3 (1996): 360-391.

Carnap, R., “Meaning postulates”, Philosophical Studies III, 5 (1952): 65-73.

Carnap, R., “Observation language and theoretical language” (1958), in: J. Hintikka (ed.), Rudolf Carnap, Logical Empiricist, Dordrecht, Holl., D. Reidel Publishing Company, 1975.

Friedman, M., “Carnap on theoretical terms: structuralism without metaphysics”, Synthese 180 (2011): 249-263.

Hale, B., and C. Wright, The Reason’s Proper Study, Oxford, Clarendon Press, 2001.

Hale, B., “A response to Potter and Smiley: abstraction by recarving”, Proceedings of the Aristotelian Society 101, 3 (2001): 339-358.

Horwich, P., Meaning, New York, Oxford University Press, 1998.

Hodes, H., “Logicism and the ontological commitments of arithmetic”, Journal of Philosophy, 81 (1984): 126-135.

Lewis, D., “How to define theoretical terms”, Journal of Philosophy 13 (1970): 427-446.

Psillos, S., Scientific Realism, London & New York, Routledge, 1999.

Psillos, S., “Ramsey’s Ramsey-sentences”, pages 67-90 in Cambridge and Vienna: Frank P. Ramsey and the Vienna Circle, M. C. Galavotti (ed.), London, Springer-Verlag, 2006.

Resnik, D., “The Frege-Hilbert controversy”, Philosophy and Phenomenological Research 34 (1974): 386-403.

Sellars, W., “Is there a synthetic a priori?”, Philosophy of Science 20 (1953): 121-138.

Financed by MNiSW on the basis of agreement no. 706/P-DUN/2018 (dated 10/05/18). Project 1: “Preparation of articles in English for eight editions of the journal Logic and Logical Philosophy over the period 2018–19; Vol. 27, No. 1–4 (2018), Vol. 28, No. 1–4 (2019)”; amount from the DUN grant: 64800 zł. Project 4: “Digitalisation of eight editions of the journal Logic and Logical Philosophy over the period 2018-19; Vol. 27, No. 1–4 (2018), Vol. 28, No. 1–4 (2019)”; amount from the DUN grant: 18600 zł.

ISSN: 1425-3305 (print version)
ISSN: 2300-9802 (electronic version)

Partnerzy platformy czasopism