In presenting self-preservation as the most general law of nature, set at the summit of the structure of the natural world, Francis Bacon characterized the universal appe- tite for self-preservation as an innate instinct which, in the case of living beings, is primarily associated with the emotion of fear. Bacon’s philosophy offers several tech- niques of self-care to manage the fear of accidents of fortune from which the existence and well-being of the self is under constant threat. This article (...) reconstructs Bacon’s treatment of divinatory arts and their contributions to self-care. We will explore how he adopts traditional divinatory arts and reforms them: oneirocritics, physiognomy, and astrology. We will contend that Bacon’s approach to divinatory arts as techniques for self-care and the management of fortune shows some salient points shared with his natural philosophy: in both cases, the approach is hermeneutical, with the goal of exerting human power. With regard both to nature and to fortune, however, our power to modify the state of things extends only so far. The range of decisions we can make is not unlimited but encompasses only what is “in our power,” that is, what depends on us. (shrink)

ABSTRACT Francis Bacon and René Descartes have traditionally been presented as leaders of opposed philosophical currents. However, more and more studies show important continuities between their philosophies. This article explores one of them: their perspectives on medicine. The dominion over nature and the instinct for self-preservation are the central elements of the theoretical framework within which they inserted their assessments of medicine. Medicine is valued as the most outstanding discipline for its benefits for the care of the human being. (...) Departing from this start-point, one finds further coincidences about the status, practice, and reform of medicine. (shrink)

The aim of this paper is to offer a comparative survey of Bacon's theory and practice of natural history and of civil history, particularly centered on their relationship to natural philosophy and human philosophy. I will try to show that the obvious differences concerning their subject matter encompass a number of less obvious methodological and philosophical assumptions which reveal a significant practical and con ceptual convergence of the two fields. Causes or axioms are prescribed as the theoretical end-products of natural (...) history, whereas precepts are envisaged as the speculative outcomes derived from perfect civil history. In spite of this difference, causes and precepts are thought to enable effective action in order to change the state of nature and of man, respectively. For that reason a number of common patterns are to be found in Bacon's theory and practice of natural and civil history. (shrink)

Francis Bacon’s theory of matter is a controversial topic among historians. I agree with the viewpoint, which suggests that although Bacon changed his views on atomism repeatedly, he never rejected it completely (Partington, Urbach, Gemelli). I will substantiate this interpretation by paying more attention to the usually neglected allegorical works and by investigating why Bacon changed his mind on atomism in his Novum organum. I shall reconstruct Bacon’s various opinions in chronological order to establish his final evaluation of atomism (...) and his reasons for it. Given that Bacon never embraced a matter theory identical with Greek atomism, I shall here define atomism in the broadest sense, as a corpuscular matter theory that posits final and indivisible particles. Following this semantic delimitation, two successive Baconian opinions will be distinguished: the first took the atom to constitute an ontological and causative-operational principle; the second deprived the atom of this causative-operational ability, but did not touch its ontological priority. At the same time, I will investigate the question concerning the coexistence of atomism and pneumatism in Bacon’s theory, a point that has been discussed in the influential interpretations by Kargon and Rees. I shall argue that Bacon did not regard these two doctrines as incompatible. (shrink)

Francis Bacon (15611626) wrote that good scientists are not like ants (mindlessly gathering data) or spiders (spinning empty theories). Instead, they are like bees, transforming nature into a nourishing product. This essay examines Bacon's "middle way" by elucidating the means he proposes to turn experience and insight into understanding. The human intellect relies on "machines" to extend perceptual limits, check impulsive imaginations, and reveal nature's latent causal structure, or "forms." This constructivist interpretation is not intended to supplant inductivist or (...) experimentalist interpretations, but is designed to explicate Bacon's account of science as a collaborative project with several interdependent methodological goals. (shrink)

This paper will address the nineteenth-century reception of Bacon as an exponent of materialism in Joseph de Maistre and Karl Marx. I will argue that Bacon’s philosophy is “quasi-materialist.” The materialist components of his philosophy were noticed by de Maistre and Marx, who, in addition, pointed out a Baconian materialist heritage. Their construction of Bacon’s figure as the leader of a materialist lineage ascribed to his philosophy a revolutionary import that was contrary to Bacon’s actual leanings. This contrast shows how (...) different the contexts were within which materialism was conceived and valued across the centuries, and how far philosophical and scientific discourses may be transformed by their receptions, to the point that in many cases they could hardly be embraced by the authors of these discourses. (shrink)

In this chapter we will argue, firstly, that Bacon’s engages in a pecu-liar form of mathematization of nature that develops a quali-quantitative methodology of measurement. Secondly, we will show that medicine is one of the disciplines where that dual way of measurement is practiced. In the first section of the chapter, we will expose the ontology involved in the Baconian proposal of measurement of nature. The second section will address the place that mixed mathematics occupies in Bacon’s scheme of scientific (...) branches and will suggest that a proper advancement of medicine can generate a new branch of mixed mathematics. The next section will reconstruct Bacon’s approach to measurement and expose its quali-quantitative import. In the last section, we will show some examples of medicine in which this quali-quantitative measurement is applied. (shrink)

Francis Bacon was the youngest son of Nicholas Bacon, lord keeper of the great seal under Elizabeth I. He left Cambridge in 1575, studied law, and entered Parliament in 1581. Though roughly contemporary with Kepler, Galileo, and Harvey, Bacon’s grand schemes for the advancement of knowledge were not driven by their discoveries: he resisted the Copernican hypothesis, and did not give mathematics a central place in his vision of natural philosophy. His active public life, under both Elizabeth and James (...) I, was taken up with political business and legal reform. Bacon achieved high office as Lord Chancellor in 1618, until disgraced by corruption charges. His final years saw a furious spate of writing on natural philosophy, politics, and history. (shrink)

Neste trabalho abordamos a obra de Francis Bacon e as suas contribuições para a Filosofia da Ciência, incluindo a sua proposta de método científico e o seu posicionamento crítico face à anterior versão aristotélica e a influência que o pensamento baconiano exerceu na promoção de um novo quadro filosófico para o desenvolvimento científico na modernidade. Este trabalho foi realizado no âmbito da disciplina de Filosofia das Ciências I, parte do curso de Filosofia da Faculdade de Letras da Universidade do (...) Porto, Portugal. (shrink)

This chapter focuses on the appetite for self-preservation and its central role in Francis Bacon’s natural philosophy. In the first part, I introduce Bacon’s classification of universal appetites, showing the correspondences between natural and moral philosophy. I then examine the role that appetites play in his theory of motions and, additionally, the various meanings accorded to preservation in this context. I also discuss some of the sources underlying Bacon’s ideas, for his views about preservation reveal traces of Stoicism, Telesian (...) natural philosophy, the natural law tradition, as well as late-scholastic ideas. Bacon assumes the existence of two kinds of preservation: self-preservation and preservation of the whole. The appetite through which the whole preserves itself overpowers individual appetites for self-preservation. In Bacon’s theory of motions, the primacy of global preservation – that is, the preservation of the whole – is evidenced by the way matter resists being annihilated, while self-preservation at a local and particular level is revealed through other kinds of motion. Bacon’s notion of appetite reflects a specific metaphysics of matter and motion, in which the preservation of natural bodies follows teleological patterns shared by both nature and humanity: the preservation of the whole is the highest goal, both in moral and natural philosophy. In this chapter, I argue that in Bacon’s natural philosophy different kind of things, including nature and humans, are ruled by patterns that are constitutive of correlated orders, neither of which is reducible to the other: there is no priority of the natural order over the moral, or vice versa. Thus, at a more general level, both are expressions of the same type of divinely imposed, law-like behaviour. (shrink)

From his earliest publications until his last, Francis Bacon displayed an intense interest in theo- logical and religious issues, and expressed this interest in both public and private. On the other hand, he has long been recognized for his proposals for a grand reform and reconstruction of natural philosophy, in which experience, observation, experiment, and technological implementation of abstract claims all took center stage. This practical bent has often neatly been encapsu- lated in the slogan derived from Bacon himself, (...) ‘knowledge is power.’ The many and interesting connections between these two sets of interests – the theological and the natural philosophical – have not gone unnoticed by scholars; however, one central component of Bacon’s pragmatic approach to natural philosophy that was deeply influenced by his theological concerns has remained unexplored. The equation between knowledge and power, so well known, in fact developed out of Bacon’s conception of the Christian Trinity, and out of the rela- tionship between the Trinity and humanity’s pursuit of knowledge about nature. It is the task of this essay to trace the development of this connection from the beginnings of Bacon’s literary career until its end. (shrink)

This paper will analyze three historical cases (Francis Bacon, Galileo Galilei and Margaret Cavendish) that exemplify the complexity of the interaction between science and religion in the Scientific Revolution and confirm the interpretation of J. H. Brooke, according to which, in this historical context –rather than a separation- a differentiation took hold between them. We will hold that although these authors agreed in proposing the separation of science and religion as an ideal, each in their own way made an (...) articulation between the two that in the long run prevented a complete separation. This articulation was due to both epistemic and extra-epistemic reasons and manifests a tension that was characteristic of the Scientific Revolution. (shrink)

The first part of this paper will provide a reconstruction of Francis Bacon’s interpretation of Academic scepticism, Pyrrhonism, and Dogmatism, and its sources throughout his large corpus. It shall also analyze Bacon’s approach against the background of his intellectual milieu, looking particularly at Renaissance readings of scepticism as developed by Guillaume Salluste du Bartas, Pierre de la Primaudaye, Fulke Greville, and John Davies. It shall show that although Bacon made more references to Academic than to Pyrrhonian Scepticism, like most (...) of his contemporaries, he often misrepresented and mixed the doctrinal components of both currents. The second part of the paper shall offer a complete chronological survey of Bacon’s assessment of scepticism throughout his writings. Following the lead of previous studies by other scholars, I shall support the view that, while he approved of the state of doubt and the suspension of judgment as a provisional necessary stage in the pursuit of knowledge, he rejected the notion of acatalepsia. To this received reading, I shall add the suggestion that Bacon’s criticism of acatalepsia ultimately depends on his view of the historical conditions that surround human nature. I deal with this last point in the third part of the paper, where I shall argue that Bacon’s evaluation of scepticism relied on his adoption of a Protestant and Augustinian view of human nature that informed his overall interpretation of the history of humanity and nature, including the sceptical schools. (shrink)

Francis Bacon's position on the existence of void and its nature has been mostly studied with regard to his views on the atom. This approach is undoubtedly right, but it disregards further topics related to Bacon's account of void, namely the world system and the transmutation of bodies. Consequently, a more comprehensive study of Bacon's view on vacuum seems desirable where all the contexts are taken into account. To address this desideratum, the present paper examines Bacon's different views on (...) vacuum drawing attention to the various contexts of the discussion. It also gives an evaluation of the arguments put forward in support of his positions. The first section presents a reconstruction of Bacon's consecutive positions and the reasons for his changes of mind. The second section lists the experimental facts traditionally cited in debates about vacuum and Bacon's interpretation of these. The final section evaluates the role that these experimental facts played in Bacon's arguments. As a result, it is shown that Bacon fits entirely into the general pattern of the early seventeenth century. Empirical arguments by themselves had little value for solving the question of the void; it was also necessary to have a formerly established theory. (shrink)

This work intentionally joins Stephen A. McKnight’s The Religious Foundations of Francis Bacon’s Thought in arguing that Sir Francis Bacon was more deeply religious than he is conventionally thought to have been. Though the book is full of interesting suggestions, a lack of breadth, rigor, and precision will leave many readers unconvinced. . . . Those who know the corpus and secondary literature enough to read critically will find here provocative suggestions and intriguing leads. Others will need to (...) be cautious about the book’s arguments and conclusions. (shrink)

Admitiendo, con René Schérer, que la filosofía de Deleuze puede leerse como una teoría de la literatura y la escritura, y dado que tal filosofía constituye un punto cimero del pensamiento dedicado a combatir la representación, este ensayo quisiera aplicar dicha teoría al terreno de la imagen pictórica, articulando la lectura que de Bacon realiza el filósofo en torno a un desarraigo -o desterritorialización- del sentido básico, dominante en pintura: la vista, desplazándose así desde un principio la visión por el (...) tacto, lo visible por lo táctil (aquello que, más que resultar palpable, toca), lo óptico por lo háptico. (shrink)

Hace un tiempo G. Rees señaló la importancia del razonamiento cuantitativo en el programa de la renovación del saber propuesto por F. Bacon, renovando la imagen tradicional de su método. Con la intención de proseguir el replanteo iniciado por Rees de los conceptos centrales del método baconiano, me propongo reexaminar el significado de la experimentación y de los instrumentos científicos, lo cual implica al mismo tiempo considerar la relación entre razón y sentidos. Para ello, examinaré el significado de los sentidos (...) como fuentes del conocimiento, la función de la experimentación y de los instrumentos para superar las limitaciones de los sentidos, la inserción de datos cuantitativos en el marco experimental, el concepto de sutilidad de la naturaleza y el sentido metodológico de la anatomía baconiana. Como conclusión señalo que en el método baconiano los sentidos están subordinados a la razón, ya que tanto los experimentos como los instrumentos científicos están sujetos a la autoridad de la razón para alcanzar la verdad y evitar sus errores. (shrink)

Francis Bacon’s call for philosophers to investigate nature and ‘‘join in consultation for the common good’’ is one example of a powerful vision that helped to shape modern science. His ideal clearly linked the experimental method with the production of beneficial effects that could be used both as ‘‘pledges of truth’’ and for ‘‘the comforts of life.’’ When Bacon’s program was implemented in the following genera- tion, however, the tensions inherent in his vision became all too real. The history (...) of the Royal Society of London, from its founding in 1660 to the 42-year presidency of Joseph Banks (1778–1820), shows how these tensions led to changes in the way in which both the experimental method and the ideal of the common good were understood. A more nuanced understanding of the problems involved in recent philosophical analyses of science in the public interest can be achieved by appreciating the complexity revealed from this historical perspective. (shrink)

In this well-structured monograph, Stephen A. McKnight seeks to correct the view that Francis Bacon’s use of religious motifs and tropes is “manipulative,” “cynical,” and “disingenuous,” a view McKnight considers the “prevailing” one. To accomplish his goal, McKnight subjects several of Bacon’s works to a close reading. He concludes that the “pervasiveness of religious motifs, scriptural references, and biblical doctrines” in Bacon’s writings “establish the central role religion plays in Bacon’s thought”. McKnight holds that Bacon’s religiosity is not disingenuous, (...) but sincere. . . . . In documenting religious motifs in several of Bacon’s writings, this book is a valuable success. In characterizing Bacon’s religious beliefs and how they influenced the rest of his thought, it is much less convincing. (shrink)

Feminist science critics, in particular Sandra Harding, Carolyn Merchant, and Evelyn Fox Keller, claim that misogynous sexual metaphors played an important role in the rise of modern science. The writings of Francis Bacon have been singled out as an especially egregious instance of the use of misogynous metaphors in scientific philosophy. This paper offers a defense of Bacon.

Defendendo a união entre a razão e a experiência como a possibilidade de instauração do desenvolvimento científico, Bacon se contrapõe à indução aristotélica enquanto procedimento que implica a enumeração de casos particulares tendo em vista o objetivo de encontrar o geral existente em todos e em cada um deles em um processo que se detém na soma de fatos, limitando-se à comunicação, na medida em que não tem capacidade de empreender a descoberta do conhecimento. Dessa forma, sobrepondo-se ao acúmulo de (...) fatos sem método, Bacon institui a indução por subtração enquanto processo baseado na eliminação sistemática de experiências inconclusivas, que converge para atribuir valor às experiências negativas e impede as generalizações prematuras, instaurando o experimento enquanto experiência guiada e disciplinada pelo intelecto na fundação do empirismo moderno. (shrink)

The way of laws is as much a defining feature of the modern period as the way of ideas; but the way of laws is hardly without its forks. Both before and after Descartes, there are philosophers using the concept to carve out a very different position from his, one that is entirely disconnected from God or God’s will. I argue that Francis Bacon and Baruch Spinoza treat laws as dispositions that derive from a thing’s nature. This reading upends (...) the currently orthodox treatment of Spinoza’s laws as infinite modes, and calls for a re-conception of his metaphysics of causation. (shrink)

Bacon’s philosophy had a wide dissemination in Dutch Seventeenth Century context. This can be explained by the coeval diffusion of Cartesianism. Bacon’s project of a reformation of science was deemed by Heereboord and De Raey as the manifesto of a new philosophy. Along with Geulincx, moreover, De Raey borrowed Bacon’s arguments on the causes of error and on the replacement of Aristotelian natural history, aimed at integrating Descartes’s physics. Also in logic Bacon’s influence was noticeable, as the development of a (...) new Organon had its accomplishment in the Cartesian logic of Clauberg and of De Raey himself. In theology, Heidanus relied on Bacon in order to confute Socinianism. The fortune of Dutch Baconianism had its end with the rise of Newtonianism: as a quantitative, experimental philosophy arose, Bacon’s works were no more regarded as a valuable source of arguments. (shrink)

In this article, I deal with the role of hypothesis in the scientific methodology of Isaac Newton, Francis Bacon and René Descartes. The first paragraph is about hypothesis in Newton's lexicon, especially trying to understand the meaning of his famous hypotheses non fingo. The second paragraph deals with Bacon's methodology, arguing especially that his epis-temology was the first to propose an artificial way for inductive inferences, also giving up all hypothesis in science. The third paragraph shows how Descartes, following (...) Bacon's traces and reading his methodology in the light of the idea of a Mathesis Universalis based on mental evidence, structures a full hypothetical-deductive methodology, charging metaphysics with the analytical phase and depriving experiments of any role in it. The fourth paragraph, on Newton again, tries to understand Newton's specific account of hypothesis as an auxiliary phase in the scientific discovery, and what really differentiates Newton from his contemporaries, Boyle and Hooke. (shrink)

Literary theory and criticism over the last three decades have shown an increasing interest in studying the cognitive and critical relevance of the “essay” for modern history and culture . This paper aims to supply supporting evidence for this perspective, examining the function of essay writing for both Montaigne and Francis Bacon's conception of human thought and knowledge. In particular, I will focus on the epistemological implications of the essay and fragmentary prose, both considered forms of writing that express (...) a particular way of thinking. (shrink)

This three-part chapter explores a higher-order logic we call ‘Classicism’, which extends a minimal classical higher-order logic with further axioms which guarantee that provable coextensiveness is sufficient for identity. The first part presents several different ways of axiomatizing this theory and makes the case for its naturalness. The second part discusses two kinds of extensions of Classicism: some which take the view in the direction of coarseness of grain (whose endpoint is the maximally coarse-grained view that coextensiveness is sufficient for (...) identity), and some which take the view in the direction of fineness of grain (whose endpoint is the maximally fine-grained theory containing all distinctness claims compatible with Classicism). The third part introduces some techniques for constructing models of Classicism, and uses them to prove the consistency of many of the extensions of Classicism introduced in the second part. (shrink)

Higher-order logic augments first-order logic with devices that let us generalize into grammatical positions other than that of a singular term. Some recent metaphysicians have advocated for using these devices to raise and answer questions that bear on many traditional issues in philosophy. In contrast to these 'higher-order metaphysicians', traditional metaphysics has often focused on parallel, but importantly different, questions concerning special sorts of abstract objects: propositions, properties and relations. The answers to the higher-order and the property-theoretic questions may coincide (...) sometimes but will often come apart. I argue that when they do, the higher-order questions are closer to the metaphysical action and so it would be better for these debates to proceed in higher-order terms. (shrink)

The fact that physical laws often admit certain kinds of space-time symmetries is often thought to be problematic for substantivalism --- the view that space-time is as real as the objects it contains. The most prominent alternative, relationism, avoids these problems but at the cost of giving abstract objects (rather than space-time points) a pivotal role in the fundamental metaphysics. This incurs related problems concerning the relation of the physical to the mathematical. In this paper I will present a version (...) of substantivalism that respects Leibnizian theses about space-time symmetries, and argue that it is superior to both relationism and the more orthodox form of substantivalism. (shrink)

Introduction -- Historical essays -- The humanist brain : Alberti, Vitruvius, and Leonardo -- The enlightened brain : Perrault, Laugier, and Le Roy -- The sensational brain : Burke, Price, and Knight -- The transcendental brain : Kant and Schopenhauer -- The animate brain : Schinkel, Bötticher, and Semper -- The empathetic brain : Vischer, Wölfflin, and Göller -- The gestalt brain : the dynamics of the sensory field -- The neurological brain : Hayek, Hebb, and Neutra -- The phenomenal (...) brain : Merleau-Ponty, Rasmussen, and Pallasmaa -- Neuroscience and architecture -- Anatomy : architecture of the brain -- Ambiguity : architecture of vision -- Metaphor : architecture of embodiment -- Hapticity : architecture of the senses -- Epilogue: The architect's brain. (shrink)

In November 2022, OpenAI released ChatGPT, an incredibly sophisticated chatbot. Its capability is astonishing: as well as conversing with human interlocutors, it can answer questions about history, explain almost anything you might think to ask it, and write poetry. This level of achievement has provoked interest in questions about whether a chatbot might have something similar to human intelligence or even consciousness. Given that the function of a chatbot is to process linguistic input and produce linguistic output, we consider the (...) question whether a sophisticated chatbot might have inner speech. That is: Might it talk to itself, internally? We explored this via a conversation with ‘Playground’, a chatbot which is very similar to ChatGPT but more flexible in certain respects. We asked it questions which, plausibly, can only be answered if one first produces some inner speech. Here, we present our findings and discuss their philosophical significance. (shrink)

In this paper the logic of broad necessity is explored. Definitions of what it means for one modality to be broader than another are formulated, and it is proven, in the context of higher-order logic, that there is a broadest necessity, settling one of the central questions of this investigation. It is shown, moreover, that it is possible to give a reductive analysis of this necessity in extensional language. This relates more generally to a conjecture that it is not possible (...) to define intensional connectives from extensional notions. This conjecture is formulated precisely in higher-order logic, and concrete cases in which it fails are examined. The paper ends with a discussion of the logic of broad necessity. It is shown that the logic of broad necessity is a normal modal logic between S4 and Triv, and that it is consistent with a natural axiomatic system of higher-order logic that it is exactly S4. Some philosophical reasons to think that the logic of broad necessity does not include the S5 principle are given. (shrink)

This paper argues that the theory of structured propositions is not undermined by the Russell-Myhill paradox. I develop a theory of structured propositions in which the Russell-Myhill paradox doesn't arise: the theory does not involve ramification or compromises to the underlying logic, but rather rejects common assumptions, encoded in the notation of the $\lambda$-calculus, about what properties and relations can be built. I argue that the structuralist had independent reasons to reject these underlying assumptions. The theory is given both a (...) diagrammatic representation, and a logical representation in a novel language. In the latter half of the paper I turn to some technical questions concerning the treatment of quantification, and demonstrate various equivalences between the diagrammatic and logical representations, and a fragment of the $\lambda$-calculus. (shrink)

We explore the view that Frege's puzzle is a source of straightforward counterexamples to Leibniz's law. Taking this seriously requires us to revise the classical logic of quantifiers and identity; we work out the options, in the context of higher-order logic. The logics we arrive at provide the resources for a straightforward semantics of attitude reports that is consistent with the Millian thesis that the meaning of a name is just the thing it stands for. We provide models to show (...) that some of these logics are non-degenerate. (shrink)

There is conflicting experimental evidence about whether the “stakes” or importance of being wrong affect judgments about whether a subject knows a proposition. To date, judgments about stakes effects on knowledge have been investigated using binary paradigms: responses to “low” stakes cases are compared with responses to “high stakes” cases. However, stakes or importance are not binary properties—they are scalar: whether a situation is “high” or “low” stakes is a matter of degree. So far, no experimental work has investigated the (...) scalar nature of stakes effects on knowledge: do stakes effects increase as the stakes get higher? Do stakes effects only appear once a certain threshold of stakes has been crossed? Does the effect plateau at a certain point? To address these questions, we conducted experiments that probe for the scalarity of stakes effects using several experimental approaches. We found evidence of scalar stakes effects using an “evidence seeking” experimental design, but no evidence of scalar effects using a traditional “evidence-fixed” experimental design. In addition, using the evidence-seeking design, we uncovered a large, but previously unnoticed framing effect on whether participants are skeptical about whether someone can know something, no matter how much evidence they have. The rate of skeptical responses and the rate at which participants were willing to attribute “lazy knowledge”—that someone can know something without having to check—were themselves subject to a stakes effect: participants were more skeptical when the stakes were higher, and more prone to attribute lazy knowledge when the stakes were lower. We argue that the novel skeptical stakes effect provides resources to respond to criticisms of the evidence-seeking approach that argue that it does not target knowledge. (shrink)

In explaining the notion of a fundamental property or relation, metaphysicians will often draw an analogy with languages. The fundamental properties and relations stand to reality as the primitive predicates and relations stand to a language: the smallest set of vocabulary God would need in order to write the “book of the world.” This paper attempts to make good on this metaphor. To that end, a modality is introduced that, put informally, stands to propositions as logical truth stands to sentences. (...) The resulting theory, formulated in higher-order logic, also vindicates the Humean idea that fundamental properties and relations are freely recombinable and a variant of the structural idea that propositions can be decomposed into their fundamental constituents via logical operations. Indeed, it is seen that, although these ideas are seemingly distinct, they are not independent, and fall out of a natural and general theory about the granularity of reality. (shrink)

The principle of universal instantiation plays a pivotal role both in the derivation of intensional paradoxes such as Prior’s paradox and Kaplan’s paradox and the debate between necessitism and contingentism. We outline a distinctively free logical approach to the intensional paradoxes and note how the free logical outlook allows one to distinguish two different, though allied themes in higher-order necessitism. We examine the costs of this solution and compare it with the more familiar ramificationist approaches to higher-order logic. Our assessment (...) of both approaches is largely pessimistic, and we remain reluctantly inclined to take Prior’s and Kaplan’s derivations at face value. (shrink)

In this paper I present a precise version of Stalnaker's thesis and show that it is both consistent and predicts our intuitive judgments about the probabilities of conditionals. The thesis states that someone whose total evidence is E should have the same credence in the proposition expressed by 'if A then B' in a context where E is salient as they have conditional credence in the proposition B expresses given the proposition A expresses in that context. The thesis is formalised (...) rigorously and two models are provided that demonstrate that the new thesis is indeed tenable within a standard possible world semantics based on selection functions. Unlike the Stalnaker-Lewis semantics the selection functions cannot be understood in terms of similarity. A probabilistic account of selection is defended in its place. -/- I end the paper by suggesting that this approach overcomes some of the objections often leveled at accounts of indicatives based on the notion of similarity. (shrink)

Most work on the semantic paradoxes within classical logic has centered around what this essay calls “linguistic” accounts of the paradoxes: they attribute to sentences or utterances of sentences some property that is supposed to explain their paradoxical or nonparadoxical status. “No proposition” views are paradigm examples of linguistic theories, although practically all accounts of the paradoxes subscribe to some kind of linguistic theory. This essay shows that linguistic accounts of the paradoxes endorsing classical logic are subject to a particularly (...) acute form of the revenge paradox: that there is no exhaustive classification of sentences into “good” and “bad” such that the T-schema holds when restricted to the “good” sentences unless it is also possible to prove some “bad” sentences. The foundations for an alternative classical nonlinguistic approach is outlined that is not subject to the same kinds of problems. Although revenge paradoxes of different strengths can be formulated, they are found to be indeterminate at higher orders and not inconsistent. (shrink)

An increasing amount of twenty-first century metaphysics is couched in explicitly hyperintensional terms. A prerequisite of hyperintensional metaphysics is that reality itself be hyperintensional: at the metaphysical level, propositions, properties, operators, and other elements of the type hierarchy, must be more fine-grained than functions from possible worlds to extensions. In this paper I develop, in the setting of type theory, a general framework for reasoning about the granularity of propositions and properties. The theory takes as primitive the notion of a (...) substitution on a proposition (property, etc.) and, among other things, uses this idea to elucidate a number of theoretically important distinctions. A class of structures are identified which can be used to model a wide range of positions about the granularity of reality; certain of these structures are seen to receive a natural treatment in the category of M-sets. (shrink)

This paper investigates the strange case of an argument that was directed against a positivist verification principle. We find an early occurrence of the argument in a talk by the phenomenologist Roman Ingarden at the 1934 International Congress of Philosophy in Prague, where Carnap and Neurath were present and contributed short rejoinders. We discuss the underlying presuppositons of the argument, and we evaluate whether the attempts by Carnap (especially) actually succeed in answering this argument. We think they don’t, and offer (...) instead a few sociological thoughts about why the argument seems to have disappeared from the profession’s evaluaton of the positivist criterion of verifiability. (shrink)

The purpose of this essay is to offer support for the substance view of persons, the philosophical anthropology defended by Patrick Lee in his essay. In order to accomplish this the author presents a brief definition of the substance view; argues that the substance view has more explanatory power in accounting for why we believe that human persons are intrinsically valuable even when they are not functioning as such, why human persons remain identical to themselves over time, and why it (...) follows from these points that the unborn are human persons; and responds to two arguments that attempt to establish the claim that the early human being is not a unified substance until at least fourteen days after conception. (shrink)

The result of combining classical quantificational logic with modal logic proves necessitism – the claim that necessarily everything is necessarily identical to something. This problem is reflected in the purely quantificational theory by theorems such as ∃x t=x; it is a theorem, for example, that something is identical to Timothy Williamson. The standard way to avoid these consequences is to weaken the theory of quantification to a certain kind of free logic. However, it has often been noted that in order (...) to specify the truth conditions of certain sentences involving constants or variables that don’t denote, one has to apparently quantify over things that are not identical to anything. In this paper I defend a contingentist, non-Meinongian metaphysics within a positive free logic. I argue that although certain names and free variables do not actually refer to anything, in each case there might have been something they actually refer to, allowing one to interpret the contingentist claims without quantifying over mere possibilia. (shrink)

We develop a theory of necessity operators within a version of higher-order logic that is neutral about how fine-grained reality is. The theory is axiomatized in terms of the primitive of *being a necessity*, and we show how the central notions in the philosophy of modality can be recovered from it. Various questions are formulated and settled within the framework, including questions about the ordering of necessities under strength, the existence of broadest necessities satisfying various logical conditions, and questions about (...) their logical behaviour. We also wield the framework to probe the conditions under which a logicist account of necessities is possible, in which the theory is completely reducible to logic. (shrink)

A number of authors have objected to the application of non-classical logic to problems in philosophy on the basis that these non-classical logics are usually characterised by a classical metatheory. In many cases the problem amounts to more than just a discrepancy; the very phenomena responsible for non-classicality occur in the field of semantics as much as they do elsewhere. The phenomena of higher order vagueness and the revenge liar are just two such examples. The aim of this paper is (...) to show that a large class of non-classical logics are strong enough to formulate their own model theory in a corresponding non-classical set theory. Specifically I show that adequate definitions of validity can be given for the propositional calculus in such a way that the metatheory proves, in the specified logic, that every theorem of the propositional fragment of that logic is validated. It is shown that in some cases it may fail to be a classical matter whether a given sentence is valid or not. One surprising conclusion for non-classical accounts of vagueness is drawn: there can be no axiomatic, and therefore precise, system which is determinately sound and complete. (shrink)

One thousand fair causally isolated coins will be independently flipped tomorrow morning and you know this fact. I argue that the probability, conditional on your knowledge, that any coin will land tails is almost 1 if that coin in fact lands tails, and almost 0 if it in fact lands heads. I also show that the coin flips are not probabilistically independent given your knowledge. These results are uncomfortable for those, like Timothy Williamson, who take these probabilities to play a (...) central role in their theorizing. (shrink)