Conceptual and derivation systems

Jiří Raclavský, Petr Kuchyňka



Pavel Materna proposed valuable explications of concept and conceptual system. After their introduction, we contrast conceptual systems with (a novel notion of) derivation systems. Derivation systems differ from conceptual systems especially in including derivation rules. This enables us to show close connections among the realms of objects, their concepts, and reasoning with concepts.


concepts; conceptual systems; deduction; derivation systems

Full Text:



Aczel, P., 1988, Non-well-founded sets, CSLI, Stanford.

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

Bolzano, B., 1837, Wissenschaftslehre, Seidl, Sulzbach.

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

Church, A., 1985, “Intensional semantics”, pages 40–47 in: The Philosophy of Language, A.P. Martinich (ed.), Oxford University Press.

Cresswell, M., 1985, Structured Meanings, The MIT Press.

Duží, M., B. Jespersen, P. Materna, 2010, Procedural Semantics for Hyperintensional Logic: Foundations and Applications of Transparent Intensional Logic, Springer Verlag.

Frege, G., 1891, Function und Begriff, Verlag von Hermann Pohle, Jena, 1–31.

Kuchyňka, P., 2011, Rules, Languages and Logic. Dissertation in progress.

Materna, P., 1998, Concepts and Objects, Acta Philosophica Fennica, Helsinki.

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

Oddie, G., and P. Tichý, 1982, “The logic of ability, freedom, and responsibility”, Studia Logica 41, 2–3: 227–248.

Raclavský, J., 2007, “Conceptual dependence of verisimilitude”, Organon F 14, 3: 334–353.

Raclavský, J., 2009, Names and Descriptions: Logico-Semantical Investigations [in Czech], Nakladatelství Olomouc, Olomouc.

Tichý, P., 1976, Introduction to Intensional Logic. Unpublished ms.

Tichý, P., 1982, “The foundations of partial type theory”, Reports on Mathematical Logic 14: 57–72.

Tichý, P., 1986, “Indiscernibility of identicals”, Studia Logica 45, 3: 257–273.

Tichý, P., 1988, The Foundations of Frege’s Logic, Walter de Gruyter.

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

ISSN: 1425-3305 (print version)

ISSN: 2300-9802 (electronic version)

Partnerzy platformy czasopism