Given the common assumption that measurement plays an important role in the foundation of science, the paper analyzes the possibility that Measurement Science, and therefore measurement itself, can be properly founded. The realist and the representational positions are analyzed at this regards: the conclusion, that such positions unavoidably lead to paradoxical situations, opens the discussion for a new epistemology of measurement, whose characteristics and interpretation are sketched here but are still largely matter of investigation.

Some Presentists—according to whom everything is present—identify instants of time with propositions of a certain kind. However, the view that times are propositions seems to be at odds with Presentism: if there are times then there are past times, and therefore things that are past; but how could there be things that are past if everything is present? In this paper, we describe the Presentist view that times are propositions ; we set out the argument that Presentism is incompatible with (...) the view that times are propositions ; and then we describe three possible responses to that argument on behalf of Presentists who identify times with propositions. We argue that each of these responses comes with significant costs. Finally, we describe a fourth possible response—according to which times are irreducibly higher-order entities—which appears to avoid the costs of the other three. We also describe and respond to two objections to the higher-order strategy. (shrink)

Constitutivism argues that the source of the categorical force of the norms of rationality and morality lies in the constitutive features of agency. A systematic failure to be guided by these norms would amount to a loss or lack of agency. Since we cannot but be agents, we cannot but be unconditionally guided by these norms. The constitutivist strategy has been challenged by David Enoch. He argues that our participation in agency is optional and thus cannot be a source of (...) categorical demands. In this paper, I defend the viability of constitutivism by showing that agency is indeed a special ‘inescapable’ enterprise. Agency has the largest jurisdiction, and it is closed under rational assessment. This inescapability does not exempt constitutivism from raising the question whether agents have reason to be agents, but this question has to be taken up within agency. If this question is answered affirmatively, then—I argue—the criteria of practical correctness are self-ratifying in a non-circular way. This is sufficient to show the viability of the constitutivist strategy. Whether agents have conclusive reasons to be agents, however, is a matter to be addressed in the terms of particular versions of constitutivism. (shrink)

In this paper, I will discuss the various ways in which intentions can be said to be conditional, with particular attention to the internal conditions on the intentions’ content. I will first consider what it takes to carry out a conditional intention. I will then discuss how the distinctive norms of intention apply to conditional intentions and whether conditional intentions are a weaker sort of commitments than the unconditional ones. This discussion will lead to the idea of what I call (...) the ‘deep structure’ of intentions. Roughly, this is the idea that the conditional nature of our intentions is only partially made explicit in the expressions we use to communicate our intentions and in the explicit form of our thinking about and reasoning with them. Most conditions that qualify our intentions are part of a deep functional structure that can be evinced by observing the actual psychological functioning of intentions and by considering the rational requirements that they engage. I will argue that the deep structure of intentions is characteristically conditional. Genuinely unconditional intentions are only limiting instances of conditional intentions and their contribution to agency can only be understood in light of this fact. I will conclude by showing that the characteristic conditional structure of intentions is intimately related to distinctive features of human agency, especially to its unity over time. (shrink)

Physicalism in philosophy of mind is the doctrine that mental states and processes, if they are something, are physical states and processes. Notoriously, Frank Jackson has attacked physicalism with the knowledge argument. This paper does not consider whether the knowledge argument is successful. Instead, the author argues that the ability reply to the knowledge argument fails. The central assumption of this objection is that Mary, by having colour experiences, acquires a set of abilities rather than new beliefs as required by (...) the knowledge argument. Against the ability reply, it is maintained that Mary on her release acquires new beliefs about objects looking the same colour. As a preliminary, it is shown, against an important criticism of the knowledge argument, that we can make sense of what Mary knows about colour experience when in the black-and-white laboratory. (shrink)

"The last remnant of physical objectivity of space-time" is disclosed, beyond the Leibniz equivalence, in the case of a continuous family of spatially non-compact models of general relativity. The physical individuation of point-events is furnished by the intrinsic degrees of freedom of the gravitational field, (viz, the "Dirac observables") that represent - as it were - the "ontic" part of the metric field. The physical role of the "epistemic" part (viz. the "gauge" variables) is likewise clarified. At the end, a (...) peculiar four-dimensional "holistic and structuralist" view of space-time emerges which includes elements common to the tradition of both substantivalism and relationism. The observables of our models undergo real "temporal change" and thereby provide a counter-example to the thesis of the "frozen-time" picture of evolution. (shrink)

We study the strictness of the modal μ-calculus hierarchy over some restricted classes of transition systems. First, we prove that over transitive systems the hierarchy collapses to the alternationfree fragment. In order to do this the finite model theorem for transitive transition systems is proved. Further, we verify that if symmetry is added to transitivity the hierarchy collapses to the purely modal fragment. Finally, we show that the hierarchy is strict over reflexive frames. By proving the finite model theorem for (...) reflexive systems the same results holds for finite models. (shrink)

This open access book investigates the role played by identity of proofs in proof-theoretic semantics. It develops a conception of proof-theoretic semantics as primarily concerned with the relationship between proofs (understood as abstract entities) and derivations (the linguistic representations of proofs). It demonstrates that identity of proof is a key both to clarify some —still not wholly understood— notions at the core of proof-theoretic semantics, such as harmony; and to broaden the range of the phenomena which can be analyzed using (...) the tools of this semantic paradigm, so as to include for instance paradoxes. The volume covers topics such as the philosophical significance of different criteria of identity of proofs, and adequacy conditions for an intensional account of the notion of harmony. The author also examines the Prawitz-Tennant analysis of paradoxes by investigating on the one hand the prospects of turning it into a theory of meaning for paradoxical languages, and on the other hand two distinct kinds of phenomena, first observed by Crabbe and Ekman, showing that the Tennant-Prawitz criterion for paradoxicality overgenerates. This volume is of interest to scholars in formal and philosophical logic. (shrink)

Crispin Wright has given an explanation of how a first time warrant can fall short of transmitting across a known entailment. Formal epistemologists have struggled to turn Wright’s informal explanation into cogent Bayesian reasoning. In this paper, I analyse two Bayesian models of Wright’s account respectively proposed by Samir Okasha and Jake Chandler. I argue that both formalizations are unsatisfactory for different reasons, and I lay down a third Bayesian model that appears to me to capture the valid kernel of (...) Wright’s explanation. After this, I consider a recent development in Wright’s account of transmission failure. Wright suggests that his condition sufficient for transmission failure of first time warrant also suffices for transmission failure of supplementary warrant. I propose an interpretation of Wright’s suggestion that shield it from objections. I then lay down a fourth Bayesian framework that provides a simplified model of the unified explanation of transmission failure envisaged by Wright. (shrink)

In this paper, we develop an impure somatic theory of emotion, according to which emotions are constituted by the integration of bodily perceptions with representations of external objects, events, or states of affairs. We put forward our theory by contrasting it with Prinz's pure somatic theory, according to which emotions are entirely constituted by bodily perceptions. After illustrating Prinz's theory and discussing the evidence in its favor, we show that it is beset by serious problems—i.e., it gets the neural correlates (...) of emotion wrong, it isn't able to distinguish emotions from bodily perceptions that aren't emotions, it cannot account for emotions being directed towards particular objects, and it mischaracterizes emotion phenomenology. We argue that our theory accounts for the empirical evidence considered by Prinz and solves the problems faced by his theory. In particular, we maintain that our theory gives a unified and principled account of the relation between emotions and bodily perceptions, the intentionality of emotions, and emotion phenomenology. (shrink)

Timothy Smiley’s wonderful paper ‘Rejection’ (1996) is still perhaps not as well known or well understood as it should be. This note first gives a quick presentation of themes from that paper, though done in our own way, and then considers a putative line of objection – recently advanced by Julien Murzi and Ole Hjortland (2009) – to one of Smiley’s key claims. Along the way, we consider the prospects for an intuitionistic approach to some of the issues discussed in (...) Smiley’s paper. (shrink)

According to the iterative conception of set, sets can be arranged in a cumulative hierarchy divided into levels. But why should we think this to be the case? The standard answer in the philosophical literature is that sets are somehow constituted by their members. In the first part of the paper, I present a number of problems for this answer, paying special attention to the view that sets are metaphysically dependent upon their members. In the second part of the paper, (...) I outline a different approach, which circumvents these problems by dispensing with the priority or dependence relation altogether. Along the way, I show how this approach enables the mathematical structuralist to defuse an objection recently raised against her view. (shrink)

According to Jim Pryor’s dogmatism, when you have an experience with content p, you often have prima facie justification for believing p that doesn’t rest on your independent justification for believing any proposition. Although dogmatism has an intuitive appeal and seems to have an antisceptical bite, it has been targeted by various objections. This paper principally aims to answer the objections by Roger White according to which dogmatism is inconsistent with the Bayesian account of how evidence affects our rational credences. (...) If this were true, the rational acceptability of dogmatism would be seriously questionable. I respond that these objections don’t get off the ground because they assume that our experiences and our introspective beliefs that we have experiences have the same evidential force, whereas the dogmatist is uncommitted to this assumption. I also consider the question whether dogmatism has an antisceptical bite. I suggest that the answer turns on whether or not the Bayesian can determine the priors of hypotheses and conjectures on the grounds of their extra-empirical virtues. If the Bayesian can do so, the thesis that dogmatism has an antisceptical bite is probably false. (shrink)

The analytical notions of ‘thought style’, ‘paradigm’, ‘episteme’ and ‘style of reasoning’ are some of the most popular frameworks in the history and philosophy of science. Although their proponents, Ludwik Fleck, Thomas Kuhn, Michel Foucault, and Ian Hacking, are all part of the same philosophical tradition that closely connects history and philosophy, the extent to which they share similar assumptions and objectives is still under debate. In the first part of the paper, I shall argue that, despite the fact that (...) these four thinkers disagree on certain assumptions, their frameworks have the same explanatory goal – to understand how objectivity is possible. I shall present this goal as a necessary element of a common project -- that of historicising Kant's a priori. In the second part of the paper, I shall make an instrumental use of the insights of these four thinkers to form a new model for studying objectivity. I shall also propose a layered diagram that allows the differences between the frameworks to be mapped, while acknowledging their similarities. This diagram will show that the frameworks of style of reasoning and episteme illuminate conditions of possibility that lie at a deeper level than those considered by thought styles and paradigm. (shrink)

Perceptual experience is one of our fundamental sources of epistemic justification—roughly, justification for believing that a proposition is true. The ability of perceptual experience to justify beliefs can nevertheless be questioned. This article focuses on an important challenge that arises from countenancing that perceptual experience is cognitively penetrable. -/- The thesis of cognitive penetrability of perception states that the content of perceptual experience can be influenced by prior or concurrent psychological factors, such as beliefs, fears and desires. Advocates of this (...) thesis could for instance claim that your desire of having a tall daughter might influence your perception, so that she appears to you to be taller than she is. Although cognitive penetrability of perception is a controversial empirical hypothesis, it does not appear implausible. The possibility of its veracity has been adduced to challenge positions that maintain that perceptual experience has inherent justifying power. -/- This article presents some of the most influential positions in contemporary literature about whether cognitive penetration would undermine perceptual justification and why it would or would not do so. -/- Some sections of this article focus on phenomenal conservatism, a popular conception of epistemic justification that more than any other has been targeted with objections that adduce the cognitive penetrability of experience. (shrink)

How psychopaths and their capacity for moral action are viewed is not only philosophically interesting but is also important and relevant for policy. The philosophical discussion of psychopathy has focussed upon the psychological faculties that are prerequisites for moral responsibility and empirical findings regarding psychopathy that are relevant to philosophical accounts of moral understanding and motivation. However, there are legitimate worries about whether psychopathy is a robust scientific construct, and there are risks attached to reifying psychopathy or other psychiatric constructs. (...) We defend the concept of psychopathy by pointing out the relevance of empirical studies about it for our ordinary practices of ascribing moral responsibility and folk psychological accounts of moral understanding and motivation. (shrink)

In this paper, I discuss whether there are genuinely *diachronic* constraints of practical rationality, that is, pressures on combinations of practical attitudes over time, which are not reducible to mere synchronic rational pressures. Michael Bratman has recently argued that there is at least one such diachronic rational constraint that governs the stability of intentions over time. *Pace* Bratman, I argue that there are no genuinely diachronic constraints on intentions that meet the stringent desiderata set by him. But I show that (...) there are at least two synchronic rational constraints with distinctive and important, although only indirect, diachronic dimensions. Neither of them, however, supports the practical conservatism in the face of normative underdetermination that, according to Bratman, is part and parcel of the diachronic rationality of intention stability. (shrink)

Recent works in epistemology show that the claim that coherence is truth conducive – in the sense that, given suitable ceteris paribus conditions, more coherent sets of statements are always more probable – is dubious and possibly false. From this, it does not follows that coherence is a useless notion in epistemology and philosophy of science. Dietrich and Moretti (Philosophy of science 72(3): 403–424, 2005) have proposed a formal of account of how coherence is confirmation conducive—that is, of how the (...) coherence of a set of statements facilitates the confirmation of such statements. This account is grounded in two confirmation transmission properties that are satisfied by some of the measures of coherence recently proposed in the literature. These properties explicate everyday and scientific uses of coherence. In his paper, I review the main findings of Dietrich and Moretti (2005) and define two evidence-gathering properties that are satisfied by the same measures of coherence and constitute further ways in which coherence is confirmation conducive. At least one of these properties vindicates important applications of the notion of coherence in everyday life and in science. (shrink)

It is often argued that future-directed decisions are effective at shaping our future conduct because they give rise, at the time of action, to a decisive reason to act as originally decided. In this paper, I argue that standard accounts of decision-based reasons are unsatisfactory. For they focus either on tie-breaking scenarios or cases of self-directed distal manipulation. I argue that future-directed decisions are better understood as tools for the non-manipulative, intrapersonal division of deliberative labor over time. A future-directed decision (...) to ϕ gives rise to a defeasible exclusionary reason to ϕ. This reason is grounded on the default authority that is normally granted to one’s prior self as an “expert” deliberator. I argue that this kind of exclusionary reason is the only one that can account for the effectiveness of future-directed decisions at shaping our diachronic agency without violating our autonomy over time. (shrink)

This chapter discusses the structure of our temporally extended agency. We do not have the power to act directly at a distance, so any of our temporally extended projects must be sustained over its temporal unfolding by momentary actions. We need both the capacity to organize these momentary steps in light of a synoptic overview of the extended activity as a whole and to sustain our motivation to continue to pursue the extended activity. Hence, the distinctive mode in which we (...) act over time is that of ’planning agency,’ which requires a form of temporal identification that goes beyond mere psychological continuity. I then discuss the differences in internal structure between merely continuous and integrated activities, and between telic and atelic ones. I provide a taxonomy of the different kinds of temporal goods and values and how these structures might bear on the risk of crisis of meaning in our temporal existence. I then touch briefly on the issue of how our mortality might make a difference to the structure of what we find valuable and how it relates to the temporal features of our agency. In the closing section, I discuss the effects of the moving temporal location of the agent (with her local executive powers) relative to her extended pursuits, including the asymmetries generated by the distinction between past and future stages of the activity and the moving horizon of what the agent can anticipate and (indirectly) control. (shrink)

Effective and specifically targeted social and therapeutic responses for antisocial personality disorders and psychopathy are scarce. Some authors maintain that this scarcity should be overcome by revising current syndrome - based classifications of these conditions and devising better biocognitive classifications of antisocial individuals. The inspiration for the latter classifications has been embedded in the Research domain criteria approach (RDoC). RDoC - type approaches to psychiatric research aim at transforming diagnosis, provide valid measures of disorders, aid clinical practice, and improve health (...) outcomes by integrating the data on the genetic, neural, cognitive, and affective systems underlying psychiatric conditions. In the first part of the paper, we discuss the benefits of such approaches in comparison to the dominant syndrome-based ones and review recent attempts at building biocognitive classifications of antisocial individuals. Other researchers, how ever, have objected that biocognitive approaches in psychiatry are committed to an untenable form of explanatory. (shrink)

Contemporary views of truth-directedness endorse what I shall call the Common-Element Argument. According to this argument, there is something in common between judgment and other attitudes like assumption and imagination: they all regard their contents as true. Since this regarding-as-true feature is not distinctive of judgment - the argument goes - it can’t explain its truth-directedness. On this ground, theorists have been motivated to endorse an inflationary view that tries to capture truth-directedness by appealing to some further feature: intentions, second-order (...) representations, sub-personal mechanisms, or subjugation to norms are the most discussed candidates for fulfilling this role. In this paper I will argue that the Common-Element Argument is unsound. It rests on a false premise, namely that there is some common element such as a regarding-as-true component between judgment and other cognitive attitudes. I shall reject Velleman’s and Railton’s defenses of the Common-Element-Argument. Then I will discuss three influential inflationary accounts of truth-directedness: Railton’s account, Velleman’s teleological account, and Shah and Velleman’s conceptualist account. I shall argue that they all face a phenomenological and an explanatory challenge. Finally, I shall sketch a deflationary view of truth-directedness that evades these challenges. (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)

This paper investigates, in a simple risk-sharing framework, the extent to which the incompleteness of contracts could be attributed to the complexity costs associated with the writing and the implementation of contracts. We show that, given any measure of complexity in a very general class, it is possible to find simple contracting problems such that, when complexity costs are explicitly taken into account, the contracting parties optimally choose an incomplete contract which coincides with the ‘default’ division of surplus. Optimal contracts (...) with complexity costs are constrained efficient in our model. We therefore interpret our results as saying that, in the absence of a strategic role for complexity costs, their effect is entirely determined by their size relative to the size of payoffs. (shrink)

We show that if Ƒ is any "well-behaved" subset of the Borei functions and we assume the Axiom of Determinacy then the hierarchy of degrees on $P(^\omega \omega )$ induced by Ƒ turns out to look like the Wadge hierarchy (which is the special case where Ƒ is the set of continuous functions).

What can the philosophy of agency learn from Nguyen’s book on games? The most important lesson concerns, to use Nguyen’s terms, the ‘layered’ structure of our agency and the ‘fluidity’ requ...

Most countries have been struggling with the spread of the COVID-19 pandemic imposing social isolation on their citizens. However, this measure carried risks for people's mental health. This study evaluated the psychological repercussions of objective isolation in 1,006 Italians during the first, especially strict, lockdown in spring 2020. Although varying for the regional spread-rate of the contagion, results showed that the longer the isolation and the less adequate the physical space where people were isolated, the worse the mental health. Offline (...) social contacts buffered the association between social isolation and mental health. However, when offline contacts were limited, online contacts seemed crucial in protecting mental health. The findings inform about the potential downsides of the massive social isolation imposed by COVID-19 spread, highlighting possible risk factors and resources to account for implementing such isolation measures. Specifically, besides some known factors such as physical space availability, the local contagion rate is critical in moderating the link between social isolation and mental health issues, supporting national policies implementing regional tiers of restriction severity. (shrink)

One type of argument to sceptical paradox proceeds by making a case that a certain kind of metaphysically “heavyweight or “cornerstone” proposition is beyond all possible evidence and hence may not be known or justifiably believed. Crispin Wright has argued that we can concede that our acceptance of these propositions is evidentially risky and still remain rationally entitled to those of our ordinary knowledge claims that are seemingly threatened by that concession. A problem for Wright’s proposal is the so-called Leaching (...) worry: if we are merely rationally entitled to accept the cornerstones without evidence, how can we achieve evidence-based knowledge of the multitude of quotidian propositions that we think we know, which require the cornerstones to be true? This paper presents a rigorous, novel explication of this worry within a Bayesian framework, and offers the Entitlement theorist two distinct responses. (shrink)

The paper introduces what is deemed as the general epistemological problem of measurement: what characterizes measurement with respect to generic evaluation? It also analyzes the fundamental positions that have been maintained about this issue, thus presenting some sketches for a conceptual history of measurement. This characterization, in which three distinct standpoints are recognized, corresponding to a metaphysical, an anti-metaphysical, and relativistic period, allows us to introduce and briefly discuss some general issues on the current epistemological status of measurement science.

In “Some Remarks on Extending and Interpreting Theories with a Partial Truth Predicate”, Reinhardt [21] famously proposed an instrumentalist interpretation of the truth theory Kripke–Feferman ( $\mathrm {KF}$ ) in analogy to Hilbert’s program. Reinhardt suggested to view $\mathrm {KF}$ as a tool for generating “the significant part of $\mathrm {KF}$ ”, that is, as a tool for deriving sentences of the form $\mathrm{Tr}\ulcorner {\varphi }\urcorner $. The constitutive question of Reinhardt’s program was whether it was possible “to justify the (...) use of nonsignificant sentences entirely within the framework of significant sentences”. This question was answered negatively by Halbach & Horsten [10] but we argue that under a more careful interpretation the question may receive a positive answer. To this end, we propose to shift attention from $\mathrm {KF}$ -provably true sentences to $\mathrm {KF}$ -provably true inferences, that is, we shall identify the significant part of $\mathrm {KF}$ with the set of pairs $\langle {\Gamma, \Delta }\rangle $, such that $\mathrm {KF}$ proves that if all members of $\Gamma $ are true, at least one member of $\Delta $ is true. In way of addressing Reinhardt’s question we show that the provably true inferences of suitable $\mathrm {KF}$ -like theories coincide with the provable sequents of matching versions of the theory Partial Kripke–Feferman ( $\mathrm {PKF}$ ). (shrink)

Arbitrariness is a distinctive feature of human language, and a growing body of comparative work is investigating its presence in animal communication. But what is arbitrariness, exactly? We propose to distinguish four notions of semiotic arbitrariness: a notion of opaque association between sign forms and semiotic functions, one of sign‐function mapping optionality, one of acquisition‐dependent sign‐function coupling, and one of lack of motivatedness. We characterize these notions, illustrate the benefits of keeping them apart, and describe two reactions to our proposal: (...) abandoning arbitrariness‐talk in favor of the newly introduced conceptual vocabulary, or feeding the distinctions back into the parent concept. (shrink)

In this paper we argue that an account of proof-theoretic harmony based on reductions and expansions delivers an inferentialist picture of meaning which should be regarded as intensional, as opposed to other approaches to harmony that will be dubbed extensional. We show how the intensional account applies to any connective whose rules obey the inversion principle first proposed by Prawitz and Schroeder-Heister. In particular, by improving previous formulations of expansions, we solve a problem with quantum-disjunction first posed by Dummett. As (...) recently observed by Schroeder-Heister, however, the specification of an inversion principle cannot yield an exhaustive account of harmony. The reason is that there are more collections of elimination rules than just the one obtained by inversion which we are willing to acknowledge as being in harmony with a given collection of introduction rules. Several authors more or less implicitly suggest that what is common to all alternative harmonious collection of rules is their being interderivable with each other. On the basis of considerations about identity of proofs and formula isomorphism, we show that this is too weak a condition for a given collection of elimination rules to be in harmony with a collection of introduction rules, at least if the intensional picture of meaning we advocate is not to collapse on an extensional one. (shrink)

In [9] we have considered a wide class of "well-behaved" reducibilities for sets of reals. In this paper we continue with the study of Borel reducibilities by proving a dichotomy theorem for the degree-structures induced by good Borel reducibilities. This extends and improves the results of [9] allowing to deal with a larger class of notions of reduction (including, among others, the Baire class ξ functions).

The aim of this paper is to clarify what kind of normativity characterizes a convention. First, we argue that conventions have normative consequences because they always involve a form of trust and reliance. We contend that it is by reference to a moral principle impinging on these aspects (i.e. the principle of Reliability) that interpersonal obligations and rights originate from conventional regularities. Second, we argue that the system of mutual expectations presupposed by conventions is a source of agreements. Agreements stemming (...) from conventions are “tacit” in the sense that they are implicated by what agents do (or forbear from doing) and without that any communication between them is necessary. To justify this conclusion, we assume that: (1) there is a salient interpretation, in some contexts, of everyone’s silence as confirmatory of the others’ expectations (an epistemic assumption), and (2) the participating agents share a value of not being motivated by hostile attitudes (a motivational assumption). By clarifying the relation between conventions and agreements, the peculiar normativity of conventions is analyzed. (shrink)

In the present paper, the Fregean conception of proof-theoretic semantics that I developed elsewhere will be revised so as to better reflect the different roles played by open and closed derivations. I will argue that such a conception can deliver a semantic analysis of languages containing paradoxical expressions provided some of its basic tenets are liberalized. In particular, the notion of function underlying the Brouwer–Heyting–Kolmogorov explanation of implication should be understood as admitting functions to be partial. As argued in previous (...) work, the correctness of an inference rule should not be defined in terms of transmission of provability, but rather should be grounded on weaker principles, which I show that are motivated by consideration about the content of the inversion principle. In the conclusion, I briefly address the issue of compositionality, arguing that the violation of compositionality induced by paradoxes are no worse than others that are regarded, at least by Dummett, as wholly unproblematic. (shrink)

Lexical innovations (e.g., zero-derivations coined on the fly by a speaker) seem to bear semantic content. Yet, such expressions cannot bear semantic content as a function of the conventions of meaning in force in the language, since they are not part of its lexicon. This is in tension with the commonplace view that the semantic content of lexical expressions is constituted by linguistic conventions. The conventionalist has two immediate ways out of the tension. The first is to preserve the conventionalist (...) assumption and deny that lexical innovations bear semantic content. The second is to dynamicize the conventionalist assumption, that is, argue that presentations of unattested expressions trigger an augmentation of the standing semantic resources of the language and instantiate content as a result of this underlying update. Building on a comparison with the production of novel onomatopoeic words, iconic pseudowords and pro-speech gestures, the paper argues that the issue is best addressed by suspending the conventionalist assumption, and describes the metasemantic implications of the claim. (shrink)