The principle of sufficient reason threatens modal collapse. Some have suggested that by appealing to the indefinite extensibility of contingent truth, the threat is neutralized. This paper argues that this is not so. If the indefinite extensibility of contingent truth is developed in an analogous fashion to the most promising models of the indefinite extensibility of the concept set, plausible principles permit the derivation of modal collapse.

The Monist’s call for papers for this issue ended: “if formalism is true, then it must be possible in principle to mechanize meaning in a conscious thinking and language-using machine; if intentionalism is true, no such project is intelligible”. We use the Grelling-Nelson paradox to show that natural language is indefinitely extensible, which has two important consequences: it cannot be formalized and model theoretic semantics, standard for formal languages, is not suitable for it. We also point out that object-object mapping (...) theories of semantics, the usual account for the possibility of non intentional semantics, doesn’t seem able to account for the indefinitely extensible productivity of natural language. (shrink)

This essay endeavors to define the concept of indefinite extensibility in the setting of category theory. I argue that the generative property of indefinite extensibility in the category-theoretic setting is identifiable with the Kripke functors of modal coalgebraic automata, where the automata model Grothendieck Universes and the functors are further inter-definable with the elementary embeddings of large cardinal axioms. The Kripke functors definable in Grothendieck universes are argued to account for the ontological expansion effected by the (...) elementary embeddings in the category of sets. By characterizing the modal profile of Ω-logical validity, and thus the generic invariance of mathematical truth, modal coalgebraic automata are further capable of capturing the notion of definiteness, in order to yield a non-circular definition of indefinite extensibility. (shrink)

It is argued that Gabriel Uzquiano's approach to set-theoretic indefinite extensibility is a version of in rebus structuralism, and therefore suffers from a vacuity problem.

Some hold that the lesson of Russell’s paradox and its relatives is that mathematical reality does not form a ‘definite totality’ but rather is ‘indefinitely extensible’. There can always be more sets than there ever are. I argue that certain contact puzzles are analogous to Russell’s paradox this way: they similarly motivate a vision of physical reality as iteratively generated. In this picture, the divisions of the continuum into smaller parts are ‘potential’ rather than ‘actual’. Besides the intrinsic interest of (...) this metaphysical picture, it has important consequences for the debate over absolute generality. It is often thought that ‘indefinite extensibility’ arguments at best make trouble for mathematical platonists; but the contact arguments show that nominalists face the same kind of difficulty, if they recognize even the metaphysical possibility of the picture I sketch. (shrink)

It is widely alleged that metaphysical possibility is “absolute” possibility (Kripke [1980], Lewis [1986], Rosen [2006, 16], Stalnaker [2005, 203], Williamson [2016, 460]). Indeed, this is arguably its metaphysical significance. Kripke calls metaphysical necessity “necessity in the highest degree” ([1980, 99]). Williamson calls metaphysical possibility the “maximal objective modality” [2016, 459]. Rosen says that “metaphysical possibility is the [most inclusive] sort of real possibility” ([2006, 16]). And Stalnaker writes, “we can agree with Frank Jackson, David Chalmers, Saul Kripke, David Lewis, (...) and most others who allow themselves to talk about possible worlds at all, that metaphysical necessity is necessity in the widest sense [2003, 203].” What exactly does the thesis that metaphysical possibility is absolute amount to? Is it true? In this article, I argue that, assuming that the thesis is not merely terminological, and lacking in any metaphysical interest, it is an article of faith. I conclude with the suggestion that metaphysical possibility may lack the metaphysical significance that is widely attributed to it. (shrink)

Cantor’s proof that the powerset of the set of all natural numbers is uncountable yields a version of Richard’s paradox when restricted to the full definable universe, that is, to the universe containing all objects that can be defined not just in one formal language but by means of the full expressive power of natural language: this universe seems to be countable on one account and uncountable on another. We argue that the claim that definitional contexts impose restrictions on the (...) scope of quantifiers reveals a natural way out. (shrink)

I distinguish between a metaphysical and a logical reading of Generality Relativism. While the former denies the existence of an absolutely general domain, the latter denies the availability of such a domain. In this paper I argue for the logical thesis but remain neutral in what concerns metaphysics. To motivate Generality Relativism I defend a principle according to which a collection can always be understood as a set-like collection. I then consider a modal version of Generality Relativism and sketch how (...) this version avoids certain revenge problems. (shrink)

Descartes' philosophy contains an intriguing notion of the infinite, a concept labeled by the philosopher as indefinite. Even though Descartes clearly defined this term on several occasions in the correspondence with his contemporaries, as well as in his Principles of Philosophy, numerous problems about its meaning have arisen over the years. Most commentators reject the view that the indefinite could mean a real thing and, instead, identify it with an Aristotelian potential infinite. In the first part of this (...) article, I show why there is no numerical infinity in Cartesian mathematics, as such a concept would be inconsistent with the main fundamental attribute of numbers: to be comparable with each other. In the second part, I analyze the indefinite in the context of Descartes' mathematical physics. It is my contention that, even with no trace of infinite in his mathematics, Descartes does refer to an actual indefinite because of its application to the material world within the system of his physics. This fact underlines a discrepancy between his mathematics and physics of the infinite, but does not lead a difficulty in his mathematical physics. Thus, in Descartes' physics, the indefinite refers to an actual dimension of the world rather than to an Aristotelian mathematical potential infinity. In fact, Descartes establishes the reality and limitlessness of the extension of the cosmos and, by extension, the actual nature of his indefinite world. This indefinite has a physical dimension, even if it is not measurable. La filosofía de Descartes contiene una noción intrigante de lo infinito, un concepto nombrado por el filósofo como indefinido. Aunque en varias ocasiones Descartes definió claramente este término en su correspondencia con sus contemporáneos y en sus Principios de filosofía, han surgido muchos problemas acerca de su significado a lo largo de los años. La mayoría de comentaristas rechaza la idea de que indefinido podría significar una cosa real y, en cambio, la identifica con un infinito potencial aristotélico. En la primera parte de este artículo muestro por qué no hay infinito numérico en las matemáticas cartesianas, en la medida en que tal concepto sería inconsistente con el principal atributo fundamental de los números: ser comparables entre sí. En la segunda parte analizo lo indefinido en el contexto de la física matemática de Descartes. Mi argumento es que, aunque no hay rastro de infinito en sus matemáticas, Descartes se refiere a un indefinido real a causa de sus aplicaciones al mundo material dentro del sistema de su física. Este hecho subraya una discrepancia entre sus matemáticas y su física de lo infinito, pero no implica ninguna dificultad en su física matemática. Así pues, en la física de Descartes, lo indefinido se refiere a una dimensión real del mundo más que a una infinitud potencial matemática aristotélica. De hecho, Descartes establece la realidad e infinitud de la extensión del cosmos y, por extensión, la naturaleza real de su mundo indefinido. Esta indefinición tiene una dimensión física aunque no sea medible. (shrink)

In his Critique of Pure Reason, Kant famously includes immortality as one of the three “ideas” that give rise to “unavoidable problems of reason” (KrV, B7)1 and thereby constitute the basic subject-matter of metaphysics. Interpreters have paid a great deal of attention to the other two ideas, God and freedom; yet very few studies of Kantian immortality have ever been undertaken. This should come as no surprise, once we realize that Kant himself used the word “immortality” and its cognates only (...) 40 times in all three of his great Critiques. (By comparison, forms of the words “God” and “free(dom)” appear 119 and 509 times, respectively, in the three Critiques.) Kant’s theory of immortality – if he can be said to have one – is therefore exceedingly difficult to understand. For example, he says at one point (KrV, B395n): “Metaphysics has only three ideas as the proper purpose of its investigation: God, freedom, and immortality – and in such a way that the second concept, when combined with the first, is to lead to the third as a necessary conclusion.” How are we to understand this claim ? Does Kant really mean that combining the concept of freedom with the concept of God somehow gives rise to immortality as a necessary inference? In any case, why does Kant say so little about immortality, even though he portrays it as one of three ideas that constitute the “final aim” of all metaphysical speculation ? These and other puzzles raised by Kant’s occasional comments on immortality will be the focus of this paper. (shrink)

I introduce a sequence which I call indefinite: a sequence every element of which has a successor but whose number of elements is bounded; this is no contradiction. I then consider the possibility of space and time being indefinitely divisible. This is theoretically possible and agrees with experience. If this is space and time’s structure, then even if the laws of nature are deterministic, the behaviour of physical systems will be probabilistic. This approach may also shed light on directionality (...) in time, a source of the Uncertainty Principle, and the reality of chaos. (shrink)

In this essay, we consider the formal and ontological implications of one specific and intensely contested dialectical context from which Deleuze’s thinking about structural ideal genesis visibly arises. This is the formal/ontological dualism between the principles, ἀρχαί, of the One (ἕν) and the Indefinite/Unlimited Dyad (ἀόριστος δυάς), which is arguably the culminating achievement of the later Plato’s development of a mathematical dialectic.3 Following commentators including Lautman, Oskar Becker, and Kenneth M. Sayre, we argue that the duality of the One (...) and the Indefinite Dyad provides, in the later Plato, a unitary theoretical formalism accounting, by means of an iterated mixing without synthesis, for the structural origin and genesis of both supersensible Ideas and the sensible particulars which participate in them. As these commentators also argue, this duality furthermore provides a maximally general answer to the problem of temporal becoming that runs through Plato’s corpus: that of the relationship of the flux of sensory experiences to the fixity and order of what is thinkable in itself. Additionally, it provides a basis for understanding some of the famously puzzling claims about forms, numbers, and the principled genesis of both attributed to Plato by Aristotle in the Metaphysics, and plausibly underlies the late Plato’s deep considerations of the structural paradoxes of temporal change and becoming in the Parmenides, the Sophist, and the Philebus. After extracting this structure of duality and developing some of its formal, ontological, and metalogical features, we consider some of its specific implications for a thinking of time and ideality that follows Deleuze in a formally unitary genetic understanding of structural difference. These implications of Plato’s duality include not only those of the constitution of specific theoretical domains and problematics, but also implicate the reflexive problematic of the ideal determinants of the form of a unitary theory as such. We argue that the consequences of the underlying duality on the level of content are ultimately such as to raise, on the level of form, the broader reflexive problem of the basis for its own formal or meta-theoretical employment. We conclude by arguing for the decisive and substantive presence of a proper “Platonism” of the Idea in Deleuze, and weighing the potential for a substantive recuperation of Plato’s duality in the context of a dialectical affirmation of what Deleuze recognizes as the “only” ontological proposition that has ever been uttered. This is the proposition of the univocity of Being, whereby “being is said in the same sense, everywhere and always,” but is said (both problematically and decisively) of difference itself. (shrink)

THE IMMORTAL FLY: ETERNAL WHISPERS. WHO IS SHE? Author: Rituparna Ray Chaudhuri. Hello, Recently my book named, ‘The Immortal Fly: Eternal Whispers : Based On True Events of a Family' been published from Partridge (USA) In Association with Penguin Random House (UK) and achieved a separate Google identity. -/- As being # the author of the book, I thought to define self in the book what is definition of 'Depression'. I wanted to explain self in many ways, but the best (...) quotation appeared to me : “My life will end someday, but it will end at my convenience.’’ -/- To be accurate,thus, on medical explanation of the term ‘Depression’, I went depth inside and had # medical reports from in and abroad, with special mention of our family #Dr. Amit De, MD Senior Consultant, of # Narayana Multispeciality Hospital, Barasat, Kolkata (India) and # many other medical associates,associated with the said hospital, as imbibed in the book..... I had thought, then, to define 'the term' best with acceptance : “Death is nature’s way of saying, ‘‘Your table is ready’’….. -/- ************* I am missing her. By now, a year has passed without 'her' . Even though, unlike before, everything is becoming to be more scattered, gloomy and desolate. She is no-where to hear my words,whom I can still only share my feelings intensely. Even now, when I do close my eyes, I can visualize the same that I had left a year since on 7th February, 2019 at 8.20 A.M. in the hospital struggling a continuous period of fifty days : on the fifty one day, my father said, ”The End of our Fifty Years relationship has been completed with the Fifty Days”….’Whoever’ she was to others may, but she is our legend…To me, she is ‘My Ma’. -/- The story begins,'I failed preciously on success of my life.' Simplicity,Innocence, Belief and Faith met unknowingly with filthy waves skillfully immersed in Betray,Sorcery,Jealousy, Greediness,Revenge,Lie... ‘’ The Daughter writes, “I had asked Ma many times, but her ‘impenetrable personality’ and dynamic words to everyone with a tinge of smile as reflected on her face, she was reluctant to continue her conversation with me. I had thought, hence, I must not be indefinite on my spoken words. Who shall I blame!” Based on true story of a family came from South Calcutta (India) to a suburb, on staying at home of the Daughter’s maternal grandmother’s house, this book reveals in facts and true events how Destiny had unknowingly ‘further’ played an abominable role to Fate of The Daughter, when eventually one day on 7th February, 2019 everything was finished within 8.20A.M. The Daughter is, therefore, left alone on terrestrial with immortal words as written in her Diary, ‘Eternal Whispers’: “My words to self that I am to fulfill my Ma’s - wish. ’’ ‘’ -/- • Keywords: 1. Diary and True Events 2. The Chaotic Society 3. Fatality 4. Of A-Family 5. Science , Philosophy and Literature 6. Severe Depression 7. Medical Journey. -/- The Alternative Title of the Book: The Greatest Mistake or Fortune:: The book is mainly carrying with intense words of a journey of the relationship between a Mother with her Daughter has left readers in an abrupt situation where to define indeed "Man is the creature under circumstances..." -/- . (shrink)

I will make the following two main claims: (4) a. Under syntactically specifiable conditions superlatives take sentential scope. b. Sentential scope superlatives are necessarily indefinite.

I argue that we can and should extend Tarski's model-theoretic criterion of logicality to cover indefinite expressions like Hilbert's ɛ operator, Russell's indefinite description operator η, and abstraction operators like 'the number of'. I draw on this extension to discuss the logical status of both abstraction operators and abstraction principles.

Spinoza ’s letter of June 2, 1674 to his friend Jarig Jelles addresses several distinct and important issues in Spinoza ’s philosophy. It explains briefly the core of Spinoza ’s disagreement with Hobbes’ political theory, develops his innovative understanding of numbers, and elaborates on Spinoza ’s refusal to describe God as one or single. Then, toward the end of the letter, Spinoza writes: With regard to the statement that figure is a negation and not anything positive, it is obvious that (...) matter in its totality, considered without limitation [indefinitè consideratam], can have no figure, and that figure applies only to finite and determinate bodies. For he who says that he apprehends a figure, thereby means to indicate simply this, that he apprehends a determinate thing and the manner of its determination. This determination therefore does not pertain to the thing in regard to its being [esse]; on the contrary, it is its non-being [non-esse]. So since figure is nothing but determination, and determination is negation [Quia ergo figura non aliud, quam determinatio, et determinatio negatio est], figure can be nothing other than negation, as has been said. Arguably, what is most notable about this letter is the fate of a single subordinate clause which appears in the last sentence of this passage: et determinatio negatio est. That clause was to be adopted by Hegel and transformed into the slogan of his own dialectical method: Omnis determinatio est negatio. Of further significance is the fact that, while Hegel does credit Spinoza with the discovery of this most fundamental insight, he believes Spinoza failed to appreciate the importance of his discovery. The issue of negation and the possibility of self-negation stand at the very center of the philosophical dialogue between the systems of Spinoza and Hegel, and in this paper I will attempt to provide a preliminary explication of this foundational debate between the two systems. In the first part of the paper I will argue that the “determination is negation” formula has been understood in at least three distinct senses among the German Idealists, and as a result many of the participants in the discussion of this formula were actually talking past each other. The clarification of the three distinct senses of the formula will lead, in the second part of the paper, to a more precise evaluation of the fundamental debate between Spinoza and Hegel regarding the possibility of self-negation. In this part I will evaluate the validity of each interpretation of the determination formula, and motivate the positions of the various participants in the debate. (shrink)

Online shaming is a subject of import for social philosophy in the Internet age, and not simply because shaming seems generally bad. I argue that social philosophers are well-placed to address the imaginal relationships we entertain when we engage in social media; activity in cyberspace results in more relationships than one previously had, entailing new and more responsibilities, and our relational behaviors admit of ethical assessment. I consider the stresses of social media, including the indefinite expansion of our relationships (...) and responsibilities, and the gap between the experiences of those shamed and the shamers’ appreciation of the magnitude of what they do when they shame; I connect these to the literature suggesting that some intuitions fail to guide our ethics. I conclude that we each have more power than we believe we do or than we think carefully about exerting in our online imaginal relations. Whether we are the shamers or the shamed, we are unable to control the extent to which intangible words in cyberspace take the form of imaginal relationships that burden or brighten our self-perceptions. (shrink)

Standard theories of scope are semantically blind. They employ a single logico-syntactic rule of scope assignment quantifying in Quantifier Raising, storage, or type change etc which roughly speaking prefixes an expression \aplha.

We argue that definite noun phrases give rise to uniqueness inferences characterized by a pattern we call definiteness projection. Definiteness projection says that the uniqueness inference of a definite projects out unless there is an indefinite antecedent in a position that filters presuppositions. We argue that definiteness projection poses a serious puzzle for e-type theories of (in)definites; on such theories, indefinites should filter existence presuppositions but not uniqueness presuppositions. We argue that definiteness projection also poses challenges for dynamic approaches, (...) which have trouble generating uniqueness inferences and predicting some filtering behavior, though unlike the challenge for e-type theories, these challenges have mostly been noted in the literature, albeit in a piecemeal way. Our central aim, however, is not to argue for or against a particular view, but rather to formulate and motivate a generalization about definiteness which any adequate theory must account for. (shrink)

In “Descriptions as Predicates” (Fara 2001) I argued that definite and indefinite descriptions should be given a uniform semantic treatment as predicates rather than as quantifier phrases. The aim of the current paper is to clarify and elaborate one of the arguments for the descriptions-aspredicates view, one that concerns the interaction of descriptions with adverbs of quantification.

The soul is believed to be an immortal essence of living things in scores of philosophical and religious traditions but sparsely understood by science. The word ‘soul’ does not have a scientific definition but through this paper is hypothesized to be an indefinite, non-structured, massless energy made up of electromagnetic radiations that is confined in the cytoskeletal network of the biological cell. Electromagnetic radiations continually interact with the biological cell and propagate within the cell; by a pathway known as (...) ‘Cell-Soul Pathway’. This pathway is a coherent, imperceptible, uncontainable and recyclable support pathway, which uses this energy to promulgate consciousness in a biological cell. The cell-soul pathway augments with stress and ceases with death and results in, liberation of the energy as ultra-weak electromagnetic radiations that coalesce with the universe. The cell-soul pathway creates a strong correlation between science and consciousness, and with religion and spirituality. (shrink)

This paper explores the interaction of well-motivated (if controversial) principles governing the probability conditionals, with accounts of what it is for a sentence to be indefinite. The conclusion can be played in a variety of ways. It could be regarded as a new reason to be suspicious of the intuitive data about the probability of conditionals; or, holding fixed the data, it could be used to give traction on the philosophical analysis of a contentious notion—indefiniteness. The paper outlines the (...) various options, and shows that ‘rejectionist’ theories of indefiniteness are incompatible with the results. Rejectionist theories include popular accounts such as supervaluationism, non-classical truth-value gap theories, and accounts of indeterminacy that centre on rejecting the law of excluded middle. An appendix compares the results obtained here with the ‘impossibility’ results descending from Lewis ( 1976 ). (shrink)

In this paper, we discuss some rather puzzling facts concerning the semantics of Warlpiri expressions of cardinality, i.e. the Warlpiri counterparts of English expressions like one,two, many, how many. The morphosyntactic evidence, discussed in section 1, suggests that the corresponding expressions in Warlpiri are nominal, just like the Warlpiri counterparts of prototypical nouns, eg. child. We also argue that Warlpiri has no articles or any other items of the syntactic category D(eterminer). In section 2, we describe three types of readings— (...) "definite", "indefinite" and "predicative"—which are generally found with Warlpiri nouns, including those which correspond to English common nouns and cardinality expressions. A partial analysis of these readings is sketched i n section 3. Since Warlpiri has no determiner system, we hypothesize that the source of (in)definiteness in this language is semantic. More specifically, we suggest that Warlpiri nominals are basically interpreted as individual terms or predicates of individuals and that their three readings arise as a consequence of the interaction of their basic meanings, which are specific to Warlpiri, with certain semantic operations, such as type shifting (Rooth and Partee 1982, Partee and Rooth 1983, Partee 1986, 1987), which universally can or must apply in the process of compositional semantic interpretation. (shrink)

ABSTRACT: This paper discusses ancient versions of paradoxes today classified as paradoxes of presupposition and how their ancient solutions compare with contemporary ones. Sections 1-4 air ancient evidence for the Fallacy of Complex Question and suggested solutions, introduce the Horn Paradox, consider its authorship and contemporary solutions. Section 5 reconstructs the Stoic solution, suggesting the Stoics produced a Russellian-type solution based on a hidden scope ambiguity of negation. The difference to Russell's explanation of definite descriptions is that in the Horn (...) Paradox the Stoics uncovered a hidden conjunction rather than a hidden existential sentence. Sections 6 and 7 investigate hidden ambiguities in 'to have' and 'to lose' (including inalienable and alienable possession) and ambiguities of quantification based on substitution of indefinite plural expressions for indefinite or anaphoric pronouns, and Stoic awareness of these. Section 8 considers metaphorical readings and allusions that add further spice to the paradox. (shrink)

Corcoran, John. 2005. Meanings of word: type-occurrence-token. Bulletin of Symbolic Logic 11(2005) 117. -/- Once we are aware of the various senses of ‘word’, we realize that self-referential statements use ambiguous sentences. If a statement is made using the sentence ‘this is a pronoun’, is the speaker referring to an interpreted string, a string-type, a string-occurrence, a string-token, or what? The listeners can wonder “this what?”. -/- John Corcoran, Meanings of word: type-occurrence-token Philosophy, University at Buffalo, Buffalo, NY 14260-4150 E-mail: (...) corcoran@buffalo.edu The four-letter written-English expression ‘word’, which plays important roles in applications and expositions of logic and philosophy of logic, is ambiguous (multisense, or polysemic) in that it has multiple normal meanings (senses, or definitions). Several of its meanings are vague (imprecise, or indefinite) in that they admit of borderline (marginal, or fringe) cases. This paper juxtaposes, distinguishes, and analyses several senses of ‘word’ focusing on a constellation of senses analogous to constellations of senses of other expression words such as ‘expression’, ‘symbol’, ‘character’, ‘letter’, ‘term’, ‘phrase’, ‘formula’, ‘sentence’, ‘derivation’, ‘paragraph’, and ‘discourse’. Consider, e.g., the word ‘letter’. In one sense there are exactly twenty-six letters (letter-types or ideal letters) in the English alphabet and there are exactly four letters in the word ‘letter’. In another sense, there are exactly six letters (letter-repetitions or letter-occurrences) in the word-type ‘letter’. In yet another sense, every new inscription (act of writing or printing) of ‘letter’ brings into existence six new letters (letter-tokens or ink-letters) and one new word that had not previously existed. The number of letter-occurrences (occurrences of a letter-type) in a given word-type is the same as the number of letter-tokens (tokens of a letter-type) in a single token of the given word. Many logicians fail to distinguish “token” from “occurrence” and a few actually confuse the two concepts. Epistemological and ontological problems concerning word-types, word-occurrences, and word-tokens are described in philosophically neutral terms. This paper presents a theoretical framework of concepts and principles concerning logicography, including use of English in logic. The framework is applied to analytical exposition and critical evaluation of classic passages in the works of philosophers and logicians including Boole, Peirce, Frege, Russell, Tarski, Church and Quine. This paper is intended as a philosophical sequel to Corcoran et al. “String Theory”, Journal of Symbolic Logic 39(1974) 625-637. https://www.academia.edu/s/cdfa6c854e?source=link -/- . (shrink)

According to certain kinds of semantic dispositionalism, what an agent means by her words is grounded by her dispositions to complete simple tasks. This sort of position is often thought to avoid the finitude problem raised by Kripke against simpler forms of dispositionalism. The traditional objection is that, since words possess indefinite (or infinite) extensions, and our dispositions to use words are only finite, those dispositions prove inadequate to serve as ground for what we mean by our words. I (...) argue that, even if such positions (emphasizing simple tasks) avoid the traditional form of Kripke's charge, they still succumb to special cases of the finitude problem. Furthermore, I show how such positions can be augmented so as to avoid even these special cases. Doing so requires qualifying the dispositions of interest as those possessed by the abstracted version of an actual agent (in contrast to, say, an idealized version of the agent). In addition to avoiding the finitude problem in its various forms, the position that results provides new materials for appreciating the role that abstracting models can play for a dispositionalist theory of meaning. (shrink)

This paper presents an overview of Carnap, a free and open framework for the development of formal reasoning applications. Carnap’s design emphasizes flexibility, extensibility, and rapid prototyping. Carnap-based applications are written in Haskell, but can be compiled to JavaScript to run in standard web browsers. This combination of features makes Carnap ideally suited for educational applications, where ease-of-use is crucial for students and adaptability to different teaching strategies and classroom needs is crucial for instructors. The paper describes Carnap’s implementation, (...) along with its current and projected pedagogical applications. (shrink)

It is commonly assumed that Aristotle denies any real existence to infinity. Nothing is actually infinite. If, in order to resolve Zeno’s paradoxes, Aristotle must talk of infinity, it is only in the sense of a potentiality that can never be actualized. Aristotle’s solution has been both praised for its subtlety and blamed for entailing a limitation of mathematic. His understanding of the infinite as simply indefinite (the “bad infinite” that fails to reach its accomplishment), his conception of the (...) cosmos and even its prime mover as finite (in the sense of autarchic/self-contained) have been contrasted with the subsequent claim of God as ens infinitum (understood as a “positive” infinity). The goal of this essay is to reexamine the major texts (notably De caelo) and to demonstrate that (1) Aristotle’s claim according to which there is no actual infinite concerns only substances, not processes. (2) That Aristotle does not deny an actual infinite as such. (3) That when considering time and God (qua eternal) Aristotle acknowledges an actual infinite. (shrink)

Infinity and infinite sets, as traditionally defined in mathematics, are shown to be logical absurdities. To maintain logical consistency, mathematics ought to abandon the traditional notion of infinity. It is proposed that infinity should be replaced with the concept of “indefiniteness”. This further implies that other fields drawing on mathematics, such as physics and cosmology, ought to reject theories that postulate infinities of space and time. It is concluded that however indefinite our calculations of space and time become, the (...) Universe must nevertheless be finite. (shrink)

Forgotten Truth is primarily a presentation of the traditional esoteric view that reality consists of a hierarchy of Being. Within the hierarchy there are an indefinite number of worlds, but they can be classified into four levels: the terrestrial, psychic, and celestial planes, and the Infinite. The corresponding levels within the human microcosm are body, mind, soul, and spirit. “From the multiple heavens of Judaism to the storied structure of the Hindu temple and the angelologies of innumerable traditions, the (...) view was reached convergently and independently, as if by innate tropism, by virtually all known societies…” (18). The important exception is our current society, whose fundamental flaw is its inclination to reduce all reality to the terrestrial plane alone. Modernity is “captive of an outlook presumed to be scientific but in fact scientistic” (17); it goes beyond the actual findings of science to deny that other approaches to knowledge are valid and other truths true” (16). (shrink)

The effective altruism movement aims to save lives in the most cost-effective ways. In the future, technology will allow radical life extension, and anyone who survives until that time will gain potentially indefinite life extension. Fighting aging now increases the number of people who will survive until radical life extension becomes possible. We suggest a simple model, where radical life extension is achieved in 2100, the human population is 10 billion, and life expectancy is increased by simple geroprotectors like (...) metformin or nicotinamide mononucleotide by three more years on average, so an additional 750 million people survive until “immortality”. The cost of clinical trials to prove that metformin is a real geroprotector is $65 million. In this simplified case, the price of a life saved is around eight cents, 10 000 times cheaper than saving a life from malaria by providing bed nets. However, fighting aging should not be done in place of fighting existential risks, as they are complementary causes. (shrink)

The problem of surviving the end of the observable universe may seem very remote, but there are several reasons it may be important now: a) we may need to define soon the final goals of runaway space colonization and of superintelligent AI, b) the possibility of the solution will prove the plausibility of indefinite life extension, and с) the understanding of risks of the universe’s end will help us to escape dangers like artificial false vacuum decay. A possible solution (...) depends on the type of the universe’s ending that may be expected: very slow heat death or some abrupt end, like a Big Rip or Big Crunch. We have reviewed the literature and identified several possible ways of survival the end of the universe, and also suggest several new ones. There are seven main approaches to escape the end of the universe: use the energy of the catastrophic process for computations, move to a parallel world, prevent the end, survive the end, manipulate time, avoid the problem entirely or find some meta-level solution. (shrink)

Abstract: The field of life extension is full of ideas but they are unstructured. Here we suggest a comprehensive strategy for reaching personal immortality based on the idea of multilevel defense, where the next life-preserving plan is implemented if the previous one fails, but all plans need to be prepared simultaneously in advance. The first plan, plan A, is the surviving until advanced AI creation via fighting aging and other causes of death and extending one’s life. Plan B is cryonics, (...) which starts if plan A fails, and assumes cryopreservation of the brain until technical capabilities to return it to life appear. Plan C is digital immortality in the sense of collecting data about the person now so future AI will be able to recreate a model of a person. Plan D is the hope based on some unlikely scenarios of infinite survival, like so-called “quantum immortality”. All these plans have personal and social perspective. The personal aspect means efforts of the increasing chances of personal survival via taking care about one’s own health, signing cryocontract or collecting digital immortality data. The social aspect means the participation in collective work towards creation and increase of the availability of life extension technologies, which includes funding scientific research, promotion of life extension value and direct performing of research and implementation, as well as preventing global catastrophic risk. All plans converge at the end, as their result is the indefinite survival as an uploaded mind inside an ecosystem, created by a superintelligent AI. (shrink)

In contemporary academic, political, and media discourse, terrorism is typically portrayed as an existential threat to lives and states, a threat driven by religious extremists who seek the destruction of Western civilization and who are immune to reason and negotiation. In many countries, including the US, the UK, and Australia, this existential threat narrative of terrorism has been used to justify sweeping counterterrorism legislation, as well as military operations and even the use of tactics such as torture and indefinite (...) detention. In this chapter I outline the components of the existential threat narrative, and explain how critical terrorism scholars have critiqued this narrative on two main grounds: that it is based on false empirical claims about the nature, scale, and motivations of modern non-state terrorism, and that counterterrorism policies and practices based on this narrative have had extremely destructive consequences for individuals, communities, and states—in some cases, causing far more destruction than terrorism itself. In the final section I offer some suggestions for the direction of future terrorism research in light of these critiques of the existential threat narrative. (shrink)

Dâwûd al-Qarisî (Dâvûd al-Karsî) was a versatile and prolific 18th century Ottoman scholar who studied in İstanbul and Egypt and then taught for long years in various centers of learning like Egypt, Cyprus, Karaman, and İstanbul. He held high esteem for Mehmed Efendi of Birgi (Imâm Birgivî/Birgili, d.1573), out of respect for whom, towards the end of his life, Karsî, like Birgivî, occupied himself with teaching in the town of Birgi, where he died in 1756 and was buried next to (...) Birgivî. Better known for his following works on Arabic language and rhetoric and on the prophetic traditions (hadith): Sharḥu uṣûli’l-ḥadîth li’l-Birgivî; Sharḥu’l-Ḳaṣîdati’n-nûniyya (two commentaries, in Arabic and Turkish); Şarḥu’l-Emsileti’l-mukhtalifa fi’ṣ-ṣarf (two commentaries, in Arabic and Turkish); Sharḥu’l-Binâʾ; Sharḥu’l-ʿAvâmil; and Sharḥu İzhâri’l-asrâr, Karsî has actually composed textbooks in quite different fields. Hence the hundreds of manuscript copies of his works in world libraries. Many of his works were also recurrently printed in the Ottoman period. One of the neglected aspects of Karsî is his identity as a logician. Although he authored ambitious and potent works in the field of logic, this aspect of him has not been subject to modern studies. Even his bibliography has not been established so far (with scattered manuscript copies of his works and incomplete catalogue entries). This article primarily and in a long research based on manuscript copies and bibliographic sources, identifies twelve works on logic that Karsî has authored. We have clarified the works that are frequently mistaken for each other, and, especially, have definitively established his authorship of a voluminous commentary on al-Kâtibî’s al-Shamsiyya, of which commentary a second manuscript copy has been identified and described together with the other copy. Next is handled his most famous work of logic, the Sharhu Îsâghûcî, which constitutes an important and assertive ring in the tradition of commentaries on Îsâghûcî. We describe in detail the nine manuscript copies of this work that have been identified in various libraries. The critical text of Karsî’s Sharhu Îsâghûcî, whose composition was finished on 5 March 1745, has been prepared based on the following four manuscripts: (1) MS Kayseri Raşid Efendi Kütüphanesi, No. 857, ff.1v-3v, dated 1746, that is, only one year after the composition of the work; (2) MS Bursa İnebey Yazma Eser Kütüphanesi, Genel, No.794B, ff.96v-114v, dated 1755; (3) MS Millet Kütüphanesi, Ali Emiri Efendi Arapça, No. 1752, ff.48v-58r, dated 1760; (4) MS Beyazıt Yazma Eser Kütüphanesi, Beyazıt, No. 3129, ff.41v-55v, dated 8 March 1772. While preparing the critical text, we have applied the Center for Islamic Studies (İslam Araştırmaları Merkezi, İSAM)’s method of optional text choice. The critical text is preceded by a content analysis. Karsî is well aware of the preceding tradition of commentary on Îsâghûcî, and has composed his own commentary as a ‘simile’ or alternative to the commentary by Mollâ Fanârî which was famous and current in his own day. Karsî’s statement “the commentary in one day and one night” is a reference to Mollâ Fanârî who had stated that he started writing his commentary in the morning and finished it by the evening. Karsî, who spent long years in the Egyptian scholarly and cultural basin, adopted the religious-sciences-centered ‘instrumentalist’ understanding of logic that was dominant in the Egypt-Maghrib region. Therefore, no matter how famous they were, he criticized those theoretical, long, and detailed works of logic which mingled with philosophy; and defended and favored authoring functional and cogent logic texts that were beneficial, in terms of religious sciences, to the seekers of knowledge and the scholars. Therefore, in a manner not frequently encountered in other texts of its kind, he refers to the writings and views of Muhammad b. Yûsuf al-Sanûsî (d.1490), the great representative of this logical school in the Egyptian-Maghrib region. Where there is divergence between the views of the ‘earlier scholars’ (mutaqaddimûn) like Ibn Sînâ and his followers and the ‘later scholars’ (muta’akhkhirûn), i.e., post-Fakhr al-dîn al-Râzî logicians, Karsî is careful to distance himself from partisanship, preferring sometimes the views of the earliers, other times those of the laters. For instance, on the eight conditions proposed for the realization of contradiction, he finds truth to be with al-Fârâbî, who proposed “unity in the predicative attribution” as the single condition for the realization of contradiction. Similarly, on the subject matter of Logic, he tried to reconcile the mutaqaddimûn’s notion of ‘second intelligibles’ with the muta’akhkhirûn’s notion of ‘apprehensional and declarational knowledge,’ suggesting that not much difference exists between the two, on the grounds that both notions are limited to the aspect of ‘known things that lead to the knowledge of unknown things.’ Karsî asserts that established and commonly used metaphors have, according to the verifying scholars, signification by correspondence (dalâlat al-mutâbaqah), adding also that it should not be ignored that such metaphors may change from society to society and from time to time. Karsî also endorses the earlier scholars’ position concerning the impossibility of quiddity (mâhiyya) being composed of two co-extensive parts, and emphasizes that credit should not be given to later scholars’ position who see it possible. According to the verifying scholars (muhaqqîqûn), it is possible to make definition (hadd) by mentioning only difference (fasl), in which case it becomes an imperfect definition (hadd nâqis). He is of the opinion that the definition of the proposition (qadiyya) in al-Taftâzânî’s Tahdhîb is clearer and more complete: “a proposition is an expression that bears the possibility of being true or false”. He states that in the division of proposition according to quantity what is taken into consideration is the subject (mawdû‘) in categorical propositions, and the temporal aspect of the antecedent (muqaddam) in hypothetical propositions. As for the unquantified, indefinite proposition (qadiyya muhmalah), Karsî assumes that if it is not about the problems of the sciences, then it is virtually/potentially a particular proposition (qadiyya juz’iyyah); but if it is about the problems of the sciences, then it is virtually/potentially a universal proposition (qadiyya kulliyyah). This being the general rule about the ambiguous (muhmal) propositions, he nevertheless contends that, because its subject (mawdû‘) is negated, it is preferable to consider a negative ambiguous (sâliba muhmalah) proposition like “human (insân) is not standing” to be a virtually/potentially universal negative (sâliba kulliyyâh) proposition. He states that a disjunctive hypothetical proposition (shartiyya al-munfasila) that is composed of more than two parts/units is only seemingly so, and that in reality it cannot be composed of more than two units. Syllogism (qiyâs), according to Karsî, is the ultimate purpose (al-maqsad al-aqsâ) and the most valuable subject-matter of the science of Logic. For him, the entire range of topics that are handled before this one are only prolegomena to it. This approach of Karsî clearly reveals how much the ‘demonstration (burhân)-centered’ approach of the founding figures of the Muslim tradition of logic like al-Fârâbî and Ibn Sînâ has changed. al-Abharî, in his Îsâghûjî makes no mention of ‘conversion by contradiction’ (‘aks al-naqîd). Therefore, Karsî, too, in his commentary, does not touch upon the issue. However, in his Îsâghûjî al-jadîd Karsî does handle the conversion by contradiction and its rules. Following the method of Îsâghûjî, in his commentary Karsî shortly touches on the four figures (shakl) of conjuctive syllogism (qiyâs iqtirânî) and their conditions, after which he passes to the first figure (shakl), which is considered ‘the balance of the sciences’ (mi‘yâr al-‘ulûm), explaining the four moods (darb) of it. In his Îsâghûjî al-jadîd, however, Karsî handles all the four figures (shakl) with all their related moods (darb), where he speaks of fife moods (darb) of the fourth figure (shakl). The topic of ‘modal propositions’ (al-muwajjahât) and of ‘modal syllogism’ (al-mukhtalitât), both of which do not take place in the Îsâghûjî, are not mentioned by Karsî as well, either in his commentary on Îsâghûjî or in his Îsâghûjî al-jadîd. Karsî proposes that the certainties (yaqîniyyât), of which demonstration (burhân) is made, have seven, not six, divisions. After mentioning (1) axioms/first principles (awwaliyyât), (2) observata/sensuals (mushâhadât), (3) experta/empiricals (mujarrabât), (4) acumenalia (hadthiyyât), (5) testata (mutawâtirât), and (6) instictives (fitriyyât), that is, all the ‘propositions accompanied by their demonstrations,’ Karsî states that these six divisions, which do not need research and reflection (nazar), are called badîhiyyât (self-evidents), and constitute the foundations (usûl) of certainties (yaqîniyyât). As the seventh division he mentions (7) the nazariyyât (theoreticals), which are known via the badîhiyyât, end up in them, and therefore convey certainty (yaqîn). For Karsî, the nazariyyât/theoreticals, which constitute the seventh division of yaqîniyyât/certainties, are too numerous, and constitute the branches (far‘) of yaqîniyyât. Every time the concept of ‘Mughâlata’ (sophistry) comes forth in the traditional sections on the five arts usually appended to logic works, Karsî often gives examples from what he sees as extreme sûfî sayings, lamenting that these expressions are so widespread and held in esteem. He sometimes criticizes these expressions. However, it is observed that he does not reject tasawwuf in toto, but excludes from his criticism the mystical views and approaches of the truth-abiding (ahl al-haqq), shârî‘â-observant (mutasharri‘) leading sufis who have reached to the highest level of karâmah. (shrink)

Mirvac chief executive Susan Lloyd-Hurwitz, not one usually associated with sympathy for tenants on the rental market, said earlier this year that ‘renting in Australia is generally a very miserable customer experience…the whole industry is set up to serve the owner not the tenant’ Her observation is basically correct and the solution she offers is to change the current situation where small investors, supported by generous government tax concessions, provide effectively all of the country’s private rental housing. Lloyd-Hurwitz wants Mirvac, (...) a property group currently managing over $15 billion of assets, to become an apartment landlord that would own not one or several properties like small investors currently do but rather thousands of properties to rent out. The proposal is for Mirvac to build apartment blocks and then, instead of selling individual apartments, rent them out on long-term or indefinite leases. This build-to-rent housing scheme would of course make the real estate–investment company a great deal of money. At the same time it would do very little to alleviate the current housing crisis. Such schemes are a nonstarter for people who want the security, stability and independence of home ownership, which is a very Australian aspiration that is increasingly becoming unobtainable not only for those experiencing homelessness, but also for the poor and middle-class. Those of us who care about finding a real solution to the housing crisis would do well to consider how we got into this situation in the first place, and then consider how this might inform what we do next. The following then, traces some of the historical and philosophical roots of our understanding of property and their institutionalisation via various levels of government, especially in the Australian context. (shrink)

Death has always been considered as an inevitable yet ‘’unpleasant’’ conclusion to one’s lifelong journey. While mainstream religions’ followers could at least remain optimistic about the afterlife possibilities for the atheists, death would always represent a total disappearance from the face of the universe beyond the point of no return. However, recent scientific advancements cloning and sell replacement have led many to believe that biological immortality is a reality rather than a dream. According to some of the leading futurists (e.g. (...) De Grey) turning back the human clock and achieving an indefinite lifespan is just a matter of time, so those of us who are going to last long enough to witness these amazing scientific breakthroughs may be rewarded with another 1000 years or so to enjoy. (shrink)

Ergative languages make up a substantial percentage of the world’s languages. They have a case system which distinguishes the subject of a transitive verb from that of an intransitive, grouping the latter with the object — that is, the object of a transitive verb and the subject of an intransitive verb are in the same case, which we refer to as the nominative. However, ergative languages differ from one another in important ways. In Greenlandic Eskimo the nominative, whether it is (...) a subject or an object, is syntactically prominent in the clause, much like a subject in English; but in Warlpiri, the nominative is not prominent, more like an object. The variable prominence of the nominative manifests itself as well in the semantics, e.g., default scope of indefinite and quantified nominals. Using data from Greenlandic Eskimo and Warlpiri, and from Hindi, which represents a split ergative system, this paper develops a general theory of case which explains the observed differences amongst ergative languages. In addition, the theory is designed to account for the accusative language type, represented by English. (shrink)

The presumptions underlying quantum mechanics make it relevant to a limited range of situations only; furthermore, its statistical character means that it provides no answers to the question ‘what is really going on?’. Following Barad, I hypothesise that the underlying mechanics has parallels with human activities, as used by Barad to account for the way quantum measurements introduce definiteness into previously indefinite situations. We are led to consider a subtle type of order, different from those commonly encountered in the (...) discipline of physics, and yet comprehensible in terms of concepts considered by Barad and Yardley such as oppositional dynamics or ‘intra-actions’. The emergent organisation implies that nature is no longer fundamentally meaningless. Agencies can be viewed as dynamical systems, so we are dealing with models involving interacting dynamical systems. The ‘congealing of agencies’ to which Barad refers can be equated to the presence of regulatory mechanisms restricting the range of possibilities open to the agencies concerned. (shrink)

1) We will begin by offering a short introduction to Epistemic Logic and presenting Fitch’s paradox in an epistemic‑modal logic. (2) Then, we will proceed to presenting three Epistemic Temporal logical frameworks creat‑ ed by Hoshi (2009) : TPAL (Temporal Public Announcement Logic), TAPAL (Temporal Arbitrary Public Announcement Logic) and TPAL+P ! (Temporal Public Announcement Logic with Labeled Past Operators). We will show how Hoshi stated the Verificationist Thesis in the language of TAPAL and analyze his argument on why this (...) version of it is immune from paradox. (3) Edgington (1985) offered an interpretation of the Verificationist Thesis that blocks Fitch’s paradox and we will propose a way to formulate it in a TAPAL‑based lan‑ guage. The language we will use is a combination of TAPAL and TPAL+P ! with an Indefinite (Unlabeled) Past Operator (TAPAL+P !+P). Using indexed satisfi‑ ability relations (as introduced in (Wang 2010 ; 2011)) we will offer a prospec ‑ tive semantics for this language. We will investigate whether the tentative re‑ formulation of Edgington’s Verificationist Thesis in TAPAL+P !+P is free from paradox and adequate to Edgington’s ideas on how „all truths are knowable“ should be interpreted. (shrink)

Recent developments in pure mathematics and in mathematical logic have uncovered a fundamental duality between "existence" and "information." In logic, the duality is between the Boolean logic of subsets and the logic of quotient sets, equivalence relations, or partitions. The analogue to an element of a subset is the notion of a distinction of a partition, and that leads to a whole stream of dualities or analogies--including the development of new logical foundations for information theory parallel to Boole's development of (...) logical finite probability theory. After outlining these dual concepts in mathematical terms, we turn to a more metaphysical speculation about two dual notions of reality, a fully definite notion using Boolean logic and appropriate for classical physics, and the other objectively indefinite notion using partition logic which turns out to be appropriate for quantum mechanics. The existence-information duality is used to intuitively illustrate these two dual notions of reality. The elucidation of the objectively indefinite notion of reality leads to the "killer application" of the existence-information duality, namely the interpretation of quantum mechanics. (shrink)

Classical physics and quantum physics suggest two meta-physical types of reality: the classical notion of a objectively definite reality with properties "all the way down," and the quantum notion of an objectively indefinite type of reality. The problem of interpreting quantum mechanics (QM) is essentially the problem of making sense out of an objectively indefinite reality. These two types of reality can be respectively associated with the two mathematical concepts of subsets and quotient sets (or partitions) which are (...) category-theoretically dual to one another and which are developed in two mathematical logics, the usual Boolean logic of subsets and the more recent logic of partitions. Our sense-making strategy is "follow the math" by showing how the logic and mathematics of set partitions can be transported in a natural way to Hilbert spaces where it yields the mathematical machinery of QM--which shows that the mathematical framework of QM is a type of logical system over ℂ. And then we show how the machinery of QM can be transported the other way down to the set-like vector spaces over ℤ₂ showing how the classical logical finite probability calculus (in a "non-commutative" version) is a type of "quantum mechanics" over ℤ₂, i.e., over sets. In this way, we try to make sense out of objective indefiniteness and thus to interpret quantum mechanics. (shrink)

We are able to participate in countless different sorts of social practice. This indefinite set of capacities must be explainable in terms of a finite stock of capacities. This paper compares and contrasts two different explanations. A standard decomposition of the capacity to participate in social practices goes something like this: the interpreter arrives on the scene with a stock of generic practice-types. He looks at the current scene to fill-in the current tokens of these types. He looks at (...) the current state of these practice tokens to see what actions are available to him. He uses his current desires to choose between these various possible actions. I argue that this standard explanation is defective, drawing on arguments by Searle and Wittgenstein and Garfinkel. I propose an alternative explanation, in which the participants must continually show each other the state of the scene in order to maintain the scene’s intelligibility. I provide a simple formal language in which to describe this alternative approach, in which we can state quite precisely what someone is doing when they participate in a practice. This language is related to both deontic and epistemic logics, but it is much simpler – it does not include the classic propositional connectives, and it is driven by a very different set of assumptions. The inspirations for this formal language are Searle’s analysis of directions of fit, Wittgenstein’s remarks on rule-following and Garfinkel’s ethnomethodology. (shrink)

In two rarely discussed passages – from unpublished notes on the Principles of Philosophy and a 1647 letter to Chanut – Descartes argues that the question of the infinite extension of space is importantly different from the infinity of time. In both passages, he is anxious to block the application of his well-known argument for the indefinite extension of space to time, in order to avoid the theologically problematic implication that the world has no beginning. Descartes concedes that we (...) always imagine an earlier time in which God might have created the world if he had wanted, but insists that this imaginary earlier existence of the world is not connected to its actual duration in the way that the indefinite extension of space is connected to the actual extension of the world. This paper considers whether Descartes’s metaphysics can sustain this asymmetrical attitude towards infinite space vs. time. I first consider Descartes’s relation to the ‘imaginary’ space/time tradition that extended from the late scholastics through Gassendi and More. I next examine carefully Descartes’s main argument for the indefinite extension of space and explain why it does not apply to time. Most crucially, since duration is merely conceptually distinct from enduring substance, the end or beginning of the world entails the end or beginning of real time. In contrast, extension does not depend on any enduring substance besides itself. (shrink)

Contemporary discussions do not always clearly distinguish two different forms of vagueness. Sometimes focus is on the imprecision of predicates, and sometimes the indefiniteness of statements. The two are intimately related, of course. A predicate is imprecise if there are instances to which it neither definitely applies nor definitely does not apply, instances of which it is neither definitely true nor definitely false. However, indefinite statements will occur in everyday discourse only if speakers in fact apply imprecise predicates to (...) such indefinite instances. (What makes an instance indefinite is, it should be clear, predicate-relative.) The basic issue in the present inquiry is whether this indefiniteness ever really occurs; the basic question is, Why should it ever occur? (shrink)

The social cost of carbon (SCC) is a central concept in climate change economics. This chapter explains the SCC and investigates it philosophically. As is widely acknowledged, any SCC calculation requires the analyst to make choices about the infamous topic of discount rates. But to understand the nature and role of discounting, one must understand how that concept—and indeed the SCC concept itself—is yoked to the concept of a value function, whose job is to take ways the world could be (...) across indefinite timespans and to rank them from better to worse. A great deal, therefore, turns on the details of the value function and on just what is meant by “better” and “worse.” This chapter seeks to explicate these and related issues, and then to situate them within the evolving landscape of federal climate policy in the United States. (shrink)

This study develops conceptual means in philosophy of agency to better and more systematically address intentional omissions of agents, including those that are about resisting the action not done. I argue that even though philosophy of agency has largely concentrated on the actions of agents, when applying philosophy of action to the social sciences, a full-blown theoretical account of what agents do not do and a non-normative conceptual language of the phenomena in question is needed. Chapter 2 aims to find (...) out what kind of things intentional omissions are. I argue that although intentional omissions are part of our intentional behavior, they are not actions in the sense that the standard account of action assumes. Instead, because intentional omissions are homogenous, continuous, unbounded, indefinite and directly uncountable, they should be thought of as activities instead of performances. This view links the ontology of intentional omissions to the ontology of processes instead of to that of events, and I argue that this kind of ontology accounts for the fluid nature of the agency of alive agents not only instigating but controlling and sustaining their intentional omissions as well. Chapter 3 aims to find out on what conditions is an omission intentional. The aim is to find a naturalized explanation of them that would make it possible to combine psychological perspectives with philosophical ones so that intentional omissions could be treated as something that exist in the world, not just in our philosophical intuitions. I argue that intentional omissions necessarily require the agent’s procedural metacognition concerning the action not done. Based on this metacognition view, a non-normative conceptual typology of not doings is presented. Chapter 4 aims to find out on what conditions is an intentional omissions resistance toward something. The necessary elements of resistance are clarified and I argue that resistant intentional omissions in which the agent does not perform an action out of resistance toward something are a normal part of our everyday agency. The implications of the findings are considered for theories of action, especially when it comes to the belief-desire model that may not be able to fully account for resistant intentional omissions. Chapter 5 aims to find out what conceptual means do we have for talking about not doing something as a form of resistance. I argue that in the social sciences, bioethics and military ethics to not do something out of resistance is taken as something that exists, and as something that has causes and effects. However, concepts such as civil disobedience, conscientious refusing, exit and everyday resistance do not account for the ordinariness of this kind of not doings. Thus, I argue that such concepts are not able to fully cover resistant inaction and philosophy of intentional omissions can be of use not just in the social sciences. Finally, Chapter 6 considers the implications of these findings. The main implication of this study is that our view of social and ethical agency would need to better include intentional not doings, not just the sum of the intentional actions of agents. Another major implication is that agents themselves should be heard when analyzing their intentional omissions in society, because intentional omissions are phenomena that can easily be mixed with the passivities of agents from the perspective of an outside observer. (shrink)

Eric Barnes’ The Paradox of Predictivism is concerned primarily with two facts: predictivism and pluralism. In the middle part of the book, he peers through these two lenses at the tired realist scarecrow of the no-miracles argument. He attempts to reanimate this weatherworn realist argument, contra suggestions by people like me that it should be abandoned. In this paper, I want to get clear on Barnes’ contribution to the debate. He focuses on what he calls the miraculous endorsement argument, which (...) explains not the success of a specific theory but instead the history of successes for an entire research program. The history of successes is explained by reliable and improving methods, which are the flipside of approximately true background theories. Yet, as Barnes notes, the whole story must begin with methods that are at least minimally reliable. Barnes demands that the realist explain the origin of the minimally reliable take-off point, and he suggests a way that the realist might do so. I contend that his explanation still relies on contingent developments and so fails to completely explain the development of take-off theories. However, this line of argument digs into familiar details of the no-miracles argument and overlooks what’s new in Barnes’ approach. By calling attention to pluralism, he reminds us that we need an account of scientific expertise. This is important, I suggest, because expertise is not indefinite. We do not trust specific experts for everything, but only for things within the bounds of their expertise. Drawing these boundaries relies on our own background theories and is only likely to be reliable if our background theories are approximately true. I argue, then, that pluralism gives us reason to be realists. (shrink)

The meaning of definite descriptions (like ‘the King of France’, ‘the girl’, etc.) has been a central topic in philosophy and linguistics for the past century. Indefinites (‘Something is on the floor’, ‘A child sat down’, etc.) have been relatively neglected in philosophy, under the assumption that they can be unproblematically treated as existential quantifiers. However, an important tradition in linguistic semantics, drawing from Stoic logic, draws out patterns which suggest that indefinites are not well treated simply as existential quantifiers. (...) There are two broad classes of response to puzzles like this, e-type and dynamic. These approaches raise deep foundational questions. Inter alia, both require revisionary notions of sentential content and non-classical treatments of the connectives. The proper treatment of (in)definites is thus of crucial importance to philosophical questions about the nature of content, the meaning of (in)definites, and the logic of natural language. In this paper I develop a new approach to (in)definites. On my theory, contents are static, and indefinites have the truth-conditions of existential quantifiers. But they also have a secondary role: they have a witness presupposition which requires that, if the indefinite’s truth is witnessed by any individual, then some such individual is assigned to their variable. This means that indefinites license subsequent anaphora to their witnesses. Crucially, the connectives in this system are classical. This shows that we can account for the behavior of (in)definites with resources that are much more conservative than those deployed by e-type or dynamic theories—and in particular, with a classical notion of content and connectives. (shrink)