This essay reviews theory and research regarding the “Michelangelo phenomenon,” which describes the manner in which close partners shape one another’s dispositions, values, and behavioral tendencies. Individuals are more likely to exhibit movement toward their ideal selves to the degree that their partners exhibit affirming perception and behavior; exhibiting confidence in the self’s capacity and enacting behaviors that elicit key features of the self’s ideal. In turn, movement towards the ideal self yields enhanced personal well-being and couple well-being. We review (...) empirical evidence regarding this phenomenon and discuss self and partner variables that contribute to the process. (shrink)

ARISTOTLE'S Ethics are not focused on a group of moral principles; they are developed from the affirmation of an end which subordinates all human activities. This end is sought for itself and is called "the good and the best".

The Aristotelian discussion of this theme has focused the attention of researchers and commentators on the question of practical reason. The main problem has been to determine if the end is fixed by moral virtue alone while practical reason is concerned only with the deliberation on the "means" that contribute to the end, or if practical wisdom plays a role as well in the determination of the end.

It is widely recognized that conceptual and theoretical innovations and the employment of new instruments and experimental techniques are important factors in explaining the growth of scientific knowledge in chemistry. This study examines another dimension of research in chemistry, collaboration and co-authorship. I focus specifically on Theodore Richards’ career and publications. During the period in which Richards worked, co-authorship was beginning to become more common than it had been previously. Richards was the first American chemist to be awarded a Nobel (...) Prize and he was at the forefront in this new trend in chemistry. He collaborated more than was typical for his time, with many scientists, in different sized groups, and he often had persistent collaborative relationships, extending over a number of years. Further, it appears that these collaborations benefited Richards, his collaborators, and the field of chemistry as a whole. (shrink)

“Doğal din” terimi, bazen doğanın kendisinin ilahi olduğu bir panteistik doktrine atıfta bulunur. “Doğal teoloji” terimi ise aksine, başlangıçta gözlemlenen doğal gerçekler temelinde (ve bazen) Tanrı’nın varlığını savunmaya yönelik projeye atıfta bulunur. Bununla birlikte çağdaş felsefede, hem “doğal din” hem de “doğal teoloji” genel olarak, dinî veya teolojik konuları araştırmak için insana, “doğal” olan bilişsel yetilerini – akıl, algı, içgözlem- kullanma projesini ifade eder. Doğal din veya teoloji, mevcut anlayış üzerine, doğayla ilgili ampirik araştırmalarla sınırlı olmamakla birlikte ayrıca panteistik bir (...) sonuçla da bağlantılı değildir. Bununla birlikte o, özel doğal olmayan yetilere (ESP, telepati, mistik deneyim) veya doğaüstü bilgi kaynaklarına (kutsal metinler, vahiy teolojisi, inanç otoriteleri, doğrudan doğaüstü iletişim) hitap etmekten kaçınır. Genel olarak, doğal din veya teoloji (bundan böyle “doğal teoloji” olarak anılacaktır), diğer felsefi ve bilimsel girişimlerle aynı rasyonel inceleme standartlarına uymayı amaçlamaktadır ve aynı değerlendirme ve eleştiri yöntemlerine tabidir. (shrink)

Emotion suppression has been found to have negative psychological and social consequences in Western cultural contexts. Yet, in some other cultural contexts, emotion suppression is less likely to have negative consequences; relatedly, emotion suppression is also more common in those East-Asian cultural contexts. In a dyadic conflict study, we aim to conceptually replicate cultural differences found in previous research with respect to the prevalence and consequences of emotion suppression,and extend previous research by testing whether cultural differences are larger for some (...) than for other types of negative emotions. We postulate that cultural differences in suppression are less pronounced for socially engaging emotions than socially disengaging emotions, because the former foster the relationship, whereas the latter emphasize individual goals. Belgian and Japanese couples engaged in a 10-min conflict interaction followed by video-mediated recall, during which participants rated their emotions and emotion suppression every 30 s. As predicted, Japanese participants reported more suppression than their Belgian counterparts, but the cultural difference was more pronounced when participants experienced more socially disengaging emotions than when they experienced more socially engaging emotions. These results suggest that the type of emotion should be considered when describing cultural differences in emotion suppression. Finally, and consistent with previous research, emotion suppression was negatively associated with interaction outcomes in Belgian couples, but not in Japanese couples. (shrink)

Modal ontolojik argüman, Tanrı’nın varlığını sadece bilfiil gerçek olan bu dünyada değil, bütün mümkün dünyalarda göstermeye yönelik bir argümandır. Anselm’in (1033-1109) Proslogion adlı eserinin 3. bölümünde “kendisinden daha büyüğü düşünülemeyen” şeklinde tanımlanan; Tanrı’nın var olmamasının da düşünülemeyeceğini, bu yüzden de varolmamasının imkansızlığı üzerinde kurulu yeni bir argüman bulunduğunu öne süren bazı araştırmacılar, bu argümanı mümkün dünyalar semantiği yardımıyla formüle edip, “modal ontolojik argüman” şeklinde adlandırmışlardır. Çok farklı şekillerde formüle edilmiş bu argüman kabaca Tanrı’nın mümkünse zorunlu olması, dolayısıyla bilfiil gerçek olan (...) bu dünyada da var olması gerektiğini savunur. (shrink)

Çağdaş epistemoloji içerisinde, dışsalcı, güvenilirci ve erdeme dayalı epistemolojik tartışmaların bir benzerini, dini epistemoloji içerisinde etkili bir şekilde yer edinen ve reformcu epistemoloji olarak bilinen yaklaşım üzerinden görebilmek mümkündür. Alvin Plantinga, Nicholas Wolterstorff ve William Alston gibi filozofların öne çıktığı bu yaklaşımın ana iddiası, kanıta ya da argümana dayanmaksızın, Tanrı’nın varlığına inanmanın bütünüyle doğru, rasyonel, makul ve güvenilir olacağı şeklindeki bir tezdir. Kanıtın, gerekçelendirme için zorunlu bir koşul olmadığı fikri, algısal deneyimlerin gerekçelendirilmesine benzer şekilde, dini deneyimlerin de öyle olduğu ve (...) dolayısıyla, aynı epistemik statüye sahip olması gerektiğini öne süren, eşitlik tezine dayanır. İlk ortaya çıktığı günden bugüne, üzerinde çokça konuşulan ve tartışılan bir yaklaşım olan reformcu epistemoloji, özellikle son beş yıl içerisinde, oldukça farklı bir hale gelmiştir. Zira bu yaklaşımı, kanıtsalcılıkla uyumlu, erdem epistemolojisiyle bağlantılı ve diğer teistik dinler üzerinden değerlendiren yeni çalışmalar ortaya çıkmıştır. Bu nedenle, bu makalede, reformcu epistemoloji ana hatlarıyla ele alınmıştır. Beraberinde, ona yöneltilen itirazlara değinilmiş ve sonrasında, bahsi geçen yenilik iddiaları soruşturulmaya çalışılmıştır. Son olarak, teistik inancın rasyonalitesiyle ilgili, farklı bir bakış açısı sunulmuştur. (shrink)

Philosophy has much to offer psychiatry, not least regarding ethical issues, but also issues regarding the mind, identity, values, and volition. This has become only more important as we have witnessed the growth and power of the pharmaceutical industry, accompanied by developments in the neurosciences. However, too few practising psychiatrists are familiar with the literature in this area. -/- The Oxford Handbook of Philosophy and Psychiatry offers the most comprehensive reference resource for this area ever published. It assembles challenging and (...) insightful contributions from key philosophers and others to the interactive fields of philosophy and psychiatry. Each contributions is original, stimulating, thorough, and clearly and engagingly written - with no potentially significant philosophical stone left unturned. Broad in scope, the book includes coverage of several areas of philosophy, including philosophy of mind, science, and ethics. For philosophers and psychiatrists, The Oxford Handbook of Philosophy and Psychiatry is a landmark publication in the field - one that will be of value to both students and researchers in this rapidly growing area. (shrink)

Mitos ve Logos kavramları Antik Yunan uygarlığında söz kavramına karşılık gelen sözcükleri karşılamak için kullanılmıştır. Felsefe tarihinin başlangıcı için yapılan tanımlamalarda ise mitos kavramının yerine logos kavramının tercih edilmesi iki kavram arasında bir farklılığı ortaya koymak için yapılmaktadır. Bu ayrımın nedeni ise mitos’un daha çok dinsel içerikle anılması logos’un ise içerisinde bir tür akılsallık barındırması şeklindeki yorumlarda kendini göstermektedir. Ancak söz konusu ayrımın ilk doğa filozofu/ilk felsefeci olarak nitelendirilen Thales için geçerli olup olmadığı geçmişte olduğu gibi günümüzde de halen tartışılmaktadır. (...) Felsefe tarihi yazımlarında ilk sıraya konan Thales’in anılan kavramları gerçekten farklı şekilde yorumlayıp yorumlamadığı bizce de tartışmaya açık bir husustur. Bu açıdan bakıldığında Thales, söz konusu kavramları iki farklı problemler alanı olarak mı görmüştür? Onun düşüncelerinde kendinden önceki mitolojik mirasın izleri bulunabilir mi? O, katışıksız bir rasyonel midir, yoksa henüz felsefenin yeni filizlendiği bir toplumda bir ara basamağı mı temsil etmektedir? Bu makalenin içerisinde tartışacağımız bu sorular, felsefe tarihinin başlangıcına ilişkin kavramsal arka planın ne olduğu hakkında bize katkı sağlayacaktır. (shrink)

Normative economics and a hermeneutic approach to interpretation of legal norms are only compatible if - and this is the exception - such legal norms have the goal of accomplishing economic efficiency. But economic analysis of law as a positive approach may be used in the legal interpretation process in order to evaluate different options of norm interpretations. In fields of law where economic issues are at stake such a methodological evaluation of interpretative variants are superior to common sense analysis (...) and should be applied. But even in fields where non-economic issues play a major role an economic analysis is a helpful tool in order to get aware of the opportunity costs of economically sub-optimal solutions. Economic analysis of law thus becomes an integral part of the norm interpretation process without colliding with the autonomy of the legal decision enhancing the rationality of the endeavour. (shrink)

Along with the Strait of Malacca and the Singapore Straits, the Strait of Hormuz is arguably the most important bottleneck in international navigation because a large part of the global oil production needs to be shipped through this passage, which is only a few kilometers wide. In the context of the dispute about Iran’s nuclear program and new sanctions, Iran has threatened to close the Strait of Hormuz for international shipping, effectively cutting off many Western countries from important oil imports. (...) In this article, the legality of such action as well as the legality of the mere threat to close the Strait of Hormuz are investigated. In addition to the International Law of the Sea, general rules of international law and the international law of armed conflict are taken into consideration. Particular emphasis is put on the sovereignty of other states, which is infringed upon by such threats on the part of the Iranian leadership. First, the question has to be answered whether a passage through these waters would be transit passage through a Strait or normal passage through the coastal state’s territorial sea. The authors of the article conclude that the regime of transit passage applies qua lex specialis, as far as the part of the Strait of Hormuz, which is included in Iran’s territorial waters, is concerned. The next step is to ask the question whether preventing such a passage as well as threatening to prevent such a passage are permissible for Iran. In this context, the potential abuse of otherwise permitted traffic separation schemes is highlighted. Traffic separation schemes are of particular importance in narrow but highly frequented bodies of water, such as the Strait of Hormuz. In addition, the contemporary Iranian state practice has received some attention. One issue to be considered in more detail is the requirement that foreign warships receive authorization from the coastal state prior to entry into the territorial sea. This approach might be incompatible with the right to innocent passage under both the Law of the Sea Convention and customary international law, as there is no clear legal source, which provides for this requirement. Finally, the authors look at the question of the legality of the mere threat to close the Strait of Hormuz as opposed to actually closing the Strait. The sovereignty of other states may be affected to such an extent that such threats already amount to a violation of international law. In light of the historic precedents during the Iran-Iraq War, these threats should not be dismissed lightly. Iran would be well advised to refrain from such rhetoric. (shrink)

Güvenilirci (reliabilist) bilgi teorisi, çağdaş epistemik gerekçelendirme kuramları içerisinde, dışsalcı (externalist) kuramın bir türü olarak kendisine yer bulmaktadır. Kısaca, bir inancı gerekçelendiren şeyin o inancın oluşturulduğu sürecin güvenilirliği olduğunu öne süren bu yaklaşım, bu bilişsel süreçleri özne dışı unsurlara bağladığı içinde dışsalcı bir pozisyonda yer almaktadır. Bu bilgi teorisinin tam karşı konumunda yer alan içselci (internalist) bilgi teorisi ise, özne merkezli bir yaklaşımla, doğru inancı gerekçelendirecek yöntemin, kişinin kendi zihinsel yapısından yola çıkarak, belli kognitif süreçler sonucunda ulaşılabileceğini öne sürmektedir. Epistemik (...) gerekçelendirme kuramları içerisinde birçok tartışmada kendisine yer bulan bu iki bilgi teorisi, kendi içerisinde de birçok farklı kurama kapı aralamıştır. Burada içselci bilgi teorisinden ortaya çıkan erişim içselciliği, farkındalık içselciliği gibi kuramları ve dışsalcı bilgi teorisinden ortaya çıkan süreç güvenilirciliği, gösterge güvenilirciliği ve erdem güvenilirciliği gibi farklı türden kuramları örnek olarak verebiliriz. Öte yandan çağdaş epistemolojideki bu tartışmalar, dini epistemoloji içerisinde de kendisine yer bulmuştur. Özellikle Alvin Plantinga, kendi dini epistemolojisi içerisinde dışsalcı bir tutum sergilemiş ve son dönem çalışmaları içerisinde de güvenilirci bir anlayışla Tanrı inancının epistemik mahiyetini ortaya koymaya çalışmıştır. Bu makalede öncelikle dışsalclık ve onun bir türü olan güvenilirci bilgi anlayışını ve bu kuramlara getirilen eleştirileri ele almaya çalışacağız, daha sonra A. Plantinga’nın son dönem dini epistemolojisinin de yönünü belirleyen güvence (warrant) kavramını açıklayıp, bu kavramın bütün teist dinlere uygulanabilirliğini sorgulayacağız. (shrink)

Epistemolojik olarak bilgiye başvuran ve bilme faaliyetinde bulunan insanın, Kur’an’da önemli bir yeri vardır. Buradaki bilme faaliyetini, salt teolojik bir buyruk olarak, yani Allah’ı bilmek olarak değil, doğru bilgi ile yanlış bilgi arasında hem teorik hem de ahlaki bir farklılık olarak anlamak ve Kur’an'da insana epistemik özellikler atfedildiğini ve böylece insanın epistemik başarılarından dolayı övüldüğünü söyleyebilmek mümkündür. Bu açıdan bakıldığında herhangi bir önermeye yönelik olarak rasyonel bir tutum benimseyen, yani bilen özne ile bu faaliyette isteyerek ve istemeyerek giren kişinin durumu (...) arasında bir fark olduğu açıktır. Doğrusu bu farkın epistemik önceliği kadar, ahlaki önceliği de dikkate değerdir. Nitekim buradaki ahlaki üstünlük, doğru bilgiyi hedefleme ve ona ulaşma noktasında ortaya çıkan erdemdir. Doğru bilgiye ulaşmanın entelektüel bir erdem olduğu düşünüldüğünde, Kur’an’ın Erdem epistemolojisi üzerinden değerlendirilmesi bu noktada önemlidir. Doğrusu erdemli bir bilişsel faaliyet, Kur'an’da açık bir şekilde ana fikir olarak ortaya konulur ve buna göre cehaletten kaçınmak ve doğru bilgiye ulaşmak için erdemli bir çaba göstermek önem taşır. Kur’an’daki ifadeleri bilgeliğe ulaşmak olarak anlayacak olursak, asıl hedef; bilgi ve anlayışımızın, entelektüel ve ahlaki vicdanımızı veya takvamızı güçlendirmesi için kullanılabileceği söylenilebilir ve bu inanç, erdem epistemolojisine dayalı bir yaklaşım içerisinde şekillendirilebilir. (shrink)

Hristiyan inancı içerisinde merkezi konuma sahip olan mevzulardan birisi de, İsa’nın ölümünden üç gün sonra diriltildiğine yönelik olan inançtır. Hristiyan eskatolojisinin de dayanak noktasını oluşturan bu mevzu, dinler tarihi ya da teoloji gibi disiplinlerin içerisinde tartışıldığı gibi, çeşitli Hristiyan düşünürlerce, din felsefesi disiplini içerisinde de tartışılmıştır. Din felsefesi açısından bakıldığında, konunun merkezi konumda olması, bu mevzunun rasyonel bir zeminde tartışılıp tartışılamayacağını da beraberinde getirmektedir. Bu bağlamda, özellikle din felsefesi içerisinde birçok Hristiyan düşünür tarafından konu ele alınmış ve farklı çevrelerce de (...) mevzuya yönelik karşı itirazlar dile getirilmiştir. Bu noktada yapılan tartışmaların içeriğine baktığımızda, mucize kavramı önem taşımakla birlikte, Hristiyan düşünürlerin argüman haline getirdikleri ve bir delil olarak öne sürdükleri “Boş mezar” ve “Tanıklıklar gibi birçok farklı husususun din felsefesi açısından tartışıldığını söyleyebiliriz. Ayrıca bazı ateist düşünürlerin bu delillere yönelik itirazları olmakla birlikte, bazı Hristiyan tarihçilerinde konuya ilişkin ciddi itirazları bulunmaktadır. Biz de bu makalemizde, İsa’nın ölümünden sonra dirilişinin rasyonel bir şekilde izahının nasıl olabileceği sorusunu merkeze alıp, konuyu Hristiyan düşünürlerin bakış açısından değerlendirmeye çalıştık. Bu noktada İslam gibi farklı dinlerde ve farklı anlatılarda karşımıza çıkan Hz. İsa figürünü konumuzun dışında tuttuğumuzu ayrıca belirtelim. Çünkü bizim yazımızın konusunu oluşturan kişi Hristiyan inancındaki İsa ve bu din içerisinde önem taşıyan kutsal metinler ve bu metinlerde geçen anlatılar oldu. Bu açıdan bakıldığında yazımız içerisinde, konuya ilişkin doğrudan bir teoloji ya da dinler tarihi çerçevesinde değerlendirme yapmaktan çok, din felsefesi içerisinde bize sunulan tartışmalardan yola çıkarak eleştirilerimizi ve tahlillerimizi dile getirmeye çalıştığımızı ifade edebiliriz. (shrink)

Dini epistemoloji, teistik inançların rasyonel zeminde gerekçelendirilme yollarını arayan, çağdaş epistemolojinin bir alt dalıdır. Musa Yanık, bu kitapta günümüzdeki en güçlü yaklaşım olan reform epistemolojisinden güvenilircilik bakış açısıyla yani “daha yüksek bir olasılıkla doğru olması yönünden” İslam inancının rasyonelliğini ortaya koymakta ve uygulamalı dini epistemolojinin sağlam ve cesur bir örneğini sergilemektedir. (Prof. Dr. Hasan Yücel Başdemir) -/- Epistemoloji topyekûn insan zihnini biçimlendirme ve inanç da dahil olmak üzere bilişsel faaliyetleri yönlendirme potansiyeline sahip bir alandır. Zira Allah’ın varlığı, birliği, nübüvvet ve (...) ahiretle ilişkili meseleler “nasıl bilebilirim, neleri bilebilirim, bildiğim şeyin kesinliğinden nasıl emin olabilirim?” gibi epistemik sorulardan bağımsız olamaz. Bu nedenle konu İslam düşüncesinde felsefecilerin olduğu kadar kelâmcıların da ilgisini çekmiştir.Bu bağlamda Musa Yanık tarafından modern teoriler de dikkate alınarak yazılan bu kitabın dini epistemoloji konusunda bir farkındalık oluşturmasını umuyorum. (Doç. Dr. Mehmet Bulgen) -/- Analitik felsefe ülkemizde yeni yeni tanınmaya başlanmış olmasına rağmen özellikle İslam entelektüel tarihindeki kelâm geleneği ile etkileşime geçme potansiyeli oldukça yüksek bir gelenektir. Musa Yanık, bu çalışmasıyla günümüzün en önemli analitik din felsefecilerinden AlvinPlantinga’nın dini epistemolojisini tanıtmakta ve kelâmla irtibatını eleştirel bir zeminde kurmaya çalışmaktadır. Çalışmanın güncel tartışmaları takip etmesi kadar bu tartışmalara farklı geleneklerden bakabilme becerisi felsefenin çok-yönlü bir çerçevede nasıl yapılabileceğine dair güzel bir örnek oluşturuyor. Musa Yanık’ın bu eseri, her şeyin birbiriyle etkileşime geçmeye başladığı global dünyada felsefe yapmanın olanaklarına dair yenilikçi bir yaklaşım ortaya koyuyor. -/- (Doç. Dr. Nazif Muhtaroğlu) -/- Elinizde tuttuğunuz bu kitap, dini epistemoloji ve erdem epistemolojisi kesişiminde yer almakla birlikte, inanç ve imanın epistemik statüsünü incelemek ve bunu yaparken ise İslam inancını merkeze almaktadır. Bu haliyle Türkçe literatür açısından önemli bir boşluğu doldurmaktadır. Okuyucunun bu kitap aracılığıyla karşılaşacağı bazı sorular şunlardır: İnanç ve bilgi nedir? Kanıt olmadan inanmak ahlaken yanlış mıdır? İnançlarımızı rasyonel olarak gerekçelendirmenin yolları nelerdir? İslam inancı reform ve erdem epistemolojisi açısından güvenilir bir temele sahip midir? Fakat belki de en büyük kadim soru şudur: Tanrı’nın varlığını bilmek mümkün müdür? -/- (Taner Beyter-Öncül Analitik Felsefe Dergisi). (shrink)

“1950’li yıllarda dönemin büyük felsefecileri arasında dinsel inancı savunan bir kişi bile yoktu. 1990’lı yıllarda Yale’den UCLA’ya, Oxford’dan Heidelberg’e kadar birçok yerde insanın manevi yanını savunan ve geliştiren yüzlerce kitap yazılacak, sel olup akacaktı. Aradaki 40 yıllık süre zarfındaysa sadece ve sadece Alvin Plantinga vardı.” Kelly James Clark Tanrı’nın veya tanrıların varlığı sorusu felsefenin ezeli sorularından biri olagelmişse de Nietzsche’nin Tanrı’nın ölümünü ilan ettiği günden bu yana onu doğrularcasına yaşanan acılar, savaşlar, kötülükler bu konudaki tartışmaların sesini uzun süre bastırdı. Ama (...) özellikle yüzyılın ikinci yarısından sonra palazlanan analitik felsefede meydana gelen “metafiziğe dönüş”, dine yakınlık duyan, en azından dinle ilgilenen filozofların tekrar Yahudi-Hıristiyan ve İslam geleneklerinde anlaşıldığı şekliyle Tanrı’nın varlığına duyulan inancın gerekçelerini yeniden değerlendirmelerine, konuya yeni bir bakış ve araçlarla bakmalarına vesile oldu. Alvin Plantinga’nın bu kitabı, yayımlandığı tarihten itibaren “analitik din felsefesi” alanının da en önemli ve sarsıcı eserlerinden biri hâline geldi ve Tanrı’nın ölmediğini ilan etti. Anselmus’tan Hume’a, Kant ve pozitivistlerden John Mackie gibi modern ateologlara kadar felsefe geleneğiyle hesaplaşan Plantinga, bu abidevi çalışmasında ontolojik, kozmolojik ve teleolojik tanrı kanıtlamalarının eski ve yeni biçimlerinin çıkmazlarını, meziyetlerini ve sunduğu imkânları değerlendiriyor. Tanrı’nın varlığına duyulan inanç ile diğer insanların varlığına ve zihinlerine duyulan inanç arasındaki şaşırtıcı ve sarsıcı bağlantıyı ortaya koyuyor. (shrink)

Tarihte herhalde çok az soru Tanrı’nın varlığı sorusu kadar sık sorulmuş, çok yanıtlanmış ve verilen birbirinden farklı onca yanıta rağmen kesin bir sonuca ulaştırılamayıp tartışılmaya devam etmiştir. Yine de geçmişe dönüp baktığımızda bu soruya verilen farklı yanıtların farklı uygarlıkların inşa edilmesine, bazılarının yıkılmasına, acımasız çatışmalara ve her şeye rağmen kucaklaşmalara da vesile olduğunu görüyoruz. Tanrı var mı? Varsa onu nasıl bilebiliriz? Tanrı yoksa her şey mubah mı? İnsan aklı ilahi olanı kavrayabilir mi? Tanrı’nın varlığı ahlaklı olmanın şartı mı? Evren akıllı (...) bir tasarımcının imzasını taşıyor mu? Bu kitapta felsefeci William David Beck, bu sorulara tarihte verilen yanıtları ve bu konudaki tartışmaları ele alarak meselenin genel ve tarihsel bir tablosunu bize sunuyor. Platon, Aristoteles, Marcus Aurelius gibi Eski Yunan ve Roma düşünürlerinden Anselmus, Thomas Aquinas, Augustinus ve Yahudi-Hıristiyan geleneğine, Doğu’nun bilgelerine, İbni Rüşd, Fârâbî ve Gazzâlî gibi İslam düşünürlerinden Alvin Plantinga, Graham Oppy, Sam Harris, Richard Dawkins, Max Tegmark gibi Batılı modern ilahiyatçılara, bilim insanlarına ve Yeni Ateizm hareketine kadar uzanan bir çizgide “Tanrı var mı?” sorusuna verilen çeşitli yanıtları ve bu yanıtlara sunulan akılcı gerekçeleri ortaya koyarak soruya felsefece bir yanıt vermenin nasıl bir iş olduğunu da gösteriyor. (shrink)

Principia Logico-Metaphysica contains a foundational logical theory for metaphysics, mathematics, and the sciences. It includes a canonical development of Abstract Object Theory [AOT], a metaphysical theory that distinguishes between ordinary and abstract objects. This article reports on recent work in which AOT has been successfully represented and partly automated in the proof assistant system Isabelle/HOL. Initial experiments within this framework reveal a crucial but overlooked fact: a deeply-rooted and known paradox is reintroduced in AOT when the logic of complex terms (...) is simply adjoined to AOT’s specially formulated comprehension principle for relations. This result constitutes a new and important paradox, given how much expressive and analytic power is contributed by having the two kinds of complex terms in the system. Its discovery is the highlight of our joint project and provides strong evidence for a new kind of scientific practice in philosophy, namely, computational metaphysics. Our results were made technically possible by a suitable adaptation of Benzmüller’s metalogical approach to universal reasoning by semantically embedding theories in classical higher-order logic. This approach enables one to reuse state-of-the-art higher-order proof assistants, such as Isabelle/HOL, for mechanizing and experimentally exploring challenging logics and theories such as AOT. Our results also provide a fresh perspective on the question of whether relational type theory or functional type theory better serves as a foundation for logic and metaphysics. (shrink)