This licentiate thesis consist of two separate research papers which concern two tangential topics – that of semantic information and that of information security. Both topics are approached by similar methods, i.e. with a concern about conceptual and definitional issues. In Paper I – concerning the concept of information, and a semantic conception thereof – the conceptual, and definitional, issues focus on one property, that of truthfulness. It is argued – against the veridicality thesis – that (...) class='Hi'>semantic information need not be truthful. In Paper II – concerning information security – it is argued that the current leading definitions (so-called ‘CIA’ definitions, which define information as secure if, and only if, the properties of confidentiality, integrity, and availability are retained) suffer from both actual and possible counter-examples, and lack an appropriate conceptual sense. On the basis of this criticism a new kind of definitions is proposed and argued for. (shrink)

We present a model-theoretic approach for reasoning about security protocols, applying recent insights from dynamic epistemic logics. This enables us to describe exactly the subsequent epistemic states of the agents participating in the protocol, using Kripke models and transitions between these based on updates of the agent's beliefs associated with steps in the protocol. As a case study we will consider the SRA Three Pass protocol and discuss the Wide-Mouthed Frog protocol.

In the past couple of decades, there were a few major attempts to establish the thesis of pragmatic infringement – that a significant pragmatic ingredient figures significantly in the truth-conditions for knowledge-ascriptions. As candidates, epistemic contextualism and Relativism flaunted conversational standards, and Stanley's SSI promoted stakes. These conceptions were propelled first and foremost by obviously pragmatic examples of knowledge ascriptions that seem to require a pragmatic component in the truth-conditions of knowledge ascriptions in order to be accounted for. However, if (...) such examples can be adequately explained purely pragmatically, the need that such examples seem to invoke in such a pragmatic component is undermined. Here I lay out a new pragmatic account – of action-directed pragmatics, offering a different account of such examples and their pragmatic flavor. If adequate, it obviates the above need for pragmatic enrichment. Specifically, I develop and I argue for a well-entrenched pragmatic feature – that of a steering role. The assertions of knowledge ascriptions and their denials as well as of simple assertions (that don't invoke knowledge) play a pragmatic role of steering audiences in joint deliberational setups toward, or away from, the speaker's preferred action (as well as in assertions of 'I am sure', of epistemic modals, taste assertions, causal assertions, and more.) Various features and consequences of this account are drawn. Specifically, I explain why in the bank example (and related ones) the husband, in denying the knowledge ascription, neither lies nor misleads. (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)

We study access control policies based on the says operator by introducing a logical framework called Fibred Security Language (FSL) which is able to deal with features like joint responsibility between sets of principals and to identify them by means of first-order formulas. FSL is based on a multimodal logic methodology. We first discuss the main contributions from the expressiveness point of view, we give semantics for the language both for classical and intuitionistic fragment), we then prove that in (...) order to express well-known properties like ‘speaks-for’ or ‘hand-off’, defined in terms of says, we do not need second-order logic (unlike previous approaches) but a decidable fragment of first-order logic suffices. We propose a model-driven study of the says axiomatization by constraining the Kripke models in order to respect desirable security properties, we study how existing access control logics can be translated into FSL and we give completeness for the logic. (shrink)

Moving away from simple data sharing within the science community towards cross-organizational collaboration scenarios significantly increased challenges related to security and privacy. They need to be addressed in order to make cross-organizational applications such as collaborative working environments a business proposition within communities such as eHealth, construction or manufacturing. Increasingly distributed scenarios where many different types of services need to be combined in order to implement semantically enriched business processes demand new approaches to security within such dynamic Virtual (...) Organizations. The allocation of access rights need to be possible in an easy and controlled way in order to allow inexperienced users to maintain the information and ensure compliance e.g. with legal and privacy related regulations. In this paper the focus is how security concepts originating from the Grid domain have been applied for collaborative working environments. The chosen scenarios are a Virtual Laboratory for Infectious Diseases (ViroLab) and different collaborative environments from the engineering domain as defined within the CoSpaces project. The requirements from these scenarios are analyzed and a security model enabling such dynamic, secure and trustworthy collaborations is presented. (shrink)

Security police, state security services, security measures, security politics…a dreadful semantic chain. Everything stubbornly conservative, repressive, antithetical to freedom is expressed in the concept of security. The meaning always implies security for an established order against whatever seems to threaten, disturb or endanger it from without or from within. One can secure, reassure, insure or protect Movements, associations and networks within which a part of the population unites spontaneously can be channeled, controlled or (...) combatted. Peace, order and security are implied. Negativity is to be negated in the name of the “actually existing.” The striving for security is in fact opposed to the striving of all living beings toward self development. (shrink)

The article states the core thesis about two asymmetric modes of existence of war – physical and discursive. The purpose of the article is to substantiate the analytical and practical necessity of distinguishing between two modes of existence of hybrid warfare as a phenomenon of physical reality and as a discursive construct, as well as to raise questions about the value specificity of the relationship between them. The methodology of work represents the implication of two asymmetric modes of war existence (...) – physical and discursive. The relationship between the two modes can be described in particular through modern cognitive-semantic and communicative approaches. Analysis, synthesis, description, distinction, historical perspective, forecasting and hermeneutic tools of comprehension are the core methods of this work. In the military dimension, any military confrontation in general is localized, while the discourse of this hybrid war has become global. The interpretive component of hybrid warfare is implemented through discursive verbal-semiotic means. Particular attention is paid to the analysis of the concept of victory. The Ukrainian dimension embodies the postmodern practical representation of the analysis of the problem of hybrid warfare as a war of interpretations. (shrink)

We offer a formal treatment of the semantics of both complete and incomplete mistrustful or distrustful information transmissions. The semantics of such relations is analysed in view of rules that define the behaviour of a receiving agent. We justify this approach in view of human agent communications and secure system design. We further specify some properties of such relations.

Enterprise Risk Management involves the process of identification, evaluation, treatment, and communication regarding risks throughout the enterprise. To support the tasks associated with this process, several frameworks and modeling languages have been proposed, such as the Risk and Security Overlay (RSO) of ArchiMate. An ontological investigation of this artifact would reveal its adequacy, capabilities, and limitations w.r.t. the domain of risk and security. Based on that, a language redesign can be proposed as a refinement. Such analysis and redesign (...) have been executed for the risk elements of the RSO grounded in the Common Ontology of Value and Risk. The next step along this line of research is to address the following research problems: What would be the outcome of an ontological analysis of security-related elements of the RSO? That is, can we identify other semantic deficiencies in the RSO through an ontological analysis? Once such an analysis is provided, can we redesign the security elements of the RSO accordingly, in order to produce an improved artifact? Here, with the aid of the Reference Ontology for Security Engineering (ROSE) and the ontological theory of prevention behind it, we address the remaining gap by proceeding with an ontological analysis of the security-related constructs of the RSO. The outcome of this assessment is an ontology-based redesign of the ArchiMate language regarding security modeling. In a nutshell, we report the following contributions: (1) an ontological analysis of the RSO that identifies six limitations concerning security modeling; (2) because of the key role of the notion of prevention in security modeling, the introduction of the ontological theory of prevention in ArchiMate; (3) a well-founded redesign of security elements of ArchiMate; and (4) ontology-based security modeling patterns that are logical consequences of our proposal of redesign due to its underlying ontology of security. As a form of evaluation, we show that our proposal can describe risk treatment options, according to ISO 31000. Finally, besides presenting multiple examples, we proceed with a real-world illustrative application taken from the cybersecurity domain. (shrink)

In Risk Management, security issues arise from complex relations among objects and agents, their capabilities and vulnerabilities, the events they are involved in, and the value and risk they ensue to the stakeholders at hand. Further, there are patterns involving these relations that crosscut many domains, ranging from information security to public safety. Understanding and forming a shared conceptualization and vocabulary about these notions and their relations is fundamental for modeling the corresponding scenarios, so that proper security (...) countermeasures can be devised. Ontologies are instruments developed to address these conceptual clarification and terminological systematization issues. Over the years, several ontologies have been proposed in Risk Management and Security Engineering. However, as shown in recent literature, they fall short in many respects, including generality and expressivity - the latter impacting on their interoperability with related models. We propose a Reference Ontology for Security Engineering (ROSE) from a Risk Treatment perspective. Our proposal leverages on two existing Reference Ontologies: the Common Ontology of Value and Risk and a Reference Ontology of Prevention, both of which are grounded on the Unified Foundational Ontology (UFO). ROSE is employed for modeling and analysing some cases, in particular providing clarification to the semantically overloaded notion of Security Mechanism. (shrink)

This doctoral thesis consists of five research papers that address four tangential topics, all of which are relevant for the challenges we are facing in our socio-technical society: information, security, privacy, and anonymity. All topics are approached by similar methods, i.e. with a concern about conceptual and definitional issues. In Paper I—concerning the concept of information and a semantic conception thereof—it is argued that the veridicality thesis is false. In Paper II—concerning information security—it is argued that the (...) current leading definitions suffer from counter-examples, and lack an appropriate conceptual sense. Based on this criticism a new kind of definition is proposed and defended. In Paper III—concerning control definitions of privacy—it is argued that any sensible control-definition of privacy must properly recognize the context as part of the defining criteria. In Paper IV—concerning the concept of privacy—it is argued that privacy is a normative concept and that it is constituted by our social relations. Final, in Paper V—concerning anonymity—it is argued that the threat from deanonymization technology goes beyond harm to anonymity. It is argued that a person who never is deanonymized can still be harmed and what is at stake is an ability to be anonymous. (shrink)

Securitization of infectious diseases may involve suspension of ordinary human rights and liberties. In the event of an epidemic, therefore, it is important to limit the occasions upon which draconian disease control measures are implemented in the name of security. The term ‘security’, moreover, should not be used too loosely if it is to retain force and meaning in political discourse. It may be argued that the bar for disease securitization should be set high so that it is (...) limited to contexts involving rapidly spreading pathogens. Such an approach, however, would rule out securitization of more slowly spreading, endemic diseases such as HIV/AIDS. An advantage of characterizing HIV/AIDS as a security threat in developing countries, where the burden of the disease is concentrated, is that this is likely to mobilize resources needed to improve the situation there. That is, if HIV/AIDS is convincingly framed as a security threat, then governments may recognize self‐interested reasons to ramp up control measures. Following consideration of arguments for narrow (excluding HIV/AIDS) versus broad (including HIV/AIDS) conceptions of security, we conclude that the legitimacy of ‘securitizing’ HIV/AIDS ultimately turns on empirical and semantic issues, and we emphasize the importance of distinguishing (1) the nature of the threat posed by HIV/AIDS and (2) the measures required to address that threat. (shrink)

This article motions to a real contradiction between online security and civil rights. It traverses semantic and conceptual elaborations of both security and human rights, narrowing their range to national security and human rather than civil rights, and suggests that the concept of security itself, whether online or not, is a rhetorical instrument in the hands of interested parties, mostly states and militaries. This instrument is used to undermine human rights precisely by means of its (...) association and even identification with military and national settings. Asking whether the same ethics applies in the case of online security (vs. human rights), our tentative conclusion is that a similar moral determination rules in the case of online security, which may be exponentially more complex, but no less ethically compelling. (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)

A common view relating compositional semantics and the objects of assertion holds the following: Sentences φ and ψ expresses the same proposition iff φ and ψ have the same modal profile. Following Dummett, Evans, and Lewis, Stanley argues that this view is fundamentally mistaken. According to Dummett, we must distinguish the semantic contribution a sentence makes to more complex expressions in which it occurs from its assertoric content. Stojnić insists that views which distinguish the roles of content and (...) class='Hi'>semantic value must nevertheless ensure a tight connection between the two. But, she contends, there is a crucial disanalogy between the views that follow Lewis and the views that follow Dummett. Stanley’s Dummettian view is argued to contain a fatal flaw: On such views, there is no way to secure an appropriate connection between semantic value and a theoretically motivated notion of assertoric content. I will review the background issues from Dummett, Evans, Lewis, and Stanley, and provide a principled way of bridging the gap between semantic value and a theoretically motivated notion of assertoric content. (shrink)

In ''''A Defense of Evolutionary Ethics'''' (1986), Robert J. Richardsendeavors to explain how moral ''oughts'' can be derived from thescience of evolutionary biology without committing the dreadednaturalistic fallacy. First, Richards assumes that ''ought'' as usedin ethical discourse bears the same meaning as ''ought'' used anywherein science, indicating merely that certain results or behaviors arepredicted based on prior structured contexts. To this extent, themoral behavior of animals, what they ''ought'' to do, could arguablybe predicted by evolutionary biology as effectively as, say,molecular (...) behavior may be predicted by chemistry. But afteracknowledging that biological inferences to this limited senseof ''ought'' were never contested by Moore''s naturalistic fallacy,Richard proposes to add to evolutionary ethics a decision procedureto determine which members of a set of predicted behaviors arethose which truly ought to occur – in the genuinelyprescriptive sense intended by ethical discourse. But theprocedure which Richards fabricates for this purpose appealsto such alleged ''facts'' as cultural conventions and moral opinionpolling, hardly a secure foundation for the sort of scientific ethics promised by Richards at the outset. (shrink)

In this paper we offer an exegesis of Hilary Putnam’s classic argument against the brain-in-avat hypothesis offered in his Reason, truth and history (1981). In it, Putnam argues that we cannot be brains in a vat because the semantics of the situation make it incoherent for anyone to wonder whether they are a brain a vat. Putnam’s argument is that in order for ‘I am a brain in a vat’ to be true, the person uttering it would have to be (...) able to refer successfully to those things: the vat, and the envatted brain. Putnam thinks that reference can’t be secured without relevant kinds of causal relations, which, if envatted, the brain would lack, and so, it fails to be able to meaningfully utter ‘I am a brain in a vat’. We consider the implications of Putnam’s arguments for the traditional sceptic. In conclusion, we discuss the role of Putnam’s arguments against the brain in a vat hypothesis in his larger defense of his own internal realism against metaphysical realism. (shrink)

The classification-cum-explanation Kripke assigns to rigidity requires the notion to apply to singular and general terms alike. But Kripke's own notion of rigidity is tailor-made for singular terms, and an extensive debate has not secured a general notion of rigidity apt to provide the classification-cum-explanation Kripke aims for. I propose that we look for a Kripkean alternative to generalized rigidity. I argue that on Kripkean premises, natural kind terms and proper names belong to the meta-semantic category of paradigm terms. (...) I also argue that the property of being a paradigm term effects precisely the classification-cum-explanation Kripke attributes to rigidity. I conclude that Kripkeans should acknowledge that being a paradigm term, rather than designating rigidly, plays the role Kripke delineates, and that we can stop worrying about generalizing rigidity. Kripke's notion works fine for singular terms. And there is no need for rigidity to apply beyond these. (shrink)

Constructs developed for the semantics of artificial languages are often proposed as the proper description of aspects of the semantics of natural languages. Most of us are familiar with the claims that conjunction, disjunction, negation, and material implication in standard versions of propositional calculus describe the meaning of “and”, “or”, “not”, and “if …, then …” in English. The argument for such claims is not only that these constructs account for meanings in English but that they offer the advantage of (...) well-understood formal apparatus for the explication of meaning in natural language. The argument against such claims is that explications based on this apparatus leave important aspects of the meaning of “and”, “or”, “not”, and “if …, then …” unexplicated. It is charged that the advantage of a well-understood formalism is secured at the expense of truth. Many of the most significant issues in philosophic logic are or depend on questions about whether constructs from artificial languages provide adequate semantic descriptions for natural languages. (shrink)

According to the well-known Kripke-Putnam view developed in Naming and Necessity and ‘The Meaning of Meaning’, proper names and ‘natural kind terms’ - words for natural substances, species, and phenomena - are non-descriptional and rigid. A singular term is rigid if it has the same referent in every possible world, and is non-descriptional if, roughly speaking, its referent is not secured by purely descriptive conditions analytically tied to the term. Thus, ‘the inventor of bifocals’ is nonrigid and descriptional, while ‘the (...) unique even and prime integer’ is rigid and descriptional, and ‘Noam Chomsky’ is rigid and non-descriptional. (shrink)

The recent development of the research field of Computing and Philosophy has triggered investigations into the theoretical foundations of computing and information. This thesis consists of two parts which are the result of studies in two areas of Philosophy of Computing and Philosophy of Information regarding the production of meaning and the value system with applications. The first part develops a unified dual-aspect theory of information and computation, in which information is characterized as structure, and computation is the information dynamics. (...) This enables naturalization of epistemology, based on interactive information representation and communication. In the study of systems modeling, meaning, truth and agency are discussed within the framework of the PI/PC unification. The second part of the thesis addresses the necessity of ethical judgment in rational agency illustrated by the problem of information privacy and surveillance in the networked society. The value grounds and socio-technological solutions for securing trustworthiness of computing are analyzed. Privacy issues clearly show the need for computing professionals to contribute to understanding of the technological mechanisms of Information and Communication Technology. The main original contribution of this thesis is the unified dual-aspect theory of computation/information. Semantics of information is seen as a part of the data-information-knowledge structuring, in which complex structures are self-organized by the computational processing of information. Within the unified model, complexity is a result of computational processes on informational structures. The thesis argues for the necessity of computing beyond the Turing-Church limit, motivated by natural computation, and wider by pancomputationalism and paninformationalism, seen as two complementary views of the same physical reality. Moreover, it follows that pancomputationalism does not depend on the assumption that the physical world on some basic level is digital. Contrary to many believes it is entirely compatible with dual quantum-mechanical computing. (shrink)

If one takes seriously the idea that a scientific language must be extensional, and accepts Quine’s notion of truth-value-related extensionality, and also recognizes that a scientific language must allow for singular terms that do not refer to existing objects, then there is a problem, since this combination of assumptions must be inconsistent. I will argue for a particular solution to the problem, namely, changing what is meant by the word ‘extensionality’, so that it would not be the truth-value that had (...) to be preserved under the substitution of co-extensional expressions, but the state of affairs that the sentence described. The question is whether or not elementary sentences containing empty singular terms, such as ‘Vulcan rotates’, are extensional in the substitutivity sense. Five conditions are specified under which extensionality in the substitutivity sense of such sentences can be secured. It is demonstrated that such sentences are state-of-affairs-as-extension-related extensional. This implies that such sentences are also truth-value-related extensional in Quine’s sense, but not truth-value-as-extension-related extensional. (shrink)

Scotus holds that dispositional and occurrent cognitions (intelligible species and acts of cognition, in the medieval jargon) are qualities that inhere in the soul. These qualities have semantic or conceptual content. I show that such content is nothing in any sense real, and that this content consists either in the relevant quality’s being (factually) measured by an extramental object, or in its being such that it would be measured (counterfactually) by such an object in the case that there were (...) such an object. The measurement relation, in the case of an intelligible species, is secured by the species’s internal structure; in the case of an act of cognition, it is secured either by some sort of (non-causal) relation to a species, or by a (non-causal) relation to an external object. (shrink)

This paper examines Walter Chatton’s discussion of the problem of prophesied future contingents in his Lectura super Sententias. Faced with the challenge of reconciling the supposedly veridical character of divine prophecy with human freedom to do otherwise, Chatton casts the relation of prophecy to event in the form of a logical consequentia and formulates two rules which depend on the character of the antecedent in question. In the case of antecedents involving divine knowledge and related phenomena, the freedom of the (...) wayfarer to do otherwise is secured by the assumption that the consequence is necessary but the antecedent is semantically contingent. In the case of concrete utterances and phenomena, on the other hand, the wayfarer’s freedom is secured by the assumption that the consequence itself is contingent. Chatton’s treatment, while analytically subtle and rigorous, leaves a number of important questions unanswered, most notably that of the ontological openness or closure of the future. Nevertheless, it is interesting both in its own right and insofar as it provides a clarifying source for Chatton’s later discussion of the same topic in his Quodlibet. (shrink)

In this paper, using Mark Schroeder’s (2008a) expressivist semantic framework for normative language as a case study, I will identify difficulties that even an expressivist semantic theory capable of addressing the Frege-Geach problem will encounter in handling the logical possibility of moral dilemmas. To this end, I will draw on a classical puzzle formulated by McConnell (1978) that the logical possibility of moral dilemmas conflicts with some of the prima facie plausible axioms of the standard deontic logic, which (...) include obligation implies permission. On the tentative assumption that proponents of ethical expressivism should be generally committed to securing the logical possibility of moral dilemmas in their semantic theories, I will explore whether and how expressivists can successfully invalidate obligation implies permission within the framework developed by Schroeder. The case study eventually reveals that this can indeed be a hard task for expressivists. Generalizing from the case study, I will suggest that the source of the difficulty ultimately lies in the mentalist assumption of the expressivist semantic project that the logico-semantic relations exhibited by normative sentences should be modeled in terms of the psychological attitudes that speakers express by uttering them. My final goal will be to show that the difficulty expressivists face in dealing with the logical possibility of moral dilemmas is a reflection of the more general problem that their commitment to the mentalist assumption prevents them from flexibly adopting or dropping axioms in their semantic theories to get the right technical results. (shrink)

This paper will discuss the role of modality in UN Security Council resolutions. As a work in progress on whether the use of strategic vagueness in UN resolutions has contributed to the outbreak of the second Gulf war, this work proposes a qualitative and quantitative analysis on the role of vagueness of the central modal verbs shall, should, and may in the institutional language of the UN, drawing upon Wodak’s Discourse-Historical Approach and Jenkins, Gotti, and Trosborg's theories on modality. (...) Observing the semantic and linguistic values of these modals, the analysis investigates their double-faced strength: though they can be used to guarantee a wide degree of applicability of the resolutions, their subjective interpretability might become a source of manipulation and elusiveness, supporting a legislative intent of using vagueness as a political strategy. (shrink)

Intelligent sensors should be seamlessly, securely, and trustworthy interconnected to enable automated high-level smart applications. Semantic metadata can provide contextual information to support the accessibility of these features, making it easier for machines and humans to process the sensory data and achieve interoperability. The unique overview of sensor ontologies according to the semantic needs of the layers of IoT solutions can serve a guideline of engineers and researchers interested in the development of intelligent sensor-based solutions. The explored trends (...) show that ontologies will play an even more essential role in interlinked IoT systems as interoperability and the generation of controlled linkable data sources should be based on semantically enriched sensory data. (shrink)

We describe a strategy that is being used for the horizontal integration of warfighter intelligence data within the framework of the US Army’s Distributed Common Ground System Standard Cloud (DSC) initiative. The strategy rests on the development of a set of ontologies that are being incrementally applied to bring about what we call the ‘semantic enhancement’ of data models used within each intelligence discipline. We show how the strategy can help to overcome familiar tendencies to stovepiping of intelligence data, (...) and describe how it can be applied in an agile fashion to new data resources in ways that address immediate needs of intelligence analysts. (shrink)

The Concept of the whole utterance, we are inclined to to believe, is basic in meaning-theory. But any theory which locates a conceptual base must show how items in the super-structure relate to that base, and so for theories of meaning. There are units of meaning both larger and smaller than whole utterances: narrative, in which several whole utterances follow one another in some organized fashion, seems relatively unproblematic, but the relations of meaningful parts of utterances to the utterances themselves (...) remains unclear. Grice's theory of meaning secures the logical priority of whole utterances, and in addition, lends itself to an attractive and theoretically fruitful view of the relations between whole utterances and their meaningful parts; or so I shall try to demonstrate. (shrink)

The paper, as Part I of a two-part series, argues for a hybrid formulation of the semantic view of scientific theories. For stage-setting, it first reviews the elements of the model theory in mathematical logic (on whose foundation the semantic view rests), the syntactic and the semantic view, and the different notions of models used in the practice of science. The paper then argues for an integration of the notions into the semantic view, and thereby offers (...) a hybrid semantic view, which at once secures the view's logical foundations and enhances its applicability. The dilemma of either losing touch with the practice of science or yielding up the benefits of the model theory is thus avoided. (shrink)

For most of the 1980s, Jon Barwise focused much of his research in the area of natural language semantics. This article surveys his research publications in that area.Most, but not all, of those publications were in the area of situation semantics, a new approach to natural language semantics Barwise developed jointly with his colleague John Perry in the first half of the 1980s. That work was both blessed, and cursed, by becoming closely identified in academic circles with the award of (...) a $23 million gift to Stanford from the System Development Foundation for the establishment in 1983 of its Center for the Study of Language and Information. The development of situation semantics, and in due course its underlying mathematical foundation Situation Theory, carried out for the most part within the framework of CSLI's STASS research group, was actually a relatively small part of the overall research program at CSLI. But because Barwise and Perry were leading figures at CSLI, were centrally involved in securing the SDF gift, and were respectively the first and second directors of CSLI, a general impression sprung up that the two of them had been awarded millions of dollars to develop situation semantics.A major consequence of this false impression was that from the theory's early days, a great deal of interest was shown in the project. With so many accomplished scholars pouring over the work while the ink was still wet on the manuscript pages, Barwise and Perry were able to take advantage of a broad range of helpful criticism. This meant that they were able to develop the new theory much more rapidly than would otherwise have been the case. (shrink)

This is a brief letter outlining speculative ideas for semantic web reasoning about information assurance. Much work has been done on the development of semantic web applications for reasoning about information assurance. A significant portion of this work is focused upon semantic web ontologies and reasoning about security policies and the underlying implementation of those policies. While numerous semantic web-based security policy ontologies and reasoners exist, both academically and commercially, I will briefly focus on (...) ideas related to solutions to the problem of managing semantic web rules using algorithmic information theory. (shrink)

L’ambiguïté du sens de la résolution 242 (1967) du Conseil de sécurité est un problème classique de l’interprétation en droit international. Celle-ci repose sur l’ambiguïté de la signification du déterminant zéro pluriel anglais, le sens générique d’une part, qui emporte tous les éléments du groupe, et le sens catégoriel d’autre part, qui lui ne dit rien sur la quantité considérée. Ce déterminant zéro pluriel anglais se traduit en français par différents déterminants pluriels : défini pour le sens générique, indéfini pour (...) le sens catégoriel. En relevant les fréquences de traductions en français du déterminant zéro pluriel anglais dans le corpus des résolutions du Conseil de sécurité, on peut établir les proportions de ces deux sens et établir le sens majoritaire du déterminant zéro pluriel anglais dans le corpus. Ce sens majoritaire permet ainsi d’établir de façon plus rigoureuse le sens ordinaire de l’expression anglaise problématique de la résolution 242 (1967). (shrink)

My paper argues that Luc Boltanski’s pragmatic sociology makes an important contribution to two central concerns of critical theory: the empirical analysis of the contradictions and conflicts of capitalist societies and the reflexive clarification of the epistemological and normative grounds of critique. I show how Boltanski’s assessment of the limitations of Bourdieu’s critical sociology significantly influenced his pragmatic sociology of critique and explication of the political philosophies present in actors’ practices of dispute and justification. Although pragmatism has revealed how social (...) life involves considerable uncertainty, Boltanski contends that critique needs to take into account how institutions generate semantic security, as well as symbolic violence. Boltanski’s endeavour to reformulate critique is compared with influential alternative conceptions, notably those of Habermas, Castoriadis, and Honneth. Despite its potential deficiencies and weaknesses, Boltanski’s reformulation of critique is found to be of considerable theoretical significance. In particular, Boltanski’s analysis of the role critique has played in the reorganization of capitalism can be extended, and his work is suggestive of how some of the intentions of critical theory can be pursued in new ways. (shrink)

Code-based cryptography is currently the second most promising post-quantum mathematical tool for quantum-resistant algorithms. Since in 2022 the first post-quantum standard Key Encapsulation Mechanism, Kyber (a latticed-based algorithm), was selected to be established as standard, and after that the National Institute of Standards and Technology post-quantum standardization call focused in code-based cryptosystems. Three of the four candidates that remain in the fourth round are code-based algorithms. In fact, the only non-code-based algorithm (SIKE) is now considered vulnerable. Due to this landscape, (...) it is crucial to update previous results about these algorithms and their functioning. The Fujisaki-Okamoto transformation is a key part of the study of post-quantum algorithms and in this work we focus our analysis on Classic McEliece, BIKE and HQC proposals, and how they apply this transformation to obtain IND-CCA semantic security. Since after security the most important parameter in the evaluation of the algorithms is performance, we have compared the performance of the code-based algorithms of the NIST call considering the same architecture for all of them. (shrink)

I want to model a finite, fallible cognitive agent who imagines that p in the sense of mentally representing a scenario—a configuration of objects and properties—correctly described by p. I propose to capture imagination, so understood, via variably strict world quantifiers, in a modal framework including both possible and so-called impossible worlds. The latter secure lack of classical logical closure for the relevant mental states, while the variability of strictness captures how the agent imports information from actuality in the imagined (...) non-actual scenarios. Imagination turns out to be highly hyperintensional, but not logically anarchic. Section 1 sets the stage and impossible worlds are quickly introduced in Sect. 2. Section 3 proposes to model imagination via variably strict world quantifiers. Section 4 introduces the formal semantics. Section 5 argues that imagination has a minimal mereological structure validating some logical inferences. Section 6 deals with how imagination under-determines the represented contents. Section 7 proposes additional constraints on the semantics, validating further inferences. Section 8 describes some welcome invalidities. Section 9 examines the effects of importing false beliefs into the imagined scenarios. Finally, Sect. 10 hints at possible developments of the theory in the direction of two-dimensional semantics. (shrink)

‘Semantic externalism’ is the view that the thought and speech of internally identical subjects can have different contents, depending on facts about their environments. ‘Semantic internalism’ is the negation of this view. The details of these two views depend on the definition of ‘internal identity’. Katalin Farkas has shown that the traditional definition of internal identity as physical identity is too permissive: it misclassifies certain bodily states as internal. She has proposed defining internal identity as phenomenal identity instead. (...) In the critical part of my paper, I argue that Farkas’s proposal fails for being too restrictive: it misclassifies non-conscious mental states, most notably dispositional belief, as external. I consider two interpretations of Farkas’s proposal but conclude that neither succeeds, because each requires internal features to influence the subject’s phenomenal life in a way in which dispositional belief does not. In the constructive part of my paper, I consider dispositional identity as an alternative definition of internal identity. I argue that the dispositional-identity definition avoids the phenomenal-identity definition’s shortcoming and retains its main attraction, viz., that of securing the subjective indistinguishability that obtains between Twin Earth duplicates. My argument that it does the latter, however, faces potentially decisive obstacles. Thus, I retreat to a disjunctive proposal: internal identity should be defined either as dispositional identity or as dispositional-plus-phenomenal identity. I conclude by defending my proposal against a different charge that may be levelled against it, viz., that of misclassifying Cartesian dualism as an externalist theory of the mind. (shrink)

Some contextually sensitive expressions are such that their context independent conventional meanings need to be in some way supplemented in context for the expressions to secure semantic values in those contexts. As we’ll see, it is not clear that there is a paradigm here, but ‘he’ used demonstratively is a clear example of such an expression. Call expressions of this sort supplementives in order to highlight the fact that their context independent meanings need to be supplemented in context for (...) them to have semantic values relative to the context. Many philosophers and linguists think that there is a lot of contextual sensitivity in natural language that goes well beyond the pure indexicals and supplementives like ‘he’. Constructions/expressions that are good candidates for being contextually sensitive include: quantifiers, gradable adjectives including “predicates of personal taste”, modals, conditionals, possessives and relational expressions taking implicit arguments. It would appear that in none of these cases does the expression/construction in question have a context independent meaning that when placed in context suffices to secure a semantic value for the expression/construction in the context. In each case, some sort of supplementation is required to do this. Hence, all these expressions are supplementives in my sense. For a given supplementive, the question arises as to what the mechanism is for supplementing its conventional meanings in context so as to secure a semantic value for it in context. That is, what form does the supplementation take? The question also arises as to whether different supplementives require different kinds of supplementation. Let us call an account of what, in addition to its conventional meaning, secures a semantic value for a supplementive in context a metasemantics for that supplementive. So we can put our two questions thus: what is the proper metasemantics for a given supplementive; and do all supplementives have the same metasemantics? In the present work, I sketch the metasemantics I formulated for demonstratives in earlier work. Next, I briefly consider a number of other supplementives that I think the metasemantics I propose plausibly applies to and explain why I think that. Finally, I consider the prospects for extending the account to all supplementives. In so doing, I take up arguments due to Michael Glanzberg to the effect that supplementives are governed by two different metasemantics and attempt to respond to them. (shrink)

An outstanding group of leaders left evidence that a richer and more sustainable democracy could be achieved with American independence and democratic principles integrated into a new republican form of government. They were moved by principles that are the very spirit of democracy. These principles are needed to enhance democracy and improve well-being. Using the constructivist tradition of grounded theory and Aristotle’s conception of abstraction, the article proposes a theory of the first principles of democracy based on substantive data: the (...) Declaration of Independence, the Articles of Confederation, The Federalist Papers, and the United States Constitution. Knowledge, fairness, human dignity, hope, unity, and security are the first principles of democracy and are regarded as the bedrock of democracy and a government framework for the people. This theory contributed to a formal model of democratic social change. It also contributes a conceptual framework that supports Solum’s semantic originalism, a theory of constitutional interpretation. The principles of democracy can revitalize democracy and provide new possibilities by protecting education as an innate human right, abolishing capital punishment, criminalizing private prisons on the stock market, and reevaluating the proportionality of prison sentences. (shrink)

The semantic issues that Saul Kripke addressed in Naming and Necessity overlap substantially with those that were addressed by Michel Foucault in “What Is an Author?”. The present essay examines their area of overlap, with a view to showing that each of these works affords a perspective on the other, from which facets that are usually obscure can be brought into view. It shows that Foucault needs to take some assumptions from Kripke’s theory of naming in order to secure (...) one of his arguments for treating authorial names as special. It then shows that, once it has been placed on these Kripkean foundations, Foucault’s position avoids the metaphysically peculiar commitments that are sometimes thought to be essential... (shrink)

Evaluative and normative terms and concepts are often said to be "essentially contestable". This notion has been used in political and legal theory and applied ethics to analyse disputes concerning the proper usage of terms like democracy, freedom, genocide, rape, coercion, and the rule of law. Many philosophers have also thought that essential contestability tells us something important about the evaluative in particular. Gallie (who coined the term), for instance, argues that the central structural features of essentially contestable concepts secure (...) their evaluativeness. I'll argue that these (widely held) central features are exemplified by many evaluative and non-evaluative terms alike, owing to more general factors (such as multidimensionality) which have nothing in particular to do with being evaluative. The role of these factors in semantic interpretation is subject to a certain kind of "metasemantic" disputes which have the features of the disputes characteristically admitted by essentially contestable concepts (whether evaluative or not) and which can be similarly substantive and worthwhile. In closing I'll discuss how my argument shows that our understanding of evaluative disagreement needs refinement. The overall upshot is that essential contestability shows nothing deep or distinctive about the evaluative in particular. (shrink)

I consider two competing approaches to metasemantics: productivism, whereby endowment with semantic significance emerges directly from conditions surrounding the production or employment of the items semantically endowed; and interpretationism, whereby endowment with semantic significance emerges directly from conditions surrounding the interpretive consumption of such items. Focusing on the version of interpretationism developed by Lewis and his followers, I present a novel argument to the conclusion that such an approach cannot secure determinacy for singular reference. I then draw a (...) larger moral for metasemantics and its relation to truth-conditional semantics. (shrink)

As with all other moral realists, so-called relaxed moral realists believe that there are moral truths. Unlike metaphysical moral realists, they do not take themselves to be defending a substantively metaphysical position when espousing this view, but to be putting forward a moral thesis from within moral discourse. In this paper, I employ minimalism about truth to examine whether or not there is a semantic analysis of the claim ‘There are moral truths’ which can support this moral interpretation of (...) one of moral realism’s key theses. My results are both discouraging and encouraging: Whilst I will argue that the claim ‘There are moral truths’ cannot be shown to be both moral and capable of demarcating relaxed realism from irrealism on the basis of a convincing semantic analysis that would be compatible with relaxed commitments, the moral interpretation of moral realism can be secured by modifying our understanding of what distinguishes relaxed realism from error-theoretic irrealism. Yet, we will see that this moral interpretation of moral realism does not ‘tumble out’ of the semantics provided for its central claims. Rather, hard work needs to be done before we can fully relax. (shrink)

One of the central themes of Brandom’s work is that we should construct our sematic theories around material validity and incompatibility, rather than reference, truth, and satisfaction. This approach to semantics is motivated in part by Brandom’s pragmatism about the relation between semantics and the more general study of language use—what he calls “pragmatics”: Inferring is a kind of doing. . . . The status of inference as something that can be done accordingly holds out the promise of securing an (...) appropriate relation between pragmatics, the study of the practices, and semantics, the study of the corresponding contents. (MIE, 91)1 Although Brandom does not go so far as to say that a pragmatist attitude to the relation between semantics and pragmatics requires an inferentialist semantics, his motivating arguments strongly suggest that a pragmatist ought to be an inferentialist. In what follows, I discuss the connections between Brandom’s pragmatism and his inferentialism. I’ll argue that pragmatism, as Brandom initially describes it—the view that “semantics must answer to pragmatics”—does not favor an inferentialist approach to semantics over a truth-conditional one. I’ll then consider whether inferentialism might be.. (shrink)