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.

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