Results for 'R. Gore'

(not author) ( search as author name )
1000+ found
Order:
  1. Gaggles, Gentzen and Galois: Cut-free display calculi for algebraizable logics.R. Goré - 1998 - Logic Journal of the IGPL 6 (5):669-694.
  2. Heinrich Wansing, Displaying Modal Logic.R. Gore - 2000 - Journal of Logic Language and Information 9 (2):269-272.
  3.  3
    Tibetan medicine.Donald R. Gore - 1999 - Perspectives in Biology and Medicine 42 (2):270-279.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4. Methods for Modalities 1, volume 8 (3).C. Areces, E. Franconi, R. Goré, M. de Rijke & H. Schlingloff - unknown
     
    Export citation  
     
    Bookmark  
  5.  11
    Kur’'n Lafızlarının Aidiyetine Dair Tefsir Geleneğindeki Tartışmalar ve Bunların Kritiği.Zakir Demi̇r - 2023 - Kader 21 (3):984-1010.
    Allah’ın ilk insanı, ilk peygamber yapmak suretiyle, insanoğlu ile iletişim kurmayı ve ona hitap eden vahiyler göndermeyi amaçladığı anlaşılmaktadır. Söz gelimi Tevrât’ı İbranice, İncîl’i Süryanice ve Kur’ân’ı Arapça göndermek suretiyle insanlar tarafından anlaşılmak istemiştir. Bununla birlikte onun İbranice kelâmı, Süryanice sözünden ve Arapça kelâmı da diğer dillerdeki sözünden farklı bir tabiata sahiptir. Bu gerçeklikten hareketle İslâm düşünce-fikir tarihine bakıldığında ilim adamlarının ilâhî kelâmın mâhiyetini, tabiatını anlamak ve bunu anlamlandırmak konusunda bir çabanın içerisine girdikleri görülmektedir. Esasen Allah’ın nasıl bir kelâma sahip (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  6.  22
    Yabancı Dil Olarak Türkçe Ders Kitaplarının Kültürel İçeriğinin Üç Çevre Modeline Göre Çözümlenmesi.Meliha R. ŞİMŞEK - 2015 - Journal of Turkish Studies 10 (Volume 10 Issue 3):891-891.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  7.  5
    Bir Mûcize Örneği Olarak Hz. Peygamber’in İnsanları Dönüştürme Kabiliyeti.Osman Nuri Demi̇r - 2022 - Atebe 8:47-67.
    Kelâm âlimleri “mûcize” kavramını iki farklı şekilde tarif etmişlerdir. Bunlardan ilkinde mûcize “Peygamber olduğunu ileri süren kimsenin elinde, onun doğruluğunu kanıtlamak için meydana gelen hârikulâde olay” şeklinde tanımlanmıştır. İkinci tarife göre ise mûcize: “Peygamberlik iddia eden bir zâtın elinde, inkârcılara meydan okuduğu bir sırada, kendisini doğrular mâhiyette, başkalarının benzerini yapamadıkları, Allah tarafından yaratılan, olağanüstü olay”lara verilen addır. Tanımlardan da anlaşılacağı üzere “mûcize” kelimesiyle genel olarak “hissî mûcize”lere işaret edilmektedir. Zaten “mûcize” teriminin kelâmî metinlerde yer almaya başladığı IV. yy. dan itibaren (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  8.  3
    İsl'm Düşüncesinde Âyet İle Tehaddî Yaklaşımı Ve Bunun Tahlîli.Zakir Demi̇r - 2023 - Sakarya Üniversitesi İlahiyat Fakültesi Dergisi 25 (48):529-555.
    İ‘câzü’l-Kur’ân literatürüne bakıldığında ilim adamlarının i‘câzın ne anlama geldiği, tehaddînin mâhiyeti ve bu olgunun ne şekilde tahakkuk ettiği konusunda birtakım çözüm yolları bulmaya çalıştıkları; bu konuyu nazm, fesâhat ve belâgatla ilişkilendirerek çok sayıda teori ortaya koydukları görülmektedir. Bu bağlamda Kur’ân metninin ne kadarının mu‘ciz olduğu, muârızlarına müteveccih tehaddînin asgari miktarı meselesinde serdedilen görüşlerden biri, Kur’ân’ın iç düzenin en küçük birimi olan âyetle tehaddîdir. İslâm düşünce tarihinin klasik ve modern dönemlerinde savunucusu bulunan bu yaklaşıma göre Kur’ân’ın en küçük birimi olan âyet (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  9.  17
    Dershanelerin Kapatılması Sürecinin Yönetici, Öğretmen Ve Öğrenci Görüşlerine Göre Değerlendirilmesi.İ. Bakır Arabaci - 2014 - Journal of Turkish Studies 9 (Volume 9 Issue 11):31-31.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  10.  14
    M'turîdî’ye Göre Kur’'n-ı Kerim’de İşk'l Sebepleri.Alican Dağdeviren & Erkan Çakır - 2016 - Dini Araştırmalar 19 (50):33-57.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11.  13
    Covid-19 Pandemisine Verilen Tepkiler Siyasi Tutuma Göre Farklılaşıyor mu?Yıldırım Yildirim & Zafer Akbaş - 2023 - Akademik İncelemeler Dergisi 18 (2):490-516.
    Tüm dünyayı etkisi altına alan koronavirüs pandemisinin siyasi tutumlarla ilişkisini öğrenmek ve siyasetin kriz durumlarında halkın tutum ve davranışlarını yönlendirip yönlendirmediğini öğrenmek amacıyla 767 kişiyle çevrimiçi anket yapılmıştır. Yapılan nicel araştırma sonucunda, alınan önleyici tedbirlere uymanın, bu tedbirlerin yerinde oluşuna/haklılığına olan tutumun, aşı olma niyetinin ve aşının koruyuculuğuna olan inancın siyasi görüşlere göre farklılaştığı bulunmuştur. Ayrıca katılımcıların yapılan Covid-19 açıklamaları bakımından siyasi partilerine, parti temsilcilerinden daha çok güvendikleri, alınan önlem ve tedbirleri kısmen yerinde/haklı buldukları ve çok büyük çoğunluğun bu önlemlere (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  12.  18
    General English Men of Science: Their Nature and Nurture . By Francis Galton. Second edition with Introduction by Ruth Schwartz Cowan. London: Frank Cass, 1970. Pp xi + 270. £3.75. The Scientific Basis of National Progress including that of Morality . By G. Gore. Reprint. London: Frank Cass, 1970. Pp. 221. £3.50. [REVIEW]R. G. A. Dolby - 1973 - British Journal for the History of Science 6 (3):315-315.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  13.  17
    American Constitutionalism and Democratic Virtue.John R. Wallach - 2002 - Ratio Juris 15 (3):219-241.
    Neither the historical tradition of American constitutionalism nor those who have theorized about it have promoted political or theoretical designs hospitable to the valorization or promotion of democratic virtue. This article illustrates this point by canvassing practical interpretations of the American constitution, from the document of 1787–1791 to Bush v. Gore, and theoretical interpretations from Madison to Rawls, Dworkin, Ackerman, Elster, Holmes, and other contemporary theorists of liberal constitutionalism and natural law. Exposing these roadblocks to the theory and practice (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14.  3
    F'r'bî’ye Göre İnsanın Akletmesi ve Faal Akıl.Ender Büyüközkara - forthcoming - Beytulhikme An International Journal of Philosophy.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15.  11
    R.1286-1288/M.1870-1872 Tarihli Ceyb-i Hüm'yûn Defterleri'ne Göre Sultan Abdülaziz'in Özel Hazinesi'.Ayhan DOĞAN - 2014 - Journal of Turkish Studies 9 (Volume 9 Issue 7):289-289.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  16.  10
    Arşiv Belgelerine Göre 31 Mart Bakü Soykırımı.Beşir Mustafayev - 2014 - Journal of Turkish Studies 9 (Volume 9 Issue 4):797-797.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  17.  6
    İslam Hukukuna Göre Seyahat (Turizm) Özgürlüğünün Anlamlandırılması Bağlamında Seyahat Kavramının Kur’'n-ı Kerim Perspektifinden Analizi.Mehmet Hicabi Seçki̇ner - forthcoming - Sakarya Üniversitesi İlahiyat Fakültesi Dergisi.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  18.  10
    Birden Bir Çıkar Ne Demek? İbn Sîn', Behmeny'r ve Fahreddin er-R'zî’ye Göre Müb'has't’taki Bir Kuralı.Davlat Dadikhuda - 2020 - Nazariyat, Journal for the History of Islamic Philosophy and Sciences 6 (2):67-94.
    İbn Sînâ, sonrakilerden bazılarının kâide-i vâhid veya “bir kuralı” (BK) olarak adlandırdığı şeyin sıkı bir savunucusudur. BK’nın ana fikri şunu ifade etmektedir: Birden, doğrudan, yalnızca bir ortaya çıkar. İbn Sînâcı bu kuralın ikincil literatürdeki tartışması genellikle onun hususi bir uygulama alanı yani, sudûr meselesiyle sınırlıdır. Sonuç itibarıyla, BK’nın ne anlama geldiği ve İbn Sînâ’nın onu neden savunduğu kesin değildir. Bu yazıda ben bu meseleyi iki şey yaparak çözmeye çalışmaktayım: Bunlardan biri tasavvur, diğeri ise tasdik açısındandır. İlkin, sadece BK’nın terimlerinin, yani (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  19.  4
    La dignità umana: dal concetto di Pico della Mirandola alla sua oggettivazione storica: letture da G. Pico della Mirandola, S. Kierkegaard, R. Steiner, M. Buber, P. Teilhard de Chardin, H. Jonas, B. F. Skinner, N. Luhmann, J. Habermas, H. Atlan, M. Delmas-Marty, Al Gore.Paolo Calegari - 2018 - Milano: Mimesis.
    Direct download  
     
    Export citation  
     
    Bookmark  
  20.  14
    Sınıf Öğretmeni Adaylarının Görüşlerine Göre Değerlerin Ulusal Ve Evrensel Olarak Sınıflandırılması.Başak Kasa - 2015 - Journal of Turkish Studies 10 (Volume 10 Issue 3):581-581.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  21.  9
    Molla Halil’e Göre Sevap ve İk'b.Serkan Teki̇n - 2020 - Tasavvur - Tekirdag Theology Journal 6 (1):521-556.
    Molla Halil’e göre insanların bu dünyada yaptıkları iyiliklere karşılık Yüce Allah onları ahirette lütfuyla nimetlendirecek ve Cennetine koyacaktır. Bu, Allah’ın insanlara bir va‘didir. Allah va‘dinden asla dönmez. Çünkü Allah’ın va‘dinden dönmesi, O’nun hakkında bir eksiklik sayılır. Ancak bu durum O’nun için vucûbiyet ifade etmez. Vucubiyet kavramı çeşitli anlamlarda kullanıldığı için anlam kargaşasına yol açabilir. Buna sebebiyet vermemek için kelamda özellikle de bu makalede “zorunluluk” anlamına kullanılacak olup bazen gereklilik anlamı da ihtiva edebilir. Allah, kötülük yapanları ise adaletiyle cezalandıracaktır. Bu da (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  22.  11
    1845 Tarihli Temettuat Defterine Göre Ağsaklar/Aksaklar Köyü.Erdinç Pehli̇van - 2023 - Akademik İncelemeler Dergisi 18 (1):141-156.
    On dokuzuncu yüzyıldaki Osmanlı Devleti’nin sosyal ve ekonomik tarihini daha iyi anlamamızı sağlayan önemli kaynaklardan birisi de temettuat defterleridir. Bu defterler, kişilerin mal varlığını, gelir ve vergi miktarlarının sayısını ayrıntılı olarak gösteren sayım kayıtlarıdır. Bu çalışmada günümüzde Kütahya’nın Gediz ilçesine bağlı köylerinden biri olan Ağsaklar/Aksaklar köyünün 1845 yılındaki tarımsal arazi kullanımı ve verimliliği ele alınmıştır. Çalışma, Ağsaklar köyüne ait Hicri 29 Zi’l-hicce 1261 (Miladî 29 Aralık 1845) tarihli 07922 numaralı temettuat defteri esas alınarak yapılmıştır. Defterdeki tüm veriler öncelikle transkribe edilmiştir (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  23.  17
    Öğreti̇Ci̇ Görüşleri̇Ne Göre 4-6 Yaş Kur’an Kursu Bi̇Nalarinin Fi̇Zi̇Ki̇ İMk'nlar Açisindan Eği̇Ti̇Me Elveri̇Şli̇Li̇K Durumu ( Gazi̇Antep İLi̇ Örneği̇). [REVIEW]Serkan Türkmen & Nazım Bayrakdar - 2020 - Dini Araştırmalar 23:101-126.
    4-6 yaş grubu çocukların gelişimsel özellikleri, onların yaparak/yaşayarak öğrenmelerini gerekli kıldığından bu dönemde somut yaşantılar oldukça önemlidir. Okul öncesinde çocuklar için; sevecekleri, kendilerini iyi ve güvende hissedecekleri eğitim ortamları hazırlanmalıdır. Bu sebeple 4-6 yaş grubu Kur’an kursu binalarının çocukların gelişim özelliklerine, ilgi ve ihtiyaçlarına uygun olarak tasarlanmış ve düzenlenmiş olması gerekmektedir. Araştırmanın amacı, 4-6 yaş grubu Kur’an kurslarının sahip olduğu fiziki imkânların eğitime elverişlilik durumunun belirlenmesidir. Çalışmada nicel veri toplama araçlarından anket tekniği kullanılmıştır. Araştırmanın evrenini, Gaziantep il merkezi ve ilçelerinde (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  24. Сутність та значення рейтингової оцінки страхових компаній.С.О Смирнов, R. Pavlov & В.М Горьова - 2010 - Економічний Простір: Зб. Наук. Праць 36:100-108.
    Розкрито сутність поняття «рейтинг». Доведено значущість рейтингової оцінки для суб’єктів фінансового ринку, зокрема для страхових компаній, потенційних страхувальників, інвесторів та кредиторів.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  25.  15
    Batı’da Bir Yunus Emre Yorumcusu: Schimmel’e Göre Sûfî Düşüncenin Kurucusu Olarak Yunus Emre ve Anadolu’da Tasavvuf Kültürü.Abdullah KUŞLU - 2021 - Tasavvur - Tekirdag Theology Journal 7 (2):1521-1545.
    Annemarie Schimmel, dünya dinleri, felsefe, biyografi, edebiyat gibi ko-nularda kaleme aldığı eserlerle Doğu’da ve Batı’da isminden söz ettiren velûd bir akademisyendir. Diğer yandan onun özellikle tasavvuf alanında ortaya koyduğu çalışmalar, tasavvuf düşünce geleneğinin Batılı araştırmacılar tarafından objektif bir perspektiften okunmasına ve yeniden ilgi odağı olarak değerlendirilmesine sebep olmuştur. Tasavvuf tarihi olarak değerlendirebileceğimiz Mystische Dimension des Islam, Mevlânâ Celâleddin Rûmî’nin tasavvufî görüşlerini irdelediği Ich bin Wind du bist Feuer, tasavvufa giriş niteliğinde olan Sufismus: Eine Einführung in die islamische Mystik ve Hallac-ı (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  26.  10
    er-Ris'le’de Ş'fiî’ye Göre Kur’'n’ın Arabîliği.Hülya Afacan & Osman Güman - 2022 - Sakarya Üniversitesi İlahiyat Fakültesi Dergisi 24 (46):485-503.
    İslâm’ın ilk dönemlerinden itibaren Kur’ân’da Arapça dışında bir kelimenin bulunup bulunma-dığı hususunda farklı görüşler ileri sürülmüştür. Bu görüşler çerçevesinde mesele, Kur’ân’da yabancı dillerden bazı kelimelerin bulunup bulunmadığı merkezinde tartışıldığı gibi, bazı kelimelerin köken itibarıyla Arapça olmakla beraber şer’î terminolojinin ortaya çıkışı sonra-sında Arapların o zamana kadar bilmediği yeni anlamlar kazanmış olmasının Kur’ân’ın arabî olmasına engel teşkil edip etmeyeceği boyutuyla da tartışılmıştır. Şâfiî, Kur’ân’ın arabîliği görüşünün ilk ve en tavizsiz savunucularından biridir. Kur’ân, muhatapları Arap olduğu için Arapça nazil olmuştur. Her dil, (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  27.  17
    Fıkıh Usûlündeki Nesh Teorisine Göre Kur’an’da Geçen Haber İfadelerinin Neshi.Recep Çeti̇ntaş - 2020 - Tasavvur - Tekirdag Theology Journal 6 (2):731-764.
    İslâm’ın ilk dönemlerinden başlayarak âlimler neshin mahiyeti, delilleri ve Kur’an’da geçen emir ve nehiy ifadeleri yanında haber ifadelerinin neshin konusu olup olmayacağı meseleleri üzerinde yoğunlaşarak bir nesh teorisi meydana getirmişlerdir. Bu bağlamda şer’î hüküm içeren haber ifadelerinin emir ve nehiy manasında oldukları için metninin daha sonra gelen şer’î bir delille nesh edilmesi caiz görülmüştür. Haberin ifade ettiği şeye gelince; Allah’ın sıfatları ve kıyametin kopuşu gibi değişmesi mümkün olmayan şeylerden ise, yalana yol açacağı için, bunun nesh edilmesi caiz görülmemiştir. Bu iki (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  28.  5
    Kent Kültürü ve Kentlilik Bilinci: Erzincan Binali Yıldırım Üniversitesi Örneği.Esat İlter - 2024 - Akademik İncelemeler Dergisi 19 (1):222-243.
    Bu çalışmanın amacı, kent kültürü ve kentlilik bilincinin gelişmesi noktasında kentin merkezi ve yerel yönetimlerine ait kurum ve kuruluşlarının, Erzincan Binali Yıldırım Üniversitesi akademik personelini ne derecede dikkate aldıklarını belirlemek, akademik personelin kent kültürü ve kentlilik bilincinin gelişimi konusundaki algı düzeylerini ortaya çıkarmak ve araştırma bulgularına dayalı olarak önerilerde bulunmaktır. Araştırmanın çalışma evrenini, Erzincan Binali Yıldırım Üniversitesi’nde görev yapan 1.086 akademik personel oluşturmaktadır. Çalışmaya Erzincan ilçelerinde bulunan yüksekokul ve meslek yüksekokulları zaman darlığı ve ulaşım zorluklarından dolayı dahil edilmemiştir. Gerek yerleşkede (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  29. Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents.Tim Lyon, Alwen Tiu, Rajeev Gore & Ranald Clouston - 2020 - In Maribel Fernandez & Anca Muscholl (eds.), 28th EACSL Annual Conference on Computer Science Logic (CSL 2020). Dagstuhl, Germany: pp. 1-16.
    We provide a direct method for proving Craig interpolation for a range of modal and intuitionistic logics, including those containing a "converse" modality. We demonstrate this method for classical tense logic, its extensions with path axioms, and for bi-intuitionistic logic. These logics do not have straightforward formalisations in the traditional Gentzen-style sequent calculus, but have all been shown to have cut-free nested sequent calculi. The proof of the interpolation theorem uses these calculi and is purely syntactic, without resorting to embeddings, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  30.  11
    Screening history.Gore Vidal - 1992 - Cambridge, Mass.: Harvard University Press.
    Vidal intertwines fond recollections of films savored in the movie palaces of his Washington, D.C., boyhood with strands of autobiography and trenchant observations about American politics. Never before has the renowned author revealed so much about his own life or written with such immediacy about the forces shaping America. 26 halftones.
    Direct download  
     
    Export citation  
     
    Bookmark  
  31.  13
    D. G. Leahy and the thinking now occurring.Lissa McCullough & Elliot R. Wolfson (eds.) - 2021 - Albany [New York]: State University of New York Press.
    This book offers a critical introduction to the work of American philosopher D. G. Leahy (1937-2014). Leahy's fundamental thinking can be characterized as an absolute creativity in which all creating is 'live' -- a happening occurring now that manifests a supersaturated polyontological actuality that is essentially created by the logic that characterizes it. Leahy leaves behind the categorial presuppositions of modern thought, eclipsing both Cartesian and Hegelian subjectivities and introducing instead an essentially new form of thinking founded in a nondual (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  32. Bimodal Logics for Reasoning About Continuous Dynamics.Jen M. Davoren & Rajeev P. Goré - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 91-111.
    No categories
     
    Export citation  
     
    Bookmark   3 citations  
  33.  11
    İslam Borçlar Hukukunda İsticr'r Akdi ve Mezheplerin Konuyla İlgili Mülahazaları.Hüseyin Okur - 2019 - Tasavvur - Tekirdag Theology Journal 5 (2):1251-1271.
    İnsanların günlük hayatlarında en çok kullandıkları muamelelerden biri olan alış veriş, toplumların örflerine göre çeşitlilik göstermiştir. Bu sebeple klasik füru fıkıh eserlerinde akitlerin çok bilinenlerine yer verilmiş, diğerleri için de genel şartları sağlaması kaydıyla caiz olabileceği kanaatine varılmıştır. Bununla beraber mezheplerin nasları anlama yöntemleri ve örfi uygulamaları değerlendirme biçimleri, akitlerin sıhhatini değerlendirmelerinde de ektili olmuştur. Mahiyeti itibariyle değişik formları bulunmasıyla birlikte kısaca, ürünün peyderpey alınıp ücretin ürünün tüketilmesinden sonra ödenmesinin taahhüt edilmesi şeklinde tarif edilen isticrâr akdi, İslam hukuk ekolleri tarafından (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  34.  12
    Kādî Abdülcebb'r’ın Düşüncesinde Dillerin Ortaya Çıkışı ve Modern Dilbilim.Hüseyin Elmhemit - 2022 - Atebe 7:99-113.
    İslam düşüncesinde dillerin ortaya çıkışı konusu, dilbilimsel çalışma ve tartışmaların büyük bir bölümünü oluşturmuştur. Bu tartışmalarda en büyük pay usul ve kelâm âlimlerine aittir. Müslümanlar, dillerin ortaya çıkmasıyla ilgili iki teori öne sürmüşlerdir: Birincisi, tevkîf teorisidir. Buna göre dil ilahi bir mevhibe olup insana Allah tarafından öğretilmiştir. Çok kadim olan bu teori Yunan filozofları tarafından da savunulmuştur. İkinci teori ise tevfîk teorisidir. Bu teorinin sahipleri dilin toplumsal uzlaşı ile doğduğunu öngörürler. Bu teoriyi savunanların çoğu, delillerini aklî temele dayandıran Muʻtezile’ye mensup (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  35.  21
    Display calculi for logics with relative accessibility relations.Stéphane Demri & Rajeev Goré - 2000 - Journal of Logic, Language and Information 9 (2):213-236.
    We define cut-free display calculi for knowledge logics wherean indiscernibility relation is associated to each set of agents, andwhere agents decide the membership of objects using thisindiscernibility relation. To do so, we first translate the knowledgelogics into polymodal logics axiomatised by primitive axioms and thenuse Kracht's results on properly displayable logics to define thedisplay calculi. Apart from these technical results, we argue thatDisplay Logic is a natural framework to define cut-free calculi for manyother logics with relative accessibility relations.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  36.  85
    The necessity of pragmatism: John Dewey's conception of philosophy.R. W. Sleeper - 1986 - Urbana: University of Illinois.
    In this first paperback edition, a new introduction by Tom Burke establishes the ongoing importance of Sleeper's analysis of the integrity of Dewey's work and ...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   36 citations  
  37. Two senses of the word universal.R. I. Aaron - 1939 - Mind 48 (190):168-185.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  38. Reasonableness, Intellectual Modesty, and Reciprocity in Political Justification.R. J. Leland & Han van Wietmarschen - 2012 - Ethics 122 (4):721-747.
    Political liberals ask citizens not to appeal to certain considerations, including religious and philosophical convictions, in political deliberation. We argue that political liberals must include a demanding requirement of intellectual modesty in their ideal of citizenship in order to motivate this deliberative restraint. The requirement calls on each citizen to believe that the best reasoners disagree about the considerations that she is barred from appealing to. Along the way, we clarify how requirements of intellectual modesty relate to moral reasons for (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   22 citations  
  39.  13
    Logic, Deductive and Inductive. [REVIEW]Willard C. Gore - 1905 - Journal of Philosophy, Psychology and Scientific Methods 2 (22):608-612.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  40.  10
    Humanism: Philosophical Essays. [REVIEW]Willard C. Gore - 1914 - Journal of Philosophy, Psychology and Scientific Methods 11 (5):137-139.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  41.  68
    Valentini’s cut-elimination for provability logic resolved.Rajeev Goré & Revantha Ramanayake - 2012 - Review of Symbolic Logic 5 (2):212-238.
    In 1983, Valentini presented a syntactic proof of cut elimination for a sequent calculus GLSV for the provability logic GL where we have added the subscript V for “Valentini”. The sequents in GLSV were built from sets, as opposed to multisets, thus avoiding an explicit contraction rule. From a syntactic point of view, it is more satisfying and formal to explicitly identify the applications of the contraction rule that are ‘hidden’ in these set based proofs of cut elimination. There is (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  42.  69
    Free-variable tableaux for propositional modal logics.Bernhard Beckert & Rajeev GorÉ - 2001 - Studia Logica 69 (1):59-96.
    Free-variable semantic tableaux are a well-established technique for first-order theorem proving where free variables act as a meta-linguistic device for tracking the eigenvariables used during proof search. We present the theoretical foundations to extend this technique to propositional modal logics, including non-trivial rigorous proofs of soundness and completeness, and also present various techniques that improve the efficiency of the basic naive method for such tableaux.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  43.  15
    Book Review:Criticisms of Life: Studies in Faith, Hope and Despair. Horace J. Bridges. [REVIEW]W. C. Gore - 1915 - International Journal of Ethics 26 (1):125-.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  44. A cut-free sequent calculus for bi-intuitionistic logic.Rajeev Gore - manuscript
  45.  17
    Dwelling in the Anthropocene: Notes from Lake Superior.Joshua Trey Barnett & David Charles Gore - 2020 - Ethics and the Environment 25 (1):19.
    Abstract:Dwelling near Lake Superior in the Anthropocene, we uncover a greater intimacy and acquaintance with our earthly responsibilities. Thoughts wash over us like waves as our thinking ebbs and flows between the fact that we must learn to dwell here while also coming to terms with the planetary implications of our very being. That ebb and flow is presented here in a series of waves, which can be read in or out of order, in an orderly or disorderly fashion. These (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  46.  20
    Verses by Statius ( Silvae ii. 7) to Commemorate Lucan's Birthday, Addressed to his Widow, Polla.C. Gore Chambers - 1907 - The Classical Review 21 (03):92-94.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  47.  91
    Moral language.Mary Gore Forrester - 1982 - Madison, Wis.: University of Wisconsin Press.
    And the Light Shineth in Darkness Stephen: the refusal In Ulysses the character of Stephen Dedalus is free of the institutional attachments confronted in ...
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  48. A tableau calculus with automaton-labelled formulae for regular grammar logics.Rajeev Gore - unknown
    We present a sound and complete tableau calculus for the class of regular grammar logics. Our tableau rules use a special feature called automaton-labelled formulae, which are similar to formulae of automaton propositional dynamic logic. Our calculus is cut-free and has the analytic superformula property so it gives a decision procedure. We show that the known EXPTIME upper bound for regular grammar logics can be obtained using our tableau calculus. We also give an effective Craig interpolation lemma for regular grammar (...)
     
    Export citation  
     
    Bookmark   4 citations  
  49.  88
    The common sense view of sense-perception.R. I. Aaron - 1958 - Proceedings of the Aristotelian Society 58:1-14.
  50.  40
    A catalogue of Berkeley's library.R. I. Aaron - 1932 - Mind 41 (164):465-475.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000