We define an interpretation of modal languages with polyadic operators in modal languages that use monadic operators (diamonds) only. We also define a simulation operator which associates a logic $\Lambda^{sim}$ in the diamond language with each logic Λ in the language with polyadic modal connectives. We prove that this simulation operator transfers several useful properties of modal logics, such as finite/recursive axiomatizability, frame completeness and the finite model property, canonicity and first-order definability.

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)

In this paper we focus on transmission and failure of transmission of warrant. We identify three individually necessary and jointly sufficient conditions for transmission of warrant, and we show that their satisfaction grounds a number of interesting epistemic phenomena that have not been sufficiently appreciated in the literature. We then scrutinise Wright’s analysis of transmission failure and improve on extant readings of it. Nonetheless, we present a Bayesian counterexample that shows that Wright’s analysis is partially incoherent with our analysis of (...) warrant transmission and prima facie defective. We conclude exploring three alternative lines of reply: developing a more satisfactory account of transmission failure, which we outline; dismissing the Bayesian counterexample by rejecting some of its assumptions; reinterpreting Wright’s analysis to make it immune to the counterexample. (shrink)

Many stored beliefs, like beliefs in one’s personal data or beliefs in one’s area of expertise, intuitively amount to knowledge, and so are justified. This uncontroversial datum arguably tells against evidentialism, the position according to which a belief is justified if it fits the available evidence: stored beliefs are normally not sustained by one’s available evidence. Conee and Feldman have tried to meet this potential objection by relaxing the notion of available evidence. According to their proposal, stored beliefs are dispositionally (...) justified, because they are justified by the evidence one has the disposition to retrieve; such evidence, as a consequence, is to be characterize as available, though in a derivative sense. Goldman has criticized this proposal, by offering a counterexample to the claim that a disposition to generate a piece of evidence may qualify as a justifier. In this paper I critically examine two possible replies to Goldman’s example stemming from Conee and Feldman, and finally propose my own, based on a distinction, inspired by Audi, between dispositional evidence and the disposition to have evidence. Though this proposal differs from Conee and Feldman’s one, I will conclude that it fits pretty well their intuitions. (shrink)

In a recent article M. Colyvan has argued that Quinean forms of scientific realism are faced with an unexpected upshot. Realism concerning a given class of entities, along with this route to realism, can be vindicated by running an indispensability argument to the effect that the entities postulated by our best scientific theories exist. Colyvan observes that among our best scientific theories some are inconsistent, and so concludes that, by resorting to the very same argument, we may incur a commitment (...) to inconsistent entities. Colyvan's argument could be interpreted, and in part is presented, as a reductio of Quinean scientific realism; yet, Colyvan in the end manifests some willingness to bite the bullet, and provides some reasons why we shouldn't feel too uncomfortable with those entities. In this paper we wish to indicate a way out to the scientific realist, by arguing that no indispensability argument of the kind suggested by Colyvan is actually available. To begin with, in order to run such an indispensability argument we should be justified in believing that an inconsistent theory is true; yet, in so far as the logic we accept is a consistent one it is arguable that our epistemic predicament could not be possibly one in which we are justified in so believing. Moreover, also if our logic admitted true contradictions, as Dialetheism does, it is arguable that Colyvan's indispensability argument could not rest on a true premise. As we will try to show, dialetheists do not admit true contradictions for cheap: they do so just as a way out of paradox, namely whenever we are second-level ignorant as to the metaphysical possibility of evidence breaking the parity among two or more inconsistent claims; Colyvan's examples, however, are not of this nature. So, even under the generous assumption that Dialetheism is true, we will conclude that Colyvan's argument doesn't achieve its surprising conclusion. (shrink)

Transmission of justification across inference is a valuable and indeed ubiquitous epistemic phenomenon in everyday life and science. It is thanks to the phenomenon of epistemic transmission that inferential reasoning is a means for substantiating predictions of future events and, more generally, for expanding the sphere of our justified beliefs or reinforcing the justification of beliefs that we already entertain. However, transmission of justification is not without exceptions. As a few epistemologists have come to realise, more or less trivial forms (...) of circularity can prevent justification from transmitting from p to q even if one has justification for p and one is aware of the inferential link from p to q. In interesting cases this happens because one can acquire justification for p only if one has independent justification for q. In this case the justification for q cannot depend on the justification for p and the inferential link from p to q, as genuine transmission would require. The phenomenon of transmission failure seems to shed light on philosophical puzzles, such as Moore's proof of a material world and McKinsey's paradox, and it plays a central role in various philosophical debates. For this reason it is being granted continued and increasing attention. (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)

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.

Spacetime measurements and gravitational experiments are made by using objects, matter fields or particles and their mutual relationships. As a consequence, any operationally meaningful assertion about spacetime is in fact an assertion about the degrees of freedom of the matter (i.e. non gravitational) fields; those, say for definiteness, of the Standard Model of particle physics. As for any quantum theory, the dynamics of the matter fields can be described in terms of a unitary evolution of a state vector in a (...) Hilbert space. By writing the Hilbert space as a generic tensor product of “subsystems” we analyse the evolution of a state vector on an information theoretical basis and attempt to recover the usual spacetime relations from the information exchanges between these subsystems. We consider generic interacting second quantized models with a finite number of fermionic degrees of freedom and characterize on physical grounds the tensor product structure associated with the class of “localized systems” and therefore with “position”. We find that in the case of free theories no spacetime relation is operationally definable. On the contrary, by applying the same procedure to the simple interacting model of a one-dimensional Heisenberg spin chain we recover the tensor product structure usually associated with “position”. Finally, we discuss the possible role of gravity in this framework. (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".

Structure entails arrangements and interrelations of parts that organize the whole (i.e., personality). It involves stability of traits over time. Extraversion varies along a continuum towards introversion. Multiple behavioral and biological variables in several systems vary and are regulated homeostatically within the normal range. If there is a fixed point for an individual, what inhibits variation in the biological parameter?

Quite recently, Luciano Floridi has put forward the fascinating suggestion that knowledge should be analyzed as special kind of information, in particular as accounted information. As I will try tentatively to show, one important consequence of Floridi’s proposal is that the notion of justification, and of evidence, should play no role in a philosophical understanding of knowledge. In this paper, I shall suggest one potential difficulty with which Floridi’s proposal might be consequently afflicted, yet accept the fundamental suggestion that traditional (...) epistemology should be merrily wedded with the philosophy of information; in particular, I shall plead for the less drastic conclusion, according to which, although knowledge should be taken to entail justification, it is the very notion of evidence—in particular of perceptual evidence—that should be analyzed in information-theoretic terms. By so doing, my principal aim will be to explain away an apparent difficulty—which is preliminary to the preoccupations motivating Floridi’s more ambitious attempt—from which Conee and Feldman’s Evidentialism is apparently afflicted. So, the conclusion that I will try to establish is that the notion of perceptual evidence, once it is appropriately analyzed in information-theoretic terms, should play an important role in our understanding of knowledge. (shrink)

Prediction may be a fundamental principle of sensory processing: it has been proposed that the brain continuously generates predictions about forthcoming sensory information. However, little is known about how prediction contributes to the selection of a conscious percept from among competing alternatives. Here, we used binocular rivalry to investigate the effects of prediction on perceptual selection. In binocular rivalry, incompatible images presented to the two eyes result in a perceptual alternation between the images, even though the visual stimuli remain constant. (...) If predictive signals influence the competition between neural representations of rivalrous images, this influence should generate a bias in perceptual selection that depends on predictive context. To manipulate predictive context, we developed a novel binocular rivalry paradigm in which rivalrous test images were immediately preceded by a sequence of context images presented identically to the two eyes. One of the test images was consistent with the preceding image sequence (it was the expected next image in the series), and the other was inconsistent (non-predicted). We found that human observers were more likely to perceive the consistent image at the onset of rivalry, suggesting that predictive context biased selection in favor of the predicted percept. This prediction effect was distinct from the effects of adaptation to stimuli presented before the binocular rivalry test. In addition, perceptual reports were speeded for predicted percepts relative to non-predicted percepts. These results suggest that predictive signals related to visual stimulus history exist at neural sites that can bias conscious perception during binocular rivalry. Our paradigm provides a new way to study how prior information and incoming sensory information combine to generate visual percepts. (shrink)

Three studies tested the conditions under which people judge utilitarian harm to be authority dependent (i.e., whether its right or wrongness depends on the ruling of an authority). In Study 1, participants judged the right or wrongness of physical abuse when used as an interrogation method anticipated to yield useful information for preventing future terrorist attacks. The ruling of the military authority towards the harm was manipulated (prohibited vs. prescribed) and found to significantly influence judgments of the right or wrongness (...) of inflicting harm. Study 2 established a boundary condition with regards to the influence of authority, which was eliminated when the utility of the harm was definitely obtained rather than forecasted. Finally, Study 3 replicated the findings of Studies 1–2 in a completely different context—an expert committee’s ruling about the harming of chimpanzees for biomedical research. These results are discussed as they inform ongoing debates regarding the role of authority in moderating judgments of complex and simple harm. (shrink)

According to a common presentation, Platonism in the philosophy of mathematics is the view according to which the entities with which mathematics is concerned, numbers, are abstract objects which exist independently of the mind. The latter feature, in particular, is alleged to secure the “realist” component of mathematical Platonism. Surprisingly enough, however, this characterization of Platonism is not normally paired with a philosophical explanation of the implicated notion of mind-dependent existence. Since there seems to be more than one metaphysically relevant (...) sense in which an entity may be said to depend on the mind, this is not a minor lack; for not every such sense seems to be relevant to the realism issue. This paper is aimed to fill this gap, and to provide the Platonist with a conceptual analysis of the realism-relevant sense in which her claim that numbers exist mind-independently should be understood. Result of this analysis will also be the conclusion that Non-Gödelian Platonism, a view recently proposed by J. Divers and A. Miller, should not be really regarded as a form of Platonism. (shrink)

We propose a coevolutionary model of secrecy and stigmatization. According to this model, secrecy functions to conceal potential fitness costs detected in oneself or one’s genetic kin. In three studies, we found that the content of participants’ distressing secrets overlapped significantly with three domains of social information that were important for inclusive fitness and served as cues for discriminating between rewarding and unrewarding interaction partners: health, mating, and social-exchange behavior. These findings support the notion that secrecy functions primarily as a (...) defense against stigmatization by suppressing information about oneself or one’s kin that evolutionarily has been devalued in mating and social exchange. (shrink)

We argue that Cohen Kadosh & Walsh's (CK&W's) definitions of neural coding and of abstract representations are overly shallow, influenced by classical cognitive psychology views of modularity and seriality of information processing, and incompatible with the current knowledge on principles of neural coding. As they stand, the proposed dichotomies are not very useful heuristic tools to guide our research towards a better understanding of the neural computations underlying the processing of numerical quantity in the parietal cortex.

In this paper I argue that the existence of expert knowledge potentially poses a problem for Evidentialism, the view that a person’s justification supervenes on the evidence this person has. An expert is the kind of person from which knowledge (or justified belief) is expected in situations in which a non-expert would normally not attain knowledge (or justified belief); so, potentially, the epistemic status of their beliefs differ even if the evidence they possess seems to be the same. A viable (...) solution to this problem has to show that, appearances to the contrary, the expert and the non-expert, in the problematic cases, do not possess the same evidence. I propose a solution to this problem by defending a principle that specifies the conditions under which a piece of information should be counted as evidence. (shrink)

The paper purports to show that truth-atemporalism, the thesis that truth is timeless, is incompatible with power to do otherwise. Since a parallel and simpler argument can be run to the effect that truth-omnitemporalism, the thesis that truth is sempiternal, is incompatible with power to do otherwise, our conclusion achieves greater generality, and the possible shift from the claim that truth is omnitemporal to the claim that it is atemporal becomes useless for the purpose to resist it. On the other (...) hand, our argument for the conclusion that both Atemporalism and Omnitemporalism are incompatible with power to do otherwise will be shown independent of the debated assumption that the past is inalterable. So our argument goes through independently of whether Ockhamists are right in insisting that the soft facts about the past are alterable. (shrink)