Felsefe Arkivi

GÖNDERBİLGİ
EnglishTürkçe

Araştırma Makalesi


DOI :10.26650/arcp2019-5101   IUP :10.26650/arcp2019-5101    Tam Metin (PDF)

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

Oğuz Akçelik

Modern mantıkta nicelemenin yapıldığı değer kümesi içinde her tekil terimin bir nesneye gönderimde bulunması gerekir. Bu, yüklemler, niceleme ve özdeşlik mantığının temel öndayanağıdır. Fakat bu durum, ifade edilebilirlik problemlerine ve çıkarım düzen dışılıklarına neden olur. Bağımsız mantık dizgeleri, boş tekil terim olarak adlandırılan ve herhangi bir gerçek nesneye gönderimde bulunmayan terimlerin yer aldığı önermelerin geçtiği argümanların çözümlenmesi ve geçerliliğinin sınanması için oldukça faydalı bir araçtır. Bu çalışmada bağımsız mantıkların dizgesel tanımlarını ve kaplamsal yorumlamalarını ele alacağız. Modern mantığın bir yönelimi olarak varlıksal öndayanaklardan bağımsız mantık dizgeleri, varlık olma niteliğini salt mantıksal zorunluluk olarak ele almaz. Bunun yerine ontolojik bir olanaklılık olarak ele alarak boş terimlerin geçtiği önermelerin kaplamsal yorumlamalarını mümkün kılar.

Anahtar Kelimeler: Varlıksal öndayanaklar, kaplamsal yorumlamalar, geçerlilik, bağımsız mantıklar, ontolojik olanaklılık
DOI :10.26650/arcp2019-5101   IUP :10.26650/arcp2019-5101    Tam Metin (PDF)

Ontology of Objects, Existential Assumptions and Free Logics

Oğuz Akçelik

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.

Anahtar Kelimeler: Existential assumptions, extensional interpretations, validity, free logics, ontological possibility

PDF Görünüm

Referanslar

  • Bencivenga, Ermanno. “Truth, Correspondence, and Non-Denoting Singular Terms.” Philosophia 9 (1980): 219-229. google scholar
  • Bencivenga, Ermanno. “Free Logics.” Handbook of Philosophical Logic. Derleyenler Dov Gabbay and F. Guenthner, 2. Edisyon, Cilt 5, 147–196. Dordrecht: Kluwer, 2002. google scholar
  • Frege, Gottlob. “Function and Concept.” (1891) Translations from the Philosophical Writings of Gottlob Frege içinde. Çeviren Peter Geach. Derleyenler Peter Geach ve Max Black. Oxford: Blackwell, 1980. google scholar
  • Frege, Gottlob. “Function and Concept.” (1891) Translations from the Philosophical Writings of Gottlob Frege içinde. Çeviren Peter Geach. Derleyenler Peter Geach ve Max Black. Oxford: Blackwell, 1980. google scholar
  • Frege, Gottlob. “On Sense and Reference” (1892) The Frege Reader içinde. Derleyen Michael Beaney. Oxford: Blackwell, 1997, google scholar
  • Grünberg, Teo; Onart, Adnan; Grünberg David; Turan, Halil. Mantık Terimleri Sözlüğü, Genişletilmiş 3. Basım. Ankara: METU Press, 2003. google scholar
  • Grünberg, Teo. Sembolik Mantık El Kitabı Cilt 2: Özel Mantık Sistemleri. Ankara: METU Press, 2000. Grünberg, Teo. Sembolik Mantık El Kitabı Cilt 1: Temel Mantık. Ankara: ODTÜ G. v., 2017. google scholar
  • Haack, Susan, Philosophy of Logics. Cambridge: Cambridge University Press, 1978. google scholar
  • Hintikka, Jaakko. “Towards a Theory of Definite Descriptions.” Analysis 19 (1959): 79–85. google scholar
  • Kalish, Donald; Montague, Richard; Mar, Gary. Logic: Techniques of Formal Reasoning, 2. Edisyon. Oxford: Oxford University Press, 1980. google scholar
  • Lambert, Karel. “The Definition of E! in Free Logic,” Abstracts: The International Congress for Logic, Methodology and Philosophy of Science içinde. Stanford: Stanford University Press, 1960. google scholar
  • Lambert, Karel. “Free Logics.” The Blackwell Guide to Philosophical Logic. Derleyen Lou Goble, 258–279. Oxford: Blackwell Publishing, 2001. google scholar
  • Lambert, Karel. Free Logic: Selected Essays. Cambridge: Cambridge University Press, 2003. google scholar
  • Leblanc, Hughes. “Truth Value Semantics for a Logic of Existence.” Notre Dame Journal of Formal Logic 12 (1981): 153–68. google scholar
  • Leonard, H. S. “The Logic of Existence.” Philosophical Studies 7 (1956): 49–64. google scholar
  • Morscher, Edgar ve Simons, Peter “Free Logic: A Fifty-Year Past and an Open future.” New Essays in Free Logic In Honour of Karel Lambert. Derleyen Morscher, Edgar; Hieke, Alexander, 1–36. Dordrecht: Kluwer Academic Publishers, 2001. google scholar
  • Nolt, John. “Free Logic.” The Stanford Encyclopedia of Philosophy. (Sonbahar 2018 Edisyonu) https://plato. stanford.edu/archives/fall2018/entries/logic-free/. Erişim 12 Ekim 2019. Priest, Graham. An Introduction to Non-Classical Logic: From If to Is. Cambridge: Cambridge University Press, 2008. google scholar
  • Russell, Bertrand. The Principles of Mathematics. Oxford: Routledge, 1903[2010]. Soames, Scott. The Analytic Tradition in Philosophy, Volume 1: The Founding Giants. Princeton: Princeton University Press, 2014. google scholar
  • Schock, Rolf. Logics without Existence Assumptions, Stockholm: Almqvist & Wiksell, 1968. google scholar
  • van Fraassen, Bas C. “Singular Terms, Truth Value Gaps and Free Logic,” Journal of Philosophy 63 (1966): 481–495. google scholar

Atıflar

Biçimlendirilmiş bir atıfı kopyalayıp yapıştırın veya seçtiğiniz biçimde dışa aktarmak için seçeneklerden birini kullanın


DIŞA AKTAR



APA

Akçelik, O. (0001). Nesne Ontolojisi, Varlıksal Öndayanaklar ve Bağımsız Mantıklar. Felsefe Arkivi, 0(51), 1-16. https://doi.org/10.26650/arcp2019-5101


AMA

Akçelik O. Nesne Ontolojisi, Varlıksal Öndayanaklar ve Bağımsız Mantıklar. Felsefe Arkivi. 0001;0(51):1-16. https://doi.org/10.26650/arcp2019-5101


ABNT

Akçelik, O. Nesne Ontolojisi, Varlıksal Öndayanaklar ve Bağımsız Mantıklar. Felsefe Arkivi, [Publisher Location], v. 0, n. 51, p. 1-16, 0001.


Chicago: Author-Date Style

Akçelik, Oğuz,. 0001. “Nesne Ontolojisi, Varlıksal Öndayanaklar ve Bağımsız Mantıklar.” Felsefe Arkivi 0, no. 51: 1-16. https://doi.org/10.26650/arcp2019-5101


Chicago: Humanities Style

Akçelik, Oğuz,. “Nesne Ontolojisi, Varlıksal Öndayanaklar ve Bağımsız Mantıklar.” Felsefe Arkivi 0, no. 51 (Dec. 2024): 1-16. https://doi.org/10.26650/arcp2019-5101


Harvard: Australian Style

Akçelik, O 0001, 'Nesne Ontolojisi, Varlıksal Öndayanaklar ve Bağımsız Mantıklar', Felsefe Arkivi, vol. 0, no. 51, pp. 1-16, viewed 23 Dec. 2024, https://doi.org/10.26650/arcp2019-5101


Harvard: Author-Date Style

Akçelik, O. (0001) ‘Nesne Ontolojisi, Varlıksal Öndayanaklar ve Bağımsız Mantıklar’, Felsefe Arkivi, 0(51), pp. 1-16. https://doi.org/10.26650/arcp2019-5101 (23 Dec. 2024).


MLA

Akçelik, Oğuz,. “Nesne Ontolojisi, Varlıksal Öndayanaklar ve Bağımsız Mantıklar.” Felsefe Arkivi, vol. 0, no. 51, 0001, pp. 1-16. [Database Container], https://doi.org/10.26650/arcp2019-5101


Vancouver

Akçelik O. Nesne Ontolojisi, Varlıksal Öndayanaklar ve Bağımsız Mantıklar. Felsefe Arkivi [Internet]. 23 Dec. 2024 [cited 23 Dec. 2024];0(51):1-16. Available from: https://doi.org/10.26650/arcp2019-5101 doi: 10.26650/arcp2019-5101


ISNAD

Akçelik, Oğuz. “Nesne Ontolojisi, Varlıksal Öndayanaklar ve Bağımsız Mantıklar”. Felsefe Arkivi 0/51 (Dec. 2024): 1-16. https://doi.org/10.26650/arcp2019-5101



ZAMAN ÇİZELGESİ


Gönderim18.11.2019
Son Revizyon11.12.2019
Kabul13.12.2019

LİSANS


Attribution-NonCommercial (CC BY-NC)

This license lets others remix, tweak, and build upon your work non-commercially, and although their new works must also acknowledge you and be non-commercial, they don’t have to license their derivative works on the same terms.


PAYLAŞ




İstanbul Üniversitesi Yayınları, uluslararası yayıncılık standartları ve etiğine uygun olarak, yüksek kalitede bilimsel dergi ve kitapların yayınlanmasıyla giderek artan bilimsel bilginin yayılmasına katkıda bulunmayı amaçlamaktadır. İstanbul Üniversitesi Yayınları açık erişimli, ticari olmayan, bilimsel yayıncılığı takip etmektedir.