Avicenna believed in mathematical finitism. He argued that magnitudes and sets of ordered numbers and numbered things cannot be actually infinite. In this paper, I discuss his arguments against the actuality of mathematical infinity. A careful analysis of the subtleties of his main argument, i. e., The Mapping Argument, shows that, by employing the notion of correspondence as a tool for comparing the sizes of mathematical infinities, he arrived at a very deep and insightful understanding of the notion of mathematical (...) infinity, one that is much more modern than we might expect. I argue, moreover, that Avicenna’s mathematical finitism is interwoven with his literalist ontology of mathematics, according to which mathematical objects are properties of existing physical objects. (shrink)

W.L. Craig has argued that the universe has a beginning because the infinitude of the past entails the existence of actual infinite multitudes of past intervals of time, and the existence o...

The medieval Islamic solutions to the liar paradox can be categorized into three different families. According to the solutions of the first family, the liar sentences are not well-formed truth-apt...

Criticizing Richard Swinburne’s conception of God, John Hick argues that God cannot be personal because infinity and personhood are mutually incompatible. An essential characteristic of a person, Hick claims, is having a boundary which distinguishes that person from other persons. But having a boundary is incompatible with being infinite. Infinite beings are unbounded. Hence God cannot be thought of as an infinite person. In this paper, I argue that the Hickian argument is flawed because boundedness is an equivocal notion: in (...) one sense it is not essential to personhood, and in another sense—which is essential to personhood—it is compatible with being infinite. (shrink)

In an illuminating article, Dimitri Gutas has tried to show that Avicenna's theory of knowledge should be understood within a full-blown empiricist framework very similar to that of John Locke.1 Gutas' argument is based on an analysis of Avicennian 'principles of syllogism'2. The principles of syllogism are those judgments and propositions that form the irreducible and axiomatic foundations of syllogisms and definitions.3 Avicenna categorizes these principles based on how we accept and acknowledge the truth of them. This categorization appears, with (...) some slight modifications, in many places in Avicenna's oeuvre, for example in the Kitāb al-Burhān of al-Šifā',4 and the logic parts of... (shrink)

Some authors have proposed that Avicenna considers mathematical objects, i.e., geometric shapes and numbers, to be mental existents completely separated from matter. In this paper, I will show that this description, though not completely wrong, is misleading. Avicenna endorses, I will argue, some sort of literalism, potentialism, and finitism.

Concept originalism, recently introduced and defended by Sainsbury and Tye, Tye, and Sainsbury, holds that “atomic concepts are to be individuated by their historical origins, as opposed to their semantic or epistemic properties”. The view is immune to Gareth Evans’s “Madagascar” objection to the Causal Theory of Reference since it allows a concept to change its reference over time without losing its identity. The possibility of reference-shift, however, raises the problem of misleading belief reports. S&T try to tackle the problem (...) by strengthening the sufficient condition for a truthful belief report. We will argue that, first, their solution fails, second, and more importantly, their diagnosis of the root of the problem is misguided, third, two initially appealing ways out of the problem fail, and fourth, the prospect of finding a solution to the problem within CO is dim. The view opens the Pandora’s box of reference-shift, in a wide range of cases, without providing the necessary semantic means to take care of them. (shrink)

In his "The Empiricism of Avicenna," Dimitri Gutas interprets Avicenna as an empiricist.1 He analyzes Avicennian 'principles of syllogism' and claims that none of them are a priori. Moreover, regarding awwalīyāt and fiṭrīyāt—which are two groups of such principles—Gutas suggests that "[i]t appears that both kinds of propositions would be analytic, in Kantian terms. As for Locke, they would be what he called 'trifling.'"2 In my first comment in this issue, I disagreed with this view and argued that these two (...) groups of propositions are a priori in the Kantian sense. Assenting to their truth is internal to the intellect and independent of empirical information. I also argued that at least some fiṭrīyāt are synthetic... (shrink)

I will briefly argue that theological fatalism is not a genuine ‘theological’ problem, for it can be reduced to another alleged incompatibility that arises independently of the existence or non-existence of God. I will conclude that the way of arguing against the existence of God or His omniscience by appealing to theological fatalism is blocked for libertarian atheists.

The Polish researcher in the field of logic and philosophy, Jan Woleński, in one of his recent articles, "Metalogical Observations About the Underdetermination of Theories by Empirical Data," logically formalized two weak and strong versions of the underdetermination of theories by empirical data (or UT by abbreviation) and with these formalization has metalogically analyzed these two versions. Finally he has deducted that the weak version is defensible while the strong version is not. In this paper we will critically study Woleński’s (...) analysis of the strong version of UT. (shrink)