Concepts as hyperintensional objects

Pavel Materna



The author defends the view that the notion of concept, if used in the logical (not cognitivist) tradition, should be explicated procedurally (i.e., not set-theoretically). He argues that Tichý’s Transparent Intensional Logic is an apt tool for such an explication and derives the respective definition. Some consequences of this definition concern the notions of emptiness, simple concepts, empirical concepts and algorithmic concepts.


constructions; TIL; ontological definition; meaning; denotation; hierarchy of types (simple, ramified); hyperintensional

Full Text:



Anderson, C.A., “Alonzo Church’s contributions to philosophy and intensional logic”, The Bulletin of Symbolic Logic, 4 (1998), 2: 129–171. DOI: 10.2307/421020

Bealer, G., Quality and Concept, Clarendon Press, Oxford 1982.

Bolzano, B., Wissenschaftslehre, vols. I, II, Sulzbach, 1837.

Brouwer, L.E.J., Over de grondslagen der wiskunde. Academisch proefschrift, Maas et van Suchtelen, Amsterdam 1907.

Carnap, R., Meaning and Necessity, Chicago University Press, Chicago 1947.

Church, A., Introduction to Mathematical Logic, Princeton University Press, Princeton 1956.

Church, A. “Intensional isomorphism and identity of belief”, Philosophical Studies, 5 (1954): 65–73. CrossRef

Church, A.: “Intensional semantics”, pages 40–47 in [34].

Church, A., “A revised formulation of the logic of sense and denotation. Alternative (1)”, Noûs, 27 (1993): 141–157. DOI: 10.2307/2215752

Cresswell, M.J., “Hyperintensional logic”, Studia Logica, 34 (1975): 25–38. DOI: 10.1007/BF02314421

Cresswell, M.J. Structured Meanings, MIT Press, Cambridge, 1985.

Duží, M., B. Jespersen and P. Materna, Procedural Semantics for Hyperintensional Logic, Springer, 2010.

Duží, M., “The paradox of inference and the non-triviality of analytic information”, Journal of Philosophical Logic, 39 (2010), 5: 473–510. DOI: 10.1007/s10992-010-9127-5

Fitting, M., “Intensional Logic”, Stanford Encyclopedia of Philosophy, rev. January 27, 2011.

Fletcher, P., Truth, Proof and Infinity, Dordrecht: Kluwer, 1998.

Fodor, J.A., Concepts. Where Cognitive Science Went Wrong, Clarendon Press, Oxford 1998.

Frege, G., Funktion und Begriff, H. Pohle, Jena 1891. (Vortrag, gehalten in der Sitzung vom 9. Januar 1891 der Jenaischen Gesellschaft für Medizin und Naturwissenschaft, Jena.)

Frege, G., “Über Begriff und Gegenstand”, Vierteljahrschrift für wissenschaftliche Philosophie, 16 (1892): 192–205.

Frege, G., “Über Sinn und Bedeutung”, Zeitschrift für Philosophie und philosophische Kritik, 100 (1892): 25–50.

Gamut, L.T.F., Logic, Language and Meaning, vol. II., Chicago, London, The University of Chicago Press, 1991.

Glock, H. J., “Concepts: Where subjectivism goes wrong”, Philosophy, 84 (2009): 5–29. DOI: 10.1017/S0031819109000011

van Heijenoort, J., “Sense in Frege”, Journal of Philosophical Logic, 6 (1977): 93–102. DOI: 10.1007/BF00262050

van Heijenoort, J., “Frege on Sense Identity”, Journal of Philosophical Logic, 6 (1977): 103–108. DOI: 10.1007/BF00262051

Horák, A., The Normal Translation Algorithm in Transparent Intensional Logic for Czech, PhD Thesis, Masaryk University, Brno, 2002. Link

Jespersen, B., “Why the tuple theory of structured propositions isn’t a theory of structured propositions”, Philosophia, 31 (2003): 171–183. DOI: 10.1007/BF02380932

King, J.C., “Structured propositions”, Link, version as of 8 August 2001.

Lewis, D., “General semantics”, in Semantics of Natural Language, D. Davidson and G. Harman (eds.), Reidel, Dordrecht 1972, pp. 169–218.

Materna, P., “Concepts and objects”, Acta Philosophica Fennica, vol. 63, Helsinki 1998.

Materna, P., Conceptual Systems, Logos, Berlin 2004.

Materna, P., “The so-called myth of museum”, Organon F, 11 (2004): 229–242.

Materna, P., “Once more on analytic vs. synthetic”, Logic and Logical Philosophy, 6 (2007): 3–43. DOI: 10.12775/LLP.2007.001

Materna, P. “A notion of concept is either superfluous or procedural”, The Logica Yearbook 2010, College Publications, London 2011, pp. 125–142.

Materna, P., and J. Petrželka, “Definition and concept. Aristotelian definition vindicated”, Studia Neoaristotelica, 5 (2008): 1, 3–37.

Martinich, A.P. (ed.), The Philosophy of Language, Oxford University Press, 1985.

Martin-Löf, P., Intuitionistic Type Theory, Bibliopolis, Naples 1984.

Montague, R., Formal Philosophy: Selected papers of R. Montague, R. Thomason (ed.), Yale University Press, New Haven 1974.

Moschovakis, Y.N., “Sense and denotation as algorithm and value”, in Lecture Notes in Logic, vol. 2, J. Väänänen and J. Oikkonen (eds.), Berlin: Springer, 1994, pp. 210–249.

Russell, B., The Principles of Mathematics, University Press, Cambridge 1903.

Szabó, Z., “Compositionality”, in Stanford Encyclopedia of Philosophy, E. Zalta (ed.), 2005, Link

Tichý, P., “Smysl a procedura”, Filosofický èasopis, 16 (1968): 222–232. Translated as “Sense and procedure” in [48], pp. 77–92.

Tichý, P., “Intensions in terms of Turing machines”, Studia Logica, 26 (1969): 7–25. DOI: 10.1007/BF02134290 Reprinted in [48], pp. 93–109.

Tichý, P. “Two kinds of intensional logic”, Epistemologia 1 (1978): 143–164. Reprinted in [48], pp. 305–328.

Tichý, P., “Questions, answers and logic”, American Philosophical Quarterly, 15 (1978): 275–284. Reprinted in [48], pp. 293–304.

Tichý, P., “Constructions”, Philosophy of Science, 53 (1986):, 514–534. DOI: 10.1086/289338 Reprinted in [48], pp. 599–621.

Tichý, P., The Foundations of Frege’s Logic, De Gruyter, Berlin – New York 1988.

Tichý, P., “The analysis of natural language”, 1994. Reprinted in [48], pp. 801–841.

Tichý, P., “Constructions as the subject-matter of mathematics”, in The Foundational Debate: Complexity and Constructivity in Mathematics and Physics, W. DePauli-Schimanovich, E. Köhler and F. Stadler (eds.), Kluwer, Dordrecht, Boston, London, and Vienna 1995, pp 175–185. Reprinted in [48], pp. 873–85.

Tichý, P., Collected Papers in Logic and Philosophy, V. Svoboda, B. Jespersen, C. Cheyne (eds.), Filosofia, Czech Academy of Sciences — Prague and University of Otago Press — Dunedin, 2004.

ISSN: 1425-3305 (print version)

ISSN: 2300-9802 (electronic version)

Partnerzy platformy czasopism