LOGICKÁ FORMA DEFINÍCIÍ

• Authors: Martin Zouhar

Title variants

EN

Logical form of definitions

• Languages of publication: SK

Abstracts

EN

Definitions are usually identified with the sentences of the form “X =df Y”. 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 “X =df Y” 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

EN

DESCRIPTIVE DEFINITION; IDENTITY; LOGICAL FORM; PRESCRIPTIVE DEFINITION; THE =DF SYMBOL

• Publisher: Institute of Philosophy, Slovak Academy of Sciences
• Journal: Filozofia (Philosophy)
• Year: 2015
• Volume: 70
• Issue: 3
• Pages: 161 - 174

Contributors

author

Martin Zouhar

• Katedra logiky a metodológie vied Filozofickej fakulty UK v Bratislave, Slovak Republic