Nesne Ontolojisi, Varlıksal Öndayanaklar ve Bağımsız Mantıklar

Date

2019-12-01

Author

Akçelik, Oğuz

Metadata

Show full item record

This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.

Item Usage Stats

16
views

6
downloads

Cite This

In modern logic, each singular term must denote an object in the domain of quantification. This is due to the ontological assumptions of first order quantification logic with identity. However, this results in certain anomalies, i.e. expressibility and validity of inference problems. Free logic is a useful tool to analyze propositions and test the validity of arguments containing empty singular terms which have no referent in the domain of quantification. In this study, we will examine systematic definitions and extensional interpretations of free logics. One of the most promising future orientations of modern logic, free logic as a logic free of existential assumptions, does not take the concept of existence as a logical necessity. Instead, the fundamental assumption is that of ontological possibility, and hence it will be possible for propositions containing empty terms to have extensional interpretations.

Subject Keywords

Existential assumptions, extensional interpretations, validity, free logics, ontological possibility

URI

https://doi.org/10.26650/arcp2019-5101
https://hdl.handle.net/11511/112746

Collections

Department of Philosophy, Article