Contains the first volume of a new trilogy of Avicenna's _Physics_ and deals with that part of the _Shifā’_ which concerns physics and natural philosophy, in Latin the _Liber primus naturalium_.

The prevalent interpretation of Gödel’s Second Theorem states that a sufficiently adequate and consistent theory does not prove its consistency. It is however not entirely clear how to justify this informal reading, as the formulation of the underlying mathematical theorem depends on several arbitrary formalisation choices. In this paper I examine the theorem’s dependency regarding Gödel numberings. I introducedeviantnumberings, yielding provability predicates satisfying Löb’s conditions, which result in provable consistency sentences. According to the main result of this paper however, these (...) “counterexamples” do not refute the theorem’s prevalent interpretation, since once a natural class ofadmissiblenumberings is singled out, invariance is maintained. (shrink)

Explores the use of allegory in the writing of the renowned 11th- century Muslim philosopher known in the West as Avicenna, showing how it fit into the tradition of Islamic allegory, and has influenced later developments in the East and West. His Mi'rag Nama is translated here as a prime example of the journey allegory. Annotation copyrighted by Book News, Inc., Portland, OR.

In this paper we examine various requirements on the formalisation choices under which self-reference can be adequately formalised in arithmetic. In particular, we study self-referential numberings, which immediately provide a strong notion of self-reference even for expressively weak languages. The results of this paper suggest that the question whether truly self-referential reasoning can be formalised in arithmetic is more sensitive to the underlying coding apparatus than usually believed. As a case study, we show how this sensitivity affects the formal study (...) of certain principles of self-referential truth. (shrink)

On business ethics of Papuan peoples in Indonesia.

In this paper, I set out to argue in favour of a philosophical posthumanist and Nietzschean reading of Ira Levin’s This Perfect Day while demonstrating how transhumanism isunbefitting of being called a Nietzschean theory. I will do this by establishing Chip, the protagonist, as a posthuman and being on the path of the ‘Overhuman’ whereas Wei, the antagonist, will be illustrated as Chip’s intended counterpart the Last Human. Through explaining ‘Transhumansim’ and connecting the field to Wei, I will showcase a (...) new way of reading transhumanist ideology, namely ‘Weiism’. The polar opposite in characters of ‘Overhuman’ and ‘Last Human’ will argue in favour of the Nietzschean paradoxical, as part of philosophical posthumanism. Amor fati and the eternal recurrence become posthumanist narrative tools through their weaving into the posthuman narrative of Chip. My argument is that by making philosophical posthumanism more existentialist in nature, it becomes simpler to argue against nihilistic and totalitarian tendencies of worshipping technology. Finally, it is the spiralling motion forward as a mix between the Nietzschean, eternally cyclical re-inventing of oneself and the posthumanist consideration for the future which makes for a literary combination of the two fields of study. (shrink)

v. 1. Truth of the world -- v. 2 Truth of God -- v. 3. The spirit of truth.

There is a well-known gap between metamathematical theorems and their philosophical interpretations. Take Tarski’s Theorem. According to its prevalent interpretation, the collection of all arithmetical truths is not arithmetically definable. However, the underlying metamathematical theorem merely establishes the arithmetical undefinability of a set of specific Gödel codes of certain artefactual entities, such as infix strings, which are true in the standard model. That is, as opposed to its philosophical reading, the metamathematical theorem is formulated (and proved) relative to a specific (...) choice of the Gödel numbering and the notation system. A similar observation applies to Gödel’s and Church’s theorems, which are commonly taken to impose severe limitations on what can be proved and computed using the resources of certain formalisms. The philosophical force of these limitative results heavily relies on the belief that these theorems do not depend on contingencies regarding the underlying formalisation choices. The main aim of this paper is to provide metamathematical facts which support this belief. While employing a fixed notation system, I showed in previous work (_Review of Symbolic Logic_, 2021, 14(1):51–84) how to abstract away from the choice of the Gödel numbering. In the present paper, I extend this work by establishing versions of Tarski’s, Gödel’s and Church’s theorems which are invariant regarding _both_ the notation system and the numbering. This paper thus provides a further step towards absolute versions of metamathematical results which do not rely on contingent formalisation choices. (shrink)

The main purpose of this work is to provide an English translation of and commentary on a recently published Arabic text dealing with con ditional propositions and syllogisms. The text is that of A vicenna (Abu represents his views on the subject as they were held throughout his life.

This paper investigates the conditions under which diagonal sentences can be taken to constitute paradigmatic cases of self-reference. We put forward well-motivated constraints on the diagonal operator and the coding apparatus which separate paradigmatic self-referential sentences, for instance obtained via Gödel’s diagonalization method, from accidental diagonal sentences. In particular, we show that these constraints successfully exclude refutable Henkin sentences, as constructed by Kreisel.

[1] al-Manṭiq. 1. al-Madkhal. 2. al-Maqūlāt. 3. al-ʻIbārah. 4. al-Qiyās. 5. al-Burhān. 6. al-Jadal. 7. al-Safsaṭah. 8. al-Khaṭābah. 9. al-Shiʻr (4 v.) -- [2] al-Ṭabīʻīyat. 2. al-Samāʼ wa-al-ʻālam. 3. al-Kawn wa-al-fasād. 4. al-Afʻāl wa-al-infiʻālāt. 5. al-Maʻādin wa-al-āthār al-ʻulwīyah. 6. al-Nafs. 7. al-Nabāt -- [3] al-Riyāḍīyāt. [1] Uṣūl al-handasah. 2. al-Ḥisāb. 3. Jawāmiʻ ʻilm al-mūsīqá. [4] al-Ilāhīyāt.

Translated with commentaries from Arabic authors by A. Alpagus Bellunensis.