Software vulnerabilities are the root cause for a multitude of security problems in computer systems. Owing to their efficiency and tight control over low-level system resources, the C and C++ programming languages are extensively used for a myriad of purposes, from implementing operating system kernels to user-space applications. However, insufficient or improper memory management frequently leads to invalid memory accesses, eventually resulting in memory corruption vulnerabilities. These vulnerabilities are used as a foothold for elaborated attacks that bypass existing defense methods. (...) In this paper, we summarise the main memory safety violation types (i.e. memory errors), and analyse how they are exploited by attackers and the main mitigation methods proposed in the research community. We further systematise the most relevant techniques with regards to memory corruption identification in current programs. (shrink)

The past three decades of policy process studies have seen the emergence of a clear intellectual lineage with regard to complexity. Implicitly or explicitly, scholars have employed complexity theory to examine the intricate dynamics of collective action in political contexts. However, the methodological counterparts to complexity theory, such as computational methods, are rarely used and, even if they are, they are often detached from established policy process theory. Building on a critical review of the application of complexity theory to policy (...) process studies, we present and implement a baseline model of policy processes using the logic of coevolving networks. Our model suggests that an actor’s influence depends on their environment and on exogenous events facilitating dialogue and consensus-building. Our results validate previous opinion dynamics models and generate novel patterns. Our discussion provides ground for further research and outlines the path for the field to achieve a computational turn. (shrink)

The article highlights the issues of modeling processes of a socio-economic nature, considers the problems and reveals the factors influencing the construction of the model algorithm. In our opinion, studies of economic processes undoubtedly affect the social side of the development of the territory. The scientific novelty lies in the development and testing of new approaches to the construction of a model that allows us to systematically characterize the processes taking place, based on the analysis of the whole, territorial development, (...) in relation to the structure of its parts, including human capital, which will make it possible to create a mechanism that ensures maneuverability in order to effectively use the potential of the region. As a result, an assessment of the current state of affairs for a certain subject of the Russian Federation is given, but some aspects touched upon in the study require an additional information block. The considered structural factors are determined in the share influence, which allows us to conclude about the regulation of processes with external and internal influence. (shrink)

This paper reports a study of the main key components of influence on the stability of transportation enterprises in the market. A model for evaluating the effectiveness of innovation activity in the transport industry, which takes into account indicators of expenditures on innovations, has been built. It makes it possible to determine the effectiveness of introduced innovations, which indicates the appropriate level of innovation potential and the ways that the enterprise must take to increase it. The main directions of innovative (...) development of transportation enterprises were investigated. The assessment of the economic stability of transportation enterprises in the market has established that the current state of development of enterprises is characterized by a weak level of their innovative activity. A systematic approach to the introduction of innovative technologies by a transportation enterprise in the market has been devised. This approach makes it possible to determine the required level of enterprise stability and to form a relationship between the level of innovative technologies and their stages of implementation under conditions of environmental variability. This makes it possible to increase competitive advantages, improve the efficiency of production and economic activity of enterprises. The practical implementation of the proposed model for evaluating the effectiveness of innovation activity in the transport industry has been carried out, which made it possible to allocate the most important indicators of innovation activity for the enterprise. These include specific efficiency of innovation; unit costs of innovation; innovative potential of the enterprise (defined as the proportion of own innovative developments). According to the study results, it is determined that the specific efficiency of innovations (SEI) exerts the greatest influence, which, with an increase by 1 %, provides an increase in financial stability by 1.48 %. (shrink)

: A popular belief is that the process whereby search engines tailor their search results to individual users, so-called personalization, leads to filter bubbles in the sense of ideologically segregated search results that would tend to reinforce the user’s prior view. Since filter bubbles are thought to be detrimental to society, there have been calls for further legal regulation of search engines beyond the so-called Right to be Forgotten Act. However, the scientific evidence for the filter bubble hypothesis is surprisingly (...) limited. Previous studies of personalization have focused on the extent to which different users get different results lists without taking the content on the webpages into account. Such methods are unsuitable for detecting filter bubbles as such. In this paper, we propose a methodology that takes content differences between webpages into account. In particular, the method involves studying the extent to which users with strong opposing views on an issue receive search results that are correlated content-wise with their personal view. Will users of with strong prior opinion that X is true on average have a larger share of search results that are in favor of X than users with a strong prior opinion that X is false? We illustrate our methodology at work, but also the non-trivial challenges it faces, by a small-scale study of the extent to which Google Search leads to ideological segregation on the issue of man-made climate change. (shrink)

The central conflicts of the world today are closely related to cultural, traditional, and religious differences between nations. As we move to a globalized world, these differences often become magnified, entrenched, and the cause of bloody conflict. Growing out of a conference of distinguished scholars from the Middle East, Europe, and the United States, this volume is a singular contribution to mutual understanding and cooperative efforts on behalf of peace. The term paideia, drawn from Greek philosophy, has to do with (...) responsible education for citizenship as a necessary precondition for effective democracy. (shrink)

The Lottery Paradox and the Preface Paradox both involve the thesis that high probability is sufficient for rational acceptability. The standard solution to these paradoxes denies that rational acceptability is deductively closed. This solution has a number of untoward consequences. The present paper suggests that a better solution to the paradoxes is to replace the thesis that high probability suffices for rational acceptability with a somewhat stricter thesis. This avoids the untoward consequences of the standard solution. The new solution will (...) be defended against a seemingly obvious objection. 1 The paradoxes of rational acceptability 2 The standard solution 3 A new solution to the paradoxes 4 Basic assumptions 5 The new solution defended 6 Conclusion 7 Appendix. (shrink)

Conditionals are sentences of the form 'If A, then B', and they play a central role in scientific, logical, and everyday reasoning. They have been in the philosophical limelight for centuries, and more recently, they have been receiving attention from psychologists, linguists, and computer scientists. In spite of this, many key questions concerning conditionals remain unanswered. While most of the work on conditionals has addressed semantical questions - questions about the truth conditions of conditionals - this book focuses on the (...) main epistemological questions that conditionals give rise to, such as: what are the probabilities of conditionals? When is a conditional acceptable or assertable? What do we learn when we receive new conditional information? In answering these questions, this book combines the formal tools of logic and probability theory with the experimental approach of cognitive psychology. It will be of interest to students and researchers in logic, epistemology, and psychology of reasoning. (shrink)

This paper aims to contribute to our understanding of the notion of coherence by explicating in probabilistic terms, step by step, what seem to be our most basic intuitions about that notion, to wit, that coherence is a matter of hanging or fitting together, and that coherence is a matter of degree. A qualitative theory of coherence will serve as a stepping stone to formulate a set of quantitative measures of coherence, each of which seems to capture well the aforementioned (...) intuitions. Subsequently it will be argued that one of those measures does better than the others in light of some more specific intuitions about coherence. This measure will be defended against two seemingly obvious objections. (shrink)

The sequent system LDJ is formulated using the same connectives as Gentzen's intuitionistic sequent system LJ, but is dual in the following sense: (i) whereas LJ is singular in the consequent, LDJ is singular in the antecedent; (ii) whereas LJ has the same sentential counter-theorems as classical LK but not the same theorems, LDJ has the same sentential theorems as LK but not the same counter-theorems. In particular, LDJ does not reject all contradictions and is accordingly paraconsistent. To obtain a (...) more precise mapping, both LJ and LDJ are extended by adding a "pseudo-difference" operator which is the dual of intuitionistic implication. Cut-elimination and decidability are proved for the extended systems and , and a simply consistent but -inconsistent Set Theory with Unrestricted Comprehension Schema based on LDJ is sketched. (shrink)

We provide a complete binary implicational axiomatization of the positive fragment of propositional dynamic logic. The intended application of this result are completeness proofs for non-classical extensions of positive PDL. Two examples are discussed in this article, namely, a paraconsistent extension with modal De Morgan negation and a substructural extension with the residuated operators of the non-associative Lambek calculus. Informal interpretations of these two extensions are outlined.

A number of philosophers and legal scholars have pointed out a fact about punishment that had not been sufficiently appreciated by many traditional accounts, utilitarian, retributive, or ‘mixed’: that evil inflicted on the person punished is not an evil simpliciter , but rather the expression of an important social message—that punishment is a kind of language. The message which it is seen to communicate can broadly be described as condemnation by society of the crime committed. In what is still the (...) only attempt at a general and critical discussion— Anthony Skillen's ‘How to say Things with Walls’—this way of understanding punishment is termed ‘expressionism’. In this paper I propose to sort out the main varieties of expressionism in the philosophy of punishment, and to discuss some of their pros and cons. (shrink)

According to so-called epistemic theories of conditionals, the assertability/acceptability/acceptance of a conditional requires the existence of an epistemically significant relation between the conditional’s antecedent and its consequent. This paper points to some linguistic data that our current best theories of the foregoing type appear unable to explain. Further, it presents a new theory of the same type that does not have that shortcoming. The theory is then defended against some seemingly obvious objections.

A paper on how to adapt your probabilisitc beliefs when learning a conditional.

List and Pettit have stated an impossibility theorem about the aggregation of individual opinion states. Building on recent work on the lottery paradox, this paper offers a variation on that result. The present result places different constraints on the voting agenda and the domain of profiles, but it covers a larger class of voting rules, which need not satisfy the proposition-wise independence of votes.

The standard approach to the so-called paradoxes of identity has been to argue that these paradoxes do not essentially concern the notion of identity but rather betray misconceptions on our part regarding other metaphysical notions, like that of an object or a property. This paper proposes a different approach by pointing to an ambiguity in the identity predicate and arguing that the concept of identity that figures in many ordinary identity claims, including those that appear in the paradoxes, is not (...) the traditional philosophical concept but one that can be defined in terms of relevant similarity. This approach to the paradoxes will be argued to be superior to the standard one. (shrink)

In recent years, various computational models have been developed for studying the dynamics of belief formation in a population of epistemically interacting agents that try to determine the numerical value of a given parameter. Whereas in those models, agents’ belief states consist of single numerical beliefs, the present paper describes a model that equips agents with richer belief states containing many beliefs that, moreover, are logically interconnected. Correspondingly, the truth the agents are after is a theory (a set of sentences (...) of a given language) rather than a numerical value. The agents epistemically interact with each other and also receive evidence in varying degrees of informativeness about the truth. We use computer simulations to study how fast and accurately such populations as wholes are able to approach the truth under differing combinations of settings of the key parameters of the model, such as the degree of informativeness of the evidence and the weight the agents give to the evidence. (shrink)

In previous published research (“Conditionals and Inferential Connections: A Hypothetical Inferential Theory,” Cognitive Psychology, 2018), we investigated experimentally what role the presence and strength of an inferential connection between a conditional’s antecedent and consequent plays in how people process that conditional. Our analysis showed the strength of that connection to be strongly predictive of whether participants evaluated the conditional as true, false, or neither true nor false. In this article, we re-analyse the data from our previous research, now focussing on (...) the semantics of conditionals rather than on how they are processed. Specifically, we use those data to compare the main extant semantics with each other and with inferentialism, a semantics according to which the truth of a conditional requires the presence of an inferential connection between the conditional’s component parts. (shrink)

The paper’s main goal is to compare laws banning hate speech with counterspeech as an effective method of curtailing hate speech. In the first part, the paper discussed three normative justifications for hate speech bans. Firstly, the line of argument developed by critical race theorists that assumes that hate speech leads to the direct harm and violation of individuals’ rights. Secondly, paper examines the Weimar model that rests on the assumption that hate speech can lead to indirect harm to members (...) of vulnerable minorities by creating a toxic environment, which opens the door to discrimination and even violence. Thirdly, the justification which is derived from the idea that such forms of extreme public speech violate the basic values and principles – such as inclusiveness, equality and mutual respect - on which constitutional democracies are built. This approach extends its argument from general values to the status of citizens by arguing that hate speech violates the equal standing of citizens by attempting to exclude certain members of society from the process of democratic deliberation based on their ascriptive characteristics. The second part of the paper looks at counterspeech as an efficient approach to limit harms that arise from hate speech. The author argues that legal bans should be reserved only for the most extreme forms of hateful rhetoric, while counterspeech is a valid option for tackling all other forms of hate speech. (shrink)

The bounded confidence model has become a popular tool for studying communities of epistemically interacting agents. The model makes the idealizing assumption that all agents always have access to all other agents’ belief states. We draw on resources from network epistemology to do away with this assumption. In the model to be proposed, we impose an explicit communication network on a community, due to which each agent has access to the beliefs of only a selection of other agents. A much-discussed (...) result from network epistemology shows that densely connected communication networks are not always preferable to sparser networks. The aim of this paper is to investigate whether there are any noteworthy network effects in a version of the bounded confidence model augmented with communication networks, and in particular whether the aforementioned result from network epistemology can be replicated in that version. (shrink)

Ifeel that Iam apartof, but separatefrom an 'out there' world. 2. Ifeel that my perception of the world mingles with feelings of past experience. 3. My experienceof the world is selective and purposeful. 4. I am thinking ahead allthe timeintrying ...

This paper relates to a formal statement of the mechanisms that are thought minimally necessary to underpin consciousness. This is expressed in the form of axioms. We deem this to be useful if there is ever to be clarity in answering questions about whether this or the other organism is or is not conscious. As usual, axioms are ways of making formal statements of intuitive beliefs and looking, again formally, at the consequences of such beliefs. The use of this style (...) of exposition does not entail a claim to provide a mathematically rigorous formal deductive system. Conventional mathematical notation is used to achieve clarity, although this is elaborated with natural language in an attempt to reduce terseness. In our view, making the approach axiomatic is synonymous with building clear usable tests for consciousness and is therefore a central feature of the paper. The extended scope of this approach is to lay down some essential properties that should be considered when designing machines that could be said to be conscious. In the broader discussion about the nature of consciousness and its neurological mechanisms, it may seem to some that axiomatisation is premature and continues to beg many questions. However, the approach is meant to be open- ended so that others can build further axiomatic clarifications that address the very large number of questions which, in the search for a formal basis for consciousness, still remain to be answered. Of course, in discussions about consciousness many will also argue that the subject is not one that may ever be formally addressed by means of axioms. The view taken in this paper is 'let's try to do it and see how far it gets'. (shrink)

Encontramos linguagens e códigos de todos os tipos e em todas as esferas na natureza. No entanto, quando chegamos no homem vemos esses códigos aplicados não como algo mecânico, como é notado na natureza, mas como articulações para o social. A partir disso, é apresentado à psicanálise, que tem como sua coluna vertebral a escuta que é voltada para a natureza discursiva do homem. Iremos explorar neste artigo qual seria a escuta servida para o discurso na clínica, pois não é (...) colocado uma regra no discurso do analisando, este é livre para dizer o que quer dizer e como ele entender, sendo que tal liberdade é evitada nas relações sociais, pois ele (o analisando) não a exerce por ter consciência das leis sociais que são, desde sua infância, aglutinadas a ele, as quais, seu cumprimento é cobrado.Para se ter esse ouvir a psicanálise trabalha para tornar os ouvidos do analista um órgão apropriadamente de escuta e compreensão, pois a fala do analista vem dessa escuta do discurso que não é seu durante aquele tempo, mas que vem a ser depois de completo para ser matéria de análise. (shrink)

The article covers such issues as the relevance of the theory of perception as a multi-level information processing, the methodological role of the concept of representation and the relation of neurodynamic structures to subjective experience. The author critically reviews the philosophical presumptions underlying the various concepts of “local rationality,” the core of which is constituted by the belief that large ethnic cultures generate or are based on their own rationality and their own logic. Three statements are successively considered: thinking is (...) based on the inherent rules of rationality, logic is an extract of rationality, and types of rationality are geographically consistent with large ethnocultural communities. Empirical arguments are presented that demonstrate equivocality of the first two theses. In particular, firstly, it is shown that the genuine rationality of thinking lies not in following the rules that are immanent to it, but in the development of thinking and, more broadly, cognitive operations towards optimization of certain indicators of the cognitive or motor system that are important for survival and adaptation. In addition, this rationality is multivariate, and the choice between variants is often weakly determined or even random. Thus, the first statement turns out to be refuted. Secondly, by reference to the well-known experiments, it is shown that most people do not explicitly follow some declared logical rules in solving even logical or mathematical problems, and yet there is reason to consider their behavior rational. The third thesis, as shown with some limited empirical material, appears to be partially confirmed. Nevertheless, the demonstration of the doubtfulness of the first two theses makes the conclusion that different nations have different logics insufficiently substantiated. (shrink)

Conditionals whose antecedent and consequent are not somehow internally connected tend to strike us as odd. The received doctrine is that this felt oddness is to be explained pragmatically. Exactly how the pragmatic explanation is supposed to go has remained elusive, however. This paper discusses recent philosophical and psychological work that attempts to account semantically for the apparent oddness of conditionals lacking an internal connection between their parts.

Inference to the Best Explanation has become the subject of a livelydebate in the philosophy of science. Scientific realists maintain, while scientificantirealists deny, that it is a compelling rule of inference. It seems that anyattempt to settle this debate empirically must beg the question against theantirealist. The present paper argues that this impression is misleading. A methodis described that, by combining Glymour's theory of bootstrapping and Hacking'sarguments from microscopy, allows us to test IBE without begging any antirealistissues.