The aim of this essay is to show that the subject-matter of ontology is richer than one might have thought. Our route will be indirect. We will argue that there are circumstances under which standard first-order regimentation is unacceptable, and that more appropriate varieties of regimentation lead to unexpected kinds of ontological commitment.

I have two main objectives. The first is to get a better understanding of what is at issue between friends and foes of higher-order quantification, and of what it would mean to extend a Boolos-style treatment of second-order quantification to third- and higherorder quantification. The second objective is to argue that in the presence of absolutely general quantification, proper semantic theorizing is essentially unstable: it is impossible to provide a suitably general semantics for a given language in a language of (...) the same logical type. I claim that this leads to a trilemma: one must choose between giving up absolutely general quantification, settling for the view that adequate semantic theorizing about certain languages is essentially beyond our reach, and countenancing an open-ended hierarchy of languages of ever ascending logical type. I conclude by suggesting that the hierarchy may be the least unattractive of the options on the table. (shrink)

This essay is a study of ontological commitment, focused on the special case of arithmetical discourse. It tries to get clear about what would be involved in a defense of the claim that arithmetical assertions are ontologically innocent and about why ontological innocence matters. The essay proceeds by questioning traditional assumptions about the connection between the objects that are used to specify the truth-conditions of a sentence, on the one hand, and the objects whose existence is required in order for (...) the truth-conditions thereby specified to be satisfied, on the other. This allows one to set forth an assignment of truth-conditions to arithmetical sentences whereby nothing is required of the world in order for the truth-conditions of a truth of pure arithmetic to be satisfied. The essay then argues that such an assignment can be used to account for the a priori knowability of certain arithmetical truths. (shrink)

I show that any sentence of nth-order (pure or applied) arithmetic can be expressed with no loss of compositionality as a second-order sentence containing no arithmetical vocabulary, and use this result to prove a completeness theorem for applied arithmetic. More specifically, I set forth an enriched second-order language L, a sentence A of L (which is true on the intended interpretation of L), and a compositionally recursive transformation Tr defined on formulas of L, and show that they have the following (...) two properties: (a) in a universe with at least [HEBREW LETTER BET] $_{n-2}$ objects, any formula of nth-order (pure or applied) arithmetic can be expressed as a formula of L, and (b) for any sentence $\ulcorner \phi \urcorner$ of L, $\ulcorner \phi^{Tr} \urcorner$ is a second-order sentence containing no arithmetical vocabulary, and nth $\mathcal{A} \vdash \ulcorner \phi \longleftrightarrow \phi^{Tr} \urcorner$. (shrink)

Standard Type Theory, ${\textrm {STT}}$, tells us that $b^n$ is well-formed iff $n=m+1$. However, Linnebo and Rayo [23] have advocated the use of Cumulative Type Theory, $\textrm {CTT}$, which has more relaxed type-restrictions: according to $\textrm {CTT}$, $b^\beta $ is well-formed iff $\beta>\alpha $. In this paper, we set ourselves against $\textrm {CTT}$. We begin our case by arguing against Linnebo and Rayo’s claim that $\textrm {CTT}$ sheds new philosophical light on set theory. We then argue that, while (...) $\textrm {CTT}$ ’s type-restrictions are unjustifiable, the type-restrictions imposed by ${\textrm {STT}}$ are justified by a Fregean semantics. What is more, this Fregean semantics provides us with a principled way to resist Linnebo and Rayo’s Semantic Argument for $\textrm {CTT}$. We end by examining an alternative approach to cumulative types due to Florio and Jones [10]; we argue that their theory is best seen as a misleadingly formulated version of ${\textrm {STT}}$. (shrink)

I argue for a conception of essence that does not rely on distinctions of metaphysical fundamentality.

Our conception of logical space is the set of distinctions we use to navigate the world. Agustn Rayo argues that this is shaped by acceptance or rejection of 'just is'-statements: e.g. 'to be composed of water just is to be composed of H2O'. He offers a novel conception of metaphysical possibility, and a new trivialist philosophy of mathematics.

I wonder which one in a series of characters Agustín Rayo really is, with an emphasis on objective correctness and semantics.

The problem of absolute generality has attracted much attention in recent philosophy. Agustin Rayo and Gabriel Uzquiano have assembled a distinguished team of contributors to write new essays on the topic. They investigate the question of whether it is possible to attain absolute generality in thought and language and the ramifications of this question in the philosophy of logic and mathematics.

In his important book The Construction of Logical Space, Agustín Rayo lays out a distinctive metametaphysical view and applies it fruitfully to disputes concerning ontology and concerning modality. In this article, I present a number of criticisms of the view developed, mostly focusing on the underlying metametaphysics and Rayo’s claims on its behalf.

It would be good to have a Bayesian decision theory that assesses our decisions and thinking according to everyday standards of rationality — standards that do not require logical omniscience (Garber 1983, Hacking 1967). To that end we develop a “fragmented” decision theory in which a single state of mind is represented by a family of credence functions, each associated with a distinct choice condition (Lewis 1982, Stalnaker 1984). The theory imposes a local coherence assumption guaranteeing that as an agent's (...) attention shifts, successive batches of "obvious" logical information become available to her. A rule of expected utility maximization can then be applied to the decision of what to attend to next during a train of thought. On the resulting theory, rationality requires ordinary agents to be logically competent and to often engage in trains of thought that increase the unification of their states of mind. But rationality does not require ordinary agents to be logically omniscient. (shrink)

Gödel claimed that Zermelo-Fraenkel set theory is 'what becomes of the theory of types if certain superfluous restrictions are removed'. The aim of this paper is to develop a clearer understanding of Gödel's remark, and of the surrounding philosophical terrain. In connection with this, we discuss some technical issues concerning infinitary type theories and the programme of developing the semantics for higher-order languages in other higher-order languages.

Kavramlar doğru anlamlandırılmadığı takdirde meselelerin anlaşılması noktasında yanlış sonuçlara varmanın kaçınılmaz olduğu bir hakikattir. Fıtrat kavramı bu manada insanın neliği bağlamında başat kavram olarak her daim farklı değerlendirmelere konu olmuştur. İnsanın, gerek kendisini var eden Allah ile olan ilişkisi gerekse hemcinsleriyle ve içerisinde yaşadığı âlemle ilişkisi çerçevesinde bu kavramın anlam alanının tespiti yine ait olduğu dünya üzerinden yapıldığı zaman konu hakkında doğru sonuçların elde edilmesine imkân tanıyacaktır. Kur’ân ve hadislerde yerini bulan fıtrat kavramının anlam alanına yönelik çalışmaların bu alanlarda derinlemesine (...) tahlili noktasında söz konusu metinleri, kendi iç bütünlükleri ve birbirleriyle olan ilişkileri bağlamında meseleyi ele alması, en sağlıklı yol olacaktır. Bu çalışmada kavramın önce sözlük anlamı, türevleri üzerinden ele alınmış daha sonra Kur’ân ve hadislerde geçtiği durumları, belirtilen usûl üzerinden değerlendirmeye tâbi tutulmuştur. Sonuç olarak luğavî anlamı da dikkate alınarak fıtrat kavramı ile Kur’ân’da insanın Allah’la ilişkisine, hadislerde ise insanın doğasındaki sâfiyete ve insanlarla olan ilişkisinde dikkat gerektiren yönüne vurgu yapıldığı ortaya konulmaya çalışılmıştır. (shrink)

"--Brian Greene, Columbia University "This book includes material that is intellectually innovative and comes as a surprise even to specialists in the field.

NG van Kampen is a well-known theoretical physicist who has had a long and distinguished career. His research covers scattering theory, plasma physics, statistical mechanics, and various mathematical aspects of physics. In addition to his scientific work, he has written a number of papers about more general aspects of science. An indefatigable fighter for intellectual honesty and clarity, he has pointed out repeatedly that the fundamental ideas of physics have been needlessly obscured. As those papers appeared in various journals, partly (...) in Dutch, it was felt that it would be worthwhile to collect them and make them available to a larger audience. This is a book of major importance to scientists and university teachers. (shrink)

Modal logicism is the view that a metaphysical possibility is just a non-absurd way for the world to be. I argue that modal logicists should see metaphysical possibility as "open ended'': any given possibilities can be used to characterize further possibilities. I then develop a formal framework for modal languages that is a good fit for the modal logicist and show that it delivers some attractive results.

I propose a way of thinking aboout content, and a related way of thinking about ontological commitment. (This is part of a series of four closely related papers. The other three are ‘On Specifying Truth-Conditions’, ‘An Actualist’s Guide to Quantifying In’ and ‘An Account of Possibility’.).

Öz Çalışmanın konusu irfanî geleneğin on beşinci yüzyıldaki önemli temsilcilerinden ve aynı zamanda İbnü’l-Arabî’nin takipçilerinden biri olan İbn Türke’nin varlık mertebelerine dair görüşleridir. Konu, İbn Türke’nin varlık ve varlığın mertebeleri ile ilgili düşüncelerinden hareketle hazırlanmıştır. Birincil kaynakların esas alındığı bu çalışmada, İbn Türke ve Ekberî geleneğin önemli temsilcilerinin eserlerine müracaat edilmiştir. Çalışmanın amacı, felsefe ve kelâmın yanı sıra tasavvuf felsefesinin en önemli konularından biri olan varlık düşüncesi ve varlık mertebelerini İbn Türke’nin görüşleri çerçevesinde ele alarak âlemdeki varoluşun hakikatinin ne olduğu, (...) insanoğlunun özünün nereden geldiği gibi temel sorulara cevap olabilecek özgün bir çalışma ortaya koymaktır. Bu çalışmayla; varlığın bir ve tek hakikat olduğu, Hak’tan feyz ederek görünür âlemde ortaya çıkan her şeyin O’nun isim ve sıfatlarının tecellisi olduğu, her ne kadar Hak’tan ayrıymış gibi görünse de aslında Hakk’a doğru sonsuz bir dönüş içerisinde olduğu, dolayısıyla tek varlıktan kaynaklı çok sayıda varlığın esasen yokluğa mahkûm olduğu ve asıl varlığın Allah olduğu sonucuna varılmıştır. (shrink)

According to familiar accounts, Rousseau held that humans are actuated by two distinct kinds of self love: amour de soi, a benign concern for one's self-preservation and well-being; and amour-propre, a malign concern to stand above other people, delighting in their despite. I argue that although amour-propre can (and often does) assume this malign form, this is not intrinsic to its character. The first and best rank among men that amour-propre directs us to claim for ourselves is that of occupying (...) 'man's estate'. This does not require, indeed it precludes, subjection of others. Amour-propre does not need suppression or circumscription if we are to live good lives; it rather requires direction to its proper end, not a delusive one. (shrink)

There is little doubt that a second-order axiomatization of Zermelo-Fraenkel set theory plus the axiom of choice (ZFC) is desirable. One advantage of such an axiomatization is that it permits us to express the principles underlying the first-order schemata of separation and replacement. Another is its almost-categoricity: M is a model of second-order ZFC if and only if it is isomorphic to a model of the form Vκ, ∈ ∩ (Vκ × Vκ) , for κ a strongly inaccessible ordinal.

The purpose of this paper is to defend a conception of language that does not rely on linguistic meanings, and use it to address the Sorites and Liar paradoxes.

In his later work, Metafizicheskie predpolozheniia poznaniia. Opyt preodoleniia Kanta i kantianstva [Metaphysical Presuppositions of Knowledge. An Attempt to Overcome Kant and Kantianism], Evgeny N. Trubetskoy tried to overcome the Kantian tradition in philosophy in order to advance his conception of all-unity and the philosophy of absolute and unconditional consciousness. Despite insisting on the distinction between the “historical Kant” and Neo-Kantianism, in reality Trubetskoy was strongly dependent on the Neo-Kantian interpretation of Kant’s philosophy, which meant that his fight against Kantian (...) philosophy was really fought against a conception of Kant he unconsciously adopted from the Neo-Kantians. Evidence of this can be seen in his interpretation of the theory of knowledge and its tasks, his thesis concerning the antimetaphysical direction of Kantian philosophy, and his insistence on the presence of the transcendental method in Kant’s philosophy. (shrink)

Skeptical theists are seeking for some reasonable solutions to the evidential problem of evil. One of the most fundamental responses of skeptical theism is that the concept of “gratuitous evil”, which cannot be a proof of the absence of God. Therefore, it is not the existence of God that skeptical theism suspects. Instead, skeptical theism contemplates whether the evil in the world really has a “gratuitous” basis. This paper focuses on Peter van Inwagen's “no-minimum claim”. No-minimum claim” stands in opposition (...) to the views that assume that God minimizes the evils that exist in the world in order to achieve justice. “No-minimum claim” acknowledges that these evils still have enormous amounts to people. Thus “no-minimum claim” suggests that the evils experienced in the world are incompatible with the “best of all possible worlds” views or the other explanations of classical theodicy. According to the “no minimum claim”, the reason why the amount of evil in the world still seems so high may be God’s deliberate calculations in effecting the distribution of these evils. In order to reach these calculations, it is not necessary for the amount of evil that God allowed to reflect on the world to be perfectly manifested at the minimum level. The purpose of this paper is to consider the skeptical theism approach within the framework of Peter van Inwagen's “no-minimum claim” and to limit his arguments to an alternative approach to skeptic theism. Our claim is that such view coincides with skeptical theism, but the “no- minimum claim” still has some ambiguities at the point of the limits of evil. From this, we can conclude that the “no minimum claim” has received many objections in the skeptical theism literature and these objections are justified at certain points. (shrink)