The book presents a new logical framework to capture the meaning of sentences in conversation. It is based on a richer notion of meaning than traditional approaches, and allows for an integrated treatment of statements and questions. The first part of the book presents the framework in detail, while the second demonstrates its many benefits.

Evidence based medicine has much to offer, but a great deal remains to be done to create a better understanding of what it can and cannot do.The term EBM , as we use it nowadays, was introduced in 1992 by the same group of people who, years before, founded the discipline called “Clinical epidemiology” .1 CE stemmed essentially from the idea of adapting and expanding epidemiological methods to medical and health care decision making; CE was in fact defined as “ (...) the discipline dealing with the study of the occurrence of medical decisions in relation to their determinants”.1CE has been very successful in illustrating new ways of teaching medicine and training health professionals, and has positioned itself around the notion that “critical appraisal skills” are yet another set of essential abilities which—in addition to the interpersonal, diagnostic, and prognostic skills—a good doctor should master. An important by product of CE was documentation which showed that much of the available evidence on diagnosis, prognosis, and treatment of diseases was of poor methodological quality and quite often of dubious transferability to everyday clinical practice.This led to a strong call for improving the scientific basis of clinical practice, which was seen as too often dominated by practices of unproven effectiveness. This was the background for the 1992 Journal of the American Medical Association article that first used the term “evidence based medicine”.2In essence, proponents of EBM said that “all medical action of diagnosis, prognosis, and therapy should rely on solid quantitative evidence based on the best of …. (shrink)

Los presentes textos procuran subrayar la hondura, la originalidad y el influjo de algunos autores que fueron o son filósofos, aunque tal condición no se encuentre entre sus propósitos expresos. Tratan de filosofía vuelta invisible o no vista por sus comentaristas, no tematizada ni señalada con precisión, lo cual impide que se consagre su merecido reconocimiento. Esos aspectos no frecuentados adquieren el perfil que bien puede expresar la palabra "invisibilidad" en tanto funcione no como adjetivo sino como denominación de una (...) veta no reconocida en la obra de un pensador. Sea como fuere, esa veta crece en los textos como pensamiento trascendente, aunque en algunos casos la obra no pase de un libro o de una colección de artículos dispersa en la prensa o en revistas. (shrink)

We present a gravitational quantum dynamics theory that combines quantum field theory for particle dynamics in space-time with classical Einstein’s general relativity in a non-Riemannian Finsler space. This approach is based on the geometrization of quantum mechanics proposed in Tavernelli and combines quantum and gravitational effects into a global curvature of the Finsler space induced by the quantum potential associated to the matter quantum fields. In order to make this theory compatible with general relativity, the quantum effects are described in (...) the framework of quantum field theory, where a covariant definition of ‘simultaneity’ for many-body systems is introduced through the definition of a suited foliation of space-time. As in Einstein’s gravitation theory, the particle dynamics is finally described by means of a geodesic equation in a curved space-time manifold. (shrink)

Scholarship on the early modern period assumes that the Creation story of Genesis and its chronology were the only narratives openly available in Renaissance Europe. This essay revisits the topic by exploring a wide range of literature on the age and nature of the Earth in early modern Italy. It suggests that, contrary to received notions, in the early 1500s an Aristotelian ancient world characterized by slow geological change was a common assumption in discourse on the Earth. These notions were (...) freely disseminated by popularizations and didactic literature in the vernacular, which made them available to a large readership. Counter-Reformation cultural policies eventually called for a tighter integration of theology and natural philosophy; however, the essay argues that even then the creation of the world was usually placed in a remote and undetermined past, not necessarily tied to the short timescales of contemporary chronology. (shrink)

A construction is found in American Sign Language that we call a Question–Answer Clause. It is made of two parts: the first part looks like an interrogative clause conveying a question, while the second part resembles a declarative clause answering that question. The very same signer has to sign both, the entire construction is interpreted as truth-conditionally equivalent to a declarative sentence, and it can be uttered only under certain discourse conditions. These and other properties of Question–Answer Clauses are discussed, (...) and a detailed syntactic, semantic, and pragmatic account is provided. Question–Answer Clauses are argued to be copular clauses consisting of a silent copula of identity connecting an interrogative clause in the precopular position with a declarative clause in the postcopular position. Pragmatically, they instantiate a topic/comment structure, with the first part expressing a sub-question under discussion and the second part expressing the answer to that sub-question. Broader implications of the analysis are discussed for the Question Under Discussion theory of discourse structuring, for the analysis of pseudoclefts in spoken languages, and for recent proposals about the need for answerhood operators and exhaustivity operators in the grammar and the consequences for the syntax/semantics/pragmatics interface. (shrink)

Based on a crowdsourced truth value judgment experiment, we provide empirical evidence challenging two classical views in semantics, and we develop a novel account of counterfactuals that combines ideas from inquisitive semantics and causal reasoning. First, we show that two truth-conditionally equivalent clauses can make different semantic contributions when embedded in a counterfactual antecedent. Assuming compositionality, this means that the meaning of these clauses is not fully determined by their truth conditions. This finding has a clear explanation in inquisitive semantics: (...) truth-conditionally equivalent clauses may be associated with different propositional alternatives, each of which counts as a separate counterfactual assumption. Second, we show that our results contradict the common idea that the interpretation of a counterfactual involves minimizing change with respect to the actual state of affairs. We propose to replace the idea of minimal change by a distinction between foreground and background for a given counterfactual assumption: the background is held fixed in the counterfactual situation, while the foreground can be varied without any minimality constraint. (shrink)

In recent years, the study of formal semantics and formal pragmatics has grown tremendously showing that core aspects of language meaning can be explained by a few principles. These principles are grounded in the logic that is behind - and tightly intertwined with - the grammar of human language. In this book, some of the most prominent figures in linguistics, including Noam Chomsky and Barbara H. Partee, offer new insights into the nature of linguistic meaning and pave the way for (...) the further development of formal semantics and formal pragmatics. Each chapter investigates various dimensions in which the logical nature of human language manifests itself within a language and/or across languages. Phenomena like bare plurals, free choice items, scalar implicatures, intervention effects, and logical operators are investigated in depth and at times cross-linguistically and/or experimentally. This volume will be of interest to scholars working within the fields of semantics, pragmatics, language acquisition and psycholinguistics. (shrink)

This paper investigates a generalized version of inquisitive semantics. A complete axiomatization of the associated logic is established, the connection with intuitionistic logic and several intermediate logics is explored, and the generalized version of inquisitive semantics is argued to have certain advantages over the system that was originally proposed by Groenendijk (2009) and Mascarenhas (2009).

Information exchange can be seen as a dynamic process of raising and resolving issues. The goal of this paper is to provide a logical framework to model and reason about this process. We develop an inquisitive dynamic epistemic logic , which enriches the standard framework of dynamic epistemic logic , incorporating insights from recent work on inquisitive semantics. At a static level, IDEL does not only allow us to model the information available to a set of agents, like standard epistemic (...) logic, but also the issues that the agents entertain. At a dynamic level, IDEL does not only allow us to model the effects of communicative actions that provide new information, like standard DEL, but also the effects of actions that raise new issues. Thus, IDEL provides the fundamental tools needed to analyze information exchange as a dynamic process of raising and resolving issues. (shrink)

The problem of probabilities of conditionals is one of the long-standing puzzles in philosophy of language. We defend and update Adams' solution to the puzzle: the probability of an epistemic conditional is not the probability of a proposition, but a probability under a supposition. -/- Close inspection of how a triviality result unfolds in a concrete scenario does not provide counterexamples to the view that probabilities of conditionals are conditional probabilities: instead, it supports the conclusion that probabilities of conditionals violate (...) standard probability theory. -/- This does not call into question probability theory per se; rather, it calls for a more careful understanding of its role: probability theory is a theory of probabilities of propositions; but as conditionals do not express propositions, their probabilities are not subject to the standard laws. -/- We argue that both conditional probabilities and probabilities of conditionals are best understood in terms of the dynamics of supposing, modeled as a restriction operation on a probability space. This version of the suppositionalist view allows us to connect Adams' Thesis to the widely held restrictor view of the semantics of conditionals. -/- We address two common objections to Adams' view: that the relevant probabilities are ‘probabilities only in name’, and that giving up conditional propositions puts us at a disadvantage when it comes to interpreting compounds. -/- Finally, we argue that some putative counterexamples to Adams' Thesis can be diagnosed as fallacies of probabilistic reasoning: they arise from applying to conditionals laws of standard probability theory which are invalid for them. (shrink)

There is a prominent line of work in natural language semantics, rooted in the work of Hamblin, in which the meaning of a sentence is not taken to be a single proposition, but rather a set of propositions—a set of alternatives. This allows for a more fine-grained view on meaning, which has led to improved analyses of a wide range of linguistic phenomena. However, this approach also faces a number of problems. We focus here on two of these, in our (...) view the most fundamental ones. The first has to do with how meanings are composed, i.e., with the type-theoretic operations of function application and abstraction; the second has to do with how meanings are compared, i.e., the notion of entailment. Our aim is to reconcile what we take to be the essence of Hamblin’s proposal with the more orthodox type-theoretic framework rooted in the work of Montague in such a way that both the explanatory utility of the former and the solid formal foundations of the latter are preserved. Our proposal builds on insights from recent work on inquisitive semantics, and it also contributes to the further development of this framework by specifying how the inquisitive meaning of a sentence may be built up compositionally. (shrink)

This paper argues that questions have an important role to to play in logic, both semantically and proof-theoretically. Semantically, we show that by generalizing the classical notion of entailment to questions, we can capture not only the standard relation of logical consequence, which holds between pieces of information, but also the relation of logical dependency, which holds between information types. Proof-theoretically, we show that questions may be used in inferences as placeholders for arbitrary information of a given type; by manipulating (...) such placeholders, we may construct formal proofs of dependencies. Finally, we show that such proofs have a specific kind of constructive content: they do not just witness the existence of a certain dependency, but actually encode a method for transforming information of the types described by the assumptions into information of the type described by the conclusion. (shrink)

I propose an account of indicative conditionals that combines features of minimal change semantics and information semantics. As in information semantics, conditionals are interpreted relative to an information state in accordance with the Ramsey test idea: “if p then q” is supported at a state s iff q is supported at the hypothetical state s[p] obtained by restricting s to the p-worlds. However, information states are not modeled as simple sets of worlds, but by means of a Lewisian system of (...) spheres. Worlds in the inner sphere are considered possible; worlds outside of it are ruled out, but to different degrees. In this way, even when a state supports “not p”, it is still possible to suppose p consistently. I argue that this account does better than its predecessors with respect to a set of desiderata concerning inferences with conditionals. In particular, it captures three important facts: that a conditional is logically independent from its antecedent; that a sequence of antecedents behaves like a single conjunctive antecedent ; and that conditionals restrict the quantification domain of epistemic modals. I also discuss two ways to construe the role of a premise, and propose a generalized notion of entailment that keeps the two apart. (shrink)

In many natural languages, there are clear syntactic and/or intonational differences between declarative sentences, which are primarily used to provide information, and interrogative sentences, which are primarily used to request information. Most logical frameworks restrict their attention to the former. Those that are concerned with both usually assume a logical language that makes a clear syntactic distinction between declaratives and interrogatives, and usually assign different types of semantic values to these two types of sentences. A different approach has been taken (...) in recent work on inquisitive semantics. This approach does not take the basic syntactic distinction between declaratives and interrogatives as its starting point, but rather a new notion of meaning that captures both informative and inquisitive content in an integrated way. The standard way to treat the logical connectives in this approach is to associate them with the basic algebraic operations on these new types of meanings. For instance, conjunction and disjunction are treated as meet and join operators, just as in classical logic. This gives rise to a hybrid system, where sentences can be both informative and inquisitive at the same time, and there is no clearcut division between declaratives and interrogatives. It may seem that these two general approaches in the existing literature are quite incompatible. The main aim of this paper is to show that this is not the case. We develop an inquisitive semantics for a logical language that has a clearcut division between declaratives and interrogatives. We show that this language coincides in expressive power with the hybrid language that is standardly assumed in inquisitive semantics, we establish a sound and complete axiomatization for the associated logic, and we consider a natural enrichment of the system with presuppositional interrogatives. (shrink)

This paper aims to highlight the life of computer technologies to understand what kind of ‘technological intentionality’ is present in computers based upon the phenomenological elements constituting the objects in general. Such a study can better explain the effects of new digital technologies on our society and highlight the role of digital technologies by focusing on their activities. Even if Husserlian phenomenology rarely talks about technologies, some of its aspects can be used to address the actions performed by the digital (...) technologies by focusing on the objects’ inner ‘life’ thanks to the analysis of passive synthesis and phenomenological horizons in the objects. These elements can be used in computer technologies to show how digital objects are ‘alive.’ This paper focuses on programs developed through high-order languages like C++ and unsupervised learning techniques like ‘Generative Adversarial Model.’ The phenomenological analysis reveals the computer’s autonomy within the programming stages. At the same time, the conceptual inquiry into the digital system’s learning ability shows the alive and changeable nature of the technological object itself. (shrink)

This paper intends to present briefly Aristotle’s direct tradition as found in the papyri already published, first in those containing Aristotle’s preserved works, then in those tentatively attributed to his lost works. Some papyrological and philological contributions are offered regarding the text of the first group, in particular by collation of the most recent editions and consideration of the latest studies. As for the second group, the arguments pro and contra Aristotelian authorship are analysed.

In recent years, the logic of questions and dependencies has been investigated in the closely related frameworks of inquisitive logic and dependence logic. These investigations have assumed classical logic as the background logic of statements, and added formulas expressing questions and dependencies to this classical core. In this paper, we broaden the scope of these investigations by studying questions and dependency in the context of intuitionistic logic. We propose an intuitionistic team semantics, where teams are embedded within intuitionistic Kripke models. (...) The associated logic is a conservative extension of intuitionistic logic with questions and dependence formulas. We establish a number of results about this logic, including a normal form result, a completeness result, and translations to classical inquisitive logic and modal dependence logic. (shrink)

This paper revives phenomenological elements to have a better framework for addressing the implications of technologies on society. For this reason, we introduce the motto “back to the technologies themselves” to show how some phenomenological elements, which have not been highlighted in the philosophy of technology so far, can be fruitfully integrated within the postphenomenological analysis. In particular, we introduce the notion of technological intentionality in relation to the passive synthesis in Husserl’s phenomenology. Although the notion of technological intentionality has (...) already been coined in postphenomenology, it is “in tension” with the notion of technological mediation since there are still no clear differences between these two concepts and studies on how they relate one to another. The tension between mediation and intentionality arises because it seems intuitively reasonable to suggest that intentionality differs from mediation in a number of ways; however, these elements have not been clearly clarified in postphenomenology so far. To highlight what technological intentionality is and how it differs from mediation, we turn the motto “back to the things themselves” into “back to the technologies themselves,” showing how the technologies have to be taken into consideration by themselves. More specifically, we use the concept of passive synthesis developed by Husserl, and we apply it to technologies to show their inner passive activity. The notion of the passive synthesis enables to demonstrate how technologies are able to connect to a wider (technological) environment without the subjects’ activity. Consequently, we claim that technologies have their pole of action, and they passively act by themselves. (shrink)

The view that if-clauses function semantically as restrictors is widely regarded as the only candidate for a fully general account of conditionals. The standard implementation of this view assumes that, where no operator to be restricted is in sight, if-clauses restrict covert epistemic modals. Stipulating such modals, however, lacks independent motivation and leads to wrong empirical predictions. In this paper I provide a theory of conditionals on which if-clauses are uniformly interpreted as restrictors, but no covert modals are postulated. Epistemic (...) if-clauses, like those in bare conditionals, restrict an information state parameter which is used to interpret an expressive layer of the language. I show that this theory yields an attractive account of bare and overtly modalized conditionals and solves various empirical problems for the standard view, while dispensing with its less plausible assumption. (shrink)

Building on recent work by Yale Weiss, we study conditional logics in the intuitionistic setting. We consider a number of semantic conditions which give rise, among others, to intuitionistic counterparts of Lewis’s logic VC and Stalnaker’s C2. We show how to obtain a sound and complete axiomatization of each logic arising from a combination of these conditions. On the way, we remark how, in the intuitionistic setting, certain classically equivalent principles of conditional logic come apart, and how certain logical connections (...) between different principles no longer hold. (shrink)

The aim of this paper is to analyse the effects on the everyday world of actual Augmented Reality games which introduce digital objects in our surroundings from a phenomenological point of view. Augmented Reality is a new technology aiming to merge digital and real objects, and it is becoming pervasively used thanks to the application for mobile devices Pokémon Go by Niantic. We will study this game and other similar applications to shed light on their possible effects on our lives (...) and on our everyday world from a phenomenological perspective. In the first part, we will show how these digital objects are visualised as merged in the surroundings. We will point out that even if they are visualised as part of the everyday world, they are not part of it because they are still related to the fictional world generated by the game. In the second part, we will show how the existence of these objects in their fictional world has effects on the everyday world where everybody lives. The goal of Augmented Reality is not reached yet because these objects are not part of the everyday world, but it already makes our lives embedded with digital elements. We will show if these new objects have effects on our world and on how we live our lives. (shrink)

Technology always provides a new perception of the world. However, it is not clear when technology produces “mere” new informations and when it provides something more such as a production of new objects in our world which start to “live” around us. The aim of this paper is to study how technology shapes our surrounding world. The questions which we are going to answer are: Is it really adding new objects to our world? If yes, does every technology have this (...) potentiality? We are going to tackle the problem using a phenomenological and post-phenomenological approach focussing our attention on the perceptual level. Using Husserl’s philosophy we will study how technology are deeply involved in our perception and, thanks to post-phenomenology and its concept of “embodiment relations,” we will be able to determine which kind of technologies have the potentiality to change our surrounding world introducing and producing new objects in it. (shrink)

The aim of this work is to analyze the constitution of a new collective subject thanks to wearable computers. Wearable computers are emerging technologies which are supposed to become pervasively used in the near future. They are devices designed to be on us every single moment of our life and to capture every experience we have. Therefore, we need to be prepared to such intrusive devices and to analyze potential effect they will have on us and our society. Thanks to (...) a phenomenological and postphenomenological analysis, we will show how these technologies are able to generate a new collective subject with its different collective needs and appetites by merging the living body of many subjects into one. The world becomes dwelled by these new collective subjects, and we will feed their own peculiar needs. (shrink)

The notion of quality constitutes the title of a pressing philosophical problem. The issue of the location of the qualities of experience and reality leads to thematize the “clash” between the scientific and the manifest image, which also lays at the heart of the issues of naturalism and reductionism in the philosophy of mind. I argue that a transcendental version of the enactive approach constitutes a fruitful way to address these issues, thanks to its conception of the relation between subject (...) and object as dependent co-origination. In this way, the enactive view constitutes an alternative to both the internalism and the externalism about qualities, constituting a processual and relationist framework that can be fruitfully applied to the analysis of different ontological domains. In the conclusive section, I distinguish between an ontological and a metaphysical interpretation of this view, stressing the advantages of the former. (shrink)

This paper aims to show a possible path to address the introduction of intimate digital technologies through a phenomenological and postphenomenological perspective in relation to Japanese and Chinese contexts. Digital technologies are becoming intimate, and, in Japan and China, there are already many advanced digital technologies that provide digital companions for love relationships. Phenomenology has extensive research on how love relationships and intimacy shape the subjects. At the same time, postphenomenology provides a sound framework on how technologies shape the values (...) and meanings we have. Thus, this paper introduces two digital technologies in Japan and China (_Love Plus_ and _XiaoIce_ chatbot), and it analyses according to the elements proposed by phenomenology and postphenomenology. In conclusion, this paper shows how digital companions like _Love Plus_ and _XiaoIce_ chatbot change who we are and the values and meanings we have according to the phenomenological and postphenomenological framework. These entities might not be human, but they shape who we are as human beings and the meanings and value we give to love. (shrink)

The aim of this paper is to analyse teledildonics from a phenomenological perspective in order to show the possible effects they will have on ourselves and on our society. The new way of using digital technologies is to merge digital activities with our everyday praxes, and there are already devices which enable subjects to be digitally connected in every moment of their lives. Even the most intimate ones are becoming mediated by devices such as teledildonics which digitally provide a tactual (...) stimulation allowing users to have sexual intercourse through them. The efforts made in order to provide such an intertwinement of our everyday lives and digital technologies are evident, but the effects produced by them are not clear at all. This paper will analyse these technologies from a phenomenological perspective in order to understand their effects on the constitution of the subjects and on our society at the intimate level. (shrink)

Digital technologies are pervasively used, and they are becoming part of our everyday actions by being designed to be connected to every aspect of our private life like emotions. However, it is not very clear how they are going to change who we are through their tight intertwinement. Especially in relation to emotions, it is not clear at all what happens when they become digitalized and visualized through these digital devices. Usually, the research focusses on the effect on the privacy (...) of the intrusion of digital devices in our lives as if this process of digitalization leaves the meanings human beings give to their emotions untouched. This article does not focus on the privacy related to the personal information captured by the devices, but it aims to open an analysis of the effects of this digitalization on the emotions in order to highlight the fact the introduction of these digital technologies change what emotions are. (shrink)

In this paper I discuss the role that question contents should play in an overall account of language, thought, and communication. Based on these considerations, I argue against the Fregean view that analyzes questions as distinguished only at the level of force. Questions, I argue, are associated with specific semantic objects, which play a distinctive role in thought and in compositional semantics, stand in logical relations to one another, and can act as contents of multiple speech acts. In the second (...) part of the paper, I present a recent approach to the semantics of questions – inquisitive semantics – and discuss how the notion of question content it provides can be fruitfully put to use in the different roles we identified. (shrink)

Inquisitive modal logic, InqML, is a generalisation of standard Kripke-style modal logic. In its epistemic incarnation, it extends standard epistemic logic to capture not just the information that agents have, but also the questions that they are interested in. Technically, InqML fits within the family of logics based on team semantics. From a model-theoretic perspective, it takes us a step in the direction of monadic second-order logic, as inquisitive modal operators involve quantification over sets of worlds. We introduce and investigate (...) the natural notion of bisimulation equivalence in the setting of InqML. We compare the expressiveness of InqML and first-order logic in the context of relational structures with two sorts, one for worlds and one for information states, and characterise inquisitive modal logic as the bisimulation invariant fragment of first-order logic over various natural classes of two-sorted structures. (shrink)

The problem of artificial intelligence and human being has always raised questions about possible interactions among them and possible effects yielded by the introduction of such un-human subject. Dreyfus deeply connects intelligence and body based on a phenomenological viewpoint. Thanks to his reading of Merleau-Ponty, he clearly stated that an intelligence must be embodied into a body to function. According to his suggestion, any AI designed to be human-like is doom to failure if there is no tight bound with a (...) human-like body. Today, we are facing the pervasive introduction of robots into our everyday life, and the problem of this co-existence raises again with new vigor since they are not mere speculations, but there are already products sold to the public. We will highlight how vulnerability has to be taken into consideration in the design of robots to create entities which are able to relate to human beings taking into consideration mainly the positions of Sartre, Habermas, Levinas, and Marleau-Ponty. A first part will focus on the vulnerability of the robots. Robots are going to be among us, but a real interaction is possible only the moment they have a “same” body of ours. Therefore, only through the realization of a “fragile” body we can achieve a cohabitation between equals. Thanks to Merleau-Ponty we will show how the vulnerability of a body is one of the most important element to found any social interaction. The second part will focus on how the robots will affect the vulnerability of the human subjects. To produce vulnerable robots is not a mere neutral introduction, but it shapes how the subjects are constituted. Thanks to Levinas, we will study how the vulnerable robots will shape the subjects. Thanks to Sartre, we will show how the creation of a different gaze in the robot changes the vulnerabilities of the human subjects. Introducing vulnerable robots is a way to shape ourselves. (shrink)

Traditional approaches to the semantics of questions analyze questions indirectly, via the notion of an answer. In recent work on inquisitive semantics, a different perspective is taken: the meaning of a question is equated with its resolution conditions, just like the meaning of a statement is traditionally equated with its truth-conditions. In this paper I argue that this proposal improves on previous approaches, combining the formal elegance and explanatory power of Groenendijk and Stokhof’s partition theory with the greater generality afforded (...) by answer-set theories. (shrink)