Ṭūsī, Naṣīr al-Dīn Muḥammad ibn Muḥammad, 1201-127 ; Risālah-i is̲bāt al-ʻaql - Criticism and interpretation.

2. Fī al-quṭb wa-al-aqṭāb wa-al-ghawth wa-dhikr al-abdāl -al-awtād wa-al-nuqabāʼ wa-al-nujabāʼ wa-ghayrihim --.

On Islamic religious life and Islamic ethics in view of various Islamic stories.

Qaṣeeda-i Burdah written by Egyptian sufi poet Busīrī (d. 695/1296) as an eulogy for Beloved Messenger Moḥammed has received great attention in the Islamic world. This work has been recited both in cultural/social ceremonies such as weddings, holidays and funerals. On the other hand, it was also annotated, translated, and takhmīs, tesdīs, tesbī‘ and taşṭīr were written to it by the pen of scholars and litterateurs in literary circles. These activities, which have been carried out over and over again, has (...) been going on from the 15th century to the present day. Not only the reputed people, but also unknown ones or ones whose names were later forgotten have tried to translate it to their own language. The subject of the study is one of this type of poetic translations of the eulogy. Like its translator, date of this poetic translation is also unknown. This work was written in the remel baḥr type of ‘arūż in 162 verses using the spelling of the classical period. Although a significant portion of the rhyme words was adapted from the source text, it has a more understandable style than its counterpart. In terms of poetry, it is above the average. The translator decorated the meaning that he borrowed from the original text with his own poetic ability and tried to express it in a unique manner. For this aim, it is more literary, lyrical and successful than most other translations of Qaṣeeda-i Burdah. In the present study, text of the mentioned work was given with transcription along with mentioning of some of its features. Summary: Qaṣeeda-i Burdah written by Egyptian sufi poet Buṣīrī (d. 695/1296) has an important place in the Islamic world. Named by the poet himself as al-Kavākib-al-durriya fī madḥi khayr-al-bariyya, this work is also known as al-Qaṣeedat-al-mīmiyya since its rhyme letter is Arabic mim, as Qaṣeeda-i Bur’ah since it caused Buṣīrī to recover from a disease, as Qaṣeeda-i Burdah due to the rumor that this event took place while he was wearing a coat by the hands of Beloved Messenger Moḥammed. In order to prevent confusion with the eulogy of Ka‘b b. Zuhayr (d. 24/645) with the same name, it is known in cultural circles as Qaṣeeda-i Bur’ah. However, in literature, it is commonly referred as Qaṣeeda-i Burdah. The work was written in simple baḥr style of ‘arūż, and consists of 161 couplets. It has ten sections in terms of its content: longing for the beloved, complaining about the soul, eulogy for Beloved Messenger Moḥammed, his birth, miracles, dignity of the Holy Qur’ān, miracle of mi‘rāc, importance of jihad, sorrow, hope, prayer and request. The eulogy, which has an effective style, has gained great acclaim in the Islamic geography and has been read for various purposes for centuries. Some people recite it in wedding ceremonies, while some others use it in funerals. The sick people recite it with the hope of healing, while calligraphers wrote it for practice.Owing its fame more to its story rather than its value of art, the eulogy was translated into Eastern languages such as Persian, Malay, Pashto, Punjabi, Turkish and Urdu, as well as into Western languages such as German, French, Greek, English, Spanish, Italian and Latin. In addition, many annotations, footnotes, takhmīs, tesdīs, tesbī‘, taşṭīr and replies were written to it. For example, the poem annotated in Arabic by Ebū Shāme al-Maqdisī (d. 665/1266), Khalid b. ‘Abdullah al-Ezherī (d. 905/1499), Ibrahim b. Moḥammed al-Bacurī (d. 1277/1860), ‘Omer b. Aḥmed al-Ḥarpuṭī (d. 1299/1882) was translated into Persian by the men of letters such as Molla Ḥafıẓ Sharaf (d. after 810/1407), ‘Iṣāmuddin b. ‘Arabshah al-Isfarayinī (d. 945/1538), ‘Ali b. Ḥasan Zavareī (d. 968/1560). The work was annotated by Le‘alī Aḥmed b. Muṣṭafa (d. 971/1563), Sayyid Ḥasan b. ‘Abdurraḥman (d. 1071/1661), Naẓifī Ismail Aqḥiṣarī (d. after 1205/1790), Shaykh-al-Islam Makkī Meḥmed (d. 1212/1797), Moḥammed b. Fayżullah (d. 1231/1816), Moḥammed b. Aḥmed (d. 1318/1900), Anqara Governor ‘Abidin Pasha (d. 1324/1906) in Turkish language. Takhmīs was written to the work by poets such as Ṭashkoprizade Kemaleddin (d. 1030/1621) Khocazāde Asad (d. 1034/1625), Sayyid Moḥammed Sharifī (d. 1040/1631), Shaykh-al-Islam Yahya (d. 1053/1644), Suleyman Naḥifī (d. 1151/1738), ‘Abdullah Ṣalaḥī (d. 1197/1783), Shaykh-al-Islam Makkī Meḥmed, Mollacıqzāde Raif (d. 1238/1823), Muṣṭafa Maqṣud (d. 1258/1843), Yemliḥazāde Muṣṭafa (d. 1294/1878), Meḥmed Said Pasha (d. 1308/1892), Moḥammed Favzī (d. 1318/1900) while Ismail Mufid (d. 1217/1803) wrote tesdīs and Niyazī-i Mıṣrī (d. 1105/1694) wrote tesbī‘ to it.The work was translated into Turkish language by poets such as ‘Abdurraḥim Qaraḥiṣarī (d. after 888/1483), Kemal Pashazāde (d. 940/1534), Ahmed-i Rıḍvan (d. before 945/1538) Le‘alī Aḥmed b. Muṣṭafa, Shamsaddin Sivasī (d. 1006/1597), Kemalatī Meḥmed (d. before 1015/1606), Esasī (d. before 1041/1631), Sayyid Ḥusayin (d. after 1050/1641), Mehmed Ṭalib (d. 1089/1679), Sukutī Meḥmed (d. 1103/1691), ‘Abdulhay Jalvatī (d. 1117/1705), Sulayman Naḥifī, ‘Abdullah Ḥulvanī (d. 1159/1746), Aḥmed ‘Arifī (d. after 1195/1781), ‘Abdullah Ṣalaḥī, Ismail Mufid, Sivaslı Aḥmed Suzī (d. 1246/1830), Evranyali ‘Abdurraḥim (d. 1282/1865), Meḥmed Said Pasha, Qonyalı Fakhreddin (d. 1365/1950), Sazai Qaraqoç (d. 1933), Ilhan Armutchuoghlu (d. 1937), Maḥmut Qaya (d. 1945), but there are also translations whose translators are unknown. The present study deals with such a translation of the work. To our best knowledge, the translation that has not been paid much attention by scholars to date and was mentioned only by Ṣadıq Yazar. Even he articulated only a few sentences about the translation based on a deficient copy of the work. Both in the library records and in its copies, there was no information about the translator and the translation date of the work. The translation, which beginns directly without a section such as an introduction at the opening, was written in 162 verses with the spelling of the classical period. It has a remel baḥr style of ‘arūż structure with fā‘ilātun fā‘ilātun fā‘ilātun fā‘ilun rhythm. Although it has some ‘arūż mistakes, it can be said that it is successful in terms of rhythm. Using the source text rhyme of mīm letter, the translator directly adapted some rhyme words from the Arabic text, while converting some others to appropriate Turkish words. Although he used some of them only once, he used some others several times. This finding implies that the translator may have had difficulties in finding words for the rhyme. It is noteworthy that he used some of those words in different meanings, and he employed 99 different rhymes in 162 couplets. The translator used the original text for purposes other than the rhyme words. He used some words directly without translating them or only removed the ḥarf-i ta‘rif. He transformed some words to others with the same stem or to their counterparts in Persian. While converting some of the phrases to forms suitable for the structure of the Turkish language using various practices, he used the old Anatolian Turkish as well as living Turkish. Like Buṣīrī’s eulogy, the poem, which consists of 10 parts in terms of contents, is suitable for the contents of the source text, but it is not a literal translation. The translator, who cared about literary rhetoric, largely preserved or even contributed to the harmony elements of the text. He reinterpreted the meaning of Buṣīrī’s work using his poetry skills, and produced a successful translation in terms of poetry with minimal rhyme flaws. Considering other translations of Qaṣeeda-i Burdah, the translation has similarities with that by Uskudarlı ‘Abdulhay Jalvatī in terms of rhyme letter, with that by Sayyid Husayin Amasī in terms of rhyme, and with that by Ismail Mufid Afandi in terms of direct adaptation of some words in original text, while it has common characteristics with the translation by Naḥifī in terms of both rhyme letter and direct adaptation of most rhyme words from the original text. On the other hand, the translation has similarities with the translations by Kemal Pashazāde, Ahmed-i Rıḍvan, Esasī Afandi, ‘Abdullah Ṣalaḥī and Na‘imī in terms of rhyme letter, rhyme and adaptation of most rhyme words from the original text. However, it is simpler compared to the translation by Kemal Pashazāde, more loyal to the content of original text compared to the translation by Ahmed-i Rıḍvan and more robust in terms of rhyme compared to the translation by Na‘imī. (shrink)

I develop a formal logic in which quantified arguments occur in argument positions of predicates. This logic also incorporates negative predication, anaphora and converse relation terms, namely, additional syntactic features of natural language. In these and additional respects, it represents the logic of natural language more adequately than does any version of Frege’s Predicate Calculus. I first introduce the system’s main ideas and familiarize it by means of translations of natural language sentences. I then develop a formal system built on (...) these principles, the Quantified Argument Calculus or Quarc. I provide a truth-value assignment semantics and a proof system for the Quarc. I next demonstrate the system’s power by a variety of proofs; I prove its soundness; and I comment on its completeness. I then extend the system to modal logic, again providing a proof system and a truth-value assignment semantics. I proceed to show how the Quarc versions of the Barcan formulas, of their converses and of necessary existence come out straightforwardly invalid, which I argue is an advantage of the modal Quarc over modal Predicate Logic as a system intended to capture the logic of natural language. (shrink)

In this book, Ben-Yami reassesses the way Descartes developed and justified some of his revolutionary philosophical ideas. The first part of the book shows that one of Descartes' most innovative and influential ideas was that of representation without resemblance. Ben-Yami shows how Descartes transfers insights originating in his work on analytic geometry to his theory of perception. The second part shows how Descartes was influenced by the technology of the period, notably clockwork automata, in holding life to be a mechanical (...) phenomenon, reducing the soul to the mind and considering it immaterial. Ben-Yami explores the later role of the digital computer in Turing's criticism of Descartes' ideas. The last part discusses the Meditations: far from starting everything afresh without presupposing anything that can be doubted, Descartes' innovations in the dream argument, the cogito and elsewhere are modifications of old ideas based upon considerations issuing from his separately developed theories, formed under the influence of the technology, mathematics and science of his age. (shrink)

David Malament tried to show that the causal theory of time leads to a unique determination of simultaneity relative to an inertial observer, namely standard simultaneity. I show that the causal relation Malament uses in his proofs, causal connectibility, should be replaced by a different causal relation, the one used by Reichenbach in his formulation of the theory. I also explain why Malament's reliance on the assumption that the observer has an eternal inertial history modifies our conception of simultaneity, and (...) I therefore eliminate it. Having made these changes, Malament's uniqueness result no longer follows, although the conventionality of simultaneity is not reinstated. I contrast my approach with previous criticisms of Malament. Introduction Causality and Temporal Order Malament's Argument Causality versus Causal Connectibility Simultaneity and History Conclusion. (shrink)

I develop a solution to the Sorites Paradox, according to which a concatenation of valid arguments need not itself be valid. I specify which chains of valid arguments are those that do not preserve validity: those that pass the vague boundary between cases where the relevant concept applies and cases where that concept does not apply. I also develop various criticisms of this solution and show why they fail; basically, they all involve a petitio at some stage. I criticise the (...) conviction that if every short argument in a long concatenated argument is valid, so is the long argument: it is, I argue, the result of an unjustified generalisation from the case of arguments that do not employ vague concepts (as in mathematics) to arguments that do employ them. My approach is Wittgensteinian in its “leaving everything as it is,” in its claiming that the “beginning” has been searched too far back (see paper's epigraph) and in its claim that the paradox was generated by a misapplication of a partial picture of the behaviour of arguments. I conclude my paper by comparing and contrasting my approach to the few precedents found in the vagueness literature and by answering a few additional objections that were raised there. (shrink)

Searle's Chinese Room was supposed to prove that computers can't understand: the man in the room, following, like a computer, syntactical rules alone, though indistinguishable from a genuine Chinese speaker, doesn't understand a word. But such a room is impossible: the man won't be able to respond correctly to questions like What is the time?, even though such an ability is indispensable for a genuine Chinese speaker. Several ways to provide the room with the required ability are considered, and it (...) is concluded that for each of these the room will have understanding. Hence, Searle's argument is invalid. (shrink)

The Modal Predicate Calculus gives rise to issues surrounding the Barcan formulas, their converses, and necessary existence. I examine these issues by means of the Quantified Argument Calculus, a recently developed, powerful formal logic system. Quarc is closer in syntax and logical properties to Natural Language than is the Predicate Calculus, a fact that lends additional interest to this examination, as Quarc might offer a better representation of our modal concepts. The validity of the Barcan formulas and their converses is (...) shown by Quarc to be a result of the specific incorporation of quantification in the Predicate Calculus, and not as reflecting a feature of the interaction of quantification and modality more generally. Necessary existence is shown to follow from the identification, in the Predicate Calculus on its canonical interpretation, of particular quantification, ascription of existence and the ‘there is’ construction, three constructions which are distinguished in both Quarc and Natural Language. The issues surrounding the Barcan formulas, their converses and necessary existence are thus shown to be an artefact of a specific logic system, not an essential feature of our relevant modal concepts or of formal logic. (shrink)

تتناول هذه الدراسة البحث في متغيرات أو ظواهر أمبريقية وإنما موضوع بحثها يركز على بنية حقل معرفي هو السياسة المقارنة ومحاولة تحليل نظرياته تحليلا ابستمولوجيا يركز بصورة أساسية على المبادئ والفرضيات الكامنة والنتائج، ويدمج ذلك بمقولات تاريخية العلم وعلم اجتماع العلم وفلسفة العلم. وحيث أن أي دراسة تتخذ شكل نص قابل للفهم، فإنه لا بد وأن تقوم على فرضيات معينة سواء كانت ظاهرة أو ضمنية واعية أو غير واعية، لذلك فهناك خلاف حاد حول تعريف الفروض وحول تحديد المفاهيم التي تطلق (...) عليها فتارة يطلق عليها hypatheses وأخرى propositions وثالثة assumptions. ومن ثم تعدد تعريفاتها ابتداء من كونها مقولات لم يثبت صدقها من كذبها أو علاقة بين متغيرين... الخ، وأكثر تعريفاتها معقولية أن الفرض يتكون من ثلاثة عناصر: طرفين وعلاقة بينها، والعلاقة دائما منطقية، أم الطرفان فتارة يكونان امبريقيين وأخرى يكونان نظريين وثالثة أحدهما امبريقي والآخر نظري ولذا يكون هناك افتراض أمبريقي، وآخر نظري، وثالث فلسفي. وفي هذه الدراسة سوف يتم صياغة الفروض في صورة تساؤلات أو قضايا إشكاليّة تقود البحث وتوجه الباحث في التحليل والتفسير وذلك لأن الفروض بالمعنى السابق الإشارة إليه هي موضوع هذه الدراسة. (shrink)

The reason for characterizing mental states as propositional attitudes is sentence form: ‘S Vs that p’. However, many mental states are not ascribed by means of such sentences, and the sentences that ascribe them cannot be appropriately paraphrased. Moreover, even if a paraphrase were always available, that in itself would not establish the characterization. And the mental states that are ascribable by appropriate senses do not form any natural subset of mental states. A reason for the characterization relying on beliefs, (...) etc., about non‐existing things is also rejected. Last, some sentences ascribing abilities and dispositions have the same grammatical form as some senses that ascribe mental states, so that the attempt to paraphrase the latter would obscure the conceptual relations between the two sorts. It follows that mental states are not relations to propositions. (shrink)

This paper criticizes Kripke’s and Putnam’s theory of the semantics of natural kind terms (KPT) and develops an alternative theory. It first examines description theories of natural kind terms, to see what their flaws are and what can be preserved of them. It then presents the KPT and makes three main criticisms. These rely on the meaning of elementary particles’ names, on reactions to the absence of a common essential nature, and on applications of old terms to new cases. Lastly, (...) it develops a theory that takes noun phrases to be plural referring expressions, and shows how that theory meets the objections to the KPT. (shrink)

I reconstruct from Rietdijk and Putnam’s well-known papers an argument against the applicability of the concept of becoming in Special Relativity, which I think is unaffected by some of the objections found in the literature. I then consider a line of thought found in the discussion of the possible conventionality of simultaneity in Special Relativity, beginning with Reichenbach, and apply it to the debate over becoming. We see that it immediately renders Rietdijk and Putnam’s argument unsound. I end by comparing (...) my approach to others found in the literature, primarily Stein’s. (shrink)

(No abstract is available for this citation).

Lawami' al-Nazar fi Tahqiq Ma'ani al-Mukhtasar is Aḥmad b. Ya'qub al-Wallali's (d. 1128/1716) commentary on al-Sanusi's (d. 895/1490) compendium of logic, al-Mukhtasar. Al-Wallali was the first commentator on al-Sanusi's compendium after the author's autocommentary. In this publication, Ibrahim Safri offers a critical edition of this work, together with a study of the author's life and oeuvre. Safri also tries to show the indirect influence of Avicennism on logic in the Maghribi tradition in the seventeenth and eighteenth centuries. On the basis (...) of his writings on logic and philosophical theology, al-Wallali was considered a master of rational sciences by his contemporaries. (shrink)

Frege's invention of the predicate calculus has been the most influential event in the history of modern logic. The calculus’ place in logic is so central that many philosophers think, in fact, of it when they think of logic. This book challenges the position in contemporary logic and philosophy of language of the predicate calculus claiming that it is based on mistaken assumptions. Ben-Yami shows that the predicate calculus is different from natural language in its fundamental semantic charac.

Curtain. On the stage there's a row of about forty heads, of natural size, on a long and narrow white board roughly chest height, arranged facing the audience with equal spaces between them from near the left end of the stage to near its right end. The heads are all identical apart from two features. First, the leftmost head is completely bald, the rightmost head has lots of hair on its scalp, and the amount of hair on the heads increases (...) gradually and uniformly from left to right, so that it is hard to discern a difference between any two consecutive heads. Secondly, the colour of the heads changes from bright red on the left to bright orange on the right, again so gradually that it is hard to discern a difference between any two consecutive heads. Apart from the row of heads the stage is empty, with dark background. (shrink)

The Quantified Argument Calculus (Quarc) is a formal logic system, first developed by Hanoch Ben-Yami in (Ben-Yami 2014), and since then extended and applied by several authors. The aim of this paper is to further these contributions by, first, providing a philosophical motivation for the truth-valuational, substitutional approach of (Ben-Yami 2014) and defending it against a common objection, a topic also of interest beyond its specific application to Quarc. Second, we fill the formal lacunae left in the original presentation, which (...) did not incorporate identity systematically into Quarc, and although it proved the soundness of the system did not prove its completeness. (shrink)

I show that the contemporary dominant analysis of natural language quantifiers that are one-place determiners by means of binary generalized quantifiers has failed to explain why they are, according to it, conservative. I then present an alternative, Geachean analysis, according to which common nouns in the grammatical subject position are plural logical subject-terms, and show how it does explain that fact and other features of natural language quantification.

Dummett and others have failed to show that an effect can precede its cause. Dummett claimed that 'backwards causation' is unproblematic in agentless worlds, and tried to show under what conditions it is rational to believe that even backwards agent-causation occurs. Relying on considerations originating in discussions of special relativity, I show that the latter conditions actually support the view that backwards agent-causation is impossible. I next show that in Dummett's agentless worlds explanation does not necessitate backwards causation. I then (...) show why even relative backwards causation is impossible in his and Tooley's scenarios of parallel processes in which causes apparently act in opposite temporal directions. We thus have good reasons for thinking that backwards causation is impossible. (shrink)

Ben-Yami presents Wittgenstein’s explicit criticism of the Platonic identification of an explanation with a definition and the alternative forms of explanation he employed. He then discusses a few predecessors of Wittgenstein’s criticisms and the Fregean background against which he wrote. Next, the idea of family resemblance is introduced, and objections answered. Wittgenstein’s endorsement of vagueness and the indeterminacy of sense are presented, as well as the open texture of concepts. Common misunderstandings are addressed along the way. Wittgenstein’s ideas, as is (...) then shown, have far-reaching implications for knowledge of meaning and the nature of logic, and with them to the nature of the philosophical project and its possible achievements. (shrink)

What is simultaneous with an event is what can interact with it; events have duration; therefore, any given event has distant events simultaneous with it, even according to Special Relativity. Consequently, the extension of our pre-relativistic judgments of distant simultaneity are largely preserved.

Descartes was the first to hold that, when we perceive, the representation need not resemble what it represents but should correspond to it. Descartes developed this ground-breaking, influential conception in his work on analytic geometry and then transferred it to his theory of perception. I trace the development of the idea in Descartes’ early mathematical works; his articulation of it in Rules for the Direction of the Mind; his first suggestions there to apply this kind of representation-by-correspondence in the scientific (...) inquiry of colours; and, finally, the transfer of the idea to the theory of perception in The World. (shrink)

Frege analyzed the grammatical subject-term 'S' in quantified subject-predicate sentences, 'q S are P', as being logically predicative. This is in contrast to Aristotelian Logic, according to which it is a logical subject-term, like the proper name 'a' in 'a is P' – albeit a plural one, designating many particulars. I show that Frege's arguments for his analysis are unsound, and explain how he was misled to his position by the mathematical concept of function. If common nouns in this grammatical (...) subject position are indeed logical subject-terms, this should require a thorough reevaluation of the adequacy of Frege's Predicate Calculus as a tool for the analysis of the logic and semantics of natural language. (shrink)

An expression of disagreement with the views stated in The New York Declaration on Animal Consciousness.

Professional ethics -- Religious aspects -- Islam.

In Naming and Necessity Kripke argues 'intuitively' that names are rigid. Unlike Kripke, Ben-Yami first introduces and justifies the Principle of the Independence of Reference (PIR), according to which the reference of a name is independent of what is said in the rest of the sentence containing it. Ben-Yami then derives rigidity, or something close to it, from the PIR. Additional aspects of the use of names and other expressions in modal contexts, explained by the PIR but not by the (...) rigidity claim, are then discussed. Ben-Yami next examines a difficulty in accepted definitions of rigidity, stemming from the fact that the same name can be used to name different particulars. This difficulty might force us to adopt a revised form of the rigidity claim. (shrink)

In Naming and Necessity Kripke argued against the possible existence of fictional characters. I show that his argument is invalid, analyze the confusion it involves, and explain why the view that fictional characters could not have existed is implausible.

The formalisation of Natural Language arguments in a formal language close to it in syntax has been a central aim of Moss’s Natural Logic. I examine how the Quantified Argument Calculus (Quarc) can handle the inferences Moss has considered. I show that they can be incorporated in existing versions of Quarc or in straightforward extensions of it, all within sound and complete systems. Moreover, Quarc is closer in some respects to Natural Language than are Moss’s systems – for instance, is (...) does not use negative nouns. The process also sheds light on formal properties and presuppositions of some inferences it formalises. Directions for future work are outlined. (shrink)

I show that intuitive and logical considerations do not justify introducing Leibniz’s Law of the Indiscernibility of Identicals in more than a limited form, as applying to atomic formulas. Once this is accepted, it follows that Leibniz’s Law generalises to all formulas of the first-order Predicate Calculus but not to modal formulas. Among other things, identity turns out to be logically contingent.