We develop intuitionistic public announcement logic over intuitionistic \({\textbf{K}}\), \({{\textbf{K}}}{{\textbf{T}}}\), \({{\textbf{K}}}{{\textbf{4}}}\), and \({{\textbf{S}}}{{\textbf{4}}}\) with distributed knowledge. We reveal that a recursion axiom for the distributed knowledge is _not_ valid for a frame class discussed in [ 12 ] but valid for the restricted frame class introduced in [ 20, 26 ]. The semantic completeness of the static logics for this restricted frame class is established via the concept of pseudo-model.

Intuitionistic epistemic logic by Artemov and Protopopescu (Rev Symb Log 9:266–298, 2016) accepts the axiom “if A, then A is known” (written $$A \supset K A$$ ) in terms of the Brouwer–Heyting–Kolmogorov interpretation. There are two variants of intuitionistic epistemic logic: one with the axiom “ $$KA \supset \lnot \lnot A$$ ” and one without it. The former is called $$\textbf{IEL}$$, and the latter is called $$\textbf{IEL}^{-}$$. The aim of this paper is to study first-order expansions (with equality and function (...) symbols) of these two intuitionistic epistemic logics. We define Hilbert systems with additional axioms called geometric axioms and sequent calculi with the corresponding rules to geometric axioms and prove that they are sound and complete for the intended semantics. We also prove the cut-elimination theorems for both sequent calculi. As a consequence, the disjunction property and existence property are established for the sequent calculi without geometric implications. Finally, we establish that our sequent calculi can also be formulated with admissible structural rules (i.e., in terms of a G3-style sequent calculus). (shrink)

We propose a new information sharing system, named ``BisNet'', which automatically gathers information about the bookmarks stored in users' web browsers and helps the users exchange URIs of possibly interesting web pages with others who have similar interest with them. Being different from other typical agent services that gather and provide information according to pre-registered user profiles, BisNet is expected to share more relevant information because of its use of web browser bookmarks that are actively selected and ordered by many (...) humans. To enhance the relevance of information being shared, we developed a novel algorithm for directory evaluation. This algorithm only looks at the local referential structure between bookmark directories and URIs and calculates for each directory the ``order index'' that represents how well its content URIs are put in order with a focus on specific areas of interest. Then each directory receives new URIs from other related directories with large order indexes. The repetition of such URI exchanges makes the whole directory-URI networks dynamically form directory groups according to the commonness of the URIs they refer to. Our method is unique in that it pays no attention to the actual contents of web pages, and thus is much simpler and faster than other methods based on the result of content analysis. We carried out a field trial that involved 45 people who used a prototype version of BisNet clients. The result indicated that the relevance of shared URIs positively correlated with the ``order index'' of surrounding related directories, demonstrating the effectiveness of the method we proposed. (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)

“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)

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)

Studies of epistemic communities and collaborative research in the social sciences have deepened the understanding of how science works, and more specifically how the social dimensions of scientific practice both enable and impede social scientists in realizing their epistemic goals. Two types of studies of epistemic communities are distinguished: general theories of epistemic communities aim to construct accounts of theoretical change applicable to all social scientific specialties, whereas historical studies emphasize the contingencies that affect specific social scientific disciplines, subfields, or (...) institutions. Although collaborative research plays a less pronounced role in the social sciences than in the natural sciences, collaboration has enabled social scientists to investigate topics that would otherwise be difficult to investigate. (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)

One of the problems we face in many-valued logic is the difficulty of capturing the intuitive meaning of the connectives introduced through truth tables. At the same time, however, some logics have nice ways to capture the intended meaning of connectives easily, such as four-valued logic studied by Belnap and Dunn. Inspired by Dunn’s discovery, we first describe a mechanical procedure, in expansions of Belnap-Dunn logic, to obtain truth conditions in terms of the behavior of the Truth and the False, (...) which gives us intuitive readings of connectives, out of truth tables. Then, we revisit the notion of functional completeness, which is one of the key notions in many-valued logic, in view of Dunn’s idea. More concretely, we introduce a generalized notion of functional completeness which naturally arises in the spirit of Dunn’s idea, and prove some fundamental results corresponding to the classical results proved by Post and Słupecki. (shrink)

The article examines Thomas Kuhn's work in the history of science with special attention to its relevance to subsequent developments in social epistemology. The article begins with a discussion of Kuhn's historical work, and the so-called historical turn in philosophy of science. It then examines Kuhn's views on textbook science, followed by an analysis of Kuhn's views on the relationship between the history of science and the philosophy of science. Then it discusses Kuhn's contributions to our understanding of the social (...) dimensions of scientific inquiry. Finally, it discusses his influence on the social epistemology of science and the sociology of science. (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)

The purpose of this paper is to argue that the hybrid formalism fits naturally in the context of David Lewis’s counterfactual logic and that its introduction into this framework is desirable. This hybridization enables us to regard the inference “The pig is Mary; Mary is pregnant; therefore the pig is pregnant” as a process of updating local information (which depends on the given situation) by using global information (independent of the situation). Our hybridization also has the following technical advantages: (i) (...) it preserves the completeness and decidability of Lewis’s logic; (ii) it allows us to characterize the Limit Assumption as a proof-rule with some side-conditions; and (iii) it enables us to establish a general Kripke completeness result by using the proof-rule corresponding to the Limit Assumption. Keywords Counterfactual logic - David Lewis - Contextually definite description - Hybrid logic - Arthur Prior - The limit assumption - Strong completeness - Decidability - Bisimulation - Pure completeness. (shrink)

This paper studies a combined system of intuitionistic and classical propositional logic from proof-theoretic viewpoints. Based on the semantic treatment of Humberstone (J Philos Log 8:171–196, 1979) and del Cerro and Herzig (Frontiers of combining systems: FroCoS, Springer, 1996), a sequent calculus $$\textsf{G}(\textbf{C}+\textbf{J})$$ is proposed. An approximate idea of obtaining $$\textsf{G}(\textbf{C}+\textbf{J})$$ is adding rules for classical implication on top of the intuitionistic multi-succedent sequent calculus by Maehara (Nagoya Math J 7:45–64, 1954). However, in the semantic treatment, some formulas do not (...) satisfy heredity, which leads to the necessity of a restriction on the right rule for intuitionistic implication to keep the soundness of the calculus. The calculus $$\textsf{G}(\textbf{C}+\textbf{J})$$ enjoys cut elimination and Craig interpolation, whose detailed proofs are described in this paper. Cut elimination enables us to show the decidability of this combination both directly and syntactically. This paper also employs a canonical model argument to establish the strong completeness of Hilbert system $$\mathbf {C+J}$$ proposed by del Cerro and Herzig (Frontiers of combining systems: FroCoS, Springer, 1996). (shrink)

Alvin Plantinga, analitik felsefe düşüncesi içerisinde yetişmiş ve bu gelenek içinde teistik din felsefesinin oluşumuna katkıda bulunmuş bir filozoftur. Ayrıca teizmin savunusu için yaptığı çalışmalarla, çeşitli üniversitelerden aldığı onur ödülleri ve 2017 yılında kazandığı Templeton Prize ödülüyle, haklı bir üne kavuşmuş bir şahsiyettir. Bu çalışmayı yapmamızdaki en önemli amaç, Plantinga’nın dini epistemoloji üzerine yaptığı çalışmaları analiz edip bu düşüncelerinin ardalanına dair bir tespitte bulunmaktır. Bu çalışmada yararlandığımız öncelikli kaynaklar, Plantinga’nın Nicholas Wolterstorff ile birlikte kaleme aldığı “Faith and Rationality” adlı eser (...) ile birlikte son dönem epistemik fikirlerinin çerçevesini belirleyen üç ciltlik “Warrant and Proper Function”, “Warrant: The Current Debate”, “Warranted: Christian Belief” isimli eserler olmuştur. Plantinga’nın ilk dönem epistemoloji çalışmalarının gayesini bir tür olumsuzlama diyebileceğimiz klasik temelciliğin ve evidentializmin eleştirisi oluştururken, ikinci döneminde bu eleştirilerden yola çıkarak Tanrı inancının haklı bir temelde ve güvenceye sahip olduğunu gösterme amacına yönelmiştir. Plantinga’nın teolojik fikirlerini oluşturan Kalvinci ekol, onun dini epistemolojisinin de özünü oluşturmaktadır. Plantinga’nın dini epistemolojisini iki boyutlu olarak değerlendirdiğimizde, içe dönük olarak Hristiyan inancıyla ilgilense de çalışmalarının dışsal yönünü daha genel olarak teizmin Tanrı’sı ve onun rasyonelliği oluşturmaktadır. Açıkçası Plantinga’nın epistemolojik külliyatı bir tür kavram zenginliğini de beraberinde getirmektedir. Çalışmamız içerisinde ele aldığımız kadarıyla uygun işlevsellik, tasarım planı, güvence (warrant) gibi kavramlar onun Tanrı inancının epistemik mahiyetini ortaya koymak için ne derece kararlı olduğunu göstermektedir. Netice itibariyle Tanrı inancının ve onun bilgisinin rasyonel olabileceğini ifade eden Plantinga, her ne kadar Hristiyan inancının belli bir koluna mensup olsa da diğer mezhepleri dışlamaz. Ayrıca Plantinga, birçok çalışmasında belirttiği üzere projesinin Yahudilik, İslam gibi diğer teistik dinlere yönelik olduğunu da belirtmektedir. (shrink)

Sandrine Sanos's biography of Simone de Beauvoir situates Beauvoir's life and works in historical context, charting how she was enmeshed in most 20h century events and developments from WW2, to Decolonization, the Cold War, Socialist Politics, Feminismâe"as well as topics and ideas of contemporary relevance. Building on recent scholarship, this biography focuses especially on the colonial, transnational, and postcolonial influences that shaped Beauvoir and emphasizes her paradoxical and complicated relationship to politics. Written in accessible and lively prose, the book is (...) divided in 7 chapters and includes lesser-known photos of Beauvoir, as well as primary sources of both historical and contemporary interest. (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)

We propose an AI-assisted design concept exploration tool, the “Character Space Construction”. Concept designers explore and articulate the target product aesthetics and semantics in language, which is expressed using “Design Concept Phrases”, that is, compound adjective phrases, and contrasting terms that convey what are not their target design concepts. Designers often utilize this dichotomy technique to communicate the nature of their aesthetic and semantic design concepts with stakeholders, especially in an early design development phase. The CSC assists this designers' cognitive (...) activity by constructing a “Character Space”, which is a semantic quadrant system, in a structured manner. A CS created by designers with the assistance of the CSC enables them to discern and explain their design concepts in contrast with opposing terms. These terms in a CS are retrieved and combined in the CSC by using a knowledge graph. The CSC presents terms and phrases as lists of candidates to users from which users will choose in order to define the target design concept, which is then visualized in a CS. The participants in our experiment, who were in the “arts and design” profession, were given two conditions under which to create DCPs and explain them. One group created and explained the DCPs with the assistance of the proposed CSC, and the other did the same task without this assistance, given the freedom to use any publicly available web search tools instead. The result showed that the group assisted by the CSC indicated their tasks were supported significantly better, especially in exploration, as measured by the Creativity Support Index. (shrink)

Over the last decades, many scholars, feminist and others, have argued that critique must be reframed in different and more ‘productive’ ways because its ‘conventional’ formulation and practice have outlived its usefulness as a conceptual tool. Instead, they have called for affirmation or affirmative critique and a more generative mode of critical engagement in the search for new imaginaries, transformative potentialities and other futures. New feminist materialist thought’s emergence is, we argue, symptomatic of this contemporary intellectual landscape that claims to (...) move beyond critique. While sympathetic with the desire to rethink a form of critique that speaks to the (urgent) politics of the present and the remaking of political imaginaries, we argue that the theoretical gesture to move beyond critique may offer a potentially troubling remapping organised around certain kinds of repression (of the undetermined and ambivalent work of critique) and amnesia (of feminist genealogies and over different feminist projects’ conceptualisation of matter) that yield a politics without politics. (shrink)

This paper deals with two main topics: One is a semantical investigation for a bimodal language with a modal operator \blacksquare associated with the intersection of the accessibility relation R and the inequality ≠. The other is a generalization of some of the former results to general extended languages with modal operators. First, for our language L\sb{\square\blacksquare}, we prove that Segerberg's theorem (equivalence between finite frame property and finite model property) fails and establish both van Benthem-style and Goldblatt-Thomason-style characterizations. We (...) extract the notion of \blacksquare-realizer (a generalization of bulldozing) as an essence from the proofs of our results. Second, we generalize the notion of \blacksquare-realizer and prove quite general versions of these semantical characterization results. The known and previously unknown characterization results for almost all of the languages extended with modal operators already proposed will be immediate corollaries. (shrink)

正しいから証明できるのか、証明できるから正しいのか。数学にとって証明とは何か、正しさとは何なのかは数学基礎論の根本的な問題である。様相論理を軸とした、証明と真理に関わる数学基礎論の古典的な結果から最先 端の議論までを解説した。.

The present contribution shows that a Hilbert-style axiomatization for dynamic logic of relation changers is complete for the standard Kripke semantics not by a well-known rewriting technique but by the idea of an auxiliary semantics studied by van Benthem and Wang et al. A key insight of our auxiliary semantics for dynamic logic of relation changers can be described as: “relation changers are bounded morphisms.” Moreover, we demonstrate that this semantic insight can be used to provide a modular cut-free labelled (...) sequent calculus for the logic in the sense that our calculus can be regarded as a natural expansion of a labelled sequent calculus of iteration-free propositional dynamic logic. (shrink)

This study realizes belief/reliability change of a judge in a legal judgment by dynamic epistemic logic. A key feature of DEL is that possibilities in an agent’s belief can be represented by a Kripke model. This study addresses two difficulties in applying DEL to a legal case. First, since there are several methods for constructing a Kripke model, our question is how we can construct the model from a legal case. Second, since this study employs several dynamic operators, our question (...) is how we can decide which operators are to be applied for belief/reliability change of a judge. In order to solve these difficulties, we have implemented a computer system which provides two functions. First, the system can generate a Kripke model from a legal case. Second, the system provides an inconsistency solving algorithm which can automatically perform several operations in order to reduce the effort needed to decide which operators are to be applied. By our implementation, the above questions can be adequately solved. With our analysis method, six legal cases are analyzed to demonstrate our implementation. (shrink)

_Making Sense of Tantric Buddhism_ fundamentally rethinks the nature of the transgressive theories and practices of the Buddhist Tantric traditions, challenging the notion that the Tantras were "marginal" or primitive and situating them instead--both ideologically and institutionally--within larger trends in mainstream Buddhist and Indian culture. Critically surveying prior scholarship, Wedemeyer exposes the fallacies of attributing Tantric transgression to either the passions of lusty monks, primitive tribal rites, or slavish imitation of Saiva traditions. Through comparative analysis of modern historical narratives--that depict (...) Tantrism as a degenerate form of Buddhism, a primal religious undercurrent, or medieval ritualism--he likewise demonstrates these to be stock patterns in the European historical imagination. Through close analysis of primary sources, Wedemeyer reveals the lived world of Tantric Buddhism as largely continuous with the Indian religious mainstream and deploys contemporary methods of semiotic and structural analysis to make sense of its seemingly repellent and immoral injunctions. Innovative, semiological readings of the influential _Guhyasamaja Tantra_ underscore the text's overriding concern with purity, pollution, and transcendent insight--issues shared by all Indic religions--and a large-scale, quantitative study of Tantric literature shows its radical antinomianism to be a highly managed ritual observance restricted to a sacerdotal elite. These insights into Tantric scripture and ritual clarify the continuities between South Asian Tantrism and broader currents in Indian religion, illustrating how thoroughly these "radical" communities were integrated into the intellectual, institutional, and social structures of South Asian Buddhism. (shrink)