According to strong composition as identity, the logical principles of one–one and plural identity can and should be extended to the relation between a whole and its parts. Otherwise, composition would not be legitimately regarded as an identity relation. In particular, several defenders of strong CAI have attempted to extend Leibniz’s Law to composition. However, much less attention has been paid to another, not less important feature of standard identity: a standard identity statement is true iff its terms are coreferential. (...) We contend that, if coreferentiality is dropped, indiscernibility is no help in making composition a genuine identity relation. To this aim, we analyse as a case study Cotnoir’s theory of general identity, in which indiscernibility is obtained thanks to a revisionary semantics and true identity statements are allowed to connect non-coreferential terms. We extend Cotnoir’s strategy for indiscernibility to the relation of comaternity, and we show that, neither in the case of composition nor in that of comaternity, indiscernibility contibutes to show that they are genuine identity relations. Finally, we compare Cotnoir’s approach with other versions of strong CAI endorsed by Wallace, Bøhn, and Hovda, and canvass the extent to which they violate coreferentiality. The comparative analysis shows that, in order to preserve coreferentiality, strong CAI is forced to adopt a non-standard semantic treatment of the singular/plural distinction. (shrink)

In Mathematics is megethology. Philosophia Mathematica, 1, 3–23) David K. Lewis proposes a structuralist reconstruction of classical set theory based on mereology. In order to formulate suitable hypotheses about the size of the universe of individuals without the help of set-theoretical notions, he uses the device of Boolos’ plural quantification for treating second order logic without commitment to set-theoretical entities. In this paper we show how, assuming the existence of a pairing function on atoms, as the unique assumption non expressed (...) in a mereological language, a mereological foundation of set theory is achievable within first order logic. Furthermore, we show how a mereological codification of ordered pairs is achievable with a very restricted use of the notion of plurality without plural quantification. (shrink)

This volume brings together new work on the logic and ontology of plurality and a range of recent articles exploring novel applications to natural language semantics. The contributions in this volume in particular investigate and extend new perspectives presented by plural logic and non-standard mereology and explore their applications to a range of natural language phenomena. Contributions by P. Aquaviva, A. Arapinis, M. Carrara, P. McKay, F. Moltmann, O. Linnebo, A. Oliver and T. Smiley, T. Scaltsas, P. Simons, and (...) B.-Y. Yi . (shrink)

In this short paper we consider Linnebo's thin/thick dichotomy: first, we show that it does not overlap with the very common one between abstract/concrete objects; second, on the basis of some difficulties with the distinction, we propose, as a possible way out, to move from thin/thick objects to thin/thick concepts.

According to the thesis of semantic underdetermination, most sentences of a natural language lack a definite semantic interpretation. This thesis supports an argument against the use of natural language as an instrument of thought, based on the premise that cognition requires a semantically precise and compositional instrument. In this paper we examine several ways to construe this argument, as well as possible ways out for the cognitive view of natural language in the introspectivist version defended by Carruthers. Finally, we sketch (...) a view of the role of language in thought as a specialized tool, showing how it avoids the consequences of semantic underdetermination. (shrink)

Commonsense ontology often conflicts with the ontology of our best scientific and philosophical theories. However, commonsense ontology, and commonsense belief systems in general, seems to be remarkably efficient and cognitively fundamental. In cases of contrast, it is better to find a way to reconcile commonsense and ”theoretical” ontologies. Given that commonsense ontologies are typically expressed within natural language, a classical procedure of reconciliation is semantical. The strategy is that of individuating the ”ontologically problematic” expressions of natural language and paraphrasing the (...) sentences in which they appear in a (formal) language whose commitments are compatible with those of our best theories. We believe that this strategy of reconciliation, though quite standard, especially in the philosophical literature, is problematic: for a start, it forces us to conclude that the ”real content” of our commonsense expressions and beliefs is different from what it appears. Commonsense ontology becomes just an illusion. We will thus propose an alternative approach: according to our view, a commonsense ontology is reconciled with a theoretical ontology in case it is shown that the explanation of why we believe in the existence of a problematic entity is compatible with our best theories. We will call this kind of reconciliation ”epistemic”. The advantage of an epistemic reconciliation is that commonsense ontology is treated in its own right and could be taken prima facie. Another advantage of the view is that epistemic reconciliation can be analysed through the notion of explaining away: a commonsense ontology is epistemically reconciled with a theoretical ontology if and only if the problematic entities of the commonsense ontology are explained away by ”respectable” entities of the theoretical ontology. In the final part of the paper, we sketch a formal analysis of explaining away. (shrink)

In Lewis reconstructs set theory using mereology and plural quantification (MPQ). In his recontruction he assumes from the beginning that there is an infinite plurality of atoms, whose size is equivalent to that of the set theoretical universe. Since this assumption is far beyond the basic axioms of mereology, it might seem that MPQ do not play any role in order to guarantee the existence of a large infinity of objects. However, we intend to demonstrate that mereology and plural quantification (...) are, in some ways, particularly relevant to a certain conception of the infinite. More precisely, though the principles of mereology and plural quantification do not guarantee the existence of an infinite number of objects, nevertheless, once the existence of any infinite object is admitted, they are able to assure the existence of an uncountable infinity of objects. So, ifMPQ were parts of logic, the implausible consequence would follow that, given a countable infinity of individuals, logic would be able to guarantee an uncountable infinity of objects. (shrink)

Charles Travis has been forcefully arguing that meaning does not determine truth-conditions for more than two decades now. To this end, he has devised ingenious examples whereby different utterances of the same prima facie non-ambiguous and non-indexical expression type have different truth-conditions depending on the occasion on which they are delivered. However, Travis does not argue that meaning varies with circumstances; only that truth-conditions do. He assumes that meaning is a stable feature of both words and sentences. After surveying some (...) of the explanations that semanticists and pragmaticians have produced in order to account for Travis cases, I propose a view which differs substantially from all of them. I argue that the variability in the truth-conditions that an utterance type can have is due to meaning facts alone. To support my argument, I suggest that we think about the meanings of words (in particular, the meanings of nouns) as rich conceptual structures; so rich that the way in which a property concept applies to an object concept is not determined. (shrink)

There is an ongoing debate about the meaning of lexical words, i.e., words that contribute with content to the meaning of sentences. This debate has coincided with a renewal in the study of polysemy, which has taken place in the psycholinguistics camp mainly. There is already a fruitful interbreeding between two lines of research: the theoretical study of lexical word meaning, on the one hand, and the models of polysemy psycholinguists present, on the other. In this paper I aim at (...) deepening on this ongoing interbreeding, examine what is said about polysemy, particularly in the psycholinguistics literature, and then show how what we seem to know about the representation and storage of polysemous senses affects the models that we have about lexical word meaning. (shrink)

According to an increasing number of authors, the best, if not the only, argument in favour of physicalism is the so-called 'overdetermination argument'. This argument, if sound, establishes that all the entities that enter into causal interactions with the physical world are physical. One key premise in the overdetermination argument is the principle of the causal closure of the physical world, said to be supported by contemporary physics. In this paper, I examine various ways in which physics may support the (...) principle, either as a methodological guide or as depending on some other laws and principles of physics. (shrink)

Recently, many philosophers and psychologists have claimed that the explanation that grounds both passivity phenomena in the cognitive domain and passivity phenomena that occur with respect to overt actions is, along broad lines, the same. Furthermore, they claim that the best account we have of such phenomena in both scenarios is the “comparator” account. However, there are reasons to doubt whether the comparator model can be exported from the realm of overt actions to the cognitive domain in general. There is (...) a lingering worry concerning such explanations of thought insertion: the "What is compared to what?" problem. Here I examine two ways to tackle this problem. First: thought insertion consists of the misattribution of strings of inner speech which are not attenuated (thought insertion is thus another name for auditory verbal hallucinations). Second: thought insertion is misattributed inner speech which exhibits the same phenomenological characteristics as normal inner speech. After explaining the types of problem that each of these potential solutions faces, I conclude with a set of open questions that the comparator theorist has to tackle. (shrink)

Are identity criteria grounding principles? A prima facie answer to this question is positive. Specifically, two-level identity criteria can be taken as principles related to issues of identity among objects of a given kind compared with objects of a more basic kind. Moreover, they are grounding metaphysical principles of some objects with regard to others. In the first part of the paper we criticise this prima facie natural reading of identity criteria. This result does not mean that identity criteria could (...) not be taken as grounding principles. In the second part, we propose some basic steps towards a conceptual reading of grounding. Such a way of understanding it goes along with an epistemic reading of identity criteria. (shrink)

This book develops a new approach to plural arbitrary reference and examines mereology, including considering four theses on the alleged innocence of mereology. The authors have advanced the notion of plural arbitrary reference in terms of idealized plural acts of choice, performed by a suitable team of agents. In the first part of the book, readers will discover a revision of Boolosʼ interpretation of second order logic in terms of plural quantification and a sketched structuralist reconstruction of second-order arithmetic based (...) on the axiom of infinite, a la Dedekind, as the unique non-logical axiom. The work goes on to analyse the pros and cons of the new interpretation, also with respect to Linneboʼs objections to the thesis that second order logic is genuine logic. A theory of concepts that can be labelled as a theory of logical concepts is expounded. In the second part of the book, the authors consider grounding megethology on plural arbitrary reference and argue that the arguments for the ontological innocence of mereology are not conclusive and that – for a certain use of mereology – a thesis of innocence, similar to that of plural arbitrary reference, is defensible. The work proposes a virtual theory of mereology in which the role of individuals is played by plural choices of atoms. This considered work will appeal to scholars from branches of analytic philosophy, logic and the philosophy of mathematics in particular. (shrink)

In Origins of Objectivity, Burge presents three arguments against what he calls ‘deflationism’: the project of explaining the representational function in terms of the notion of biological function. I evaluate these arguments and argue that they are not convincing.

The debate concerning prostitution is centered around two main views: the liberal view and the radical feminist view. The typical liberal view is associated with decriminalization and normalization of prostitution; radical feminism stands in favor of prohibition or abolition. Here, I argue that neither of the views is right. My argument does not depend on the plausible (or actual) side effects of prohibition, abolition, or normalization; rather, I am concerned with the ideals involved. I will concede to liberals their claim (...) that prostitution is not harmful in itself. Yet, I will argue that prostitution cannot be thought of as “just another job”. Even if prostitution is not harmful in itself, it can do much harm. I will argue that a policy of vigilance is the most adequate one to adopt with regard of prostitution, given the risk of harm associated with prostitution. A policy of vigilance tries to discriminate between those who take a certain course of action willingly and those who do not. It puts no restraints on those who exercise their genuine will, but protects those who are openly or subtly coerced. (shrink)

Intervistati sul valore di questo testo, gli autori hanno dichiarato: «o questa affermazione è falsa, oppure questo è il miglior eserciziario di logica che sia mai stato scritto». Se la loro affermazione vi risulta poco comprensibile, ma avete intenzione di capirci qualcosa di più, questo eserciziario può fare al caso vostro! È uno strumento che integra ed estende un comune manuale di logica – ma che non si sostituisce ad esso, mancando la parte teorica –, ed è pensato per coloro (...) che hanno intrapreso lo studio della logica per la prima volta e desiderano farne pratica. Il testo si rivolge principalmente agli studenti universitari che seguono un corso base di logica, ma anche a chi sta tentando di barcamenarsi con questa disciplina al di fuori dell’ambiente accademico. Se sarete disposti a mettervi in gioco e a spremervi un po’ le meningi, scoprirete che o l’affermazione degli autori è falsa o questo è davvero il miglior eserciziario di logica che sia mai stato scritto! (shrink)

In this article we consider argumentation as an epistemic process performed by an agent to extend and revise her beliefs and gain knowledge, according to the information provided by the environment. Such a process can also generate the suspension of the claim under evaluation. How can we account for such a suspension phenomenon in argumentation process? We propose: (1) to distinguish two kinds of suspensions – critical suspension and non-critical suspension – in epistemic change processes; (2) to introduce a Paraconsistent (...) Weak Kleene logic (PWK) based belief revision theory which makes use of the notion of topic to distinguish the two kinds of suspensions previously mentioned, and (3) to develop a PWK-style argumentation framework and its expansion. By doing that, we can distinguish two kinds of suspensions in an epistemic process by virtue of the notion of topic. (shrink)

According to the so-called strong variant of Composition as Identity (CAI), the Principle of Indiscernibility of Identicals can be extended to composition, by resorting to broadly Fregean relativizations of cardinality ascriptions. In this paper we analyze various ways in which this relativization could be achieved. According to one broad variety of relativization, cardinality ascriptions are about objects, while concepts occupy an additional argument place. It should be possible to paraphrase the cardinality ascriptions in plural logic and, as a consequence, relative (...) counting requires the relativization either of quantifiers, or of identity, or of the is one of relation. However, some of these relativizations do not deliver the expected results, and others rely on problematic assumptions. In another broad variety of relativization, cardinality ascriptions are about concepts or sets. The most promising development of this approach is prima facie connected with a violation of the so-called Coreferentiality Constraint, according to which an identity statement is true only if its terms have the same referent. Moreover - even provided that the problem with coreferentiality can be fixed - the resulting analysis of cardinality ascriptions meets several difficulties. (shrink)

Following the speech act theory, we take hypotheses and assertions as linguistic acts with different illocutionary forces. We assume that a hypothesis is justified if there is at least a scintilla of evidence for the truth of its propositional content, while an assertion is justified when there is conclusive evidence that its propositional content is true. Here we extend the logical treatment for assertions given by Dalla Pozza and Garola by outlining a pragmatic logic for assertions and hypotheses. On the (...) basis of this extension we analyse the standard logical opposition relations for assertions and hypotheses. We formulate a pragmatic square of oppositions for assertions and a hexagon of oppositions for hypotheses. Finally, we give a mixed hexagon of oppositions to point out the opposition relations for assertions and hypotheses. (shrink)

In this paper we address the question of what determines the content of our conscious episodes of thinking, considering recent claims that phenomenal character individuates thought contents. We present one prominent way for defenders of phenomenal intentionality to develop that view and then examine ‘sensory inner speech views’, which provide an alternative way of accounting for thought-content determinacy. We argue that such views fare well with inner speech thinking but have problems accounting for unsymbolized thinking. Within this dialectic, we present (...) an account of the nature of unsymbolized thinking that accords with and can be seen as a continuation of the activity of inner speech, while offering a way of explaining thought-content determinacy in terms of linguistic structures and representations. (shrink)

Beall (2016) proposes to read the middle-value of Weak Kleene logic as off-topic. This interpretation has recently drawn some attention: for instance, Francez has pointed out that Beall's interpretation does not meet some important requirements to count as a truth value. Moreover, Beall is silent about what a topic (or a subject matter) is. But arguably, what is a topic? is a crucial question, and an answer is really important to fully understand his proposal. Thus, our goal here is to (...) help to remedy this deficiency, and show how Beall's interpretation of Weak Kleene truth-values interacts with the notion of topic. To do that, we formalize his motivating ideas and draw some consequences from them. (shrink)

Conflicts between our best philosophical theories (BPTs) and our common beliefs are widespread. For example, if eliminativism is our BPT, then our BPT conflicts with common beliefs about the existence of middle-sized composite artifacts. “Compatibilism” is the name usually given to a theoretical attitude, according to which, in the case of a conflict between BPT and a common belief P, we should try to find a reconciliation. The two major variants of compatibilism are “semantic compatibilism” (SC) and “cognitive compatibilism” (CC). (...) According to SC, to be reconciled with BPT is the “real” version of the content of our ordinary assertions; according to CC, to be reconciled with BPT is the mental state we are “really” in while thinking P. In this paper, we present a new kind of compatibilism, epistemic compatibilism (EC). According to EC, to be reconciled with BPT is the explanation of why we believe that P. After presenting EC, we will argue that it fares better than SC and CC for at least two related reasons: EC does not rely on any form of what we call semantic or cognitive “recarving”; thus, EC avoids some sceptical problems that aect the other two versions of compatibilism. (shrink)

The pragmatic notion of assertion has an important inferential role in logic. There are also many notational forms to express assertions in logical systems. This paper reviews, compares and analyses languages with signs for assertions, including explicit signs such as Frege’s and Dalla Pozza’s logical systems and implicit signs with no specific sign for assertion, such as Peirce’s algebraic and graphical logics and the recent modification of the latter termed Assertive Graphs. We identify and discuss the main ‘points’ of these (...) notations on the logical representation of assertions, and evaluate their systems from the perspective of the philosophy of logical notations. Pragmatic assertions turn out to be useful in providing intended interpretations of a variety of logical systems. (shrink)

A fundamental tension exists between Rawls's ideal Kantian conception of justice as fairness (JAF), which requires respecting people as ends, and his realistic non-Kantian consequentialist conception of a supreme emergency in a just war. By justifying the targeting of objectively innocent noncombatants during a supreme emergency exception, Rawls allows for treating them as means only. Hence, his appeal to a supreme emergency is insufficient to avoid this tension. First, since for him JAF is ideal but also practical, one might argue (...) that his fictional people in the original position must reflect on the justification for using force on behalf of JAF. And second, since Rawls justifies targeting objectively innocent people during a supreme emergency exemption, he justifies what one might conceive of as emergency terrorism. Emergency terrorism, however, treats people as means only. Therefore, Rawls's Kantian conception of JAF is in tension with his consequentialist justification of a supreme emergency in a just war and hence with emergency terrorism. (shrink)

The renewed interest in concepts and their role in psychological theorizing is partially motivated by Machery’s claim that concepts are so heterogeneous that they have no explanatory role. Against this, pluralism argues that there is multiplicity of different concepts for any given category, while hybridism argues that a concept is constituted by a rich common representation. This article aims to advance the understanding of the hybrid view of concepts. First, we examine the main arguments against hybrid concepts and conclude that, (...) even if not successful, they challenge hybridism to find a robust criterion for concept individuation and to show an explanatory advantage for hybrid concepts. Then we propose such a criterion of individuation, which we will call ‘functional stable coactivation’. Finally, we examine the prospects of hybridism to understand what is involved in recent approaches to categorization and meaning extraction. 1 The Heterogeneity of Conceptual Representations2 Two Challenges for Hybrid Concepts: Individuation and Explanation2.1 The coordination criterion2.2 Concepts as constituents of thoughts3 Individuating Hybrids: Functional Stable Coactivation4 The Explanatory Power of Hybrid Concepts4.1 Categorization4.2 Meaning extraction4.2.1 Linguistic comprehension and rich lexical entries4.2.2 Polysemy and hybrid concepts5 Conclusion. (shrink)

This article deals with the relationship between language and thought, focusing on the question of whether language can be a vehicle of thought, as, for example, Peter Carruthers has claimed. We develop and examine a powerful argument—the "argument from explicitness"—against this cognitive role of language. The premises of the argument are just two: (1) the vehicle of thought has to be explicit, and (2) natural languages are not explicit. We explain what these simple premises mean and why we should believe (...) they are true. Finally, we argue that even though the argument from explicitness shows that natural language cannot be a vehicle of thought, there is a cognitive function for language. (shrink)

In this paper I try to show that semantics can explain word-to-world relations and that sentences can have meanings that determine truth-conditions. Critics like Chomsky typically maintain that only speakers denote, i.e., only speakers, by using words in one way or another, represent entities or events in the world. However, according to their view, individual acts of denotations are not explained just by virtue of speakers’ semantic knowledge. Against this view, I will hold that, in the typical cases considered, semantic (...) knowledge can account for the denotational uses of words of individual speakers. (shrink)

We very often discover ourselves engaged in inner speech. It seems that this kind of silent, private, speech fulfils some role in our cognition, most probably related to conscious thinking. Yet, the study of inner speech has been neglected by philosophy and psychology alike for many years. However, things seem to have changed in the last two decades. Here we review some of the most influential accounts about the phenomenology and the functions of inner speech, as well as the methodological (...) problems that affect its study. (shrink)

This paper is a reaction to the book “Science and the Pursuit of Wisdom”, whose central concern is the philosophy of Nicholas Maxwell. I distinguish and discuss three concerns in Maxwell’s philosophy. The first is his critique of standard empiricism (SE) in the philosophy of science, the second his defense of aim-oriented rationality (AOR), and the third his philosophy of mind. I point at some problematic aspects of Maxwell’s rebuttal of SE and of his philosophy of mind and argue in (...) favor of AOR. (shrink)

Physicalism is the claim that that there is nothing in the world but the physical. Philosophers who defend physicalism have to confront a well-known dilemma, known as Hempel’s dilemma, concerning the definition of ‘the physical’: if ‘the physical’ is whatever current physics says there is, then physicalism is most probably false; but if ‘the physical’ is whatever the true theory of physics would say that there is, we have that physicalism is vacuous and runs the risk of becoming trivial. This (...) article has two parts. The first, negative, part is devoted to developing a criticism of the so-called via negativa response to Hempel’s dilemma. In the second, more substantial, part, I propose to take the first horn of Hempel’s dilemma. However, I argue for a broad construal of ‘current physics’ and characterize ‘the physical’ accordingly. The virtues of the broad characterization of ‘the physical’ are: first, it makes physicalism less likely to be false; and second, it ties our understanding of ‘the physical’ to the reasons we have for believing in physicalism. That is, it fulfills the desideratum of construing our theses according to the reasons we have to believe in them. (shrink)

Using the method of Descriptive Experience Sampling, some subjects report experiences of thinking that do not involve words or any other symbols [Hurlburt, R. T., and C. L. Heavey. 2006. Exploring Inner Experience. Amsterdam: John Benjamins; Hurlburt, R. T., and S. A. Akhter. 2008. “Unsymbolized Thinking.” Consciousness and Cognition 17 : 1364–1374]. Even though the possibility of this unsymbolized thinking has consequences for the debate on the phenomenological status of cognitive states, the phenomenon is still insufficiently examined. This paper analyzes (...) the main properties of unsymbolized thinking and advances an explanation of its origin. According to our analysis, unsymbolized thoughts appear as propositional states, that is, they are experienced as compositional conceptual phenomena, with semantic and syntactic features analogous to those of the contents of utterances. Based on this characterization, we hypothesize that UT is continuous with the activity of inner speech, in particular, it i... (shrink)

Sometimes mereologists have problems with counting. We often don't want to count the parts of maximally connected objects as full-fledged objects themselves, and we don't want to count discontinuous objects as parts of further, full-fledged objects. But whatever one takes "full-fledged object" to mean, the axioms and theorems of classical, extensional mereology commit us to the existence both of parts and of wholes – all on a par, included in the domain of quantification – and this makes mereology look counterintuitive (...) to various philosophers. In recent years, a proposal has been advanced to solve the tension between mereology and familiar ways of counting objects, under the label of Minimalist View . The Minimalist View may be summarized in the slogan: "Count x as an object iff it does not overlap with any y you have already counted as an object". The motto seems prima facie very promising but, we shall argue, when one looks at it more closely, it is not. On the contrary, the Minimalist View involves an ambiguity that can be solved in quite different directions. We argue that one resolution of the ambiguity makes it incompatible with mereology. This way, the Minimalist View can lend no support to mereology at all. We suggest that the Minimalist View can become compatible with mereology once its ambiguity is solved by interpreting it in what we call an epistemic or conceptual fashion: whereas mereology has full metaphysical import, the Minimalist View may account for our ways of selecting "conceptually salient" entities. But even once it is so disambiguated, it is doubtful that the Minimalist View can help to make mereology more palatable, for it cannot make it any more compatible with commonsensical ways of counting objects. (shrink)

Graham Priest has recently proposed a solution to the problem of the One and the Many which involves inconsistent objects and a non-transitive identity relation. We show that his solution entails either that the object everything is identical with the object nothing or that they are mutual parts; depending on whether Priest goes for an extensional or a non-extensional mereology.

In the 1951 Gibbs lecture, Gödel asserted his famous dichotomy, where the notion of informal proof is at work. G. Priest developed an argument, grounded on the notion of naïve proof, to the effect that Gödel’s first incompleteness theorem suggests the presence of dialetheias. In this paper, we adopt a plausible ideal notion of naïve proof, in agreement with Gödel’s conception, superseding the criticisms against the usual notion of naïve proof used by real working mathematicians. We explore the connection between (...) Gödel’s theorem and naïve proof so understood, both from a classical and a dialetheic perspective. (shrink)

In the debate about Composition as Identity (CI), a recurring pattern is to ask whether a certain feature of identity is also instantiated by composition. This recurring pattern is followed when, for example, the question is asked whether a whole and its parts are indiscernible. In following this pattern, it is methodologically desirable to assume the most standard account of the philosophical problems at stake. However, when the necessity of identity and the problem whether composition is as necessary as identity (...) are at stake, the literature about CI often violates this methodological principle, and resorts to non-standard views about modality, such as counterpart theory. In this paper, we purport to remedy this anomaly and to assess CI on the background of a standard, broadly Kripkean view of modality, and in particular of the contention that a single entity exists in more than one possible world. Given this contention, the backer of CI is forced to relativize composition and, as a consequence, identity to possible worlds, thereby introducing a non-standard kind of identity. We will discuss the charge of adhocness which might be raised against the resulting variety of CI. (shrink)

The aim of this paper is twofold: First, we present and develop a system of logic for pragmatics including the act of denial. Second, we analyse in our framework the so-called paradox of assertability. We show that it is possible to yield sentences that are not assertable. Moreover, under certain conditions, a symmetric result can be obtained: There is a specular paradox of deniability. However, this paradox is based on the problematic principle of classical denial equivalence.

In this paper we first develop a Dialetheic Logic with Exclusive Assumptions and Conclusions, DLEAC. We adopt the semantics of the logic of paradox (LP) extended with a notion of model suitable for DLEAC, and we modify its proof theory by refining the notions of assumption and conclusion, which are understood as speech acts. We introduce a new paradox – the rejectability paradox – first informally, then formally. We then provide its derivation in an extension of DLEAC contanining the rejectability (...) predicate. (shrink)

In this paper we reconstruct an argument, based on the observations of David Lewis and Jaegwon Kim, according to which, given that identities are necessary, they cannot be grounded; and given that they cannot be grounded, they cannot be explained either. We argue against two key premises of this argument. Furthermore, we present two counterexamples, in the form of two alleged sets of cases of explanation of identities. This argument against the explanation of identities is instrumental for a wider discussion (...) about the nature of explanation itself, in relation with other notions of recent philosophical interest such as grounding. (shrink)

In our introduction we make some remarks on the main topics of this issue: assertion and proof. We briefly describe how each of the papers in the present publication has contributed from either different or complementary perspectives to the logical reflection on assertion and proof, while also specifying the relation between them.

In my replies to some of my critics I argue that while the practice of terrorism is never justified, I concede that it is rarely but sometimes excused. As result, those who engage in excusable terrorism has a substantial burden of proof. They need to offer a compelling argument to show that the harm caused by their terrorist violence is actually excused by the extenuating circumstances and the goal that they are trying to achieve, so they will not be morally (...) or legally blameworthy for bringing about such harm. I am assuming that they will need to demonstrate that the alleged harm is excusable because it is necessary to accomplish a worthy goal and there is no other reasonable way to obtain such a worthy goal without deliberately harming those who can be reasonably conceived of as impeccably or objectively innocent. That is, those who are innocent beyond reasonable doubt. (shrink)

En este artículo sostengo que los tres filósofos/pedagogos cubanos del siglo XIX, Félix Varela y Morales, José de la Luz y Caballero y Enrique José Varona, fueron responsables de superar la enseñanza de la escolástica tardía en la Real y Pontificia Universidad de San Jerónimo de La Habana. Contra los filósofos y pedagogos escolásticos tardíos que preferían la lógica silogística y la autoridad de la tradición sobre la inducción, argumentaron a favor de esta última sobre la primera. Puesto que defendían (...) las ideas liberales y republicanas, también argumentaban en contra de aquellos que apelan a la autoridad de la tradición en lugar de a nuestras experiencias cotidianas. Su espíritu liberal desafió no sólo al régimen tiránico impuesto por España, sino a cualquier otro régimen cuya autoridad dependiera de la fuerza más que de la libre voluntad del pueblo a escoger sus gobernantes. (shrink)

This paper proposes a new dialetheic logic, a Dialetheic Logic with Exclusive Assumptions and Conclusions ), including classical logic as a particular case. In \, exclusivity is expressed via the speech acts of assuming and concluding. In the paper we adopt the semantics of the logic of paradox extended with a generalized notion of model and we modify its proof theory by refining the notions of assumption and conclusion. The paper starts with an explanation of the adopted philosophical perspective, then (...) we propose our \ logic. Finally, we show how \ supports the dialetheic solution of the liar paradox. (shrink)

The paper argues for a decompositionalist account of lexical concepts. In particular, it presents and argues for a cluster decompositionalism, a view that claims that the complexes a token of a word corresponds to on a given occasion are typically built out of a determinate set of basic concepts, most of which are present on most other occasions of use of the word. The first part of the paper discusses some explanatory virtues of decompositionalism in general. The second singles out (...) cluster decompositionalism as the best explanation of the variability of meaning. The third part is devoted to responding to some problems. (shrink)

In this article, it is argued that a significant internal tension exists in John Rawls' political liberalism. He holds the following positions that might plausibly be considered incongruous: (1) a commitment to tolerating a broad right of freedom of political speech, including a right of subversive advocacy; (2) a commitment to restricting this broad right if it is intended to incite and likely to bring about imminent violence; and (3) a commitment to curbing this broad right only if there is (...) a constitutional crisis. By supporting a broad right of freedom of political speech in Political Liberalism, he allows militant intolerant people such as Jihadists, White Supremacists and Neo-Nazis to advocate publicly their dangerously intolerant beliefs. Public advocacy of dangerously intolerant beliefs can be construed as subversive advocacy. As demonstrated by the historical examples of the Weimar Republic and the Second Spanish Republic, militant intolerant groups could use a right of subversive advocacy to threaten the stability of liberal democracies. Hence, by allowing them to exercise a broad right of freedom of political speech, Rawls could jeopardize that which he intends to defend, namely the actual political stability of a liberal democratic order. Lastly, Rawls' conception of ideal constitutional interpretation, which privileges a broad right of freedom of political speech, might be insufficient to deal effectively with the threat posed by militant intolerant groups. Yet a tradition of American constitutional interpretation that balances freedom of speech with other important constitutional and/or political values has overcome a civil war, two world wars, the Cold War and the 9/11 terrorist attacks without abandoning democracy or permanently renouncing those values. Still, Rawls' ideal approach to constitutional interpretation might, in hindsight, help us to understand some of the excesses and deficiencies of American jurisprudence in times of emergency.<br><br><br><br>. (shrink)

This paper explores whether terrorist violence could be morally justified or excused. It defends the absolute immunity of innocent people against those who might want to sacrifice them for other goals. The defense is based on recognizing people’s stringent natural duty of nonmaleficence, which entails an obligation on moral agents to refrain from intentionally bringing about harm or significant risk of it to the innocent. The paper is divided into two parts. The first part distinguishes between unconditional and conditional critics’ (...) arguments regarding the use of terrorist violence, and between a narrow and a broad definition of terrorism. While unconditional critics accept the narrow definition or one akin to it because they equate terrorism with murder, conditional critics accept the broad definition or one akin to it because they attempt to justify or excuse the use of terrorism based, e.g., on an analogy with a just war approach, consequentialism, moral relativism, supreme emergency or last resort. Exception is taken with the latter arguments since they attempt to justify or excuse morally unjustifiable and inexcusable actions such as the deliberate use of violence against the innocent. The second part explores plausible conditional critics’ reasons for justifying or excusing the 9/11/01 attacks and find them wanting. If the argument works, then, with minor modifications, it could also apply to the 3/11/04 attacks in Madrid, the 7/7/05 attacks in London, and similar attacks elsewhere. (shrink)