Ioannis G. Ntagkas

The central aim of this paper is to use a particular view about how the laws of nature govern the evolution of our universe in order to develop and evaluate the two main competing options in the metaphysics of persistence, namely endurantism and perdurantism. We begin by motivating the view that our laws of nature dictate not only qualitative facts about the future, but also which objects will instantiate which qualitative properties. We then show that both traditional doctrines in the metaphysics of persistence must take on surprising further commitments in order to vindicate our universe being law-governed in this strong sense. For example, we argue that endurantists should adopt a particular version of monism, and that perdurantists should adopt a qualitativist doctrine that dispenses with all individuals at the fundamental level.

The Lockean Thesis says that you must believe p iff you’re sufficiently confident of it. On some versions, the 'must' asserts a metaphysical connection; on others, it asserts a normative one. On some versions, 'sufficiently confident' refers to a fixed threshold of credence; on others, it varies with proposition and context. Claim: the Lockean Thesis follows from epistemic utility theory—the view that rational requirements are constrained by the norm to promote accuracy. Different versions of this theory generate different versions of Lockeanism; moreover, a plausible version of epistemic utility theory meshes with natural language considerations, yielding a new Lockean picture that helps to model and explain the role of beliefs in inquiry and conversation. Your beliefs are your best guesses in response to the epistemic priorities of your context. Upshot: we have a new approach to the epistemology and semantics of belief. And it has teeth. It implies that the role of beliefs is fundamentally different than many have thought, and in fact supports a metaphysical reduction of belief to credence.

How do scientific explanations for beliefs affect people's confidence that those beliefs are true? For example, do people think neuroscience-based explanations for belief in God support or challenge God's existence? In five experiments, we find that people tend to think explanations for beliefs corroborate those beliefs if the explanations invoke normally-functioning mechanisms, but not if they invoke abnormal functioning (where “normality” is a matter of proper functioning). This emerges across a variety of kinds of scientific explanations and beliefs (religious, moral, and scientific). We also find evidence that these effects can interact with people's prior beliefs to produce motivated judgments.

Analyticity, or the 'analytic/synthetic' distinction is one of the most important and controversial problems in contemporary philosophy. It is also essential to understanding many developments in logic, philosophy of language, epistemology and metaphysics. In this outstanding introduction to analyticity Cory Juhl and Eric Loomis cover the following key topics: The origins of analyticity in the philosophy of Hume and Kant Carnap's arguments concerning analyticity in the early twentieth century Quine's famous objections to analyticity in his classic 'Two Dogmas of Empiricism' essay The relationship between analyticity and central issues in metaphysics, such as ontology The relationship between analyticity and epistemology Analyticity in the context of the current debates in philosophy, including mathematics and ontology Throughout the book the authors show how many philosophical controversies hinge on the problem of analyticity. Additional features include chapter summaries, annotated further reading and a glossary of technical terms making the book ideal to those coming to the problem for the first time.

This volume raises provocative questions about the status of words and literature in contemporary culture. It argues that words and images are equal and that the vast number of text messages, e-mails, tweets, comments, blogs, and daily social network posts confirms textuality's central role in new media. This is especially true of writing, as old and new forms mix online and off, reconfiguring so prolifically that no single theory can explain it, let alone project its future. This volume explores multiple questions in depth: are microblogs a new literary genre? What happens when Japanese haiku crosses cultures? Is writing still an act of individuality or has it become a modern technological innovation?

Logical form has always been a prime concern for philosophers belonging to the analytic tradition. For at least one century, the study of logical form has been widely adopted as a method of investigation, relying on its capacity to reveal the structure of thoughts or the constitution of facts. This book focuses on the very idea of logical form, which is directly relevant to any principled reflection on that method. Its central thesis is that there is no such thing as a correct answer to the question of what is logical form: two significantly different notions of logical form are needed to fulfil two major theoretical roles that pertain respectively to logic and to semantics. This thesis has a negative and a positive side. The negative side is that a deeply rooted presumption about logical form turns out to be overly optimistic: there is no unique notion of logical form that can play both roles. The positive side is that the distinction between two notions of logical form, once properly spelled out, sheds light on some fundamental issues concerning the relation between logic and language.

In his new book, Logical Form, Andrea Iacona distinguishes between two different roles that have been ascribed to the notion of logical form: the logical role and the semantic role. These two roles entail a bifurcation of the notion of logical form. Both notions of logical form, according to Iacona, are descriptive, having to do with different features of natural language sentences. I agree that the notion of logical form bifurcates, but not that the logical role is merely descriptive. In this paper, I focus on formalization, a process by which logical form, on its logical role, is attributed to natural language sentences. According to some, formalization is a form of explication, and it involves normative, pragmatic, as well as creative aspects. I present a view by which formalization involves explicit commitments on behalf of a reasoner or an interpreter, which serve the normative grounds for the evaluation of a given text. In previous work, I proposed the framework of semantic constraints for the explication of logical consequence. Here, I extend the framework to include formalization constraints. The various constraints then serve the role of commitments. I discuss specific issues raised by Iacona concerning univocality, co-reference and equivocation, and I show how our views on these matters diverge as a result of our different starting assumptions.

This collection of new essays presents cutting-edge research on the semantic conception of logic, the invariance criteria of logicality, grammaticality, and logical truth. Contributors explore the history of the semantic tradition, starting with Tarski, and its historical applications, while central criticisms of the tradition, and especially the use of invariance criteria to explain logicality, are revisited by the original participants in that debate. Other essays discuss more recent criticism of the approach, and researchers from mathematics and linguistics weigh in on the role of the semantic tradition in their disciplines. This book will be invaluable to philosophers and logicians alike.

This essay offers a conception of logic by which logic may be considered to be exceptional among the sciences on the backdrop of a naturalistic outlook. The conception of logic focused on emphasises the traditional role of logic as a methodology for the sciences, which distinguishes it from other sciences that are not methodological. On the proposed conception, the methodological aims of logic drive its definitions and principles, rather than the description of scientific phenomena. The notion of a methodological discipline is explained as a relation between disciplines or practices. Logic serves as a methodological discipline with respect to any theoretical practice, and this generality, as well as logic’s reflexive nature, distinguish it from other methodological disciplines. Finally, the evolution of model theory is taken as a case study, with a focus on its methodological role. Following recent work by John Baldwin and Juliette Kennedy, we look at model theory from its inception in the mid-twentieth century as a foundational endeavour until developments at the end of the century, where the classification of theories has taken centre-stage.

Philosophers have rightly condemned lookism—that is, discrimination in favor of attractive people or against unattractive people—in education, the justice system, the workplace and elsewhere. Surprisingly, however, the almost universal preference for attractive romantic and sexual partners has rarely received serious ethical scrutiny. On its face, it’s unclear whether this is a form of discrimination we should reject or tolerate. I consider arguments for both views. On the one hand, a strong case can be made that preferring attractive partners is bad. The idea is that choosing partners based on looks seems essentially similar to other objectionable forms of discrimination. (In particular, the preference for attractive partners is arguably both unfair and harmful to a significant degree.) One can try to resist this conclusion in several ways. I consider three possible replies. The first has to do with the possibility of controlling our partner preferences. The second pertains to attractiveness and “good genes”. The last attempts to link certain aspects of attractiveness to a prospective partner’s personality and values. I argue that the first two replies fail conclusively, while the third only amounts to a limited defense of a particular kind of attractiveness preference. So the idea that we should often avoid preferring attractive partners is compelling.

Do people tend to be overconfident? Many think so. They’ve run studies on whether people are calibrated: whether their average confidence in their opinions matches the proportion of those opinions that are true. Under certain conditions, people are systematically ‘over-calibrated’—for example, of the opinions they’re 80% confident in, only 60% are true. From this empirical over-calibration, it’s inferred that people are irrationally overconfident. My question: When and why is this inference warranted? Answering it requires articulating a general connection between being rational and being right—something extant studies have not done. I show how to do so using the notion of deference. This provides a theoretical foundation for calibration research, but also reveals a flaw: the connection between being rational and being right is much weaker than is standardly assumed, since rational people can often be expected to be miscalibrated. Thus we can’t test whether people are overconfident by simply testing whether they are over-calibrated; instead, we must try to predict the rational deviations from calibration, and then compare those predictions to people’s performance. I show how this can be done—and that doing so complicates the interpretation of robust empirical effects.

The algorithm, a building block of computer science, is defined from an intuitive and pragmatic point of view, through a methodological lens of philosophy rather than that of formal computation. The treatment extracts properties of abstraction, control, structure, finiteness, effective mechanism, and imperativity, and intentional aspects of goal and preconditions. The focus on the algorithm as a robust conceptual object obviates issues of correctness and minimality. Neither the articulation of an algorithm nor the dynamic process constitute the algorithm itself. Analysis for implications in computer science and philosophy reveals unexpected results, new questions, and new perspectives on current questions, including the relationship between our informally construed algorithms and Turing machines. Exploration in terms of current computational and philosophical thinking invites further developments.

Chakravartty claims that science does not imply any specific metaphysical theory of the world. In this sense, science is consistent with both neo-Aristotelianism and neo-Humeanism. But, along with many others, he thinks that a neo-Aristotelian outlook best suits science. In other words, neo-Aristotelianism is supposed to win on the basis of an inference to the best explanation (IBE). I fail to see how IBE can be used to favour neo-Aristotelianism over neo-Humeanism. In this essay, I aim to do two things. Firstly, I explain why this failure is not idiosyncratic: it should be there even by Chakravartty's lights. Secondly, I raise some critical worries about Chakravartty's semirealism, especially in connection with the concept of a 'concrete structure' and the detection/auxiliary distinction. The essay ends with a dilemma: an exclusive disjunction encapsulated in its title

Traditionally, logic has been the dominant formal method within philosophy. Are logical methods still dominant today, or have the types of formal methods used in philosophy changed in recent times? To address this question, we coded a sample of philosophy papers from the late 2000s and from the late 2010s for the formal methods they used. The results indicate that the proportion of papers using logical methods remained more or less constant over that time period but the proportion of papers using probabilistic methods was approximately three times higher in the late 2010s than it was in the late 2000s. Further analyses explored this change by looking more closely at specific methods, specific levels of technical engagement, and specific subdisciplines within philosophy. These analyses indicate that the increasing proportion of papers using probabilistic methods was pervasive, not confined to particular probabilistic methods, levels of sophistication, or subdisciplines.

This study applied a method of assisted introspection to investigate the phenomenology of mathematical intuition arousal. The aim was to propose an essential structure for the intuitive experience of mathematics. To achieve an intersubjective comparison of different experiences, several contemporary mathematicians were interviewed in accordance with the elicitation interview method in order to collect pinpoint experiential descriptions. Data collection and analysis was then performed using steps similar to those outlined in the descriptive phenomenological method that led to a generic structure that accounts for the intuition surge in the experience of mathematics which was found to have four irreducible structural moments. The interdependence of these moments shows that aperceptualistview of intuition in mathematics, as defended by Chudnoff (Chudnoff, 2014), is relevant to the characterization of mathematical intuition. The philosophical consequences of this generic structure and its essential features are discussed in accordance with Husserl’s philosophy of ideal objects and theory of intuition.

It is often remarked that first-order Peano Arithmetic is non-categorical but deductively well-behaved, while second-order Peano Arithmetic is categorical but deductively ill-behaved. This suggests that, when it comes to axiomatizations of mathematical theories, expressive power and deductive power may be orthogonal, mutually exclusive desiderata. In this paper, I turn to Hintikka’s :69–90, 1989) distinction between descriptive and deductive approaches in the foundations of mathematics to discuss the implications of this observation for the first-order logic versus second-order logic divide. The descriptive approach is illustrated by Dedekind’s ‘discovery’ of the need for second-order concepts to ensure categoricity in his axiomatization of arithmetic; the deductive approach is illustrated by Frege’s Begriffsschrift project. I argue that, rather than suggesting that any use of logic in the foundations of mathematics is doomed to failure given the impossibility of combining the descriptive approach with the deductive approach, what this apparent predicament in fact indicates is that the first-order versus second-order divide may be too crude to investigate what an adequate axiomatization of arithmetic should look like. I also conclude that, insofar as there are different, equally legitimate projects one may engage in when working on the foundations of mathematics, there is no such thing as the One True Logic for this purpose; different logical systems may be adequate for different projects.

This comprehensive account of the concept and practices of deduction is the first to bring together perspectives from philosophy, history, psychology and cognitive science, and mathematical practice. Catarina Dutilh Novaes draws on all of these perspectives to argue for an overarching conceptualization of deduction as a dialogical practice: deduction has dialogical roots, and these dialogical roots are still largely present both in theories and in practices of deduction. Dutilh Novaes' account also highlights the deeply human and in fact social nature of deduction, as embedded in actual human practices; as such, it presents a highly innovative account of deduction. The book will be of interest to a wide range of readers, from advanced students to senior scholars, and from philosophers to mathematicians and cognitive scientists.

There is a wide range of realist but non-Platonist philosophies of mathematics—naturalist or Aristotelian realisms. Held by Aristotle and Mill, they played little part in twentieth century philosophy of mathematics but have been revived recently. They assimilate mathematics to the rest of science. They hold that mathematics is the science of X, where X is some observable feature of the (physical or other non-abstract) world. Choices for X include quantity, structure, pattern, complexity, relations. The article lays out and compares these options, including their accounts of what X is, the examples supporting each theory, and the reasons for identifying the science of X with (most or all of) mathematics. Some comparison of the options is undertaken, but the main aim is to display the spectrum of viable alternatives to Platonism and nominalism. It is explained how these views answer Frege’s widely accepted argument that arithmetic cannot be about real features of the physical world, and arguments that such mathematical objects as large infinities and perfect geometrical figures cannot be physically realized.

Epicurus (in)famously argued that death is not harmful and therefore our standard reactions to it (like deep fear of death and going to great lengths to postpone it) are not rational, inaugurating an ongoing debate about the harm of death. Those who wish to resist this conclusion must identify the harm of death. But not any old harm will do. In order to resist both the claim that death is not harmful and the claim that our standard reactions to it are irrational, we must identify a harm associated with death that rationalizes our standard reactions. We can divide the potential harm properties death might have along two axes: intrinsic/extrinsic and instrumental/final. This gives us four places to search for the harm of death. I argue that it is nowhere to be found.

Scientific consensus is widely deferred to in public debates as a social indicator of the existence of knowledge. However, it is far from clear that such deference to consensus is always justified. The existence of agreement in a community of researchers is a contingent fact, and researchers may reach a consensus for all kinds of reasons, such as fighting a common foe or sharing a common bias. Scientific consensus, by itself, does not necessarily indicate the existence of shared knowledge among the members of the consensus community. I address the question of under what conditions it is likely that a consensus is in fact knowledge based. I argue that a consensus is likely to be knowledge based when knowledge is the best explanation of the consensus, and I identify three conditions—social calibration, apparent consilience of evidence, and social diversity, for knowledge being the best explanation of a consensus

TItis book is the joint project of a philosopher, Lehrer, and a mathematician, Wagner. The book is, therefore, divided into a first part written by Lehrer, which is primarily philosophical, and a second part written by Wagner that is primarily formal. The authors were, however, influenced by each other throughout. Our book articulates a theory of rational consensus in science and society. The theory is applied to politics, ethics, science, and language. We begin our exposition with an elementary mathematical model of consensus developed by Lehrer in a series of articles [1976a, 1976b, 1977, 1978]. Chapter 3 contains material from [1978]. Lehrer formulated the elementary model when he was a Fellow of the Center for Advanced Study in the Be havioral Sciences, Stanford, in 1973 with the invaluable mathematical assist of Kit Fine, Gerald Kramer and Lionel McKenzie. In the summer of ance 1977, Lehrer and Wagner met at the Center in a Summer Seminar on Freedom and Causality supported by the Andrew W. Mellon Foundation. Wagner read the manuscript of Lehrer [1978] and subsequently solved some mathematical problems of the elementary model. After discussions of philosophical prob lems associated with that model, Wagner developed the foundations for the extended model. These results were reported in Wagner [1978, 1981a].

This paper develops a theory of analog representation. We first argue that the mark of the analog is to be found in the nature of a representational system’s interpretation function, rather than in its vehicles or contents alone. We then develop the rulebound structure theory of analog representation, according to which analog systems are those that use interpretive rules to map syntactic structural features onto semantic structural features. The theory involves three degree-theoretic measures that capture three independent ways in which a system can be more or less analog. We explain how our theory improves upon prior accounts of analog representation, provides plausible diagnoses for novel challenge cases, extends to hybrid systems that are partially analog and partially symbolic, and accounts for some of the advantages and disadvantages of representing analogically versus symbolically.

In the science of consciousness, it’s oftentimes assumed that some creatures (or mental states) are more conscious than others. But in recent years, a number of philosophers have argued that the notion of degrees of consciousness is conceptually confused. This paper (1) argues that the most prominent objections to degrees of consciousness are unsustainable, (2) examines the semantics of ‘more conscious than’ expressions, (3) develops an analysis of what it is for a degreed property to count as degrees of consciousness, and (4) applies the analysis to various theories of consciousness. I argue that whether consciousness comes in degrees ultimately depends on which theory of consciousness turns out to be correct. But I also argue that most theories of consciousness entail that consciousness comes in degrees.