In this paper we propose a very general de nition of combination of logics by means of the concept of sheaves of logics. We first discuss some properties of this general definition and list some problems, as well as connections to related work. As applications of our abstract setting, we show that the notion of possible-translations semantics, introduced in previous papers by the first author, can be described in categorial terms. Possible-translations semantics constitute illustrative (...) cases, since they provide a new semantical account for abstract logical systems, particularly for many-valued and paraconsistent logics. (shrink)

This doctoral thesis examines the phenomenon of Filipinization, specifically understood as the ideological construction of a “Filipino identity” or ‘Filipino subject-consciousness” within the highly determinate context provided by the Filipino ilustrado nationalists such as José Rizal, Marcelo H. del Pilar and their fellow propagandists inasmuch as it leads to the nineteenth (19th) century construction of the modern Philippine nation. Utilizing Jacques Derrida’s deconstructive thinking, this study undertakes a genealogical critique engaged on the concrete historical examination of what is meant by (...) the term “Filipino” across a select historical timeline (1864-1898) and the various notions of Filipino identity implied by the different contexts within which the term “Filipino” has been employed. More specifically, it undertakes a selective philosophical excavation of three seminal texts in the history of Filipinization, viz.: 1) the Manifiesto of Padre Jose Burgos; 2) the writings of the Filipino ilustrados in La Solidaridad; and 3) Jose Rizal’s Annotations on Dr. Antonio de Morga’s Sucesos de las Islas Filipinas. -/- The philosophical claim of this work is the idea that Filipinization, taken as the differential construction of Filipino identity, is the effective translation of the colonial epistemic violence of Eurocentric racism and its consequent “horror of absolutism” into the homo-hegemony of Filipino nationalisms. By fetishizing the notion of a carefully constructed and essential “Filipino-identity,” Filipinization and the current nationalist discourses that utilize them, unwittingly, stands complicit with the same colonial violence and hegemony that they wish to combat. This happens precisely when the very structures of colonial oppression, on the ideological and practical levels, are transmogrified into nationalist ideals that assume legal and political power unto themselves in a self-referential and self-legitimating fashion. -/- Three processes will demonstrate the above thesis: first, by examining historical texts and setting itself against established nationalist historiographies, a genealogical analysis of the term “Filipino” reveals it as a pliable signifier whose semantics have evolved through time. From its originary referent in the Spanish criollo (creole), it has come to refer to people who would have been otherwise entirely alien to this class, viz., the mestizos (both Spanish and Chinese), the principalia (native elite), and eventually, the lowland Catholicized natives themselves. The historical hermeneutic of this identity-discourse in Padre José Burgos’ Manifiesto yields the fact that what gives the term “Filipino” its semantic consistency as a class concept is its essential constitution as a Hispanic and Catholic identity. -/- Second, from this semantic identification of the term “Filipino” as a Hispano-Catholic identity, we proceed to clarify the meaning of Filipinization in terms of the nationalist propaganda carried out by the Filipino ilustrados in the fortnightly periodical La Solidaridad. Here, the specific ilustrado construction of Filipino identity as a Spanish citizen (ciudadano Español) is revealed precisely as a political and legal construct that served as the basis for their own politics of social inclusion/exclusion. Filipinization can only be applied to those who have been hispanized and Christianized and never to those tribes who have resisted and remained outside Spanish colonial authority. Filipinization is thus revealed as a process of Hispanization and Christianization whereby the recipients of Spanish colonial hegemony are transformed into the religiously docile bodies of the Spanish Empire. -/- From this highly determinate context, the study proceeds to examine Rizal’s ontological grounding of collective Filipino-ness in the mythological construction of the pre-hispanic past as the source of a unique Filipino ancestrality. In his work on de Morga’s Sucesos, what is revealed is a mythologization that grounds a native, essential Filipino identity within a past unscathed by the Spanish colonial experience. Such mythologization, however, can only be possible through an anachronistic nationalist interpretation of historical data. Here, Filipinization is revealed as an exclusive prerogative, a nationalist program by which Rizal and the ilustrado class can combat the evils and excesses of the Spanish colonial enterprise. Ironically, though, this same struggle for emancipation also became an instrument by which the ilustrado class can retain their unjustified position of power over those who belonged to the colonial underside, thus, securing the possibility of perpetuating their own ilustrado bourgeois class interests. -/- Such discursive complicity is the essence of the myth of Filipinization: it presents nationalist identity discourse as an anti-colonial enterprise while being underlined by an economy of motives designed to cater primarily to the exclusive interests of the elite and ilustrado class. Thus, instead of securing the genuine, inclusive emancipation of all colonial subjects and a more humane existence for the poor and suffering majority, ilustrado nationalism has, ironically, merely reinforced those operative structures of colonial discrimination and oppression when the ilustrados: 1) grounded their racial theory upon the very same discourse of Eurocentric superiority that they are precisely supposed to question and 2) claimed a patrimony over Filipinas as their exclusive sovereign inheritance. These two factors illustrate how the manifest transfer of power from the Spanish Empire to the Philippine sovereign nation (and later as a nation-state) illustrate how Filipinization merely has transmogrified the face of Spanish colonialism into its new, subtle, and worse form in Filipino nationalism. -/- In this vein, the existence of the 19th century modern Philippine nation merely masked and deferred the crisis that was supposed to transfer power from the Spanish Empire to the multitude of the poor and suffering native indio majority. This crisis became all the more difficult to address be-cause of the duplicitous character of the discourse of Filipinization itself. It has not only effectively transferred power into the hands of the nationalist elite but also captured authentic emancipatory discourse within the identity-trap against which it can only hope to get out. This study concludes with the claim about the impossibility of ever escaping and overcoming the epistemic and practical violence necessarily contained within the historical discourse of colonialism. Or simply, we have no language or discourse that would enable us to overcome the complicity of Filipinization with the very (epistemic) violence against which it has set itself. (shrink)

The present paper opens this topical issue on translation techniques by drawing a theoretical basis for the discussion of translational issues in a linguistic perspective. In order to forward an audience- oriented definition of translation, I will describe different forms of linguistic variability, highlighting how they present different difficulties to translators, with an emphasis on the semantic and communicative complexity that a source text can exhibit. The problem is then further discussed through a comparison between Quine's radically holistic position and (...) the translatability principle supported by such semanticists as Katz. General translatability — at the expense of additional complexity — is eventually proposed as a possible synthesis of this debate. In describing the meaningfulness levels of source texts through Hjelmslevian semiotics, and his semiotic hierarchy in particular, the paper attempts to go beyond denotative semiotic, and reframe some translational issues in a connotative semiotic and metasemiotic perspective. (shrink)

This paper investigates logical aspects of combining linear orders as semantics for modal and temporal logics, with modalities for possible paths, resulting in a variety of branching time logics over classes of trees. Here we adopt a unified approach to the Priorean, Peircean and Ockhamist semantics for branching time logics, by considering them all as fragments of the latter, obtained as combinations, in various degrees, of languages and semantics for linear time with a modality for (...) class='Hi'>possible paths. We then consider a hierarchy of natural classes of trees and bundled trees arising from a given class of linear orders and show that in general they provide different semantics. We also discuss transfer of definability from linear orders to trees and introduce a uniform translation from Priorean to Peircean formulae which transfers definability of properties of linear orders to definability of properties of all paths in trees. (shrink)

The standard semantics for counterfactuals ensures that any counterfactual with a true antecedent and true consequent is itself true. There have been many recent attempts to amend the standard semantics to avoid this result. I show that these proposals invalidate a number of further principles of the standard logic of counterfactuals. The case against the automatic truth of counterfactuals with true components does not extend to these further principles, however, so it is not clear that rejecting the latter (...) should be a consequence of rejecting the former. Instead I consider how one might defuse putative counterexamples to the truth of true-true counterfactuals. (shrink)

This chapter provides an introduction to possible worlds semantics in both logic and the philosophy of language, including a discussion of some of the advantages and challenges for possible worlds semantics.

Possible worlds are commonly seen as an interpretation of modal operators such as "possible" and "necessary". Here, we develop possible world semantics (PWS) which can be expressed in basic set theory and first-order logic, thus offering a reductionist account of modality. Specifically, worlds are understood as complete sets of statements and possible worlds are sets whose statements are consistent with a set of conceptual laws. We introduce the construction calculus (CC), a set of axioms and (...) rules for truth, possibility, worldness and consistency. We show that CC allows to prove fundamental theorems about necessity, possibility, impossibility and contigency, thus demonstrating prima-facie plausibility of PWS. Finally, we discuss the explanatory power of our approach and draw connections between our account and established philosophical conceptions of possible worlds. (shrink)

We consider a basic logic with two primitive uni-modal operators: one for certainty and the other for plausibility. The former is assumed to be a normal operator, while the latter is merely a classical operator. We then define belief, interpreted as “maximally plausible possibility”, in terms of these two notions: the agent believes \ if she cannot rule out \ ), she judges \ to be plausible and she does not judge \ to be plausible. We consider four interaction properties (...) between certainty and plausibility and study how these properties translate into properties of belief. We then prove that all the logics considered are minimal logics for the highlighted theorems. We also consider a number of possible interpretations of plausibility, identify the corresponding logics and show that some notions considered in the literature are special cases of our framework. (shrink)

How is it possible that beginning from the negation of rational thoughts one comes to produce knowledge? This problem, besides its intrinsic interest, acquires a great relevance when the representation of a knowledge is settled, for example, on data and automatic reasoning. Many treatment ways have been tried, as in the case of the non-monotonic logics; logics that intend to formalize an idea of reasoning by default, etc. These attempts are incomplete and are subject to failure. A possible (...) solution would be to formulate a logic of the irrational, which offers a model for reasoning permitting to support contradictions as well as to produce knowledge from such situations. An intuition underlying the foundation of such a logic consists of the da Costa's paraconsistent logics presenting however, a different deduction theory and a whole distinct semantics, called here "the semantics of possible translations". The present proposing, following our argumentation, intends to enlight all this question, by a whole satisfactory logical point of view, being practically applicable and philosophically acceptable.Como é possível que a partir da negação do racional se possa obter conhecimento adicional? Esse problema, além de seu interesse intrínseco, adquire uma relevância adicional quando o encontramos na representação do conhecimento em bases de dados e raciocínio automático, por exemplo. Nesse caso, diversas tentativas de tratamento têm sido propostas, como as lógicas não-monotônicas, as lógicas que tentam formalizar a ideia do raciocínio por falha . Tais tentativas de solução, porém, são falhas e incompletas; proponho que uma solução possível seria formular uma lógica do irracional, que oferecesse um modelo para o raciocínio permitindo não só suportar contradições, como conseguir obter conhecimento, a partir de tais situações. A intuição subjacente à formulação de tal lógica são as lógicas paraconsistentes de da Costa, mas com uma teoria da dedução diferente e uma semântica completamente distinta . Tal proposta, como pretendo argumentar, fornece um enfoque para a questão que é ao mesmo tempo completamente satisfatório, aplicável do ponto de vista prático e aceitável do ponto de vista filosófico. (shrink)

The development of possible worlds semantics for modal claims has led to a more general application of that theory as a complete semantics for various formal and natural languages, and this view is widely held to be an adequate (philosophical) interpretation of the model theory for such languages. We argue here that this view generates a self-referential inconsistency that indicates either the falsity or the incompleteness of PWS.

Are transcendental phenomenology and possible worlds semantics, two seemingly disparate, perhaps even incompatible philosophical traditions, actually complementary? Have two well-known representatives of each tradition, J.N. Mohanty and J. Hintikka, misinterpreted the other's philosophical "program" in such a way that they did not recognize the complementarity? Charles Harvey 1 has recently argued that the answer to both questions is "yes." Here I intend to argue that the answer to the first is unclear, whereas the answer to the second is (...) "no." Mohanty (at least) rightly cites fundamental differences between transcendental phenomenology and possible worlds semantics. (shrink)

Pietroski (1993) offers a semantics for belief sentences that is supposed to address the problem of equivalence. This paper argues that his proposal fails to solve the problem.

Actualism is the doctrine that the only things there are, that have being in any sense, are the things that actually exist. In particular, actualism eschews possibilism, the doctrine that there are merely possible objects. It is widely held that one cannot both be an actualist and at the same time take possible world semantics seriously — that is, take it as the basis for a genuine theory of truth for modal languages, or look to it for (...) insight into the modal structure of reality. For possible world semantics, it is supposed, commits one to possibilism. In this paper I take issue with this view. To the contrary, I argue that one can take possible world semantics seriously without any commitment to possible worlds or possibilism and hence remain in full compliance with actualist scruples. Moreover, one can do so without without invoking either "ersatz" worlds or haecceities. (shrink)

"Jim would still be alive if he hadn't jumped" means that Jim's death was a consequence of his jumping. "x wouldn't be a triangle if it didn't have three sides" means that x's having a three sides is a consequence its being a triangle. Lewis takes the first sentence to mean that Jim is still alive in some alternative universe where he didn't jump, and he takes the second to mean that x is a non-triangle in every alternative universe where (...) it doesn't have three sides. Why did Lewis have such obviously wrong views? Because, like so many of his contemporaries, he failed to grasp the truth that it is the purpose of the present paper to demonstrate, to wit: No coherent doctrine assumes that statements about possible worlds are anything other than statements about the dependence-relations governing our world. The negation of this proposition has a number of obviously false consequences, for example: all true propositions are necessarily true (there is no modal difference between "2+2=4" and "Socrates was bald"); all modal terms (e.g. "possible," "necessary") are infinitely ambiguous; there is no difference between laws of nature (e.g. "metal expands when heated") and accidental generalizations (e.g. "all of the coins in my pocket are quarters"); and there is no difference between the belief that 1+1=2 and the belief that arithmetic is incomplete. Given that possible worlds are identical with mathematical models, it follows that the concept of model-theoretic entailment is useless in the way of understanding how inferences are drawn or how they should be drawn. Given that the concept of formal-entailment is equally useless in these respects, it follows that philosophers and mathematicians have simply failed to shed any light on the nature of the consequence-relation. Q's being either a formal or a model-theoretic consequence of P is parasitic on its bearing some third, still unidentified relation to P; and until this relation has been identified, the discipline of philosophical logic has yet to begin. (shrink)

This paper contains an argument to the effect that possible worlds semantics renders semantic knowledge impossible, no matter what ontological interpretation is given to possible worlds. The essential contention made is that possible worlds semantic knowledge is unsafe and this is shown by a parallel with the preface paradox.

The standard view of clauses embedded under attitude verbs or modal predicates is that they act as terms standing for propositions, a view that faces a range of philosophical and linguistic difficulties. Recently an alternative has been explored according to which embedded clauses act semantically as predicates of content-bearing objects. This paper argues that this approach faces serious problems when it is based on possible worlds-semantics. It outlines a development of the approach in terms of truthmaker theory instead.

In this paper it is argued that the conjunction of linguistic ersatzism, the ontologically deflationary view that possible worlds are maximal and consistent sets of sentences, and possible world semantics, the view that the meaning of a sentence is the set of possible worlds at which it is true, implies that no actual speaker can effectively use virtually any language to successfully communicate information. This result is based on complexity issues that relate to our finite computational (...) ability to deal with large bodies of information and a strong, but well motivated, assumption about the cognitive accessibility of meanings of sentences ersatzers seem to be implicitly committed to. It follows that linguistic ersatzism, possible world semantics, or both must be rejected. (shrink)

In this paper, I shall consider the challenge that Quine posed in 1947 to the advocates of quantified modal logic to provide an explanation, or interpretation, of modal notions that is intuitively clear, allows “quantifying in”, and does not presuppose, mysterious, intensional entities. The modal concepts that Quine and his contemporaries, e.g. Carnap and Ruth Barcan Marcus, were primarily concerned with in the 1940’s were the notions of (broadly) logical, or analytical, necessity and possibility, rather than the metaphysical modalities that (...) have since become popular, largely due to the influence of Kripke. In the 1950’s modal logicians responded to Quine’s challenge by providing quantified modal logic with model-theoretic semantics of various types. In doing so they also, explicitly or implicitly addressed Quine’s interpretation problem. Here I shall consider the approaches developed by Carnap in the late 1940’s, and by Kanger, Hintikka, Montague, and Kripke in the 1950’s, and discuss to what extent these approaches were successful in meeting Quine’s doubts about the intelligibility of quantified modal logic. (shrink)

According to the philosophical tradition, translation is successful when one has substituted words and sentences from one language with those from another by cross-linguistic synonymy. Moreover, according to the orthodox view, the meaning of expressions and sentences of languages are determined by their basic or systematic role in a language. This makes translating normative and evaluative discourse puzzling for two reasons. First, as languages are syntactically and semantically different because of their peculiar cultural and historical influences, and as values and (...) norms differ across cultures, it is unlikely that languages will have synonymous evaluative and normative expressions. If translation is only successful by cross-linguistic synonymy, it would seem that we will not be able to translate the value theoretic claims of persons from radically different cultures. But it is with such persons that dialogue on evaluative matters is imperative, to resolve ethical and axiological differences that could be the root of conflict. Second, as the orthodox account of meaning renders it linguistically relative, it is unlikely that expressions across languages will be cross-linguistically synonymous. Thus, on the Orthodox account of translation, translation is indeterminate (as W.V.O. Quine has argued) or impossible (as Jacques Derrida has argued). In this dissertation I argue for a novel theory of meaning and translation based on innovations in the translation studies literature and my prior work in cross cultural research, which I call Text-Type Semantics or TTS. TTS explains how translation is successful while affirming radical cultural and linguistic diversity. It treats disciplinary concerns as the neutral criteria to calibrate translation. On the basis of TTS I argue that we need what I call the “Quasi-Indexical” account of thick and thin concepts (or QI) to translate normative and evaluative discourse. I argue that QI and TTS succeed where competing accounts in the moral semantics literature (such as Non-Analytic Naturalism and Expressivism) fail. The argument also shows that the relativization of truth (in philosophy and beyond) to languages and cultures is mistaken. (shrink)

The essay "Semantics for Natural Languages" is here translated from a collection of Davidson's essays published under the title "Inquiries into Truth and Interpretation", Claredon Press, Oxford 1984.

In this paper I argue that there is a difficulty for Fine's exact semantics for counterfactuals. The difficulty undermines Fine's reasons for preferring exact semantics to possible worlds semantics.

This paper is a study of a distinctively chemical notion of possibility. This is the notion of possibility that occurs in chemical discourses when chemists speak of the possibility or impossibility of achieving a given result through chemical means. This notion pertains to the possibility of processes, not of compounds, so it differs from the kind of chemical possibility mentioned in Wittgenstein's Philosophical Investigations or the kinds discussed in the literature on Putnam's Twin Earth argument. I argue that this process-oriented (...) notion of possibility cannot be reduced in a simple way to physical possibility, and that standard possible worlds semantics does not allow a natural analysis of this notion. I suggest an extension of possible worlds semantics that may overcome this limitation. I finish by pointing out some open questions about chemical possibility. (shrink)

This paper outlines and demonstrates the viability of a consistent dialogic approach to the semantics of utterances in natural language. Based on the philosophical picture of language as dialogue, adumbrated by Mikhail Bakhtin and incorporating work in conversation analysis and cognitive-functional linguistics, I develop a method for analyzing both the function and the content of human utterances within a unified philosophical framework. I demonstrate the viability of this method of analysis by applying it to a brief conversational exchange (in (...) Hebrew), which is analyzed here in full detail. (shrink)

Possibility semantics offers an elegant framework for a semantic analysis of modal logic that does not recruit fully determinate entities such as possible worlds. The present papers considers the application of possibility semantics to the modeling of the indeterminacy of the future. Interesting theoretical problems arise in connection to the addition of object-language determinacy operator. We argue that adding a two-dimensional layer to possibility semantics can help solve these problems. The resulting system assigns to the two-dimensional (...) determinacy operator a well-known logic (coinciding with the logic of universal modalities under global consequence). The paper concludes with some preliminary inroads into the question of how to distinguish two-dimensional possibility semantics from the more established branching framework. (shrink)

Semantic information is usually supposed to satisfy the veridicality thesis: p qualifies as semantic information only if p is true. However, what it means for semantic information to be true is often left implicit, with correspondentist interpretations representing the most popular, default option. The article develops an alternative approach, namely a correctness theory of truth (CTT) for semantic information. This is meant as a contribution not only to the philosophy of information but also to the philosophical debate on the nature (...) of truth. After the introduction, in Sect. 2, semantic information is shown to be translatable into propositional semantic information (i). In Sect. 3, i is polarised into a query (Q) and a result (R), qualified by a specific context, a level of abstraction and a purpose. This polarization is normalised in Sect. 4, where [Q + R] is transformed into a Boolean question and its relative yes/no answer [Q + A]. This completes the reduction of the truth of i to the correctness of A. In Sects. 5 and 6, it is argued that (1) A is the correct answer to Q if and only if (2) A correctly saturates Q by verifying and validating it (in the computer science’s sense of “verification” and “validation”); that (2) is the case if and only if (3) [Q + A] generates an adequate model (m) of the relevant system (s) identified by Q; that (3) is the case if and only if (4) m is a proxy of s (in the computer science’s sense of “proxy”) and (5) proximal access to m commutes with the distal access to s (in the category theory’s sense of “commutation”); and that (5) is the case if and only if (6) reading/writing (accessing, in the computer science’s technical sense of the term) m enables one to read/write (access) s. Sect. 7 provides some further clarifications about CTT, in the light of semantic paradoxes. Section 8 draws a general conclusion about the nature of CTT as a theory for systems designers not just systems users. In the course of the article all technical expressions from computer science are explained. (shrink)

In his _Being Known_ Peacocke sets himself the task of answering how we come to know about metaphysical necessities. He proposes a semantic principle-based conception consisting of, first, his Principles of Possibility which pro­vide necessary and sufficient conditions for a new concept 'admissibility', and second, characterizations of possibility and of necessity in terms of that new con­cept. I focus on one structural feature; viz. the recursive application involved in the specification of 'admissibility'. After sketching Peacocke’s proposal, I intro­duce a fictional (...) protagonist, Cautious Peacocke, whose coherence I claim shows that Peacocke s proposal cannot be made good. I conclude with the conjecture that similar failure will attend any such semantic-based attempts to ground the epistemology of metaphysical necessity. -/- Dans son livre intitulé Being Known, C. Peacocke se propose de repondre à la question de savoir comment nous en venons a connaitre des nécessités métaphysiques. Il développe une conception sémantique reposant sur des principes comprenant, d’une part, ses Principes de Possibilité — qui fournissent les conditions nécessaires et suffisantes pour un nouveau concept, « l’admissibilité » — et d’autre part des caractérisations de la possibilité et de la nécessité a l’aide de ce nouveau concept. Je me concentre sur une caractéristique structurelle, a savoir l’application récursive a l’œuvre dans la spécification de «l’admissibilité ». Apres avoir esquisse la proposition de Peacocke, j’introduis un personnage fictif, Peacocke-prudent. Je soutiens que la cohérence de ce personnage montre que la proposition de Peacocke ne peut pas être satisfaite. Je conclus en conjecturant qu’un échec similaire se présentera pour toutes les tentatives de fonder l’épistemologie de la nécessité métaphysique sur de telles bases semantiques. (shrink)

This paper takes a stand on Hamblin semantics and its relation to the semantics-to-pragmatics interface. Biased questions, where the speaker finds one of the options more likely and expects the confirmation that p is true, raise a concern about the limits of Hamblin semantics. I argue that biased questions have modified Hamblin semantics, while unbiased questions have unconstrained Hamblin semantics. The optional bias feature explains compositionally. It is triggered by likelihood presuppositions ranging Hamblin sets and (...) highlighting the preferred alternative(s). Biased effects are exceptionally possible in alternative and wh-questions, but only in polar questions, they can be encoded lexically and grammatically. I argue that Hamblin semantics covers all core types of questions, while some of its applications for non-questions are problematic. (shrink)

I argue that semantics is the study of the proprietary database of a centrally inaccessible and informationally encapsulated input–output system. This system’s role is to encode and decode partial and defeasible evidence of what speakers are saying. Since information about nonlinguistic context is therefore outside the purview of semantic processing, a sentence’s semantic value is not its content but a partial and defeasible constraint on what it can be used to say. I show how to translate this thesis into (...) a detailed compositional-semantic theory based on the influential framework of Heim and Kratzer. This approach situates semantics within an independently motivated account of human cognitive architecture and reveals the semantics–pragmatics interface to be grounded in the underlying interface between modular and central systems. (shrink)

This paper gives an outline of truthmaker semantics for natural language against the background of standard possible-worlds semantics. It develops a truthmaker semantics for attitude reports and deontic modals based on an ontology of attitudinal and modal objects and on a semantic function of clauses as predicates of such objects. It also présents new motivations for 'object-based truthmaker semantics' from intensional transitive verbs such as ‘need’, ‘look for’, ‘own’, and ‘buy’ and gives an outline of (...) their semantics. This paper is a commissioned 'target' article, with commentaries by W. Davis, B. Arsenijevic, K. Moulton, K. Liefke, M. Kaufmann, R. Matthews, P. Portner and A. Rubinstein, P. Elliott, G. Ramchand and my reply. (shrink)

Possible worlds semantics faces a range of difficulties for at least certain types of modals, especially deontic modals with their distinction between heavy and light permissions and obligations. This paper outlines a new semantics of modals that aims to overcome some of those difficulties. The semantics is based on an a novel ontology of modal objects, entities like obligations, permissions, needs, as well as epistemic states, abilities, and essences. Moreover, it is based on truthmaking, in the (...) sense of Fine’s recent truthmaker semantics. (shrink)

McCall (1984) offered a semantics of counterfactual conditionals based on “real possible worlds” that avoids using the vague notion of similarity between possible worlds. I will propose an interpretation of McCall’s counterfactuals in a formal framework based on Baltag-Moss-Solecki events and protocols. Moreover, I will argue that using this interpretation one can avoid an objection raised by Otte (1987).

In this paper, we present a new semantic framework designed to capture a distinctly cognitive or epistemic notion of meaning akin to Fregean senses. Traditional Carnapian intensions are too coarse-grained for this purpose: they fail to draw semantic distinctions between sentences that, from a Fregean perspective, differ in meaning. This has led some philosophers to introduce more fine-grained hyperintensions that allow us to draw semantic distinctions among co-intensional sentences. But the hyperintensional strategy has a flip-side: it risks drawing semantic distinctions (...) between sentences that, from a Fregean perspective, do not differ in meaning. This is what we call the ‘new problem’ of hyperintensionality to distinguish it from the ‘old problem’ that faced the intensional theory. We show that our semantic framework offers a joint solution to both these problems by virtue of satisfying a version of Frege’s so-called ‘equipollence principle’ for sense individuation. Frege’s principle, we argue, not only captures the semantic intuitions that give rise to the old and the new problem of hyperintensionality, but also points the way to an independently motivated solution to both problems. (shrink)

In this paper, I present a categorial theory of meaning which asserts that the meaning of a sentence is the function from the actualization of some potentiality or the potentiality of some actuality to the truth of the sentence. I argue that it builds on the virtues of David Lewis’s Possible World Semantics but advances beyond problems that Lewis’s theory faces with its distinctly Aristotelian turn toward actuality and potentiality.

In this paper, a novel experimental task is developed for testing the highly influential, but experimentally underexplored, possible worlds account of conditionals (Stalnaker, 1968; Lewis, 1973). In Experiment 1, this new task is used to test both indicative and subjunctive conditionals. For indicative conditionals, five competing truth tables are compared, including the previously untested, multi-dimensional possible worlds semantics of Bradley (2012). In Experiment 2, these results are replicated and it is shown that they cannot be accounted for (...) by an alternative hypothesis proposed by our reviewers. In Experiment 3, individual variation in truth assignments of indicative conditionals is investigated via Bayesian mixture models that classify participants as following one of several competing models. As a novelty of this study, it is found that a possible worlds semantics of Lewis and Stalnaker is capable of accounting for participants’ aggregate truth value assignments in this task. Applied to indicative conditionals, we show across three experiments, that the theory both captures participants’ truth values at the aggregate level (Experiments 1 and 2) and that it makes up the largest subgroup in the analysis of individual variation in our experimental paradigm (Experiment 3). (shrink)

In “Is semantics possible?” Putnam connected two themes: the very possibility of semantics (as opposed to formal model theory) for natural languages and the proper semantic treatment of common nouns. Putnam observed that abstract semantic accounts are modeled on formal languages model theory: the substantial contribution is rules for logical connectives (given outside the models), whereas the lexicon (individual constants and predicates) is treated merely schematically by the models. This schematic treatment may be all that is needed (...) for an account of validity in a formal setting, but it does not help to understand how proper and common nouns function in reality (not in models). Putnam then initiated the empirical study of such nouns to indicate, (i), that the popular Frege-Carnap account of them as (“disguised” compound) predicates is empirically incorrect, and, (ii), that they offer a new paradigm for a naturalistic semantics of natural languages. We take Putnam’s program a couple of steps further. First, we investigate the semantics of common nouns and argue that they refer (to kinds), rather than apply by satisfaction/truth to a designation/denotation. Second, we point to general results about semantics as a theory whose fulcrum is the reference relation rather than satisfaction in models and validity across them. (shrink)

My paper examines the popular idea, defended by Kripke, that meaning is an essentially normative notion. I consider four common versions of this idea and suggest that none of them can be supported, either because the alleged normativity has nothing to do with normativity or because it cannot plausibly be said that meaning is normative in the sense suggested. I argue that contrary to received opinion, we don’t need normativity to secure the possibility of meaning. I conclude by considering the (...) repercussions of rejecting semantic normativity on three central issues: justification, communication, and naturalism. (shrink)

The aim of this paper is to reinterpret success semantics, a theory of mental content, according to which the content of a belief is fixed by the success conditions of some actions based on this belief. After arguing that in its present form, success semantics is vulnerable to decisive objections, I examine the possibilities of salvaging the core of this proposal. More specifically, I propose that the content of some very simple, but very important, mental states, the immediate (...) mental antecedents of action, can be explained in this manner. (shrink)

The integration challenge for modality states that metaphysical theories of modality tend to fail in one of two ways: either they render the meanings of modal sentences mysterious, or they render modal knowledge mysterious. I argue that there are specific semantic and epistemic constraints on metaphysics implied by the integration challenge and that a plausible metaphysical theory of modality will satisfy both of them. I further argue that no popular metaphysical theory of modality simultaneously satisfies both of the constraints. Therefore, (...) a new metaphysical theory of modality is needed, one that can offer a clear response to the integration challenge. I attempt to supply the needed theory and show that it satisfies the constraints of the integration challenge. The overall result is an argument for a new and unique metaphysical theory of modality that I call constructionism. (shrink)

I motivate and characterize an intensional semantics for ‘ought’ on which it does not behave as a universal quantifier over possibilities. My motivational argument centers on taking at face value some standard challenges to the quantificational semantics, especially to the idea that ‘ought’-sentences satisfy the principle of Inheritance. I argue that standard pragmatic approaches to these puzzles are either not sufficiently detailed or unconvincing.

The main objective o f this descriptive paper is to present the general notion of translation between logical systems as studied by the GTAL research group, as well as its main results, questions, problems and indagations. Logical systems here are defined in the most general sense, as sets endowed with consequence relations; translations between logical systems are characterized as maps which preserve consequence relations (that is, as continuous functions between those sets). In this sense, logics together with translations (...) form a bicomplete category of which topological spaces with topological continuous functions constitute a full subcategory. We also describe other uses of translations in providing new semantics for non-classical logics and in investigating duality between them. An important subclass of translations, the conservative translations, which strongly preserve consequence relations, is introduced and studied. Some specific new examples of translations involving modal logics, many-valued logics, para- consistent logics, intuitionistic and classical logics are also described. (shrink)

We explore some possibilities for developing epistemic logic using truthmaker semantics. We identify three possible targets of analysis for the epistemic logician. We then list some candidate epistemic principles and review the arguments that render some controversial. We then present the classic Hintikkan approach to epistemic logic and note—as per the ‘problem of logical omniscience’—that it validates all of the aforementioned principles, controversial or otherwise. We then lay out a truthmaker framework in the style of Kit Fine and (...) present six different ways of extending this semantics with a conditional knowledge operator, drawing on notions of implication and content that are prominent in Fine’s work. We demonstrate that different logics are thereby generated, bearing on the aforementioned epistemic principles. Finally, we offer preliminary observations about the prospects for each logic. (shrink)

The epistemic modal auxiliaries must and might are vehicles for expressing the force with which a proposition follows from some body of evidence or information. Standard approaches model these operators using quantificational modal logic, but probabilistic approaches are becoming increasingly influential. According to a traditional view, must is a maximally strong epistemic operator and might is a bare possibility one. A competing account—popular amongst proponents of a probabilisitic turn—says that, given a body of evidence, must \ entails that \\) is (...) high but non-maximal and might \ that \\) is significantly greater than 0. Drawing on several observations concerning the behavior of must, might and similar epistemic operators in evidential contexts, deductive inferences, downplaying and retractions scenarios, and expressions of epistemic tension, I argue that those two influential accounts have systematic descriptive shortcomings. To better make sense of their complex behavior, I propose instead a broadly Kratzerian account according to which must \ entails that \ = 1\) and might \ that \ > 0\), given a body of evidence and a set of normality assumptions about the world. From this perspective, must and might are vehicles for expressing a common mode of reasoning whereby we draw inferences from specific bits of evidence against a rich set of background assumptions—some of which we represent as defeasible—which capture our general expectations about the world. I will show that the predictions of this Kratzerian account can be substantially refined once it is combined with a specific yet independently motivated ‘grammatical’ approach to the computation of scalar implicatures. Finally, I discuss some implications of these results for more general discussions concerning the empirical and theoretical motivation to adopt a probabilisitic semantic framework. (shrink)

Semantic information is usually supposed to satisfy the veridicality thesis: p qualifies as semantic information only if p is true. However, what it means for semantic information to be true is often left implicit, with correspondentist interpretations representing the most popular, default option. The article develops an alternative approach, namely a correctness theory of truth (CTT) for semantic information. This is meant as a contribution not only to the philosophy of information but also to the philosophical debate on the nature (...) of truth. After the introduction, in Sect. 2, semantic information is shown to be translatable into propositional semantic information (i). In Sect. 3, i is polarised into a query (Q) and a result (R), qualified by a specific context, a level of abstraction and a purpose. This polarization is normalised in Sect. 4, where [Q + R] is transformed into a Boolean question and its relative yes/no answer [Q + A]. This completes the reduction of the truth of i to the correctness of A. In Sects. 5 and 6, it is argued that (1) A is the correct answer to Q if and only if (2) A correctly saturates Q by verifying and validating it (in the computer science’s sense of verification and validation ); that (2) is the case if and only if (3) [Q + A] generates an adequate model (m) of the relevant system (s) identified by Q; that (3) is the case if and only if (4) m is a proxy of s (in the computer science’s sense of proxy ) and (5) proximal access to m commutes with the distal access to s (in the category theory’s sense of commutation ); and that (5) is the case if and only if (6) reading/writing (accessing, in the computer science’s technical sense of the term) m enables one to read/write (access) s. Sect. 7 provides some further clarifications about CTT, in the light of semantic paradoxes. Section 8 draws a general conclusion about the nature of CTT as a theory for systems designers not just systems users. In the course of the article all technical expressions from computer science are explained. (shrink)

It’s widely accepted that normativity is not subject to truth values. The underlying reasoning is that truth values can only be predicated of descriptive statements; normative statements are prescriptive, not descriptive; thus truth value predicates cannot be assigned to normative statements. Hence, deonticity lacks logical semantics. This semantic monism has been challenged over the last decades from a series of perspectives that open the way for legal logics with imperative semantics. In the present paper I will go back (...) to Kant and review his understanding of practical judgments, presenting it as supported by a pluralistic semantics. From this perspective a norm of Law is a logical expression that includes as content a generic description of a possible behavior by a generality of juridical agents, and assigns to that content the assertion of its obligatory character, accompanied by a disincentive for non-compliance. From this perspective legal norms can be syntactically formalized and assigned appropriate semantic values in such terms that they can be incorporated into valid inferential schemes. The consequence is that we can put together legal logics that handle both the phenomenal and the deontic dimensions of legality. (shrink)

The literature on indicative conditionals contains two appealing views. The first is the selectional view: on this view, conditionals operate by selecting a single possibility, which is used to evaluate the consequent. The second is the informational view: on this view, conditionals don’t express propositions, but rather impose constraints on information states of speakers. Both views are supported by strong arguments, but they are incompatible on their standard formulations. Hence it appears that we have to choose between mutually exclusive options. (...) But the options are not exclusive. This paper develops a theory of the semantics and assertability of conditionals that is both selectional and informational. The theory vindicates the signature inferences of both selectional and informational theories, including so-called Conditionals Excluded Middle and principles about the interplay between conditionals and ‘might’. It also predicts some interesting and puzzling facts about the assertion of conditionals. (shrink)

For many years I have maintained that I learned to philosophize by translating Francisco Suárez’s Metaphysical Disputation V from Latin into English. This surely is a claim that must sound extraordinary to the members of this audience or even to most twentieth century philosophers. Who reads Suárez these days? And what could I learn from a sixteenth century scholastic writer that would help me in the twentieth century? I would certainly be surprised if one were to find any references to (...) some of Suárez’s works in any of the works of twentieth-century major philosophers. One of the reasons for my claim is the great difficulty I had in figuring out what Suárez’s text means and how to render it understandable to English readers. Translating the text forced me to think in ways that were quite different from those I was used to think in Spanish, my native tongue, or English, my adoptive tongue. In fact, the translation I produced after having completed many drafts continued, and still continues to this day, to appear to me unsatisfactory, and that dissatisfaction was the key to understanding things I had understood very differently before. I hope to make clear why in what follows. The thesis that I defend is that semantic equivalence between texts of philosophy in different languages is difficult, if not impossible in some cases, to achieve and, therefore, that it is a mistake to restrict doing analytic philosophy to English, as Gustavo Rodríguez-Pereyra argues we should do in a recent article (2013). (shrink)

The necessity of origin suggests that a person’s identity is determined by the particular pair of gametes from which the person originated. An implication is that speculative scenarios concerning how we might otherwise have been had our gametic origins been different are dismissed as being metaphysically impossible. Given, however, that many of these speculations are intelligible and commonplace in the discourses of competent speakers, it is overhasty to dismiss them as mistakes. This paper offers a way of understanding these speculations (...) that does not commit them to incoherence but aims to make the best sense of what they are expressing. Using the philosophical framework of two‐dimensional semantics, it proposes that the speculative scenarios are best analysed as epistemic possibilities, rather than as metaphysical possibilities. It then explores some implications of this analysis for the ethical challenges associated with the non‐identity problem. (shrink)