This paper aims to vindicate the thesis that cognitive computational properties are abstract objects implemented in physical systems. I avail of the equivalence relations countenanced in Homotopy Type Theory, in order to specify an abstraction principle for epistemic intensions. The homotopic abstraction principle for epistemic intensions provides an epistemic conduit into our knowledge of intensions as abstract objects. I examine, then, how intensional functions in Epistemic Modal Algebra are deployed as core models in the philosophy of mind, Bayesian perceptual psychology, (...) and the program of natural language semantics in linguistics, and I argue that this provides abductive support for the truth of homotopic abstraction. Epistemic modality can thus be shown to be both a compelling and a materially adequate candidate for the fundamental structure of mental representational states, comprising a fragment of the Language of Thought. (shrink)

This paper aims to provide a mathematically tractable background against which to model both modal cognitivism and modal expressivism. I argue that epistemic modal algebras comprise a materially adequate fragment of the language of thought. I demonstrate, then, how modal expressivism can be regimented by modal coalgebraic automata, to which the above epistemic modal algebras are dual. I examine, in particular, the virtues unique to the modal expressivist approach here proffered in the setting of the foundations of mathematics, by contrast (...) to competing approaches based upon both the inferentialist approach to concept-individuation and the codification of speech acts via intensional semantics. (shrink)

This essay aims to redress the contention that epistemic possibility cannot be a guide to the principles of modal metaphysics. I argue that the interaction between the multi-dimensional intensional framework and intensional plural quantification enables epistemic possibilities to target the haecceitistic properties of individuals. I outline the elements of plural logic, and I specify, then, a multi-dimensional intensional formula encoding the relation between the epistemic possibility of haecceity comprehension and its metaphysical possibility. I conclude by addressing objections from the indeterminacy (...) of ontological principles relative to the space of epistemic possibilities, and from the consistency of epistemic modal space. (shrink)

This paper aims to provide a mathematically tractable background against which to model both modal cognitivism and modal expressivism. I argue that epistemic modal algebras comprise a materially adequate fragment of the language of thought, and endeavor to show how such algebras provide the resources necessary to resolve Russell's paradox of propositions. I demonstrate, then, how modal expressivism can be regimented by modal coalgebraic automata, to which the above epistemic modal algebras are dually isomorphic. I examine, in particular, the virtues (...) unique to the modal expressivist approach here proffered in the setting of the foundations of mathematics, by contrast to competing approaches based upon both the inferentialist approach to concept-individuation and the codification of speech acts via intensional semantics. (shrink)

This paper examines the interaction between the philosophy and psychology of concepts and the modal characterization of the deductive concept of logical validity. The concept of logical consequence on which I focus is model-theoretic, where the concept records the property of necessary truth-preservation from the premise of an argument to its conclusion, as well as the condition that, in the class of all possible worlds in which a premise is true, a consequent formula or succedent class of formulas is true, (...) as well. Focusing on the case of logical necessity, I argue that the ability to account for the modal properties of concepts places a desideratum on the explanatory adequacy of theories of mental representation. I outline, then, five approaches to the nature of concepts pursued in philosophy and cognitive science, and argue that the above desideratum does not appear to be satisfiable by the candidate proposals. Given the limits of the foregoing, I appeal to a sixth approach -- namely, cognitivism about epistemic modality, according to which epistemic intensions are semantically imbued functions in the language of thought -- and endeavor to demonstrate how the proposal can sufficiently account for the modal profile of the concept of logical consequence. (shrink)

This book concerns the foundations of epistemic modality. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality relates to the computational theory of mind; metaphysical modality; the types of mathematical modality; to the epistemic status of large cardinal axioms, undecidable propositions, and abstraction principles in the philosophy of mathematics; to the modal profile of rational intuition; and (...) to the types of intention, when the latter is interpreted as a modal mental state. Chapter 2 argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal cognitivism and modal expressivism. Chapter 3 provides an abstraction principle for epistemic intensions. Chapter 4 advances a two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter 5 applies the fixed points of the modal $\mu$-calculus in order to account for the iteration of epistemic states, by contrast to availing of modal axiom 4. Chapter 6 advances a solution to the Julius Caesar problem based on Fine's "criterial" identity conditions which incorporate conditions on essentiality and grounding. Chapter 7 provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The epistemic two-dimensional truthmaker semantics developed in chapter 4 is availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. Chapter 8 examines the modal commitments of abstractionism, in particular necessitism, and epistemic modality and the epistemology of abstraction. Chapter 9 examines the modal profile of $\Omega$-logic in set theory. Chapter 10 examines the interaction between epistemic two-dimensional semantics and absolute decidability. Chapter 11 avails of modal coalgebraic automata to interpret the defining properties of indefinite extensibility, and avails of epistemic two-dimensional semantics in order to account for the interaction of the interpretational and objective modalities thereof. The hyperintensional, epistemic two-dimensional truthmaker semantics developed in chapter 4 is applied in chapters 8, 10, and 11. Chapter 12 provides a modal logic for rational intuition. Chapter 13 examines modal responses to the alethic paradoxes. Chapter 14 examines, finally, the modal semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

Immanuel Kant offers a cogent doctrine of morals and implausible doctrines of politics and history. He presents a principle of moral action that coincides with deeply held moral intuitions, and he claims to derive that principle from human beings' nature as free, rational beings. At the same time, he defends an inflexible and profoundly questionable vision of politics, a vision he views as entirely consistent with that moral doctrine. ;This thesis makes two arguments concerning these claims. First, I contend that (...) these two parts to Kant's view are essentially linked in Kant's thought. Second, I contend that Kant's view, though irremediably flawed, is superior to those of contemporary Neo-Kantians. I conclude that Kant's position constitutes the best available defense of rationalist morality and politics, but that in the end such a position is indefensible. The failure of Kant's practical philosophy forces one to view with great skepticism attempts to ground conceptions of moral and political obligation that rely upon no substantive account of the human good. ;Chapter One offers a partial defense of Kant's moral philosophy. The aim is to show how and why Kant's is an attractive position. Chapter Two presents an interpretation of Kant's political and historical thought, indicating how it emerges from and remains consistent with his views on the nature and justification of moral principles: while Kant's thinking on politics and history is beset with difficulties, that thinking follows directly from the premises underlying his moral philosophy. ;The next two chapters take up arguments of Hegel and Jurgen Habermas, each of whom offers a powerful criticism of Kant. I argue that their criticisms, while finding wide resonance in the literature on Kant, are largely unfounded. ;The failings of these criticisms suggest a return to Kant. The final chapter attempts to show that a rationalist morality that abstracts from ends, such as Kant's does, must rest upon an indefensible understanding of human practice. (shrink)

This essay examines the philosophical significance of $\Omega$-logic in Zermelo-Fraenkel set theory with choice (ZFC). The categorical duality between coalgebra and algebra permits Boolean-valued algebraic models of ZFC to be interpreted as coalgebras. The modal profile of $\Omega$-logical validity can then be countenanced within a coalgebraic logic, and $\Omega$-logical validity can be defined via deterministic automata. I argue that the philosophical significance of the foregoing is two-fold. First, because the epistemic and modal profiles of $\Omega$-logical validity correspond to those of (...) second-order logical consequence, $\Omega$-logical validity is genuinely logical. Second, the foregoing provides a modal account of the interpretation of mathematical vocabulary. (shrink)

I argue that the two-dimensional hyperintensions of epistemic topic-sensitive two-dimensional truthmaker semantics provide a compelling solution to the access problem. I countenance an abstraction principle for epistemic hyperintensions based on Voevodsky's Univalence Axiom and function type equivalence in Homotopy Type Theory. I apply, further, modal rationalism in modal epistemology to the solve the access problem. Epistemic possibility and hyperintensionality, i.e. conceivability, can be a guide to metaphysical possibility and hyperintensionality, when (i) epistemic worlds or epistemic hyperintensional states are interpreted as (...) being centered metaphysical worlds or hyperintensional states, i.e. indexed to an agent, when (ii) the epistemic (hyper-)intensions and metaphysical (hyper-)intensions for a sentence coincide, i.e. the hyperintension has the same value irrespective of whether the worlds in the argument of the functions are considered as epistemic or metaphysical, and when (iii) sentences are said to consist in super-rigid expressions, i.e. rigid expressions in all epistemic worlds or states and in all metaphysical worlds or states. I argue that (i) and (ii) obtain in the case of the access problem. (shrink)

I argue that the two-dimensional intensions of epistemic two-dimensional semantics provide a compelling solution to the access problem.

This paper aims to provide two abductive considerations adducing in favor of the thesis of Necessitism in modal ontology. I demonstrate how instances of the Barcan formula can be witnessed, when the modal operators are interpreted 'naturally' -- i.e., as including geometric possibilities -- and the quantifiers in the formula range over a domain of natural, or concrete, entities and their contingently non-concrete analogues. I argue that, because there are considerations within physics and metaphysical inquiry which corroborate modal relationalist claims (...) concerning the possible geometric structures of spacetime, and dispositional properties are actual possible entities, the condition of being grounded in the concrete is consistent with the Barcan formula; and thus -- in the geometric setting -- merits adoption by the Necessitist. (shrink)

»Man weiß nie, wie eine Kuh einen Hasen fängt«, sagt ein niederländisches Sprichwort: Auch das zunächst so unmöglich wie wenig sinnvoll Scheinende kann gelegentlich ganz überraschend positive Ergebnisse zeitigen, wenn vielleicht auch nur im Ansatz. So verhält es sich auch mit dem in Gänze abstrakt bleibenden Versuch, noch in den 2010er Jahren in Adorno-Tradition einen universalistischen Musikbegriff anzurufen, diesen dann im kuscheligen Raum des hehren ›Kunstwerks‹ zu verorten und ihm die inzwischen etwas müde gewordene Idee der Autonomie zuzuschreiben. Laurenz (...) Lütteken resümiert in seiner Rezension des in Rede stehenden Buchs des Philosophen Gunnar Hindrichs mit dem Titel Die Autonomie des Klangs. Eine Philosophie der Musik, es bleibe am Ende doch. (shrink)

It is well-known that Ibn al-Salāh al-Shahrazūrī (d. 643/1245) has an important place in the field of hadith methodology. In this context, it is possible to see Ibn-al Salah’s influence in a large proportion of the hadith terminology. The fact that the term ḥasan was not substantially included in the hadith method studies before Ibn-al Salah and that this concept became widely known in the field after him led to study the contributions of al Salah on the subject of ḥasan (...) hadith and in this regard, his effect on the term ḥasan. As result it was found that authorities such as Shāfiʿī (d. 204/820), ʿAlī b. al-Madīnī (d. 234/848-49), Ahmad b. Hanbal (d. 241/855) used the concept of ḥasan in various meanings before al-Tirmidhī (d. 279/892) who, according to general acceptance, made the term ḥasan famous for its terminological use. However, it is possible to say that ʿAlī b. al-Madīnī was the first to use the terminological meaning of the concept ḥasan. Actually, the fact that Shafii’ used the term ḥasan isnād for an authentic hadith that al-Bukhārī (d. 256/870) and Muslim b. Ḥajjāj (d. 261/875) would later unanimously narrate, and Ahmad b. Hanbal used ḥasan as gharib, is evidence for the unsystematic use of the term in the early periods. Even though, thanks to al-Tirmidhī, an important place was opened for the concept in riwāya literature, there was no serious mention of the term in later hadith methodology. Therefore, it has been seen that hadith scholars considered the term ḥasan within the scope of ṣaḥīḥ or ḍaʻīf hadith, since they accepted the term as an intermediate concept, and for this reason they did not include the term ḥasan among the subjects of hadith methodology until Ibn al-Salāh. An examination of the argument, that one can act upon a ḍaʻīf hadith, would show that ḥasan hadith might have been interpreted within the scope of ḍaʻīf hadith. On the other hand, the fact that some scholars such as Mughulṭāy b. Qilīj (d. 762/1361) state that a hadith would be called ṣaḥīḥ if it is maqbūl with any presumption, and that there is no point in calling such a hadith ḥasan shows that the ḥasan hadith is considered within the scope of ṣaḥīḥ hadith. The fact that hadith methodology scholars did not mention ḥasan hadith before Ibn al-Salāh stems from the ambiguity of the subject. Contrary to his predecessors, Ibn al-Salāh tried to save the term ḥasan from its ambiguity by combining the different specifications put forward by al-Tirmidhī, al-Khaṭṭābī (d. 388/998), and Ibn al-Jawzī (d. 597/1201). The specifications and interpretations of the term presented by Ibn al-Salāh via his meticulous efforts, have also been adopted by his successors. The term ḥasan hadith has gained an important place in the literature of hadith methodology thanks to the views and definitions built on the descriptions and interpretations of Ibn al-Salāh. In this context, while there are those who agree with Ibn al-Salāh’s descriptions and evaluations of the term, there are also those who criticize his remarks on the subject. However, it has been seen that those who criticize Ibn al-Salāh, along with those who follow him, criticized him by following the path drawn by Ibn al-Salāh. Based on this and similar situations, it was concluded that not only the descriptions and comments that Ibn al-Salāh made, but also his style and methods of handling the subject gave direction to the studies on hadith methodology. In addition, it has been observed that the most compact description of the term ḥasan is put forward by Ibn Hajar and today’s studies are predicated on his description. Within this framework, after emphasizing that there are four degrees of maqbūl hadiths, Ibn Hajar defined the two fields, which were covered by two different descriptions of Ibn al-Salāh, as ḥasan li-zatih and lighairih by Ibn al-Ḥajar. (d. 852/1449) By doing so Ibn al-Ḥajar gave the final shape to the ḥasan hadith terms. He also captured the fundamental point where ḥasan hadith differs from the ṣaḥīḥ hadith because the basic point in question, which was not directly stated before, is a slight flaw in the narrator’s grip. At the end of the study, it was concluded that -as al-Dhahabi (d. 748/1348) also stated- it does not seem possible to determine a comprehensive rule that gathers ḥasan hadiths under a single description. Considering the historical context of the term ḥasan, it has been observed that the most effective description of the ḥasan hadith are the terms ḥasan li-zatih and ḥasan lighairih, which were put forward by Ibn Hajar by transforming the dual division mentioned by Ibn al-Salāh into a more understandable form. (shrink)

According to Islamic law, there are rules and prohibitions that Muslims must follow in their actions and transactions. The prohibition of interest has been decisive in many actions, especially in debt. Accordingly, Muslims cannot put forward a condition of interest in their debt, nor can they take any transactions under this condition. Many jurists viewed interest not only as an excess of the debt but also as any benefit that the creditor would receive from the debtor other than the amount (...) of the loan, and they evaluated it within the scope of interest. Since the lender of “qard”, which is generally used to define the debt, should not receive anything in return and should expect its reward from Allah, this was called “qard al-hasen”, quoting the relevant verses of the Qur’an, and Muslims tried to meet their credit needs through qard al-hasen. However, in some cases, people had difficulty obtaining the credit they needed, and especially in the modern period, the need for credit has increased both individually and institutionally. Therefore, Muslims tried to meet their need for qard by resorting to different ways within the limits of the Shariʽah. While applications based on transactions such as sukuk, mudaraba and murabaha and those based on intermediary transactions such as the purchase and sale of goods or partnerships were developed, applications based on direct debt without resorting to such transactions remained almost non-existent. However, from the expressions in the books of classical fiqh, it is understood that the juʽalah, which is defined as “promising a reward in return for an action”, can be used for obtaining qard under certain conditions. In this type of juʽalah, which can be named as juʽalah ala al-iqtirad, a person in need of qard promises a certain reward from third parties to the person who provides him qard. Considering that there is a qard in question in this transaction and that the debtor pays more than the qard he has received, it is necessary to examine the opinions about this transaction's relationship with interest and its validity. The main focus of the research will be answers to questions such as the conditions that the aforementioned juʽalah transaction must meet to be valid, in what ways this transaction differs from interest-bearing transactions, and within which limits. (shrink)

Muhyiddîn el-Kâfiyecî (öl. 879/1474), on beşinci yüzyıl Saruhanoğulları, Osmanlı ve Memlüklü alimlerindendir. Yüzden çok eser yazmıştır. Makale Kâfiyeci’nin hayatı ve eserlerini araştırır. Yazdığı eserler, onun, Arap dili, Arap grameri, belagat, tarih metodolojisi, hadis ve usulü, tefsir ve usulü, fıkıh ve usulü, kelâm, tasavvuf, dil felsefesi, semantik, metafizik meseleler, geometri, optik ve astronomi gibi konularda uzmanlaştığını göstermektedir. Kâfiyeci en önemli eserlerini Arap dili ve mantık sahalarında yazmıştır. Eserleri içerisinde yaptığı linguistik çözümlemeler, onun yetkin bir dil alimi olduğunu göstermektedir. Kâfiyeci eserlerini yazarken (...) linguistik, mantıki, ilmi ve felsefi bir yöntem kullanmıştır. Araştırmada, Kâfiyeci’nin, hayatı boyunca en az yüz on iki eser yazdığı tespit edilmiştir. Bu eserlerden, doksan altısının adı belirlenmiştir. Kâfiyeci’nin eserleri konularına göre şöylece tasnif edilebilir: Arap Dili ve Dil Felsefesi: Şerḥu’1-i‘râb ‘an Ḳavâ‘idi’l-i‘râb, el-Unmûzec fî baḥsi’l-isti‘âre, Şerḥu’l-isti‘âre, Risâle fî Kâne Zeydun Ḳâimen, Risâle fî Zeydun Ḳâimun, Risâle fi’l-mebâḥisi’l-mute‘alliḳa bi Emmâ, Nuzhetu’l-mu‘rib fi’l-Meşrıḳ ve’l-Maġrib, Nuzhetu’l-aṣhâb fî mes’eleti’l-kuhl, Remzu’l-esrâr, en-Niseb li ehli’l-edeb, el-İşrâḳ fî meratibi’ṭ-ṭıbâk, Ḥâşiye ‘ale’l-Muṭavvel, Risâle fî “men” eş-şartiyye. Mantık: et-Terġîb fî keşfi rumûzi’t-Tehẕîb. Tarih Metodolojisi: el-Muḫtaṣaru’l-mufîd fî ‘ilmi’t-târîḫ, en-Naṣru’l-ḳâhir ve’l-fetḥu’ẓ-ẓâhir. Akâid ve Kelâm: Envâru’ṣ-Ṣa ‘âde, Şerḥu’l-‘Aḳâidi’l-‘Aḍuḍiyye, Hâşiye ‘alâ Şerḥi’l-‘Aḳâidi’l-‘Aḍuḍiyye, Şerḥu’l-Mevâḳıf, Telḫîsu Şerḥi’l-Mevâḳıf, el-Hidâye li beyâni’l-ḫalḳ ve’t-tekvîn, Risâle fî beyâni’l-mu‘cizât, Nehru’l-hayât fî ma‘rifeti’ṣ-ṣıfât, ‘İlmu’l-kumûn ve’l-burûz, Risâle fî Kavlihi Teâlâ “Lâ ye’menu mekr Allâhi ille’l-kavmu’l-hâsirûn” [A‘râf, 7/99]. Kur’ân, Kırâat ve Tefsir Bilimleri: Şerḥu’l-İsti‘âẕe ve’l-Besmele, Ḥâşiye ‘ale’l-Keşşâf, Şerḥ fî muḥâkemât beyne’l-mutekellimîn ‘ale’l-Keşşâf, Ḥâşiye ‘alâ Tefsîri’l-Beyḍâvî, eẓ-Ẓafer ve’l-ḫalâṣ, et-Teysîr fî ḳavâ‘idi ‘ilmi’t-tefsîr, Risâle fî ‘ilmi’t-tefsîr ve vucûhi’l-ḳırâat, Keşfu’n-niḳâb li’l-aṣḥâb ve’l-aḥıbbe fî ‘icâzi’l-Ḳur’ân, et-Temhîd fî şerḥi’t-taḥmîd, Ḳarâru’l-vecd fi şerḥi’l-ḥamd, el-İlmâ‘ bi ifâdeti Lev li’l-imtinâ‘ fî ḳavlihi Te‘âlâ “Lev kâne fîhimâ âlihetun illallâh le fesedetâ” [Enbiyâ, 21/22], Cevâb ‘an suâl fî ḳavlihi Te‘âlâ “Ve’n-Necmi iẕâ hevâ” [Necm, 62/1], Nuzhetu’l-iḫvân fî tefsi¬ri ḳavlihi Te‘âlâ “Yâ Lûṭu İnnâ Rusülü Rabbike” [Hûd, 11/81], Neylu’l-merâm fi tefsîri ḳavlihi Te‘âlâ “Ve Mâ Rabbuke bi Ẓallâm” [Fussilet, 41/46], el-Bişâra fî ḳavlihi Te‘âlâ “Fe’tû bi sûratin min mislih” [Bakara, 2/23], Nuzhetu’l-aṣḥâb, el-Ġurratu’l-vâḍıḥa fî tefsîri’l-Fâtiḥa, Zeḫîratu’l-ḳaṣr fî tefsiri Sûrati’l-‘Aṣr. Hadis Bilimleri: Muḫtaṣar fî ‘ulûmi’l-ḥadîs, Menbe‘u’d-durer fî ‘ilmi’l-eser, Ḫulâṣatu’l-‘aḳvâl fî ḥadîsi “İnneme’l-a‘mâlu bi’n-niyyât”. Fıkıh, Usûl ve Fetva: Risale fî mesʹeleti’l-istisnâʹ, Ḥâşiye ‘ala şerḥi’l-Hidâye, Vecîzu’n-niẓâm fî ıẓhâri mevâridi’l-aḥkâm, el-Feraḥ ve’s-surûr fî beyâni’l-meẕâhîbi’l-erba‘ati fi’l-‘uṣûr, Neşâtu’ṣ-ṣudûr fî şerḥi Kitâbi’l-Feraḥ ve’s-surûr, et-Taḥrîr lima zukira fi’d-Dureri’l-manẓûm, Muhâveratu’l-fıḳhiyye, Risâle fi’stiḳbâli’l-Ḳıble, Telḫîṣu’l-Câmi‘i’l-kebîr ve’l-Mecma‘, Kitâbu’t-Teẕkira/Risâle fi’l-vaḳf, Ravḍatu’ẓ-ẓahira en-nâfi‘a fî’d-Dünya ve’l-Âḫira, Kitâbu’l-muḫtasar fî ‘ilmi’l-istibdâl, er-Remz fî ‘ilmi'l-istibdâl, el-Kâfî fî beyâni’ṣ-ṣaffi’ṭ-ṭavîli’l-mustaḳîm, Risâle fî ṭabaḳâti’l-butûn li beyâni’l-vaḳf ‘alâ evlâdi’l-evlâd, el-İḥkâm fî ma‘rifeti’l-Eymân ve’l-aḥkâm, Ferâid baḥri’l-fevâiḍ. Siyasetname, Adap ve Ahlak: Niẓâmu ḳalâidi’l-‘ıḳyân, Seyfu’l-kuḍât ‘ale’l-buġât, Seyfu’l-mulûk ve’l-ḥukkâm el-murşid lehum ilâ sebîli’1-Haḳḳ ve’1-aḥkâm, Seyfu’l-ḥaḳḳ ve’n-nuṣra ‘alâ riḳâbı ehli’l-baġy ve’l-fitne, ed-Durratu’l-‘âliyetu’l-ġâliye. Metafizik, Tasavvuf ve Felsefe: el-Kâfî eş-şâfî, Kitâbu’r-ravḥ fî ‘ilmi’r-rûḥ, Kitabu’r-raḥme fî beyânı aḥvâli ‘alemi’l-berzâḫ, en-Nuzhe fî ravḍati’r-rûḥ ve’n-nefs, Neşâtu’l-bişâra bi’l-işâra fî kıbleti’l-ervâh, Ḳıbletu’l-ervâḥ fi’t-taṣavvuf, Nuzhetu’l-ervâḥ ve ġıbṭatu’l-eşbâḥ fi’t-taṣavvuf, Menâzilu’l-ervâḥ fi’t-taṣavvuf, ‘Ikdu’l-ferâid min baḥri’l-fevâiḍ fî şerḥi Esmâillâhi’l-husnâ, el-Unsu’1-enîs fî ma‘rifeti şeʹni’n-nefsi’n-nefîs. Siyer, İrşat ve Fazâil: Zeynu’l-feraḥ bi mîlâdi’n-Nebî (s.a.v.), Muḫtasar fî ‘ilmi’l-irşâd, Risâle fi’l-maḥabbe, Ḳalâidu’l-‘ıḳyân fî baḥri faḍâili Raceb ve Şa‘bân: Fen Bilimleri: Ḥallu’l-işkâl fî mebâhisi’l-eşkâl fi’l-hendese, Şerḥu’l-caġmînî fi’l-heyʹe, er-Remz fî ‘ilmi’l-uṣturlâb. Diğer Eserleri: Remzu’l-ḫıṭâb bi raşḥi’l-‘ıyâb, Benâtu’l-efkâr fî şeʹni’l-‘i‘tibâr, Keşfu’l-vucûhi’l-ḥasene’l-mestûra bi’n-niḳâb li faḍlillâhi’l-Cevâdi’l-Vehhâb, el-Keşf ‘an şerafi Ehli’l-Beyti’l-kirâm li efḍali’r-rusuli ve’l-enâm, ‘Iḳdu’l-ferâid min taḥrîri’l-fevâid, Risâle mustaḳılle bi ‘ilmi’n-nefs ve vucûhi’l-ḳırâa, Cevâbu’l-enẓâr, Ḥusnu’l-ḫıtâm li’l-merâmi min haẕa’l-kelâm, Ḫıtâmu’l-misk. (shrink)

Ḥadīths have been preserved and recorded in various ways since the Companions. These activities continued dur-ing the Tābiīn (the successors of the Companions) Period. So much so that these methods have formed the infra-structure of other methods that will emerge later. In this context, before the 70's (A.H.), works named al-Aṭrāf appeared. However, these first works consisted of the notes that they wrote some of the ḥadīths before coming to the science assemblies to help students remember in ḥadīth learning. Ḥadīth (...) scholars have adopted and applied this method in a very short time. Thus, this method also provided the opportunity for the formation of the first written ḥadīth documents. In addition, with the writing of ḥadīth works, it has turned into a system of al-Taṣnīf and al-Takhrīj in order to make maximum use of these books and to reach the source of a narration that is tried to be found. As a result, al-Aṭrāf literature, which can be evaluated as index, has emerged. As a matter of fact, the first examples of this literature, arranged alphabetically according to the names of the Companions or ḥadīth texts, started to be given since the 4th (A.H.) century. In this way, the way to quickly benefit from the accumulation of the ḥadīth area has been opened. This article focuses on the historical adventure of al-Aṭrāf and their contributions to the ḥadīth field, as well as literature knowledge of the works of al-Aṭrāf which are of great importance for both al-Kitābah, al-Taṣnīf and al-Takhrīj.Summary: In order to understand and practice the religion of Islām, great efforts have been made both in the past and later periods in order to convey the words, verbs, interpretations and qualifications of the Prophet to the next genera-tions as they are protected from all kinds of falsification and changes. This process, which started with memoriza-tion and partly writing at the beginning, has gained momentum with the use of other methods since the period of Tābiīn. In this context, the method of aṭrāf was started to be used to facilitate memorization, to be a reminder, and to transmit the ḥadīth through the hearing of the ḥadīth sheikh. The first examples of this method were seen by Muḥammad b. Sīrīn during his participation of his teacher Abīde/Ubayda Salmān in the scholarly assembly. At this stage, the relevant method was manifested as writing a passage from the beginning of the ḥadīth. Thus, the aforementioned method, which had great contributions in recording and memorizing ḥadīths in accordance with the original, has gained widespreadness and application among the ḥadīth scholars like Ubeydullaḥ b. Omar, Shu’bah b. al-Ḥajjāj, Sufyān as-Sawrī, Mālik b. Anas, Ismāīl b. Ayyāş and Vakī b. Jarrāḥ in a very short time. In this context, Yazīd b. Zuray’ stated that he went to his teacher without his aṭrāf work of ḥadīths which he transmitted from Shu’bah and listened to ḥadīth in this way. Therefore, this mentioned event is important in terms of putting forth that Shu’bah allowed the aṭrāf method in his assemblies. The method was used by Aḥmad b. Ḥanbal, who traveled to Madīnah to convey the reports recorded with the mentioned method of his teacher Abū Alḳama al-Farawī and at the same time listen to the related transfers from him, but who could not reach his goal. Therefore, the related narrations show that aṭrāf method was used effectively by ḥadīth scholars to remember the ḥadīths in the 1st and 2nd centuries, so sections from the narrations were written during the preparatory stage before coming to the scholarly assembly. Ultimately, the importance of these works, which manifest in different ways and offer great contributions to writing, is an undeniable reality for the history of ḥadīth.Aṭrāf, the plural form of taraf that literally means the side and edge of something, mean a section, phrase or first part that indicates the whole of the ḥadīth. This method, along with the formation of ḥadīth literature, has been started to be given as a name to the works organized alphabetically according to the name of the Companions or ḥadīth texts by mentioning some of the ḥadīths with the 4th century. In this sense, aṭrāf has started to become a unique literature in a sort of taṣnīf and takhrīj method in order to make use of the ḥadīth writing easier.Aṭrāf studies may aim to bring together the isnāḍs (chains of transmitters) in all books, or they can be limited to the chains in certain books. Aṭrāf books contain the ḥadīths in the Ṣaḥīḥān or Kutub al-Sittah and are written in alphabetical form based on the name of the companions or according to the texts of ḥadīth. The first of these, which has the attribute of the musnad in a sense, is arranged in alphabetical order according to the name of the Companion, and if there are many people who narrate from him, according to the names of the tābiīn and taba-i tābiīn (successors of the tābiīn). Accordingly, the narrations of each companion were determined and listed in al-phabetical order in aṭrāfs in musnad-type, and a passage was written from the ḥadīths and marked as books/chapters in the places of relevant narration. On the other hand, the second type of aṭrāf books were ar-ranged by giving a few words from a section that allows remembering the head or all of the ḥadīths without in-cluding chains, and then placing these texts in alphabetical order.The type of aṭrāf offers the opportunity to see different chains of narrations together and provides many facilities for the ḥadīth researchers. Therefore, ḥadīth researchers show great interest in this genre. Aṭrāfs provide many benefits for both ḥadīth chain and text. In this respect, it is possible to talk about many advantages of the ḥadīth to its transmister such as the determination of mutawātīr, garīb, azīz, mashhūr, mutābī or the testimony of ḥadīth; to provide facility to make a reputation research of a riwāyah (narration), to provide an opportunity to determine the location of the narrations in the primary sources; to detect the link or any blackout in the chain, to reach the nu-merical knowledge of ḥadīth narrated by a companion or other narrators, to obtain information about narrators whose identity is not explicitly stated, to know the first narrator, to provide the protection of the ḥadīths from taḥrīf or alteration, to give the opportunity to identify the subject they contain, to be able to obtain text integrity by getting various chains, the detection of the sabab al-wurūd (the context of ḥadīth).Due to the contributions we have mentioned above, many books on aṭrāf literature that started with Abu’l-Ḥasen Ali b. Omar ad-Dārakutnī have been published. Among them Aṭrāfu’s-ṣaḥīḥayn/el-Jem`u bayna’s-ṣaḥīḥayn by Abū Mas`ūd Ibrāhīm b. Muḥammad b. Ubayd ad-Dimashkī, Aṭrāfu’s-ṣaḥīḥayn by Abū Muḥammad Ḥalaf b. Muḥammad b. Ali al-Vasiṭī, Zaḫāiru’l-mavārīs fi’d-dalālati alā mavāzi`i’l-hadīs by Abdülganī b. İsmāīl en-Nāblūsī and Tuḥfatu’l-ashrāf bi ma`rifati’l-aṭrāf by Abu’l-Ḥajjāj Yūsuf b. Abdurrahman el-Mizzī can be mentioned. Some of the related works are arranged in musnad style while others are arranged according to the first word of ḥadīth texts. As a result, the method of aṭrāf has become a kind of indexer in order to facilitate reaching the source of the re-ports and make the highest level of use required by the classification and bookings of the ḥadīths in the 3rd centu-ry. These works, arranged alphabetically in the name of the Companions or according to the texts of the ḥadīth, have taken their place in the history of the ḥadīth with their many examples, both in the form of taṣnīf and the method of takhrīj by mentioning a part of the ḥadīth by the head. (shrink)

Die Logik, einst Grundbestand der Philosophie, hat sich in unserem J ahrhundert zu einer selbstandigen Wissenschaft ent 1 wickelt. Sie wird zur Abgrenzung gegeniiber friiheren Gestalten "neue Logik" oder "moderne Logik" genannt; auch sind Be zeichnungen wie "theoretische Logik", "mathematische Logik", "symbolische Logik", "formale Logik", "Logistik" gebrauch 2 lich, urn die Eigenart der grundlegenden Methoden anzudeuten. Die genannten Benennungen werden in dieser Arbeit gleichbe rechtigt gebraucht. Mit 1. M. BOCHENSKI und A. MENNE kann man unter Logistik in weiterem Sinne "die (...) Lehre vom Logikkalkiil, seinen Voraus 3 setzungen und Anwendungen" verstehen. Die Absicht dieser Arbeit ist eine philosophische; sie fragt nach dem, was die Aussage als Aussage zum Element positiver Logik werden laBt. In Frage ist daher die Aussagen- und (ele mentare) Pradikatenlogik, die in formaler Hinsicht "durch den Vollstandigkeitssatz (Go DEL I930) und den Unentscheidbarkeits- 1 Texte zur Geschichte der modernen Logik: I.M. BOCHENSKI, Formale Logik, Freiburg-Miinchen I956, S. 3II-477. 2 s. z.B.: B. JUH6s, Elemente der neuen Logik, Wien I954. G. HASEN]AEGER, Einfuhrung in die Grundbegritfe und Probleme der modernen Logik, Freiburg-Miinchen I962. D. HILBERT und W. ACKERMANN, Grundzi~ge der theoretischm Logik, 3. Aufl., B- lin-Gi:ittingen-Heidelberg I949. H. SCHOLZ und G. HASEN]AEGER, Grundzuge der mathematischen Logik, Berlin 1961. H. HERMES, Einfuhrung in die mathematische Logik, Stuttgart 1963. R. CARNAP, Symbolische Logik, Wien 1954. P. LORENZEN, Formale Logik. I.M. BOCHENSKI, GrundrifJ der Logistik, aus dem Franzi:isischen iibers., neubearb. und erweitert von A. MENNE, 2. erweiterte Auf I., Paderborn 1962. (shrink)

Kısa vadeli likidite sağlama ihtiyacının yanı sıra likidite fazlalığını kısa vadeli değerlendirme ihtiyacı finans kurumlarının ortak problemleridir. Konvansiyonel finans kurumları bu ihtiyaçlarının büyük kısmını repo-ters repo işlemleri ile karşılarken katılım finans kurumları ise faiz şüphesi nedeniyle repo-ters repo katılım bankacılığı ilkelerine uymadığı için bu ihtiyaçları karşılama konusunda problemler yaşamaktadır. Bu durum konvansiyonel finans kurumları ile rekabet halindeki katılım finans kurumları aleyhine işlemektedir. Bu makale repo işlemini ana hatlarıyla açıklayıp fıkhi boyutunu izah ettikten sonra Malezya’daki geri alım vaadi ile satım, Türkiye’deki (...) geri alım vaadi ile satım, organize teverruk, menkul kıymet rehinli karz sözleşmesi ve puantaj sistemi ile tekaruz anlaşması gibi halihazırda İslam dünyasında katılım finans kurumlarının repoya alternatif olarak uyguladıkları işlemleri ele almaktadır. Öte yandan bu çalışma kira sertifikalarının geri alım vaadi ile satımı, yatırım fonları, kira sertifikalarının alım satımı ile teverruk işlemi için katılım finans ilkelerine uygun bir pazar kurulması ve devlet destekli karz-ı hasen fonlarının kurulması gibi katılım finans kurumları adına repoya alternatif olarak düşünülen öneriler üzerinde yoğunlaşmaktadır. (shrink)

Bu çalı ş mada Nuh b. Mustafa el-Konevi’nin “fethu'l-celil alâ abdihi'z-zelîl fî beyâni mâ verede fi'l-istihlâf fi'l-cümü'ati mine'l-ekâvil ” adlı risalesinin tahkikli çalı ş ması yapıldı. Büyük bir alim ve fakih olan müellifimiz zamanın Konya müftüsüdür. Mısır’a tabli ğ ve ilmi faaliyetlerini gerçekleçtirmek için hicret ettikten sonra orada vefat etmi ş tir. İ lmi alanlarda bir çok gayreti vardır. Özellikle fıkıh ve fıkıh usulü sahasında önemli eserlere imza atmı ş tır. Söz konusu bu risale, süleymaniye kütüphanesine ba ğ lı veliyüddin (...) Efendi kütüphanesinden elde edilen iki el yazması esas alınarak tahkik edilmi ş tir. “Fethu'l-celil alâ abdihi'z-zelîl fî beyâni mâ verede fi'l-istihlâf fi'l-cümü'ati mine'l-ekâvil” adlı risalesi Cuma günü hutbe okumak için birinin imam tarafından tayin edilme konusunu ele alır. Nitekim son dönem hanefi fakihlerinden İ bn Kemal Pa ş a, Molla Hüsrev, Hasen e ş - Ş ürünbülâlî gibi di ğ er bir ço ğ u bu konuda eser kaleme almı ş tır. Bu sahada telif edenlerden birisi de müellifimiz Nuh b. Mustafa el-Konevi’dir. Bu çalı ş masında, konu gere ğ i alimlerin görü ş lerini zikreder, kendisi ile ihtilafa dü ş en görü ş ü ilmi bir üslupla tartı ş arak analiz ettikten sonra tercih etti ğ i görü ş ü ortaya koyar. Sonuç olarak, hutbe ve namaz için ister özür olsun ister olmasın imamın cemaatten birini tayin etmesi meselesine cevaz verir. (shrink)