2014 | 23 | 2 | 133–170
Article title

Concepts as hyperintensional objects

Title variants
Languages of publication
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.
Physical description
  • Institute of Philosophy, Academy of Sciences of Czech Republic, Prague, Czech Republic
  • 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.
  • 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”,, 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,
  • 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.
Document Type
Publication order reference
YADDA identifier
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.