Ioannis G. Ntagkas

Neurodevelopmental disorders (NDDs), such as autism and ADHD, are behaviorally defined adaptive functioning difficulties arising from variations, alterations and atypical maturation of the brain. While it is widely agreed that NDDs are complex conditions with their presentation and functional impact underpinned by diverse genetic and environmental factors, contemporary and polarizing debate has focused on the appropriateness of the biomedical as opposed to the neurodiverse paradigm in framing conceptions of these conditions. Despite being largely overlooked by both research and practice, the International Classification of Functioning Disability and Health (ICF) endorsed by the World Health Organization in 2001 views functioning dynamically, offering a framework for investigating, assessing and treating NDDs holistically. Exemplified by autism and ADHD, we argue that the ICF provides not only a multitude of opportunities in accounting for the environmental determinants in researching and clinically managing NDDs, but opportunities for harmonizing the seemingly irreconcilable biomedical and neurodiverse paradigms. Also see the video abstract here:https://youtu.be/YwuWPDUOs5k.

We propose a solution to the problem of logical omniscience in what we take to be its fundamental version: as concerning arbitrary agents and the knowledge attitude per se. Our logic of knowledge is a spin-off from a general theory of thick content, whereby the content of a sentence has two components: an intension, taking care of truth conditions; and a topic, taking care of subject matter. We present a list of plausible logical validities and invalidities for the logic of knowledge per se for arbitrary agents, and isolate three explanatory factors for them: the topic-sensitivity of content; the fragmentation of knowledge states; the defeasibility of knowledge acquisition. We then present a novel dynamic epistemic logic that yields precisely the desired validities and invalidities, for which we provide expressivity and completeness results. We contrast this with related systems and address possible objections.

We reply to various arguments by Otavio Bueno and Edward Zalta (‘Object Theory and Modal Meinongianism’) against Modal Meinongianism, including that it presupposes, but cannot maintain, a unique denotation for names of fictional characters, and that it is not generalizable to higher-order objects. We individuate the crucial difference between Modal Meinongianism and Object Theory in the former’s resorting to an apparatus of worlds, possible and impossible, for the representational purposes for which the latter resorts to a distinction between two kinds of predication, exemplification and encoding. We show that encoding has fewer forerunners in the history of philosophy than Bueno and Zalta want, and that there’s a reason why the notion has been found baffling by some.

We study imagination as reality-oriented mental simulation (ROMS): the activity of simulating nonactual scenarios in one’s mind, to investigate what would happen if they were realized. Three connected questions concerning ROMS are: What is the logic, if there is one, of such an activity? How can we gain new knowledge via it? What is voluntary in it and what is not? We address them by building a list of core features of imagination as ROMS, drawing on research in cognitive psychology and the philosophy of mind. We then provide a logic of imagination as ROMS which models such features, combining techniques from epistemic logic, action logic, and subject matter semantics. Our logic comprises a modal propositional language with non-monotonic imagination operators, a formal semantics, and an axiomatization.

We propose a dynamic hyperintensional logic of belief revision for non-omniscient agents, reducing the logical omniscience phenomena affecting standard doxastic/epistemic logic as well as AGM belief revision theory. Our agents don’t know all a priori truths; their belief states are not closed under classical logical consequence; and their belief update policies are such that logically or necessarily equivalent contents can lead to different revisions. We model both plain and conditional belief, then focus on dynamic belief revision. The key idea we exploit to achieve non-omniscience focuses on topic- or subject matter-sensitivity: a feature of belief states which is gaining growing attention in the recent literature.

We propose a new account of indicative conditionals, giving acceptability and logical closure conditions for them. We start from Adams’ Thesis: the claim that the acceptability of a simple indicative equals the corresponding conditional probability. The Thesis is widely endorsed, but arguably false and refuted by empirical research. To fix it, we submit, we need a relevance constraint: we accept a simple conditional 'If φ, then ψ' to the extent that (i) the conditional probability p(ψ|φ) is high, provided that (ii) φ is relevant for ψ. How (i) should work is well-understood. It is (ii) that holds the key to improve our understanding of conditionals. Our account has (i) a probabilistic component, using Popper functions; (ii) a relevance component, given via an algebraic structure of topics or subject matters. We present a probabilistic logic for simple indicatives, and argue that its (in)validities are both theoretically desirable and in line with empirical results on how people reason with conditionals.

Impossible Worlds focuses on an exciting new theory in philosophy, with applications in metaphysics, logic, and the theory of meaning. Its central topic is: how do we meaningfully talk and reason about situations which, unbeknownst to us, are impossible? This issue emerges as a central problem in contemporary philosophical accounts of meaning, information, knowledge, belief, fiction, conditionality, and counterfactual supposition. The book is written bytwo of the leading philosophers in the area and contains original research of relevance to professional philosophers and logicians working in metaphysics, philosophy of language, formal logic, and adjacentareas.

Computers may help us to better understand (not just verify) arguments. In this article we defend this claim by showcasing the application of a new, computer-assisted interpretive method to an exemplary natural-language ar- gument with strong ties to metaphysics and religion: E. J. Lowe’s modern variant of St. Anselm’s ontological argument for the existence of God. Our new method, which we call computational hermeneutics, has been particularly conceived for use in interactive-automated proof assistants. It aims at shedding light on the meanings of words and sentences by framing their inferential role in a given argument. By employing automated theorem reasoning technology within interactive proof assistants, we are able to drastically reduce (by several orders of magnitude) the time needed to test the logical validity of an argu- ment’s formalization. As a result, a new approach to logical analysis, inspired by Donald Davidson’s account of radical interpretation, has been enabled. In computational hermeneutics, the utilization of automated reasoning tools ef- fectively boosts our capacity to expose the assumptions we indirectly commit ourselves to every time we engage in rational argumentation and it fosters the explicitation and revision of our concepts and commitments.

We give some lectures on the work on formal logic of Jacques Herbrand, and sketch his life and his influence on automated theorem proving. The intended audience ranges from students interested in logic over historians to logicians. Besides the well-known correction of Herbrand’s False Lemma by Goedel and Dreben, we also present the hardly known unpublished correction of Heijenoort and its consequences on Herbrand’s Modus Ponens Elimination. Besides Herbrand’s Fundamental Theorem and its relation to the Loewenheim-Skolem-Theorem, we carefully investigate Herbrand’s notion of intuitionism in connection with his notion of falsehood in an infinite domain. We sketch Herbrand’s two proofs of the consistency of arithmetic and his notion of a recursive function, and last but not least, present the correct original text of his unification algorithm with a new translation.

In this article, we canvass a few of the interesting topics that philosophers can pursue as part of the simultaneous study of logic and metaphysics. To keep the discussion to a manageable length, we limit our survey to deductive, as opposed to inductive, logic. Though most of this article will focus on the ways in which logic can be deployed in the study of metaphysics, we begin with a few remarks about how metaphysics might be needed to understand what logic is. When we ask the question, “What is logic and what is its subject matter?”, there is no obvious answer. There have been so many di erent kinds of studies that have gone by the name ‘logic’ that it is di cult to give an answer that applies to them all. But there are some basic commonalities. Most philosophers would agree that logic presupposes (1) the existence of a language for expressing thoughts or meanings, (2) certain analytic connections between the thoughts that ground and legitimize the inferential relations among them, and (3) that the analytic connections and inferential relations can be studied systematically by investigating (often formally) the logical words and sentences used to express the thoughts so connected and related. For example, analytic connections give rise to various patterns of inferences expressed by certain logical words and phrases..

This paper reconstructs what I take to be the central evolutionary debunking argument that underlies recent critiques of moral realism. The argument claims that given the extent of evolutionary influence on our moral faculties, and assuming the truth of moral realism, it would be a massive coincidence were our moral faculties reliable ones. Given this coincidence, any presumptive warrant enjoyed by our moral beliefs is defeated. So if moral realism is true, then we can have no warranted moral beliefs, and hence no moral knowledge. In response, I first develop what is perhaps the most natural reply on behalf of realism namely, that many of our highly presumptively warranted moral beliefs are immune to evolutionary influence and so can be used to assess and eventually resuscitate the epistemic merits of those that have been subject to such influence. I then identify five distinct ways in which the charge of massive coincidence has been understood and defended. I argue that each interpretation is subject to serious worries. If I am right, these putative defeaters are themselves subject to defeat. Thus many of our moral beliefs continue to be highly warranted, even if moral realism is true

This paper addresses skepticism about progress in philosophy. After distinguishing four problems regarding philosophical progress ('existential,' 'comparative,' 'practical,' and 'theoretical'), the authors propose that the deep question is methodological: is there a method whose proper execution facilitates the realization of theoretical understanding about philosophical topics? The paper develops a method designed to answer this question affirmatively, and then shows how the method helps to resolve all four problems of progress.

We offer a reconstruction of Richard Price’s intuition-based epistemology of normative essences, highlighting its key elements and showing how it differs from the approaches taken by other intuitionists such as Thomas Reid and G. E. Moore, as well as sentimentalists such as Francis Hutcheson and David Hume. While our analysis aims to shed light on Price’s moral epistemology, it also seeks to contribute to contemporary debates about the epistemology of essence, advancing a general intuition-based theory. These two goals are related, for the former operates in the service of the latter. In this way, our discussion illustrates the role that historical research might play in contemporary inquiries into intuition.

This is a new volume of original essays on the metaphysics of quantum mechanics. The essays address questions such as: What fundamental metaphysics is best motivated by quantum mechanics? What is the ontological status of the wave function? Does quantum mechanics support the existence of any other fundamental entities, e.g. particles? What is the nature of the fundamental space of quantum mechanics? What is the relationship between the fundamental ontology of quantum mechanics and ordinary, macroscopic objects like tables, chairs, and persons? This collection includes a comprehensive introduction with a history of quantum mechanics and the debate over its metaphysical interpretation focusing especially on the main realist alternatives.

The quantum theory of decoherence plays an important role in a pragmatist interpretation of quantum theory. It governs the descriptive content of claims about values of physical magnitudes and offers advice on when to use quantum probabilities as a guide to their truth. The content of a claim is to be understood in terms of its role in inferences. This promises a better treatment of meaning than that offered by Bohr. Quantum theory models physical systems with no mention of measurement: it is decoherence, not measurement, that licenses application of Born’s probability rule. So quantum theory also offers advice on its own application. I show how this works in a simple model of decoherence, and then in applications to both laboratory experiments and natural systems. Applications to quantum field theory and the measurement problem will be discussed elsewhere

A quantum state represents neither properties of a physical system nor anyone’s knowledge of its properties. The important question is not what quantum states represent but how they are used—as informational bridges. Knowing about some physical situations, an agent may assign a quantum state to form expectations about other possible physical situations. Quantum states are objective: only expectations based on correct state assignments are generally reliable. If a quantum state represents anything, it is the objective probabilistic relations between its backing conditions and its advice conditions. This paper offers an account of quantum states and their function as informational bridges, in quantum teleportation and elsewhere.

Quantum theory is a fundamental part of contemporary science. But some recent arguments have been taken to show that if this theory is universally applicable then the outcome of a quantum measurement is not an objective fact. They motivate the more general reappraisal of the notions of fact and objectivity that I offer here. I argue that if quantum theory is universally applicable the facts about the physical world include a fact about each quantum measurement outcome. The physical facts may lack an ideal kind of objectivity, but their more modest objectivity is all that science needs.

The contributors to this 1981 volume are all concerned with scientific realism, but each author questions or rejects aspects of the way it has traditionally been discussed. There are three main foci of attention - reduction, time and modality - and the analyses bring out complexities and difficulties obscured in the standard accounts of scientific realism. The papers are powerful and original, representing some of the best in modern philosophy of science, and each were specifically commissioned for the volume. It is an excellent source book for courses on realism or the philosophy of science. The book therefore takes its place in the informal series of volumes arising from meetings sponsored by the Thyssen Foundation, which already includes C. Hookway and P. Pettit Action and Interpretation and R. Harrison Rational Action.