Philosophers distinguish between having a property essentially and having it accidentally. The way the distinction has been drawn suggests that it is modal in character, and so that it can be captured in terms of necessity, or cognate notions. The present chapter takes the suggestion at face value by considering a number of modal characterizations of the essential/accidental distinction that have been articulated and discussed since the early 20th century, as well as some of the challenges that they face.

Ted Sider has famously argued that existence, in the unrestricted sense of ontology, cannot be vague, as long as vagueness is modeled by means of precisifications. The first section of Chapter 9 exposes some controversial assumptions underlying Sider’s alleged reductio of vague existence. The upshot of the discussion is that, although existence cannot be vague, it can be super-vague, i.e. higher-order vague, for all orders. The second section develops and defends a novel framework, dubbed negative supervaluationary semantics, which makes room (...) for the possibility of super-vague existence. (shrink)

Philosophers have rightly condemned lookism—that is, discrimination in favor of attractive people or against unattractive people—in education, the justice system, the workplace and elsewhere. Surprisingly, however, the almost universal preference for attractive romantic and sexual partners has rarely received serious ethical scrutiny. On its face, it’s unclear whether this is a form of discrimination we should reject or tolerate. I consider arguments for both views. On the one hand, a strong case can be made that preferring attractive partners is bad. (...) The idea is that choosing partners based on looks seems essentially similar to other objectionable forms of discrimination. (In particular, the preference for attractive partners is arguably both unfair and harmful to a significant degree.) One can try to resist this conclusion in several ways. I consider three possible replies. The first has to do with the possibility of controlling our partner preferences. The second pertains to attractiveness and “good genes”. The last attempts to link certain aspects of attractiveness to a prospective partner’s personality and values. I argue that the first two replies fail conclusively, while the third only amounts to a limited defense of a particular kind of attractiveness preference. So the idea that we should often avoid preferring attractive partners is compelling. (shrink)

We discuss potential biorisks from large language models (LLMs). AI assistants based on LLMs such as ChatGPT have been shown to significantly reduce barriers to entry for actors wishing to synthesize dangerous, potentially novel pathogens and chemical weapons. The harms from deploying such bioagents could be further magnified by AI-assisted misinformation. We endorse several policy responses to these dangers, including prerelease evaluations of biomedical AIs by subject-matter experts, enhanced surveillance and lab screening procedures, restrictions on AI training data, and access (...) controls on biomedical AI. We conclude with a suggestion about future research directions in bioethics. (shrink)

According to a widespread view in metaphysics and philosophy of science, all explanations involve relations of ontic dependence between the items appearing in the explanandum and the items appearing in the explanans. I argue that a family of mathematical cases, which I call “viewing-as explanations”, are incompatible with the Dependence Thesis. These cases, I claim, feature genuine explanations that aren’t supported by ontic dependence relations. Hence the thesis isn’t true in general. The first part of the paper defends this claim (...) and discusses its significance. The second part of the paper considers whether viewing-as explanations occur in the empirical sciences, focusing on the case of so-called fictional models. It’s sometimes suggested that fictional models can be explanatory even though they fail to represent actual worldly dependence relations. Whether or not such models explain, I suggest, depends on whether we think scientific explanations necessarily give information relevant to intervention and control. Finally, I argue that counterfactual approaches to explanation also have trouble accommodating viewing-as cases. (shrink)

The third issue of the Journal for the Philosophy of Language, Mind and the Arts is centered on a series of questions related to the nature of images. What properties characterize them? Do they exist also in our minds? What relationship do they have with phenomena such as perception, memory, language and interpretation? The authors participating in this issue have been asked to answer these and other questions starting from and in dialogue with the two philosophical perspectives that have most (...) enriched the study of our object of research since the second half of the twentieth century: analytical philosophy and visual culture studies. The first four essays address problems related to ontology (Didi-Huberman, Prinz, Bantinaki, Manzotti). In their pages the question will be asked not only about the nature of images but also about what it means for an image to represent an object or an action realistically. The second part contains discussions related to the topics of perception, appreciation and creation of pictures (Ferretti; Gavaler, Goldberg; Pigoni, Coraci, Carlenzi). The third section goes through the problems related to the very concept of representing by images (Biggs; Weichert; Derby). The last section of the issue is devoted to two cases in which images are used not so much and not only to represent something, but also to convey ethical-political values (Fasnacht; Olesiejuk). (shrink)

The problem of truth in fiction concerns how to tell whether a given proposition is true in a given fiction. Thus far, the nearly universal consensus has been that some propositions are ‘implicitly true’ in some fictions: such propositions are not expressed by any explicit statements in the relevant work, but are nevertheless held to be true in those works on the basis of some other set of criteria. I call this family of views ‘implicitism’. I argue that implicitism faces (...) serious problems, whereas the opposite view is much more plausible than has previously been thought. After mounting a limited defence of explicitism, I explore a difficult problem for the view and discuss some possible responses. (shrink)

Philosophers of science since Nagel have been interested in the links between intertheoretic reduction and explanation, understanding and other forms of epistemic progress. Although intertheoretic reduction is widely agreed to occur in pure mathematics as well as empirical science, the relationship between reduction and explanation in the mathematical setting has rarely been investigated in a similarly serious way. This paper examines an important particular case: the reduction of arithmetic to set theory. I claim that the reduction is unexplanatory. In defense (...) of this claim, I offer evidence from mathematical practice, and I respond to contrary suggestions due to Steinhart, Maddy, Kitcher and Quine. I then show how, even if set-theoretic reductions are generally not explanatory, set theory can nevertheless serve as a legitimate foundation for mathematics. Finally, some implications of my thesis for philosophy of mathematics and philosophy of science are discussed. In particular, I suggest that some reductions in mathematics are probably explanatory, and I propose that differing standards of theory acceptance might account for the apparent lack of unexplanatory reductions in the empirical sciences. (shrink)

Mathematicians distinguish between proofs that explain their results and those that merely prove. This paper explores the nature of explanatory proofs, their role in mathematical practice, and some of the reasons why philosophers should care about them. Among the questions addressed are the following: what kinds of proofs are generally explanatory (or not)? What makes a proof explanatory? Do all mathematical explanations involve proof in an essential way? Are there really such things as explanatory proofs, and if so, how do (...) they relate to the sorts of explanation encountered in philosophy of science and metaphysics? (shrink)

This paper aims at developing a logical theory of perspectival epistemic attitudes. After presenting a standard framework for modeling acceptance, where the epistemic space of an agent coincides with a unique epistemic cell, more complex systems are introduced, which are characterized by the existence of many connected epistemic cells, and different possible attitudes towards a proposition, both positive and negative, are discussed. In doing that, we also propose some interesting ways in which the systems can be interpreted on well known (...) epistemological standpoints. (shrink)

In questo articolo viene affrontata la questione della sovranità politica in rapporto alla crisi climatica e ai dispositivi di governance sorti per la sua mitigazione e adattamento. Vengono esposti in estrema sintesi i risultati di un più ampio progetto di ricerca sul nesso tra cambiamento climatico, globalizzazione e ristrutturazione neoliberista della sovranità, fornendo risposte preliminari ad alcuni quesiti. In primo luogo, vengono esposte le ragioni per le quali è opportuno tornare sul concetto e sulle pratiche della sovranità, per come essa (...) emerge dalla tradizione filosofico-politica moderna, in rapporto a problemi globali che concernono il pubblico interesse. È presentato un quadro sintetico delle trasformazioni subite dalla sovranità e dallo Stato a seguito dei processi di globalizzazione degli ultimi quattro decenni, e di come tali trasformazioni abbiano influenzato la risposta collettiva al cambiamento climatico. Vengono inoltre presentati alcuni casi studio per rafforzare la tesi che il modello «neoliberista» di globalizzazione, con le strutture di governance ambientale che ne fanno parte, presenta numerose criticità che impediscono un’efficace presa in carico della questione ambientale. In conclusione, viene tratteggiato un argomento normativo per un recupero di determinati elementi della tradizione concettuale della sovranità politica moderna come parziale rimedio alle esternalizzazioni socio-ambientali dell’attuale modello di globalizzazione. Parole chiave: sovranità, cambiamento climatico, globalizzazione, governance climatica. (shrink)

This chapter argues that quantum indeterminacy can be construed as a merely derivative phenomenon. The possibility of merely derivative quantum indeterminacy undermines both a recent argument against quantum indeterminacy due to David Glick, and an argument against the possibility of merely derivative indeterminacy due to Elizabeth Barnes.

Gauss’s quadratic reciprocity theorem is among the most important results in the history of number theory. It’s also among the most mysterious: since its discovery in the late 18th century, mathematicians have regarded reciprocity as a deeply surprising fact in need of explanation. Intriguingly, though, there’s little agreement on how the theorem is best explained. Two quite different kinds of proof are most often praised as explanatory: an elementary argument that gives the theorem an intuitive geometric interpretation, due to Gauss (...) and Eisenstein, and a sophisticated proof using algebraic number theory, due to Hilbert. Philosophers have yet to look carefully at such explanatory disagreements in mathematics. I do so here. According to the view I defend, there are two important explanatory virtues—depth and transparency—which different proofs (and other potential explanations) possess to different degrees. Although not mutually exclusive in principle, the packages of features associated with the two stand in some tension with one another, so that very deep explanations are rarely transparent, and vice versa. After developing the theory of depth and transparency and applying it to the case of quadratic reciprocity, I draw some morals about the nature of mathematical explanation. (shrink)

In this paper, I try to expatiate on the poetic function of language on the basis of considerations by Jakobson and Waugh. I try to bring in the consideration that pragmatics plays an important role in elucidating the poetic function of language. Contextualism allows us to interpret a poem: referents must be fixed or need not be fixed due to the requirements of the discourse; citations are brought in through pragmatic ways; polyphony is achieved by taking into account the context (...) of previous analyses of a poetic text; the vicinity of a certain word, or concept or line is likely to affect the interpretation of a certain expression; the poetic text can take different forms, from graffiti to discourse at the market place, to discourse between lovers. All these forms of poetic text would not exist if the notion of poetry did not include the idea of semantic/pragmatic compression which is matched, in interpretation, by expansions. (shrink)

Languages involving modalities and languages involving vagueness have each been thoroughly studied. On the other hand, virtually nothing has been said about the interaction of modality and vagueness. This paper aims to start filling that gap. Section 1 is a discussion of various possible sources of vague modality. Section 2 puts forward a model theory for a quantified language with operators for modality and vagueness. The model theory is followed by a discussion of the resulting logic. In Section 3, the (...) framework will permit us to address a puzzle raised by Elizabeth Barnes and Robert Williams. (shrink)

In a recent letter, Dillion et. al (2023) make various suggestions regarding the idea of artificially intelligent systems, such as large language models, replacing human subjects in empirical moral psychology. We argue that human subjects are in various ways indispensable.

Until recently, an almost perfect parallelism seemed to hold between theories of identity through time and across possible worlds,as every account in the temporal case(endurantism,perdurantism, exdurantism) was mirrored by a twin account in the modal case (trans-world identity, identity-via-parts, identity-via-counterparts). Nevertheless, in the recent literature, this parallelism has been broken because of the implementation in the debate of the relation of location. In particular, endurantism has been subject to a more in-depth analysis, and different versions of it, corresponding to different (...) ways an entity can be located in time, emerged. In this article, we provide a precise map of the conceptions at stake, complete the debate by introducing a version of endurantism not yet considered in the debate — we call transcendentism — and show that it allows us to provide an effective interpretation of the relation of trans-world identity and an intuitive solution in the temporal case. (shrink)

In the last few decades the role played by models and modeling activities has become a central topic in the scientific enterprise. In particular, it has been highlighted both that the development of models constitutes a crucial step for understanding the world and that the developed models operate as mediators between theories and the world. Such perspective is exploited here to cope with the issue as to whether error-based and uncertainty-based modeling of measurement are incompatible, and thus alternative with one (...) another, as sometimes claimed nowadays. The crucial problem is whether assuming this standpoint implies definitely renouncing to maintain a role for truth and the related concepts, particularly accuracy, in measurement. It is argued here that the well known objections against true values in measurement, which would lead to refuse the concept of accuracy as non-operational, or to maintain it as only qualitative, derive from a not clear distinction between three distinct processes: the metrological characterization of measuring systems, their calibration, and finally measurement. Under the hypotheses that (1) the concept of true value is related to the model of a measurement process, (2) the concept of uncertainty is related to the connection between such model and the world, and (3) accuracy is a property of measuring systems (and not of measurement results) and uncertainty is a property of measurement results (and not of measuring systems), not only the compatibility but actually the conjoint need of error-based and uncertainty-based modeling emerges. (shrink)

This paper pursues two main aims. First, it distinguishes two kinds of improvisation: expert and inexpert. Expert improvisation is a (usually artistic) practice that the agent consciously sets as their goal and is evaluated according to (usually artistic) standards of improvisation. Inexpert improvisation, by contrast, supports and structures the agent’s action as it moves them towards their (usually everyday life) goals and is evaluated on its success leading the agent to the achievement of those goals. The second aim is to (...) describe inexpert improvisation as a robustly distributed affair, one that involves the ongoing integration of embodied practices with social and material resources within our surrounding environments. On the wide approach to improvisation fostered in this paper, inexpert improvisation is claimed to be our default way of inhabiting our world. (shrink)

The experience of Costa Rica highlights the potential for conflicts between the right to health and fair priority setting. For example, one study found that most favorable rulings by the Costa Rican constitutional court concerning claims for medications under the right to health were either for experimental treatments or for medicines that should have low priority based on health gain per unit of expenditure and severity of disease. In order to better align rulings with priority setting criteria, in 2014, the (...) court initiated a reform in its assessment of claims for medicine. This paper assesses this reform’s impact on the fairness of resource allocation. It finds three effects. First, a reduction in successful claims for experimental medication, which is beneficial. Second, an increase in the success rate of medication lawsuits, which is detrimental because most claims are for extremely cost-ineffective medications. Third, a decline in the number of claims for medicine, which is beneficial because it forestalls such low-priority spending. This paper estimates that, taking all three effects into account, the reform has had a modest net positive impact on overall resource allocation. However, it also argues that there is a need for further reforms to lower the number of claims to low-priority medicines that are granted. (shrink)

Explicatures are not cancellable. Theoretical considerations.

In the present paper we propose a system of propositional logic for reasoning about justification, truthmaking, and the connection between justifiers and truthmakers. The logic of justification and truthmaking is developed according to the fundamental ideas introduced by Artemov. Justifiers and truthmakers are treated in a similar way, exploiting the intuition that justifiers provide epistemic grounds for propositions to be considered true, while truthmakers provide ontological grounds for propositions to be true. This system of logic is then applied both for (...) interpreting the notorious definition of knowledge as justified true belief and for advancing a new solution to Gettier counterexamples to this standard definition. (shrink)

Fitch's Paradox and the Paradox of the Knower both make use of the Factivity Principle. The latter also makes use of a second principle, namely the Knowledge-of-Factivity Principle. Both the principle of factivity and the knowledge thereof have been the subject of various discussions, often in conjunction with a third principle known as Closure. In this paper, we examine the well-known Surprise Examination paradox considering both the principles on which this paradox rests and some formal characterisations of the surprise notion, (...) crucial in this paradox. Standard formalizations of the Surprise Examination paradox in modal logic do not seem, at first glance, to depend on either factivity or knowledge-of-factivity, but we will argue that both factivity and knowledge-of-factivity play a key implicit role in the paradox. Namely, they are implicitly, perhaps unintentionally, used in order to simplify the definition of surprise. We analyze modal logical formalizations of three versions of the paradox concluding that the Surprise Examination paradox is the result of two flaws: the assumption of knowledge-of-factivity, and the over-simplification of the definition of "surprise" accordingly. By fixing these two flaws, the Surprise Examination paradox vanishes. (shrink)

I propose some rules that regiment substitutions of NPs.

The aim of this paper is to introduce a system of dynamic deontic logic in which the main problems related to the de finition of deontic concepts, especially those emerging from a standard analysis of permission in terms of possibility of doing an action without incurring in a violation of the law, are solved. The basic idea is to introduce two crucial distinctions allowing us to differentiate (i) what is ideal with respect to a given code, which fixes the types (...) of action that are abstractly prescribed, and what is ideal with respect to the specific situation in which the agent acts, and (ii) the transitions associated with actions and the results of actions, which can obtain even without the action being performed. (shrink)

In this paper, we take up an old issue that of pragmemes, broached by Mey and further explored by Capone. It is not easy to define pragmemes and distinguish them sufficiently from speech acts (units of language use broached by Austin and Searle) or from Wittgensteinian language games or from macro speech acts (see van Dijk on macrostructures) or from Goffman’s scripts. The best idea we could develop about pragmemes is that they instantiate the triple articulation of language, proposed by (...) Jock Wong; being essentially composed of phonological-syntactic units, that have a certain content relative to a social situation and to a certain culture, pragmemes express a certain function (or illocutionary force), like, e.g., modifying society or some aspect of it. They are part of a chapter that can be called either “societal pragmatics” or “emancipatory pragmatics,” to use the words by Mey. In fact, knowledge of how language is used to diminish the rights of people and to propagate the “status quo” may be instrumental to give rights and power to ordinary human beings who are oppressed by political and economical structures. -/- . (shrink)

This paper’s aim is to help winnow out some ideas about the role of formal logic in human doings at large. I start by discussing some metaphysical presuppositions of logical theory; specifically, I attempt to work towards a clearer understanding of the role of modalities, together with the notions of meaning and truth, in mainstream logical theory. I then appeal to a modal formal semantics (Brandom, 2007a) in order to outline the cognitive role of logical constants in general. From these (...) discussions I conclude that any view of formal logic, and its core concepts, which does not involve a grasp of what we do with them will be found to be distorted. (shrink)

attributive/referential. Pragmatic intrusion.

Relationship between default semantics and modularity of mind (in particular mind reading through the principle of Relevance).

This study is concerned with the ontology of Gilbert of Poitiers. Gilbert takes the cue from Boethius’ Theological writings, which contain a system of categorical organization different from the one found in the logical commentaries. Gilbert’s ontological catalog is quite varied: there are special, general and differential subsistences which are called by name: ‘humanity’, ‘animality’, ‘rationality’. We then have all the qualitative and quantitative determinations which rely on subsistences; these properties have particular instantiations, but at the same time eternal specimens. (...) In parallel Gilbert describes a world of individual substances and properties related by certain relations of similarity. There are other objects which Gilbert speaks little about and not always in univocal way, as collections of individual properties and undifferentiated objects, for instance the raw material and the first elements. This rich ontology can be used to support different metaphysical games, my suggestion is that Gilbert does not definitely decide to choose one, whilst providing interesting possible strategies for some of them. (shrink)

In the commentaries on Porphyry Boethius on the one hand explains the properties of predication relation at abstract level, from another hand he supplies some ontological options about what can instantiate the terms of the relation, at the end he seems to prefer the similarities as objects of abstract thought. Other options are anyway present, in the commentary on Categories and in the Theological Treatises. One cannot say that the catalogues are complementary or that the same things are catalogued once (...) only, under the same label. On the contrary, objects such as forms, essences and material components can be considered from points of view that are different and not easily comparable. In the present article I will deal with Boethius’ ontological approach not strictly concerned with the Porphyrian text and riddle. (shrink)

O presente artigo busca pensar os limites entre Filosofia e Ciências Sociais, e que, apesar de serem conhecimentos distintos, estão muito mais imbricadas do que separadas, devido ao seu caráter reflexivo e lógico sobre os temas que intrigam a humanidade. Um problema conjunto é o próprio caráter do que fundamentaria a sociedade. Tal motivação provém de um exemplo particular, que é pensar a existência de um ente superior e anterior aos indivíduos, capaz de dar sentido à existência, mas também de (...) moldá-los, pelo seu poder coercitivo. O exercício é pensar como Plotino, no século III, chamou a existência dessa força superior de Inteligência (Noûs). E Durkheim, no final do século XIX, que marcou o início da sociologia científica, chamou-a de Sociedade. Este exercício quer demonstrar como as Ciências Sociais, tendo como referência Durkheim, utiliza da Filosofia para explicar o significado da vida em sociedade. (shrink)

A proof P of a theorem T is transferable when a typical expert can become convinced of T solely on the basis of their prior knowledge and the information contained in P. Easwaran has argued that transferability is a constraint on acceptable proof. Meanwhile, a proof P is fixable when it’s possible for other experts to correct any mistakes P contains without having to develop significant new mathematics. Habgood-Coote and Tanswell have observed that some acceptable proofs are both fixable and (...) in need of fixing, in the sense that they contain nontrivial mistakes. The claim that acceptable proofs must be transferable seems quite plausible. The claim that some acceptable proofs need fixing seems plausible too. Unfortunately, these attractive suggestions stand in tension with one another. I argue that the transferability requirement is the problem. Acceptable proofs need only satisfy a weaker requirement I call “corrigibility”. I explain why, despite appearances, the corrigibility standard is preferable to stricter alternatives. (shrink)

The purpose of the present paper is to provide a way of understanding systems of logic of essence by introducing a new semantic framework for them. Three central results are achieved: first, the now standard Fitting semantics for the propositional logic of evidence is adapted in order to provide a new, simplified semantics for the propositional logic of essence; secondly, we show how it is possible to construe the concept of necessary truth explicitly by using the concept of essential truth; (...) finally, Fitting semantics is adapted in order to present a simplified semantics for the quantified logic of essence. (shrink)

In this paper, I explore Bach’s idea (Bach, 2000) that null appositives, intended as expanded qua-clauses, can resolve the puzzles of belief reports. These puzzles are crucial in understanding the semantics and pragmatics of belief reports and are presented in a section. I propose that Bach’s strategy is not only a way of dealing with puzzles, but also an ideal way of dealing with belief reports. I argue that even simple unproblematic cases of belief reports are cases of pragmatic intrusion, (...) involving null appositives, or to use the words of Bach, ‘qua-clauses’. The main difference between my pragmatic approach and the one by Salmon (1986) is that this author uses the notion of conversational implicature, whereas I use the notion of pragmatic intrusion and explicature. From my point of view, statements such as ‘‘John believes that Cicero is clever’’ and ‘‘John believes that Tully is clever’’ have got distinct truth-values. In other words, I claim that belief reports in the default case illuminate the hearer on the mental life of the believer, that includes specific modes of presentation of the referents talked about. Furthermore, while in the other pragmatic approaches, it is mysterious how a mode of presentation is assumed to be the main filter of the believer’s mental life, here I provide an explanatory account in terms of relevance, cognitive effects, and processing efforts. The most important part of the paper is devoted to showing that null appositives are required, in the case of belief reports, to explain certain anaphoric effects, which would otherwise be mysterious. My examples show that null appositives are not necessitated at logical form, but only at the level of the explicature, in line with the standard assumptions by Carston and Recanati on pragmatic intrusion. I develop a potentially useful analysis of belief reports by exploiting syntactic and semantic considerations on presuppositional clitics in Romance. (shrink)

pronominal clitics, pragmatics and propositional attitudes.

Analysis of Barack Obama's rhetorical strategies.

Universals appear to be as central in today's computational-based ontology as they were in medieval ontological investigations. As the author of a recent work on the history of universals (Pinzani, 2018), I was asked for a commentary on Augusto’s article “Bridging Mainstream and Formal Ontology” (Augusto, 2021), which aims at showing that medieval ontological investigations can be relevant for contemporary ontology engineering. In this commentary, I begin by saying something about my way of reading 12th-century logical literature and then (...) offer some modest considerations on the general theme addressed in Augusto's article. (shrink)

The logic of justification provides an in-depth analysis of the epistemic states of an agent. This paper aims at solving some of the problems to which the common interpretation of the operators of justification logic is subject by providing a framework in which a crucial distinction between potential and explicit justifiers is exploited. The paper is subdivided into three sections. The first section offers an introduction to a basic system LJ of justification logic and to the problems concerning its interpretation. (...) In the second section, three new systems of justification logic are introduced and characterised with respect to an appropriate semantics. The final section shows why the highlighted problems do not afflict the new systems and how it is possible to interpret LJ in the new framework. (shrink)

This is a teaching and learning guide to accompany "Explanation in Mathematics: Proofs and Practice".

Models are indispensable tools of scientific inquiry, and one of their main uses is to improve our understanding of the phenomena they represent. How do models accomplish this? And what does this tell us about the nature of understanding? While much recent work has aimed at answering these questions, philosophers' focus has been squarely on models in empirical science. I aim to show that pure mathematics also deserves a seat at the table. I begin by presenting two cases: Cramér’s random (...) model of the prime numbers and the function field model of the integers. These cases show that mathematicians, like empirical scientists, rely on unrealistic models to gain understanding of complex phenomena. They also have important implications for some much-discussed theses about scientific understanding. First, modeling practices in mathematics confirm that one can gain understanding without obtaining an explanation. Second, these cases undermine the popular thesis that unrealistic models confer understanding by imparting counterfactual knowledge. (shrink)

In this paper, I distinguish between linguistic and non-linguistic presuppositions. I also propose that we should be interested in conversational presuppositions, which could also be called speaker-meant presuppositions or speaker's presuppositions. I also distinguish between potential and actual presuppositions. I propose that, in some cases, presuppositions can be conversationally implicated and cancellation is possible. I specify what the hard cases are and I try to explain them through ontological considerations. I try to reduce the hard cases through (a) the notion (...) that all actual presuppositions are speaker-meant; (b) the distinction between ontological and linguistic presuppositions; and (c) the uncontroversial notion that even ontological presuppositions are susceptible to semantic under-determination that has to be tackled though pragmatic intrusion. Pragmatic intrusion for presuppositional cases, however, cannot really amount to completing or expanding or in any case computing an explicature in an ordinary sense, as explicatures have to do with truth-conditions and aim to create propositionally complete forms that are truth-evaluable, unlike propositional fragments or schemata that are usually expressed in sentences (; , 2012). They are processes similar to explicatures, but since presuppositions are only pre-conditions for an utterance's being true or false (; Macagno; 2016; ; ), we cannot say that these processes are completely like those of explicatures. Nevertheless, they are pragmatically-motivated, even if hard to cancel. (See on lack of cancellability or on entrenched meanings.) This more or less brings my approach in line with contextualism (even if I accept semantic invariantism, along the lines of or (Invariantism is also shared by , in a form that is compatible with her contextualism.)). (shrink)

This paper is an example of how contextual information interacts with the interpretation of noun phrases (NPs) in discourse. When we encounter an NP escorted by the definite article or a proper name, the expectation is triggered that the speaker is referring to some referent x that the hearer can normally identify. Strawson and Russell have agreed that a referent must be associated with a definite description so that the assertion containing it can be said to be true. In the (...) case where a description does not refer to anything, the assertion is considered by Russell to be false, while Strawson says that the issue of truth or falsity does not arise. In this paper, we examine a case in which contextual information interacts with the interpretation of NPs in discourse and the hearer is not expected to identify a referent when hearing a proper name. In this case, the issue of truth or falsity does not arise, because the hearer does not identify the referent. In fact, s/he does not intend for the discourse to about a referent at all. These situations are primarily represented by sentences uttered during the course of a grammar lecture, in which the lecturer is explaining a rule of language and does not focus on external reality. The hearers are aware of this focus and do not process the NP (in general a proper name) to identify a specific referent. This discourse is of three types, which will be discussed at the end of this paper. -/- Keywords: reference; pragmeme; presupposition; fictional discourse; exemplification acts. (shrink)

The aim of this paper is to provide an intuitive semantics for systems of justification logic which allows us to cope with the distinction between implicit and explicit justifiers. The paper is subdivided into three sections. In the first one, the distinction between implicit and explicit justifiers is presented and connected with a proof-theoretic distinction between two ways of interpreting sequences of sentences; that is, as sequences of axioms in a certain set and as sequences proofs constructed from that set (...) of axioms. In the second section, a basic system of justification logic for implicit and explicit justifiers is analyzed and some significant facts about it are proved. In the final section, an adequate semantics is proposed, and the system is proved to be sound and complete whit respect to it. (shrink)

semantic minimalism and moderte contextualism.

A truthmaker solution to the Gettier problems is based on the idea that knowledge can be defined as justified true belief provided that the source of one’s justification is suitably connected with what makes the believed proposition true. Different developments of this basic intuition have been recently criticized on the basis of a series of arguments aiming at showing that no truthmaker theory can allow us to solve Gettier problems, since the very idea underlying such solution is ineffective. In this (...) paper, I discuss the criticism to the truthmaker solution I consider most promising and show how it can be successfully addressed. (shrink)