@article {11958,
title = {Logick{\'a} forma defin{\'\i}ci{\'\i}},
journal = {Filozofia},
volume = {70},
number = {3},
year = {2015},
pages = {161-174},
type = {State},
abstract = {Definitions are usually identified with the sentences of the form {\textquotedblleft}X =df Y{\textquotedblright}. This form is underspecified in various respects; in particular, it is not quite clear what is expressed by =df. The present paper is an attempt to answer the following question: What kind of relation can be represented by =df? It is argued that for every sentence of the form {\textquotedblleft}X =df Y{\textquotedblright} there is a corresponding sentence in which =df can be replaced by = provided the Y part of the definition is supplemented with further information. This suggestion is made possible by a certain classification of definitions (cf. Zouhar 2014) that is briefly summarized in the present paper as well.},
keywords = {Descriptive definition, Identity, Logical form, Prescriptive definition, The=df symbol},
author = {Zouhar, Mari{\'a}n}
}