Results for 'K. Kunen'

(not author) ( search as author name )
987 found
Order:
  1.  2
    Completeness results for inequality provers.W. W. Bledsoe, K. Kunen & R. Shostak - 1985 - Artificial Intelligence 27 (3):255-288.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2.  20
    On a combinatorial property of Menas related to the partition property for measures on supercompact cardinals.Kenneth Kunen & Donald H. Pelletier - 1983 - Journal of Symbolic Logic 48 (2):475-481.
    T. K. Menas [4, pp. 225-234] introduced a combinatorial property χ (μ) of a measure μ on a supercompact cardinal κ and proved that measures with this property also have the partition property. We prove here that Menas' property is not equivalent to the partition property. We also show that if α is the least cardinal greater than κ such that P κ α bears a measure without the partition property, then α is inaccessible and Π 2 1 -indescribable.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  3.  22
    Kenneth Kunen. Implicit definability and infinitary languages. The journal of symbolic logic, vol. 33 , pp. 446–451.E. G. K. Lopez-Escobar - 1970 - Journal of Symbolic Logic 35 (2):341-342.
  4.  9
    Barwise Jon and Kunen Kenneth. Hanf numbers for fragments of L∞ω. Israel journal of mathematics, vol. 10 , pp. 306–320.E. G. K. López-Escobar - 1984 - Journal of Symbolic Logic 49 (1):315.
  5.  2
    Review: Jon Barwise, Kenneth Kunen, Hanf Numbers for Fragments of $L_{inftyomega}$. [REVIEW]E. G. K. Lopez-Escobar - 1984 - Journal of Symbolic Logic 49 (1):315-315.
  6.  3
    Review: Kenneth Kunen, Implicit Definability and Infinitary Languages. [REVIEW]E. G. K. Lopez-Escobar - 1970 - Journal of Symbolic Logic 35 (2):341-342.
  7.  5
    Review: Jon Barwise, H. J. Keisler, K. Kunen, Y. N. Moschovakis, A. S. Troelstra, Handbook of Mathematical Logic. [REVIEW]Daniel Lascar - 1984 - Journal of Symbolic Logic 49 (3):968-971.
  8.  3
    Review: Jon Barwise, H. J. Keisler, K. Kunen, Y. N. Moschovakis, A. S. Troelstra, Handbook of Mathematical Logic; J. R. Shoenfield, B.1. Axioms of Set Theory. [REVIEW]Akihiro Kanamori - 1984 - Journal of Symbolic Logic 49 (3):971-975.
  9. Review: Jon Barwise, H. J. Keisler, K. Kunen, Y. N. Moschovakis, A. S. Troelstra, Handbook of Mathematical Logic. [REVIEW]Sy D. Friedman - 1984 - Journal of Symbolic Logic 49 (3):975-980.
  10. Review: Jon Barwise, H. J. Keisler, K. Kunen, Y. N. Moschovakis, A. S. Troelstra, Handbook of Mathematical Logic. [REVIEW]W. A. Howard - 1984 - Journal of Symbolic Logic 49 (3):980-988.
  11.  17
    Telis K. Menas. A combinatorial property of pkλ. The journal of symbolic logic, vol. 41 , pp. 225–234. - Donald H. Pelletier. The partition property for certain extendible measures on supercompact cardinals. Proceedings of the American Mathematical Society, vol. 81 , pp. 607–612. - Kenneth Kunen and Donald H. Pelletier. On a combinatorial property of Menas related to the partition property for measures on supercompact cardinals. The journal of symbolic logic, vol. 48 , pp. 475–481. - Julius B. Barbanel. Supercompact cardinals, trees of normal ultrafilters, and the partition property. The journal of symbolic logic, vol. 51 , pp. 701–708. [REVIEW]Carlos Augusto Di Prisco - 1991 - Journal of Symbolic Logic 56 (3):1098.
  12.  20
    Handbook of mathematical logic, edited by Barwise Jon with the cooperation of Keisler H. J., Kunen K., Moschovakis Y. N., and Troelstra A. S., Studies in logic and the foundations of mathematics, vol. 90, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1978 , xi + 1165 pp. [REVIEW]Sy D. Friedman - 1984 - Journal of Symbolic Logic 49 (3):975-980.
  13.  46
    Handbook of mathematical logic, edited by Barwise Jon with the cooperation of Keisler H. J., Kunen K., Moschovakis Y. N., and Troelstra A. S., Studies in logic and the foundations of mathematics, vol. 90, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1978 , xi + 1165 pp.Smoryński C.. D.1. The incompleteness theorems. Pp. 821–865.Schwichtenberg Helmut. D.2. Proof theory: some applications of cut-elimination. Pp. 867–895.Statman Richard. D.3. Herbrand's theorem and Gentzen's notion of a direct proof. Pp. 897–912.Feferman Solomon. D.4. Theories of finite type related to mathematical practice. Pp. 913–971.Troelstra A. S.. D.5. Aspects of constructive mathematics. Pp. 973–1052.Fourman Michael P.. D.6. The logic of topoi. Pp. 1053–1090.Barendregt Henk P.. D.1. The type free lambda calculus. Pp. 1091–1132.Paris Jeff and Harrington Leo. D.8. A mathematical incompleteness in Peano arithmetic. Pp. 1133–1142. [REVIEW]W. A. Howard - 1984 - Journal of Symbolic Logic 49 (3):980-988.
  14.  20
    Handbook of mathematical logic, edited by Barwise Jon with the cooperation of Keisler H. J., Kunen K., Moschovakis Y. N., and Troelstra A. S., Studies in logic and the foundations of mathematics, vol. 90, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1978 , xi + 1165 pp. [REVIEW]Akihiro Kanamori - 1984 - Journal of Symbolic Logic 49 (3):971-975.
  15.  23
    Handbook of mathematical logic, edited by Barwise Jon with the cooperation of Keisler H. J., Kunen K., Moschovakis Y. N., and Troelstra A. S., Studies in logic and the foundations of mathematics, vol. 90, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1978 , xi + 1165 pp. [REVIEW]Daniel Lascar - 1984 - Journal of Symbolic Logic 49 (3):968-971.
  16.  5
    The spectrum of elementary embeddings j: V→ V.Paul Corazza - 2006 - Annals of Pure and Applied Logic 139 (1):327-399.
    In 1970, K. Kunen, working in the context of Kelley–Morse set theory, showed that the existence of a nontrivial elementary embedding j:V→V is inconsistent. In this paper, we give a finer analysis of the implications of his result for embeddings V→V relative to models of ZFC. We do this by working in the extended language , using as axioms all the usual axioms of ZFC , along with an axiom schema that asserts that j is a nontrivial elementary embedding. (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  17.  12
    Subtle cardinals and linear orderings.Harvey M. Friedman - 2000 - Annals of Pure and Applied Logic 107 (1-3):1-34.
    The subtle, almost ineffable, and ineffable cardinals were introduced in an unpublished 1971 manuscript of R. Jensen and K. Kunen. The concepts were extended to that of k-subtle, k-almost ineffable, and k-ineffable cardinals in 1975 by J. Baumgartner. In this paper we give a self contained treatment of the basic facts about this level of the large cardinal hierarchy, which were established by J. Baumgartner. In particular, we give a proof that the k-subtle, k-almost ineffable, and k-ineffable cardinals define (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  18.  7
    Almost disjoint sets and Martin's axiom.Michael L. Wage - 1979 - Journal of Symbolic Logic 44 (3):313-318.
    We present a number of results involving almost disjoint sets and Martin's axiom. Included is an example, due to K. Kunen, of a c.c.c. partial order without property K whose product with every c.c.c. partial order is c.c.c.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  19.  6
    [Omnibus Review].Carlos Augusto Priscdio - 1991 - Journal of Symbolic Logic 56 (3):1098-1100.
    Reviewed Works:Telis K. Menas, A Combinatorial Property of $p_\kappa\lambda$.Donald H. Pelletier, The Partition Property for Certain Extendible Measures on Supercompact Cardinals.Kenneth Kunen, Donald H. Pelletier, On a Combinatorial Property of Menas Related to the Partition Property for Measures on Supercompact Cardinals.Julius B. Barbanel, Supercompact Cardinals, Trees of Normal Ultrafilters, and the Partition Property.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20.  40
    Doğal Teoloji ve Doğal Din (Stanford Felsefe Ansiklopedisi).Musa Yanık, Andrew Chignell & Derk Pereboom - 2024 - Öncül Analitik Felsefe Dergisi. Translated by Musa Yanık.
    “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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  21. Kuhn and the History of Science.K. Brad Wray - 2019 - In M. Fricker, N. J. L. L. Pedersen, D. Henderson & P. J. Graham (eds.), The Routledge Handbook of Social Epistemology. Routledge. pp. 40-48.
    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 (...)
     
    Export citation  
     
    Bookmark  
  22. Modal Ontolojik Argümanlar.Musa Yanık - 2024 - Oncul Analitik Felsefe Dergisi 1.
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23. REFORMCU EPİSTEMOLOJİ: TEMEL UNSURLAR, İTİRAZLAR VE YENİ BAKIŞ AÇILARI.Musa Yanık - 2023 - Felsefe Dünyasi 1 (78):219-260.
    Ç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 (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  24.  7
    If AI is our co-pilot, who is the captain?K. Woods - forthcoming - AI and Society:1-2.
  25.  17
    Co-authorship in chemistry at the turn of the twentieth century: the case of Theodore W. Richards.K. Brad Wray - 2024 - Foundations of Chemistry 26 (1):75-88.
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  26.  34
    History of Epistemic Communities and Collaborative Research.K. Brad Wray - 2001 - In James Wright (ed.), International Encyclopedia of the Social and Behavioral Sciences (Second Edition). Elsevier. pp. 867-872.
    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 (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  27. Bradleyan idealism and philosophical materialism.K. M. Ziebart - 2019 - In Philip MacEwen (ed.), Idealist Alternatives to Materialist Philosophies of Science. Leiden: BRILL.
    No categories
     
    Export citation  
     
    Bookmark  
  28. The very idea of a critical social science: a pragmatist turn.Stephen K. White - 2004 - In Fred Rush (ed.), The Cambridge companion to critical theory. New York: Cambridge University Press. pp. 310-335.
     
    Export citation  
     
    Bookmark   4 citations  
  29.  5
    Pivotal strategies for the educational leader: the importance of Sun Tzu's The art of war.Ovid K. Wong - 2008 - Lanham, Md.: Rowman & Littlefield Education.
    The Art of War application to education is about solving problems to improve student and school success. The Art of War describes the significance of a leader and his knowledge and prudent application of the strategies. At the core of theses strategies is the non-negotiable moral purpose of the leader to be reinforced by other fine qualities as wisdom, commitment, discipline, and courage.
    Direct download  
     
    Export citation  
     
    Bookmark  
  30. Dini Epistemoloji: Alvin Plantinga Örneği.Musa Yanık - 2019 - Dissertation, Ondokuz Mayis Universitesi
    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 (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  31.  9
    Political theory and postmodernism.Stephen K. White - 1991 - New York: Cambridge University Press.
    Postmodernism has evoked great controversy and it continues to do so today, as it disseminates into general discourse. Some see its principles, such as its fundamental resistance to metanarratives, as frighteningly disruptive, while a growing number are reaping the benefits of its innovative perspective. In Political Theory and Postmodernism, Stephen K. White outlines a path through the postmodern problematic by distinguishing two distinct ways of thinking about the meaning of responsibility, one prevalent in modern and the other in postmodern perspectives. (...)
  32.  3
    Hyŏndae munye sajoron.Hŭi-sŏk Yang - 1982 - Sŏul Tʻŭkpyŏlsi: Chayu Munʼgo.
    Direct download  
     
    Export citation  
     
    Bookmark  
  33. Tanrı, Özgürlük ve Kötülük.Alvin Plantinga & Musa Yanık - 2022 - Ankara, Türkiye: Fol Yayınları. Translated by Musa Yanık.
    Ateistler, kötülük probleminin Tanrı’nın varlığı aleyhine en güçlü argüman olduğu konusunda hâlâ ısrarcılar. Felsefe tarihine baktığımızda da Epikuros’tan Hume’a ve yakın dönemde Mackie’ye kadar uzanan bir yelpazede çeşitli düşünürler tarafından bu konuda birçok eleştirinin dile getirildiğini görmek mümkün. Plantinga bu çalışmasında felsefe tarihinin en köklü sorunlarından biri olan ‘Tanrı’nın varlığı sorusu’nu cevaplamaya çalışmakla kalmayıp felsefi bir yöntem ve soruşturmanın nasıl olması gerektiği konusunda muhteşem bir örnek de sunmaktadır. Plantinga, bu kitabıyla bizi, felsefe tarihinin en temel ilkelerinden birini hatırlamaya çağırıyor: var (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  34.  44
    Types of tropes : modifier and module.Robert K. Garcia - 2024 - In A. R. J. Fisher & Anna-Sofia Maurin (eds.), The Routledge Handbook of Properties. London: Routledge. pp. 229-38.
    The general concept of a trope – that of a non-shareable character-grounder – admits of a distinction between modifier tropes and module tropes. Roughly, a module trope is self-exemplifying whereas a modifier trope is not. This distinction has wide-ranging implications. Modifier tropes are uniquely eligible to be powers and fundamental determinables, whereas module tropes are uniquely eligible to play a direct role in perception and causation. Moreover, each type of trope theory faces unique challenges concerning character- grounding. Modifier trope theory (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  35. On Elementary Embeddings from an Inner Model to the Universe.J. Vickers & P. D. Welch - 2001 - Journal of Symbolic Logic 66 (3):1090-1116.
    We consider the following question of Kunen: Does Con imply Con? We use core model theory to investigate consequences of the existence of such a j : M $\rightarrow$ V. We prove, amongst other things, the existence of such an embedding implies that the core model K is a model of "there exists a proper class of almost Ramsey cardinals". Conversely, if On is Ramsey, then such a j, M are definable. We construe this as a negative answer to (...)
     
    Export citation  
     
    Bookmark   3 citations  
  36. Is Trope Theory a Divided House?Robert K. Garcia - 2015 - In Gabriele Galluzzo Michael Loux (ed.), The Problem of Universals in Contemporary Philosophy. Cambridge University Press. pp. 133-155.
    In this paper I explore Michael Loux’s important distinction between “tropes” and “tropers”. First, I argue that the distinction throws into relief an ambiguity and discrepancy in the literature, revealing two fundamentally different versions of trope theory. Second, I argue that the distinction brings into focus unique challenges facing each of the resulting trope theories, thus calling into question an alleged advantage of trope theory—that by uniquely occupying the middle ground between its rivals, trope theory is able to recover and (...)
    Direct download  
     
    Export citation  
     
    Bookmark   18 citations  
  37. Why literary devices matter.Lorraine K. C. Yeung - 2021 - Polish Journal of Aesthetics 60 (1):19-37.
    This paper investigates the emotional import of literary devices deployed in fiction. Reflecting on the often-favored approach in the analytic tradition that locates fictional characters, events, and narratives as sources of readers’ emotions, I attempt to broaden the scope of analysis by accounting for how literary devices trigger non-cognitive emotions. I argue that giving more expansive consideration to literary devices by which authors present content facilitates a better understanding of how fiction engages emotion. In doing so, I also explore the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38.  12
    16. Scientific Reduction and the Essential Incompleteness of All Science.K. R. Popper - 1974 - In Francisco Jose Ayala & Theodosius Dobzhansky (eds.), Studies in the philosophy of biology: reduction and related problems. Berkeley: University of California Press. pp. 259.
  39.  9
    On elementary embeddings from an inner model to the universe.J. Vickers & P. D. Welch - 2001 - Journal of Symbolic Logic 66 (3):1090-1116.
    We consider the following question of Kunen: Does Con(ZFC + ∃M a transitive inner model and a non-trivial elementary embedding j: M $\longrightarrow$ V) imply Con (ZFC + ∃ a measurable cardinal)? We use core model theory to investigate consequences of the existence of such a j: M → V. We prove, amongst other things, the existence of such an embedding implies that the core model K is a model of "there exists a proper class of almost Ramsey cardinals". (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  40.  10
    Making Sense of Tantric Buddhism: History, Semiology, and Transgression in the Indian Traditions.Christian K. Wedemeyer - 2012 - Cambridge University Press.
    _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 (...)
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  41.  2
    Meno.W. K. C. Plato & Guthrie - 1971 - Indianapolis,: Bobbs-Merrill. Edited by W. K. C. Guthrie & Malcolm Brown.
  42.  31
    Explaining Culture: A Naturalistic Approach.K. Sterelny - 1996 - Mind 110 (439):845-854.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   258 citations  
  43. Viewer-external frames of reference in 3-D object recognition.F. Waszak, K. Drewing & R. Mausfeld - 2004 - In Robert Schwartz (ed.), Perception. Malden Ma: Blackwell. pp. 73-73.
     
    Export citation  
     
    Bookmark  
  44. The Slingshot Argument.K. Correia F. Mulligan & F. Correia - 2012 - In Ed Zalta (ed.), Stanford Encyclopedia of Philosophy. Stanford Encyclopedia of Philosophy.
  45.  11
    Freedom from Fear: An Incomplete History of Liberalism.K. Steven Vincent - 2023 - The European Legacy 29 (3):448-449.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  46.  48
    Bir Bilme Teorisi. [REVIEW]Musa Yanık - 2021 - Kutadgu Bilig Felsefe-Bilim Araştırmaları Dergisi 43 (1):247-251.
    Mehdiyev’in Bir Bilme Teorisi adını verdiği eser, içerisinde birçok kavram ve problemi barındırması açısından oldukça zengin ve ufuk açıcı bir teoridir. Onun, bilgi söz konusu olduğunda medeniyet, bilim, teoloji ve sanat gibi sosyal epistemoloji içerisindeki kavramlara atıfla karşılaştırmalar yapması ve inanç, kanı gibi kavramlar üzerinden değerlendirmelerde bulunması; mevcut literatür içindeki kavramlara dair gerek olumlu gerekse olumsuz yeni bakış açılarını bize sağlarken, ayrıca mevcut problemleri, hem çağdaş hem de klasik teoriler içinde ele alması, bize ufuk açıcı yorumlar da kazandırmaktadır.
    Direct download  
     
    Export citation  
     
    Bookmark  
  47.  6
    Craig Interpolation Theorem Fails in Bi-Intuitionistic Predicate Logic.Grigory K. Olkhovikov & Guillermo Badia - 2024 - Review of Symbolic Logic 17 (2):611-633.
    In this article we show that bi-intuitionistic predicate logic lacks the Craig Interpolation Property. We proceed by adapting the counterexample given by Mints, Olkhovikov and Urquhart for intuitionistic predicate logic with constant domains [13]. More precisely, we show that there is a valid implication $\phi \rightarrow \psi $ with no interpolant. Importantly, this result does not contradict the unfortunately named ‘Craig interpolation’ theorem established by Rauszer in [24] since that article is about the property more correctly named ‘deductive interpolation’ (see (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  48.  5
    Tanzanya'da Leibzig Mi̇Syon Cemi̇Yeti̇ (Lms) Mi̇Syonerli̇Ği̇, Karşilaşilan Zorluklar Ve Kullanilan Yöntemler.Şeyma Han & Şahin Kızılabdullah - forthcoming - Dini Araştırmalar.
    ÖZ “Tanzanya’da Leibzig Misyoner Cemiyeti Misyonerliği, Karşılaşılan Zorluklar ve Kullanılan Yöntemler” isimli makale “Tanzanya’da Misyonerlik Faaliyetler Lutheran Kilise Örneği” isimli yüksek lisans tezine dayanmaktadır. Makale, Lutheran misyonerliğinin Tanzanya’da faaliyetlerine nasıl başladıkları, ilerleme yöntemleri ve karşılaşılan güçlükleri anlama noktasında önem arz etmektedir. Makalede ana konuya odaklanmadan önce, Tanzanya hakkında genel bir bilgilendirme yapılmış, ardından Leibzig Misyon Cemiyeti’nin (LMS) faaliyetlerine nasıl başladığı, kronolojik bir şekilde açmış olduğu istasyonlar, bu istasyonlarda karşılaşmış olduğu zorluklar ve kullanılan yöntemler hakkında bilgi verilmiştir. Ayrıca, Tanzanya’da Lutheran misyoner (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  49.  6
    AHLAK, İKTİSAT VE BİLİM: ADAM SMİTH FELSEFESİNE GİRİŞ. [REVIEW]Musa Yanık - 2020 - Düzce Üniversitesi Sosyal Bilimler Dergisi 10 (1):169-171.
    Gökhan Murteza, “Ahlak, İktisat ve Bilim: Adam Smith Felsefesine Giriş” isimli eserinde genellikle İktisat disiplininin birçok farklı konusunu felsefi açıdan tartışmaya açmıştır. Murteza’nın bu eseri, devleti ve toplumu ilgilendiren bu araştırma alanının, A. Smith ile birlikte bir bilim dalı olarak görülmeye başlanmasının sonucunda, gerçekten ahlaki olanı içerip içermediği problemi üzerinde durmaktadır.
    Direct download  
     
    Export citation  
     
    Bookmark  
  50. Ethics for Everyday Life: Designing a Core Philosophy Course.K. Lindsey Chambers - forthcoming - In Brynn Welch (ed.), The Art of Teaching. Bloomsbury.
    No categories
     
    Export citation  
     
    Bookmark  
1 — 50 / 987