Skip to main content
Log in

The difficulty with the well-formedness of ontological statements

  • Published:
Topoi Aims and scope Submit manuscript

Abstract

When Russell argued for his ontological convictions, for instance that there are negative facts or that there are universals, he expressed himself in English. But Wittgenstein must have noticed that from the point of view of Russell's ideal language these ontological statements appear to be pseudo-propositions. He believed therefore that what these statements pretend to say, could not really be said but only shown. Carnap discovered a way out of this mutism: what in the material mode of speech of the object language looks like a pseudo-proposition can be translated into a perfectly meaningful proposition in the formal mode of speech (in the metalinguistic mode of speech of the logical syntax of language). But is this ascent into the metalanguage necessary? Taking advantage of Lésniewski's logical system there exists another way outwe can expand the number of categories of our ideal language. But Leśniewski's formulas raise another profound problem, the problem of “semantical muteness” (cf. W. G. Lycan ‘Semantic Competence and Funny Functors’ Monist 64 (1979), 209–222).

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

Bibliography

  • Carnap, R.: The Logical Syntax of Language, Routledge and Kegan Paul, London, 1959.

    Google Scholar 

  • Church, A.: ‘A Formulation of the Simple Theory of Types’, Journal of Symbolic Logic 5 (1940), 56–68.

    Article  Google Scholar 

  • Devitte, M., Armstrong, D.M., and Quine, W. V.: Symposium: ‘Nominalism’, Pacific Philosophical Quarterly 61 (1980), 433–451.

    Google Scholar 

  • Heck, W. C. and Lycan, W. G.: ‘Frege's Horizontal’, Canadian Journal of Philosophy 9 (1979), 479–492.

    Google Scholar 

  • Henry, D. P.: Medieval Logic and Metaphysics, Hutchinson University Library, London, 1972.

    Google Scholar 

  • Küng, G.: Ontology and the Logistic Analysis of Language, Synthese Library, D. Reidel, Dordrecht, 1967.

    Book  Google Scholar 

  • Küng, G.: ‘Concrete and Abstract Properties’, Notre Dame Journal of Formal Logic 5 (1964), 31–36.

    Article  Google Scholar 

  • Küng, G. and Canty, J. T.: ‘Substitutional Quantification and Lesniewskian Quantifiers’, Theoria 36 (1970), 165–182.

    Article  Google Scholar 

  • Küng, G.: ‘Prologue-functors’, Journal of Philosophical Logic 3 (1974), 241–254.

    Article  Google Scholar 

  • Küng, G.: ‘The Meaning of the Quantifiers in the Logic of Leśniewski’, Studia Logica 36 (1977), 309–322.

    Article  Google Scholar 

  • Küng, G.: ‘Nominalistische Logik heute’, Allgemeine Zeitschrift für Philosophie 2 (1977), No. 1, 29–52.

    Google Scholar 

  • Küng, G.: ‘Wittgensteins nominalistischer Mystizismus’, in E. Leinfellner and W. Leinfellner, H. Berghel, and A. Hübner (eds.), Wittgenstein and His Impact on Contemporary Thought, Proceedings of the 2nd International Wittgenstein Symposium 1977, Hölder-Pichler-Tempsky, Vienna, 1978, pp. 239–241.

    Google Scholar 

  • Küng, G.: ‘Leśniewski's Systems’, in W. Marciszewski (ed.), Dictionary of Logic, Nijhoff International Philosophy Series, The Hague, 1981, pp. 168–177.

    Google Scholar 

  • Küng, G.: ‘Abélard et les vues actuelles sur la question des universaux’, in Cahiers de la Revue de théologie et philosophie, No. 6 (1981), pp. 99–113.

    Google Scholar 

  • Lejewski, C.: ‘Proper Names’, Proceeding of the Aristotelian Society, suppl. Vol. 31 (1957), pp. 229–256.

    Google Scholar 

  • Lejewski, C.: ‘Zu Leśniewskis Ontologie’, Ratio 1 (1957/1958), 150–176.

    Google Scholar 

  • Lejewski, C.: ‘Parts of Speech’, Proceedings of the Aristotelian Society, suppl. Vol. 39 (1965), 189–204.

    Google Scholar 

  • Lejewski, C.: ‘Leśniewski, Stanislaw’, in P. Edwards (ed.), The Encyclopedia of Philosophy, Macmillan, New York, 1967, Vol. 4, pp. 441–443.

    Google Scholar 

  • Lejewski, C.: ‘A System of Logic for Bicategorial Ontology’, Journal of Philosophical Logic 3 (1974), 265–283.

    Article  Google Scholar 

  • Lejewski, C.: ‘Syntax and Semantics of Ordinary Language’, Proceedings of the Aristotelian Soċiety, suppl. Vol. 44 (1975), pp. 127–146.

    Google Scholar 

  • Lejewski, C.: ‘Outline of an Ontology’, Bulletin of the John Rylands University Libary of Manchester 59 (1976), 127–147.

    Google Scholar 

  • Lejewski, C.: ‘Logic and Ontology’, in S. Koerner (ed.), Philosophy of Logic, Blackwell, Oxford, 1976, pp. 1–63.

    Google Scholar 

  • Lejewski, C.: ‘On the Damatic Stage in the Development of Kotar-Biński's Pansomatism’, in P. Weingartner and E. Morscher (eds.), Ontology and Logic, Duncker and Humblot, Berlin, 1979, pp. 197–214.

    Google Scholar 

  • Lejewski, C.: ‘Logic and Ontology’, in E. Agazzi (ed.), Modern Logic - A Survey, Synthese Library, D. Reidel, Dordrecht, 1980, pp. 379–398.

    Google Scholar 

  • Luschei, E. C. The Logical Systems of Leśniewski, Studies in Logic, North-Holland, Amsterdam, 1962.

    Google Scholar 

  • Lycan, W. G.: ‘Semantic Competence and Funny Functors’, Monist 64 (1979), 209–222.

    Google Scholar 

  • Rickey, V. F.: ‘A Survey of Leśniewski's Logic’, Studia Logica 36 (1977), 407–426.

    Article  Google Scholar 

  • Simons, P. M.: ‘On Interpreting Leśniewski’, in History and Philosophy of Logic (to appear).

  • Simons, P. M.: ‘Moments as Truth-makers’, in W. Leinfellner et al. (eds.), Language and Ontology, Proceedings of the 6th International Wittgensteins Symposium 1981, Hölder-Pichler-Tempsky, Vienna, 1982, pp. 159–161.

    Google Scholar 

  • Slupecki, J.: ‘S. Leśniewski's Calculus of Names’, Studia Logica 3 (1955), 7–76.

    Article  Google Scholar 

  • Smith, B.: ‘Some Formal Moments of Truth’, in W. Leinfellner et al. (eds.), Language and Ontology, Proceedings of the 6th International Wittgenstein Symposium 1981, Hölder-Pichler-Tempsky, Vienna, 1982, pp. 186–190.

    Google Scholar 

  • Tarski, A.: ‘The Concept of Truth in Formalized Languages’, in Tarski, A., Logic, Semantics, Metamathematics, Clarendon Press, Oxford, 1956, pp. 152–278.

    Google Scholar 

  • Wittgenstein, L.: Tractatus Logico-philosophicus, Routledge and Kegan Paul, London, 1963.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Additional information

The original German text of this paper appears in W. Leinfellner et al. (ed.), Language and Ontology, Proceedings of the 6th International Wittgenstein Symposium 1981, Hölder-Pichler-Tempsky, Vienna, 1982.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Küng, G. The difficulty with the well-formedness of ontological statements. Topoi 2, 111–119 (1983). https://doi.org/10.1007/BF00139706

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF00139706

Keywords

Navigation