This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search, areas of logic that are becoming important in computer science. A systematic foundational text on these emerging topics, it includes proof-theoretic, semantic/model-theoretic and algorithmic aspects. The scope ranges from the conceptual background to reductive logic, through its mathematical metatheory, to its modern applications in the computational sciences. Suitable for researchers and graduate students in mathematical, computational and philosophical logic, and in (...) theoretical computer science and artificial intelligence, this is the latest in the prestigous world-renowned Oxford Logic Guides, which contains Michael Dummet's Elements of intuitionism, Dov M. Gabbay, Mark A. Reynolds, and Marcelo Finger's Temporal Logic Mathematical Foundations and Computational Aspects, J. M. Dunn and G. Hardegree's Algebraic Methods in Philosophical Logic, H. Rott's Change, Choice and Inference: A Study of Belief Revision and Nonmonotonic Reasoning, and P. T. Johnstone's Sketches of an Elephant: A Topos Theory Compendium: Volumes 1 and 2. (shrink)

This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search, areas of logic that are becoming important in computer science. A systematic foundational text on these emerging topics, it includes proof-theoretic, semantic/model-theoretic and algorithmic aspects. The scope ranges from the conceptual background to reductive logic, through its mathematical metatheory, to its modern applications in the computational sciences. Suitable for researchers and graduate students in mathematical, computational and philosophical logic, and in (...) theoretical computer science and artificial intelligence, this is the latest in the prestigous world-renowned Oxford Logic Guides, which contains Michael Dummet's Elements of intuitionism (2nd Edition), Dov M. Gabbay, Mark A. Reynolds, and Marcelo Finger's Temporal Logic Mathematical Foundations and Computational Aspects, J. M. Dunn and G. Hardegree's Algebraic Methods in Philosophical Logic, H. Rott's Change, Choice and Inference: A Study of Belief Revision and Nonmonotonic Reasoning, and P. T. Johnstone's Sketches of an Elephant: A Topos Theory Compendium: Volumes 1 and 2. (shrink)

This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search including proof-theoretic, semantic/model-theoretic and algorithmic aspects. The scope ranges from the conceptual background to reductive logic, through its mathematical metatheory, to its modern applications in the computational sciences.

The lambdaPi-calculus, a theory of first-order dependent function types in Curry-Howard-de Bruijn correspondence with a fragment of minimal first-order logic, is defined as a system of (linearized) natural deduction. In this paper, we present a Gentzen-style sequent calculus for the lambdaPi-calculus and prove the cut-elimination theorem. The cut-elimination result builds upon the existence of normal forms for the natural deduction system and can be considered to be analogous to a proof provided by Prawitz for first-order logic. The type-theoretic setting considered (...) here elegantly illustrates the distinction between the processes of normalization in a natural deduction system and cut-elimination in a Gentzen-style sequent calculus. (shrink)

Proof-theoretic semantics (P-tS) is the paradigm of semantics in which meaning in logic is based on proof (as opposed to truth). A particular instance of P-tS for intuitionistic propositional logic (IPL) is its base-extension semantics (B-eS). This semantics is given by a relation called support, explaining the meaning of the logical constants, which is parameterized by systems of rules called bases that provide the semantics of atomic propositions. In this paper, we interpret bases as collections of definite formulae and use (...) the operational view of them as provided by uniform proof-search—the proof-theoretic foundation of logic programming (LP)—to establish the completeness of IPL for the B-eS. This perspective allows negation, a subtle issue in P-tS, to be understood in terms of the negation-as-failure protocol in LP. Specifically, while the denial of a proposition is traditionally understood as the assertion of its negation, in B-eS we may understand the denial of a proposition as the failure to find a proof of it. In this way, assertion and denial are both prime concepts in P-tS. (shrink)

In proof-theoretic semantics, meaning is based on inference. It may seen as the mathematical expression of the inferentialist interpretation of logic. Much recent work has focused on base-extension semantics, in which the validity of formulas is given by an inductive definition generated by provability in a ‘base’ of atomic rules. Base-extension semantics for classical and intuitionistic propositional logic have been explored by several authors. In this paper, we develop base-extension semantics for the classical propositional modal systems |$K$|⁠, |$KT$|⁠, |$K4$| and (...) |$S4$|⁠, with |$\square $| as the primary modal operator. We establish appropriate soundness and completeness theorems and establish the duality between |$\square $| and a natural presentation of |$\lozenge $|⁠. We also show that our semantics is in its current form not complete with respect to euclidean modal logics. Our formulation makes essential use of relational structures on bases. (shrink)

We give a novel approach to proving soundness and completeness for a logic (henceforth: the object-logic) that bypasses truth-in-a-model to work directly with validity. Instead of working with specific worlds in specific models, we reason with eigenworlds (i.e., generic representatives of worlds) in an arbitrary model. This reasoning is captured by a sequent calculus for a _meta_-logic (in this case, first-order classical logic) expressive enough to capture the semantics of the object-logic. Essentially, one has a calculus of validity for the (...) object-logic. The method proceeds through the perspective of reductive logic (as opposed to the more traditional paradigm of deductive logic), using the space of reductions as a medium for showing the behavioural equivalence of reduction in the sequent calculus for the object-logic and in the validity calculus. Rather than study the technique in general, we illustrate it for the logic of Bunched Implications (BI), thus IPL and MILL (without negation) are also treated. Intuitively, BI is the free combination of intuitionistic propositional logic and multiplicative intuitionistic linear logic, which renders its meta-theory is quite complex. The literature on BI contains many similar, but ultimately different, algebraic structures and satisfaction relations that either capture only fragments of the logic (albeit large ones) or have complex clauses for certain connectives (e.g., Beth’s clause for disjunction instead of Kripke’s). It is this complexity that motivates us to use BI as a case-study for this approach to semantics. (shrink)

We introduce a logic BI in which a multiplicative (or linear) and an additive (or intuitionistic) implication live side-by-side. The propositional version of BI arises from an analysis of the proof-theoretic relationship between conjunction and implication; it can be viewed as a merging of intuitionistic logic and multiplicative intuitionistic linear logic. The naturality of BI can be seen categorically: models of propositional BI's proofs are given by bicartesian doubly closed categories, i.e., categories which freely combine the semantics of propositional intuitionistic (...) logic and propositional multiplicative intuitionistic linear logic. The predicate version of BI includes, in addition to standard additive quantifiers, multiplicative (or intensional) quantifiers ∀ new and ∃ new which arise from observing restrictions on structural rules on the level of terms as well as propositions. We discuss computational interpretations, based on sharing, at both the propositional and predicate levels. (shrink)

The reductive, as opposed to deductive, view of logic is the form of logic that is, perhaps, most widely employed in practical reasoning. In particular, it is the basis of logic programming. Here, building on the idea of uniform proof in reductive logic, we give a treatment of logic programming for BI, the logic of bunched implications, giving both operational and denotational semantics, together with soundness and completeness theorems, all couched in terms of the resource interpretation of BI’s semantics. We (...) use this set-up as a basis for exploring how coalgebraic semantics can, in contrast to the basic denotational semantics, be used to describe the concrete operational choices that are an essential part of proof-search. The overall aim, toward which this paper can be seen as an initial step, is to develop a uniform, generic, mathematical framework for understanding the relationship between the deductive structure of logics and the control structures of the corresponding reductive paradigm. (shrink)

One of the enduring concerns of moral philosophy is deciding who or what is deserving of ethical consideration. Much recent attention has been devoted to the "animal question" -- consideration of the moral status of nonhuman animals. In this book, David Gunkel takes up the "machine question": whether and to what extent intelligent and autonomous machines of our own making can be considered to have legitimate moral responsibilities and any legitimate claim to moral consideration. The machine question poses a (...) fundamental challenge to moral thinking, questioning the traditional philosophical conceptualization of technology as a tool or instrument to be used by human agents. Gunkel begins by addressing the question of machine moral agency: whether a machine might be considered a legitimate moral agent that could be held responsible for decisions and actions. He then approaches the machine question from the other side, considering whether a machine might be a moral patient due legitimate moral consideration. Finally, Gunkel considers some recent innovations in moral philosophy and critical theory that complicate the machine question, deconstructing the binary agent--patient opposition itself. Technological advances may prompt us to wonder if the science fiction of computers and robots whose actions affect their human companions could become science fact. Gunkel's argument promises to influence future considerations of ethics, ourselves, and the other entities who inhabit this world. (shrink)

A familiar interpretation of quantum mechanics (one of a number of views sometimes labeled the "Copenhagen interpretation'"), takes its empirical apparatus at face value, holding that the quantum wave function evolves by the Schrödinger equation except on certain occasions of measurement, when it collapses into a new state according to the Born rule. This interpretation is widely rejected, primarily because it faces the measurement problem: "measurement" is too imprecise for use in a fundamental physical theory. We argue that this is (...) a weak objection, as there may be many ways of making "measurement" precise. However, measurement-collapse interpretations face a more serious objection: a dilemma tied to the quantum Zeno effect. Is measurement itself an observable that can enter superpositions? If yes, then the standard measurement-collapse dynamics is ill-defined. If no, then (at least if measurement is an observable), measurements can never start or finish. The best way out is to deny that measurement is an observable, but this leads to strong and revisionary consequences. This reinforces the view that there is no nonrevisionary interpretation of quantum mechanics. (shrink)

This chapter describes three relatively specific forms such as destructive uploading, gradual uploading, and nondestructive uploading. Neuroscience is gradually discovering various neural correlates of consciousness, but this research program largely takes the existence of consciousness for granted. It presents an argument for the pessimistic view and an argument for the optimistic view, both of which run parallel to related arguments that can be given concerning teletransportation. Cryonic technology offers the possibility of preserving our brains in a low‐temperature state shortly after (...) death, until such time as the technology is available to reactivate the brain or perhaps to upload the information in it. Reconstructive uploading from brain scans is closely akin to ordinary (nongradual) uploading from brain scans, with the main difference being the time delay, and perhaps the continued existence in the meantime of the original person. (shrink)

A new theory of moral and aesthetic value for the age of remix, going beyond the usual debates over originality and appropriation. Remix—or the practice of recombining preexisting content—has proliferated across media both digital and analog. Fans celebrate it as a revolutionary new creative practice; critics characterize it as a lazy and cheap (and often illegal) recycling of other people's work. In Of Remixology, David Gunkel argues that to understand remix, we need to change the terms of the debate. (...) The two sides of the remix controversy, Gunkel contends, share certain underlying values—originality, innovation, artistic integrity. And each side seeks to protect these values from the threat that is represented by the other. In reevaluating these shared philosophical assumptions, Gunkel not only provides a new way to understand remix, he also offers an innovative theory of moral and aesthetic value for the twenty-first century. In a section called “Premix,” Gunkel examines the terminology of remix (including “collage,” “sample,” “bootleg,” and “mashup”) and its material preconditions, the technology of recording. In “Remix,” he takes on the distinction between original and copy; makes a case for repetition; and considers the question of authorship in a world of seemingly endless recompiled and repurposed content. Finally, in “Postmix,” Gunkel outlines a new theory of moral and aesthetic value that can accommodate remix and its cultural significance, remixing—or reconfiguring and recombining—traditional philosophical approaches in the process. (shrink)

Addressing a challenge and opportunity that is definitive of life in the 21st century, this book provides a range of possible solutions that serve to motivate and structure future research and debate around the concept of 'the other' in communication.

Zizek Studies: The Greatest Hits (So Far) assembles and presents the best work published in the field of Zizek Studies over the last ten years, providing teachers, students, and researchers with a carefully curated volume of leading-edge scholarship addressing the unique and sometimes eclectic work of Slovenian philosopher and cultural critic Slavoj Zizek. The chapters included in this collection have been rigorously tested in and culled from the (virtual) pages of the International Journal of Zizek Studies, a leading open access (...) journal that began publication in 2007. The book is organized into three sections or subject areas where Zizek and his seemingly indefatigable efforts have had significant impact: philosophy, politics, and popular culture. As a "greatest hits," the book offers the long-time fan and uninitiated newcomer alike a comprehensive overview of the wide range of opportunity in the field of Zizek studies and a remarkable collection of truly interdisciplinary "hits" from a diverse set of innovative and accomplished writers. (shrink)

Introduction -- Repression, ignorance, and undone science -- The epistemic dimension of the political opportunity structure -- The politics of meaning: from frames to design conflicts -- The organizational forms of counterpublic knowledge -- Institutional change, industrial transitions, and regime resistance politics -- Contemporary change: liberalization and epistemic modernization -- Conclusion.

The book is an extended study of the problem of consciousness. After setting up the problem, I argue that reductive explanation of consciousness is impossible , and that if one takes consciousness seriously, one has to go beyond a strict materialist framework. In the second half of the book, I move toward a positive theory of consciousness with fundamental laws linking the physical and the experiential in a systematic way. Finally, I use the ideas and arguments developed earlier to defend (...) a form of strong artificial intelligence and to analyze some problems in the foundations of quantum mechanics. (shrink)

In a response to my recent article in this journal, Shahram Shahryari argues that I fail to present a third position between absolutism and relativism. He makes two points: first, that fallibilism is insufficient as an alternative, because it is compatible with both relativism and absolutism. The second point is that my argument that experience can lead to objective judgment without being a new absolute fails. I discuss these in turn, showing that both critiques fail and that pragmatism is a (...) genuine alternative between absolutism and relativism. (shrink)

A collection of essays focusing on the relationship between concepts of the holy and the unholy in western European medieval culture. Demonstrates how religion, magic, and science were all modes of engagement with a natural world that was understood to be divinely created and infused with mysterious power"--Provided by publisher.

This book describes various Western musical ecologies of the cosmos developed from the ancient world to the present, ecologies that seek to define the creation and preservation of the universe through musical principles. The author explores centuries of musical treatises, hymns, and Western fiction.

I will present two examples of influential (and incorrect) interpretations of Poincaré, pinpointing their errors and documenting some of their diffusion. The first example, which appears to have been initiated by Moritz Schlick, is the widespread misinterpretation of Poincaré’s argument for geometric conventionalism by basing it on the underdetermination of theories in science. The second example, having to do with Poincaré’s claim that Euclidean and non-Euclidean geometries are inter-translatable, stems from Louis Rougier and was spread in the English language literature (...) by Max Black. I will then reflect on whether it is possible to avoid fragmentation in the interpretation of Poincaré, using Jeremy Gray’s admirable attempt at completeness in his intellectual biography of Poincaré as an example. Finally, I will propose one possible new direction for study of Poincaré that might enrich our view of him substantially by achieving a level of detail that has so far been lacking. (shrink)

[This is an edited version of a keynote talk at the conference on Neural Information Processing Systems (NeurIPS) on November 28, 2022, with some minor additions and subtractions.] -/- There has recently been widespread discussion of whether large language models might be sentient or conscious. Should we take this idea seriously? I will break down the strongest reasons for and against. Given mainstream assumptions in the science of consciousness, there are significant obstacles to consciousness in current models: for example, their (...) lack of recurrent processing, a global workspace, and unified agency. At the same time, it is quite possible that these obstacles will be overcome in the next decade or so. I conclude that while it is somewhat unlikely that current large language models are conscious, we should take seriously the possibility that successors to large language models may be conscious in the not-too-distant future. (shrink)

Through a philosophical lens, this book explores the powerful educational capabilities of classic psychedelics.

A short, reader-friendly introduction to a complex philosophical topic. One that encompasses not just philosophical and literary topics but technological ones as well.

Terra nova 2.0 -- The real problem -- Social contract 2.0 -- In the face of others -- Open-ended conclusions.

This book argues against the common view that there are no essential differences between Plato and the Neoplatonist philosopher, Plotinus, on the issues of mysticism, epistemology, and ethics. Beginning by examining the ways in which Plato and Plotinus claim that it is possible to have an ultimate experience that answers the most significant philosophical questions, David J. Yount provides an extended analysis of why we should interpret both philosophers as mystics. The book then moves on to demonstrate that both (...) philosophers share a belief in non-discursive knowledge and the methods to attain it, including dialectic and recollection, and shows that they do not essentially differ on any significant views on ethics. Making extensive use of primary and secondary sources, Plato and Plotinus on Mysticism, Epistemology and Ethics shows the similarities between the thought of these two philosophers on a variety of philosophical questions, such as meditation, divination, wisdom, knowledge, truth, happiness and love. (shrink)

Standing on the Shoulders of Darwin and Mendel: Early Views of Inheritance explores early theories about the mechanisms of inheritance. Beginning with Charles Darwin's now rejected Gemmule hypothesis, the book documents the reception of Gregor Mendel's work on peas and follows the work of early 20th century scholars. The research of Francis Galton, a cousin of Darwin, and the friction it caused between these two are a part of longer story of the development of genetics and an understanding of how (...) offspring inherit the characteristics of their parents. Bateson, Garrod, de Vries, Tschermak and others are all characters in a scientific story of discovery, acrimony, cooperation and revelation. (shrink)

What are the philosophical views of professional philosophers, and how do these views change over time? The 2020 PhilPapers Survey surveyed around 2000 philosophers on 100 philosophical questions. The results provide a snapshot of the state of some central debates in philosophy, reveal correlations and demographic effects involving philosophers' views, and reveal some changes in philosophers' views over the last decade.

There is a long tradition in philosophy of using a priori methods to draw conclusions about what is possible and what is necessary, and often in turn to draw conclusions about matters of substantive metaphysics. Arguments like this typically have three steps: first an epistemic claim , from there to a modal claim , and from there to a metaphysical claim.

The philosophical interest of verbal disputes is twofold. First, they play a key role in philosophical method. Many philosophical disagreements are at least partly verbal, and almost every philosophical dispute has been diagnosed as verbal at some point. Here we can see the diagnosis of verbal disputes as a tool for philosophical progress. Second, they are interesting as a subject matter for first-order philosophy. Reflection on the existence and nature of verbal disputes can reveal something about the nature of concepts, (...) language, and meaning. In this article I first characterize verbal disputes, spell out a method for isolating and resolving them, and draw out conclusions for philosophical methodology. I then use the framework to draw out consequences in first-order philosophy. In particular, I argue that the analysis of verbal disputes can be used to support the existence of a distinctive sort of primitive concept and that it can be used to reconstruct a version of an analytic/synthetic distinction, where both are characterized in dialectical terms alone. (shrink)

Is conceptual analysis required for reductive explanation? If there is no a priori entailment from microphysical truths to phenomenal truths, does reductive explanation of the phenomenal fail? We say yes . Ned Block and Robert Stalnaker say no.

This chapter analyzes aspects of the relationship between consciousness and intentionality. It focuses on the phenomenal character and the intentional content of perceptual states, canvassing various possible relations among them. It argues that there is a good case for a sort of representationalism, although this may not take the form that its advocates often suggest. By mapping out some of the landscape, the chapter tries to open up territory for different and promising forms of representationalism to be explored in the (...) future. In particular, it argues for a nonreductive, narrow, and Fregean variety of representationalism, which contrasts strongly with more widely explored varieties. It concludes with some words about the fundamental relationship between consciousness and intentionality. (shrink)

The most significant philosopher of Being, Martin Heidegger has nevertheless largely been ignored within communications studies. This book sets the record straight by demonstrating the profound implications of his unique philosophical project for our understanding of today's mediascape. The full range of Heidegger's writing from Being and Time to his later essays is drawn upon.

Does consciousness collapse the quantum wave function? This idea was taken seriously by John von Neumann and Eugene Wigner but is now widely dismissed. We develop the idea by combining a mathematical theory of consciousness (integrated information theory) with an account of quantum collapse dynamics (continuous spontaneous localization). Simple versions of the theory are falsified by the quantum Zeno effect, but more complex versions remain compatible with empirical evidence. In principle, versions of the theory can be tested by experiments with (...) quantum computers. The upshot is not that consciousness-collapse interpretations are clearly correct, but that there is a research program here worth exploring. (shrink)

In the Garden of Eden, we had unmediated contact with the world. We were directly acquainted with objects in the world and with their properties. Objects were simply presented to us without causal mediation, and properties were revealed to us in their true intrinsic glory.

Fechner's conception of psychophysics included both “outer psychophysics” the relation between stimulus intensity and the response reflecting sensation strength, and “inner psychophysics” the relation between neurelectric responses and sensation strength. In his own time outer psychophysics focussed on the form of the psychophysical law, with Fechner espousing a logarithmic law, Delboeuf a variant of the logarithmic law incorporating a resting level of neural activity, and Plateau a power law. One of the issues on which the dispute was focussed concerned the (...) appearance of contrasts if the overall illumination was increased or decreased; another issue was the question of whether a sensation of a “just noticeable difference” established for one value of a sensory dimension appeared the same for a value elsewhere on the dimension. The development of “inner psychophysics” led through the works of Delboeuf, Solomons, Jastrow, and Thurstone to modern signal detection theory. A third line of research, devoted to the question of what was meant by the “measurement” of sensation strength, stemmed from the criticism of Fechner's work by von Kries (1882) and others. Although a valid body of science could be built up without the intervening variable called “sensation strength,” such a science might be a cumbersome representation of reality. When an optical contrast is set up, and its overall illumination is increased or decreased, subjective contrasts involving medium levels of lightness vary little as illumination varies (as a power law based on sensation ratios or a logarithmic law based on sensation differences predict), but subjective contrasts involving extreme levels of lightness might be subject to the effects of other variables. (shrink)

Why is two-dimensional semantics important? One can think of it as the most recent act in a drama involving three of the central concepts of philosophy: meaning, reason, and modality. First, Kant linked reason and modality, by suggesting that what is necessary is knowable a priori, and vice versa. Second, Frege linked reason and meaning, by proposing an aspect of meaning (sense) that is constitutively tied to cognitive signi?cance. Third, Carnap linked meaning and modality, by proposing an aspect of meaning (...) (intension) that is constitutively tied to possibility and necessity. (shrink)

The basic question of ontology is “What exists?”. The basic question of metaontology is: are there objective answers to the basic question of ontology? Here ontological realists say yes, and ontological anti-realists say no. (Compare: The basic question of ethics is “What is right?”. The basic question of metaethics is: are there objective answers to the basic question of ethics? Here moral realists say yes, and moral anti-realists say no.) For example, the ontologist may ask: Do numbers exist? The Platonist (...) says yes, and the nominalist says no. The metaontologist may ask: is there an objective fact of the matter about whether numbers exist? The ontological realist says yes, and the ontological anti-realist says no. Likewise, the ontologist may ask: Given two distinct entities, when does a mereological sum of those entities exist? The universalist says always, while the nihilist says never. The metaontologist may ask: is there an objective fact of the matter about whether the mereological sum of two distinct entities exists? The ontological realist says yes, and the ontological anti-realist says no. Ontological realism is often traced to Quine (1948), who held that we can determine what exists by seeing which entities are endorsed by our best scientific theory of the world. In recent years, the practice of ontology has often presupposed an ever-stronger ontological realism, and strong versions of ontological realism have received explicit statements by Fine (this volume), Sider (2001; this volume), van Inwagen (1998; this volume), and others. (shrink)