All humans share a universal, evolutionarily ancient approximate number system (ANS) that estimates and combines the numbers of objects in sets with ratio-limited precision. Interindividual variability in the acuity of the ANS correlates with mathematical achievement, but the causes of this correlation have never been established. We acquired psychophysical measures of ANS acuity in child and adult members of an indigene group in the Amazon, the Mundurucú, who have a very restricted numerical lexicon and highly variable access to mathematics education. (...) By comparing Mundurucú subjects with and without access to schooling, we found that education significantly enhances the acuity with which sets of concrete objects are estimated. These results indicate that culture and education have an important effect on basic number perception. We hypothesize that symbolic and nonsymbolic numerical thinking mutually enhance one another over the course of mathematics instruction. (shrink)

This paper is dedicated to extending and adapting to modal logic the approach of fractional semantics to classical logic. This is a multi-valued semantics governed by pure proof-theoretic considerations, whose truth-values are the rational numbers in the closed interval $[0,1]$. Focusing on the modal logic K, the proposed methodology relies on three key components: bilateral sequent calculus, invertibility of the logical rules, and stability (proof-invariance). We show that our semantic analysis of K affords an informational refinement with respect to the (...) standard Kripkean semantics (a new proof of Dugundji’s theorem is a case in point) and it raises the prospect of a proof-theoretic semantics for modal logic. (shrink)

This article presents a new semantics for classical propositional logic. We begin by maximally extending the space of sequent proofs so as to admit proofs for any logical formula; then, we extract the new semantics by focusing on the axiomatic structure of proofs. In particular, the interpretation of a formula is given by the ratio between the number of identity axioms out of the total number of axioms occurring in any of its proofs. The outcome is an informational refinement of (...) traditional Boolean semantics, obtained by breaking the symmetry between tautologies and contradictions. (shrink)

According to the implicit commitment thesis, once accepting a mathematical formal system S, one is implicitly committed to additional resources not immediately available in S. Traditionally, this thesis has been understood as entailing that, in accepting S, we are bound to accept reflection principles for S and therefore claims in the language of S that are not derivable in S itself. It has recently become clear, however, that such reading of the implicit commitment thesis cannot be compatible with well-established positions (...) in the foundations of mathematics which consider a specific theory S as self-justifying and doubt the legitimacy of any principle that is not derivable in S: examples are Tait’s finitism and the role played in it by Primitive Recursive Arithmetic, Isaacson’s thesis and Peano Arithmetic, Nelson’s ultrafinitism and sub-exponential arithmetical systems. This casts doubts on the very adequacy of the implicit commitment thesis for arithmetical theories. In the paper we show that such foundational standpoints are nonetheless compatible with the implicit commitment thesis. We also show that they can even be compatible with genuine soundness extensions of S with suitable form of reflection. The analysis we propose is as follows: when accepting a system S, we are bound to accept a fixed set of principles extending S and expressing minimal soundness requirements for S, such as the fact that the non-logical axioms of S are true. We call this invariant component the semantic core of implicit commitment. But there is also a variable component of implicit commitment that crucially depends on the justification given for our acceptance of S in which, for instance, may or may not appear reflection principles for S. We claim that the proposed framework regulates in a natural and uniform way our acceptance of different arithmetical theories. (shrink)

The aim of this paper is to argue that logic can play an important role in the “toolbox” of molecular biology. We show how biochemical pathways, i.e., transitions from a molecular aggregate to another molecular aggregate, can be viewed as deductive processes. In particular, our logical approach to molecular biology — developed in the form of a natural deduction system — is centered on the notion of Curry-Howard isomorphism, a cornerstone in nineteenth-century proof-theory.

Some real life processes, including molecular ones, are context-sensitive, in the sense that their outcome depends on side conditions that are most of the times difficult, or impossible, to express fully in advance. In this paper, we survey and discuss a logical account of context-sensitiveness in molecular processes, based on a kind of non-classical logic. This account also allows us to revisit the relationship between logic and philosophy of science (and philosophy of biology, in particular).

In March 1808 at the Institut de France, the German physician Franz Joseph Gall, together with his assistant Johann Gaspar Spurzheim, unveiled his rather controversial doctr...

According to David Lewis, the predicate ‘knows’ is context-sensitive in the sense that its truth conditions vary across conversational contexts, which stretch or compress the domain of error possibilities to be eliminated by the subject’s evidence. Our concern in this paper is to thematize, assess, and overcome within a neo-Lewisian contextualist project two important mismatches between our use of ‘know’ in ordinary life and the use of ‘know’ by ‘Lewisian’ ordinary speakers. The first mismatch is that Lewisian contextualism still overgenerates (...) the error possibilities which cannot be ignored in a given context, since it is oblivious to the distinction between ‘invented’ and ‘discovered’ possibilities. The second mismatch is a full-scale one: an adequate account of knowledge attribution is not exhausted by the subject’s negative capacity of pruning branches off the tree of counterpossibilities. We therefore introduce a new vector of value, which explains how ‘know’ comes in degrees: the satisfaction of ‘know better’ is made to depend on the capacity of imagining possibilities connected in a relevant way with the subject’s beliefs. (shrink)

Abductive reasoning involves finding the missing premise of an “unsaturated” deductive inference, thereby selecting a possible _explanans_ for a conclusion based on a set of previously accepted premises. In this paper, we explore abductive reasoning from a structural proof-theory perspective. We present a hybrid sequent calculus for classical propositional logic that uses sequents and antisequents to define a procedure for identifying the set of analytic hypotheses that a rational agent would be expected to select as _explanans_ when presented with an (...) abductive problem. Specifically, we show that this set may not include the deductively minimal hypothesis due to the presence of redundant information. We also establish that the set of all analytic hypotheses exhausts all possible solutions to the given problem. Finally, we propose a deductive criterion for differentiating between the best _explanans_ candidates and other hypotheses. (shrink)

Evidence-based medicine relies on the execution of clinical practice guidelines and protocols. A great deal of of effort has been invested in the development of various tools which automate the representation and execution of the recommendations contained within such guidelines and protocols by creating Computer Interpretable Guideline Models (CIGMs). Context-based task ontologies (CTOs), based on standard terminology systems like UMLS, form one of the core components of such a model. We have created DAML+OIL-based CTOs for the tasks mentioned in the (...) WHO guideline for hypertension management, drawing comparisons also with other related guidelines. The advantages of CTOs include: contextualization of ontologies, providing ontologies tailored to specific aspects of the phenomena of interest, dividing the complexity involved in creating ontologies into different levels, providing a methodology by means of which the task recommendations contained within guidelines can be integrated into the clinical practices of a health care set-up. (shrink)

Philosophers of science today by and large reject the cataclysmic and irrational interpretation of the scientific enterprise claimed by Kuhn. Many computational models have been implemented to rationally study the conceptual change in science. In this recent tradition a key role is played by the concept of abduction as a mechanism by which new explanatory hypotheses are introduced. Nevertheless some problems in describing the most interesting abductive issues rise from the classical computational approach. It describes a cognitive process (and so (...) abduction) by the manipulation of internal symbolic representations of external world. This view assumes a discrete set of representations fixed in discrete time jumps, and cannot adequately account for the issue of anticipation and causation of a new hypothesis. An integration of the traditional computational view with some ideas developed inside the so-called dynamical approach can suggest some important insights. The concept of attractor is very significant. It permits a description of the abductive generation of new hypotheses in terms of a catastrophic rearrangement of the parameters responsible for the behavior of the system. (shrink)

Lots of Websites offer the possibility to donate human beings. Another problem of ethics of communications.

An important part of the Unified Medical Language System (UMLS) is its Semantic Network, consisting of 134 Semantic Types connected to each other by edges formed by one or more of 54 distinct Relation Types. This Network is however for many purposes overcomplex, and various groups have thus made attempts at simplification. Here we take this work further by simplifying the relations which involve the three Semantic Types – Diagnostic Procedure, Laboratory Procedure and Therapeutic or Preventive Procedure. We define operators (...) which can be used to generate terms instantiating types from this selected set when applied to terms designating certain other Semantic Types, including almost all the terms specifying clinical tasks. Usage of such operators thus provides a useful and economical way of specifying clinical tasks. The operators allow us to define a mapping between those types within the UMLS which do not represent clinical tasks and those which do. This mapping then provides a basis for an ontology of clinical tasks that can be used in the formulation of computer-interpretable clinical guideline models. (shrink)

In a recent paper, under the auspices of an unorthodox variety of bilateralism, we introduced a new kind of proof-theoretic semantics for the base modal logic \(\mathbf{K}\), whose values lie in the closed interval \([0,1]\) of rational numbers [14]. In this paper, after clarifying our conception of bilateralism – dubbed “soft bilateralism” – we generalize the fractional method to encompass extensions and weakenings of \(\mathbf{K}\). Specifically, we introduce well-behaved hypersequent calculi for the deontic logic \(\mathbf{D}\) and the non-normal modal logics (...) \(\mathbf{E}\) and \(\mathbf{M}\) and thoroughly investigate their structural properties. (shrink)

Outcomes research in healthcare has been a topic much addressed in recent years. Efforts in this direction have been supplemented by work in the areas of guidelines for clinical practice and computer-interpretable workflow and careflow models.In what follows we present the outlines of a framework for understanding the relations between organizations, guidelines, individual patients and patient-related functions. The derived framework provides a means to extract the knowledge contained in the guideline text at different granularities, in ways that can help us (...) to assign tasks within the healthcare organization and to assess clinical performance in realizing the guideline. It does this in a way that preserves the flexibility of the organization in the adoption of the guidelines. (shrink)

This contribution explores the concept of the unconscious as articulated by Proust in his À la recherche du temps perdu (Proust ([1913–1927] 1998–1999) and in a series of documents and texts that preceded it. It aims at understanding whether and to what extent Proust can be placed in a line of French thought that begins with the work of Maine de Biran and culminates in the reception in the second half of the nineteenth century of Biranism by French alienists: doctors (...) specialized in the study of mental alienation. This type of interpretation of Biran’s doctrine is attuned to the increasing attention which, at the time of Proust’s education, was given to the unconscious and to the idea that, alongside the conscious self, there is an unconscious self, understood as a secondary personality that can manifest itself in the life of the individual in both normal and pathological ways. Following the interpretative path pursued in Piazza (1997, 2017), Bizub (2006), and Fraisse (2013), this article takes into account both Proust’s secondary and university education and his familiarity with experimental psychology, to which he was introduced by his father. (shrink)

In this paper we will discuss the first order multiplicative intuitionistic fragment of linear logic, MILL1, and its applications to linguistics. We give an embedding translation from formulas in the Lambek Calculus to formulas in MILL1 and show this translation is sound and complete. We then exploit the extra power of the first order fragment to give an account of a number of linguistic phenomena which have no satisfactory treatment in the Lambek Calculus.

"Como pensar hoje na escrita da história? Como enfrentar a página em branco que não se apresenta como um espaço neutro, mas um espaço onde quem escreve - o historiador - deixa rastros do passado e também os seus próprios rastros? Essas são algumas das questões colocadas pelos ensaios que compõem "Arte e pensamento: operações historiográficas". Num primeiro momento, são fornecidos o ritmo, o tom e os compassos por meio de discussões e reflexões sobre uma teoria da experiência para a (...) escrita da história, sobre a historicidade do artístico, sobre o inespecífico do contemporâneo, sobre o pensamento na fronteira, sobre a nomeação dos anônimos em Machado de Assis. A partir dessas harmonizações dissonantes e consoantes, iniciam-se 3 operações que delineiam o segundo momento do livro, cuja intenção maior é fazer operar a escrita da história na imbricada conjunção história-arte-pensamento."--Contratapa. (shrink)

Arrow’s information paradox features the most radical kind of information asymmetry by diagnosing an inherent conflict between two parties inclined to exchange information. In this paper, we argue that this paradox is more richly textured than generally supposed by current economic discussion on it and that its meaning encroaches on philosophy. In particular, we uncovers the ‘epistemic’ and more genuine version of the paradox, which looms on our cognitive lives like a sort of tax on curiosity. Finally, we sketch the (...) relation between Arrow’s information paradox and the notion of zero-knowledge proofs in cryptography: roughly speaking, zero-knowledge proofs are protocols that enable a prover to convince a verifier that a statement is true, without conveying any additional information. (shrink)

In this paper, we show by a proof-theoretical argument that in a logic without structural rules, that is in noncommutative linear logic with exponentials, every formula A for which exchange rules (and weakening and contraction as well) are admissible is provably equivalent to ?A. This property shows that the expressive power of "noncommutative exponentials" is much more important than that of "commutative exponentials".

In this paper, we show by a proof-theoretical argument that in a logic without structural rules, that is in noncommutative linear logic with exponentials, every formula A for which exchange rules are admissible is provably equivalent to?A. This property shows that the expressive power of "noncommutative exponentials" is much more important than that of "commutative exponentials".

The subject of this work is Maine de Biran’s theory about nature, origin and function of language, and about signs in general. Such theoretical reflection is a not very well explored aspect of Biran’s thought, whereas it is extremely important because of its connections with Biran’s doctrine of the active nature of human being. In the present article we have tried to make a reconstruction of this reflection that shows in deep the connections between Biran’s thought and the doctrines of (...) his main interlocutors: Condillac, Maupertuis, Rousseau, Destutt de Tracy. (shrink)

This article analyzes the characteristics and the purposes that the object “photography” has in Proust’s Rechercheand in Roland Barthes’ La chambre claire, by recognizing within these two texts a the double challenge represented by photography itself: that of being a transparent object and that of allowing the fruition of the extra-temporality. Barthes’ realism, however, prevents the critic from considering in its full extent the cognitive value of photography, as configured in Proust’s text, which is placed in watermark in relation to (...) the Barthes’ discourse. Proust’s complex position with respect to the object “photography”, which he criticizes, among many other reasons, for thesnap-shot platitude, includes even a possible parallelism with the involuntary memory, since the heuristic meaning of photography is connected to the cognitive and affective dinamycs which guide our processes of remembrance and creative relationship with our own past. (shrink)

In questo saggio l'Autore studia l'influenza che i pensatori scozzesi, da Hume a Smith, da Dugald Stewart a Reid, hanno esercitato sulla riflessione di Maine de Biran , figura chiave nella transizione dal sensismo condillachiano e dal fisiologismo idéologique verso l'eclettismo e lo spiritualismo francesi del Secondo Ottocento. Tale influenza, ben più corposa di quanto non sia finora parso agli studiosi del filosofo di Bergerac, agisce su Biran in specie sulle prime fasi del suo pensiero attraverso la mediazione, qui ampiamente (...) ricostruita, dei divulgatori in lingua francese delle opere degli illuministi scozzesi. (shrink)