In many real-life applications of logic it is useful to interpret a particular sentence as true together with its negation. If we are talking about classical logic, this situation would force all other sentences to be equally interpreted as true. Paraconsistent logics are exactly those logics that escape this explosive effect of the presence of inconsistencies and allow for sensible reasoning still to take effect. To provide reasonably intuitive semantics for paraconsistent logics has traditionally proven to be a challenge. (...) Possible-translations semantics can meet that challenge by allowing for each interpretation to be composed of multiple scenarios. Using that idea, a logic with a complex semantic behavior can be understood as an appropriate combination of ingredient logics with simpler semantic behaviors into which the original logic is given a collection of translations preserving its soundness. Completeness is then achieved through the judicious choice of the admissible translating mappings. The present note provides interpretation by way of possible-translations semantics for a group of fundamental paraconsistent logics extending the positive fragment of classical propositional logic. The logics PI, Cmin, mbC, bC, mCi and Ci, among others, are all initially presented through their non-truth-functional bivaluation semantics and sequent versions and then split by way of possible-translations semantics based on 3-valued ingredients. (shrink)

Translation theory and the philosophy of language have largely gone their separate ways (the former opting to rebrand itself as “translation studies” to emphasize its empirical and anti-theoretical underpinnings). Yet translation theory and the philosophy of language have predominately shared a common assumption that stands in the way of determinate translation. It is that languages, not texts, are the objects of translation and the subjects of semantics. The way to overcome the theoretical problems surrounding the possibility and determinacy of (...) translation is to marry the philosopher of language's concern for determinacy and semantic accuracy in translation with the notion of a “text-type” from the translation theory literature. The resulting text-type conception of semantics (TTS) is a novel alternative to the salient positions of Contextualism and Semantic Minimalism in the contemporary philosophy of language. (shrink)

Leopoldo Zea was one of the most influential philosophers of the twentieth century. Though in English-language scholarship Zea is known primarily as a historian of ideas, his philosophical producti...

In this paper we extend the anodic systems introduced in Bueno-Soler (J Appl Non Class Logics 19(3):291–310, 2009) by adding certain paraconsistent axioms based on the so called logics of formal inconsistency , introduced in Carnielli et al. (Handbook of philosophical logic, Springer, Amsterdam, 2007), and define the classes of systems that we call cathodic . These classes consist of modal paraconsistent systems, an approach which permits us to treat with certain kinds of conflicting situations. Our interest in this paper (...) is to show that such systems can be semantically characterized in two different ways: by Kripke-style semantics and by modal possible-translations semantics . Such results are inspired in some universal constructions in logic, in the sense that cathodic systems can be seen as a kind of fusion (a particular case of fibring) between modal logics and non-modal logics, as discussed in Carnielli et al. (Analysis and synthesis of logics, Springer, Amsterdam, 2007). The outcome is inherently within the spirit of universal logic, as our systems semantically intermingles modal logics, paraconsistent logics and many-valued logics, defining new blends of logics whose relevance we intend to show. (shrink)

In this article, we develop a bimodal perspective on possibility semantics, a framework allowing partiality of states that provides an alternative modelling for classical propositional and modal logics. In particular, we define a full and faithful translation of the basic modal logic K over possibility models into a bimodal logic of partial functions over partial orders, and we show how to modulate this analysis by varying across logics and model classes that have independent topological motivations. This relates the two (...) realms under comparison both semantically and syntactically at the level of derivations. Moreover, our analysis clarifies the interplay between the complexity of translations and axiomatizations of the corresponding logics: adding axioms to the target bimodal logic simplifies translations, or vice versa, complex translations can simplify frame conditions. We also investigate a transfer of first-order correspondence theory between possibility semantics and its bimodal counterpart. Finally, we discuss the conceptual trade-off between giving translations and giving new semantics for logical systems, and we identify a number of further research directions to which our analysis gives rise. (shrink)

This work presents some basic results on a theory of translations between logics and a short revision about Łukasiewicz's logics. Then, it is shown, using facts about algebraic semantics, that there is a conservative translation from every finite Łukasiewicz's logic into classical logic. However, this is not a constructive result.

In this paper I address anew the problem of determinacy in translation by examining the Western philosophical and translation theoretic traditions of the last century. Translation theory and the philosophy of language have largely gone their separate ways (the former opting to rebrand itself as “translation studies” to emphasize its empirical and anti-theoretical underpinnings). Yet translation theory and the philosophy of language predominantly share a common assumption that stands in the way of determinate translation. It is that languages, not texts, (...) are the objects of translation and the subjects of semantics. The way to overcome the theoretical problems surrounding the possibility and determinacy of translation is to marry the philosopher of language’s concern for determinacy and semantic accuracy in translation with the notion of a “text-type” from the translation theory literature. The resulting theory capable of explaining determinacy in translation is what I call the text-type conception of semantics (TTS). It is a novel alternative to the salient positions of Contextualism and Semantic Minimalism in the contemporary philosophy of language. (shrink)

This work argues from a social-theoretical perspective for the view that every concept of 'gender' remains bound to reproduction. As every culture is interested in its continuity, it distinguishes individuals according to their assumed possible contribution to reproduction and so develops a fundamental dual classification. Subsequent gender categories are necessarily derived from this one. The conceptual and empirical arguments for this thesis are illustrated through an imagined dystopia. There I envision under what conditions a complete dissociation of the concepts (...) 'sex' and 'gender' from the old dual distinction would be possible and in what way a multiplicity of genders would be accomplished. (shrink)

How much violence can a society expect its members to accept? A comparison between the language theories of Julia Kristeva and Jacques Lacan is the starting point for answering this question. A look at the early stages of language acquisition exposes the sacrificial logic of patriarchal society. Are those forces that restrict the individual to be conceived in a martial imagery of castration or is it possible that an existing society critically questions those points of socialization that leave their (...) members in a state of homelessness? The following considerations should help to distinguish between unavoidable and avoidable forms of violence. (shrink)

The so-called phenomenon of collective intelligence is now a burgeoning movement, with several guises and examples in many areas. We briefly survey some relevant aspects of collective intelligence in several formats, such as social software, crowdfunding and convergence, and show that a formal version of this paradigm can also be posed to logic systems, by employing the notion of logic societies. The paradigm of logical societies has lead to a new notion of distributed semantics, the society semantics, with (...) theoretical advances in defining new forms of n-valued semantics in terms of k-valued semantics, for, and applications to flying security protocols. We summarise the main advances of society semantics, commenting on their general case, the possible-translations semantics and pointing to some conceptual points and some problems and directions still to be explored. (shrink)

In this interview Vattimo discusses with Zabala the possibility of a nihilist philosophy of law as an alternative to the idea of justice and the violence that predictably results from it. To make this substitution would involve the redirection of humanity away from its self-understanding as progressively approaching a metaphysical truth that is eternal and toward the acceptance of an already existing “polytheism of values,” where truth is a contingent and changing product of discursiveness. A society that structures its legal (...) system on what Vattimo terms “optimistic nihilism” would dismiss any urge for the unity and strength supposedly characteristic of monoculturalism and univocal values. Such cohesion as is possible must come from flexibility, responsiveness to contingency, and an openness to multivocal values. “To apply justice to human affairs,” Vattimo argues, is no more than “to adjust things” as conditions change. (shrink)

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 seminar will investigate the semantics of complex demonstratives, that is phrases like that dog with a blue collar and this table where this or that is followed by an NP. There has been much debate recently on the overall semantic shape of these items, with some theorists (e.g. Braun) claiming that they are directly referential in the sense of Kaplan, some (e.g. King) claiming that they are quantificational, some (e.g. Roberts) claiming that they are to be treated as (...) definites in a dynamic semantics, and some (e.g. Elbourne) claiming that this and that are basically Fregean definite articles. Some of the discussion will involve presupposition and possible worlds semantics: does a sentence of the form That F is G (with speaker demonstration) express a proposition if the object demonstrated is not F ? and does the object demonstrated have to be F at an arbitrary world w in order for the proposition expressed by such a sentence to be true at w? Attention will also be paid to the nature of the proximal and distal features on this and that and their translation equivalents in other languages. (shrink)

Semantic noise, the effect ensuing from the denotative and thus functional variability exhibited by different terms in different contexts, is a common concern in natural language processing (NLP). While unarguably problematic in specific applications (e.g., certain translation tasks), the main argument of this paper is that failing to observe this linguistic matter of fact as a generative effect rather than as an obstacle, leads to actual obstacles in instances where language model outputs are presented as neutral. Given that a common (...) and long-standing challenge in NLP is the interpretation of ambiguous – i.e., semantically noisy – cases, this article focuses on an exemplar ambiguity-resolution task in NLP: the problem of anaphora in Winograd schemas. The main question considered is: to what extent is the standard approach to disambiguation in NLP subject to a stagnant “image of language”? And, can a transdisciplinary, dynamic approach combining linguistics and philosophy elucidate new perspectives on these possible conceptual shortcomings? In order to answer these questions we explore the term and concept of noise, particularly in its presentation as semantic noise. Owing to its definitional plurality, and sometimes even desirable unspecificity, the term noise is thus used as proof of concept for semantic generativity being an inherent characteristic in linguistic representation, and its concept is used to interrogate assumptions admitted in the resolution of Winograd schemas. The argument is speculative and theoretical in method, and the result is an analysis which provides an account of the fundamentally dialogical and necessarily open-ended effects of semantic noise in natural language. (shrink)

If semantic consequence is analyzed with extensive games, logical reasoning can be accounted for by looking at how players solve entailment games. However, earlier approaches to game semantics cannot achieve this reduction, by want of explicitly dened preferences for players. Moreover, although entailment games can naturally translate the idea of argumentation about a common ground, a cognitive interpretation is undermined by the complexity of strategic reasoning. We thus describe a class of semantic extensive entailment game with algorithmic players, who (...) have preferences for parsimonious spending of computational resources and thus compute partial strategies under qualitative uncertainty about future histories. We prove the existence of local preferences for moves and of strategic fixpoints that allow to map game-trees to tableaux proofs, and exhibit a strategy prole that solves the fixpoint selection problem, and can be mapped to systematic constructions of semantic trees, yielding a completeness result by translation. We then discuss the correspondence between proof heuristics and strategies in our games, the relations of our games to gts, and possible extensions to other entailment relations. We conclude that the main interest of our result lies in the possibility to bridge argumentative and cognitive models of logical reasoning, rather than in new meta-theoretic results. All proofs are given in appendix. (shrink)

In this paper, we investigate the possibility of translating a fragment of natural deduction system (NDS) for natural language semantics into modern type theory (MTT), originally suggested by Luo (2014). Our main goal will be to examine and translate the basic rules of NDS (namely, meta-rules, structural rules, identity rules, noun rules and rules for intersective and subsective adjectives) to MTT. Additionally, we will also consider some of their general features.

This is the second part of a paper dealing with truth and translation. In Part A a revised version of Tarski's Convention T has been presented, which explicitly refers to a translation mapping from the object language to the metalanguage; the vague notion of a translation has been replaced by a precise definition. At the end of Part A it has been shown that interpreted languages exist, which allow for vicious self-reference but which nevertheless contain their own truth predicate - (...) this is possible if truth is based on a nonstandard translation mapping. However, this result has only been proved for languages without quantifiers. In Part B we now extend the result to first-order languages, and we show that this can be done in three different ways. In each case, the addition of a truth predicate to an interpreted language with a high degree of expressiveness leads to changes in the ontology of the language. (shrink)

Davidson approaches the notions of meaning and interpretation with the aim of characterizing semantic competence in the syntactically characterized natural language. The objective is to provide a truth-theory for a language, generating T-sentences expressed in the semantic metalanguage, so that each sentence of the object language receives an appropriate interpretation. Proceeding within the constraints of referential semantics, I will argue for the viability of reconstructing the notion of linguistic meaning within the Tarskian theory of reference. However, the view proposed (...) here involves a revision of Davidson’s con-ception of the object of semantic investigation. Taking (idealized) language-theories as the proper object of semantic characterization, provides solutions to outstanding problems in Davidson’s views, better approximates the practice in standard model-theoretic semantics, and incorporates the elements of semantic competence sought for in tradi¬tional theories of lexical analysis. Sources of evidence beyond those emphasized by Davidson will be invoked in order to allow for the selection of interpre¬tive T-sentences. In the final section, possible Quinean objections will be considered. (shrink)

The subject of research in this article is the question of the possibility of formalizing the general theory of systems, that is, turning it into a language for describing systems of any nature with unambiguously defined lexical units and rules. To answer this question, the author considers the phenomenon of semantic indeterminacy of languages, which ensures the flexibility of formed lexical constructions due to the multivalence of lexical units. Also the subject of the research is the practice of quoting out (...) of context – a phenomenon, the admissibility of which is conditioned by the isomorphism of lexical constructions, as well as by the creative nature of the cognitive process, in which the result of cognition is unknown in advance, and thus the change of interpretation of the used concepts is inevitable. The conducted research allows us to state that the general theory of systems cannot be exclusively an applied theory, but should be supplemented with an ontological component. In this case, it becomes a philosophical theory, for which full formalization is impossible without loss of functionality. As a result, general systems theory must inevitably retain a certain semantic uncertainty. This uncertainty, however, can be reduced by translation into universality and generalization of concepts. Besides, it is possible and in some cases necessary to formalize separate components of the general theory of systems, in particular, its ontological component - the metaphysics of material existence. (shrink)

We describe a class of semantic extensive entailment game with algorithmic players, related to game-theoretic semantics, and generalized to classical first-order semantic entailment. Players have preferences for parsimonious spending of computational resources, and compute partial strategies, under qualitative uncertainty about future histories. We prove the existence of local preferences for moves, and strategic fixpoints, that allow to map eeg game-tree to the building rules and closure rules of Smullyan's semantic tableaux. We also exhibit a strategy profile that solves the (...) fixpoint selection problem, and can be mapped to systematic constructions of semantic trees, yielding a completeness result by translation. We conclude on possible generalizations of our games. (shrink)

By exploring various semantic possibilities contained in the expression “lost in translation”, this essay addresses various difficulties entailed in the work of translation in general and as they apply to the translation into English of the works of Luigi Pareyson specifically. The essay also surveys the status of the Pareyson scholarship in the Anglophone world and suggests possible ways to foster a more congenial milieu for the appreciation of this important Italian philosopher whose thought is rarely recognized by Anglophone (...) thinkers, even of the continental kind. (shrink)

Francesca Ervas 7 Journal of Language & Translation 9-2September 2008, 7-29 Davidson’s Notions of TranslationEquivalence Francesca Ervas Università Roma Tre Abstract The paper analyses the relationship of semantic equivalence as described by Donald Davidson in his theory of meaning, showing its limits above all in respect to language use in the contextual situation.The notion of equivalence used by the “first” Davidson does not successfully explain why some biconditionals are simply true and why others, besides being true, offer the real translation (...) of the source sentence. The paper argues that the main limits of the Davidsonian proposal, which lie in the very attempt to apply Tarskian theory of truth to natural languages, are partially overcome later by Davidson himself. Above all in his paper A NiceDerangement of Epitaphs (1986), Davidson rejects the very idea of an “invariance of meaning” and proposes a “second” notion of equivalence, described as the research of momentary and always changing points of convergence of interpreter and speaker,depending on contextual information. This convergence is possible because of a “deeper equivalence,” a common cognitive apparatus that allows communication to take place. At any rate, as the paper aims to demonstrate, this solution seems to simply shift the problem on to another level of explanation. Once this level of “deeper equivalence” is reached, there is too no explanation of exactly how a translator can understand contextual implications in order to graspfunctional equivalence. (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)

In 1958 Arnould Bayart, 1911-1998, produced a semantics for first and second-order S5 modal logic, and in 1959 a completeness proof for first-order S5, and what he calls a 'quasi-completeness' proof for second-order S5. The 1959 paper is the first completeness proof for modal predicate logic based on the Henkin construction of maximal consistent sets, and indeed may be the easier application of the Henkin method even to propositional modal logic. The semantics is in terms of possible (...) worlds, which, Bayart notes, can be anything at all. The present paper provides an English translation of both these papers together with an historical introduction and a logical commentary. (shrink)

This book provides a synthesis of four versions of program semantic—srelational semantics, predicate transformer semantics, information systems, and domain theory—showing, through an exhaustive case study analysis, that it is possible to do back-and-forth translation from any of these versions of program semantics into any of the others, and demonstrating that while there are many variations of each, in principle they may be thought of as intertranslatable.

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)

A claim by David K. Lewis (1986) that his counterpart theory provides a semantics for intensional languages is critiqued by showing that basic principles of modal logic fail to be valid in counterpart theory & by investigating problematic counterpart-theoretical translations of instances of universal instantiation. From Lewis's postulate that individuals inhabit only one world & have counterparts in other worlds, it follows that the relation between an object & its counterparts is nontransitive & nonsymmetric; consequently, an object does (...) not need to have exactly one counterpart in any world. The failure of modal principles in counterpart theory is ascribed to the possibility that an object has no counterpart in a given world, whereas universal instantiation becomes invalid when an object has more than one counterpart in a given world. 3 References. Adapted from the source document. (shrink)

The paper aims at developing the idea that the standard operator of noncontingency, usually symbolized by Δ, is a special case of a more general operator of dyadic noncontingency Δ(−, −). Such a notion may be modally defined in different ways. The one examined in the paper is __Δ__(B, A) = df ◊B ∧ (A ⥽ B ∨ A ⥽ ¬B), where ⥽ stands for strict implication. The operator of dyadic contingency __∇__(B, A) is defined as the negation of __Δ__(B, (...) A). Possibility (◊A) may be then defined as __Δ__(A, A), necessity (□A) as __∇__(¬A, ¬A) and standard monadic noncontingency (__Δ__A) as __Δ__( \({\textsf{T}}\), A). In the second section it is proved that the deontic system KD is translationally equivalent to an axiomatic system of dyadic noncontingency named KDΔ 2, and that the minimal system KΔ of monadic contingency is a fragment of KDΔ 2. The last section suggests lines for further inquiries. (shrink)

We may wonder about the status of logical accounts of the meaning of language. When does a particular proposal count as a theory? How do we judge a theory to be correct? What criteria can we use to decide whether one theory is “better” than another? Implicitly, many accounts attribute a foundational status to set theory, and set-theoretic characterisations of possible worlds in particular. The goal of a semantic theory is then to find a translation of the phenomena of (...) interest into a set-theoretic model. Such theories may be deemed to have “explanatory” or “predictive” power if a mapping can found into expressions of set-theory that have the appropriate behaviour by virtue of the rules of set-theory (for example Montague 1973; Montague1974). This can be contrasted with an approach in which we can help ourselves to “new” primitives and ontological categories, and devise logical rules and axioms that capture the appropriate inferential behaviour (as in Turner 1992). In general, this alternative approach can be criticised as being mere “descriptivism”, lacking predictive or explanatory power. Here we will seek to defend the axiomatic approach. Any formal account must assume some normative interpretation, but there is a sense in which such theories can provide a more honest characterisation (cf. Dummett 199). In contrast, the set-theoretic approach tends to conflate distinct ontological notions. Mapping a pattern of semantic behaviour into some pre-existing set-theoretic behaviour may lead to certain aspects of that behaviour being overlooked, or ignored (Chierchia & Turner 1988; Bealer 1982). Arguments about the explanatory and predictive power of set-theoretic interpretations can also be questioned (see Benacerraf 1965, for example). We aim to provide alternative notions for evaluating the quality of a formalisation, and the role of formal theory. Ultimately, claims about the methodological and conceptual inadequacies of axiomatic accounts compared to set-theoretic reductions must rely on criteria and assumptions that lie outside the domain of formal semantics as such. (shrink)

I assume that the task of natural language semantics is to provide an unambiguous logical language into which natural language can be translated in such a way that the translating expressions display a structure which is isomorphic to the meaning of the translated expressions. Since language is a means of thinking and communicating mental contents, the meanings of singular terms cannot be the individuals of the substratist tradition, because such individuals are not cognizable entities. Thus I propose that the (...) logical language be based on Castaneda's guise theory, according to which singular terms always denote guises, i.e., roughly, bundles of properties. This, I argue, would result in a semantics which is in accordance with projects such as Lakoff's natural logic or Fodor's methodological solipsism. ;I first propose a formal system, GCC, which tries to be as faithful as possible to Castaneda's informal presentation of guise theory. It is therefore characterized by different forms of predication and a distinction between a level of property composition and a level of proposition composition. Such a distinction is dropped in a second system, GF, which presents a more traditional Fregean representation of predication. Yet, GF endorses essential assumptions of guise theory such as the existence of different sameness relations that can provide various interpretations for the English "is". I claim that GF provides more theoretical simplicity than GCC. ;Finally, I show the fruitfulness of the present approach by applying GF to a vast collection of linguistico-philosophical puzzles which includes but is not restricted to those that guise theory was originally designed to address: various versions of Frege's paradox, the paradox of analysis, Quine's puzzle on the number of planets, issues of reidentification and intentional identity, the anaphoric "it" of sentences such as "the lizard's tail fell off but then it grew back," problems connected with the use of "knowing-who ," proper names, indexicals and demonstratives. (shrink)

In so-called Kripke-type models, each sentence is assigned either to true or to false at each possible world. In this setting, every possible world has the two-valued Boolean algebra as the set of truth values. Instead, we take a collection of algebras each of which is attached to a world as the set of truth values at the world, and obtain an extended semantics based on the traditional Kripke-type semantics, which we call here the algebraic Kripke (...) semantics. We introduce algebraic Kripke sheaf semantics for super-intuitionistic and modal predicate logics, and discuss some basic properties. We can state the Gödel-McKinsey-Tarski translation theorem within this semantics. Further, we show new results on super-intuitionistic predicate logics. We prove that there exists a continuum of super-intuitionistic predicate logics each of which has both of the disjunction and existence properties and moreover the same propositional fragment as the intuitionistic logic. (shrink)

_Purpose._ The study is aimed at the "philosophy of translation" methodology outlining as an original philosophical texts translation tool from the point of view of culture as anthropological phenomena, namely, individuals’ participating in the text creation process providing the consistent following tasks solution: a) clarifying the text author’s role, which is the object of recipients’ perception; b) the human psyche inexhaustible potential realization for the primary text semantic content understanding by the translator to prevent its distortion; c) defining the requirements (...) for the translation process as a mean of bringing the reader closer to author’s understanding by language barrier elimination as an intuitive "obstacle" on its way. _Theoretical basis._ The author proceeds from the factual absence of the "philosophy of translation" concept unambiguous definition in the modern anthropological and philosophical space and seeks to take into account all the factors affecting the newly created text quality due to the all participants’ features reviled on every stage of the text translation process. Today, the "philosophy of translation" is a widely used phrase, though ignoring the characteristics of man as a single meaning creator of the concept under study. The article provisions are based on philosophical, translation, and psychological studies with an emphasis on classical and non-classical anthropology research (Gadamer, Khoma, Holovach, Chepeleva, Dizdar, Leonov, Lotman, Bakhtin, etc.). _Originality._ The author proposes a methodology for the original philosophical text adaptation and presents a generalized step-by-step scheme for its translation, which helps to solve the personality of the researcher and/or translator’s influence problem on the individual author’s meaning preservation during its reproduction in a reader’s convenient language. _Conclusions._ A look at the "philosophy of translation" from the philosophical anthropology point of view allows us not only to consider the process of translation from the individual characteristics of all the participants (author/philosopher-reader-researcher/translator-reader-philosopher/reader) but also to describe such translation methodology by concentrating on highlighting the author’s reasoning course, which rises new knowledge and encourages further philosophical reflection within the human nature instability problem. The translation of a philosophical text not only reproduces the semantic structure of the original message but also provides a number of possible dialogical reactions to it as an object of human phenomenology. The proposed concept takes into account any reader’s needs, fully preserving the author’s position. (shrink)

In a recent paper, Ferraris, Lee and Lifschitz conjectured that the concept of a stable model of a first-order formula can be used to treat some answer set programming expressions as abbreviations. We follow up on that suggestion and introduce an answer set programming language that defines the mean- ing of counting and choice by reducing these constructs to first-order formulas. For the new language, the concept of a safe program is defined, and its semantic role is investigated. We compare (...) the new language with the concept of a disjunc- tive program with aggregates introduced by Faber, Leone and Pfeifer, and discuss the possibility of implementing a frag- ment of the language by translating it into the input language of the answer set solver DLV. The language is also compared with cardinality constraint programs defined by Syrjänen. (shrink)

There are several three-valued logical systems that form a scattered landscape, even if all reasonable connectives in three-valued logics can be derived from a few of them. Most papers on this subject neglect the issue of the relevance of such logics in relation with the intended meaning of the third truth-value. Here, we focus on the case where the third truth-value means unknown, as suggested by Kleene. Under such an understanding, we show that any truth-qualified formula in a large range (...) of three-valued logics can be translated into KD as a modal formula of depth 1, with modalities in front of literals only, while preserving all tautologies and inference rules of the original three-valued logic. This simple information logic is a two-tiered classical propositional logic with simple semantics in terms of epistemic states understood as subsets of classical interpretations. We study in particular the translations of Kleene, Gödel, ᴌukasiewicz and Nelson logics. We show that Priest’s logic of paradox, closely connected to Kleene’s, can also be translated into our modal setting, simply by exchanging the modalities possible and necessary. Our work enables the precise expressive power of three-valued logics to be laid bare for the purpose of uncertainty management. (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)

Studies on bilingual word processing have demonstrated that the two languages in a mental lexicon can be parallelly activated. However, it is under discussion whether the activated, non-target language gets involved in the target language. The present study aimed to investigate the role of the first language translation in the second language word processing. The tasks of semantic relatedness judgment and lexical decision were both adopted, to explore the relation of the possible L1 involvement and the task demand. Besides, (...) bilinguals with relatively higher and lower L2 proficiency were recruited, to clarify the potential influence of L2 proficiency. Results showed that the manipulation of L1 translation exerted an influence on bilinguals’ task performances, indicating that L1 translation was involved, but did not just serve as a by-product when bilinguals were processing L2 words. And about the influence of L2 proficiency, the higher proficiency bilinguals performed better than the lower proficiency ones when the L1 translations could be taken advantage of, indicating a better access to L1 translation in L2 word processing, as bilinguals’ L2 proficiency increased. As for the task demands, the L1 translation was partially involved in Experiment 1 while a full involvement was observed in Experiment 2, suggesting a differed depth of L1 translation involvement, if the task demands allowed. The present study supplemented the previous ones due to its participants and tasks ; besides, it provided an interesting view into interpreting the “task schema” of the BIA+ model. (shrink)

In the Introduction to the Critique of Pure Reason Kant raises a famous question: how is metaphysics possible as a science? Kant posed this question for his predecessors in early modern philosophy. I raise this question anew for the resurgence of metaphysics within analytic philosophy. I begin by dividing the question of the possibility of metaphysics into separate questions about its semantic and epistemic possibility, and translate them into contemporary terms as: (1) Why do terms in metaphysical theories refer? (...) (2) How do we have knowledge in metaphysics? I then argue that the inflationary conception of metaphysics cannot explain the semantic possibility of metaphysics and, consequently, cannot explain its epistemic possibility. I then argue, more briefly, that a deflationary conception cannot satisfactorily answer the Kantian questions either. The critical path alone remains open. (shrink)

Paul Ricoeur and Jacques Derrida agree that translation is a tensive activity oscillating between the possible and the impossible with reference to the transposition of meaning among diverse systems of discourse. Both acknowledge that risk, alterity, and plurality accompany every attempt at paraphrasing language “in other words.” Consequently, their positions adhere to the traditional adage that “the translator is a traitor,” precisely because something is always lost in the semantic transfer. Yet, Derrida notes an important disagreement between their respective (...) approaches to translation and accuses Ricoeur of harboring a nostalgia for unitive meaning and of promoting the possibility of a transcendental signified that could produce a “pure” translation. In this essay, I critique Derrida’s interpretation of Ricoeur specifically by examining their individual interpretations of the Tower of Babel myth. I argue that Ricoeur’s theory of Babel as a non-punitive celebration of diversity and the open play of meaning “out-deconstructs” Derrida’s own notion of dissemination. (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.

In the paper we will study the notions of possible-worlds semantics, fiction, and creativity. The intention is to show how the notion of possible-worlds semantics allows us to generate a fresh interpretation of the notions of fiction and creativity. To do this, we have to consider the philosophy of logic. Possible-worlds semantics can be used in interpreting modal notions. The intention is to interpret the notions of fiction and creativity as modal notions. However, the (...) analysis shows that the notions of fiction and creativity are multimodal notions. (shrink)

In the logic of theory change, the standard model is AGM, proposed by Alchourrón et al. (J Symb Log 50:510–530, 1985 ). This paper focuses on the extension of AGM that accounts for contractions of a theory by a set of sentences instead of only by a single sentence. Hansson (Theoria 55:114–132, 1989 ), Fuhrmann and Hansson (J Logic Lang Inf 3:39–74, 1994 ) generalized Partial Meet Contraction to the case of contractions by (possibly non-singleton) sets of sentences. In this (...) paper we present the possible worlds semantics for partial meet multiple contractions. (shrink)

The canonical version of possible worlds semantics for story prefixes is due to David Lewis. This paper reassesses Lewis's theory and draws attention to some novel problems for his account.

This book provides a detailed commentary on the classic monograph by Alfred Tarski, and offers a reinterpretation and retranslation of the work using the original Polish text and the English and German translations. In the original work, Tarski presents a method for constructing definitions of truth for classical, quantificational formal languages. Furthermore, using the defined notion of truth, he demonstrates that it is possible to provide intuitively adequate definitions of the semantic notions of definability and denotation and that (...) the notion in a structure can be defined in a way that is analogous to that used to define truth. Tarski’s piece is considered to be one of the major contributions to logic, semantics, and epistemology in the 20th century. However, the author points out that some mistakes were introduced into the text when it was translated into German in 1935. As the 1956 English version of the work was translated from the German text, those discrepancies were carried over in addition to new mistakes. The author has painstakingly compared the three texts, sentence-by-sentence, highlighting the inaccurate translations, offering explanations as to how they came about, and commenting on how they have influenced the content and suggesting a correct interpretation of certain passages. Furthermore, the author thoroughly examines Tarski’s article, offering interpretations and comments on the work. (shrink)

In the paper we examine the problem of logical systems that are extensions of Classical Propositional Logic with new, intensional connectives of agency: monadic and dyadic _bringing it about that_. These systems are usually studied within the neighbourhood semantics. Here we propose a different strategy. We study all of the accepted laws and rules of logic of agency and define a translation of the agency operators into connectives interpreted in relating semantics. After this translation we can make a (...) reduction to more basic semantic properties that are required by the particular groups of laws and axioms. Finally, we define proper semantic structures and prove that they are complete with respect to all possible logical systems determined by the combinations of the axioms and rules. (shrink)

Conditional structures lie at the heart of the sciences, humanities, and everyday reasoning. It is hence not surprising that conditional logics – logics specifically designed to account for natural language conditionals – are an active and interdisciplinary area. The present book gives a formal and a philosophical account of indicative and counterfactual conditionals in terms of Chellas-Segerberg semantics. For that purpose a range of topics are discussed such as Bennett’s arguments against truth value based semantics for indicative conditionals.

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)

The article considers the principles underpinning the Ukrainian translation of Sextus Empiricus’ Outlines of Pyrrhonism and the translation strategy employed to render the fundamental concepts of his philosophy. The author believes that the translation should fully reproduce Outlines of Pyrrhonism’s rich word-forming terminological potential while preserving the internal form and etymological affinity of concepts. The basic principle is the unification of terms and key concepts. At the same time, an acceptable translation should adequately convey the original meaning of the text (...) and not its letter. The accurate translation of the contents is more important than an effort to use the same Ukrainian word throughout the translation as an equivalent of a particular word in the original. Besides, our translation seeks to abide by a principle that one has to avoid, whenever possible, Grecisms, Latinisms, and loan translations from the Russian language. In accord with this translation strategy, the paper describes the lexical and semantic fields of the basic concepts of skepticism, their paradigmatic and syntagmatic connections, and the range of these terms’ derivation, and substantiates the choice of Ukrainian equivalents. The explanations are illustrated by fragments of the contextual translation of several cognate word forms. The translation should take into account the extensive synonymy present in the Greek text and certain lability of the terminological system used by Sextus himself. The translator’s intentions aim at conveying the rich lexical imagery and metaphors of the Outlines of Pyrrhonism. (shrink)

In the tech report Artemov and Yavorskaya [4] an elegant formulation of the first-order logic of proofs was given, FOLP. This logic plays a fundamental role in providing an arithmetic semantics for first-order intuitionistic logic, as was shown. In particular, the tech report proved an arithmetic completeness theorem, and a realization theorem for FOLP. In this paper we provide a possible-world semantics for FOLP, based on the propositional semantics of Fitting [5]. We also give an Mkrtychev (...) semantics. Motivation and intuition for FOLP can be found in Artemov and Yavorskaya [4], and are not fully discussed here.This paper is dedicated to Sergei Artemov, an honored colleague and friend, who has made wonderful things for the rest of us to play with. (shrink)

Possible world semantics considers not only what an expression actually refers to but also what it might have referred to in counterfactual circumstances. This has proven exceptionally useful both inside and outside philosophy. The way this is achieved is by using intensions. An intension of an expression is a function that assigns to each possible world the reference of the expression in that world. However, the specific intension of terms has been subject to frequent disputes. How is (...) one to determine the intension of a term? Carnap has shown how the intension of a term depends on the type of that term. Two-dimensional semantics has shown how intensions also depend on the actual state of affairs. I will show how, in addition, intensions are no less dependent on metaphysical criteria of identity. Furthermore, I will reveal how these three factors interact to fix the exact intension of a term. In other words, I propose an outline of the overall mechanism by which intensions are being fixed. (shrink)